- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j6 |      | 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) |
| 2003 | ||
| c17 | | |
| 2002 | ||
| c16 | | |
| c15 | | Kurt Lautenbach, Jörg R. Müller, Stephan Philippi: Modellierung, Simulation und Analyse mit dem Petri-Netz-Tool POSEIDON. Promise 2002: 163-174 |
| 1999 | ||
| c14 | | |
| 1994 | ||
| j5 |  | Ralf Hofestädt, Kurt Lautenbach, Markus Löffler: Workshop Modellierung der Zelldifferenzierung. KI 8(1): 39 (1994) |
| c13 | | 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 | | Michael Dahr, Kurt Lautenbach: Petri-Netz-Darstellung von Deduktiven Datenbanken. Grundlagen von Datenbanken 1991: 16-22 |
| 1986 | ||
| c11 | | Kurt Lautenbach: Linear Algebraic Techniques for Place/Transition Nets. Advances in Petri Nets 1986: 142-167 |
| 1985 | ||
| c10 | | 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 | | Kurt Lautenbach, Anastasia Pagnoni: On the various high-level Petri Nets and their invariatnts. Bulletin of the EATCS 23: 42-58 (1984) |
| c9 | | 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 | | 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 | | 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 | | Hartmann J. Genrich, Kurt Lautenbach: System Modelling with High-Level Petri Nets. Theor. Comput. Sci. 13: 109-136 (1981) |
| 1980 | ||
| c7 | | Werner E. Kluge, Kurt Lautenbach: Kombinatorische Beschreibung und Lösung von Organisationsproblemen. ARCS 1980: 178-193 |
| c6 | | Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan: Substitution Systems - A Family of System Models Based on Concurrency. MFCS 1980: 698-723 |
| 1979 | ||
| c5 | | 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 | | |
| 1976 | ||
| c3 | | |
| 1975 | ||
| c2 | | Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan: Elements of General Net Theory. Advanced Course: Net Theory and Applications 1975: 21-163 |
| 1974 | ||
| c1 | | Kurt Lautenbach, Hans Albrecht Schmid: Use of Petri Nets for Proving Correctness of Concurrent Process Systems. IFIP Congress 1974: 187-191 |
| 1973 | ||
| j1 | | |
Colors in the list of coauthors
Last update Sun May 26 03:32:39 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page