The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Ursula Goltz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ursula Goltz
    Synchronic Distance. [Citation Graph (0, 0)][DBLP]
    Advances in Petri Nets, 1986, pp:338-358 [Conf]
  2. Ingo Czaja, Rob J. van Glabbeek, Ursula Goltz
    Interleaving semantics and action refinement with atomic choice. [Citation Graph (0, 0)][DBLP]
    Advances in Petri Nets: The DEMON Project, 1992, pp:89-107 [Conf]
  3. Ursula Goltz, Yuan Chong-Yi
    Synchronic structure - a tutorial. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:233-252 [Conf]
  4. Ursula Goltz, Wolfgang Reisig
    Weighted Synchronic Distances. [Citation Graph (0, 0)][DBLP]
    Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:289-300 [Conf]
  5. Ursula Goltz, Wolfgang Reisig
    CSP-programs with individual tokens. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1984, pp:169-196 [Conf]
  6. Ursula Goltz, Wolfgang Reisig, P. S. Thiagarajan
    Two Alterative Definitions of Synchronic Distance. [Citation Graph (0, 0)][DBLP]
    Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:96-103 [Conf]
  7. Ursula Goltz
    Causality Based Models for the Design of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1991, pp:43-44 [Conf]
  8. Ursula Goltz, Ruurd Kuiper, Wojciech Penczek
    Propositional Temporal Logics and Equivalences. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:222-236 [Conf]
  9. Thomas Firley, Ursula Goltz
    Property Dependent Abstraction of Control Structure for Software Verification. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:511-530 [Conf]
  10. Ursula Goltz, Alan Mycroft
    On the Relationship of CCS and Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICALP, 1984, pp:196-208 [Conf]
  11. Ursula Goltz, Wolfgang Reisig
    Processes of Place/Transition-Nets. [Citation Graph (0, 0)][DBLP]
    ICALP, 1983, pp:264-277 [Conf]
  12. Rob J. van Glabbeek, Ursula Goltz
    Equivalences and Refinement. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:309-333 [Conf]
  13. Ursula Goltz
    CCS and Petri Nets. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:334-357 [Conf]
  14. Rob J. van Glabbeek, Ursula Goltz
    Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    MFCS, 1989, pp:237-248 [Conf]
  15. Ursula Goltz
    On Representing CCS Programs by Finite Petri Nets. [Citation Graph (0, 0)][DBLP]
    MFCS, 1988, pp:339-350 [Conf]
  16. Ursula Goltz, Heike Wehrheim
    Causal Testing. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:394-406 [Conf]
  17. Rob J. van Glabbeek, Ursula Goltz
    Refinement of Actions in Causality Based Models. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:267-300 [Conf]
  18. Ursula Goltz, Roberto Gorrieri, Arend Rensink
    On Syntactic and Semantic Action Refinement. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:385-404 [Conf]
  19. Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz
    Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. [Citation Graph (0, 0)][DBLP]
    UML, 1999, pp:645-660 [Conf]
  20. Rob J. van Glabbeek, Ursula Goltz
    Refinement of actions and equivalence notions for concurrent systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2001, v:37, n:4/5, pp:229-327 [Journal]
  21. Rob J. van Glabbeek, Ursula Goltz
    Parial order semantics for refinement of actions - neither necessary nor always sufficient but appropriate when used with care. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1989, v:38, n:, pp:154-163 [Journal]
  22. Rita Loogen, Ursula Goltz
    Modelling nondeterministic concurrent processes with event structures. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1991, v:14, n:1, pp:39-74 [Journal]
  23. Ursula Goltz, Roberto Gorrieri, Arend Rensink
    Comparing Syntactic and Semantic Sction Refinement. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:125, n:2, pp:118-143 [Journal]
  24. Ursula Goltz, Wolfgang Reisig
    The Non-sequential Behavior of Petri Nets [Citation Graph (0, 0)][DBLP]
    Information and Control, 1983, v:57, n:2/3, pp:125-147 [Journal]
  25. Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz
    Extended state identification and verification using a model checker. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2006, v:48, n:10, pp:981-992 [Journal]
  26. Ursula Goltz, Heike Wehrheim
    Modelling Causality via Action Dependencies in Branching Time Semantics. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1996, v:59, n:4, pp:179-184 [Journal]
  27. Rob J. van Glabbeek, Ursula Goltz
    Well-behaved flow event structures for parallel composition and action refinement. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:463-478 [Journal]
  28. Ursula Goltz, Arend Rensink
    Finite Petri Nets as Models for Recursive Causal Behaviour. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:124, n:1, pp:169-179 [Journal]

  29. On Synchronous and Asynchronous Interaction in Distributed Systems. [Citation Graph (, )][DBLP]


  30. Generating optimal distinguishing sequences with a model checker. [Citation Graph (, )][DBLP]


  31. Universal communication architecture for high-dynamic robot systems using QNX. [Citation Graph (, )][DBLP]


  32. On Synchronous and Asynchronous Interaction in Distributed Systems [Citation Graph (, )][DBLP]


  33. Symmetric and Asymmetric Asynchronous Interaction [Citation Graph (, )][DBLP]


  34. Symmetric and Asymmetric Asynchronous Interaction. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.302secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002