Benjamin Monmege

Cited by

	All	Since 2016
Citations	398	283
h-index	12	10
i10-index	12	11

20092010201120122013201420152016201720182019202020211 4 11 15 15 29 35 32 42 47 49 71 40

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Thomas BrihayeUMONSVerified email at umons.ac.be
Gilles GeeraertsAssociate Prof. of Computer Science, Université Libre de Bruxelles (ULB)Verified email at ulb.ac.be
Paul GastinProfessor, LSV, ENS Paris-SaclayVerified email at lsv.fr
Benedikt BolligCNRS, LSV, ENS Paris-SaclayVerified email at lsv.ens-cachan.fr
Axel HaddadPostdoctoral Researcher, Effective Mathematics Team, Mons University, BelgiumVerified email at umons.ac.be
Hsi-Ming HoUniversity of SussexVerified email at sussex.ac.uk
Pierre-Alain ReynierLIF, Aix-Marseille UniversitéVerified email at lif.univ-mrs.fr
Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerified email at lsv.fr
Peter HabermehlAssistant Professor of Computer Science, IRIF, University of ParisVerified email at irif.fr
Martin LeuckerProfessor of Computer Science, University of LübeckVerified email at isp.uni-luebeck.de
Ashutosh TrivediAssistant Professor of Computer Science at the University of Colorado at BoulderVerified email at colorado.edu
Shankara Narayanan KrishnaIIT BombayVerified email at cse.iitb.ac.in
Lakshmi ManasaPhD Student, IIT BombayVerified email at cse.iitb.ac.in
Guillermo A. PérezAssistant Professor, University of AntwerpVerified email at uantwerpen.be
Ocan SankurCNRS, IrisaVerified email at irisa.fr
Amit Kumar DharAssistant ProfessorVerified email at iitbhilai.ac.in
Bruno QuoitinProfessor of Computer Science, University of MonsVerified email at umons.ac.be

Benjamin Monmege

Assistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et Systèmes

Verified email at univ-amu.fr - Homepage

Formal languages Automata Quantitative specifications Verification Game Theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Interval iteration algorithm for MDPs and IMDPs S Haddad, B Monmege Theoretical Computer Science 735, 111-131, 2018	44	2018
Reachability in MDPs: Refining convergence of value iteration S Haddad, B Monmege International Workshop on Reachability Problems, 125-137, 2014	41	2014
Pebble weighted automata and transitive closure logics B Bollig, P Gastin, B Monmege, M Zeitoun International Colloquium on Automata, Languages, and Programming, 587-598, 2010	36	2010
Bounded Underapproximations P Ganty, R Majumdar, B Monmege Formal Methods in System Design 40 (2), 206-231, 2012	26	2012
Bounded underapproximations P Ganty, R Majumdar, B Monmege International Conference on Computer Aided Verification, 600-614, 2010	25	2010
A fresh approach to learning register automata B Bollig, P Habermehl, M Leucker, B Monmege International Conference on Developments in Language Theory, 118-130, 2013	24	2013
MightyL: A Compositional Translation from MITL to Timed Automata T Brihaye, G Geeraerts, HM Ho, B Monmege International Conference on Computer Aided Verification, 421-440, 2017	20	2017
Adding negative prices to priced timed games T Brihaye, G Geeraerts, SN Krishna, L Manasa, B Monmege, A Trivedi International Conference on Concurrency Theory, 560-575, 2014	18	2014
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games T Brihaye, G Geeraerts, A Haddad, B Monmege Acta Informatica 54 (1), 85-125, 2017	17	2017
A robust class of data languages and an application to learning B Bollig, P Habermehl, M Leucker, B Monmege arXiv preprint arXiv:1411.6646, 2014	16	2014
To reach or not to reach? Efficient algorithms for total-payoff games T Brihaye, G Geeraerts, A Haddad, B Monmege arXiv preprint arXiv:1407.5030, 2014	14*	2014
A unifying survey on weighted logics and weighted automata P Gastin, B Monmege Soft Computing 22 (4), 1047-1065, 2018	12	2018
Pebble weighted automata and weighted logics B Bollig, P Gastin, B Monmege, M Zeitoun ACM Transactions on Computational Logic (TOCL) 15 (2), 1-35, 2014	9	2014
Adding Pebbles to Weighted Automata P Gastin, B Monmege Implementation and Application of Automata, 28-51, 2012	9	2012
Simple priced timed games are not that simple T Brihaye, G Geeraerts, A Haddad, E Lefaucheux, B Monmege arXiv preprint arXiv:1507.03786, 2015	8	2015
Logical characterization of weighted pebble walking automata B Bollig, P Gastin, B Monmege, M Zeitoun Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014	7	2014
Adding pebbles to weighted automata: Easy specification & efficient evaluation P Gastin, B Monmege Theoretical Computer Science 534, 24-44, 2014	7	2014
Specification and verification of quantitative properties: expressions, logics, and automata B Monmege École normale supérieure de Cachan-ENS Cachan, 2013	7	2013
A Probabilistic Kleene Theorem B Bollig, P Gastin, B Monmege, M Zeitoun	7*
Weighted specifications over nested words B Bollig, P Gastin, B Monmege International Conference on Foundations of Software Science and …, 2013	6	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors