Toms E. Uribe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
9
Active years
1992–2006
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | AAAI | Design and Implementation of the CALO Query Manager. | Jos Luis Ambite, Vinay K. Chaudhri, Richard Fikes, Jessica Jenkins, Sunil Mishra, Maria Muslea, Toms E. Uribe, Guizhen Yang |
| 2006 | FCCM | GraphStep: A System Architecture for Sparse-Graph Algorithms. | Michael DeLorimier, Nachiket Kapre, Nikil Mehta, Dominic Rizzo, Ian Eslick, Raphael Rubin, Toms E. Uribe, Thomas F. Knight Jr., Andr DeHon |
| 2005 | IUI | Active preference learning for personalized calendar scheduling assistance. | Melinda T. Gervasio, Michael D. Moffitt, Martha E. Pollack, Joseph M. Taylor, Toms E. Uribe |
| 2004 | CCS | Automatic analysis of firewall and network intrusion detection system configurations. | Toms E. Uribe, Steven Cheung |
| 2003 | IAAI | A Knowledge Acquisition Tool for Course of Action Analysis. | Kim Barker, Jim Blythe, Gary C. Borchardt, Vinay K. Chaudhri, Peter Clark, Paul R. Cohen, Julie Fitzgerald, Kenneth D. Forbus, Yolanda Gil, Boris Katz, Jihie Kim, Gary W. King, Sunil Mishra, Clayton T. Morrison, Kenneth S. Murray, Charley Otstott, Bruce W. Porter, Robert Schrag, Toms E. Uribe, Jeffrey M. Usher, Peter Z. Yeh |
| 2003 | IJCAI | Practical Partition-Based Theorem Proving for Large Knowledge Bases. | Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Toms E. Uribe |
| 1998 | CAV | Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures. | Michael Coln, Toms E. Uribe |
| 1997 | CADE | A Practical Integration of First-Order Reasoning and Decision Procedures. | Nikolaj S. Bjrner, Mark E. Stickel, Toms E. Uribe |
| 1997 | TACAS | Visual Verification of Reactive Systems. | Luca de Alfaro, Zohar Manna, Henny B. Sipma, Toms E. Uribe |
| 1996 | CAV | STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. | Nikolaj S. Bjrner, Anca Browne, Edward Y. Chang, Michael Coln, Arjun Kapur, Zohar Manna, Henny Sipma, Toms E. Uribe |
| 1996 | CAV | Deductive Model Checking. | Henny Sipma, Toms E. Uribe, Zohar Manna |
| 1992 | CADE | Sorted Unification Using Set Constraints. | Toms E. Uribe |
| 1992 | CADE | An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems. | Toms E. Uribe, Alan M. Frisch, Michael K. Mitchell |