Kurt Lautenbach

Publication Activity (10 Years)

Years Active: 1973-2014
Publications (10 Years): 0

Top Topics

Multiresolution

Top Venues

Publications

Kurt Lautenbach
Propagation Nets. Petri Nets (2014)
Kurt Lautenbach, Alexander Pinl
A Petri net representation of Bayesian message flows: importance of Bayesian networks for biological applications. Nat. Comput. 10 (2) (2011)
Kurt Lautenbach
Logical Reasoning and Petri Nets. ICATPN (2003)
Kurt Lautenbach, Jörg R. Müller, Stephan Philippi
Modellierung, Simulation und Analyse mit dem Petri-Netz-Tool POSEIDON. Promise (2002)
Kurt Lautenbach
Reproducibility of the Empty Marking. ICATPN (2002)
Rudolf J. Kruse, Kurt Lautenbach
Constraint Satisfaction mit Petri-Netzen. AWPN (1999)
Hans-Michael Hanisch, Jan Thieme, Kurt Lautenbach, Carlo Simon
Timestamp nets in technical applications. SMC (1998)
Ralf Hofestädt, Kurt Lautenbach, Markus Löffler
Workshop Modellierung der Zelldifferenzierung. Künstliche Intell. 8 (1) (1994)
Kurt Lautenbach, Hanno Ridder
Liveness in Bounded Petri Nets Which Are Covered by T-Invariants. Application and Theory of Petri Nets (1994)
Michael Dahr, Kurt Lautenbach
Petri-Netz-Darstellung von Deduktiven Datenbanken. Grundlagen von Datenbanken (1991)
Kurt Lautenbach
Linear Algebraic Techniques for Place/Transition Nets. Advances in Petri Nets (1986)
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)
Kurt Lautenbach, Anastasia Pagnoni
On the various high-level Petri Nets and their invariatnts. Bull. EATCS 23 (1984)
Kurt Lautenbach, Anastasia Pagnoni
Liveness and duality in marked-graph-like predicate/transition nets. European Workshop on Applications and Theory in Petri Nets (1984)
Werner E. Kluge, Kurt Lautenbach
The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes. IEEE Trans. Computers 31 (3) (1982)
Hartmann J. Genrich, Kurt Lautenbach
S-Invariance in Predicate/Transition Nets. European Workshop on Applications and Theory of Petri Nets (1982)
Hartmann J. Genrich, Kurt Lautenbach
System Modelling with High-Level Petri Nets. Theor. Comput. Sci. 13 (1981)
Werner E. Kluge, Kurt Lautenbach
Kombinatorische Beschreibung und Lösung von Organisationsproblemen. ARCS (1980)
Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan
Substitution Systems - A Family of System Models Based on Concurrency. MFCS (1980)
Hartmann J. Genrich, Kurt Lautenbach
The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets. Semantics of Concurrent Computation (1979)
Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan
Elements of General Net Theory. Advanced Course: Net Theory and Applications (1979)
Hartmann J. Genrich, Kurt Lautenbach
Facts in Place/Transition-Nets. MFCS (1978)
Kurt Lautenbach, Horst F. Wedde
Generating Control Mechanisms by Restrictions. MFCS (1976)
Kurt Lautenbach, Hans Albrecht Schmid
Use of Petri Nets for Proving Correctness of Concurrent Process Systems. IFIP Congress (1974)
Hartmann J. Genrich, Kurt Lautenbach
Synchronisationsgraphen Acta Informatica 2 (1973)