Martin Berger

Cited by

	All	Since 2018
Citations	1092	148
h-index	17	6
i10-index	21	5

100

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202315 33 69 78 87 93 70 50 88 81 59 29 56 40 29 29 20 32 18 24 24 30

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Nobuko YoshidaDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Laurence TrattSoftware Development Team, Informatics, King's College LondonVerified email at tratt.net
Amir NaserediniUniversity of Sussex, CanonicalVerified email at sussex.ac.uk
Christian UrbanKing's College LondonVerified email at kcl.ac.uk
Matteo SammartinoRoyal Holloway University of London, University College LondonVerified email at rhul.ac.uk
Mojtaba ValizadehUniversity of SussexVerified email at sussex.ac.uk
Alex JefferyUniversity of SussexVerified email at sussex.ac.uk
Richard EvansImperial College, DeepMindVerified email at imperial.ac.uk
Daniel GrussGraz University of TechnologyVerified email at iaik.tugraz.at
Martin SchwarzlGraz University of TechnologyVerified email at iaik.tugraz.at
Claudio CanellaAmazon Web ServicesVerified email at amazon.com
Pedro BernardoUniversity Assistant, TU WienVerified email at tuwien.ac.at
Stefan GastGraz University of TechnologyVerified email at iaik.tugraz.at
Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesVerified email at amazon.co.uk
Ignacio IacobacciHuawei Noah's Ark LabVerified email at huawei.com
Philip John GorinskiResearch Scientist NLP, Huawei Noah's Ark LabVerified email at huawei.com

Martin Berger

Senior lecturer in Informatics, University of Sussex

Verified email at sussex.ac.uk - Homepage

Programming languages verification logic security program synthesis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Strong Normalisation in the π-Calculus N Yoshida, M Berger, K Honda Information and Computation 191 (2), 145-202, 2004	167	2004
Strong Normalisation in the π-Calculus N Yoshida, M Berger, K Honda Information and Computation 191 (2), 145-202, 2004	167	2004
Strong Normalisation in the pi-Calculus N Yoshida, M Berger, K Honda Information & Computation 191 (2), 145-202, 2004	167	2004
The two-phase commitment protocol in an extended π-calculus M Berger, K Honda Electronic Notes in Theoretical Computer Science 39 (1), 21-46, 2003	115	2003
Sequentiality and the π-calculus M Berger, K Honda, N Yoshida Typed Lambda Calculi and Applications: 5th International Conference, TLCA …, 2001	113	2001
Sequentiality and the π-calculus M Berger, K Honda, N Yoshida Typed Lambda Calculi and Applications, 29-45, 2001	113	2001
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	77	2005
Basic Theory of Reduction Congruence forTwo Timed Asynchronous π-Calculi M Berger International Conference on Concurrency Theory, 115-130, 2004	58	2004
Towards abstractions for distributed systems M Berger Diss. Imperial College, Deptartment of Computing, 2002	53	2002
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	44	2004
Logical reasoning for higher-order functions with local state N Yoshida, K Honda, M Berger Logical Methods in Computer Science 4, 2008	42	2008
Genericity and the π-calculus M Berger, K Honda, N Yoshida Acta Informatica 42 (2), 83-141, 2005	42	2005
Genericity and the π-calculus M Berger, K Honda, N Yoshida Acta Informatica 42, 83-141, 2005	42	2005
Genericity and the π-Calculus M Berger, K Honda, N Yoshida Foundations of Software Science and Computation Structures: 6th …, 2003	41	2003
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	39	2005
Linearity and bisimulation N Yoshida, K Honda, M Berger International Conference on Foundations of Software Science and Computation …, 2002	35	2002
Linearity and bisimulation N Yoshida, K Honda, M Berger Foundations of Software Science and Computation Structures, 1-12, 2002	35	2002
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	33	2006
Timed, distributed, probabilistic, typed processes M Berger, N Yoshida Asian Symposium on Programming Languages and Systems, 158-174, 2007	29	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors