![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Martin Berger 0001
Person information
- affiliation: University of Sussex, Department of Informatics, Brighton, United Kingdom
Other persons with the same name
- Martin Berger — disambiguation page
- Martin Berger 0002 — Siemens Healthcare GmbH, Forchheim, Germany (and 1 more)
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c23]Mojtaba Valizadeh
, Nathanaël Fijalkow
, Martin Berger
:
LTL Learning on GPUs. CAV (3) 2024: 209-231 - [i8]Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger:
LTL learning on GPUs. CoRR abs/2402.12373 (2024) - 2023
- [j10]Mojtaba Valizadeh
, Martin Berger
:
Search-Based Regular Expression Inference on a GPU. Proc. ACM Program. Lang. 7(PLDI): 1317-1339 (2023) - [i7]Mojtaba Valizadeh, Martin Berger:
Search-Based Regular Expression Inference on a GPU. CoRR abs/2305.18575 (2023) - [i6]Mojtaba Valizadeh, Philip John Gorinski, Ignacio Iacobacci, Martin Berger:
The Regular Expression Inference Challenge. CoRR abs/2308.07899 (2023) - 2022
- [j9]Harold Pancho Eliott
, Martin Berger
:
A program logic for fresh name generation. Sci. Comput. Program. 223: 102860 (2022) - [c22]Amir Naseredini
, Martin Berger
, Matteo Sammartino
, Shale Xiong
:
ALARM: Active LeArning of Rowhammer Mitigations. HASP@MICRO 2022: 1-9 - [c21]Amir Naseredini, Stefan Gast, Martin Schwarzl, Pedro Miguel Sousa Bernardo, Amel Smajic, Claudio Canella, Martin Berger
, Daniel Gruss:
Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks. ICISSP 2022: 48-59 - [i5]Amir Naseredini, Martin Berger, Matteo Sammartino, Shale Xiong:
ALARM: Active LeArning of Rowhammer Mitigations. CoRR abs/2211.16942 (2022) - 2021
- [c20]Harold Pancho Eliott, Martin Berger
:
A Program Logic for Fresh Name Generation. FSEN 2021: 76-91 - [i4]Harold Pancho Eliott, Martin Berger:
A program logic for fresh name generation. CoRR abs/2101.10720 (2021) - [i3]Amir Naseredini, Stefan Gast, Martin Schwarzl, Pedro Miguel Sousa Bernardo, Amel Smajic, Claudio Canella, Martin Berger, Daniel Gruss:
Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks. CoRR abs/2111.12528 (2021) - 2020
- [c19]Richard Prideaux Evans, Martin Berger
:
Cathoristic Logic. From Lambda Calculus to Cybersecurity Through Program Analysis 2020: 17-85
2010 – 2019
- 2019
- [j8]Alexander Jeffery
, Martin Berger
:
Asynchronous sessions with implicit functions and messages. Sci. Comput. Program. 180: 36-70 (2019) - 2018
- [c18]Alexander Jeffery, Martin Berger
:
Asynchronous Sessions with Implicit Functions and Messages. TASE 2018: 9-16 - 2017
- [c17]Martin Berger
, Laurence Tratt
, Christian Urban:
Modelling Homogeneous Generative Meta-Programming. ECOOP 2017: 5:1-5:23 - 2016
- [i2]Martin Berger, Laurence Tratt, Christian Urban:
Modelling homogeneous generative meta-programming. CoRR abs/1602.06568 (2016) - 2015
- [j7]Martin Berger
, Laurence Tratt
:
Program Logics for Homogeneous Generative Run-Time Meta-Programming. Log. Methods Comput. Sci. 11(1) (2015) - 2014
- [j6]Kohei Honda, Nobuko Yoshida
, Martin Berger
:
An observationally complete program logic for imperative higher-order functions. Theor. Comput. Sci. 517: 75-101 (2014) - [c16]Kohei Honda, Nobuko Yoshida
, Martin Berger
:
Process Types as a Descriptive Tool for Interaction - Control and the Pi-Calculus. RTA-TLCA 2014: 1-20 - 2012
- [c15]Martin Berger
:
Specification and verification of meta-programs. PEPM 2012: 3-4 - 2010
- [c14]Martin Berger
, Laurence Tratt
:
Program Logics for Homogeneous Meta-programming. LPAR (Dakar) 2010: 64-81
2000 – 2009
- 2009
- [c13]Martin Berger
:
Program Logics for Sequential Higher-Order Control. FSEN 2009: 194-211 - 2008
- [j5]Nobuko Yoshida
, Kohei Honda, Martin Berger
:
Logical Reasoning for Higher-Order Functions with Local State. Log. Methods Comput. Sci. 4(4) (2008) - [c12]Martin Berger
, Kohei Honda, Nobuko Yoshida
:
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. ICALP (2) 2008: 99-111 - [i1]Nobuko Yoshida, Kohei Honda, Martin Berger:
Logical Reasoning for Higher-Order Functions with Local State. CoRR abs/0806.2448 (2008) - 2007
- [j4]Martin Berger
, Kohei Honda, Nobuko Yoshida
:
A logical analysis of aliasing in imperative higher-order functions. J. Funct. Program. 17(4-5): 473-546 (2007) - [j3]Nobuko Yoshida
, Kohei Honda, Martin Berger
:
Linearity and bisimulation. J. Log. Algebraic Methods Program. 72(2): 207-238 (2007) - [c11]Martin Berger
, Nobuko Yoshida
:
Timed, Distributed, Probabilistic, Typed Processes. APLAS 2007: 158-174 - [c10]Nobuko Yoshida
, Kohei Honda, Martin Berger
:
Logical Reasoning for Higher-Order Functions with Local State. FoSSaCS 2007: 361-377 - 2006
- [c9]Kohei Honda, Martin Berger
, Nobuko Yoshida
:
Descriptive and Relative Completeness of Logics for Higher-Order Functions. ICALP (2) 2006: 360-371 - 2005
- [j2]Martin Berger
, Kohei Honda, Nobuko Yoshida
:
Genericity and the pi-calculus. Acta Informatica 42(2-3): 83-141 (2005) - [c8]Martin Berger
, Kohei Honda, Nobuko Yoshida
:
A logical analysis of aliasing in imperative higher-order functions. ICFP 2005: 280-293 - [c7]Kohei Honda, Nobuko Yoshida
, Martin Berger
:
An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. LICS 2005: 270-279 - 2004
- [j1]Nobuko Yoshida
, Martin Berger
, Kohei Honda:
Strong normalisation in the pi -calculus. Inf. Comput. 191(2): 145-202 (2004) - [c6]Martin Berger
:
Basic Theory of Reduction Congruence forTwo Timed Asynchronous pi-Calculi. CONCUR 2004: 115-130 - 2003
- [b1]Martin Friedrich Berger:
Towards abstractions for distributed systems. Imperial College London, UK, 2003 - [c5]Martin Berger
, Kohei Honda, Nobuko Yoshida
:
Genericity and the pi-Calculus. FoSSaCS 2003: 103-119 - 2002
- [c4]Nobuko Yoshida
, Kohei Honda, Martin Berger
:
Linearity and Bisimulation. FoSSaCS 2002: 417-434 - 2001
- [c3]Nobuko Yoshida
, Martin Berger, Kohei Honda:
Strong Normalisation in the pi-Calculus. LICS 2001: 311-322 - [c2]Martin Berger
, Kohei Honda, Nobuko Yoshida
:
Sequentiality and the pi-Calculus. TLCA 2001: 29-45 - 2000
- [c1]Martin Berger
, Kohei Honda:
The Two-Phase Commitment Protocol in an Extended pi-Calculus. EXPRESS 2000: 21-46
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-08 19:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint