The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Walter Guttmann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Walter Guttmann
    Non-termination in Unifying Theories of Programming. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2005, pp:108-120 [Conf]
  2. Walter Guttmann, Bernhard Möller
    Modal Design Algebra. [Citation Graph (0, 0)][DBLP]
    UTP, 2006, pp:236-256 [Conf]
  3. Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs
    Tool Support for the Interactive Derivation of Formally Correct Functional Programs. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2003, v:9, n:2, pp:173-0 [Journal]
  4. Stefan Sarstedt, Walter Guttmann
    An ASM Semantics of Token Flow in UML 2 Activity Diagrams. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:349-362 [Conf]

  5. Lazy Relations. [Citation Graph (, )][DBLP]


  6. General Correctness Algebra. [Citation Graph (, )][DBLP]


  7. Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams. [Citation Graph (, )][DBLP]


  8. Variations on an Ordering Theme with Constraints. [Citation Graph (, )][DBLP]


  9. Partial, Total and General Correctness. [Citation Graph (, )][DBLP]


  10. Lazy UTP. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.003secs
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