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