Emmanuel Filiot

Citée par

	Toutes	Depuis 2018
Citations	1541	746
indice h	20	15
indice i10	36	24

160

120

20082009201020112012201320142015201620172018201920202021202220238 24 31 53 54 66 128 123 149 144 129 143 152 160 142 20

Accès public

Tout afficher

28 articles

1 article

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 ReynierLIS, 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 TrivediUniversity 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
Tristan Le GallCEA LISTAdresse e-mail validée de cea.fr
Guillermo A. PérezAssistant Professor, University of AntwerpAdresse e-mail validée de uantwerp.be
Jan ChomickiProfessor of Computer Science and Engineering, SUNY at BuffaloAdresse e-mail validée de buffalo.edu
Sławek StaworkoRelationalAI

Suivre

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 Bruyère, E Filiot, N Jin, JF Raskin Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012	162	2012
An antichain algorithm for LTL realizability E Filiot, N Jin, JF Raskin Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009	145	2009
Antichains and compositional algorithms for LTL synthesis E Filiot, N Jin, JF Raskin Formal Methods in System Design 39, 261-296, 2011	105	2011
Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games V Bruyère, E Filiot, M Randour, JF Raskin Information and Computation 254, 259-295, 2017	80	2017
Transducers, logic and algebra for functions of finite words E Filiot, PA Reynier ACM SIGLOG News 3 (3), 4-19, 2016	59	2016
Compositional algorithms for LTL synthesis E Filiot, N Jin, JF Raskin Automated Technology for Verification and Analysis: 8th International …, 2010	56	2010
Regular transformations of infinite strings R Alur, E Filiot, A Trivedi 2012 27th Annual IEEE Symposium on Logic in Computer Science, 65-74, 2012	53	2012
Synthesis from LTL Specifications with Mean-Payoff Objectives. A Bohy, V Bruyere, E Filiot, JF Raskin TACAS 13, 169-184, 2013	52	2013
Tree automata with global constraints E Filiot, JM Talbot, S Tison International Journal of Foundations of Computer Science 21 (4), 571-596, 2010	51	2010
Quantitative Languages Defined by Functional Automata JFÃ Raskin, R Gentilini, E Filiot Logical Methods in Computer Science 11, 2015	46*	2015
The complexity of rational synthesis R Condurache, E Filiot, R Gentilini, JF Raskin 43rd International Colloquium on Automata, Languages, and Programming (ICALP …, 2016	42	2016
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	41	2013
Properties of visibly pushdown transducers E Filiot, JF Raskin, PA Reynier, F Servais, JM Talbot Mathematical Foundations of Computer Science 2010: 35th International …, 2010	41	2010
Logic-automata connections for transformations E Filiot Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India …, 2015	39	2015
Doomsday equilibria for omega-regular games K Chatterjee, L Doyen, E Filiot, JF Raskin Verification, Model Checking, and Abstract Interpretation: 15th …, 2014	35	2014
First-order definable string transformations E Filiot, SN Krishna, A Trivedi arXiv preprint arXiv:1406.7824, 2014	34	2014
On equivalence and uniformisation problems for finite transducers E Filiot, I Jecker, C Löding, S Winter arXiv preprint arXiv:1602.08565, 2016	31	2016
Satisfiability of a spatial logic with tree variables E Filiot, JM Talbot, S Tison Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual …, 2007	25	2007
Finite-valued weighted automata E Filiot, R Gentilini, JF Raskin 34th International Conference on Foundation of Software Technology and …, 2014	21	2014
Streamability of Nested Word Transductions F Servais, E Filiot, O Gauwin, PA Reynier Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2011	21*	2011

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

Citée par

Coauteurs