Tomás E. Uribe

2007
28	EE	Tomás E. Uribe, Steven Cheung: Automatic analysis of firewall and network intrusion detection system configurations. Journal of Computer Security 15(6): 691-715 (2007)
2006
27		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
26	EE	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
25	EE	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
2005
24	EE	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
23	EE	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. OTM Workshops 2005: 30-32
2004
22	EE	Tomás E. Uribe, Steven Cheung: Automatic analysis of firewall and network intrusion detection system configurations. FMSE 2004: 66-74
2003
21	EE	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. DISCEX (2) 2003: 128-130
20		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
19		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
18	EE	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
17	EE	Joshua Levy, Hassen Saïdi, Tomás E. Uribe: Combining Monitors for Runtime System Verification. Electr. Notes Theor. Comput. Sci. 70(4): (2002)
2001
16	EE	Nikolaj 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
15		Tomás E. Uribe: Combinations of Model Checking and Theorem Proving. FroCos 2000: 151-170
14		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. Formal Methods in System Design 16(3): 227-270 (2000)
1999
13		Henny Sipma, Tomás E. Uribe, Zohar Manna: Deductive Model Checking. Formal Methods in System Design 15(1): 49-74 (1999)
1998
12	EE	Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe: Visual Abstractions for Temporal Verification. AMAST 1998: 28-41
11		Michael Colón, Tomás E. Uribe: Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures. CAV 1998: 293-304
1997
10		Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe: Deductive Verification of Real-Time Systems Using STeP. ARTS 1997: 22-43
9		Nikolaj Bjørner, Mark E. Stickel, Tomás E. Uribe: A Practical Integration of First-Order Reasoning and Decision Procedures. CADE 1997: 101-115
8		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
1996
7		Henny Sipma, Tomás E. Uribe, Zohar Manna: Deductive Model Checking. CAV 1996: 208-219
6		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. CAV 1996: 415-418
1995
5		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. TAPSOFT 1995: 793-794
4		Anuchit Anuchitanukul, Zohar Manna, Tomás E. Uribe: Differential BDDs. Computer Science Today 1995: 218-233
1994
3		Tomás E. Uribe, Mark E. Stickel: Ordered Binary Decision Diagrams and the Davis-Putnam Procedure. CCL 1994: 34-49
1992
2		Tomás E. Uribe: Sorted Unification Using Set Constraints. CADE 1992: 163-177
1		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. CADE 1992: 721-725

Coauthor Index

1	Cory Albright	[26]
2	Luca de Alfaro	[5]
3	Magnus Almgren	[18] [21]
4	José Luis Ambite	[23] [27]
5	Eyal Amir	[19]
6	Anuchit Anuchitanukul	[4]
7	Kim Barker	[20]
8	Pauline M. Berry (Pauline Berry)	[25] [26]
9	Nikolaj Bjørner	[5] [6] [9] [10] [14] [16]
10	Jim Blythe (James Blythe)	[20]
11	Gary C. Borchardt	[20]
12	Emma Bowring	[26]
13	Anca Browne (I. A. Draghicescu)	[5] [6] [12] [14]
14	Edward Y. Chang	[5] [6]
15	Vinay K. Chaudhri	[20] [23] [27]
16	Steven Cheung	[18] [21] [22] [28]
17	Peter Clark	[20]
18	Paul R. Cohen	[20]
19	Michael Colón	[5] [6] [8] [11] [14]
20	Ken Conley	[25] [26]
21	Yves Deswarte	[18] [21]
22	Harish Devarajan	[5]
23	Bruno Dutertre	[18] [21]
24	Richard Fikes	[23] [27]
25	Bernd Finkbeiner	[8] [14]
26	Julie Fitzgerald	[20]
27	Kenneth D. Forbus	[20]
28	Alan M. Frisch	[1]
29	Melinda T. Gervasio	[24] [25]
30	Yolanda Gil	[20]
31	Jessica Jenkins	[23] [27]
32	Arjun Kapur	[5] [6]
33	Boris Katz	[20]
34	Jihie Kim	[20]
35	Gary W. King	[20]
36	Jaejin Lee	[5]
37	Joshua Levy	[17] [18] [21]
38	Bill MacCartney	[19]
39	Zohar Manna	[4] [5] [6] [7] [8] [10] [12] [13] [14] [16]
40	Sheila A. McIlraith	[19]
41	Sunil Mishra	[20] [23] [27]
42	Michael K. Mitchell	[1]
43	Michael D. Moffitt	[24]
44	Clayton T. Morrison	[20]
45	Kenneth S. Murray	[20]
46	Maria Muslea	[23] [27]
47	Kenneth Nitz	[26]
48	Charley Otstott	[20]
49	Jonathan P. Pearce	[26]
50	Bart Peintner	[25] [26]
51	Martha E. Pollack	[24]
52	Bruce W. Porter	[20]
53	Shahin Saadati	[26]
54	Hassen Saïdi	[17] [18] [21]
55	Robert Schrag	[20]
56	Henny B. Sipma (Henny Sipma)	[5] [6] [7] [8] [10] [12] [13] [14] [16]
57	Victoria Stavridou	[18] [21]
58	Mark E. Stickel	[3] [9]
59	Milind Tambe	[26]
60	Joseph M. Taylor	[24]
61	Jeffrey M. Usher	[20]
62	Alfonso Valdes	[18] [21]
63	Guizhen Yang	[23] [27]
64	Peter Z. Yeh	[20]
65	Neil Yorke-Smith	[25] [26]

Colors in the list of coauthors