Martin Berger

	2008
29		Martin Berger, Kohei Honda, Nobuko Yoshida: Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. ICALP (2) 2008: 99-111
28		Nobuko Yoshida, Kohei Honda, Martin Berger: Logical Reasoning for Higher-Order Functions with Local State CoRR abs/0806.2448: (2008)
27		Nobuko Yoshida, Kohei Honda, Martin Berger: Logical Reasoning for Higher-Order Functions with Local State. Logical Methods in Computer Science 4(4): (2008)
	2007
26		Martin Berger, Nobuko Yoshida: Timed, Distributed, Probabilistic, Typed Processes. APLAS 2007: 158-174
25		Nobuko Yoshida, Kohei Honda, Martin Berger: Logical Reasoning for Higher-Order Functions with Local State. FoSSaCS 2007: 361-377
24		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		Nobuko Yoshida, Kohei Honda, Martin Berger: Linearity and bisimulation. J. Log. Algebr. Program. 72(2): 207-238 (2007)
	2006
22		Kohei Honda, Martin Berger, Nobuko Yoshida: Descriptive and Relative Completeness of Logics for Higher-Order Functions. ICALP (2) 2006: 360-371
	2005
21		Martin Berger, Kohei Honda, Nobuko Yoshida: A logical analysis of aliasing in imperative higher-order functions. ICFP 2005: 280-293
20		Kohei Honda, Nobuko Yoshida, Martin Berger: An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. LICS 2005: 270-279
19		Martin Berger, Kohei Honda, Nobuko Yoshida: Genericity and the pi-calculus. Acta Inf. 42(2-3): 83-141 (2005)
	2004
18		Martin Berger: Basic Theory of Reduction Congruence forTwo Timed Asynchronous pi-Calculi. CONCUR 2004: 115-130
17		Nobuko Yoshida, Martin Berger, Kohei Honda: Strong normalisation in the pi -calculus. Inf. Comput. 191(2): 145-202 (2004)
	2003
16		Martin Berger, Kohei Honda, Nobuko Yoshida: Genericity and the pi-Calculus. FoSSaCS 2003: 103-119
	2002
15		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		Martin Berger, Kohei Honda, Nobuko Yoshida: Sequentiality and the pi-Calculus. TLCA 2001: 29-45
	2000
11		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		Martin Berger, Gernot Bachler, Stefan Scherer: Vision Guided Bin Picking and Mounting in a Flexible Assembly Cell. IEA/AIE 2000: 109-118
9		Martin Berger, Vassili Kravtchenko-Berejnoi, Stefan Scherer: Fitting 3D Models To 2D Imagery: A Physics Based Approach. MVA 2000: 485-488
8		Martin Berger, Kohei Honda: The Two-Phase Commitment Protocol in an Extended pi-Calculus. Electr. Notes Theor. Comput. Sci. 39(1): (2000)
	1999
7		Gernot Bachler, Martin Berger, Reinhard Röhrer, Stefan Scherer, Axel Pinz: A Vision Driven Automatic Assembly Unit. CAIP 1999: 375-382
	1998
6		Martin Berger, Guido Gerig: Motion Measurements in Low-Contrast X-ray Imagery. MICCAI 1998: 832-841
	1997
5		Martin Berger, Gaudenz Danuser: Deformable Multi Template Matching with Application to Portal Images. CVPR 1997: 374-379
4		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

Coauthor Index

1	Thomas Auer	[11]
2	Gernot Bachler	[7] [10] [11]
3	Horst Bischof	[14]
4	Gaudenz Danuser	[4] [5]
5	Ralf Denzer	[3]
6	Guido Gerig	[6]
7	Kohei Honda	[8] [12] [13] [15] [16] [17] [19] [20] [21] [22] [23] [24] [25] [27] [28] [29]
8	Vassili Kravtchenko-Berejnoi	[9] [14]
9	Axel Pinz	[7] [11]
10	Reinhard Röhrer	[7]
11	Stefan Scherer	[7] [9] [10] [11]
12	Martin Sengel	[14]
13	Nobuko Yoshida	[12] [13] [15] [16] [17] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29]

Colors in the list of coauthors