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).

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.

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.

Hang Li, Carolyn L. Talcott, Mark-Oliver Stehr, 2018, CMSB.

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.

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.

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.

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, 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..

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, Carsten Schürmann, 2004 .