Toon Lenaerts

According to our database, Toon Lenaerts authored at least 8 papers between 2006 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Grey-Box Learning of Register Automata.

Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

2018

Reliability and correlation analysis of computed methods to convert conventional 2D radiological hindfoot measurements to a 3D setting using weightbearing CT.

Arne Burssens, J. Peeters, Matthias Peiffer, R. Marien, Toon Lenaerts, Weightbearing C. T. International Study Group (WBCT ISG), G. Vandeputte, Jan Victor

Int. J. Comput. Assist. Radiol. Surg., 2018

2017

Model learning and model checking of SSH implementations.

Paul Fiterau-Brostean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits W. Vaandrager, Patrick Verleg

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

2010

Procedural isotropic stochastic textures by example.

Ares Lagae, Peter Vangorp, Toon Lenaerts, Philip Dutré

Comput. Graph., 2010

2009

Mixing Fluids and Granular Materials.

Toon Lenaerts, Philip Dutré

Comput. Graph. Forum, 2009

2008

Porous flow in particle-based fluid simulations.

Toon Lenaerts, Bart Adams, Philip Dutré

ACM Trans. Graph., 2008

Unified SPH model for fluid-shell simulations.

Toon Lenaerts, Philip Dutré

Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2008

2006

A perceptual heuristic for shadow computation in photo-realistic images.

Peter Vangorp, Olivier Dumont, Toon Lenaerts, Philip Dutré

Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2006