Exploiting Structural Similarities in a BDD-Based Verification Method. - C. A. J. van Eijk; Geert Janssen (TPCD, 1994)

A Performance Study of BDD-Based Model Checking. - Bwolen Yang; Randal E. Bryant; David R. O'Hallaron; Armin Biere; Olivier Coudert; Geert Janssen; Rajeev K. Ranjan 001; Fabio Somenzi (FMCAD, 1998)

A Consumer Report on BDD Packages. - Geert Janssen (SBCCI, 2003)

First CADathlon Programming Contest held at 2002 ICCAD. - Soha Hassoun; Geert Janssen (IEEE Des. Test Comput., 2003)

Scalable Sequential Equivalence Checking across Arbitrary Design Transformations . - Jason Baumgartner; Hari Mony; Viresh Paruthi; Robert Kanzelman; Geert Janssen (ICCD, 2006)

Performance modeling for early analysis of multi-core systems. - Reinaldo A. Bergamaschi; Indira Nair; Gero Dittmann; Hiren D. Patel; Geert Janssen; Nagu R. Dhanwada; Alper Buyuktosunoglu; Emrah Acar; Gi-Joon Nam; Dorothy Kucar; Pradip Bose; John A. Darringer; et al. (CODES+ISSS, 2007)

Exploring power management in multi-core systems. - Reinaldo A. Bergamaschi; Guoling Han; Alper Buyuktosunoglu; Hiren D. Patel; Indira Nair; Gero Dittmann; Geert Janssen; Nagu R. Dhanwada; Zhigang Hu; Pradip Bose; John A. Darringer (ASP-DAC, 2008)

Multicore power management: Ensuring robustness via early-stage formal verification. - Anita Lungu; Pradip Bose; Daniel J. Sorin; Steven German; Geert Janssen (MEMOCODE, 2009)

IBM Blue Gene/Q memory subsystem with speculative execution and transactional memory. - Martin Ohmacht; Amy Wang; Thomas Gooding; Ben J. Nathanson; Indira Nair; Geert Janssen; Marcel Schaal; Burkhard D. Steinmacher-Burow (IBM J. Res. Dev., 2013)

Asset health management using predictive and prescriptive analytics for the electric power grid. - Aanchal Goyal; Ernauli C. Aprilia; Geert Janssen; Younghun Kim; Tarun Kumar; Richard Mueller; Dzung Phan; Abhishek Raman; Jeroen D. Schuddebeurs; Jinjun Xiong; Rui Zhang (IBM J. Res. Dev., 2016)

Large Data Flow Graphs in Limited GPU Memory. - Geert Janssen; Vladimir Zolotov; Tung D. Le (IEEE BigData, 2019)

CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks. - Ruchir Puri; David S. Kung 001; Geert Janssen; Wei Zhang 022; Giacomo Domeniconi; Vladimir Zolotov; Julian Dolby; Jie Chen 007; Mihir R. Choudhury; Lindsey Decker; Veronika Thost; Luca Buratti; et al. (NeurIPS Datasets and Benchmarks, 2021)

Project CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks. - Ruchir Puri; David S. Kung 001; Geert Janssen; Wei Zhang 022; Giacomo Domeniconi; Vladimir Zolotov; Julian Dolby; Jie Chen 007; Mihir R. Choudhury; Lindsey Decker; Veronika Thost; Luca Buratti; et al. (CoRR, 2021)