Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Kurt Lautenbach

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2011
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/nc/LautenbachP11
- ask others
Kurt Lautenbach, Alexander Pinl: A Petri net representation of Bayesian message flows: importance of Bayesian networks for biological applications. Natural Computing 10(2): 683-709 (2011)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2003
[c17]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/Lautenbach03
- ask others
Kurt Lautenbach: Logical Reasoning and Petri Nets. ICATPN 2003: 276-295
2002
[c16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/Lautenbach02
- ask others
Kurt Lautenbach: Reproducibility of the Empty Marking. ICATPN 2002: 237-253
[c15]
- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/emisa/LautenbachMP02
- ask others
Kurt Lautenbach, Jörg R. Müller, Stephan Philippi: Modellierung, Simulation und Analyse mit dem Petri-Netz-Tool POSEIDON. Promise 2002: 163-174

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[c14]
- view
  - electronic edition @ RWTH-Aachen.DE
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/awpn/KruseL99
- ask others
Rudolf J. Kruse, Kurt Lautenbach: Constraint Satisfaction mit Petri-Netzen. AWPN 1999
1994
[j5]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ki/HofestadtLL94
- ask others
Ralf Hofestädt, Kurt Lautenbach, Markus Löffler: Workshop Modellierung der Zelldifferenzierung. KI 8(1): 39 (1994)
[c13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/LautenbachR94
- ask others
Kurt Lautenbach, Hanno Ridder: Liveness in Bounded Petri Nets Which Are Covered by T-Invariants. Application and Theory of Petri Nets 1994: 358-375
1991
[c12]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gvd/DahrL91
- ask others
Michael Dahr, Kurt Lautenbach: Petri-Netz-Darstellung von Deduktiven Datenbanken. Grundlagen von Datenbanken 1991: 16-22

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1986
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ac/Lautenbach86
- ask others
Kurt Lautenbach: Linear Algebraic Techniques for Place/Transition Nets. Advances in Petri Nets 1986: 142-167
1985
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/ComparinLLPPT85
- ask others
G. Comparin, Gaetano Aurelio Lanzarone, Kurt Lautenbach, Anastasia Pagnoni, W. Panzeri, A. Torgano: Guidelines on using net analysis techniques with large specifications. Applications and Theory in Petri Nets 1985: 142-161
1984
[j4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eatcs/LautenbachP84
- ask others
Kurt Lautenbach, Anastasia Pagnoni: On the various high-level Petri Nets and their invariatnts. Bulletin of the EATCS 23: 42-58 (1984)
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/LautenbachP84
- ask others
Kurt Lautenbach, Anastasia Pagnoni: Liveness and duality in marked-graph-like predicate/transition nets. European Workshop on Applications and Theory in Petri Nets 1984: 331-352
1982
[j3]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/KlugeL82
- ask others
Werner E. Kluge, Kurt Lautenbach: The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes. IEEE Trans. Computers 31(3): 194-207 (1982)
[c8]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/GenrichL82
- ask others
Hartmann J. Genrich, Kurt Lautenbach: S-Invariance in Predicate/Transition Nets. European Workshop on Applications and Theory of Petri Nets 1982: 98-111
1981
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/GenrichL81
- ask others
Hartmann J. Genrich, Kurt Lautenbach: System Modelling with High-Level Petri Nets. Theor. Comput. Sci. 13: 109-136 (1981)
1980
[c7]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/arcs/KlugeL80
- ask others
Werner E. Kluge, Kurt Lautenbach: Kombinatorische Beschreibung und Lösung von Organisationsproblemen. ARCS 1980: 178-193
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mfcs/GenrichLT80
- ask others
Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan: Substitution Systems - A Family of System Models Based on Concurrency. MFCS 1980: 698-723

1970 – 1979

see FAQ

What is the meaning of the colors in the publication list?

1979
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/scc/GenrichL79
- ask others
Hartmann J. Genrich, Kurt Lautenbach: The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets. Semantics of Concurrent Computation 1979: 123-147
1978
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mfcs/GenrichL78
- ask others
Hartmann J. Genrich, Kurt Lautenbach: Facts in Place/Transition-Nets. MFCS 1978: 213-231
1976
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mfcs/LautenbachW76
- ask others
Kurt Lautenbach, Horst Wedde: Generating Control Mechanisms by Restrictions. MFCS 1976: 416-422
1975
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ac/GenrichLT75
- ask others
Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan: Elements of General Net Theory. Advanced Course: Net Theory and Applications 1975: 21-163
1974
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip/LautenbachS74
- ask others
Kurt Lautenbach, Hans Albrecht Schmid: Use of Petri Nets for Proving Correctness of Concurrent Process Systems. IFIP Congress 1974: 187-191
1973
[j1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/GenrichL73
- ask others
Hartmann J. Genrich, Kurt Lautenbach: Synchronisationsgraphen. Acta Inf. 2: 143-161 (1973)