by Noroozi, Neda, Khosravi, Ramtin, Mousavi, Mohammad Reza, Willemse, Tim A. C.
Published in Software and systems modeling (01.02.2015)

by Andova, Suzana, Willemse, Tim A.C.
Published in Theoretical computer science (30.05.2006)

by Neele, Thomas, Willemse, Tim A. C., Wesselink, Wieger, Valmari, Antti
Published in International journal on software tools for technology transfer (01.10.2022)

by Neele, Thomas, Valmari, Antti, Willemse, Tim A. C.
Published in Logical methods in computer science (01.01.2021)

by Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
Published in Logical methods in computer science (01.01.2021)

by Morisset, Charles, Willemse, Tim A. C., Zannone, Nicola
Published in Cybersecurity (Singapore) (01.12.2019)

by Cranen, Sjoerd, Keiren, Jeroen J. A., Willemse, Tim A. C.
Published in Acta informatica (01.08.2018)

by Groote, Jan Friso, Willemse, Tim A.C.
Published in Theoretical computer science (17.10.2005)

by Orzan, Simona, Willemse, Tim A.C.
Published in Theoretical computer science (06.03.2010)

by ter Beek, Maurice H., de Vink, Erik P., Willemse, Tim A. C.
Published in Electronic proceedings in theoretical computer science (28.03.2016)

by David De Frutos Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse
Published in Logical methods in computer science (01.01.2017)

by Bora, Parth, Pham, Duc Minh, Willemse, Tim A C
Published in arXiv.org (27.03.2024)

by Groote, Jan Friso, Willemse, Tim A C
Published in arXiv.org (14.07.2023)

by Laveaux, Maurice, Willemse, Tim A C
Published in arXiv.org (01.10.2021)

by Laveaux, Maurice, Willemse, Tim A C
Published in arXiv.org (11.12.2020)

by Gazda, Maciej W, Willemse, Tim A. C
Published in SOFSEM 2012: Theory and Practice of Computer Science

by Laveaux, Maurice, Wesselink, Wieger, Willemse, Tim A C
Published in arXiv.org (24.01.2022)

by Bunte, Olav, Louis C M van Gool, Willemse, Tim A C
Published in arXiv.org (12.10.2022)

by Thomas, Neele, Valmari, Antti, Willemse, Tim A C
Published in arXiv.org (20.07.2021)

by Laveaux, Maurice, Groote, Jan Friso, Willemse, Tim A C
Published in arXiv.org (28.01.2021)