Mark-Oliver Stehr
发表
David E. Wilkins,
Daniel Elenius,
Grit Denker,
2007
.
Carolyn L. Talcott,
Daniel Elenius,
Grit Denker,
2007,
IEEE Wireless Communications.
Carolyn L. Talcott,
Mark-Oliver Stehr,
C. Talcott,
2005,
Foundations of Global Computing.
Carolyn L. Talcott,
Mark-Oliver Stehr,
Minyoung Kim,
2011,
Sci. Comput. Program..
Nalini Venkatasubramanian,
Carolyn L. Talcott,
Mark-Oliver Stehr,
2011,
2011 International Conference on Collaboration Technologies and Systems (CTS).
Hua Li,
Rafael Alonso,
Carolyn L. Talcott,
2014,
UMAP Workshops.
Carolyn L. Talcott,
Daniel Elenius,
Grit Denker,
2007,
Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07).
Patrick Lincoln,
Mark-Oliver Stehr,
2010
.
Je-Min Kim,
Jin-Soo Kim,
Mark-Oliver Stehr,
2013,
SAC '13.
Mark-Oliver Stehr,
Minyoung Kim,
Timothy McCarthy,
2014,
Computing with New Resources.
Carolyn L. Talcott,
Mark-Oliver Stehr,
Merrill Knapp,
2019,
CMSB.
Daniel Elenius,
Grit Denker,
Mark-Oliver Stehr,
2008,
RR.
Nikil D. Dutt,
Nalini Venkatasubramanian,
Carolyn L. Talcott,
2008,
2008 Design, Automation and Test in Europe.
Francisco Durán,
José Meseguer,
Mark-Oliver Stehr,
1999,
World Congress on Formal Methods.
Mark-Oliver Stehr,
Amin Coja-Oghlan,
A. Coja-Oghlan,
2002,
Fundam. Informaticae.
Mark-Oliver Stehr,
Mark-Oliver Stehr,
2002
.
Peter Csaba Ölveczky,
Francisco Durán,
José Meseguer,
2019,
All About Maude.
Peter Csaba Ölveczky,
José Meseguer,
Carolyn L. Talcott,
2002,
Proceedings DARPA Active Networks Conference and Exposition.
Carolyn L. Talcott,
Mark-Oliver Stehr,
C. Talcott,
2004,
WRLA.
Mark-Oliver Stehr,
Mark-Oliver Stehr,
2005,
Fundam. Informaticae.
Mark-Oliver Stehr,
Carsten Schürmann,
2006,
LPAR.
Hang Li,
Carolyn L. Talcott,
Mark-Oliver Stehr,
2018,
CMSB.
Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision
Carolyn L. Talcott,
Patrick Lincoln,
Mark-Oliver Stehr,
2011,
Formal Modeling: Actors, Open Systems, Biological Systems.
Soonhoi Ha,
Mark-Oliver Stehr,
Minyoung Kim,
2010,
2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing.
Nikil D. Dutt,
Nalini Venkatasubramanian,
Carolyn L. Talcott,
2007,
FORMATS.
Nalini Venkatasubramanian,
Carolyn L. Talcott,
Mark-Oliver Stehr,
2012
.
Mark-Oliver Stehr,
2002,
Ausgezeichnete Informatikdissertationen.
Mark-Oliver Stehr,
Iliano Cervesato,
2004,
WRLA.
Soonhoi Ha,
Mark-Oliver Stehr,
Hyunok Oh,
2012,
J. Parallel Distributed Comput..
José Meseguer,
Mark-Oliver Stehr,
J. Meseguer,
2004,
Essays in Memory of Ole-Johan Dahl.
Mario Gerla,
Mark-Oliver Stehr,
Yu-Ting Yu,
2013,
MobiCom.
Learning Causality: Synthesis of Large-Scale Causal Networks from High-Dimensional Time Series Data
pdf
Carolyn L. Talcott,
Mark-Oliver Stehr,
Merrill Knapp,
2019,
ArXiv.
Peter Csaba Ölveczky,
José Meseguer,
Mark-Oliver Stehr,
2001,
Unifying Petri Nets.
Hua Li,
Rafael Alonso,
Mark-Oliver Stehr,
2014,
2014 IEEE Military Communications Conference.
Nikil D. Dutt,
Nalini Venkatasubramanian,
Carolyn L. Talcott,
2012,
TECS.
Mark-Oliver Stehr,
Mark-Oliver Stehr,
1998,
ICATPN.
Nikil D. Dutt,
Nalini Venkatasubramanian,
Carolyn L. Talcott,
2011,
Formal Modeling: Actors, Open Systems, Biological Systems.
Nikil D. Dutt,
Nalini Venkatasubramanian,
Carolyn L. Talcott,
2011,
Journal of Internet Services and Applications.
Mark-Oliver Stehr,
Iliano Cervesato,
2007,
High. Order Symb. Comput..
Françoise Sailhan,
Mark-Oliver Stehr,
2012,
2012 IEEE International Conference on Green Computing and Communications.
Carolyn L. Talcott,
Mark-Oliver Stehr,
Minyoung Kim,
2010,
UIC.
Mark-Oliver Stehr,
2006,
Electron. Notes Theor. Comput. Sci..
Mark-Oliver Stehr,
Mark-Oliver Stehr,
2000,
WRLA.
Mark-Oliver Stehr,
Minyoung Kim,
Sylvain Lefebvre,
2015,
2015 IEEE International Conference on Big Data (Big Data).
Peter Csaba Ölveczky,
José Meseguer,
Mark-Oliver Stehr,
2001,
UNIGRA.
Nalini Venkatasubramanian,
Carolyn L. Talcott,
Mark-Oliver Stehr,
2014,
Future Gener. Comput. Syst..
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
Nikil D. Dutt,
Nalini Venkatasubramanian,
Carolyn L. Talcott,
2007,
FMOODS.
Carolyn L. Talcott,
Mark-Oliver Stehr,
Luca Spalazzi,
2008,
2008 International Symposium on Collaborative Technologies and Systems.
José Meseguer,
Mark-Oliver Stehr,
Pavel Naumov,
2001,
TPHOLs.
Carolyn L. Talcott,
Mark-Oliver Stehr,
Minyoung Kim,
2013,
Sci. Comput. Program..
Mark-Oliver Stehr,
Carl A. Gunter,
Alwyn E. Goodloe,
2005,
WITS '05.
Carolyn L. Talcott,
Mark-Oliver Stehr,
Merrill Knapp,
2019,
ArXiv.
Carolyn L. Talcott,
Mark-Oliver Stehr,
Minyoung Kim,
2011,
UIC.
Mark-Oliver Stehr,
Jong-Seok Choi,
Minyoung Kim,
2013,
MobiQuitous.
Mark-Oliver Stehr,
Olaf Kummer,
Mark-Oliver Stehr,
1997,
ICATPN.
Carolyn L. Talcott,
Mark-Oliver Stehr,
Minyoung Kim,
2014,
Specification, Algebra, and Software.
Carolyn L. Talcott,
Mark-Oliver Stehr,
Minyoung Kim,
2022,
J. Log. Algebraic Methods Program..
Mark-Oliver Stehr,
Mark-Oliver Stehr,
2005
.
Mark-Oliver Stehr,
Carsten Schürmann,
2004
.