Geert Janssen

Statistics

Publications

Citations

302

H-Index

Active since

2003

Affiliations

IBM Research - Thomas J. Watson Research Center(Current)

IBM (United States)

Virginia Tech

Duke University

University of California, Los Angeles

Geert Janssen is an author at IBM Research - Thomas J. Watson Research Center specializing in computer science, computer engineering, and engineering.

Publications per year

2003–2021

Publications

Scalable Sequential Equivalence Checking across Arbitrary Design Transformations

Jason Baumgartner, Hari Mony, Viresh Paruthi et al. · Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design · 2006 · 74 citations

Computing, Computer Engineering, Computer Science +9

Asset health management using predictive and prescriptive analytics for the electric power grid

A. Goyal, Ernauli Aprilia, Geert Janssen et al. · IBM Journal of Research and Development · 2016 · 43 citations

Engineering, Infrastructure Planning, Systems Engineering +17

Project CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks

Ruchir Puri, David S. Kung, Geert Janssen et al. · arXiv (Cornell University) · 2021 · 37 citations · Full text

Computing, Computer Science, Artificial Intelligence +12

Multicore Power Management: Ensuring Robustness via Early-Stage Formal Verification

Anita Lungu, Pradip Bose, Daniel J. Sorin et al. · 2010 · 32 citations

Engineering, Computer Engineering, Computer Science +17

Exploring power management in multi-core systems

Reinaldo A. Bergamaschi, Guoling Han, Alper Buyuktosunoglu et al. · 2008 · 30 citations

Engineering, Computer Engineering, Computer Science +17

1–5 of 10