Tomás E. Uribe

发表

Richard Fikes, José Luis Ambite, Vinay K. Chaudhri, 2005, OTM Workshops.
Magnus Almgren, Tomás E. Uribe, Alfonso Valdes, 2003, Proceedings DARPA Information Survivability Conference and Exposition.
Richard Fikes, José Luis Ambite, Vinay K. Chaudhri, 2006, AAAI.
Henny B. Sipma, Zohar Manna, Nikolaj Bjørner, 1997, ARTS.
Andrew G. Alleyne, Tomás E. Uribe, Bryan P. Rasmussen, 2004 .
Edward Y. Chang, Henny B. Sipma, Zohar Manna, 1996, CAV.
Henny B. Sipma, Zohar Manna, Tomás E. Uribe, 1999, AMAST.
Henny B. Sipma, Zohar Manna, Nikolaj Bjørner, 1997, Theor. Comput. Sci..
Tomás E. Uribe, Mark E. Stickel, M. Stickel, 1994, CCL.
Tomás E. Uribe, Michael Colón, Michael Colón, 1998, CAV.
Sheila A. McIlraith, Tomás E. Uribe, Eyal Amir, 2003, IJCAI.
Tomás E. Uribe, Martha E. Pollack, Michael D. Moffitt, 2005, IUI.
Bernd Finkbeiner, Henny B. Sipma, Zohar Manna, 2000, Formal Methods Syst. Des..
Bernd Finkbeiner, Henny B. Sipma, Zohar Manna, 1997, Requirements Targeting Software and Systems Engineering.
Magnus Almgren, Tomás E. Uribe, Alfonso Valdes, 2004 .
Tomás E. Uribe, 1992, CADE.
Henny B. Sipma, Zohar Manna, Nikolaj Bjørner, 1995 .
Bernd Finkbeiner, Henny B. Sipma, Zohar Manna, 1998, Tool Support for System Specification, Development and Verification.
Edward Y. Chang, Henny B. Sipma, Zohar Manna, 1995, TAPSOFT.
Tomás E. Uribe, Martha E. Pollack, Michael D. Moffitt, 2005, AAAI Spring Symposium: Persistent Assistants: Living and Working with AI.
Tomás E. Uribe, Alan M. Frisch, Michael K. Mitchell, 1992, CADE.
Milind Tambe, Tomás E. Uribe, Cory Albright, 2006, AAMAS '06.
Nikolaj Bjørner, Tomás E. Uribe, Mark E. Stickel, 1997, CADE.
Henny B. Sipma, Zohar Manna, Tomás E. Uribe, 1996, CAV.
Henny B. Sipma, Zohar Manna, Tomás E. Uribe, 1996, Formal Methods Syst. Des..
Tomás E. Uribe, Neil Yorke-Smith, Melinda T. Gervasio, 2005 .
Magnus Almgren, Tomás E. Uribe, Alfonso Valdes, 2002, Security Protocols Workshop.
Tomás E. Uribe, Neil Yorke-Smith, Bart Peintner, 2006, AAMAS '06.
Tomás E. Uribe, Neil Yorke-Smith, Bart Peintner, 2006, AAAI Spring Symposium: Distributed Plan and Schedule Management.
Nachiket Kapre, Tomás E. Uribe, Raphael Rubin, 2006, 2006 14th Annual IEEE Symposium on Field-Programmable Custom Computing Machines.
Gary W. King, Clayton T. Morrison, Paul R. Cohen, 2003, IAAI.
Zohar Manna, Tomás E. Uribe, Anuchit Anuchitanukul, 1995, Computer Science Today.
Karen L. Myers, Tomás E. Uribe, Melinda T. Gervasio, 2004 .
Tomás E. Uribe, Joshua Levy, Hassen Saïdi, 2002, Electron. Notes Theor. Comput. Sci..
Henny B. Sipma, Zohar Manna, Luca de Alfaro, 1997, TACAS.
Tomás E. Uribe, Charles M. Lieber, Tomas Uribe, 2006 .
Tomás E. Uribe, Z. Manna, Michael Colón, 2000, Formal Methods Syst. Des..