ask others

Astrid Kiehn

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/KiehnA18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/KiehnA18
Astrid Kiehn, Deepanker Aggarwal:
A study of mutable checkpointing and related algorithms. Sci. Comput. Program. 160: 78-92 (2018)
2015
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsen/AggarwalK15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsen/AggarwalK15
Deepanker Aggarwal, Astrid Kiehn:
Analyzing Mutable Checkpointing via Invariants. FSEN 2015: 176-190
2014
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icdcn/KiehnRS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icdcn/KiehnRS14
Astrid Kiehn, Pranav Raj, Pushpendra Singh:
A Causal Checkpointing Algorithm for Mobile Computing Environments. ICDCN 2014: 134-148

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2007
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Kiehn07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/Kiehn07
Astrid Kiehn:
An Operational Semantics for Shared Messaging Communication. Electr. Notes Theor. Comput. Sci. 192(1): 77-92 (2007)
2005
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dlt/GruberHKK05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dlt/GruberHKK05
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: 272-283
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/forte/KiehnA05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/KiehnA05
Astrid Kiehn, S. Arun-Kumar:
Amortised Bisimulations. FORTE 2005: 320-334

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1997
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/KiehnH97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/KiehnH97
Astrid Kiehn, Matthew Hennessy:
On the Decidability of Non-Interleaving Process Equivalences. Fundam. Inform. 30(1): 11-30 (1997)
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Kiehn97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/Kiehn97
Astrid Kiehn:
Observing Partial Order Runs of Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition 1997: 233-238
1995
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/EsparzaK95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/EsparzaK95
Javier Esparza, Astrid Kiehn:
On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes. CAV 1995: 353-366
1994
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Kiehn94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/Kiehn94
Astrid Kiehn:
Comparing Locality and Causality Based Equivalences. Acta Inf. 31(8): 697-718 (1994)
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/BoudolCHK94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/BoudolCHK94
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn:
A Theory of Processes with Localities. Formal Asp. Comput. 6(2): 165-200 (1994)
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/Kiehn94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/Kiehn94
Astrid Kiehn:
On the Decidability of Non-Interleaving Process Equivalences. CONCUR 1994: 18-33
1993
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/BoudolCHK93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/BoudolCHK93
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn:
Observing Localities. Theor. Comput. Sci. 114(1): 31-61 (1993)
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Kiehn93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Kiehn93
Astrid Kiehn:
Proof Systems for Cause Based Equivalences. MFCS 1993: 547-556
1992
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/BoudolCHK92
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/BoudolCHK92
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn:
A Theory of Process with Localities (Extended Abstract). CONCUR 1992: 108-122
1991
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/BestDKP91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/BestDKP91
Eike Best, Raymond R. Devillers, Astrid Kiehn, Lucia Pomello:
Concurrent Bisimulations in Petri Nets. Acta Inf. 28(3): 231-264 (1991)
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/BoudolCHK91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/BoudolCHK91
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn:
Observing Localities (Extended Abstract). MFCS 1991: 93-102

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[b1]
- view
  - electronic edition @ d-nb.info
- export record
  dblp key:
  - phd/dnb/Kiehn89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/phd/dnb/Kiehn89
Astrid Kiehn:
A structuring mechanism for Petri nets. Technical University Munich, Germany 1989, pp. 1-127
1988
[j1]
- no documents available
- export record
  dblp key:
  - journals/eik/Kiehn88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eik/Kiehn88
Astrid Kiehn:
On the Interrelation Between Synchronized and Non-Synchronized Behaviour of Petri Nets. Elektronische Informationsverarbeitung und Kybernetik 24(1/2): 3-18 (1988)
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apn/Kiehn88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/Kiehn88
Astrid Kiehn:
Petri Net systems and their closure properties. European Workshop on Applications and Theory in Petri Nets 1988: 306-328
1987
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apn/Kiehn87
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/Kiehn87
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: 227-248

Coauthor Index

see FAQ

maintained by

, founded at