Uli Fahrenberg 个人学术档案

引用次数

	总计	2019 年至今
引用	1664	678
h 指数	22	14
i10 指数	42	24

180

135

200520062007200820092010201120122013201420152016201720182019202020212022202320248 7 9 4 31 34 62 110 111 131 106 96 111 124 116 109 99 171 130 53

开放获取的出版物数量

查看全部

9 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

axel legayUCLouvain在 uclouvain.be 的电子邮件经过验证
Kim G. LarsenDirector, Professor Aalborg University在 cs.aau.dk 的电子邮件经过验证
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, France在 irisa.fr 的电子邮件经过验证
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-Saclay在 lsv.fr 的电子邮件经过验证
Claus ThraneAssistant Professor, Dept. of Computer Science, Aalborg University在 cs.aau.dk 的电子邮件经过验证
Christian JohansenProfessor at NTNU - Norwegian University of Science and Technology在 ntnu.no 的电子邮件经过验证
Georg StruthUniversity of Sheffield在 sheffield.ac.uk 的电子邮件经过验证
Jiri SrbaProfessor of Computer Science, Aalborg University在 cs.aau.dk 的电子邮件经过验证
Roberto PasseroneUniversity of Trento在 unitn.it 的电子邮件经过验证
Joanne M. AtleeComputer Science, University of Waterloo在 uwaterloo.ca 的电子邮件经过验证
Benoît DelahayeAssociate Professor, Nantes University, LS2N在 univ-nantes.fr 的电子邮件经过验证
Louis-Marie TraonouezINRIA Rennes在 inria.fr 的电子邮件经过验证
Jan KřetínskýMasaryk University Brno; Technical University of Munich在 fi.muni.cz 的电子邮件经过验证
Andrzej WąsowskiProfessor, IT University of Copenhagen, Denmark在 itu.dk 的电子邮件经过验证
Martin RaussenProfessor with special responsabilities (Mathematics), Aalborg University在 math.aau.dk 的电子邮件经过验证
Ratan Bahadur ThapaPostdoc at the Institute for Artificial Intelligence, University of Stuttgart在 ki.uni-stuttgart.de 的电子邮件经过验证
Giovanni BacciDepartment of Computer Science, Aalborg University在 cs.aau.dk 的电子邮件经过验证
Pierre-Alain ReynierLIS, Aix-Marseille Université在 lif.univ-mrs.fr 的电子邮件经过验证
Nikola BenešAssistant Professor, Faculty of Informatics, Masaryk University在 fi.muni.cz 的电子邮件经过验证
Amrane AmazighLaboratoire de Recherche de l'EPITA在 epita.fr 的电子邮件经过验证

关注

Uli Fahrenberg

Laboratoire de recherche de l'EPITA (LRE)

在 polytechnique.edu 的电子邮件经过验证


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	253	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	92	2011
Quantitative analysis of real-time systems P Bouyer, U Fahrenberg, KG Larsen, N Markey Journal Communications of the ACM, 2010	82*	2010
The Quantitative Linear-Time–Branching-Time Spectrum U Fahrenberg, A Legay, C Thrane FSTTCS 2011, 2011	73	2011
Quantitative analysis of weighted transition systems C Thrane, U Fahrenberg, KG Larsen Journal of Logic and Algebraic Programming 79 (7), 689-703, 2010	70	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	56	2010
Model checking real-time systems P Bouyer, U Fahrenberg, KG Larsen, N Markey, J Ouaknine, J Worrell Handbook of Model Checking, 1001-1046, 2018	47	2018
A category of higher-dimensional automata U Fahrenberg Foundations of Software Science and Computational Structures, 187-201, 2005	46*	2005
Metrics for weighted transition systems: Axiomatization and complexity KG Larsen, U Fahrenberg, C Thrane Theoretical Computer Science, 2011	40	2011
Reparametrizations of continuous paths U Fahrenberg, M Raussen Journal of Homotopy and Related Structures 2 (2), 93-117, 2007	38	2007
Vision paper: make a difference! (Semantically) U Fahrenberg, A Legay, A Wąsowski Model Driven Engineering Languages and Systems, 490-500, 2011	35	2011
Sound merging and differencing for class diagrams U Fahrenberg, M Acher, A Legay, A Wąsowski International Conference on Fundamental Approaches to Software Engineering …, 2014	34	2014
Discount-optimal infinite runs in priced timed automata U Fahrenberg, KG Larsen Electronic Notes in Theoretical Computer Science 239, 179-191, 2009	33	2009
Directed homology U Fahrenberg Proc. GETCO&CMCIM, 2003	29	2003
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	28	2013
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	28	2013
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	27	2011
Measuring behaviour interactions between product-line features JM Atlee, U Fahrenberg, A Legay 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, 20-25, 2015	26	2015
Distances for weighted transition systems: Games and properties U Fahrenberg, C Thrane, KG Larsen QAPL 2011, 2011	25	2011
A quantitative characterization of weighted Kripke structures in temporal logic U Fahrenberg, KG Larsen, C Thrane Computing and Informatics 29 (6), 1311-1324, 2010	25	2010

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用