Martin Steffen
发表
Martin Steffen,
Ingo Detemple,
2007
.
Natalia Sidorova,
Martin Steffen,
M. Steffen,
2002,
VMCAI.
Martin Steffen,
Dennis Dams,
Ulrich Hannemann,
2010,
Concurrency, Compositionality, and Correctness.
Frank S. de Boer,
Willem P. de Roever,
Erika Ábrahám,
2006,
Electron. Notes Theor. Comput. Sci..
Natalia Sidorova,
Martin Steffen,
Natalia Ioustinova,
2003,
FMCO.
Michael Eichberg,
Volker Stolz,
Eric Bodden,
2016
.
Einar Broch Johnsen,
Olaf Owe,
Martin Steffen,
2012,
J. Log. Algebraic Methods Program..
Richard J. Roberts,
Simon Kasif,
Martin Steffen,
2017,
bioRxiv.
Natalia Sidorova,
Martin Steffen,
Natalia Ioustinova,
2002,
Ninth Asia-Pacific Software Engineering Conference, 2002..
Volker Stolz,
Ka I Pun,
Martin Steffen,
2012,
J. Log. Algebraic Methods Program..
Frank S. de Boer,
Willem P. de Roever,
Erika Ábrahám,
2005,
Theor. Comput. Sci..
Olaf Owe,
Jan Arne Telle,
Martin Steffen,
2011
.
Einar Broch Johnsen,
Martin Steffen,
Johanna Beate Stumpf,
2016,
WADT.
Richard J. Roberts,
Simon Kasif,
John Rachlin,
2015,
Nucleic Acids Res..
Olaf Owe,
Gerardo Schneider,
Martin Steffen,
2007,
SAVCBS '07.
Einar Broch Johnsen,
Olaf Owe,
Martin Steffen,
2011,
FSEN.
Einar Broch Johnsen,
Martin Steffen,
Johanna Beate Stumpf,
2020,
ISoLA.
Olaf Owe,
Martin Steffen,
Arild B. Torjusen,
2010,
Electron. Notes Theor. Comput. Sci..
Bernd Becker,
Erika Ábrahám,
Martin Steffen,
2006,
MBMV.
Volker Stolz,
Ka I Pun,
Martin Steffen,
2014,
2014 Theoretical Aspects of Software Engineering Conference.
Bjørnar Luteberget,
Christian Johansen,
Martin Steffen,
2016,
FM.
Martin Steffen,
Harald Fecher,
2004,
EXPRESS.
Gianluigi Zavattaro,
Martin Steffen,
2005
.
Martin Steffen,
M. Steffen,
1998
.
Einar Broch Johnsen,
Martin Steffen,
Johanna Beate Stumpf,
2018,
J. Log. Algebraic Methods Program..
Natalia Sidorova,
Martin Steffen,
M. Steffen,
2001,
SAS.
Reiner Hähnle,
Einar Broch Johnsen,
Martin Steffen,
2010,
FMCO.
Martin Steffen,
Thi Mai Thuong Tran,
2011,
2011 Third International Conference on Knowledge and Systems Engineering.
Olaf Owe,
Jan Arne Telle,
Martin Steffen,
2013,
Inf. Comput..
Mario Bravetti,
Frank S. de Boer,
Gianluigi Zavattaro,
2012,
FACS.
Bjørnar Luteberget,
Christian Johansen,
Martin Steffen,
2016,
IFM.
Frank S. de Boer,
Willem P. de Roever,
Erika Ábrahám,
2003,
FMOODS.
Frank S. de Boer,
Willem P. de Roever,
Erika Ábrahám,
2002,
FMCO.
Yassine Lakhnech,
Martin Steffen,
Dennis Dams,
2001,
J. Log. Algebraic Methods Program..
Martin Steffen,
Javier Camara,
M. Steffen,
2020,
SEFM Workshops.
Einar Broch Johnsen,
Martin Steffen,
Lars Tveito,
2018,
ICTAC.
Olaf Owe,
Martin Steffen,
Thi Mai Thuong Tran,
2010,
2010 Second International Conference on Knowledge and Systems Engineering.
Erika Ábrahám,
Andreas Grüner,
Martin Steffen,
2007,
Theory of Computing Systems.
Volker Stolz,
Ka I Pun,
Martin Steffen,
2016,
J. Log. Algebraic Methods Program..
Willem-Paul de Roever,
Martin Steffen,
Frank S. de Boer,
2004
.
Xiaoyu Jiang,
Simon Kasif,
Martin Steffen,
2008,
BMC Bioinformatics.
Volker Stolz,
Eric Bodden,
Ka I Pun,
2016,
ISoLA.
Einar Broch Johnsen,
Lars Michael Kristensen,
Crystal Chang Din,
2019,
Sci. Comput. Program..
Jens Knoop,
Baltasar Trancón y Widemann,
Martin Steffen,
2019
.
Volker Stolz,
Martin Steffen,
Stian Valle,
2017
.
Johan Dovland,
Einar Broch Johnsen,
Olaf Owe,
2009,
IFM.
Martin Steffen,
Thi Mai Thuong Tran,
Hoang Truong,
2011
.
Frank S. de Boer,
Marcello M. Bonsangue,
Erika Ábrahám,
2004,
FMCO.
Xiaoyu Jiang,
Simon Kasif,
Martin Steffen,
2008,
2008 IEEE International Conference on Bioinformatics and Biomedicine.
Einar Broch Johnsen,
Martin Steffen,
Lars Tveito,
2018,
IFM.
Volker Stolz,
Ka I Pun,
Martin Steffen,
2014,
SEFM.
Frank S. de Boer,
Willem P. de Roever,
Erika Ábrahám,
2002,
FoSSaCS.
Christel Baier,
Wang Yi,
Bernhard K. Aichernig,
2010,
TTSS.
Gerardo Schneider,
Martin Steffen,
Hallstein Asheim Hansen,
2013,
Sci. Comput. Program..
Richard J. Roberts,
Stanley Letovsky,
Simon Kasif,
2010,
Nucleic Acids Res..
Natalia Sidorova,
Martin Steffen,
M. Steffen,
2001,
SDL Forum.
Bernd Becker,
Erika Ábrahám,
Martin Steffen,
2007,
Electron. Notes Theor. Comput. Sci..
Jingyue Li,
Ingrid Chieh Yu,
Martin Steffen,
2016,
NIK.
Martin Steffen,
Thi Mai Thuong Tran,
2010,
IFM.
Frank S. de Boer,
Marcello M. Bonsangue,
Andreas Grüner,
2009,
Electron. Notes Theor. Comput. Sci..
Volker Stolz,
Ka I Pun,
Martin Steffen,
2013,
FSEN.
Einar Broch Johnsen,
Crystal Chang Din,
Ingrid Chieh Yu,
2017,
FSEN.
Natalia Sidorova,
Martin Steffen,
Natalia Ioustinova,
2002,
FME.
Erika Ábrahám,
Martin Steffen,
Thi Mai Thuong Tran,
2016,
Math. Struct. Comput. Sci..
Erika Ábrahám,
Andreas Grüner,
Martin Steffen,
2006,
FMOODS.
Martin Steffen,
M. Steffen,
2016,
Theory and Practice of Formal Methods.
Volker Stolz,
Martin Steffen,
Daniel Schnetzer Fava,
2019,
J. Log. Algebraic Methods Program..
Frank S. de Boer,
Marcello M. Bonsangue,
Erika Ábrahám,
2004,
ICTAC.
Erika Ábrahám,
Martin Steffen,
Ulrich Hannemann,
2001,
Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems.
Marcello M. Bonsangue,
Martin Steffen,
de Frank Boer,
2008
.
Erika Ábrahám,
Andreas Grüner,
Martin Steffen,
2006,
CiE.
Martin Steffen,
2009
.
Martin Steffen,
Immo Grabe,
Marcel Kyas,
2009,
FSEN.
Martin Steffen,
2008
.
Volker Stolz,
Martin Steffen,
Carl Martin Rosenberg,
2016,
RV.
Karsten Stahl,
Yassine Lakhnech,
Martin Steffen,
1999,
SPIN.
Yassine Lakhnech,
Martin Steffen,
Dennis Dams,
2000,
CAV 2000.
Frank S. de Boer,
Marcello M. Bonsangue,
Erika Ábrahám,
2004,
FMCO.
Martin Steffen,
Dennis Dams,
Ulrich Hannemann,
2010,
Concurrency, Compositionality, and Correctness.
Frank S. de Boer,
Martin Steffen,
Immo Grabe,
2012,
J. Log. Algebraic Methods Program..
Erika Ábrahám,
Andreas Grüner,
Martin Steffen,
2009,
J. Log. Algebraic Methods Program..
Uwe Nestmann,
Martin Steffen,
1995,
Object Orientation with Parallelism and Persistence.
Anh-Hoang Truong,
Martin Steffen,
Thi Mai Thuong Tran,
2012,
SoICT.
Martin Steffen,
Daniel Schnetzer Fava,
2020,
Sci. Comput. Program..
Bernd Becker,
Felix Klaedtke,
Erika Ábrahám,
2005,
VMCAI.
Natalia Sidorova,
Martin Steffen,
M. Steffen,
2000,
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.
Erika Ábrahám,
Andreas Grüner,
Martin Steffen,
2007,
Software & Systems Modeling.
Johan Dovland,
Einar Broch Johnsen,
Olaf Owe,
2008,
FM.
Gerardo Schneider,
Martin Steffen,
Hallstein Asheim Hansen,
2011,
FSEN.
Volker Stolz,
Ka I Pun,
Martin Steffen,
2014,
J. Log. Algebraic Methods Program..
Gianluigi Zavattaro,
Martin Steffen,
2005,
FMOODS.
Johan Dovland,
Einar Broch Johnsen,
Olaf Owe,
2011,
Sci. Comput. Program..
Frank S. de Boer,
Willem P. de Roever,
Erika Ábrahám,
2003,
Verification: Theory and Practice.
Bjørnar Luteberget,
Christian Johansen,
Martin Steffen,
2019,
FM.
Volker Stolz,
Martin Steffen,
Daniel Schnetzer Fava,
2018,
FM.
Erika Ábrahám,
Martin Steffen,
Ulrich Hannemann,
2001,
EUROCAST.
Johan Dovland,
Einar Broch Johnsen,
Olaf Owe,
2010,
J. Log. Algebraic Methods Program..
Frank S. de Boer,
Willem P. de Roever,
Erika Ábrahám,
2008,
Fundam. Informaticae.
Einar Broch Johnsen,
Ingrid Chieh Yu,
Ka I Pun,
2016,
From Action Systems to Distributed Systems.
Laura González,
Martin Steffen,
Guzmán Llambías,
2014,
2014 XL Latin American Computing Conference (CLEI).
Benjamin C. Pierce,
Martin Steffen,
B. Pierce,
1994,
Theor. Comput. Sci..
Anh-Hoang Truong,
Martin Steffen,
Thi Mai Thuong Tran,
2013,
SEFM.
Martin Steffen,
George M. Church,
Patrik D'haeseleer,
2002,
BMC Bioinformatics.
Martin Hofmann,
Martin Steffen,
Wolfgang Naraschewski,
1998,
Theory Pract. Object Syst..
Koen Claessen,
Bjørnar Luteberget,
Christian Johansen,
2021,
Formal Methods in System Design.
Frank S. de Boer,
Erika Ábrahám,
Martin Steffen,
2004
.
Martin Steffen,
Immo Grabe,
Andreas Grüner,
2009
.