( en | de | ru )

 

Disambiguation of "Klein, Joachim"

Author of the publication

copydeleteadd this publication to your clipboard
Markov chains and unambiguous automata.

, , , , and . J. Comput. Syst. Sci., (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Joachim Klein

Joachim Klein

Joachim Klein

Joachim Klein

Joachim Klein

 

Other publications of authors with the same name

Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination., , , , , and . Inf. Comput., (2020)Concurrency and Replica Control for Constraint-Based Database Caching.. ADBIS, volume 6295 of Lecture Notes in Computer Science, page 305-319. Springer, (2010)Markov chains and unambiguous automata., , , , and . J. Comput. Syst. Sci., (2023)From LTL to unambiguous Büchi automata via disambiguation of alternating automata., , , and . Formal Methods Syst. Des., 58 (1-2): 42-82 (2021)Stets Wertvollständig! - Snapshot Isolation für das Constraint-basierte Datenbank-Caching.. BTW, volume P-180 of LNI, page 247-266. GI, (2011)Selektives Laden und Entladen von Prädikatsextensionen beim Constraint-basierten Datenbank-Caching., , and . BTW, volume P-144 of LNI, page 347-366. GI, (2009)Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo., , , , , , , , , and 8 other author(s). TTSS, volume 266 of Electronic Notes in Theoretical Computer Science, page 33-48. Elsevier, (2009)Optimizing Maintenance of Constraint-Based Database Caches., and . ADBIS, volume 5739 of Lecture Notes in Computer Science, page 219-234. Springer, (2009)Eine parametrisierbare Messumgebung für datenintensive verteilte Anwendungen., and . Grundlagen von Datenbanken, volume 02/2007 of Technical Report, page 62-66. School of Information Technology, International University in Germany, (2007)Generic Emptiness Check for Fun and Profit., , , , , and . ATVA, volume 11781 of Lecture Notes in Computer Science, page 445-461. Springer, (2019)