Martin Berger

Cited by

	All	Since 2020
Citations	1137	144
h-index	18	7
i10-index	23	4

100

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202415 34 70 76 91 96 67 49 87 81 64 29 57 42 26 27 20 30 19 24 21 33 47

Public access

View all

5 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
Mojtaba ValizadehUniversity of SussexVerified email at sussex.ac.uk
Matteo SammartinoRoyal Holloway University of London, University College LondonVerified email at rhul.ac.uk
Christian UrbanKing's College LondonVerified email at kcl.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
Nathanaël FijalkowCNRS, LaBRI, BordeauxVerified email at labri.fr
Alex JefferyUniversity of SussexVerified email at sussex.ac.uk
Richard EvansImperial College, DeepMindVerified email at imperial.ac.uk
Ignacio IacobacciELM EuropeVerified email at elm.sa
Philip John GorinskiResearch Scientist NLP, Huawei Noah's Ark LabVerified email at huawei.com
Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesVerified email at amazon.co.uk
Paul KellyProfessor of Software Technology, Imperial College LondonVerified email at imperial.ac.uk
Amir NaserediniHuawei Technologies R&D

Martin Berger

Associate professor 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 pi-Calculus N Yoshida, M Berger, K Honda Information & Computation 191 (2), 145-202, 2004	173	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	122	2003
Sequentiality and the π-calculus M Berger, K Honda, N Yoshida Typed Lambda Calculi and Applications, 29-45, 2001	115	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	79	2005
Basic Theory of Reduction Congruence forTwo Timed Asynchronous π-Calculi M Berger International Conference on Concurrency Theory, 115-130, 2004	60	2004
Towards abstractions for distributed systems M Berger Diss. Imperial College, Deptartment of Computing, 2002	52	2002
Genericity and the π-Calculus M Berger, K Honda, N Yoshida Foundations of Software Science and Computation Structures: 6th …, 2003	47*	2003
Logical reasoning for higher-order functions with local state N Yoshida, K Honda, M Berger Logical Methods in Computer Science 4, 2008	45	2008
Control in the π-calculus K Honda, N Yoshida, M Berger Proc. Fourth ACM-SIGPLAN Continuation Workshop (CW) 4, 2004	43	2004
Genericity and the π-calculus M Berger, K Honda, N Yoshida Acta Informatica 42 (2), 83-141, 2005	41	2005
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 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	32	2006
Timed, distributed, probabilistic, typed processes M Berger, N Yoshida Programming Languages and Systems, 158-174, 2007	28	2007
Linearity and bisimulation N Yoshida, K Honda, M Berger The Journal of Logic and Algebraic Programming 72 (2), 207-238, 2007	27	2007
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	24	2008
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	19	2022
Program logics for homogeneous meta-programming M Berger, L Tratt Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), 64-81, 2010	18	2010
A logical analysis of aliasing for higher-order imperative functions M Berger, K Honda, N Yoshida ICFP’05, 280-293, 2005	13	2005
Modelling Homogeneous Generative Meta-Programming M Berger, L Tratt, C Urban ECOOP, 2017	11	2017

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