Aart De Geus

A Rule-Based System for Optimizing Combinational Logic

Aart De Geus, William A. Cohen · IEEE Design & Test of Computers · 1985 · 93 citations

Computing, Computer Engineering, Computer Science +17

Synthesis and Optimization of Multilevel Logic under Timing Constraints

K. Bartlett, William A. Cohen, Aart De Geus et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1986 · 92 citations

Engineering, Computer Engineering, Computer Science +17

SOCRATES

David Gregory, Karen H. Bartlett, Aart De Geus et al. · Proceedings of the 23rd ACM/IEEE conference on Design automation - DAC '86 · 1986 · 41 citations

Computing, Computer Science, Quality Engineering +10

Development of a Seasonal Thermochemical Storage System

Ruud Cuypers, Nazli Maraz, Jacco Eversdijk et al. · Energy Procedia · 2012 · 35 citations · Full text

Engineering, Materials Engineering, Materials Science +17

SOCRATES: A System for Automatically Synthesizing and Optimizing Combinational Logic

David Gregory, Aart De Geus, K. Bartlett et al. · 23rd ACM/IEEE Design Automation Conference · 1986 · 30 citations

Architecture, Computer Engineering, Computer Science +16