| 2018 |
J |
jnl |
Fundam. Informaticae
Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Peter Gjøl Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba
|
| 2017 |
B |
conf |
Petri Nets
Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba
|
| 2017 |
J |
jnl |
Concurr. Comput. Pract. Exp.
Martin Schoeberl, Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Stephan Erbs Korsholm, Anders P. Ravn, Juan Ricardo Rios Rivas, Tórur Biskopstø Strøm, Hans Søndergaard, Andy J. Wellings, Shuai Zhao
|
| 2016 |
Misc |
conf |
SETTA
Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba
|
| 2014 |
— |
conf |
JTRES
Martin Schoeberl, Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Stephan Erbs Korsholm, Anders P. Ravn, Juan Ricardo Rios Rivas, Tórur Biskopstø Strøm, Hans Søndergaard
|
| 2013 |
A* |
conf |
CAV
Alfons Laarman, Mads Chr. Olesen, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen, Jaco van de Pol
|
| 2013 |
— |
conf |
JTRES
Jeppe L. Andersen, Mikkel Todberg, Andreas Engelbredt Dalsgaard, René Rydhof Hansen
|
| 2012 |
— |
conf |
FORMATS
Andreas Engelbredt Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol
|
| 2012 |
— |
conf |
JTRES
Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Martin Schoeberl
|
| 2011 |
— |
conf |
NASA Formal Methods
Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jirí Srba
|
| 2010 |
— |
conf |
WCET
Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft, René Rydhof Hansen, Kim Guldstrand Larsen
|