BibSonomy :: author :: Reisig ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(95)

<< < 1 | 2 | 3 > >>

Petri Nets with Individual Tokens.
Wolfgang Reisig Theor. Comput. Sci. (1985)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Petri Nets and Algebraic Specifications.
Wolfgang Reisig Theor. Comput. Sci. 80(1):1-34 (1991)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
A Note on the Representation of Finite Tree Automata.
Wolfgang Reisig Inf. Process. Lett. 8(5):239-240 (1979)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
Topic Introduction.
Jayadev Misra, Wolfgang Reisig, Michael Schoettner, and Laurent Lefèvre Euro-Par, volume 2790 of Lecture Notes in Computer Science, page 623. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
The Computable Kernel of ASM.
Wolfgang Reisig Abstract State Machines, volume 2589 of Lecture Notes in Computer Science, page 421-422. Springer, (2003)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY.
Herbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber, Axel Martens, Julia Padberg, Claudia Ermel, and Anilda Qemali Petri Net Technology for Communication-Based Systems, volume 2472 of Lecture Notes in Computer Science, page 1-21. Springer, (2003)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
The Linear Theory of Multiset Based Dynamic Systems.
Wolfgang Reisig WMP, volume 2235 of Lecture Notes in Computer Science, page 287-298. Springer, (2000)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Correctness Proofs of Distributed Algorithms.
Wolfgang Reisig Dagstuhl Seminar on Distributed Systems, volume 938 of Lecture Notes in Computer Science, page 164-177. Springer, (1994)
to dblp by dblp on Jun 23, 2011, 12:00 AM
URL | BibTeX
Towards an ASM Thesis for Unconventional Algorithms.
Wolfgang Reisig Abstract State Machines, volume 1912 of Lecture Notes in Computer Science, page 112-130. Springer, (2000)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
Verification of Distributed Algorithms with Algebraic Petri Nets.
Ekkart Kindler, and Wolfgang Reisig Foundations of Computer Science: Potential - Theory - Cognition, volume 1337 of Lecture Notes in Computer Science, page 261-270. Springer, (1997)
to dblp by dblp on Jun 16, 2011, 12:00 AM
URL | BibTeX
Place/Transition Systems.
Wolfgang Reisig Advances in Petri Nets, volume 254 of Lecture Notes in Computer Science, page 117-141. Springer, (1986)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
Petri Nets in Software Engineering.
Wolfgang Reisig Advances in Petri Nets, volume 255 of Lecture Notes in Computer Science, page 63-96. Springer, (1986)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
Verteilte Geschäftsprozesse und Web Services.
Wolfgang Reisig, and Axel Martens Modellierung, volume 45 of LNI, page 275. GI, (2004)
to dblp by dblp on May 31, 2011, 12:00 AM
URL | BibTeX
Teleteaching-Vorlesung "Verteilte Systeme: Formale Methoden - Anwendungen - Werkzeuge".
Wolfgang Reisig GI Jahrestagung, volume 19 of LNI, page 263-269. GI, (2002)
to dblp by dblp on May 31, 2011, 12:00 AM
URL | BibTeX
Petri Net Based Verification of Distributed Algorithms: An Example.
Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, and Rolf Walter Formal Asp. Comput. 9(4):409-424 (1997)
to dblp by dblp on May 25, 2011, 12:00 AM
URL | BibTeX
A primer in Petri net design.
Wolfgang Reisig Springer Compass International Springer, (1992)
to dblp by dblp and 1 other user on Apr 29, 2011, 12:00 AM
BibTeX
Testmusterbeschaffung aus algorithmischen Beschreibungen.
Reinhard Reisig Universität Paderborn, (1990)
to dblp by dblp on Mar 24, 2011, 12:00 AM
BibTeX
The Synthesis Problem of Petri Nets.
Jörg Desel, and Wolfgang Reisig Acta Inf. 33(4):297-315 (1996)
to dblp by dblp on Jan 11, 2011, 12:00 AM
URL | BibTeX
Deterministic Buffer Synchronization of Sequential Processes.
Wolfgang Reisig Acta Inf. (1982)
to dblp by dblp on Jan 11, 2011, 12:00 AM
URL | BibTeX
The Expressive Power of Abstract-State Machines.
Wolfgang Reisig Computers and Artificial Intelligence 22(3-4):209-219 (2003)
to dblp by dblp on Dec 15, 2010, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100