‪Kristoffer Just Arndal Andersen‬

2016201720182019202020212022202320241 6 11 5 6 7 6 5 2

Public access

2 articles

0 articles

available

not available

Based on funding mandates

Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Pedro da Rocha PintoImperial College LondonVerified email at doc.ic.ac.uk
Thomas Dinsdale-YoungAarhus UniversityVerified email at d-y.me.uk
Ilya SergeyAssociate Professor, National University of SingaporeVerified email at nus.edu.sg
Jakob Grauenkjaer ThomsenUber TechnologiesVerified email at cs.au.dk
Christian ClausenCEO/Founder, MerrymakeVerified email at merrymake.eu
Erik ErnstMember of the Dart programming language team, Google LLCVerified email at cs.au.dk

Kristoffer Just Arndal Andersen

Google

Verified email at arndalandersen.dk


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Caper Automatic Verification for Fine-Grained Concurrency T Dinsdale-Young, P da Rocha Pinto, KJ Andersen, L Birkedal Programming Languages and Systems: 26th European Symposium on Programming …, 2017	42	2017
Distributed Protocol Combinators KJA Andersen, I Sergey International Symposium on Practical Aspects of Declarative Languages, 169-186, 2019	6	2019
Protocol combinators for modeling, testing, and execution of distributed systems KJA Andersen, I Sergey Journal of Functional Programming 31, 2021	2	2021
Reducing lookups for invariant checking JG Thomsen, C Clausen, KJ Andersen, J Danaher, E Ernst European Conference on Object-Oriented Programming, 426-450, 2013		2013
Automatic Program Verification KJA Andersen

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

Articles 1–5

Citations per year