Wieger Wesselink
发表
Tim A. C. Willemse,
Lisette Sanchez,
Wieger Wesselink,
2018,
GandALF.
Tim A. C. Willemse,
Wieger Wesselink,
2018,
ARQNL@IJCAR.
Thomas Neele,
Wieger Wesselink,
Tim A.C. Willemse,
2019,
TACAS.
Sjoerd Cranen,
Tim A. C. Willemse,
Maciej Gazda,
2015,
ACM Trans. Comput. Log..
Jan Friso Groote,
Jeroen Keiren,
Tim A. C. Willemse,
2011,
Softw. Pract. Exp..
Mariette Yvinec,
Iddo Hanniel,
Remco C. Veltkamp,
2001
.
Remco C. Veltkamp,
Wieger Wesselink,
Michael Franssen,
2000,
Comput. Aided Geom. Des..
Arjan J. Mooij,
Judi Romijn,
Wieger Wesselink,
2007,
ATVA.
Erik P. de Vink,
Jan Friso Groote,
Anton Wijs,
2019,
TACAS.
Tim A. C. Willemse,
Bas Ploeger,
Wieger Wesselink,
2011,
Inf. Comput..
Remco C. Veltkamp,
Geert-Jan Giezeman,
Wieger Wesselink,
1997
.
Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
pdf
Jeroen Keiren,
Tim A. C. Willemse,
Wieger Wesselink,
2013,
ArXiv.
Erik P. de Vink,
Jan Friso Groote,
Sjoerd Cranen,
2013,
TACAS.
Jan Friso Groote,
Robert Howe,
Paul F. Hoogendijk,
2017,
FMICS-AVoCS.
Arjan J. Mooij,
Judi Romijn,
Wieger Wesselink,
2006,
AMAST.
Joachim Loos,
Wieger Wesselink,
Günther Greiner,
1996,
Comput. Graph. Forum.
Dzmitry Aliakseyeu,
Sriram Subramanian,
Jean-Bernard Martens,
2001,
INTERACT.
Remco C. Veltkamp,
Wieger Wesselink,
R. Veltkamp,
1995,
Comput. Graph. Forum.
Arjan J. Mooij,
Wieger Wesselink,
2005,
ICFEM.
Olga Tveretina,
Wieger Wesselink,
2009,
Electron. Notes Theor. Comput. Sci..
Remco C. Veltkamp,
Wieger Wesselink,
R. Veltkamp,
1995,
Comput. Aided Geom. Des..
Simona Orzan,
Tim A. C. Willemse,
Wieger Wesselink,
2009,
TACAS.
Jeroen Keiren,
Tim A. C. Willemse,
Wieger Wesselink,
2014,
ATVA.
Emiel Krahmer,
Marc Swerts,
Zsófia Ruttkay,
2002,
INTERSPEECH.
Wieger Wesselink,
Tim A.C. Willemse,
Maurice Laveaux,
2022
.
Emiel Krahmer,
Marc Swerts,
Zs. Ruttkay,
2002,
Speech Prosody 2002.
Emiel Krahmer,
Zs. Ruttkay,
Wieger Wesselink,
2003
.