Martin Berger

Available identifiers

zbMath Open berger.martin-jMaRDI QIDQ387993

List of research outcomes

Publication	Date of Publication	Type
Classifying linear matrix inequalities via abstract operator systems	2024-01-09	Paper
A program logic for fresh name generation	2022-06-17	Paper
Abstract Operator Systems over the Cone of Positive Semidefinite Matrices	2021-09-29	Paper
An Interview with Robin Milner	2015-07-10	Paper
Program Logics for Homogeneous Generative Run-Time Meta-Programming	2015-03-11	Paper
A logical analysis of aliasing in imperative higher-order functions	2015-01-06	Paper
Process Types as a Descriptive Tool for Interaction	2014-07-24	Paper
An observationally complete program logic for imperative higher-order functions	2013-12-18	Paper
The Two-Phase Commitment Protocol in an Extended π-Calculus	2013-04-26	Paper
A Constraint-Based Approach for the Two-Dimensional Rectangular Packing Problem with Orthogonal Orientations	2011-04-07	Paper
Program Logics for Homogeneous Meta-programming	2011-01-07	Paper
A novel non-linear approach to minimal area rectangular packing	2010-12-13	Paper
Program Logics for Sequential Higher-Order Control	2010-01-28	Paper
Logical Reasoning for Higher-Order Functions with Local State	2009-04-29	Paper
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes	2008-08-19	Paper
Timed, Distributed, Probabilistic, Typed Processes	2008-05-15	Paper
A logical analysis of aliasing in imperative higher-order functions	2007-09-26	Paper
Descriptive and Relative Completeness of Logics for Higher-Order Functions	2007-09-11	Paper
Logical Reasoning for Higher-Order Functions with Local State	2007-09-07	Paper
Linearity and bisimulation	2007-08-10	Paper
Genericity and the \(\pi\)-calculus	2005-12-14	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4738241	2004-08-11	Paper
Strong normalisation in the \(\pi\)-calculus	2004-08-06	Paper
A comparison of estimation methods for multilevel logistic models	2004-03-16	Paper
https://portal.mardi4nfdi.de/entity/Q4417854	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2778815	2002-03-21	Paper
General Relation between Fluxes from Collimated Point and Plane Sources of Radiation	1959-01-01	Paper
Calculation of Energy Dissipation by Gamma Radiation near the Interface between Two Media	1957-01-01	Paper
Reflection and transmission of gamma radiation by barriers: Monte-Carlo calculation by a collision-density method	1956-01-01	Paper
Reflection and transmission of gamma radiation by barriers: Semianalytic Monte-Carlo calculation	1956-01-01	Paper

Research outcomes over time

This page was built for person: Martin Berger