Concepedia

Emmanuel Filiot

EF

16

Publications

397

Citations

13

H-Index

2010

Active since

Affiliations

Université Libre de Bruxelles(Current)

Aix-Marseille Université

University of Perugia

Laboratoire Bordelais de Recherche en Informatique

Centre National de la Recherche Scientifique

Emmanuel Filiot is an author at Université Libre de Bruxelles specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationLinguisticsVerificationComputational ComplexityLanguageMathematical Programming

Publications per year

2010–2019

16

Publications

16

Antichains and compositional algorithms for LTL synthesis

Emmanuel Filiot, Naiyong Jin, Jean-François Raskin · Formal Methods in System Design · 2011 · 93 citations

Mathematical Programming, Logic Synthesis, Engineering +6

Transducers, logic and algebra for functions of finite words

Emmanuel Filiot, Pierre-Alain Reynier · ACM SIGLOG News · 2016 · 76 citations · Full text

Engineering, Pushdown Automaton, Semantics +18

Regular Transformations of Infinite Strings

Rajeev Alur, Emmanuel Filiot, Ashutosh Trivedi · 2012 · 28 citations

Abstract Machine, Equivalent Generalization, Infinite Dimensional Analysis +15

The Complexity of Rational Synthesis

Rodica Condurache, Emmanuel Filiot, Raffaella Gentilini et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 25 citations · Full text

Mathematical Programming, Tight Results, Computational Complexity Theory +13

From Two-Way to One-Way Finite State Transducers

Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier et al. · arXiv (Cornell University) · 2013 · 20 citations · Full text

Engineering, Reachability Problem, Verification +17

Rows per page

1–5 of 16