BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Estonia
1 × France
1 × Iceland
1 × Italy
1 × Portugal
1 × Spain
2 × Poland
3 × USA
Collaborated with:
K.Honda N.Yoshida L.Tratt C.Urban Sebastian Seebauer Karl-Heinz Kettl Markus Moser T.Auer G.Bachler S.Scherer A.Pinz
Talks about:
logic (6) calculus (4) higher (4) order (4) function (3) program (3) complet (3) descript (2) process (2) carbon (2)

Person: Martin Berger

DBLP DBLP: Berger:Martin

Contributed to:

RTA-TLCA 20142014
PEPM 20122012
ICALP (2) 20082008
FoSSaCS 20072007
ICALP (2) 20062006
ICFP 20052005
LICS 20052005
FoSSaCS 20032003
FoSSaCS 20022002
LICS 20012001
TLCA 20012001
ICPR v4 20002000
VS-Games 20132013
ECOOP 20172017

Wrote 14 papers:

RTA-TLCA-2014-HondaYB #interactive #process #π-calculus
Process Types as a Descriptive Tool for Interaction — Control and the π-Calculus (KH, NY, MB), pp. 1–20.
PEPM-2012-Berger #metaprogramming #specification #verification
Specification and verification of meta-programs (MB), pp. 3–4.
ICALP-B-2008-BergerHY #abstraction #logic #mobile #process
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes (MB, KH, NY), pp. 99–111.
FoSSaCS-2007-YoshidaHB #higher-order #logic #reasoning
Logical Reasoning for Higher-Order Functions with Local State (NY, KH, MB), pp. 361–377.
ICALP-v2-2006-HondaBY #higher-order #logic
Descriptive and Relative Completeness of Logics for Higher-Order Functions (KH, MB, NY), pp. 360–371.
ICFP-2005-BergerHY #alias #analysis #higher-order #imperative #logic
A logical analysis of aliasing in imperative higher-order functions (MB, KH, NY), pp. 280–293.
LICS-2005-HondaYB #higher-order #imperative #logic
An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules (KH, NY, MB), pp. 270–279.
FoSSaCS-2003-BergerHY #π-calculus
Genericity and the π-Calculus (MB, KH, NY), pp. 103–119.
FoSSaCS-2002-YoshidaHB #bisimulation
Linearity and Bisimulation (NY, KH, MB), pp. 417–434.
LICS-2001-YoshidaBH #normalisation #π-calculus
Strong Normalisation in the π-Calculus (NY, MB, KH), pp. 311–322.
TLCA-2001-BergerHY #π-calculus
Sequentiality and the π-Calculus (MB, KH, NY), pp. 29–45.
ICPR-v4-2000-BergerABSP #3d #convergence #modelling #realtime
3D Model Based Pose Determination in Real-Time: Strategies, Convergence, Accurac (MB, TA, GB, SS, AP), pp. 4567–4570.
VS-Games-2013-SeebauerBKM #automation #feedback #game studies #integration #social
Green Gang Vs. Captain Carbon. Integration of Automated Data Collection and Ecological Footprint Feedback in a Smartphone-Based Social Game for Carbon Saving (SS, MB, KHK, MM), pp. 1–2.
ECOOP-2017-BergerTU #generative #metaprogramming #modelling
Modelling Homogeneous Generative Meta-Programming (MB, LT, CU), p. 23.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.