Skip to content

Rainer Manthey

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

21

Venues

13

Active years

1986–2015

Best venue rank

A*

Where they publish

Papers

21 indexed papers, newest first.

YearVenueTitleAuthors
2015SOFSEMBack to the Future - Should SQL Surrender to SPARQL?Rainer Manthey
2014WEBISTA Flexible System for a Comprehensive Analysis of Bibliographical Data.Sahar Vahdati, Andreas Behrend, Gereon Schller, Rainer Manthey
2009ADBISSQL Triggers Reacting on Time Events: An Extension Proposal.Andreas Behrend, Christian Dorau, Rainer Manthey
2009ADBISDetecting Moving Objects in Noisy Radar Data Using a Relational Database.Andreas Behrend, Rainer Manthey, Gereon Schller, Monika Wieneke
2009BTWTinTO: A Tool for View-Based Analysis of Stock Market Data Streams.Andreas Behrend, Christian Dorau, Rainer Manthey
2008ADBISData Stream Analysis for Location-Aware Collaborative Information Retrieval.Andreas Behrend, Frank Reichartz, Christian Dorau, Rainer Manthey
2008IDEASIncremental view-based analysis of stock market data streams.Andreas Behrend, Christian Dorau, Rainer Manthey, Gereon Schller
2007DASFAATinTO: A Tool for the View-Based Analysis of Streams of Stock Market Data.Andreas Behrend, Christian Dorau, Rainer Manthey
2004ADBISUpdate Propagation in Deductive Databases Using Soft Stratification.Andreas Behrend, Rainer Manthey
2001BTWAn Amateur's Introduction to Constraints and Integrity Checking in SQL3.Andreas Behrend, Rainer Manthey, Birgit Pieper
1997ADBISTools for Chimera: An Environment for Designing and Prototyping Advanced Applications in an Active DOOD Model.Ulrike Griefahn, Thomas Lemke, Rainer Manthey
1994ADBISPanel: Object Models and Beyond.Wolfgang Klas, Johann Eder, Leonid A. Kalinichenko, Sergei D. Kuznetsov, Rainer Manthey
1994ADBISActive and Passive Rules in Database Systems: How Do They Relate? (Invited Paper).Rainer Manthey
1992LPARThe EKS-V1 System.Laurent Vieille, Petra Bayer, Volker Kchenhoff, Alexandre Lefebvre, Rainer Manthey
1991LPARIntegrity Verification in Knowledge Bases.Franois Bry, Rainer Manthey, Bern Martens
1989WICan We Reach a Uniform Paradigm for Deductive Query Evaluation?Rainer Manthey, Herv Gallaire, Jean-Marie Nicolas
1988CADESATCHMO: A Theorem Prover Implemented in Prolog.Rainer Manthey, Franois Bry
1988EDBTA Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases.Franois Bry, Hendrik Decker, Rainer Manthey
1987CSLProving Finite Satisfiability of Deductive Databases.Franois Bry, Rainer Manthey
1987KIA Hyperresolution-Based Proof Procedure and its Implementation in Prolog.Rainer Manthey, Franois Bry
1986VLDBChecking Consistency of Database Constraints: a Logical Basis.Franois Bry, Rainer Manthey