Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Tomás E. Uribe

dblp:44/5604 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Automated reasoning and model checking
theorem proving
0.122003
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.021996
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.021996
Deductive Model Checking · CAV 1996
STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems · CAV 1996
Program verification
decision procedure
0.011998
Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures · CAV 1998
Program verification
reactive system verification
0.011998
Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures · CAV 1998
Automated reasoning and model checking › abstraction
finite-state machine abstraction
0.011998
Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures · CAV 1998
Automated reasoning and model checking › abstraction
predicate abstraction
0.011998
Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures · CAV 1998
Automated reasoning and model checking
reactive system verification
0.011996
STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems · CAV 1996
Automated reasoning and model checking
real-time verification
0.011996
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.012003
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
YearPublicationVenuePosition
2007 Automatic analysis of firewall and network intrusion detection system configurations
abstract
Firewalls 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
AAAI7
2006 GraphStep: A System Architecture for Sparse-Graph Algorithms
abstract
Many 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
FCCM7
2005 Active preference learning for personalized calendar scheduling assistance
abstract
We 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
IUI5
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
IAAI19
2003 Practical Partition-Based Theorem Proving for Large Knowledge Bases
Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe
IJCAI4
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
CAV2
1997 A Practical Integration of First-Order Reasoning and Decision Procedures
Nikolaj S. Bjørner, Mark E. Stickel, Tomás E. Uribe
CADE3
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
CAV8
1996 Deductive Model Checking
Henny B. Sipma, Tomás E. Uribe, Zohar Manna
CAV2
1992 Sorted Unification Using Set Constraints
Tomás E. Uribe
CADE1
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
CADE1