The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Martin Berger: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gernot Bachler, Martin Berger, Reinhard Röhrer, Stefan Scherer, Axel Pinz
    A Vision Driven Automatic Assembly Unit. [Citation Graph (0, 0)][DBLP]
    CAIP, 1999, pp:375-382 [Conf]
  2. Martin Berger
    Basic Theory of Reduction Congruence forTwo Timed Asynchronous pi-Calculi. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:115-130 [Conf]
  3. Martin Berger, Gaudenz Danuser
    Deformable Multi Template Matching with Application to Portal Images. [Citation Graph (0, 0)][DBLP]
    CVPR, 1997, pp:374-379 [Conf]
  4. Martin Berger, Gaudenz Danuser
    Deformable Multi Template Matching with Application to Portal Images. [Citation Graph (0, 0)][DBLP]
    CVPR, 1997, pp:374-386 [Conf]
  5. Martin Berger
    Visualisierung in der Umweltinformatik - Aktivitäten im Umfeld von AVS. [Citation Graph (0, 0)][DBLP]
    Visualisierung von Umweltdaten, 1994, pp:91-97 [Conf]
  6. Martin Berger, Ralf Denzer
    Arbeitsgruppe Visualisierung. [Citation Graph (0, 0)][DBLP]
    Visualisierung von Umweltdaten, 1994, pp:165-168 [Conf]
  7. Martin Berger, Kohei Honda, Nobuko Yoshida
    Genericity and the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2003, pp:103-119 [Conf]
  8. Nobuko Yoshida, Kohei Honda, Martin Berger
    Linearity and Bisimulation. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:417-434 [Conf]
  9. Kohei Honda, Martin Berger, Nobuko Yoshida
    Descriptive and Relative Completeness of Logics for Higher-Order Functions. [Citation Graph (0, 0)][DBLP]
    ICALP (2), 2006, pp:360-371 [Conf]
  10. Martin Berger, Kohei Honda, Nobuko Yoshida
    A logical analysis of aliasing in imperative higher-order functions. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:280-293 [Conf]
  11. Martin Sengel, Martin Berger, Vassili Kravtchenko-Berejnoi, Horst Bischof
    Fast object recognition and pose determination. [Citation Graph (0, 0)][DBLP]
    ICIP (3), 2002, pp:349-352 [Conf]
  12. Martin Berger, Thomas Auer, Gernot Bachler, Stefan Scherer, Axel Pinz
    3D Model Based Pose Determination in Real-Time: Strategies, Convergence, Accurac. [Citation Graph (0, 0)][DBLP]
    ICPR, 2000, pp:4567-4570 [Conf]
  13. Martin Berger, Gernot Bachler, Stefan Scherer
    Vision Guided Bin Picking and Mounting in a Flexible Assembly Cell. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 2000, pp:109-118 [Conf]
  14. Kohei Honda, Nobuko Yoshida, Martin Berger
    An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:270-279 [Conf]
  15. Nobuko Yoshida, Martin Berger, Kohei Honda
    Strong Normalisation in the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:311-322 [Conf]
  16. Martin Berger, Guido Gerig
    Motion Measurements in Low-Contrast X-ray Imagery. [Citation Graph (0, 0)][DBLP]
    MICCAI, 1998, pp:832-841 [Conf]
  17. Martin Berger
    Application Visualization System (AVS). [Citation Graph (0, 0)][DBLP]
    Sichtsysteme, 1991, pp:110-118 [Conf]
  18. Martin Berger, Kohei Honda, Nobuko Yoshida
    Sequentiality and the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    TLCA, 2001, pp:29-45 [Conf]
  19. Martin Berger, Kohei Honda, Nobuko Yoshida
    Genericity and the pi-calculus. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2005, v:42, n:2-3, pp:83-141 [Journal]
  20. Martin Berger, Kohei Honda
    The Two-Phase Commitment Protocol in an Extended pi-Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:1, pp:- [Journal]
  21. Nobuko Yoshida, Martin Berger, Kohei Honda
    Strong normalisation in the pi -calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:191, n:2, pp:145-202 [Journal]
  22. Nobuko Yoshida, Kohei Honda, Martin Berger
    Logical Reasoning for Higher-Order Functions with Local State. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:361-377 [Conf]
  23. Nobuko Yoshida, Kohei Honda, Martin Berger
    Linearity and bisimulation. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:72, n:2, pp:207-238 [Journal]

  24. Timed, Distributed, Probabilistic, Typed Processes. [Citation Graph (, )][DBLP]


  25. Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. [Citation Graph (, )][DBLP]


  26. Program Logics for Sequential Higher-Order Control. [Citation Graph (, )][DBLP]


  27. Fitting 3D Models To 2D Imagery: A Physics Based Approach. [Citation Graph (, )][DBLP]


  28. Logical Reasoning for Higher-Order Functions with Local State [Citation Graph (, )][DBLP]


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