Aarhus University Seal / Aarhus Universitets segl

Kristoffer Just Arndal Andersen

  1. 2019
  2. Published

    Distributed Protocol Combinators. / Andersen, Kristoffer Just Arndal; Sergey, Ilya.

    Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings. ed. / Jose Julio Alferes; Moa Johansson. Vol. 11372 1. ed. Lisbon, Portugal : Springer VS, 2019. p. 169 (Programming and Software Engineering).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  3. Published

    Automatic Program Verification. / Andersen, Kristoffer Just Arndal.

    2019.

    Research output: Book/anthology/dissertation/reportPh.D. thesisResearch

  4. 2017
  5. Published

    Caper : Automatic Verification for Fine-Grained Concurrency. / Dinsdale-Young, Thomas; da Rocha Pinto, Pedro; Andersen, Kristoffer Just Arndal; Birkedal, Lars.

    Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017. ed. / Hongseok Yang. Vol. 10201 Berlin, Heidelberg : Springer VS, 2017. p. 420-447 (Lecture Notes in Computer Science, Vol. 10201).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  6. 2013
  7. Published

    Reducing Lookups for Invariant Checking. / Thomsen, Jakob Grauenkjær; Clausen, Christian; Andersen, Kristoffer Just; Danaher, John; Ernst, Erik.

    ECOOP 2013 – Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings. ed. / Giuseppe Castagna . Springer VS, 2013. p. 426-450 (Lecture Notes in Computer Science, Vol. 7920).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review