| Correct, efficient, and tailored: The future of build systems G Maudoux, K Mens IEEE Software 35 (2), 32-37, 2018 | 27 | 2018 |
| Bringing incremental builds to continuous integration G Maudoux, K Mens Proc. 10th Seminar Series Advanced Techniques & Tools for Software Evolution …, 2017 | 13 | 2017 |
| Lessons and Pitfalls in Building Firefox with Tup. G Maudoux, K Mens SATToSE, 2019 | 6 | 2019 |
| Combining DASH with MPTCP for video streaming LV Peschke, O Bonaventure, B Hesmans, G Maudoux Master’s thesis, 2017 | 5 | 2017 |
| Learning safe interactions and full-control G Maudoux, C Pecheur, S Combéfis The handbook of formal methods in human-computer interaction, 297-317, 2017 | 3 | 2017 |
| Tasks Decomposition of System Models for Human-Machine Interaction Analysis G Maudoux, S Combéfis, C Pecheur Computer 7, 12, 2015 | 1 | 2015 |
| Build outside of the (sand) box G Maudoux NixCon 2019, 2019 | | 2019 |
| Incremental Package Builds G Maudoux NixCon 2017, 2017 | | 2017 |
| A formal proof for Speculative Snapshot Isolation P VAN ROY, Z LI, G MAUDOUX, X GILLARD | | |
| " Summarising and visualising large acyclic graphs P Stormme, K Mens, G Maudoux | | |
| Grindcore: description et analyse du genre G Maudoux, C Pirenne | | |
| An Oz implementation using Truffle and Graal M Istasse, P Van Roy, B Daloze, G Maudoux | | |
| Réalisation d’un site web participatif pour la présentation de langages, paradigmes et concepts de programmation B Georges, K Mens, G Maudoux, C Pecheur | | |
Kim MensUniversité catholique de Louvain, ICTEAM, EPLVerified email at uclouvain.be
