Rainer Manthey

49 papers A* 1A 1B 5C 8Misc 2Journal 2Unranked 26

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Analysing the evolution of computer science events leveraging a scholarly knowledge graph: a scientometrics study of top-ranked events in the past decade. Scientometrics Arthur Lackner, Said Fathalla, Mojtaba Nayyeri, Andreas Behrend, Rainer Manthey, Sören Auer, Jens Lehmann, Sahar Vahdati
2018	—	`conf`	"Grundlagen von Datenbanken" - A 30 years review (nearly). Grundlagen von Datenbanken Rainer Manthey
2015	B	`conf`	Back to the Future - Should SQL Surrender to SPARQL? SOFSEM Rainer Manthey
2014	—	`conf`	A Flexible System for a Comprehensive Analysis of Bibliographical Data. WEBIST (1) Sahar Vahdati, Andreas Behrend, Gereon Schüller, Rainer Manthey
2010	—	`conf`	AIMS: an SQL-based system for airspace monitoring. GIS-IWGS Gereon Schüller, Andreas Behrend, Rainer Manthey
2009	C	`conf`	Detecting Moving Objects in Noisy Radar Data Using a Relational Database. ADBIS Andreas Behrend, Rainer Manthey, Gereon Schüller, Monika Wieneke
2009	C	`conf`	SQL Triggers Reacting on Time Events: An Extension Proposal. ADBIS Andreas Behrend, Christian Dorau, Rainer Manthey
2009	Misc	`conf`	TinTO: A Tool for View-Based Analysis of Stock Market Data Streams. BTW Andreas Behrend, Christian Dorau, Rainer Manthey
2008	—	`conf`	A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases. FoIKS Andreas Behrend, Rainer Manthey
2008	—	`conf`	Data Stream Analysis for Location-Aware Collaborative Information Retrieval. ADBIS (local proceedings) Andreas Behrend, Frank Reichartz, Christian Dorau, Rainer Manthey
2008	C	`conf`	Incremental view-based analysis of stock market data streams. IDEAS Andreas Behrend, Christian Dorau, Rainer Manthey, Gereon Schüller
2007	B	`conf`	TinTO: A Tool for the View-Based Analysis of Streams of Stock Market Data. DASFAA Andreas Behrend, Christian Dorau, Rainer Manthey
2005	—	`ed.`	35. Jahrestagung der Gesellschaft für Informatik, Informatik LIVE!, INFORMATIK 2005, Bonn, Germany, September 19-22, 2005, Band 1 GI Jahrestagung (1) Armin B. Cremers, Rainer Manthey, Peter Martini, Volker Steinhage
2005	—	`ed.`	35. Jahrestagung der Gesellschaft für Informatik, Informatik LIVE!, INFORMATIK 2005, Bonn, Germany, September 19-22, 2005, Band 2 GI Jahrestagung (2) Armin B. Cremers, Rainer Manthey, Peter Martini, Volker Steinhage
2004	C	`conf`	Update Propagation in Deductive Databases Using Soft Stratification. ADBIS Andreas Behrend, Rainer Manthey
2003	C	`ed.`	Advances in Databases and Information Systems, 7th East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, 2003, Proceedings ADBIS Leonid A. Kalinichenko, Rainer Manthey, Bernhard Thalheim, Uwe Wloka
2001	Misc	`conf`	An Amateur's Introduction to Constraints and Integrity Checking in SQL3. BTW Andreas Behrend, Rainer Manthey, Birgit Pieper
1998	—	`conf`	Schach-Datenbanken - eine interessante Anwendung regelbasierter DB-Techniken? Grundlagen von Datenbanken Rainer Manthey
1997	C	`conf`	Tools for Chimera: An Environment for Designing and Prototyping Advanced Applications in an Active DOOD Model. ADBIS Ulrike Griefahn, Thomas Lemke, Rainer Manthey
1996	J	`jnl`	Deduktive Datenbanken. Künstliche Intell. François Bry, Rainer Manthey, Heribert Schütz
1995	—	`conf`	Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser. WLP François Bry, Rainer Manthey
1994	C	`conf`	Active and Passive Rules in Database Systems: How Do They Relate? (Invited Paper). ADBIS Rainer Manthey
1994	—	`conf`	Chimera: A Model and Language for Active DOOD Systems. East/West Database Workshop Stefano Ceri, Rainer Manthey
1994	C	`conf`	Panel: Object Models and Beyond. ADBIS Wolfgang Klas, Johann Eder, Leonid A. Kalinichenko, Sergei D. Kuznetsov, Rainer Manthey
1994	—	`conf`	Reflections on Some Fundamental Issues of Rule-based Incremental Update Propagation. DAISD Rainer Manthey
1994	—	`conf`	Update Propagation in Chimera, an Active DOOD Language. DAISD Ulrike Griefahn, Rainer Manthey
1993	—	`conf`	Beyond Data Dictionaries: Towards a Reflective Architecture of Intelligent Database Systems. DOOD Rainer Manthey
1993	—	`conf`	PROLOG + Datenbanken = deduktive Datenbanken? WLP Rainer Manthey
1992	—	`ed.`	Kurzfassungen des 4. GI-Workshops "Grundlagen von Datenbanken", GvD 1992, Barsinghausen, Germany, 9.-12.6.1992 GvDB Udo W. Lipeck, Rainer Manthey
1992	B	`conf`	The EKS-V1 System. LPAR Laurent Vieille, Petra Bayer, Volker Küchenhoff, Alexandre Lefebvre, Rainer Manthey
1992	—	`conf`	Update-driven Inference in Deductive Databases. CNKBS Rainer Manthey
1991	—	`conf`	Integrity Verification in Knowledge Bases. RCLP François Bry, Rainer Manthey, Bern Martens
1991	—	`conf`	Towards a Unified View of Query- and Update-driven Inference in Deductive Databases. DAISD Rainer Manthey
1990	—	`conf`	Declarative Languages - Paradigm of the Past or Challenge of the Future? East/West Database Workshop Rainer Manthey
1990	—	`conf`	Integrity and Recursion: Two Key Issues for Deductive Databases. IS/KI Rainer Manthey
1990	—	`conf`	Relationship between Static and Dynamic Integrity Constraints (Working Group). FMLDO Gunter Saake, Rainer Manthey
1990	—	`conf`	Satisfiability of Integrity Constraints: Reflections on a Neglected Problem. FMLDO Rainer Manthey
1990	—	`conf`	Zur Integration deduktiver und objektorientierter Konzepte in KBL. Grundlagen von Datenbanken Rainer Manthey
1989	—	`conf`	Can We Reach a Uniform Paradigm for Deductive Query Evaluation? Wissensbasierte Systeme Rainer Manthey, Hervé Gallaire, Jean-Marie Nicolas
1989	—	`conf`	Einige Informationen über Profil und Forschungsprogramm der ECRC Knowledge Base Group. Grundlagen von Datenbanken Rainer Manthey
1989	—	`conf`	Methoden zur Spezialisierung von Integritätsbedingungen in deduktiven Datenbanken. Grundlagen von Datenbanken Rainer Manthey
1988	B	`conf`	A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. EDBT François Bry, Hendrik Decker, Rainer Manthey
1988	—	`conf`	Mapping Object-Oriented Concepts into Relational Concepts by Meta-Compilation in a Logic programming Environment. OODBS Johann Christoph Freytag, Rainer Manthey, Mark Wallace
1988	A	`conf`	SATCHMO: A Theorem Prover Implemented in Prolog. CADE Rainer Manthey, François Bry
1987	—	`conf`	A Hyperresolution-Based Proof Procedure and its Implementation in Prolog. GWAI Rainer Manthey, François Bry
1987	B	`conf`	Proving Finite Satisfiability of Deductive Databases. CSL François Bry, Rainer Manthey
1986	A*	`conf`	Checking Consistency of Database Constraints: a Logical Basis. VLDB François Bry, Rainer Manthey
1986	—	`conf`	Sur la validité des schémas de bases de données. BDA François Bry, Rainer Manthey
1983	—	`—`	Eine formale Anfragesprache für Entity-Relationship-Datenbanken aus Sätzen der englischen Sprache. Rainer Manthey