Follow
Martin Berger
Martin Berger
Senior lecturer in Informatics, University of Sussex
Verified email at sussex.ac.uk - Homepage
Title
Cited by
Cited by
Year
Strong Normalisation in the pi-Calculus
N Yoshida, M Berger, K Honda
Information & Computation 191 (2), 145-202, 2004
1702004
The two-phase commitment protocol in an extended π-calculus
M Berger, K Honda
Electronic Notes in Theoretical Computer Science 39 (1), 21-46, 2003
1202003
Sequentiality and the π-calculus
M Berger, K Honda, N Yoshida
Typed Lambda Calculi and Applications, 29-45, 2001
1152001
An observationally complete program logic for imperative higher-order functions
K Honda, N Yoshida, M Berger
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 270-279, 2005
782005
Basic Theory of Reduction Congruence forTwo Timed Asynchronous π-Calculi
M Berger
International Conference on Concurrency Theory, 115-130, 2004
602004
Towards abstractions for distributed systems
M Berger
Diss. Imperial College, Deptartment of Computing, 2002
522002
Genericity and the π-Calculus
M Berger, K Honda, N Yoshida
Foundations of Software Science and Computation Structures: 6th†…, 2003
46*2003
Logical reasoning for higher-order functions with local state
N Yoshida, K Honda, M Berger
Logical Methods in Computer Science 4, 2008
442008
Control in the π-calculus
K Honda, N Yoshida, M Berger
Proc. Fourth ACM-SIGPLAN Continuation Workshop (CW) 4, 2004
432004
Genericity and the π-calculus
M Berger, K Honda, N Yoshida
Acta Informatica 42 (2), 83-141, 2005
402005
A logical analysis of aliasing in imperative higher-order functions
M Berger, K Honda, N Yoshida
Proceedings of the tenth ACM SIGPLAN international conference on Functional†…, 2005
392005
Linearity and bisimulation
N Yoshida, K Honda, M Berger
Foundations of Software Science and Computation Structures, 1-12, 2002
352002
Descriptive and relative completeness of logics for higher-order functions
K Honda, M Berger, N Yoshida
33rd International Colloquium on Automata, Languages and Programming (ICALP†…, 2006
322006
Linearity and bisimulation
N Yoshida, K Honda, M Berger
The Journal of Logic and Algebraic Programming 72 (2), 207-238, 2007
272007
Timed, distributed, probabilistic, typed processes
M Berger, N Yoshida
Programming Languages and Systems, 158-174, 2007
272007
Completeness and logical full abstraction in modal logics for typed mobile processes
M Berger, K Honda, N Yoshida
International Conerence on Automata, Languages and Programming (ICALP), 99-111, 2008
242008
Program logics for homogeneous meta-programming
M Berger, L Tratt
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), 64-81, 2010
182010
A logical analysis of aliasing for higher-order imperative functions
M Berger, K Honda, N Yoshida
ICFP’05, 280-293, 2005
132005
Alarm: Active learning of rowhammer mitigations
A Naseredini, M Berger, M Sammartino, S Xiong
Proceedings of the 11th International Workshop on Hardware and Architectural†…, 2022
112022
Modelling Homogeneous Generative Meta-Programming
M Berger, L Tratt, C Urban
ECOOP, 2017
112017
The system can't perform the operation now. Try again later.
Articles 1–20