Uli Fahrenberg - Google Scholar

Cited by

	All	Since 2015
Citations	1148	624
h-index	19	13
i10-index	29	20

140

105

200420052006200720082009201020112012201320142015201620172018201920203 8 7 9 4 32 35 61 113 114 122 104 100 117 127 114 62

Co-authors

axel legayUCLouvainVerified email at uclouvain.be
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Claus ThraneAssistant Professor, Dept. of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
Patricia BouyerLSV, CNRS & ENS Paris-SaclayVerified email at lsv.fr
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Roberto PasseroneUniversity of TrentoVerified email at unitn.it
Benoît DelahayeAssistant Professor, University of Nantes, LS2NVerified email at univ-nantes.fr
Joanne M. AtleeComputer Science, University of WaterlooVerified email at uwaterloo.ca
Louis-Marie TraonouezINRIA RennesVerified email at inria.fr
Jan KřetínskýTechnical University of Munich (tenure-track assistant professor)Verified email at fi.muni.cz
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkVerified email at itu.dk
Martin RaussenProfessor with special responsabilities (Mathematics), Aalborg UniversityVerified email at math.aau.dk
Nikola BenešAssistant Professor, Faculty of Informatics, Masaryk UniversityVerified email at fi.muni.cz
Qi LuComputer Science, Univ. of Texas San Antonio, Univ. of New MexicoVerified email at utsa.edu
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Fabrizio BiondiAI Research Manager, AvastVerified email at avast.com
Kevin CorrePhD, R&D Software EngineerVerified email at nagra.com
cyrille JegourelSUTDVerified email at sutd.edu.sg

Uli Fahrenberg

École polytechnique, Laboratoire d'informatique (LIX)

Verified email at polytechnique.edu


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Infinite runs in weighted timed automata with energy constraints P Bouyer, U Fahrenberg, K Larsen, N Markey, J Srba Formal Modeling and Analysis of Timed Systems, 33-47, 2008	196	2008
Energy Games in Multiweighted Automata U Fahrenberg, L Juhl, KG Larsen, J Srba Proceedings of the 8th International Colloquium on Theoretical Aspects of …, 2011	76	2011
Quantitative analysis of real-time systems P Bouyer, U Fahrenberg, KG Larsen, N Markey Journal Communications of the ACM, 2010	63*	2010
The Quantitative Linear-Time–Branching-Time Spectrum U Fahrenberg, A Legay, C Thrane FSTTCS 2011, 2011	53	2011
Quantitative analysis of weighted transition systems C Thrane, U Fahrenberg, KG Larsen Journal of Logic and Algebraic Programming 79 (7), 689-703, 2010	53	2010
Timed automata with observers under energy constraints P Bouyer, U Fahrenberg, KG Larsen, N Markey Proceedings of the 13th ACM international conference on Hybrid systems …, 2010	50	2010
A category of higher-dimensional automata U Fahrenberg Foundations of Software Science and Computational Structures, 187-201, 2005	41*	2005
Discount-optimal infinite runs in priced timed automata U Fahrenberg, KG Larsen Electronic Notes in Theoretical Computer Science 239, 179-191, 2009	30	2009
Metrics for weighted transition systems: Axiomatization and complexity KG Larsen, U Fahrenberg, C Thrane Theoretical Computer Science, 2011	29	2011
Reparametrizations of continuous paths U Fahrenberg, M Raussen Journal of Homotopy and Related Structures 2 (2), 93-117, 2007	27	2007
Directed homology U Fahrenberg Proc. GETCO&CMCIM, 2003	25	2003
Vision paper: make a difference! (Semantically) U Fahrenberg, A Legay, A Wąsowski Model Driven Engineering Languages and Systems, 490-500, 2011	24	2011
Quantitative refinement for weighted modal transition systems S Bauer, U Fahrenberg, L Juhl, K Larsen, A Legay, C Thrane Mathematical Foundations of Computer Science 2011, 60-71, 2011	23	2011
Weighted modal transition systems SS Bauer, U Fahrenberg, L Juhl, KG Larsen, A Legay, C Thrane Formal Methods in System Design 42 (2), 193-220, 2013	22	2013
A quantitative characterization of weighted Kripke structures in temporal logic U Fahrenberg, KG Larsen, C Thrane Computing and Informatics 29 (6), 1311-1324, 2010	22*	2010
Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory N Beneš, B Delahaye, U Fahrenberg, J Křetínský, A Legay International Conference on Concurrency Theory, 76-90, 2013	21	2013
Distances for weighted transition systems: Games and properties U Fahrenberg, C Thrane, KG Larsen QAPL 2011, 2011	21	2011
Model checking real-time systems P Bouyer, U Fahrenberg, KG Larsen, N Markey, J Ouaknine, J Worrell Handbook of Model Checking, 1001-1046, 2018	20	2018
General Quantitative Specification Theories with Modalities SS Bauer, U Fahrenberg, A Legay, C Thrane CSR, 2012	19*	2012
Higher-dimensional automata from a topological viewpoint U Fahrenberg Aalborg University, 2005	19	2005

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

Upload PDF

Follow this author

Cited by

Co-authors