Infinitary Partial Petri Net Languages and Their Relationship to Other Petri Net Semantics. - Astrid Kiehn (European Workshop on Applications and Theory of Petri Nets, 1987)

Petri Net systems and their closure properties. - Astrid Kiehn (European Workshop on Applications and Theory in Petri Nets, 1988)

On the Interrelation Between Synchronized and Non-Synchronized Behaviour of Petri Nets. - Astrid Kiehn (J. Inf. Process. Cybern., 1988)

A structuring mechanism for Petri nets. - Astrid Kiehn (1989)

Observing Localities (Extended Abstract). - Gérard Boudol; Ilaria Castellani; Matthew Hennessy; Astrid Kiehn (MFCS, 1991)

Concurrent Bisimulations in Petri Nets. - Eike Best; Raymond Devillers; Astrid Kiehn; Lucia Pomello (Acta Informatica, 1991)

Local and global causes - Astrid Kiehn (Forschungsberichte, TU Munich, 1991)

A Theory of Process with Localities (Extended Abstract). - Gérard Boudol; Ilaria Castellani; Matthew Hennessy; Astrid Kiehn (CONCUR, 1992)

Proof Systems for Cause Based Equivalences. - Astrid Kiehn (MFCS, 1993)

Observing Localities. - Gérard Boudol; Ilaria Castellani; Matthew Hennessy; Astrid Kiehn (Theor. Comput. Sci., 1993)

On the Decidability of Non-Interleaving Process Equivalences. - Astrid Kiehn (CONCUR, 1994)

Comparing Locality and Causality Based Equivalences. - Astrid Kiehn (Acta Informatica, 1994)

A Theory of Processes with Localities. - Gérard Boudol; Ilaria Castellani; Matthew Hennessy; Astrid Kiehn (Formal Aspects Comput., 1994)

On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes. - Javier Esparza; Astrid Kiehn (CAV, 1995)

Observing Partial Order Runs of Petri Nets. - Astrid Kiehn (Foundations of Computer Science: Potential - Theory - Cognition, 1997)

On the Decidability of Non-Interleaving Process Equivalences. - Astrid Kiehn; Matthew Hennessy (Fundam. Informaticae, 1997)

On Timed Automata with Discrete Time - Structural and Language Theoretical Characterization. - Hermann Gruber; Markus Holzer 001; Astrid Kiehn; Barbara König 001 (Developments in Language Theory, 2005)

Amortised Bisimulations. - Astrid Kiehn; S. Arun-Kumar (FORTE, 2005)

An Operational Semantics for Shared Messaging Communication. - Astrid Kiehn (SOS@LICS/ICALP, 2007)

A Causal Checkpointing Algorithm for Mobile Computing Environments. - Astrid Kiehn; Pranav Raj; Pushpendra Singh 001 (ICDCN, 2014)

Analyzing Mutable Checkpointing via Invariants. - Deepanker Aggarwal; Astrid Kiehn (FSEN, 2015)

A study of mutable checkpointing and related algorithms. - Astrid Kiehn; Deepanker Aggarwal (Sci. Comput. Program., 2018)

Consistency as a Branching Time Notion. - Astrid Kiehn; Mohnish Pattathurajan (TAMC, 2019)