Emmanuel Filiot

Citée par

	Toutes	Depuis 2017
Citations	1395	745
indice h	19	16
indice i10	33	23

180

135

2008200920102011201220132014201520162017201820192020202120228 23 35 56 51 68 126 121 149 146 126 147 149 175 2

Accès public

Tout afficher

34 articles

2 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Adresse e-mail validée de ulb.ac.be
Pierre-Alain ReynierLIF, Aix-Marseille UniversitéAdresse e-mail validée de lif.univ-mrs.fr
Frédéric ServaisLecturer at École Supérieure d'Informatique (ESI) in BrusselsAdresse e-mail validée de ulb.ac.be
Veronique BruyereUniversity of MonsAdresse e-mail validée de umons.ac.be
Mickael RandourFNRS & UMONSAdresse e-mail validée de umons.ac.be
Aaron BohyUniversity of MonsAdresse e-mail validée de umons.ac.be
Ashutosh TrivediAssistant Professor of Computer Science at the University of Colorado at BoulderAdresse e-mail validée de colorado.edu
Shankara Narayanan KrishnaIIT BombayAdresse e-mail validée de cse.iitb.ac.in
Krishnendu ChatterjeeProfessor, IST AustriaAdresse e-mail validée de ist.ac.at
Sebastian ManethProfessor für Informatik, Universität BremenAdresse e-mail validée de uni-bremen.de
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
Joachim NiehrenINRIA LilleAdresse e-mail validée de inria.fr
Sławek StaworkoAssociate Professor, University of LilleAdresse e-mail validée de inria.fr
Jan ChomickiProfessor of Computer Science and Engineering, SUNY at BuffaloAdresse e-mail validée de buffalo.edu
Tristan Le GallCEA LISTAdresse e-mail validée de cea.fr
Guillermo A. PérezAssistant Professor, University of AntwerpAdresse e-mail validée de uantwerpen.be

Emmanuel Filiot

FNRS - Université Libre de Bruxelles

Adresse e-mail validée de ulb.ac.be - Page d'accueil


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Acacia+, a tool for LTL synthesis A Bohy, V Bruyere, E Filiot, N Jin, JF Raskin International Conference on Computer Aided Verification, 652-657, 2012	145	2012
An antichain algorithm for LTL realizability E Filiot, N Jin, JF Raskin International Conference on Computer Aided Verification, 263-277, 2009	140	2009
Antichains and compositional algorithms for LTL synthesis E Filiot, N Jin, JF Raskin Formal Methods in System Design 39 (3), 261-296, 2011	98	2011
Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games V Bruyere, E Filiot, M Randour, JF Raskin Information and Computation 254, 259-295, 2017	76	2017
Transducers, logic and algebra for functions of finite words E Filiot, PA Reynier ACM SIGLOG News 3 (3), 4-19, 2016	56	2016
Compositional algorithms for LTL synthesis E Filiot, N Jin, JF Raskin International Symposium on Automated Technology for Verification and …, 2010	53	2010
Synthesis from LTL specifications with mean-payoff objectives A Bohy, V Bruyere, E Filiot, JF Raskin International Conference on Tools and Algorithms for the Construction and …, 2013	50	2013
Regular transformations of infinite strings R Alur, E Filiot, A Trivedi 2012 27th Annual IEEE Symposium on Logic in Computer Science, 65-74, 2012	50	2012
Tree automata with global constraints E Filiot, JM Talbot, S Tison International Journal of Foundations of Computer Science 21 (4), 571-596, 2010	48	2010
Quantitative Languages Defined by Functional Automata JFÃ Raskin, R Gentilini, E Filiot Logical Methods in Computer Science 11, 2015	40*	2015
Properties of visibly pushdown transducers E Filiot, JF Raskin, PA Reynier, F Servais, JM Talbot International Symposium on Mathematical Foundations of Computer Science, 355-367, 2010	40	2010
From two-way to one-way finite state transducers E Filiot, O Gauwin, PA Reynier, F Servais 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 468-477, 2013	38	2013
Logic-automata connections for transformations E Filiot Indian Conference on Logic and Its Applications, 30-57, 2015	36	2015
The complexity of rational synthesis R Condurache, E Filiot, R Gentilini, JF Raskin 43rd International Colloquium on Automata, Languages, and Programming (ICALP …, 2016	34	2016
First-order definable string transformations E Filiot, SN Krishna, A Trivedi arXiv preprint arXiv:1406.7824, 2014	33	2014
Doomsday equilibria for omega-regular games K Chatterjee, L Doyen, E Filiot, JF Raskin International Conference on Verification, Model Checking, and Abstract …, 2014	33	2014
On equivalence and uniformisation problems for finite transducers E Filiot, I Jecker, C Löding, S Winter arXiv preprint arXiv:1602.08565, 2016	29	2016
Satisfiability of a spatial logic with tree variables E Filiot, JM Talbot, S Tison International Workshop on Computer Science Logic, 130-145, 2007	24	2007
Streamability of Nested Word Transductions F Servais, E Filiot, O Gauwin, PA Reynier Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2011	21*	2011
First-order definability of rational transductions: An algebraic approach E Filiot, O Gauwin, N Lhote Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016	18	2016

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre les mises à jour de cet auteur

Citée par

Coauteurs