The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tomás E. Uribe: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  2. Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe
    Visual Abstractions for Temporal Verification. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:28-41 [Conf]
  3. Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe
    Deductive Verification of Real-Time Systems Using STeP. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:22-43 [Conf]
  4. 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. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:1467-1468 [Conf]
  5. Pauline Berry, Bart Peintner, Ken Conley, Melinda T. Gervasio, Tomás E. Uribe, Neil Yorke-Smith
    Deploying a personalized time management agent. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:1564-1571 [Conf]
  6. Nikolaj Bjørner, Mark E. Stickel, Tomás E. Uribe
    A Practical Integration of First-Order Reasoning and Decision Procedures. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:101-115 [Conf]
  7. Tomás E. Uribe
    Sorted Unification Using Set Constraints. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:163-177 [Conf]
  8. Tomás E. Uribe, Alan M. Frisch, Michael K. Mitchell
    An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:721-725 [Conf]
  9. Nikolaj 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. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:415-418 [Conf]
  10. Michael Colón, Tomás E. Uribe
    Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:293-304 [Conf]
  11. Henny Sipma, Tomás E. Uribe, Zohar Manna
    Deductive Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:208-219 [Conf]
  12. Tomás E. Uribe, Mark E. Stickel
    Ordered Binary Decision Diagrams and the Davis-Putnam Procedure. [Citation Graph (0, 0)][DBLP]
    CCL, 1994, pp:34-49 [Conf]
  13. Tomás E. Uribe, Steven Cheung
    Automatic analysis of firewall and network intrusion detection system configurations. [Citation Graph (0, 0)][DBLP]
    FMSE, 2004, pp:66-74 [Conf]
  14. Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe
    Dependable Intrusion Tolerance: Technology Demo. [Citation Graph (0, 0)][DBLP]
    DISCEX (2), 2003, pp:128-130 [Conf]
  15. Tomás E. Uribe
    Combinations of Model Checking and Theorem Proving. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:151-170 [Conf]
  16. 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. [Citation Graph (0, 0)][DBLP]
    IAAI, 2003, pp:43-50 [Conf]
  17. Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe
    Practical Partition-Based Theorem Proving for Large Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:89-98 [Conf]
  18. Melinda T. Gervasio, Michael D. Moffitt, Martha E. Pollack, Joseph M. Taylor, Tomás E. Uribe
    Active preference learning for personalized calendar scheduling assistance. [Citation Graph (0, 0)][DBLP]
    IUI, 2005, pp:90-97 [Conf]
  19. José Luis Ambite, Vinay K. Chaudhri, Richard Fikes, Jessica Jenkins, Sunil Mishra, Maria Muslea, Tomás E. Uribe, Guizhen Yang
    Integration of Heterogeneous Knowledge Sources in the CALO Query Manager. [Citation Graph (0, 0)][DBLP]
    OTM Workshops, 2005, pp:30-32 [Conf]
  20. Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe
    Abstraction and Modular Verification of Infinite-State Reactive Systems. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:273-292 [Conf]
  21. 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. [Citation Graph (0, 0)][DBLP]
    Security Protocols Workshop, 2002, pp:158-178 [Conf]
  22. Zohar Manna, Nikolaj 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. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:793-794 [Conf]
  23. Joshua Levy, Hassen Saïdi, Tomás E. Uribe
    Combining Monitors for Runtime System Verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
  24. Nikolaj 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. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2000, v:16, n:3, pp:227-270 [Journal]
  25. Henny Sipma, Tomás E. Uribe, Zohar Manna
    Deductive Model Checking. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1999, v:15, n:1, pp:49-74 [Journal]
  26. Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe
    Deductive verification of real-time systems using STeP. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:253, n:1, pp:27-60 [Journal]

Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002