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: Berger:Martin
Contributed to:
2014
2012
2008
20072006
2005
2005200320022001
2001
2000
2013
2017Wrote 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.