| 2007 |
|---|
| 48 | EE | Gulay Ünel,
David Toman:
An Incremental Technique for Automata-Based Decision Procedures.
CADE 2007: 100-115 |
| 47 | EE | David Toman,
Grant E. Weddell:
On Order Dependencies for the Semantic Web.
ER 2007: 293-306 |
| 46 | EE | Gulay Ünel,
David Toman:
Logic Programming Approach to Automata-Based Decision Procedures.
ICLP 2007: 165-179 |
| 45 | EE | Alessandro Artale,
Carsten Lutz,
David Toman:
A Description Logic of Change.
IJCAI 2007: 218-223 |
| 44 | EE | David Toman:
On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries.
TIME 2007: 150-162 |
| 43 | EE | Jan Chomicki,
David Toman:
Special Issue: TIME 2005.
Inf. Comput. 205(1): 1 (2007) |
| 2006 |
|---|
| 42 | | Bijan Parsia,
Ulrike Sattler,
David Toman:
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006
CEUR-WS.org 2006 |
| 41 | EE | Alessandro Artale,
Carsten Lutz,
David Toman:
A Description Logic of Change.
Description Logics 2006 |
| 40 | EE | David Toman,
Grant E. Weddell:
On Keys and Functional Dependencies as First-Class Citizens in Description Logics.
IJCAR 2006: 647-661 |
| 2005 |
|---|
| 39 | EE | David Toman,
Grant E. Weddell:
On Path-functional Dependencies as First-class Citizens in Description Logics.
Description Logics 2005 |
| 38 | EE | David Toman,
Grant E. Weddell:
On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics.
IJCAI 2005: 603-608 |
| 37 | EE | Sihem Amer-Yahia,
Nick Koudas,
Amélie Marian,
Divesh Srivastava,
David Toman:
Structure and Content Scoring for XML.
VLDB 2005: 361-372 |
| 36 | EE | David Toman,
Grant E. Weddell:
On reasoning about structural equality in XML: a description logic approach.
Theor. Comput. Sci. 336(1): 181-203 (2005) |
| 2004 |
|---|
| 35 | EE | David Toman,
Grant E. Weddell:
Attribute Inversion in Description Logic with Path Functional Dependencies .
Description Logics 2004 |
| 2003 |
|---|
| 34 | EE | Enrico Franconi,
David Toman:
Fixpoint Extensions of Temporal Description Logics.
Description Logics 2003 |
| 33 | EE | David DeHaan,
David Toman,
Grant E. Weddell:
Rewriting Aggregate Queries using Description Logic.
Description Logics 2003 |
| 32 | EE | David Toman,
Grant E. Weddell:
On Reasoning about Structural Equality in XML: A Description Logic Approach.
ICDT 2003: 96-110 |
| 31 | | David Toman:
Logical Data Expiration.
Logics for Emerging Applications of Databases 2003: 203-238 |
| 30 | EE | David DeHaan,
David Toman,
Mariano P. Consens,
M. Tamer Özsu:
A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding.
SIGMOD Conference 2003: 623-634 |
| 29 | EE | David Toman:
Logical Data Expiration for Fixpoint Extensions of Temporal Logics.
SSTD 2003: 380-393 |
| 28 | EE | David Toman:
On Incompleteness of Multi-dimensional First-order Temporal Logics.
TIME 2003: 99-106 |
| 27 | | Ivan T. Bowman,
David Toman:
Optimizing temporal queries: efficient handling of duplicates.
Data Knowl. Eng. 44(2): 143-164 (2003) |
| 26 | EE | Jan Chomicki,
Dina Q. Goldin,
Gabriel M. Kuper,
David Toman:
Variable Independence in Constraint Databases.
IEEE Trans. Knowl. Data Eng. 15(6): 1422-1436 (2003) |
| 2002 |
|---|
| 25 | EE | David Toman:
Logical Data Expiration.
TIME 2002: 66- |
| 2001 |
|---|
| 24 | EE | David Toman,
Grant E. Weddell:
Query Processing in Embedded Control Programs.
Databases in Telecommunications 2001: 68-87 |
| 23 | EE | David Toman,
Grant E. Weddell:
On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem.
Description Logics 2001 |
| 22 | EE | Vitaliy L. Khizder,
David Toman,
Grant E. Weddell:
On Decidability and Complexity of Description Logics with Uniqueness Constraints.
ICDT 2001: 54-67 |
| 21 | EE | David Toman:
Expiration of Historical Databases.
TIME 2001: 128-135 |
| 20 | EE | Ivan T. Bowman,
David Toman:
Optimizing Temporal Queries: Efficient Handling of Duplicates.
TIME 2001: 93-100 |
| 19 | EE | Jan Chomicki,
David Toman,
Michael H. Böhlen:
Querying ATSQL databases with temporal logic.
ACM Trans. Database Syst. 26(2): 145-178 (2001) |
| 2000 |
|---|
| 18 | EE | Vitaliy L. Khizder,
David Toman,
Grant E. Weddell:
Reasoning about Duplicate Elimination with Description Logic.
Computational Logic 2000: 1017-1032 |
| 17 | | David Toman:
SQL/TP: A Temporal Extension of SQL.
Constraint Databases 2000: 391-399 |
| 16 | EE | Vitaliy L. Khizder,
David Toman,
Grant E. Weddell:
On Decidability and Complexity of Description Logics with Uniqueness Constraints.
Description Logics 2000: 193-202 |
| 1998 |
|---|
| 15 | EE | Jan Chomicki,
David Toman:
Temporal Logic in Information Systems.
Logics for Databases and Information Systems 1998: 31-70 |
| 14 | | David Toman,
Jan Chomicki:
Datalog with Integer Periodicity Constraints.
J. Log. Program. 35(3): 263-290 (1998) |
| 1997 |
|---|
| 13 | | David Toman:
Constraint Databases and Program Analysis Using Abstract Interpretation.
CDB 1997: 246-262 |
| 12 | | David Toman:
Computing the Well-Founded Semantics for Constraint Extensions of Datalog.
CDB 1997: 64-79 |
| 11 | | David Toman:
Point-Based Temporal Extension of Temporal SQL.
DOOD 1997: 103-121 |
| 10 | EE | David Toman:
Point-Based Temporal Extensions of SQL and Their Efficient Implementation.
Temporal Databases, Dagstuhl 1997: 211-237 |
| 9 | | David Toman:
Memoing Evaluation for Constraint Extensions of Datalog.
Constraints 2(3/4): 337-359 (1997) |
| 1996 |
|---|
| 8 | EE | David Toman,
Damian Niwinski:
First-Order Queries over Temporal Databases Inexpressible in Temporal Logic.
EDBT 1996: 307-324 |
| 7 | EE | Michael H. Böhlen,
Jan Chomicki,
Richard T. Snodgrass,
David Toman:
Querying TSQL2 Databases with Temporal Logic.
EDBT 1996: 325-341 |
| 6 | EE | David Toman:
Point vs. Interval-based Query Languages for Temporal Databases.
PODS 1996: 58-67 |
| 1995 |
|---|
| 5 | | David Toman:
Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog.
ILPS 1995: 98-112 |
| 4 | EE | Jan Chomicki,
David Toman:
Implementing Temporal Integrity Constraints Using an Active DBMS.
IEEE Trans. Knowl. Data Eng. 7(4): 566-582 (1995) |
| 1994 |
|---|
| 3 | | David Toman,
Jan Chomicki:
Implementing Temporal Integrity Constraints Using an Active DBMS.
RIDE-ADS 1994: 87-95 |
| 2 | | David Toman,
Jan Chomicki,
David S. Rogers:
Datalog with Integer Periodicity Constraints.
SLP 1994: 189-203 |
| 1991 |
|---|
| 1 | | Ludek Matyska,
Adriana Jergová,
David Toman:
Register Allocation in WAM.
ICLP 1991: 142-156 |
