( en | de | ru )

 

Disambiguation of "Janssen, Geert"

Author of the publication

copydeleteadd this publication to your clipboard
First CADathlon Programming Contest held at 2002 ICCAD.

, and . IEEE Des. Test Comput., 20 (3): 104-107 (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kai Marc Geertsema

Jakob Geerthsen

Philipp Geertsen

Arno Geertz

Arie Geertsema

 

Other publications of authors with the same name

First CADathlon Programming Contest held at 2002 ICCAD., and . IEEE Des. Test Comput., 20 (3): 104-107 (2003)A Performance Study of BDD-Based Model Checking., , , , , , , and . FMCAD, volume 1522 of Lecture Notes in Computer Science, page 255-289. Springer, (1998)Large Data Flow Graphs in Limited GPU Memory., , and . IEEE BigData, page 1821-1830. IEEE, (2019)Project CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks., , , , , , , , , and 4 other author(s). CoRR, (2021)Exploiting Structural Similarities in a BDD-Based Verification Method., and . TPCD, volume 901 of Lecture Notes in Computer Science, page 110-125. Springer, (1994)Multicore power management: Ensuring robustness via early-stage formal verification., , , , and . MEMOCODE, page 78-87. IEEE, (2009)CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks., , , , , , , , , and 7 other author(s). NeurIPS Datasets and Benchmarks, (2021)Scalable Sequential Equivalence Checking across Arbitrary Design Transformations ., , , , and . ICCD, page 259-266. IEEE, (2006)A Consumer Report on BDD Packages.. SBCCI, page 217-. IEEE Computer Society, (2003)Asset health management using predictive and prescriptive analytics for the electric power grid., , , , , , , , , and 1 other author(s). IBM J. Res. Dev., (2016)