The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Astrid Kiehn: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Astrid Kiehn
    Infinitary Partial Petri Net Languages and Their Relationship to Other Petri Net Semantics. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory of Petri Nets, 1987, pp:227-248 [Conf]
  2. Astrid Kiehn
    Petri Net systems and their closure properties. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1988, pp:306-328 [Conf]
  3. Astrid Kiehn
    Observing Partial Order Runs of Petri Nets. [Citation Graph (0, 0)][DBLP]
    Foundations of Computer Science: Potential - Theory - Cognition, 1997, pp:233-238 [Conf]
  4. Javier Esparza, Astrid Kiehn
    On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes. [Citation Graph (0, 0)][DBLP]
    CAV, 1995, pp:353-366 [Conf]
  5. Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
    A Theory of Process with Localities (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:108-122 [Conf]
  6. Astrid Kiehn
    On the Decidability of Non-Interleaving Process Equivalences. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:18-33 [Conf]
  7. Hermann Gruber, Markus Holzer, Astrid Kiehn, Barbara König
    On Timed Automata with Discrete Time - Structural and Language Theoretical Characterization. [Citation Graph (0, 0)][DBLP]
    Developments in Language Theory, 2005, pp:272-283 [Conf]
  8. Astrid Kiehn, S. Arun-Kumar
    Amortised Bisimulations. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:320-334 [Conf]
  9. Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
    Observing Localities (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:93-102 [Conf]
  10. Astrid Kiehn
    Proof Systems for Cause Based Equivalences. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:547-556 [Conf]
  11. Eike Best, Raymond R. Devillers, Astrid Kiehn, Lucia Pomello
    Concurrent Bisimulations in Petri Nets. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1991, v:28, n:3, pp:231-264 [Journal]
  12. Astrid Kiehn
    Comparing Locality and Causality Based Equivalences. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1994, v:31, n:8, pp:697-718 [Journal]
  13. Astrid Kiehn
    On the Interrelation Between Synchronized and Non-Synchronized Behaviour of Petri Nets. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1988, v:24, n:1/2, pp:3-18 [Journal]
  14. Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
    A Theory of Processes with Localities. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1994, v:6, n:2, pp:165-200 [Journal]
  15. Astrid Kiehn, Matthew Hennessy
    On the Decidability of Non-Interleaving Process Equivalences. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:30, n:1, pp:11-30 [Journal]
  16. Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn
    Observing Localities. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:114, n:1, pp:31-61 [Journal]

  17. An Operational Semantics for Shared Messaging Communication. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002