default search action
Tomás E. Uribe
Person information
- affiliation: Stanford University, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2007
- [j4]Tomás E. Uribe, Steven Cheung:
Automatic analysis of firewall and network intrusion detection system configurations. J. Comput. Secur. 15(6): 691-715 (2007) - 2006
- [c28]José Luis Ambite, Vinay K. Chaudhri, Richard Fikes, Jessica Jenkins, Sunil Mishra, Maria Muslea, Tomás E. Uribe, Guizhen Yang:
Design and Implementation of the CALO Query Manager. AAAI 2006: 1751-1758 - [c27]Pauline M. Berry, Melinda T. Gervasio, Bart Peintner, Tomás E. Uribe, Neil Yorke-Smith:
Multi-Criteria Evaluation in User-Centric Distributed Scheduling Agents. AAAI Spring Symposium: Distributed Plan and Schedule Management 2006: 151-152 - [c26]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:
Conflict negotiation among personal calendar agents. AAMAS 2006: 1467-1468 - [c25]Pauline Berry, Bart Peintner, Ken Conley, Melinda T. Gervasio, Tomás E. Uribe, Neil Yorke-Smith:
Deploying a personalized time management agent. AAMAS 2006: 1564-1571 - [c24]Michael DeLorimier, Nachiket Kapre
, Nikil Mehta, Dominic Rizzo, Ian Eslick, Raphael Rubin, Tomás E. Uribe, Thomas F. Knight Jr., André DeHon:
GraphStep: A System Architecture for Sparse-Graph Algorithms. FCCM 2006: 143-151 - 2005
- [c23]Pauline M. Berry, Melinda T. Gervasio, Tomás E. Uribe, Martha E. Pollack, Michael D. Moffitt:
A Personalized Time Management Assistant: Research Directions. AAAI Spring Symposium: Persistent Assistants: Living and Working with AI 2005: 1-6 - [c22]Melinda T. Gervasio, Michael D. Moffitt, Martha E. Pollack, Joseph M. Taylor, Tomás E. Uribe:
Active preference learning for personalized calendar scheduling assistance. IUI 2005: 90-97 - [c21]José Luis Ambite
Integration of Heterogeneous Knowledge Sources in the CALO Query Manager. OTM Workshops 2005: 30-32 - 2004
- [c20]Tomás E. Uribe, Steven Cheung:
Automatic analysis of firewall and network intrusion detection system configurations. FMSE 2004: 66-74 - 2003
- [c19]Alfonso Valdes, Magnus Almgren
Dependable Intrusion Tolerance: Technology Demo. DISCEX (2) 2003: 128-130 - [c18]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, Tomás E. Uribe, Jeffrey M. Usher, Peter Z. Yeh:
A Knowledge Acquisition Tool for Course of Action Analysis. IAAI 2003: 43-50 - [c17]Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe:
Practical Partition-Based Theorem Proving for Large Knowledge Bases. IJCAI 2003: 89-98 - 2002
- [c16]Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe:
An Architecture for an Adaptive Intrusion-Tolerant Server. Security Protocols Workshop 2002: 158-178 - [c15]Joshua Levy, Hassen Saïdi, Tomás E. Uribe:
Combining Monitors for Runtime System Verification. RV@FLoC 2002: 112-127 - 2001
- [j3]Nikolaj S. Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe:
Deductive verification of real-time systems using STeP. Theor. Comput. Sci. 253(1): 27-60 (2001) - 2000
- [j2]Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe:
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. Formal Methods Syst. Des. 16(3): 227-270 (2000) - [c14]Tomás E. Uribe:
Combinations of Model Checking and Theorem Proving. FroCoS 2000: 151-170
1990 – 1999
- 1999
- [j1]Henny Sipma, Tomás E. Uribe, Zohar Manna:
Deductive Model Checking. Formal Methods Syst. Des. 15(1): 49-74 (1999) - 1998
- [b1]Tomás E. Uribe:
Abstraction-based deductive-algorithmic verification of reactive systems. Stanford University, USA, 1998 - [c13]Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe:
Visual Abstractions for Temporal Verification. AMAST 1998: 28-41 - [c12]Michael Colón, Tomás E. Uribe:
Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures. CAV 1998: 293-304 - [c11]Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe:
An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems. Tool Support for System Specification, Development and Verification 1998: 174-188 - 1997
- [c10]Nikolaj S. Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe:
Deductive Verification of Real-Time Systems Using STeP. ARTS 1997: 22-43 - [c9]Nikolaj S. Bjørner, Mark E. Stickel, Tomás E. Uribe:
A Practical Integration of First-Order Reasoning and Decision Procedures. CADE 1997: 101-115 - [c8]Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe:
Abstraction and Modular Verification of Infinite-State Reactive Systems. Requirements Targeting Software and Systems Engineering 1997: 273-292 - [c7]Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe:
Visual Verification of Reactive Systems. TACAS 1997: 334-350 - 1996
- [c6]Henny Sipma, Tomás E. Uribe, Zohar Manna:
Deductive Model Checking. CAV 1996: 208-219 - [c5]Nikolaj S. Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny Sipma, Tomás E. Uribe:
STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. CAV 1996: 415-418 - 1995
- [c4]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:
STeP: The Stanford Temporal Prover. TAPSOFT 1995: 793-794 - [p1]Anuchit Anuchitanukul, Zohar Manna, Tomás E. Uribe:
Differential BDDs. Computer Science Today 1995: 218-233 - 1994
- [c3]Tomás E. Uribe, Mark E. Stickel:
Ordered Binary Decision Diagrams and the Davis-Putnam Procedure. CCL 1994: 34-49 - 1992
- [c2]Tomás E. Uribe:
Sorted Unification Using Set Constraints. CADE 1992: 163-177 - [c1]Tomás E. Uribe, Alan M. Frisch
An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems. CADE 1992: 721-725
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: