The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jörg Bauer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal
    Specification and Verification of Dynamic Communication Systems. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:189-200 [Conf]
  2. Noam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
    A semantics for procedure local heaps and its abstractions. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:296-309 [Conf]
  3. Jörg Bauer, Tobe Toben, Bernd Westphal
    Mind the Shapes: Abstraction Refinement Via Topology Invariants. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:35-50 [Conf]
  4. Thomas W. Reps, Mooly Sagiv, Jörg Bauer
    An Appreciation of the Work of Reinhard Wilhelm. [Citation Graph (0, 0)][DBLP]
    Program Analysis and Compilation, 2006, pp:1-11 [Conf]
  5. Jörg Bauer, Reinhard Wilhelm
    Static Analysis of Dynamic Communication Systems by Partner Abstraction. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:249-264 [Conf]

  6. Verification and Synthesis of OCL Constraints Via Topology Analysis. [Citation Graph (, )][DBLP]


  7. Abstract Interpretation of Graph Transformation. [Citation Graph (, )][DBLP]


  8. Analysis of Dynamic Communicating Systems by Hierarchical Abstraction. [Citation Graph (, )][DBLP]


  9. A Modal-Logic Based Graph Abstraction. [Citation Graph (, )][DBLP]


  10. Relational Analysis of Correlation. [Citation Graph (, )][DBLP]


  11. Relational Analysis for Delivery of Services. [Citation Graph (, )][DBLP]


  12. Lamination And Microstructuring Technology for a Bio-Cell Multiwell array [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