BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × China
1 × Croatia
1 × Czech Republic
1 × France
1 × Italy
1 × Switzerland
1 × United Kingdom
2 × Japan
3 × USA
Collaborated with:
J.Talbot S.Tison J.Raskin N.Jin I.Jecker P.Reynier O.Gauwin A.Bohy V.Bruyère R.Bozianu C.Dima R.Alur A.Trivedi S.Maneth K.Chatterjee L.Doyen F.Servais G.Bagan A.Durand J.Niehren
Talks about:
tree (4) synthesi (3) ltl (3) constraint (2) transduc (2) automata (2) variabl (2) regular (2) specif (2) global (2)

Person: Emmanuel Filiot

DBLP DBLP: Filiot:Emmanuel

Contributed to:

DLT 20152015
ICALP (2) 20152015
CAV 20142014
VMCAI 20142014
LICS 20132013
TACAS 20132013
CAV 20122012
LICS 20122012
CSL 20102010
CAV 20092009
DLT 20082008
DLT 20082010
CSL 20072007
PODS 20072007

Wrote 14 papers:

DLT-2015-JeckerF #multi #word
Multi-sequential Word Relations (IJ, EF), pp. 288–299.
ICALP-v2-2015-FiliotMRT #problem #transducer
Decision Problems of Tree Transducers with Origin (EF, SM, PAR, JMT), pp. 209–221.
CAV-2014-BozianuDF #specification #synthesis
Safraless Synthesis for Epistemic Temporal Specifications (RB, CD, EF), pp. 441–456.
VMCAI-2014-Chatterjee0FR #game studies
Doomsday Equilibria for Omega-Regular Games (KC, LD, EF, JFR), pp. 78–97.
LICS-2013-FiliotGRS #finite #transducer
From Two-Way to One-Way Finite State Transducers (EF, OG, PAR, FS), pp. 468–477.
TACAS-2013-BohyBFR #ltl #specification #synthesis
Synthesis from LTL Specifications with Mean-Payoff Objectives (AB, VB, EF, JFR), pp. 169–184.
CAV-2012-BohyBFJR #ltl #synthesis
Acacia+, a Tool for LTL Synthesis (AB, VB, EF, NJ, JFR), pp. 652–657.
LICS-2012-AlurFT #infinity #string
Regular Transformations of Infinite Strings (RA, EF, AT), pp. 65–74.
CSL-2010-BaganDFG #performance #query
Efficient Enumeration for Conjunctive Queries over X-underbar Structures (GB, AD, EF, OG), pp. 80–94.
CAV-2009-FiliotJR #algorithm #ltl
An Antichain Algorithm for LTL Realizability (EF, NJ, JFR), pp. 263–277.
DLT-2008-FiliotTT #automaton #constraints
Tree Automata with Global Constraints (EF, JMT, ST), pp. 314–326.
DLT-J-2008-FiliotTT10 #automaton #constraints
Tree Automata with Global Constraints (EF, JMT, ST), pp. 571–596.
CSL-2007-FiliotTT #logic #satisfiability
Satisfiability of a Spatial Logic with Tree Variables (EF, JMT, ST), pp. 130–145.
PODS-2007-FiliotNTT #polynomial #xpath
Polynomial time fragments of XPath with variables (EF, JN, JMT, ST), pp. 205–214.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.