Anton Wijs
发表
Marieke Huisman,
Mark van den Brand,
Lars van den Haak,
2020,
IFM.
Anton Wijs,
Frédéric Lang,
Sander de Putter,
2020,
Sci. Comput. Program..
Jos C. M. Baeten,
Bas Luttik,
J. M. van de Mortel-Fronczak,
2005,
J. Log. Algebraic Methods Program..
Anton Wijs,
Wan Fokkink,
W. Fokkink,
2005,
10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).
Marieke Huisman,
Ana Lucia Varbanescu,
Ben van Werkhoven,
2018
.
Anton Wijs,
Wan Fokkink,
2004
.
Jan Friso Groote,
David N. Jansen,
Anton Wijs,
2020,
TACAS.
Dragan Bosnacki,
Stefan Edelkamp,
Alberto Lluch-Lafuente,
2016,
Sci. Comput. Program..
Anton Wijs,
Muhammad Osama,
2019,
IFM.
Dragan Bošnački,
Anton Wijs,
2002
.
Anton Wijs,
Ljp Luc Engelen,
2012
.
Anton Wijs,
Sander de Putter,
Anton Wijs,
2020,
IFM.
Jan Friso Groote,
Jan Martens,
Anton Wijs,
2020,
FSEN.
Anton Wijs,
Muhammad Osama,
2020,
2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI).
Dragan Bošnački,
Dan Zhang,
Ruurd Kuiper,
2019,
Sci. Comput. Program..
Anton Wijs,
Maciej Wilkowski,
2019,
SEFM.