MIN-Fakultät
Fachbereich Informatik
Fundamente Teoretici de Informatică
UHH > MIN > Informatică > TGI > > Dr. M.O. Stehr Diese Seite ist in Deutsch verfügbar. This page is available in English. Cette page n'existe pas en Français. Ésta página no existe en Español. [Intern] Web-Mail Search Seitenende

Bibliography

Mark-Oliver Stehr

Atenție! This page is no longer maintained.

  1. Mark-Oliver Stehr: Concurrency Theory of Cyclic and Acyclic Processes , Fachbereichsbericht FBI-HH-B-190/96, Universität Hamburg, Fachbereich Informatik, September 1996.

  2. Olaf Kummer, Mark-Oliver Stehr: Petri's Axioms of Concurrency - A Selection of Recent Results , Proceedings of the 18th International Conference on Application and Theory of Petri Nets, Toulouse, June 23-27, 1997, Lecture Notes in Computer Science 1248, © Springer-Verlag , 1997

  3. Mark-Oliver Stehr: A Theory of Cyclic Orders, Part I: Generalized Relations and Acyclic Orders , Fachbereichsbericht FBI-HH-B-206/97, Fachbereich Informatik, Universität Hamburg, December 1997.

  4. Mark-Oliver Stehr: A Theory of Cyclic Orders, Part II: Total and Partial Cyclic Orders , Fachbereichsbericht FBI-HH-B-207/97, Fachbereich Informatik, Universität Hamburg, December 1997.

  5. Mark-Oliver Stehr: System Specification using Cyclic Causality Constraints , Fachbereichsbericht FBI-HH-B-210/98, Fachbereich Informatik, Universität Hamburg, May 1998.

  6. Mark-Oliver Stehr: Thinking in Cycles , Proceedings of the 19th International Conference on Application and Theory of Petri Nets, Lissabon, June 22-26, 1998, Lecture Notes in Computer Science © Springer-Verlag , 1998

  7. Mark-Oliver Stehr: Embedding UNITY into the Calculus of Inductive Constructions , Fachbereichsbericht FBI-HH-B-214/98, Universität Hamburg, Fachbereich Informatik, September 1998.

  8. Mark-Oliver Stehr: Characterizing Security in Synchronization Graphs , Petri Net Newsletter 56, Gesellschaft für Informatik, Bonn, 1999

  9. Manuel Clavel, Francisco Duran, Steven Eker, Jose Meseguer, Mark-Oliver Stehr: Maude as a Formal Meta-Tool. In the proceedings of FM'99, The World Congress On Formal Methods. Toulouse, France, September 20-24, 1999. Also appeared in the book OBJ/CafeOBJ/Maude at Formal Methods '99, Kokichi Futatsugi, Joseph Goguen and Jose Meseguer (Eds.), Theta (Bucharest), September 1999, ISBN 973-99097-1-X.

  10. Mark-Oliver Stehr, Jose Meseguer: Pure Type Systems in Rewriting Logic , Proceedings of LFM'99: Workshop on Logical Frameworks and Meta-languages, Paris, France, September 28, 1999. Paper available here . Extended version submitted for publication.

  11. Mark-Oliver Stehr: CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, sigma- and pi-calculi , Third International Workshop on Rewriting Logic and its Applications (WRLA'2000), Kanazawa, Japan, September 18 - 20, 2000, Electronic Notes in Theoretical Computer Science, Elsevier, 2000 ( ENTCS Link , extended version available)

  12. Mark-Oliver Stehr, Pavel Naumov, Jose Meseguer: A Proof-Theoretic Approach to the HOL-Nuprl Connection with Applications to Proof-Translation (extended abstract), In WADT/CoFI'01, 15th International Workshop on Algebraic Development Techniques and General Workshop of the CoFI WG, Genova, Italy, April 1 - 3, 2001, Proceedings. Full version available here.

  13. Mark-Oliver Stehr, Jose Meseguer, Peter C. Ölveczky: Rewriting Logic as a Unifying Framework for Petri Nets . In H. Ehrig, G. Juhas, J.Padberg, and G. Rozenberg, editors, Unifying Petri Nets, Advances in Petri Nets, volume 2128 of Lecture Notes in Computer Science, pages 250-303. Springer-Verlag, 2001.

  14. Mark-Oliver Stehr, Jose Meseguer, Peter C. Ölveczky: Representation and Execution of Petri Nets Using Rewriting Logic as a Uniform Framework . In H. Ehrig, C. Ermel, and J. Padberg, editors, UNIGRA'2001, Uniform Approaches to Graphical Process Specification Techniques, Genova, Italy, March 31st and April 1st, 2001, Proceedings, volume 44 of Electronic Notes in Theoretical Computer Science, 2001.

  15. Pavel Naumov, Mark-Oliver Stehr, Jose Meseguer: The HOL/NuPRL Proof Translator - A Practical Approach to Formal Interoperability , Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs'2001, Edinburgh, Scottland, UK , September 3 - 6, 2001, Proceedings, volume 2152 of Lecture Notes in Computer Science, © Springer-Verlag , 2001.

  16. Jose Meseguer, Peter Csaba Ölveczky, Mark-Oliver Stehr, and Carolyn L. Talcott. Maude as a wide-spectrum framework for formal modeling and analysis of active networks. In DARPA Active Networks Conference and Exposition (DANCE) , San Francisco, May 2002.

  1. Mark-Oliver Stehr: Assertional Reasoning , Claude Girault, Ruediger Valk (Eds.), Petri Nets for System Engineering - A Guide to Modelling, Verification and Applications, Springer-Verlag, 2002. ( Amazon Link )

  2. Mark-Oliver Stehr: A Rewriting Semantics for Algebraic Nets , Claude Girault, Ruediger Valk (Eds.), Petri Nets for System Engineering - A Guide to Modelling, Verification and Applications, Springer-Verlag, 2002. ( Amazon Link )

  1. Mark-Oliver Stehr: Reversible zelluläre Automaten , Manuskript, Universität Hamburg, Fachbereich Informatik, TGI, December 1992.

  2. Mark-Oliver Stehr: Physically Motivated Axiomatic Concurrency Theory - A Posetless Approach , Studienarbeit, Fachbereich Informatik, Universität Hamburg, December 1993.

  3. Mark-Oliver Stehr: Zyklische Ordnungen - Axiome und einfache Eigenschaften , Diplomarbeit, Fachbereich Informatik, Universität Hamburg, 1996.

  4. Mark-Oliver Stehr: Typtheorie Vorlesungsskript, Sommersemester 1997, Universität Hamburg, Fachbereich Informatik, TGI, 1997.

  5. Mark-Oliver Stehr: Algebraic Nets and Rewriting in a Membership Equational Logic Framework Manuskript, SRI International and Universität Hamburg, Fachbereich Informatik, TGI, April 1998.

  6. Mark-Oliver Stehr: CINNI - A New Calculus of Explicit Substitutions and its Application to Pure Type Systems, Manuscript, CSL, SRI-International, Menlo Park, CA, USA, May 1999

  7. Mark-Oliver Stehr and Carolyn L. Talcott. PLAN in Maude: Specifying an Active Network Programming Language, May 2002. Submitted for publication.

  8. Amin Coja-Oghlan and Mark-Oliver Stehr. Revisiting the algebra of Petri net processes under the collective token semantics. July 2002. Submitted for publication.

  9. Mark-Oliver Stehr and Carolyn L. Talcott. Specifying an Active Network Programming Language in Rewriting Logic. Manuscript, SRI International and University of Hamburg, November 2001.

  10. Mark-Oliver Stehr and Carolyn L. Talcott. Termination of Active Network Programs. Manuscript, SRI International and University of Hamburg, February 2002.

  1. Berndt Farwer, Daniel Moldt, Mark-Oliver Stehr (Eds.): Petri Nets in System Engineering (PNSE'97), Modelling, Verification, and Validation, Proceedings of the International Workshops PNSE'97, Hamburg, September, 25-26, 1997. Fachbereichsbericht FBI-HH-B-205/97, Fachbereich Informatik, Universität Hamburg, December 1997.