Astrid Kiehn

Publication Activity (10 Years)

Years Active: 1987-2019
Publications (10 Years): 2

Top Venues

TAMC

Sci. Comput. Program.

FSEN

ICDCN

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Astrid Kiehn, Mohnish Pattathurajan
Consistency as a Branching Time Notion. TAMC (2019)
Astrid Kiehn, Deepanker Aggarwal
A study of mutable checkpointing and related algorithms. Sci. Comput. Program. 160 (2018)
Deepanker Aggarwal, Astrid Kiehn
Analyzing Mutable Checkpointing via Invariants. FSEN (2015)
Astrid Kiehn, Pranav Raj, Pushpendra Singh
A Causal Checkpointing Algorithm for Mobile Computing Environments. ICDCN (2014)
Astrid Kiehn
An Operational Semantics for Shared Messaging Communication. Electron. Notes Theor. Comput. Sci. 192 (1) (2007)
Hermann Gruber, Markus Holzer, Astrid Kiehn, Barbara König
On Timed Automata with Discrete Time - Structural and Language Theoretical Characterization. Developments in Language Theory (2005)
Astrid Kiehn, S. Arun-Kumar
Amortised Bisimulations. FORTE (2005)
Astrid Kiehn
Observing Partial Order Runs of Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition (1997)
Astrid Kiehn, Matthew Hennessy
On the Decidability of Non-Interleaving Process Equivalences. Fundam. Informaticae 30 (1) (1997)
Javier Esparza, Astrid Kiehn
On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes. CAV (1995)
Astrid Kiehn
On the Decidability of Non-Interleaving Process Equivalences. CONCUR (1994)
Astrid Kiehn
Comparing Locality and Causality Based Equivalences. Acta Informatica 31 (8) (1994)
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
A Theory of Processes with Localities. Formal Aspects Comput. 6 (2) (1994)
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
Observing Localities. Theor. Comput. Sci. 114 (1) (1993)
Astrid Kiehn
Proof Systems for Cause Based Equivalences. MFCS (1993)
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
A Theory of Process with Localities (Extended Abstract). CONCUR (1992)
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
Observing Localities (Extended Abstract). MFCS (1991)
Astrid Kiehn
Local and global causes Forschungsberichte, TU Munich (1991)
Eike Best, Raymond R. Devillers, Astrid Kiehn, Lucia Pomello
Concurrent Bisimulations in Petri Nets. Acta Informatica 28 (3) (1991)
Astrid Kiehn
On the Interrelation Between Synchronized and Non-Synchronized Behaviour of Petri Nets. J. Inf. Process. Cybern. 24 (1/2) (1988)
Astrid Kiehn
Petri Net systems and their closure properties. European Workshop on Applications and Theory in Petri Nets (1988)
Astrid Kiehn
Infinitary Partial Petri Net Languages and Their Relationship to Other Petri Net Semantics. European Workshop on Applications and Theory of Petri Nets (1987)

Astrid Kiehn.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Astrid Kiehn