• Matematiktorvet, 303 B

    DK-2800 Kgs. Lyngby

    Denmark

Organization profile

Organisation profile

Head of section: Professor Paul Fischer

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2009 2020

A Data Driven Agent Elicitation Pipeline for Prediction Models

Larsen, J. B., Burattin, A., Davis, C. J., Hjardem-Hansen, R. & Villadsen, J., 2020, Business Process Management Workshops. Di Francescomarino, C., Dijkman, R. & Zdun, U. (eds.). Springer, p. 570-582 (Lecture Notes in Business Information Processing, Vol. 362).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Cycles in 5-connected triangulations

Alahmadi, A., Aldred, R. E. L. & Thomassen, C., 2020, In : Journal of Combinatorial Theory. Series B. 140, p. 27-44 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Multi-Agent Programming Contest 2018—The Jason-DTU Team

Villadsen, J., Bjørn, M. O., From, A. H., Henney, T. S. & Larsen, J. B., 2020, The Multi-Agent Programming Contest 2018. Ahlbrecht, T., Dix, J. & Fiekas, N. (eds.). Springer, p. 41-71 (Lecture Notes in Computer Science, Vol. 11957).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Projects 2016 2018

GN4-2: GÉANT Project

Olesen, D.

01/05/201631/12/2018

Project: Research

Activities 2015 2018

  • 11 Participating in or organising workshops, courses, seminars etc.

Local Isabelle Workshop

Anders Schlichtkrull (Participant)
6 Jun 2018

Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.

Talk in the Computational Logic Group at the University of Innsbruck

Anders Schlichtkrull (Participant)
1 Mar 2018

Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.

ARQNL 2018

Anders Schlichtkrull (Participant)
18 Jul 2018

Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.