Search the dblp DataBase
Kurt Lautenbach :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Hartmann J. Genrich , Kurt Lautenbach System Modelling with High-Level Petri Nets. [Citation Graph (7, 0)][DBLP ] Theor. Comput. Sci., 1981, v:13, n:, pp:109-136 [Journal ] Hartmann J. Genrich , Kurt Lautenbach , P. S. Thiagarajan Elements of General Net Theory. [Citation Graph (2, 0)][DBLP ] Advanced Course: Net Theory and Applications, 1975, pp:21-163 [Conf ] Hartmann J. Genrich , Kurt Lautenbach Facts in Place/Transition-Nets. [Citation Graph (2, 0)][DBLP ] MFCS, 1978, pp:213-231 [Conf ] Kurt Lautenbach Linear Algebraic Techniques for Place/Transition Nets. [Citation Graph (0, 0)][DBLP ] Advances in Petri Nets, 1986, pp:142-167 [Conf ] G. Comparin , Gaetano Aurelio Lanzarone , Kurt Lautenbach , Anastasia Pagnoni , W. Panzeri , A. Torgano Guidelines on using net analysis techniques with large specifications. [Citation Graph (0, 0)][DBLP ] Applications and Theory in Petri Nets, 1985, pp:142-161 [Conf ] Hartmann J. Genrich , Kurt Lautenbach S-Invariance in Predicate/Transition Nets. [Citation Graph (0, 0)][DBLP ] European Workshop on Applications and Theory of Petri Nets, 1982, pp:98-111 [Conf ] Kurt Lautenbach Reproducibility of the Empty Marking. [Citation Graph (0, 0)][DBLP ] ICATPN, 2002, pp:237-253 [Conf ] Kurt Lautenbach Logical Reasoning and Petri Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2003, pp:276-295 [Conf ] Kurt Lautenbach , Anastasia Pagnoni Liveness and duality in marked-graph-like predicate/transition nets. [Citation Graph (0, 0)][DBLP ] European Workshop on Applications and Theory in Petri Nets, 1984, pp:331-352 [Conf ] Kurt Lautenbach , Hanno Ridder Liveness in Bounded Petri Nets Which Are Covered by T-Invariants. [Citation Graph (0, 0)][DBLP ] Application and Theory of Petri Nets, 1994, pp:358-375 [Conf ] Werner E. Kluge , Kurt Lautenbach Kombinatorische Beschreibung und Lösung von Organisationsproblemen. [Citation Graph (0, 0)][DBLP ] ARCS, 1980, pp:178-193 [Conf ] Rudolf J. Kruse , Kurt Lautenbach Constraint Satisfaction mit Petri-Netzen. [Citation Graph (0, 0)][DBLP ] AWPN, 1999, pp:- [Conf ] Kurt Lautenbach , Jörg Müller , Stephan Philippi Modellierung, Simulation und Analyse mit dem Petri-Netz-Tool POSEIDON. [Citation Graph (0, 0)][DBLP ] Promise, 2002, pp:163-174 [Conf ] Michael Dahr , Kurt Lautenbach Petri-Netz-Darstellung von Deduktiven Datenbanken. [Citation Graph (0, 0)][DBLP ] Grundlagen von Datenbanken, 1991, pp:16-22 [Conf ] Kurt Lautenbach , Hans Albrecht Schmid Use of Petri Nets for Proving Correctness of Concurrent Process Systems. [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1974, pp:187-191 [Conf ] Hartmann J. Genrich , Kurt Lautenbach , P. S. Thiagarajan Substitution Systems - A Family of System Models Based on Concurrency. [Citation Graph (0, 0)][DBLP ] MFCS, 1980, pp:698-723 [Conf ] Kurt Lautenbach , Horst Wedde Generating Control Mechanisms by Restrictions. [Citation Graph (0, 0)][DBLP ] MFCS, 1976, pp:416-422 [Conf ] Hartmann J. Genrich , Kurt Lautenbach The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets. [Citation Graph (0, 0)][DBLP ] Semantics of Concurrent Computation, 1979, pp:123-147 [Conf ] Hartmann J. Genrich , Kurt Lautenbach Synchronisationsgraphen [Citation Graph (0, 0)][DBLP ] Acta Inf., 1973, v:2, n:, pp:143-161 [Journal ] Kurt Lautenbach , Anastasia Pagnoni On the various high-level Petri Nets and their invariatnts. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1984, v:23, n:, pp:42-58 [Journal ] Ralf Hofestädt , Kurt Lautenbach , Markus Löffler Workshop Modellierung der Zelldifferenzierung. [Citation Graph (0, 0)][DBLP ] KI, 1994, v:8, n:1, pp:39- [Journal ] Werner E. Kluge , Kurt Lautenbach The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1982, v:31, n:3, pp:194-207 [Journal ] Search in 0.003secs, Finished in 0.004secs