Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Martin
Last name:	Berger
DBLP:	58/204
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 25 of 30  

Select a publication
Show	Title	Venue	Rating	Date
	Martin Berger. Program Logics for Sequential Higher-Order Control.	Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers 2010	(0)	2009
	Martin Berger, Kohei Honda, Nobuko Yoshida. Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes.	Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming Track C: Security and Cryptography Foundations 2008	(0)	2008
	Nobuko Yoshida, Kohei Honda, Martin Berger. Logical Reasoning for Higher-Order Functions with Local State	CoRR 2008, Volume 0	(0)	2008
	Nobuko Yoshida, Kohei Honda, Martin Berger. Logical Reasoning for Higher-Order Functions with Local State.	Logical Methods in Computer Science 2008, Volume 4	(0)	2008
	Martin Berger, Nobuko Yoshida. Timed, Distributed, Probabilistic, Typed Processes.	Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings 2007	(0)	2007
	Nobuko Yoshida, Kohei Honda, Martin Berger. Logical Reasoning for Higher-Order Functions with Local State.	Foundations of Software Science and Computational Structures, 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings 2007	(0)	2007
	Martin Berger, Kohei Honda, Nobuko Yoshida. A logical analysis of aliasing in imperative higher-order functions.	J. Funct. Program. 2007, Volume 17	(0)	2007
	Nobuko Yoshida, Kohei Honda, Martin Berger. Linearity and bisimulation.	J. Log. Algebr. Program. 2007, Volume 72	(0)	2007
	Kohei Honda, Martin Berger, Nobuko Yoshida. Descriptive and Relative Completeness of Logics for Higher-Order Functions.	Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II 2006	(0)	2006
	Martin Berger, Kohei Honda, Nobuko Yoshida. A logical analysis of aliasing in imperative higher-order functions.	Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005 2005	(0)	2005
	Kohei Honda, Nobuko Yoshida, Martin Berger. An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules.	20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings 2005	(0)	2005
	Martin Berger, Kohei Honda, Nobuko Yoshida. Genericity and the pi-calculus.	Acta Inf. 2005, Volume 42	(0)	2005
	Martin Berger. Basic Theory of Reduction Congruence forTwo Timed Asynchronous pi-Calculi.	CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings 2004	(0)	2004
	Nobuko Yoshida, Martin Berger, Kohei Honda. Strong normalisation in the pi -calculus.	Inf. Comput. 2004, Volume 191	(0)	2004
	Martin Berger, Kohei Honda, Nobuko Yoshida. Genericity and the pi-Calculus.	Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings 2003	(0)	2003
	Nobuko Yoshida, Kohei Honda, Martin Berger. Linearity and Bisimulation.	Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings 2002	(0)	2002
	Martin Sengel, Martin Berger, Vassili Kravtchenko-Berejnoi, Horst Bischof. Fast object recognition and pose determination.	ICIP (3) 2002	(0)	2002
	Nobuko Yoshida, Martin Berger, Kohei Honda. Strong Normalisation in the pi-Calculus.	LICS 2001	(0)	2001
	Martin Berger, Kohei Honda, Nobuko Yoshida. Sequentiality and the pi-Calculus.	TLCA 2001	(0)	2001
	Martin Berger, Thomas Auer, Gernot Bachler, Stefan Scherer, Axel Pinz. 3D Model Based Pose Determination in Real-Time: Strategies, Convergence, Accurac.	ICPR 2000	(0)	2000
	Martin Berger, Gernot Bachler, Stefan Scherer. Vision Guided Bin Picking and Mounting in a Flexible Assembly Cell.	Intelligent Problem Solving, Methodologies and Approaches, 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2000, New Orleans, Louisiana, USA, June 19-22, 2000, Proceedings 2000	(0)	2000
	Martin Berger, Vassili Kravtchenko-Berejnoi, Stefan Scherer. Fitting 3D Models To 2D Imagery: A Physics Based Approach.	Proceedings of the IAPR Conference on Machine Vision Applications (IAPR MVA 2000), November 28-30, 2000, Tokyo, Japan 2000	(0)	2000
	Martin Berger, Kohei Honda. The Two-Phase Commitment Protocol in an Extended pi-Calculus.	Electr. Notes Theor. Comput. Sci. 2000, Volume 39	(0)	2000
	Gernot Bachler, Martin Berger, Reinhard Röhrer, Stefan Scherer, Axel Pinz. A Vision Driven Automatic Assembly Unit.	Computer Analysis of Images and Patterns, 8th International Conference, CAIP'99, Ljubljana, Slovenia, September 1-3, 1999, Proceedings 1999	(0)	1999
	Martin Berger, Guido Gerig. Motion Measurements in Low-Contrast X-ray Imagery.	Medical Image Computing and Computer-Assisted Intervention - MICCAI'98, First International Conference, Cambridge, MA, USA, October 11-13, 1998, Proceedings 1998	(0)	1998

Your query returned 30 matches in the database.