Astrid Kiehn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
1991–2019
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | TAMC | Consistency as a Branching Time Notion. | Astrid Kiehn, Mohnish Pattathurajan |
| 2014 | ICDCN | A Causal Checkpointing Algorithm for Mobile Computing Environments. | Astrid Kiehn, Pranav Raj, Pushpendra Singh |
| 2005 | DLT | On Timed Automata with Discrete Time - Structural and Language Theoretical Characterization. | Hermann Gruber, Markus Holzer, Astrid Kiehn, Barbara Knig |
| 2005 | FORTE | Amortised Bisimulations. | Astrid Kiehn, S. Arun-Kumar |
| 1995 | CAV | On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes. | Javier Esparza, Astrid Kiehn |
| 1994 | CONCUR | On the Decidability of Non-Interleaving Process Equivalences. | Astrid Kiehn |
| 1993 | MFCS | Proof Systems for Cause Based Equivalences. | Astrid Kiehn |
| 1992 | CONCUR | A Theory of Process with Localities (Extended Abstract). | Grard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn |
| 1991 | MFCS | Observing Localities (Extended Abstract). | Grard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn |