Steen Vester
发表
Patricia Bouyer,
Nicolas Markey,
Steen Vester,
2017,
Inf. Comput..
Steen Vester,
Jørgen Villadsen,
Niklas Skamriis Boss,
2018,
The Multi-Agent Programming Contest.
Steen Vester,
Jørgen Villadsen,
Andreas Schmidt Jensen,
2012,
ProMAS.
Nicolas Markey,
Steen Vester,
N. Markey,
2014,
ATVA.
Michael R. Hansen,
Steen Vester,
Patrick Kasting,
2016,
IFL 2016.
Steen Vester,
2013,
GandALF.
Patricia Bouyer,
Nicolas Markey,
Steen Vester,
2014,
SR.
Steen Vester,
S. Vester,
2014,
ArXiv.
Holger Hermanns,
Steen Vester,
Jan Krcál,
2016,
FoSSaCS.
Steen Vester,
Jørgen Villadsen,
Niklas Skamriis Boss,
2011,
Annals of Mathematics and Artificial Intelligence.
Steen Vester,
2010
.
Steen Vester,
2015,
ATVA.
Steen Vester,
Jørgen Villadsen,
Mikko Berggren Ettienne,
2011,
ProMAS.
Valentin Goranko,
Steen Vester,
2014,
Advances in Modal Logic.
Steen Vester,
Michael R. Hansen,
S. Vester,
2016
.
Steen Vester,
Jørgen Villadsen,
Andreas Schmidt Jensen,
2018,
Int. J. Agent Oriented Softw. Eng..
Steen Vester,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Nicolas Markey,
Steen Vester,
Patricia Bouyer-Decitre,
2012
.