Homepage of Institut für Informatik, Universität Freiburg

Publications by Wolfgang May

• Diploma-thesis Protokollverifikation in Temporallogik: Evolving Algebras und ein Tableaukalkül (in german).

• Case study Alternating-Bit-Protokoll (in german).

• A Tableau Calculus For First-Order Branching Time Logic, Wolfgang May, Peter H. Schmitt, International Conference on Formal and Applied Practical Reasoning (FAPR'96), Bonn, Germany, 1996, Springer LNCS 1085, pp. 399-413.

• Nested Transactions in a Logical Language for Active Rules, Bertram Ludäscher, Wolfgang May, Georg Lausen, Proc. Intl. Workshop on Logic in Databases (LID'96), San Miniato, Italy, 1996, Springer LNCS 1154, pp. 197-222.

• Towards a Logical Semantics for Referential Actions in SQL, Bertram Ludäscher, Wolfgang May, Joachim Reinert, Proc. 6th Intl. Workshop on Foundations of Models and Languages for Data and Objects: Integrity in Databases, Dagstuhl, Germany, 1996.

• Specifying Complex and Structured Systems with Evolving Algebras, Wolfgang May, International Joint Conference on Theory and Practice of Software Development (TAPSOFT'97), April 14-18, 1997, Lille, France, Springer LNCS 1214, pp. 535-549.

• Referential Actions as Logic Rules, Bertram Ludäscher, Wolfgang May, Georg Lausen, Proc. of 16th ACM Symposium on Principles of Database Systems (PODS), May 12-14, 1997, Tucson, Arizona, pp. 217-224.

• Proving Correctness of Labeled Transition Systems by Semantic Tableaux, Wolfgang May, Automated Reasoning with Analytic Tableaux and Related Methods, (TABLEAUX'97), May 13-16, 1997, Pont-à-Mousson, France, Springer LNCS 1227, pp. 261-275.

• Process Modeling with Different Qualities of Knowledge, Wolfgang May, International Joint Conference on Qualitative and Quantitative Practical Reasoning, (ECSQARU-FAPR'97) June 9-12, 1997, Bonn, Germany, Springer LNCS 1244, pp. 436-450.

• Integrating Dynamic Aspects into Deductive Object-Oriented Databases, Wolfgang May, Christian Schlepphorst, Georg Lausen, RIDS'97 (3rd International Workshop on Rules in Database Systems), June 26-28, 1997, Skövde, Sweden, Springer LNCS 1312, pp. 20-34.

• Well-Founded Semantics for Deductive Object-Oriented Database Languages, Wolfgang May, Bertram Ludäscher, Georg Lausen, DOOD'97 (5th International Conference on Deductive and Object-Oriented Databases), December 8-12, 1997, Montreux, Switzerland, Springer LNCS 1341, pp. 320-336.

• On Logical Foundations of Active Databases. Georg Lausen, Bertram Ludäscher, and Wolfgang May. In Logics for Databases and Information Systems, Jan Chomicki and Gunter Saake, editors. Kluwer Academic Publishers, 1998. ISBN 0-7923-8129-7.

• Referential Actions: From Logical Semantics to Implementation, Bertram Ludäscher, Wolfgang May, EDBT'98 (6th Intl. Conference on Extending Database Technology), Valencia, Spain, 23-27 March, 1998. Springer LNCS 1377, pp. 404-418.

• On Active Deductive Databases: The Statelog Approach, Georg Lausen, Bertram Ludäscher, and Wolfgang May. In Transactions and Change in Logic Databases, Hendrik Decker, Burkhard Freitag, Michael Kifer, and Andrei Voronkov, editors. Springer LNCS 1472, 1998.

• Search, Analysis, and Integration of Web Documents: A Case Study with FLORID, Rainer Himmeröder, Paul-Thomas Kandzia, Bertram Ludäscher, Wolfgang May, Georg Lausen. Proc. Intl. Workshop on Deductive Databases and Logic Programming (DDLP'98), Manchester, UK, 1998.

• Techniques and Rule Patterns for Declaratively Querying Web Data with FLORID, Bertram Ludäscher, Rainer Himmeröder, Wolfgang May. In Workshop Deklarative KI-Methoden zur Implementierung und Nutzung von Systemen in Netzen, KI-98, Bremen, Sept. 16, 1998.
• Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages, Wolfgang May, Paul-Thomas Kandzia. In 13. Workshop logische Programmierung (WLP'98), Vienna, Oct. 6-8, 1998.

Back to my homepage ,

Wolfgang May