Kristoffer Just Arndal Andersen

2016201720182019202020212022202320241 6 11 5 6 7 6 5 2

Acceso público

2 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Lars BirkedalDept. of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
Pedro da Rocha PintoImperial College LondonDirección de correo verificada de doc.ic.ac.uk
Thomas Dinsdale-YoungAarhus UniversityDirección de correo verificada de d-y.me.uk
Ilya SergeyAssociate Professor, National University of SingaporeDirección de correo verificada de nus.edu.sg
Jakob Grauenkjaer ThomsenUber TechnologiesDirección de correo verificada de cs.au.dk
Christian ClausenCEO/Founder, MerrymakeDirección de correo verificada de merrymake.eu
Erik ErnstMember of the Dart programming language team, Google LLCDirección de correo verificada de cs.au.dk

Kristoffer Just Arndal Andersen

Google

Dirección de correo verificada de arndalandersen.dk


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–5

Citas por año