The SCEAS System
Navigation Menu

Search the dblp DataBase


Martin Büchi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ralph-Johan Back, Martin Büchi, Emil Sekerinski
    Action-Based Concurrency and Synchronization for Objects. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:248-262 [Conf]
  2. Martin Büchi, Wolfgang Weck
    Generic Wrappers. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2000, pp:201-225 [Conf]
  3. Martin Büchi, Emil Sekerinski
    Formal Methods for Component Software: The Refinement Calculus Perspective. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1997, pp:332-337 [Conf]
  4. Martin Büchi, Ralph-Johan Back
    Compositional Symmetric Sharing in B. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:431-451 [Conf]
  5. Martin Büchi
    The B Bank: A Complete Case Study. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1998, pp:190-199 [Conf]
  6. Martin Büchi, Wolfgang Weck
    Compound Types for Java. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1998, pp:362-373 [Conf]
  7. Martin Büchi, Emil Sekerinski
    A Foundation for Refining Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:44, n:1-2, pp:25-61 [Journal]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002