- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c24 |      | |
| 2011 | ||
| j9 | | Martin Berger, Michael Schröder: Multicriteria decentralized decision making in logistic chains: a dynamic programming approach for collaborative forwarding of air cargo freight. Logistics Research 3(2-3): 121-132 (2011) |
| 2010 | ||
| j8 | | Volker Maag, Martin Berger, Anton Winterfeld, Karl-Heinz Küfer: A novel non-linear approach to minimal area rectangular packing. Annals OR 179(1): 243-260 (2010) |
| c23 | | Martin Berger, Laurence Tratt: Program Logics for Homogeneous Meta-programming. LPAR (Dakar) 2010: 64-81 |
| 2009 | ||
| c22 | | |
| 2008 | ||
| j7 | | Nobuko Yoshida, Kohei Honda, Martin Berger: Logical Reasoning for Higher-Order Functions with Local State. Logical Methods in Computer Science 4(4) (2008) |
| c21 | | Martin Berger, Kohei Honda, Nobuko Yoshida: Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. ICALP (2) 2008: 99-111 |
| i1 | | Nobuko Yoshida, Kohei Honda, Martin Berger: Logical Reasoning for Higher-Order Functions with Local State. CoRR abs/0806.2448 (2008) |
| 2007 | ||
| j6 | | 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) |
| j5 | | Nobuko Yoshida, Kohei Honda, Martin Berger: Linearity and bisimulation. J. Log. Algebr. Program. 72(2): 207-238 (2007) |
| c20 | | Martin Berger, Nobuko Yoshida: Timed, Distributed, Probabilistic, Typed Processes. APLAS 2007: 158-174 |
| c19 | | Nobuko Yoshida, Kohei Honda, Martin Berger: Logical Reasoning for Higher-Order Functions with Local State. FoSSaCS 2007: 361-377 |
| 2006 | ||
| j4 | | Martin Berger, Javier Revilla Diez: Do firms require an efficient innovation system to develop innovative technological capabilities? Empirical evidence from Singapore, Malaysia and Thailand. IJTM 36(1/2/3): 267-285 (2006) |
| c18 | | Kohei Honda, Martin Berger, Nobuko Yoshida: Descriptive and Relative Completeness of Logics for Higher-Order Functions. ICALP (2) 2006: 360-371 |
| 2005 | ||
| j3 | | Martin Berger, Kohei Honda, Nobuko Yoshida: Genericity and the pi-calculus. Acta Inf. 42(2-3): 83-141 (2005) |
| c17 | | Martin Berger, Kohei Honda, Nobuko Yoshida: A logical analysis of aliasing in imperative higher-order functions. ICFP 2005: 280-293 |
| c16 | | Kohei Honda, Nobuko Yoshida, Martin Berger: An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. LICS 2005: 270-279 |
| 2004 | ||
| j2 | | Nobuko Yoshida, Martin Berger, Kohei Honda: Strong normalisation in the pi -calculus. Inf. Comput. 191(2): 145-202 (2004) |
| c15 | | Martin Berger: Basic Theory of Reduction Congruence forTwo Timed Asynchronous pi-Calculi. CONCUR 2004: 115-130 |
| 2003 | ||
| c14 | | |
| 2002 | ||
| c13 | | |
| c12 | | Martin Sengel, Martin Berger, Vassili Kravtchenko-Berejnoi, Horst Bischof: Fast object recognition and pose determination. ICIP (3) 2002: 349-352 |
| 2001 | ||
| c11 | | Nobuko Yoshida, Martin Berger, Kohei Honda: Strong Normalisation in the pi-Calculus. LICS 2001: 311-322 |
| c10 | | |
| 2000 | ||
| j1 | | Martin Berger, Kohei Honda: The Two-Phase Commitment Protocol in an Extended pi-Calculus. Electr. Notes Theor. Comput. Sci. 39(1): 21-46 (2000) |
| c9 | | 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 |
| c8 | | Martin Berger, Gernot Bachler, Stefan Scherer: Vision Guided Bin Picking and Mounting in a Flexible Assembly Cell. IEA/AIE 2000: 109-118 |
| c7 | | Martin Berger, Vassili Kravtchenko-Berejnoi, Stefan Scherer: Fitting 3D Models To 2D Imagery: A Physics Based Approach. MVA 2000: 485-488 |
| 1999 | ||
| c6 | | Gernot Bachler, Martin Berger, Reinhard Röhrer, Stefan Scherer, Axel Pinz: A Vision Driven Automatic Assembly Unit. CAIP 1999: 375-382 |
| 1998 | ||
| c5 | | |
| 1997 | ||
| c4 | | Martin Berger, Gaudenz Danuser: Deformable Multi Template Matching with Application to Portal Images. CVPR 1997: 374-379 |
| 1994 | ||
| c3 |  | Martin Berger: Visualisierung in der Umweltinformatik - Aktivitäten im Umfeld von AVS. Visualisierung von Umweltdaten 1994: 91-97 |
| c2 | | Martin Berger, Ralf Denzer: Arbeitsgruppe Visualisierung. Visualisierung von Umweltdaten 1994: 165-168 |
| 1991 | ||
| c1 | | |
Colors in the list of coauthors
Last update Sun May 19 04:08:59 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page