Volgen
Martin Berger
Martin Berger
Senior lecturer in Informatics, University of Sussex
Geverifieerd e-mailadres voor sussex.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20