Follow
Toon Lenaerts
Toon Lenaerts
Verified email at cs.kuleuven.be
Title
Cited by
Cited by
Year
Porous flow in particle-based fluid simulations
T Lenaerts, B Adams, P Dutré
ACM Transactions on Graphics (TOG) 27 (3), 1-8, 2008
1842008
Mixing fluids and granular materials
T Lenaerts, P Dutré
Computer Graphics Forum 28 (2), 213-218, 2009
1242009
Model learning and model checking of SSH implementations
P Fiterău-Broştean, T Lenaerts, E Poll, J de Ruiter, F Vaandrager, ...
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
1002017
Procedural isotropic stochastic textures by example
A Lagae, P Vangorp, T Lenaerts, P Dutré
Computers & Graphics 34 (4), 312-321, 2010
442010
Particle splatting: Interactive rendering of particle-based simulation data
B Adams, P Dutré, T Lenaert
272006
Unified SPH model for fluid-shell simulations
T Lenaerts, P Dutré
ACM SIGGRAPH 2008 posters, 12-12, 2008
222008
Grey-box learning of register automata
B Garhewal, F Vaandrager, F Howar, T Schrijvers, T Lenaerts, R Smits
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano …, 2020
182020
Isotropic stochastic procedural textures by example
A Lagae, P Vangorp, T Lenaerts, P Dutré
CW Reports, 2009
82009
An architecture for unified SPH simulations
T Lenaerts, P Dutré
CW Reports, 2009
72009
Unified Particle Simulations and Interactions in Computer Animation
T Lenaerts
Department of Computer Science, Faculty of Engineering Science, 2009
42009
A perceptual heuristic for shadow computation in photo-realistic images
P Vangorp, O Dumont, T Lenaerts, P Dutré
ACM SIGGRAPH 2006 Sketches, 102-es, 2006
42006
Improving protocol state fuzzing of SSH
T Lenaerts, F Vaandrager, E Poll
Bachelor’s esis. Radboud University, 2016
32016
Source code and data relevant for the paper'Model Learning and Model Checking of SSH Implementations'
P Fiterau-Brostean, E Poll, FW Vaandrager, T Lenaerts, JEJ de Ruiter, ...
DANS EASY, 2018
12018
Mixing fluids and granular materials
P Dutré, T Lenaerts
2009
An architecture for unified SPH simulations
P Dutré, T Lenaerts
2009
Unified SPH model for fluid-shell simulations
P Dutré, T Lenaerts
Association for Computing Machinery, 2008
2008
A perceptual heuristic for shadow computation in photo-realistic images
O Dumont, P Dutré, T Lenaerts, P Vangorp
2006
Model Learning and Model Checking of SSH Implementations
P Fiterau, T Lenaerts, E Poll, J de Ruiter, F Vaandrager, P Verleg
Ň Katholieke Universiteit Leuven
B Adams, T Lenaerts, P Dutré
Procedural Isotropic Stochastic Textures by Example Supplemental Material
A Lagae, P Vangorp, T Lenaerts, P Dutré
The system can't perform the operation now. Try again later.
Articles 1–20