Astrid Kiehn

According to our database1, Astrid Kiehn
  • authored at least 20 papers between 1987 and 2015.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Analyzing Mutable Checkpointing via Invariants.
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

2014
A Causal Checkpointing Algorithm for Mobile Computing Environments.
Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014

2007
An Operational Semantics for Shared Messaging Communication.
Electr. Notes Theor. Comput. Sci., 2007

2005
Amortised Bisimulations.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

On Timed Automata with Discrete Time - Structural and Language Theoretical Characterization.
Proceedings of the Developments in Language Theory, 9th International Conference, 2005

1997
On the Decidability of Non-Interleaving Process Equivalences.
Fundam. Inform., 1997

Observing Partial Order Runs of Petri Nets.
Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

1995
On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes.
Proceedings of the Computer Aided Verification, 1995

1994
A Theory of Processes with Localities.
Formal Asp. Comput., 1994

Comparing Locality and Causality Based Equivalences.
Acta Inf., 1994

On the Decidability of Non-Interleaving Process Equivalences.
Proceedings of the CONCUR '94, 1994

1993
Observing Localities.
Theor. Comput. Sci., 1993

Proof Systems for Cause Based Equivalences.
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1992
A Theory of Process with Localities (Extended Abstract).
Proceedings of the CONCUR '92, 1992

1991
Concurrent Bisimulations in Petri Nets.
Acta Inf., 1991

Observing Localities (Extended Abstract).
Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

1989
A structuring mechanism for Petri nets.
PhD thesis, 1989

1988
On the Interrelation Between Synchronized and Non-Synchronized Behaviour of Petri Nets.
Elektronische Informationsverarbeitung und Kybernetik, 1988

Petri Net systems and their closure properties.
Proceedings of the Advances in Petri Nets 1989, 1988

1987
Infinitary Partial Petri Net Languages and Their Relationship to Other Petri Net Semantics.
Proceedings of the Advances in Petri Nets 1988, 1987


  Loading...