The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mark-Oliver Stehr: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Olaf Kummer, Mark-Oliver Stehr
    Petri's Axioms of Concurrency- A Selection of Recent Results. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:195-214 [Conf]
  2. Mark-Oliver Stehr
    Thinking in Cycles. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:205-225 [Conf]
  3. Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky
    Rewriting Logic as a Unifying Framework for Petri Nets. [Citation Graph (0, 0)][DBLP]
    Unifying Petri Nets, 2001, pp:250-303 [Conf]
  4. Mark-Oliver Stehr, José Meseguer
    Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:334-375 [Conf]
  5. Mark-Oliver Stehr, Carolyn L. Talcott
    Practical Techniques for Language Design and Prototyping. [Citation Graph (0, 0)][DBLP]
    Foundations of Global Computing, 2005, pp:- [Conf]
  6. José Meseguer, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott
    Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks. [Citation Graph (0, 0)][DBLP]
    DANCE, 2002, pp:494-510 [Conf]
  7. Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr
    Maude as a Formal Meta-tool. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1684-1703 [Conf]
  8. Carsten Schürmann, Mark-Oliver Stehr
    An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:150-166 [Conf]
  9. Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott
    Exploring adaptability of secure group communication using formal prototyping techniques. [Citation Graph (0, 0)][DBLP]
    Adaptive and Reflective Middleware, 2004, pp:232-237 [Conf]
  10. Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott
    Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation. [Citation Graph (0, 0)][DBLP]
    PRDC, 2006, pp:113-120 [Conf]
  11. Pavel Naumov, Mark-Oliver Stehr, José Meseguer
    The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability). [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:329-345 [Conf]
  12. Iliano Cervesato, Mark-Oliver Stehr
    Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:183-207 [Journal]
  13. Mark-Oliver Stehr, Carolyn L. Talcott
    Plan in Maude: Specifying an Active Network Programming Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  14. Mark-Oliver Stehr
    CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- Calculi. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  15. Mark-Oliver Stehr
    Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:299-323 [Journal]
  16. Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky
    Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:4, pp:- [Journal]
  17. Amin Coja-Oghlan, Mark-Oliver Stehr
    Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:2-3, pp:151-164 [Journal]
  18. Mark-Oliver Stehr
    The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:68, n:1-2, pp:131-174 [Journal]
  19. Mark-Oliver Stehr
    The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:68, n:3, pp:249-288 [Journal]
  20. Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian
    A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:285-300 [Conf]
  21. Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian
    Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:257-273 [Conf]
  22. Daniel Elenius, Grit Denker, Mark-Oliver Stehr, Rukman Senanayake, Carolyn L. Talcott, David Wilkins
    CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies. [Citation Graph (0, 0)][DBLP]
    POLICY, 2007, pp:261-265 [Conf]
  23. Iliano Cervesato, Mark-Oliver Stehr
    Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2007, v:20, n:1-2, pp:3-35 [Journal]

  24. Constraint Refinement for Online Verifiable Cross-Layer System Adaptation. [Citation Graph (, )][DBLP]


  25. Formal prototyping in early stages of protocol design. [Citation Graph (, )][DBLP]


  26. A Semantic Web Reasoner for Rules, Equations and Constraints. [Citation Graph (, )][DBLP]


  27. Some Tools. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002