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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Martin Berger