Sorted Unification Using Set Constraints. - Tomás E. Uribe (CADE, 1992)

An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems. - Tomás E. Uribe; Alan M. Frisch; Michael K. Mitchell (CADE, 1992)

Ordered Binary Decision Diagrams and the Davis-Putnam Procedure. - Tomás E. Uribe; Mark E. Stickel (CCL, 1994)

Differential BDDs. - Anuchit Anuchitanukul; Zohar Manna; Tomás E. Uribe (Computer Science Today, 1995)

STeP: The Stanford Temporal Prover. - Zohar Manna; Nikolaj S. Bjørner; Anca Browne; Edward Y. Chang; Michael Colón; Luca de Alfaro; Harish Devarajan; Arjun Kapur; Jaejin Lee; Henny Sipma; Tomás E. Uribe (TAPSOFT, 1995)

STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. - Nikolaj S. Bjørner; Anca Browne; Edward Y. Chang; Michael Colón; Arjun Kapur; Zohar Manna; Henny Sipma; Tomás E. Uribe (CAV, 1996)

A Practical Integration of First-Order Reasoning and Decision Procedures. - Nikolaj S. Bjørner; Mark E. Stickel; Tomás E. Uribe (CADE, 1997)

Abstraction and Modular Verification of Infinite-State Reactive Systems. - Zohar Manna; Michael Colón; Bernd Finkbeiner; Henny Sipma; Tomás E. Uribe (Requirements Targeting Software and Systems Engineering, 1997)

Visual Verification of Reactive Systems. - Luca de Alfaro; Zohar Manna; Henny B. Sipma; Tomás E. Uribe (TACAS, 1997)

Visual Abstractions for Temporal Verification. - Zohar Manna; Anca Browne; Henny Sipma; Tomás E. Uribe (AMAST, 1998)

Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures. - Michael Colón; Tomás E. Uribe (CAV, 1998)

An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems. - Zohar Manna; Nikolaj S. Bjørner; Anca Browne; Michael Colón; Bernd Finkbeiner; Mark C. Pichora; Henny B. Sipma; Tomás E. Uribe (Tool Support for System Specification, Development and Verification, 1998)

Abstraction-based deductive-algorithmic verification of reactive systems. - Tomás E. Uribe (1998)

Deductive Model Checking. - Henny Sipma; Tomás E. Uribe; Zohar Manna (Formal Methods Syst. Des., 1999)

Combinations of Model Checking and Theorem Proving. - Tomás E. Uribe (FroCoS, 2000)

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. - Nikolaj S. Bjørner; Anca Browne; Michael Colón; Bernd Finkbeiner; Zohar Manna; Henny Sipma; Tomás E. Uribe (Formal Methods Syst. Des., 2000)

Deductive verification of real-time systems using STeP. - Nikolaj S. Bjørner; Zohar Manna; Henny Sipma; Tomás E. Uribe (Theor. Comput. Sci., 2001)

An Architecture for an Adaptive Intrusion-Tolerant Server. - Alfonso Valdes; Magnus Almgren; Steven Cheung; Yves Deswarte; Bruno Dutertre; Joshua Levy; Hassen Saïdi; Victoria Stavridou; Tomás E. Uribe (Security Protocols Workshop, 2002)

Combining Monitors for Runtime System Verification. - Joshua Levy; Hassen Saïdi; Tomás E. Uribe (RV@FLoC, 2002)

Dependable Intrusion Tolerance: Technology Demo. - Alfonso Valdes; Magnus Almgren; Steven Cheung; Yves Deswarte; Bruno Dutertre; Joshua Levy; Hassen Saïdi; Victoria Stavridou; Tomás E. Uribe (DISCEX (2), 2003)

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; et al. (IAAI, 2003)

Practical Partition-Based Theorem Proving for Large Knowledge Bases. - Bill MacCartney; Sheila A. McIlraith; Eyal Amir; Tomás E. Uribe (IJCAI, 2003)

A Personalized Time Management Assistant: Research Directions. - Pauline M. Berry; Melinda T. Gervasio; Tomás E. Uribe; Martha E. Pollack; Michael D. Moffitt (AAAI Spring Symposium: Persistent Assistants: Living and Working with AI, 2005)

Active preference learning for personalized calendar scheduling assistance. - Melinda T. Gervasio; Michael D. Moffitt; Martha E. Pollack; Joseph M. Taylor; Tomás E. Uribe (IUI, 2005)

Integration of Heterogeneous Knowledge Sources in the CALO Query Manager. - José Luis Ambite; Vinay K. Chaudhri; Richard Fikes; Jessica Jenkins; Sunil Mishra; Maria Muslea; Tomás E. Uribe; Guizhen Yang (OTM Workshops, 2005)

Design and Implementation of the CALO Query Manager. - José Luis Ambite; Vinay K. Chaudhri; Richard Fikes; Jessica Jenkins; Sunil Mishra; Maria Muslea; Tomás E. Uribe; Guizhen Yang (AAAI, 2006)

Multi-Criteria Evaluation in User-Centric Distributed Scheduling Agents. - Pauline M. Berry; Melinda T. Gervasio; Bart Peintner; Tomás E. Uribe; Neil Yorke-Smith (AAAI Spring Symposium: Distributed Plan and Schedule Management, 2006)

Conflict negotiation among personal calendar agents. - Pauline M. Berry; Cory Albright; Emma Bowring; Ken Conley; Kenneth Nitz; Jonathan P. Pearce; Bart Peintner; Shahin Saadati; Milind Tambe; Tomás E. Uribe; Neil Yorke-Smith (AAMAS, 2006)

Deploying a personalized time management agent. - Pauline Berry; Bart Peintner; Ken Conley; Melinda T. Gervasio; Tomás E. Uribe; Neil Yorke-Smith (AAMAS, 2006)

GraphStep: A System Architecture for Sparse-Graph Algorithms. - Michael DeLorimier; Nachiket Kapre; Nikil Mehta; Dominic Rizzo; Ian Eslick; Raphael Rubin; Tomás E. Uribe; Thomas F. Knight Jr.; André DeHon (FCCM, 2006)

Automatic analysis of firewall and network intrusion detection system configurations. - Tomás E. Uribe; Steven Cheung (J. Comput. Secur., 2007)