Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

Publications Search Results

The following are sorted by reverse chronological order of publication.

35 publications found:

  • Jose-Luis Ambite, Vinay K. Chaudhri, Richard Fikes, Jessica Jenkins, Sunil Mishra, Maria Muslea, Tomas Uribe, Guizhen Yang. Design and Implementation of the CALO Query Manager, in Innovative Applications of Artificial Intelligence, July 2006.  [PDF, Details]

  • Berry, P. and Conley, K. and Gervasio, M. and Peintner, B. and Uribe, T. and Yorke-Smith, N. Deploying a Personalized Time Management Agent, in Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS’06) Industrial Track, Hakodate, Japan, pp. 1564-1571, May 2006.  [PDF, Details]

  • Berry, P. M. and Albright, C. and Bowring, E. and Conley, K. and Nitz, K. and Pearce, J. P. and Peintner, B. and Saadati, S. and Tambe, M. and Uribe, T. and Yorke-Smith, N. Conflict Negotiation Among Personal Calendar Agents, in Proceedings of AAMAS’06 Demonstration Track, Hakodate, Japan, pp. 1564–1571, May 2006.  [PDF, Details]

  • Berry, P.M. and Gervasio, M. and Peintner, B. and Uribe, T. and Yorke-Smith, N. Multi-Criteria Evaluation in User-Centric Distributed Scheduling Agents, in Proceedings of AAAI Spring Symposium on Distributed Plan and Schedule Management, AAAI Press, pp. 151–152, Mar 2006.  [PDF, Details]

  • Berry, P. and Myers, K. and Uribe, T. and Yorke-Smith, N. Task Management under Change and Uncertainty: Constraint Solving Experience with the CALO Project, in Proceedings of CP’05 Workshop on Constraint Solving under Change and Uncertainty, Sitges, Spain, pp. 4-8, Oct 2005.  [PDF, Details]

  • Berry, P. and Gervasio, M. and Uribe, T. and Yorke-Smith, N. Mixed-Initiative Issues for a Personalized Time Management Assistant, in Proceedings of ICAPS’05 Workshop on Mixed-Initiative Planning and Scheduling, Monterey, CA, pp. 12-17, Jun 2005.  [PDF, Details]

  • Berry, P. and Gervasio, M. and Uribe, T. and Pollack, M. and Moffitt, M. A Personalized Time Management Assistant, in AAAI 2005 Spring Symposium Series, Stanford, CA, Mar 2005.  [PDF, Details]

  • Ambite, Jose-Luis and Chaudhri, Vinay K. and Fikes, Richard and Jenkins, Jessica and Mishra, Sunil and Muslea, Maria and Uribe, Tomas and Yang, Guizhen. Integration of Heterogeneous Knowledge Sources in the CALO Query Manager. Technical Report, August 2005.  [PDF, Details]

  • Gervasio, M. and Moffitt, M. and Pollack, M. and Taylor, M. and Uribe, T. Active Preference Learning for Personalized Calendar Scheduling Assistance, in Proceedings of the 2005 International Conference on Intelligent User Interfaces, San Diego, CA, Jan 2005.  [PDF, Details]

  • Uribe, T. and Cheung, S. Automatic Analysis of Firewall and Network Intrusion Detection System Configurations, in 2nd ACM Workshop on Formal Methods in Security Engineering, ACM, Oct 2004.  [PDF, Details]

  • Berry, P.M. and Gervasio, M. and Uribe, T.E. and Myers, K. and Nitz, K. . A Personalized Calendar Assistant, in AAAI Spring Symposium Series, Stanford University, March 2004.  [PDF, Details]

  • MacCartney, B. and McIlraith, S. and Amir, E. and Uribe, T. E. Practical Partition-Based Theorem Proving for Large Knowledge Bases, in International Joint Conference on Artificial Intelligence (IJCAI), Acapulco, Mexico, Aug 2003.  [PDF, Details]

  • Uribe, T. and Cheung, S. and Levy, J. and Valdes, A. Intrusion Tolerance and Worm Spread, in Fast Abstracts, Distributed Systems and Networks, IEEE, Jun 2003.  [PDF, Details]

  • Barker, K. and Blythe, J. and Borchardt, G. and Chaudhri, V. and Clark, P. and Cohen, P. and Fitzgerald, J. and Forbus, K. and Gil, Y. and Katz, B. and Kim, J. and King, G. and Mishra, S. and Morrison, C. and Murray, K. and Otstott, C. and Porter, B. and Schrag, R. and Uribe, T. and Usher, J. and Yeh, P. A knowledge acquisition tool for course of action analysis, in Proceedings of the Innovative Applications of Artificial Intelligence Conference, 2003.  [PDF, Details]

  • Levy, J. and Saidi, H. and Uribe, T. Combining monitors for run-time system verification. Electronic Notes in Theoretical Computer Science, vol. 70, no. 4, Dec 2002.  [PDF, Details]

  • Uribe, T. E. and Chaudhri, V. and Hayes, P. J. and Stickel, M. E. Qualitative Spatial Reasoning for Question-Answering: Axiom Reuse and Algebraic Methods, in AAAI Spring Symposium on Mining Answers from Texts and Knowledge Bases, Stanford, CA, Mar 2002.  [PDF, Details]

  • Valdes, A. and Almgren, M. and Cheung, S. and Deswarte, Y. and Dutertre, B. and Levy, J. and Saidi, H. and Stavridou, V. and Uribe, T. An Architecture for an Adaptive Intrusion Tolerant Server, in Security Protocols Workshop, Springer-Verlag, 2002.  [Details]

  • Bjorner, N.S. and Manna, Z. and Sipma, H. and Uribe, T. Deductive Verification of Real-Time Systems Using STeP. Theoretical Computer Science, vol. 253, pp. 27-60, 2001.  [Details]

  • Uribe, T. E. Combinations of Model Checking and Theorem Proving, in Intl. Workshop on Frontiers of Combining Systems (FROCOS 2000), Springer-Verlag, pp. 151-170, Mar 2000.  [Details]

  • Bjorner, N.S. and Browne, A. and Colon, M. and Finkbeiner, B. and Manna, Z. and Uribe, T. Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. Formal Methods in System Design, vol. 16, pp. 227-270, 2000.  [Details]

  • Sipma, H. and Uribe, T. and Manna, Z. Deductive Model Checking. Formal Methods in System Design, vol. 15, no. 1, pp. 49-74, Jul 1999.  [Details]

  • Uribe, T. E. Abstraction-Based Deductive-Algorithmic Verification of Reactive Systems, PhD Thesis. Computer Science Department, Stanford University, Stanford, CA, Dec 1998.  [Details]

  • Colon, M. and Uribe, T. Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures, in Intl. Conference on Computer-Aided Verification (CAV'98), Springer-Verlag, no. 1427, pp. 293-304, Jun 1998.  [Details]

  • Manna, Z. and Browne, A. and Sipma, H. and Uribe, T. Visual Abstractions for Temporal Verification, in AMAST’98, Springer-Verlag, vol. 1548, pp. 28-41, 1998.  [Details]

  • Manna, Z. and Colon, M. and Finkbeiner, B. and Sipma, H. and Uribe, T. Abstraction and Modular Verification of Infinite-State Reactive Systems, in RTSE'98, Springer-Verlag, 1998.  [Details]

  • Bjorner, N.S. and Stickel, M. and Uribe, T. A Practical Integration of First-Order Reasoning and Decision Procedures, in Intl. Conference on Computer-Aided Verification (CADE), Springer-Verlag, vol. 1249, pp. 101-115, 1997.  [Details]

  • de Alfaro, L. and Manna, Z. and Sipma, H. and Uribe, T. Visual Verification of Reactive Systems, in TACAS, Springer-Verlag, vol. 1217, pp. 334-350, 1997.  [Details]

  • Sipma, H. and Uribe, T. and Manna, Z. Model Checking and Deduction for Verifying Infinite-State Systemsin Logic, Language and Computation, CSLI, 1997.  [Details]

  • Manna, Z. et. al. STeP: Deductive-Algorithmic Verification of Reactive and Real-time Systems, in 8th Intl. Conf. on Computer-Aided Verification, Springer-Verlag, vol. 1102, pp. 415-418, 1996.  [Details]

  • Anuchitanukul, A. and Manna, Z. and Uribe, T. Differential BDDsin Computer Science Today, Springer-Verlag, Sep 1995.  [Details]

  • Uribe, T. and Stickel, M. Ordered Binary Decision Diagrams and the Davis-Putnam Procedure, in Intl. Conference on Constraints in Computational Logics, Springer-Verlag, vol. 845, pp. 34-49, Sep 1994.  [Details]

  • Uribe, T. and Frisch, A. and Mitchell, M.K. An Overview of FRAPPS: A Framework for Resolution-based Proof Procedure Systems, in Intl. Conf. on Automated Deduction (CADE'92), Springer-Verlag, vol. 607, pp. 721-725, Jul 1992.  [Details]

  • Uribe, T. E. Sorted Unification Using Set Constraints, in Intl. Conf. on Computer Aided Deduction (CADE'92), vol. 607, pp. 163-177, Jul 1992.  [Details]

  • Uribe, T. E. Constraints in FRAPPS 2.0, Technical Report . University of Illinois at Urbana-Champaign, Urbana, Illinois, Sep 1991.  [Details]

  • Uribe, T. Sorted Unification and the Solution of Semi-linear Membership Constraints, Masters Thesis. University of Illinois at Urbana-Champaign, Dec. 1991.  [Details]

  • SRI International
    ©2015 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
    SRI International is an independent, nonprofit corporation. Privacy policy