David Toman Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman: Data Expiration and Aggregate Queries. AMW 2009
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetr Fiser, David Toman: A Fast SOP Minimizer for Logic Funcions Described by Many Product Terms. DSD 2009: 757-764
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev: Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Description Logics 2009
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu: Concept Projection in Algebras for Computing Certain Answer Descriptions. Description Logics 2009
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, David Toman, Frank Wolter: Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. IJCAI 2009: 2070-2075
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman, Grant E. Weddell: Applications and Extensions of PTIME Description Logics with Functional Constraints. IJCAI 2009: 948-954
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Chomicki, David Toman: Abstract Versus Concrete Temporal Query Languages. Encyclopedia of Database Systems 2009: 1-6
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman: Point-Stamped Temporal Models. Encyclopedia of Database Systems 2009: 2119-2123
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Chomicki, David Toman: Temporal Logic in Database Query Languages. Encyclopedia of Database Systems 2009: 2987-2991
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Chomicki, David Toman: Temporal Relational Calculus. Encyclopedia of Database Systems 2009: 3015-3016
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn F. Roddick, David Toman: Temporal Vacuuming. Encyclopedia of Database Systems 2009: 3023-3027
2008
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Artale, David Toman: Decidable Reasoning over Timestamped Conceptual Models. Description Logics 2008
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman, Grant E. Weddell: Identifying Objects Over Time with Description Logics. Description Logics 2008
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell: On Ordering and Indexing Metadata for the Semantic Web. Description Logics 2008
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman, Grant E. Weddell: Identifying Objects Over Time with Description Logics. KR 2008: 724-732
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, David Toman, Frank Wolter: Conjunctive Query Answering in EL using a Database System. OWLED 2008
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Artale, David Toman: Decidable Reasoning over Timestamped Conceptual Models. SEBD 2008: 168-178
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLukasz Golab, Theodore Johnson, Nick Koudas, Divesh Srivastava, David Toman: Optimizing away joins on data streams. SSPS 2008: 48-57
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman, Grant E. Weddell: On Keys and Functional Dependencies as First-Class Citizens in Description Logics. J. Autom. Reasoning 40(2-3): 117-132 (2008)
2007
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGulay Ünel, David Toman: An Incremental Technique for Automata-Based Decision Procedures. CADE 2007: 100-115
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVitaliy L. Khizder, David Toman, Grant E. Weddell: Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements. Description Logics 2007
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell: On Ordering Descriptions in a Description Logic. Description Logics 2007
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman, Grant E. Weddell: On Order Dependencies for the Semantic Web. ER 2007: 293-306
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGulay Ünel, David Toman: Logic Programming Approach to Automata-Based Decision Procedures. ICLP 2007: 165-179
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Artale, Carsten Lutz, David Toman: A Description Logic of Change. IJCAI 2007: 218-223
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman: On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries. TIME 2007: 150-162
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Chomicki, David Toman: Special Issue: TIME 2005. Inf. Comput. 205(1): 1 (2007)
2006
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBijan 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
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Artale, Carsten Lutz, David Toman: A Description Logic of Change. Description Logics 2006
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman, Grant E. Weddell: On Keys and Functional Dependencies as First-Class Citizens in Description Logics. IJCAR 2006: 647-661
2005
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman, Grant E. Weddell: On Path-functional Dependencies as First-class Citizens in Description Logics. Description Logics 2005
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman, Grant E. Weddell: On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics. IJCAI 2005: 603-608
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSihem Amer-Yahia, Nick Koudas, Amélie Marian, Divesh Srivastava, David Toman: Structure and Content Scoring for XML. VLDB 2005: 361-372
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman, Grant E. Weddell: On reasoning about structural equality in XML: a description logic approach. Theor. Comput. Sci. 336(1): 181-203 (2005)
2004
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman, Grant E. Weddell: Attribute Inversion in Description Logic with Path Functional Dependencies . Description Logics 2004
2003
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Franconi, David Toman: Fixpoint Extensions of Temporal Description Logics. Description Logics 2003
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid DeHaan, David Toman, Grant E. Weddell: Rewriting Aggregate Queries using Description Logic. Description Logics 2003
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman, Grant E. Weddell: On Reasoning about Structural Equality in XML: A Description Logic Approach. ICDT 2003: 96-110
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman: Logical Data Expiration. Logics for Emerging Applications of Databases 2003: 203-238
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid DeHaan, David Toman, Mariano P. Consens, M. Tamer Özsu: A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding. SIGMOD Conference 2003: 623-634
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman: Logical Data Expiration for Fixpoint Extensions of Temporal Logics. SSTD 2003: 380-393
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman: On Incompleteness of Multi-dimensional First-order Temporal Logics. TIME 2003: 99-106
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan T. Bowman, David Toman: Optimizing temporal queries: efficient handling of duplicates. Data Knowl. Eng. 44(2): 143-164 (2003)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman: Logical Data Expiration. TIME 2002: 66-
2001
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman, Grant E. Weddell: Query Processing in Embedded Control Programs. Databases in Telecommunications 2001: 68-87
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman, Grant E. Weddell: On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem. Description Logics 2001
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVitaliy L. Khizder, David Toman, Grant E. Weddell: On Decidability and Complexity of Description Logics with Uniqueness Constraints. ICDT 2001: 54-67
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman: Expiration of Historical Databases. TIME 2001: 128-135
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan T. Bowman, David Toman: Optimizing Temporal Queries: Efficient Handling of Duplicates. TIME 2001: 93-100
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Chomicki, David Toman, Michael H. Böhlen: Querying ATSQL databases with temporal logic. ACM Trans. Database Syst. 26(2): 145-178 (2001)
2000
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVitaliy L. Khizder, David Toman, Grant E. Weddell: Reasoning about Duplicate Elimination with Description Logic. Computational Logic 2000: 1017-1032
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman: SQL/TP: A Temporal Extension of SQL. Constraint Databases 2000: 391-399
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVitaliy L. Khizder, David Toman, Grant E. Weddell: On Decidability and Complexity of Description Logics with Uniqueness Constraints. Description Logics 2000: 193-202
1998
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Chomicki, David Toman: Temporal Logic in Information Systems. Logics for Databases and Information Systems 1998: 31-70
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman, Jan Chomicki: Datalog with Integer Periodicity Constraints. J. Log. Program. 35(3): 263-290 (1998)
1997
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman: Constraint Databases and Program Analysis Using Abstract Interpretation. CDB 1997: 246-262
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman: Computing the Well-Founded Semantics for Constraint Extensions of Datalog. CDB 1997: 64-79
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman: Point-Based Temporal Extension of Temporal SQL. DOOD 1997: 103-121
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman: Point-Based Temporal Extensions of SQL and Their Efficient Implementation. Temporal Databases, Dagstuhl 1997: 211-237
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman: Memoing Evaluation for Constraint Extensions of Datalog. Constraints 2(3/4): 337-359 (1997)
1996
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman, Damian Niwinski: First-Order Queries over Temporal Databases Inexpressible in Temporal Logic. EDBT 1996: 307-324
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael H. Böhlen, Jan Chomicki, Richard T. Snodgrass, David Toman: Querying TSQL2 Databases with Temporal Logic. EDBT 1996: 325-341
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman: Point vs. Interval-based Query Languages for Temporal Databases. PODS 1996: 58-67
1995
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman: Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog. ILPS 1995: 98-112
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Chomicki, David Toman: Implementing Temporal Integrity Constraints Using an Active DBMS. IEEE Trans. Knowl. Data Eng. 7(4): 566-582 (1995)
1994
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman, Jan Chomicki: Implementing Temporal Integrity Constraints Using an Active DBMS. RIDE-ADS 1994: 87-95
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Toman, Jan Chomicki, David S. Rogers: Datalog with Integer Periodicity Constraints. SLP 1994: 189-203
1991
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLudek Matyska, Adriana Jergová, David Toman: Register Allocation in WAM. ICLP 1991: 142-156

