U. Fahrenberg
发表
K. Larsen,
P. Bouyer,
P. Reynier,
2019
.
Axel Legay,
U. Fahrenberg,
2017
.
K. Larsen,
U. Fahrenberg,
Michael Madsen,
2011
.
U. Fahrenberg,
M. Raussen,
2006
.
Eric Goubault,
Ulrich Fahrenberg,
É. Goubault,
2004,
Electron. Notes Theor. Comput. Sci..
K. Larsen,
Axel Legay,
Benoît Delahaye,
2014
.
Christian Johansen,
U. Fahrenberg,
G. Struth,
2022,
ArXiv.
Christian Johansen,
U. Fahrenberg,
G. Struth,
2022,
Information and Computation.
U. Fahrenberg,
2015
.
Kim G. Larsen,
Axel Legay,
Ulrich Fahrenberg,
2017,
Dependable Software Systems Engineering.
Kim G. Larsen,
Axel Legay,
Ulrich Fahrenberg,
2013,
ICTAC Training School on Software Engineering.
Ulrich Fahrenberg,
U. Fahrenberg,
2018,
ADHS.
U. Fahrenberg,
Krzysztof Ziemia'nski,
2022,
Petri Nets.
U. Fahrenberg,
2004
.
Christian Johansen,
U. Fahrenberg,
G. Struth,
2021,
Inf. Comput..
Christian Johansen,
U. Fahrenberg,
G. Struth,
2022
.
K. Larsen,
P. Bouyer,
P. Reynier,
2020,
Formal Aspects of Computing.
Axel Legay,
Jan Křetínský,
U. Fahrenberg,
2017,
Soft Computing.
Sebastian S. Bauer,
K. Larsen,
Axel Legay,
2012,
Formal Methods in System Design.
U. Fahrenberg,
2022,
Leibniz Trans. Embed. Syst..
Peter Jipsen,
Michael Winter,
Uli Fahrenberg,
2020,
RAMiCS.
Christian Johansen,
U. Fahrenberg,
G. Struth,
2021,
ArXiv.
Christian Johansen,
U. Fahrenberg,
G. Struth,
2020,
Acta Cybernetica.
U. Fahrenberg,
M. Raussen,
2007,
0706.3560.
Georg Struth,
Christian Johansen,
Krzysztof Ziemia'nski,
2021,
ArXiv.
Axel Legay,
Ulrich Fahrenberg,
Karin Quaas,
2020,
Theor. Comput. Sci..
Axel Legay,
Uli Fahrenberg,
Axel Legay,
2020,
ISoLA.
Axel Legay,
Ulrich Fahrenberg,
Axel Legay,
2020,
J. Log. Algebraic Methods Program..
Axel Legay,
Karin Quaas,
Uli Fahrenberg,
2019,
ICTAC.
Axel Legay,
Ulrich Fahrenberg,
Axel Legay,
2016,
SOFSEM.
Axel Legay,
Louis-Marie Traonouez,
Jan Křetínský,
2020,
Inf. Comput..
Axel Legay,
Ulrich Fahrenberg,
Axel Legay,
2014,
XM@MoDELS.
Axel Legay,
Ulrich Fahrenberg,
Louis-Marie Traonouez,
2014,
FPS@ETAPS.
Kim G. Larsen,
Axel Legay,
Ulrich Fahrenberg,
2014,
FPS@ETAPS.
Axel Legay,
Ulrich Fahrenberg,
Axel Legay,
2014,
Acta Informatica.
Axel Legay,
Ulrich Fahrenberg,
Louis-Marie Traonouez,
2014,
ICTAC.
Axel Legay,
Benoît Delahaye,
Ulrich Fahrenberg,
2013,
CONCUR.
Kim G. Larsen,
Axel Legay,
Benoît Delahaye,
2012,
QEST.
Kim G. Larsen,
Axel Legay,
Ulrich Fahrenberg,
2012,
Formal Methods Syst. Des..
Axel Legay,
Ulrich Fahrenberg,
Sebastian S. Bauer,
2012,
CSR.
Axel Legay,
Andrzej Wasowski,
Ulrich Fahrenberg,
2011,
MODELS'11.
Kim G. Larsen,
Axel Legay,
Ulrich Fahrenberg,
2011,
MFCS.
Kim G. Larsen,
Ulrich Fahrenberg,
Claus R. Thrane,
2011,
QAPL.
Kim G. Larsen,
Ulrich Fahrenberg,
Claus R. Thrane,
2011,
Theor. Comput. Sci..
Kim G. Larsen,
Ulrich Fahrenberg,
Claus R. Thrane,
2010,
J. Log. Algebraic Methods Program..
Axel Legay,
Ulrich Fahrenberg,
Zoltán Ésik,
2017,
Acta Cybern..
Kim G. Larsen,
Qi Lu,
Ulrich Fahrenberg,
2012,
J. Log. Algebraic Methods Program..
Kim G. Larsen,
Jirí Srba,
Ulrich Fahrenberg,
2011,
ICTAC.
Kim G. Larsen,
Ulrich Fahrenberg,
Claus R. Thrane,
2011,
Software and Systems Safety - Specification and Verification.
Kim G. Larsen,
Ulrich Fahrenberg,
Patricia Bouyer,
2010,
HSCC '10.
Kim G. Larsen,
Ulrich Fahrenberg,
K. Larsen,
2009,
QAPL.
Kim G. Larsen,
Ulrich Fahrenberg,
K. Larsen,
2009,
INFINITY.
Kim G. Larsen,
Ulrich Fahrenberg,
Claus R. Thrane,
2009,
FSEN.
Kim G. Larsen,
Jirí Srba,
Ulrich Fahrenberg,
2008,
FORMATS.
Kim G. Larsen,
Axel Legay,
Ulrich Fahrenberg,
2013,
ICTAC Training School on Software Engineering.
K. Larsen,
P. Bouyer,
U. Fahrenberg,
2009
.
Kim G. Larsen,
Ulrich Fahrenberg,
Patricia Bouyer,
2011,
Commun. ACM.
Axel Legay,
Ulrich Fahrenberg,
Jan Kretínský,
2014,
FACS.
U. Fahrenberg,
Hugo Bazille,
Uli Fahrenberg,
2023,
ArXiv.
Christian Johansen,
U. Fahrenberg,
G. Struth,
2022,
CONCUR.
Georg Struth,
Christian Johansen,
Krzysztof Ziemia'nski,
2021,
Math. Struct. Comput. Sci..
Georg Struth,
Christian Johansen,
Uli Fahrenberg,
2019,
RAMiCS.
Axel Legay,
Ulrich Fahrenberg,
Axel Legay,
2015,
CALCO.
Ulrich Fahrenberg,
U. Fahrenberg,
2004,
CMCIM/GETCO@CONCUR.
Axel Legay,
Ulrich Fahrenberg,
Xavier Allamigeon,
2013,
Int. J. Algebra Comput..
Christian Johansen,
U. Fahrenberg,
Krzysztof Ziemiański,
2018,
Log. Methods Comput. Sci..
Dejan Nickovic,
Thomas A. Henzinger,
Axel Legay,
2012,
FMOODS/FORTE.
Axel Legay,
Roberto Passerone,
Ulrich Fahrenberg,
2016,
ACM Trans. Embed. Comput. Syst..
Axel Legay,
Uli Fahrenberg,
Axel Legay,
2020,
2021 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Axel Legay,
Ulrich Fahrenberg,
Claus R. Thrane,
2011,
Theor. Comput. Sci..
U. Fahrenberg,
Hugo Bazille,
A. Amrane,
2023,
2305.02873.
U. Fahrenberg,
Krzysztof Ziemia'nski,
2022,
Petri Nets.
K. Larsen,
Qi Lu,
U. Fahrenberg,
2012,
J. Log. Algebraic Methods Program..
Christian Johansen,
U. Fahrenberg,
G. Struth,
2021,
Math. Struct. Comput. Sci..
Ulrich Fahrenberg,
U. Fahrenberg,
2005,
FoSSaCS.
Axel Legay,
Ulrich Fahrenberg,
Axel Legay,
2013,
APLAS.
Axel Legay,
Ulrich Fahrenberg,
Joanne M. Atlee,
2016,
SPLC.