Porous flow in particle-based fluid simulations T Lenaerts, B Adams, P Dutré ACM Transactions on Graphics (TOG) 27 (3), 1-8, 2008 | 183 | 2008 |

Mixing fluids and granular materials T Lenaerts, P Dutré Computer Graphics Forum 28 (2), 213-218, 2009 | 124 | 2009 |

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 | 102 | 2017 |

Procedural isotropic stochastic textures by example A Lagae, P Vangorp, T Lenaerts, P Dutré Computers & Graphics 34 (4), 312-321, 2010 | 44 | 2010 |

Particle splatting: Interactive rendering of particle-based simulation data B Adams, P Dutré, T Lenaert | 27 | 2006 |

Unified SPH model for fluid-shell simulations T Lenaerts, P Dutré ACM SIGGRAPH 2008 posters, 12-12, 2008 | 22 | 2008 |

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 | 18 | 2020 |

Isotropic stochastic procedural textures by example A Lagae, P Vangorp, T Lenaerts, P Dutré CW Reports, 2009 | 8 | 2009 |

An architecture for unified SPH simulations T Lenaerts, P Dutré CW Reports, 2009 | 7 | 2009 |

Unified Particle Simulations and Interactions in Computer Animation T Lenaerts Department of Computer Science, Faculty of Engineering Science, 2009 | 4 | 2009 |

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 | 4 | 2006 |

Improving protocol state fuzzing of SSH T Lenaerts, F Vaandrager, E Poll Bachelor’s esis. Radboud University, 2016 | 3 | 2016 |

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 | 1 | 2018 |

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é | | |