default search action
Kurt Lautenbach
Person information
- affiliation: University of Koblenz and Landau, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2014
- [c19]Kurt Lautenbach:
Propagation Nets. Petri Nets 2014: 1-19 - 2011
- [j6]Kurt Lautenbach, Alexander Pinl:
A Petri net representation of Bayesian message flows: importance of Bayesian networks for biological applications. Nat. Comput. 10(2): 683-709 (2011)
2000 – 2009
- 2003
- [c18]Kurt Lautenbach:
Logical Reasoning and Petri Nets. ICATPN 2003: 276-295 - 2002
- [c17]Kurt Lautenbach:
Reproducibility of the Empty Marking. ICATPN 2002: 237-253 - [c16]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
- 1999
- [c15]Rudolf J. Kruse, Kurt Lautenbach:
Constraint Satisfaction mit Petri-Netzen. AWPN 1999 - 1998
- [c14]Hans-Michael Hanisch, Jan Thieme, Kurt Lautenbach, Carlo Simon:
Timestamp nets in technical applications. SMC 1998: 119-124 - 1994
- [j5]Ralf Hofestädt, Kurt Lautenbach, Markus Löffler:
Workshop Modellierung der Zelldifferenzierung. Künstliche Intell. 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
1980 – 1989
- 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. Bull. 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
1970 – 1979
- 1979
- [c5]Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan:
Elements of General Net Theory. Advanced Course: Net Theory and Applications 1979: 21-163 - [c4]Hartmann J. Genrich, Kurt Lautenbach:
The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets. Semantics of Concurrent Computation 1979: 123-147 - 1978
- [c3]Hartmann J. Genrich, Kurt Lautenbach:
Facts in Place/Transition-Nets. MFCS 1978: 213-231 - 1976
- [c2]Kurt Lautenbach, Horst F. Wedde:
Generating Control Mechanisms by Restrictions. MFCS 1976: 416-422 - 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]Hartmann J. Genrich, Kurt Lautenbach:
Synchronisationsgraphen. Acta Informatica 2: 143-161 (1973)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint