Demo Data from VLDB 2026 / reviewers in the wild / expert
Tomás E. Uribe
dblp:44/5604
· DBLP profile ↗
15ranked-venue papers
3as first author
0since 2021 · last 2007
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 9 · 2 first-authorArtificial intelligence and machine learning · 6 · 2 first-authorSoftware engineering, systems software and programming languages · 3Graphics, computer vision, multimedia, augmented reality and games · 2Systems, architecture and hardware · 1Security and privacy · 1 · 1 first-authorHuman-computer interaction and ubiquitous computing · 1Applied, interdisciplinary, general and emerging computing · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
4 papers |
Automated reasoning and model checking · 100% | |
| Databases, data mining, and information retrieval
1 paper |
Database system architecture and tuning · 100% | |
| Software engineering, system software, and programming languages
1 paper |
Program verification · 100% | |
| Artificial intelligence
2 papers |
Planning, search and constraint satisfaction · 60% Knowledge representation and reasoning · 40% |
Topics — the 10 heaviest of 12, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automated reasoning and model checking
theorem proving |
0.1 | 2 | 2003 | Practical Partition-Based Theorem Proving for Large Knowledge Bases · IJCAI 2003 Deductive Model Checking · CAV 1996 |
Automated reasoning and model checking › program verification
deductive verification |
0.0 | 2 | 1996 | Deductive Model Checking · CAV 1996 STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems · CAV 1996 |
Automated reasoning and model checking
model checking |
0.0 | 2 | 1996 | Deductive Model Checking · CAV 1996 STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems · CAV 1996 |
Program verification
decision procedure |
0.0 | 1 | 1998 | Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures · CAV 1998 |
Program verification
reactive system verification |
0.0 | 1 | 1998 | Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures · CAV 1998 |
Automated reasoning and model checking › abstraction
finite-state machine abstraction |
0.0 | 1 | 1998 | Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures · CAV 1998 |
Automated reasoning and model checking › abstraction
predicate abstraction |
0.0 | 1 | 1998 | Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures · CAV 1998 |
Automated reasoning and model checking
reactive system verification |
0.0 | 1 | 1996 | STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems · CAV 1996 |
Automated reasoning and model checking
real-time verification |
0.0 | 1 | 1996 | STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems · CAV 1996 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › knowledge-based systems
large knowledge bases |
0.0 | 1 | 2003 | Practical Partition-Based Theorem Proving for Large Knowledge Bases · IJCAI 2003 |
Methods — techniques the papers use, named apart from their topics
partitioning · 0.1SMT · 0.0decision procedures · 0.0decision procedure · 0.0deductive-algorithmic verification · 0.0deduction · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2007 | Automatic analysis of firewall and network intrusion detection system configurationsabstractFirewalls and network intrusion detection systems (NIDSs) are widely used to secure computer networks. Given a network that deploys multiple firewalls and NIDSs, ensuring that these security components are correctly configured is a challenging proble Tomás E. Uribe, Steven Cheung |
J. Comput. Secur. | 1 |
| 2006 | Design and Implementation of the CALO Query Manager
José Luis Ambite, Vinay K. Chaudhri, Richard Fikes, Jessica Jenkins, Sunil Mishra, Maria Muslea, Tomás E. Uribe, Guizhen Yang |
AAAI | 7 |
| 2006 | GraphStep: A System Architecture for Sparse-Graph AlgorithmsabstractMany important applications are organized around long-lived, irregular sparse graphs (e.g., data and knowledge bases, CAD optimization, numerical problems, simulations). The graph structures are large, and the applications need regular access to a large, data-dependent portion of the graph for each operation (e.g., the algorithm may need to walk the graph, visiting all nodes, or propagate changes through many nodes in the graph). On conventional microprocessors, the graph structures exceed on-chip cache capacities, making main-memory bandwidth and latency the key performance limiters. To avoid this "memory wall," we introduce a concurrent system architecture for sparse graph algorithms that places graph nodes in small distributed memories paired with specialized graph processing nodes interconnected by a lightweight network. This gives us a scalable way to map these applications so that they can exploit the high-bandwidth and low-latency capabilities of embedded memories (e.g., FPGA Block RAMs). On typical spreadingactivation queries on the ConceptNet Knowledge Base, a sample application, this translates into an order of magnitude speedup per FPGA compared to a state-of-the-art Pentium processor. Michael DeLorimier, Nachiket Kapre, Nikil Mehta, Dominic Rizzo, Ian Eslick, Raphael Rubin, Tomás E. Uribe, Thomas F. Knight Jr., André DeHon |
FCCM | 7 |
| 2005 | Active preference learning for personalized calendar scheduling assistanceabstractWe present PLIANT, a learning system that supports adaptive assistance in an open calendaring system. PLIANT learns user preferences from the feedback that naturally occurs during interactive scheduling. It contributes a novel application of active learning in a domain where the choice of candidate schedules to present to the user must balance usefulness to the learning module with immediate benefit to the user. Our experimental results provide evidence of PLIANT's ability to learn user preferences under various conditions and reveal the tradeoffs made by the different active learning selection strategies. Melinda T. Gervasio, Michael D. Moffitt, Martha E. Pollack, Joseph M. Taylor, Tomás E. Uribe |
IUI | 5 |
| 2003 | A Knowledge Acquisition Tool for Course of Action Analysis
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 |
IAAI | 19 |
| 2003 | Practical Partition-Based Theorem Proving for Large Knowledge Bases
Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe |
IJCAI | 4 |
| 2001 | Deductive verification of real-time systems using STeP
Nikolaj S. Bjørner, Zohar Manna, Henny B. Sipma, Tomás E. Uribe |
Theor. Comput. Sci. | 4 |
| 2000 | Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny B. Sipma, Tomás E. Uribe |
Formal Methods Syst. Des. | 7 |
| 1999 | Deductive Model Checking
Henny B. Sipma, Tomás E. Uribe, Zohar Manna |
Formal Methods Syst. Des. | 2 |
| 1998 | Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures
Michael Colón, Tomás E. Uribe |
CAV | 2 |
| 1997 | A Practical Integration of First-Order Reasoning and Decision Procedures
Nikolaj S. Bjørner, Mark E. Stickel, Tomás E. Uribe |
CADE | 3 |
| 1996 | STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems
Nikolaj S. Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny B. Sipma, Tomás E. Uribe |
CAV | 8 |
| 1996 | Deductive Model Checking
Henny B. Sipma, Tomás E. Uribe, Zohar Manna |
CAV | 2 |
| 1992 | Sorted Unification Using Set Constraints
Tomás E. Uribe |
CADE | 1 |
| 1992 | An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems
Tomás E. Uribe, Alan M. Frisch, Michael K. Mitchell |
CADE | 1 |