default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDUli Fahrenberg
Ulrich Fahrenberg
Person information
- affiliation: LIX, École polytechnique, France
- affiliation: INRIA, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j27]Uli Fahrenberg, Krzysztof Ziemianski:
Myhill-Nerode Theorem for Higher-Dimensional Automata. Fundam. Informaticae 192(3-4): 219-259 (2024)- [c59]Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski:
Presenting Interval Pomsets with Interfaces. RAMiCS 2024: 28-45 - [c58]Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg:
Languages of Higher-Dimensional Timed Automata. Petri Nets 2024: 197-219 - [c57]Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin:
Logic and Languages of Higher-Dimensional Automata. DLT 2024: 51-67 - [e6]Uli Fahrenberg, Wesley Fussner, Roland Glück:
Relational and Algebraic Methods in Computer Science - 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings. Lecture Notes in Computer Science 14787, Springer 2024, ISBN 978-3-031-68278-0 [contents] - [i34]Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg:
Languages of Higher-Dimensional Timed Automata. CoRR abs/2401.17444 (2024) - [i33]Safa Zouari, Krzysztof Ziemianski, Uli Fahrenberg:
Bisimulations and Logics for Higher-Dimensional Automata. CoRR abs/2402.01589 (2024) - [i32]Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski:
Presenting Interval Pomsets with Interfaces. CoRR abs/2403.16626 (2024) - [i31]Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin:
Logic and Languages of Higher-Dimensional Automata. CoRR abs/2403.19526 (2024) - 2023
- [c56]Uli Fahrenberg, Krzysztof Ziemianski
:
A Myhill-Nerode Theorem for Higher-Dimensional Automata. Petri Nets 2023: 167-188 - [c55]Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier:
Energy Büchi Problems. FM 2023: 222-239 - [c54]Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski:
Closure and Decision Properties for Higher-Dimensional Automata. ICTAC 2023: 295-312 - [i30]Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski:
Developments in Higher-Dimensional Automata Theory. CoRR abs/2305.02873 (2023) - 2022
- [j26]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
Posets with interfaces as a model for concurrency. Inf. Comput. 285(Part): 104914 (2022) - [j25]Alessandro Abate, Uli Fahrenberg, Martin Fränzle:
Introduction to the Special Issue on Distributed Hybrid Systems. Leibniz Trans. Embed. Syst. 8(2): 00:1-00:3 (2022) - [j24]Uli Fahrenberg:
Higher-Dimensional Timed and Hybrid Automata. Leibniz Trans. Embed. Syst. 8(2): 03:1-03:16 (2022) - [j23]Uli Fahrenberg, Axel Legay:
Featured games. Sci. Comput. Program. 223: 102874 (2022) - [c53]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
A Kleene Theorem for Higher-Dimensional Automata. CONCUR 2022: 29:1-29:18 - [i29]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
A Kleene Theorem for Higher-Dimensional Automata. CoRR abs/2202.03791 (2022) - [i28]Uli Fahrenberg:
A Generic Approach to Quantitative Verification. CoRR abs/2204.11302 (2022) - [i27]Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier:
Energy Büchi Problems. CoRR abs/2205.04392 (2022) - [i26]Uli Fahrenberg, Krzysztof Ziemianski:
A Myhill-Nerode Theorem for Higher-Dimensional Automata. CoRR abs/2210.08298 (2022) - 2021
- [j22]Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier:
Optimal and robust controller synthesis using energy timed automata with uncertainty. Formal Aspects Comput. 33(1): 3-25 (2021) - [j21]Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski:
Sculptures in Concurrency. Log. Methods Comput. Sci. 17(2) (2021) - [j20]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
Languages of higher-dimensional automata. Math. Struct. Comput. Sci. 31(5): 575-613 (2021) - [c52]Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. RAMiCS 2021: 90-107 - [c51]Uli Fahrenberg, Axel Legay:
Featured Games. TASE 2021: 167-174 - [e5]Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter:
Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings. Lecture Notes in Computer Science 13027, Springer 2021, ISBN 978-3-030-88700-1 [contents] - [i25]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
Languages of Higher-Dimensional Automata. CoRR abs/2103.07557 (2021) - [i24]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
lr-Multisemigroups and Modal Convolution Algebras. CoRR abs/2105.00188 (2021) - [i23]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
Posets with Interfaces for Concurrent Kleene Algebra. CoRR abs/2106.10895 (2021) - 2020
- [j19]Nikola Benes, Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Logical vs. behavioural specifications. Inf. Comput. 271: 104487 (2020) - [j18]Uli Fahrenberg, Axel Legay:
A linear-time-branching-time spectrum for behavioral specification theories. J. Log. Algebraic Methods Program. 110 (2020) - [j17]Uli Fahrenberg, Axel Legay, Karin Quaas:
Computing branching distances with quantitative games. Theor. Comput. Sci. 847: 134-146 (2020) - [c50]Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa:
Generating Posets Beyond N. RAMiCS 2020: 82-99 - [c49]Uli Fahrenberg, Axel Legay:
Behavioral Specification Theories: An Algebraic Taxonomy. ISoLA (1) 2020: 262-274 - [e4]Uli Fahrenberg, Peter Jipsen, Michael Winter:
Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]. Lecture Notes in Computer Science 12062, Springer 2020, ISBN 978-3-030-43519-6 [contents] - [i22]Uli Fahrenberg, Axel Legay:
Featured Games. CoRR abs/2005.05666 (2020) - [i21]Uli Fahrenberg, Axel Legay:
Behavioral Specification Theories: an Algebraic Taxonomy. CoRR abs/2009.11011 (2020) - [i20]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianksi:
Domain Semirings United. CoRR abs/2011.04704 (2020)
2010 – 2019
- 2019
- [j16]David Cachera, Uli Fahrenberg, Axel Legay:
An ωω\omega-Algebra for Real-Time Energy Problems. Log. Methods Comput. Sci. 15(2) (2019) - [j15]Uli Fahrenberg, Axel Legay:
Quantitative properties of featured automata. Int. J. Softw. Tools Technol. Transf. 21(6): 667-677 (2019) - [c48]Uli Fahrenberg, Axel Legay, Karin Quaas:
Computing Branching Distances Using Quantitative Games. ICTAC 2019: 59-75 - [i19]Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa:
Generating Posets Beyond N. CoRR abs/1910.06162 (2019) - [i18]Uli Fahrenberg, Axel Legay, Karin Quaas:
Computing Branching Distances Using Quantitative Games. CoRR abs/1910.08943 (2019) - 2018
- [j14]Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Compositionality for quantitative specifications. Soft Comput. 22(4): 1139-1158 (2018) - [c47]Uli Fahrenberg:
Higher-Dimensional Timed Automata. ADHS 2018: 109-114 - [c46]Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier:
Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. FM 2018: 203-221 - [c45]Rafael Olaechea, Joanne M. Atlee, Axel Legay, Uli Fahrenberg:
Trace checking for dynamic software product lines. SEAMS@ICSE 2018: 69-75 - [c44]Uli Fahrenberg, Kim G. Larsen:
Energiautomater, energifunktioner og Kleene-algebra. NIK 2018 - [p4]Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, James Worrell:
Model Checking Real-Time Systems. Handbook of Model Checking 2018: 1001-1046 - [i17]Uli Fahrenberg:
Higher-Dimensional Timed Automata. CoRR abs/1802.07038 (2018) - [i16]Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier:
Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty. CoRR abs/1805.00847 (2018) - [i15]Uli Fahrenberg, Christian Johansen, Christopher Trotter, Krzysztof Ziemianski:
Sculptures in Concurrency. CoRR abs/1812.02008 (2018) - 2017
- [j13]Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
An Algebraic Approach to Energy Problems I - *-Continuous Kleene ω-Algebras. Acta Cybern. 23(1): 203-228 (2017) - [j12]Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
An Algebraic Approach to Energy Problems II - The Algebra of Energy Functions. Acta Cybern. 23(1): 229-268 (2017) - [c43]Uli Fahrenberg, Axel Legay:
Featured Weighted Automata. FormaliSE@ICSE 2017: 51-57 - [c42]Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün:
Compatibility flooding: measuring interaction of services interfaces. SAC 2017: 1334-1340 - [c41]Uli Fahrenberg, Axel Legay:
A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories. SOFSEM 2017: 49-61 - [p3]Kim G. Larsen, Uli Fahrenberg, Axel Legay:
From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning. Dependable Software Systems Engineering 2017: 60-103 - [i14]David Cachera, Uli Fahrenberg, Axel Legay:
An ω-Algebra for Real-Time Energy Problems. CoRR abs/1701.08524 (2017) - [i13]Uli Fahrenberg, Axel Legay:
Featured Weighted Automata. CoRR abs/1702.07484 (2017) - 2016
- [j11]Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay:
A tag contract framework for modeling heterogeneous systems. Sci. Comput. Program. 115-116: 225-246 (2016) - [j10]Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay:
Contract-Based Requirement Modularization via Synthesis of Correct Decompositions. ACM Trans. Embed. Comput. Syst. 15(2): 33:1-33:26 (2016) - [c40]Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay:
Long-term average cost in featured transition systems. SPLC 2016: 109-118 - [i12]Uli Fahrenberg, Axel Legay:
A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories. CoRR abs/1604.06503 (2016) - [i11]Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, Axel Legay:
Long-Term Average Cost in Featured Transition Systems. CoRR abs/1604.06781 (2016) - 2015
- [c39]Ulrich Fahrenberg, Axel Legay:
Partial Higher-dimensional Automata. CALCO 2015: 101-115 - [c38]Zoltán Ésik, Uli Fahrenberg, Axel Legay:
*-Continuous Kleene ω-Algebras. DLT 2015: 240-251 - [c37]David Cachera, Uli Fahrenberg, Axel Legay:
An omega-Algebra for Real-Time Energy Problems. FSTTCS 2015: 394-407 - [c36]Joanne M. Atlee, Uli Fahrenberg, Axel Legay:
Measuring Behaviour Interactions between Product-Line Features. FormaliSE@ICSE 2015: 20-25 - [c35]Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay:
Merging Features in Featured Transition Systems. MoDeVVa@MoDELS 2015: 38-43 - [c34]Zoltán Ésik, Uli Fahrenberg, Axel Legay:
*-Continuous Kleene ω-Algebras for Energy Problems. FICS 2015: 48-59 - [i10]Zoltán Ésik, Uli Fahrenberg, Axel Legay:
*-Continuous Kleene ω-Algebras. CoRR abs/1501.01118 (2015) - 2014
- [j9]Uli Fahrenberg, Axel Legay:
General quantitative specification theories with modal transition systems. Acta Informatica 51(5): 261-295 (2014) - [j8]Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay:
Refinement and Difference for Probabilistic Automata. Log. Methods Comput. Sci. 10(3) (2014) - [j7]Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay:
Tropical Fourier-Motzkin elimination, with an application to real-time verification. Int. J. Algebra Comput. 24(5): 569-608 (2014) - [j6]Uli Fahrenberg, Axel Legay:
The quantitative linear-time-branching-time spectrum. Theor. Comput. Sci. 538: 54-69 (2014) - [c33]Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez:
Parametric and Quantitative Extensions of Modal Transition Systems. FPS@ETAPS 2014: 84-97 - [c32]Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez:
Specification Theories for Probabilistic and Real-Time Systems. FPS@ETAPS 2014: 98-117 - [c31]Ulrich Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Compositionality for Quantitative Specifications. FACS 2014: 306-324 - [c30]Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wasowski:
Sound Merging and Differencing for Class Diagrams. FASE 2014: 63-78 - [c29]Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez:
Structural Refinement for the Modal nu-Calculus. ICTAC 2014: 169-187 - [c28]Uli Fahrenberg, Axel Legay:
Configurable Formal Methods for Extreme Modeling. XM@MoDELS 2014: 52-57 - [c27]Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay:
Measuring Global Similarity Between Texts. SLSP 2014: 220-232 - [i9]Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez:
Structural Refinement for the Modal nu-Calculus. CoRR abs/1402.2143 (2014) - [i8]Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay:
Measuring Structural Distances between Texts. CoRR abs/1403.4024 (2014) - [i7]Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Compositionality for Quantitative Specifications. CoRR abs/1408.1256 (2014) - [i6]Uli Fahrenberg, Axel Legay:
Homotopy Bisimilarity for Higher-Dimensional Automata. CoRR abs/1409.5865 (2014) - 2013
- [j5]Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane:
Weighted modal transition systems. Formal Methods Syst. Des. 42(2): 193-220 (2013) - [c26]Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay:
Tag Machines for Modeling Heterogeneous Systems. ACSD 2013: 186-195 - [c25]Uli Fahrenberg, Axel Legay:
Generalized Quantitative Analysis of Metric Transition Systems. APLAS 2013: 192-208 - [c24]Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
Kleene Algebras and Semimodules for Energy Problems. ATVA 2013: 102-117 - [c23]Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay:
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CONCUR 2013: 76-90 - [c22]Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay:
A Tag Contract Framework for Heterogeneous Systems. ESOCC Workshops 2013: 204-217 - [c21]Uli Fahrenberg, Kim G. Larsen, Axel Legay:
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. ICTAC Training School on Software Engineering 2013: 67-108 - [c20]Benoît Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay:
Refinement and Difference for Probabilistic Automata. QEST 2013: 22-38 - [c19]Uli Fahrenberg, Axel Legay:
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. MFPS 2013: 165-178 - [p2]Uli Fahrenberg, Kim G. Larsen, Axel Legay, Claus R. Thrane:
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. Engineering Dependable Software Systems 2013: 235-273 - [i5]Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay:
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CoRR abs/1306.0741 (2013) - [i4]Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
Kleene Algebras and Semimodules for Energy Problems. CoRR abs/1307.0635 (2013) - [i3]Xavier Allamigeon, Uli Fahrenberg, Stéphane Gaubert, Ricardo David Katz, Axel Legay:
Tropical Fourier-Motzkin elimination, with an application to real-time verification. CoRR abs/1308.2122 (2013) - 2012
- [j4]Qi Lu, Michael Madsen, Martin Milata, Søren Ravn, Uli Fahrenberg, Kim G. Larsen:
Reachability analysis for timed automata using max-plus algebra. J. Log. Algebraic Methods Program. 81(3): 298-313 (2012) - [c18]Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane:
General Quantitative Specification Theories with Modalities. CSR 2012: 18-30 - [c17]Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic:
Synchronous Interface Theories and Time Triggered Scheduling. FMOODS/FORTE 2012: 203-218 - [c16]Uli Fahrenberg, Axel Legay:
A Robust Specification Theory for Modal Event-Clock Automata. FIT 2012: 5-16 - [e3]Uli Fahrenberg, Axel Legay, Claus R. Thrane:
Proceedings Quantities in Formal Methods, QFM 2012, Paris, France, 28 August 2012. EPTCS 103, 2012 [contents] - [i2]Uli Fahrenberg, Axel Legay:
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. CoRR abs/1209.4927 (2012) - [i1]Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane:
Weighted Modal Transition Systems. CoRR abs/1210.5659 (2012) - 2011
- [j3]Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey:
Quantitative analysis of real-time systems using priced timed automata. Commun. ACM 54(9): 78-87 (2011) - [j2]Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane:
Metrics for weighted transition systems: Axiomatization and complexity. Theor. Comput. Sci. 412(28): 3358-3369 (2011) - [c15]Uli Fahrenberg, Axel Legay, Claus R. Thrane:
The Quantitative Linear-Time--Branching-Time Spectrum. FSTTCS 2011: 103-114 - [c14]Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba:
Energy Games in Multiweighted Automata. ICTAC 2011: 95-115 - [c13]Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane:
Quantitative Refinement for Weighted Modal Transition Systems. MFCS 2011: 60-71 - [c12]Uli Fahrenberg, Axel Legay, Andrzej Wasowski:
Vision Paper: Make a Difference! (Semantically). MoDELS 2011: 490-500 - [c11]Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen:
Distances for Weighted Transition Systems: Games and Properties. QAPL 2011: 134-147 - [p1]Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane:
Model-Based Verification and Analysis for Real-Time Systems. Software and Systems Safety - Specification and Verification 2011: 231-259 - [e2]Uli Fahrenberg, Stavros Tripakis:
Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings. Lecture Notes in Computer Science 6919, Springer 2011, ISBN 978-3-642-24309-7 [contents] - 2010
- [j1]Claus R. Thrane, Uli Fahrenberg, Kim G. Larsen:
Quantitative analysis of weighted transition systems. J. Log. Algebraic Methods Program. 79(7): 689-703 (2010) - [c10]Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey:
Timed automata with observers under energy constraints. HSCC 2010: 61-70
2000 – 2009
- 2009
- [c9]Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane:
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. FSEN 2009: 34-61 - [c8]Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane:
A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. MEMICS 2009 - [c7]Ulrich Fahrenberg, Kim Guldstrand Larsen:
Discounting in Time. QAPL 2009: 25-31 - [c6]Ulrich Fahrenberg, Kim Guldstrand Larsen:
Discount-Optimal Infinite Runs in Priced Timed Automata. INFINITY 2009: 179-191 - 2008
- [c5]Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba:
Infinite Runs in Weighted Timed Automata with Energy Constraints. FORMATS 2008: 33-47 - 2005
- [c4]Ulrich Fahrenberg:
A Category of Higher-Dimensional Automata. FoSSaCS 2005: 187-201 - 2004
- [e1]Thomas T. Hildebrandt, Alexander Kurz, Eric Goubault, Ulrich Fahrenberg:
Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, Interaction, and Mobility, CMCIM 2003, and the Fifth Workshop on Geometric and Topological Methods in Concurrency, GETCO 2003, Satellite Events of CONCUR 2003, Marseille, France, September 6, 2003. Electronic Notes in Theoretical Computer Science 100, Elsevier 2004 [contents] - 2003
- [c3]Eric Goubault, Ulrich Fahrenberg:
Preface. CMCIM/GETCO@CONCUR 2003: 47-48 - [c2]Ulrich Fahrenberg:
Directed Homology. CMCIM/GETCO@CONCUR 2003: 111-125 - 2002
- [c1]Ulrich Fahrenberg:
The Geometry of Timed PV Programs. GETCO 2002: 1-14
Coauthor Index
Kim G. Larsen
aka: Kim Guldstrand Larsen
aka: Kim Guldstrand Larsen
[j23] [c51] [j19] [j18] [j17] [c49] [i22] [i21] [j16] [j15] [c48] [i18] [j14] [c45] [j13] [j12] [c43] [c42] [c41] [p3] [i14] [i13] [j11] [j10] [c40] [i12] [i11] [c39] [c38] [c37] [c36] [c35] [c34] [i10] [j9] [j8] [j7] [j6] [c33] [c32] [c31] [c30] [c29] [c28] [c27] [i9] [i8] [i7] [i6] [j5] [c26] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [p2] [i5] [i4] [i3] [c18] [c17] [c16] [e3] [i2] [i1] [c15] [c13] [c12]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-04 21:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
