| |
 |      |
                                |
Note: Links lead to the DBLP on the Web. Wolfgang May 19 Wolfgang May: An Integrated Architecture for Exploring, Wrapping, Mediating and Restructuring Information from the Web. Australasian Database Conference 2000 : 82-89 18 Wolfgang May: Handling XML with a Deductive Database System. GI-Workshop Internet-Datenbanken 2000 : 31-45 17 Wolfgang May: Modeling and Querying Structure and Contents of the Web. DEXA Workshop 1999 : 721-725 16 Wolfgang May, Rainer Himmeröder , Georg Lausen , Bertram Ludäscher : A Unified Framework for Wrapping, Mediating and Restructuring Information from the Web. ER Workshops 1999 : 307-320 15 Wolfgang May: A Tableau Calculus for a Temporal Logic with Temporal Connectives. TABLEAUX 1999 : 232-246 14 Rainer Himmeröder , Paul-Thomas Kandzia , Bertram Ludäscher , Wolfgang May, Georg Lausen : Search, Analysis, and Integration of Web Documents: A Case Study with FLORID. DDLP 1998 : 47-58 13 Bertram Ludäscher , Wolfgang May: Referential Actions: From Logical Semantics to Implementation. EDBT 1998 : 404-418 12 Georg Lausen , Bertram Ludäscher , Wolfgang May: On Logical Foundations of Active Databases. Logics for Databases and Information Systems 1998 : 389-422 11 Georg Lausen , Bertram Ludäscher , Wolfgang May: On Active Deductive Databases: The Statelog Approach. Transactions and Change in Logic Databases 1998 : 69-106 10 Bertram Ludäscher , Rainer Himmeröder , Georg Lausen , Wolfgang May, Christian Schlepphorst : Managing Semistructured Data with FLORID: A Deductive Object-Oriented Perspective. Information Systems 23 (8): 589-613 (1998) 9 Wolfgang May, Bertram Ludäscher , Georg Lausen : Well-Founded Semantics for Deductive Object-Oriented Database Languages. DOOD 1997 : 320-336 8 Wolfgang May: Process Modeling with Different Qualities of Knowledge. ECSQARU-FAPR 1997 : 436-450 7 Bertram Ludäscher , Wolfgang May, Georg Lausen : Referential Actions as Logic Rules. PODS 1997 : 217-227 6 Wolfgang May, Christian Schlepphorst , Georg Lausen : Integrating Dynamic Aspects into Deductive Object-Oriented Databases. Rules in Database Systems 1997 : 20-34 5 Wolfgang May: Proving Correctness of Labled Transition Systems by Semantic Tableaux. TABLEAUX 1997 : 261-275 4 Wolfgang May: Specifying Complex and Structured Systems with Evolving Algebras. TAPSOFT 1997 : 535-549 3 Wolfgang May, Peter H. Schmitt : A Tableau Calculus for First-Order Branching Time Logic. FAPR 1996 : 399-413 2 Bertram Ludäscher , Wolfgang May, Joachim Reinert : Towards a Logical Semantics for Referential Actions in SQL. FMLDO 1996 : 57-72 1 Bertram Ludäscher , Wolfgang May, Georg Lausen : Nested Transactions in a Logical Language for Active Rules. Logic in Databases 1996 : 197-222 DiSC'01 Copyright ©2002 ACM Inc. |