Coauthor Index

1Sihem Amer-Yahia [37]
2Alessandro Artale [41] [45] [53] [58]
3Michael H. Böhlen [7] [19]
4Ivan T. Bowman [20] [27]
5Jan Chomicki [2] [3] [4] [7] [14] [15] [19] [26] [43] [60] [61] [63]
6Mariano P. Consens [30]
7David DeHaan [30] [33]
8Petr Fiser [68]
9Enrico Franconi [34]
10Lukasz Golab [52]
11Dina Q. Goldin [26]
12Adriana Jergová [1]
13Theodore Johnson (Ted Johnson) [52]
14Vitaliy L. Khizder [16] [18] [22] [49]
15Roman Kontchakov [67]
16Nick Koudas [37] [52]
17Gabriel M. Kuper [26]
18Carsten Lutz [41] [45] [54] [65] [67]
19Amélie Marian [37]
20Ludek Matyska [1]
21Damian Niwinski [8]
22M. Tamer Özsu [30]
23Bijan Parsia [42]
24Jeffrey Pound [48] [56] [66]
25John F. Roddick [59]
26David S. Rogers [2]
27Ulrike Sattler [42]
28Richard T. Snodgrass [7]
29Divesh Srivastava [37] [52]
30Lubomir Stanchev [48] [56]
31Gulay Ünel [46] [50]
32Grant E. Weddell [16] [18] [22] [23] [24] [32] [33] [35] [36] [38] [39] [40] [47] [48] [49] [51] [55] [56] [57] [64] [66]
33Frank Wolter [54] [65] [67]
34Jiewen Wu [66]
35Michael Zakharyaschev [67]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)