Tomás E. Uribe

GraphStep: A System Architecture for Sparse-Graph Algorithms

Michael deLorimier, Nachiket Kapre, Nikil Mehta et al. · 2006 · 93 citations

Computing, Computer Engineering, Computer Science +16

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial

Nikolaj Bjørner, Anca Browne, Michael A. Colón et al. · Formal Methods in System Design · 2000 · 91 citations

Computing, Computer Science, Formal Methods +14

Two-Phase Densification of Cohesive Granular Aggregates

Gustavo Gioia, Alberto M. Cuitiño, Suya Zheng et al. · Physical Review Letters · 2002 · 58 citations · Full text

Natural Sciences, Materials Engineering, Materials Science +15

Active preference learning for personalized calendar scheduling assistance

Melinda Gervasio, Michael D. Moffitt, Martha E. Pollack et al. · 2005 · 57 citations

Education, Educational Technology, Machine Learning +16

Deploying a personalized time management agent

Pauline M. Berry, Bart Peintner, Ken Conley et al. · 2006 · 55 citations

Computing, Autonomous Systems, Assistive Technology +13