Seguir
Martin Berger
Martin Berger
Senior lecturer in Informatics, University of Sussex
Dirección de correo verificada de sussex.ac.uk - Página principal
Título
Citado por
Citado por
Año
Strong Normalisation in the pi-Calculus
N Yoshida, M Berger, K Honda
Information & Computation 191 (2), 145-202, 2004
1692004
The two-phase commitment protocol in an extended π-calculus
M Berger, K Honda
Electronic Notes in Theoretical Computer Science 39 (1), 21-46, 2003
1172003
Sequentiality and the π-calculus
M Berger, K Honda, N Yoshida
Typed Lambda Calculi and Applications, 29-45, 2001
1132001
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
762005
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
45*2003
Control in the π-calculus
K Honda, N Yoshida, M Berger
Proc. Fourth ACM-SIGPLAN Continuation Workshop (CW) 4, 2004
432004
Logical reasoning for higher-order functions with local state
N Yoshida, K Honda, M Berger
Logical Methods in Computer Science 4, 2008
422008
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
332006
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
262007
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
192010
Program logics for sequential higher-order control
M Berger
International Conference on Fundamentals of Software Engineering, 194-211, 2009
122009
A logical analysis of aliasing for higher-order imperative functions
M Berger, K Honda, N Yoshida
ICFP’05, 280-293, 2005
122005
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20