Martin Berger
Orcid: 0000-0003-3239-5812Affiliations:
- University of Sussex, Department of Informatics, Brighton, United Kingdom
According to our database1,
Martin Berger
authored at least 30 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
2
1
1
1
1
1
2
1
1
3
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
Proceedings of the Architecture of Computing Systems - 37th International Conference, 2024
2023
2022
Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks.
Proceedings of the 8th International Conference on Information Systems Security and Privacy, 2022
Proceedings of the 11th International Workshop on Hardware and Architectural Support for Security and Privacy, 2022
2020
Proceedings of the From Lambda Calculus to Cybersecurity Through Program Analysis, 2020
2019
Sci. Comput. Program., 2019
2017
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017
2015
Log. Methods Comput. Sci., 2015
2014
Theor. Comput. Sci., 2014
Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014
2012
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012
2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
2009
Proceedings of the Fundamentals of Software Engineering, 2009
2008
Log. Methods Comput. Sci., 2008
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes.
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008
2007
J. Funct. Program., 2007
Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007
2006
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006
2005
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005
2004
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004
2003
2001
Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001
2000
Proceedings of the 7th International Workshop on Expressiveness in Concurrency, 2000