default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Rainer Manthey
@article{DBLP:journals/scientometrics/LacknerFNBMALV21,
author = {Arthur Lackner and
Said Fathalla and
Mojtaba Nayyeri and
Andreas Behrend and
Rainer Manthey and
S{\"{o}}ren Auer and
Jens Lehmann and
Sahar Vahdati},
title = {Analysing the evolution of computer science events leveraging a scholarly
knowledge graph: a scientometrics study of top-ranked events in the
past decade},
journal = {Scientometrics},
volume = {126},
number = {9},
pages = {8129--8151},
year = {2021},
url = {https://doi.org/10.1007/s11192-021-04072-0},
doi = {10.1007/S11192-021-04072-0},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scientometrics/LacknerFNBMALV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gvd/Manthey18,
author = {Rainer Manthey},
editor = {Gerhard Klassen and
Stefan Conrad},
title = {"Grundlagen von Datenbanken" - {A} 30 years review (nearly)},
booktitle = {Proceedings of the 30th GI-Workshop Grundlagen von Datenbanken, Wuppertal,
Germany, May 22-25, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2126},
pages = {7},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2126/keynote1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:47 +0100},
biburl = {https://dblp.org/rec/conf/gvd/Manthey18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Manthey15,
author = {Rainer Manthey},
editor = {Giuseppe F. Italiano and
Tiziana Margaria{-}Steffen and
Jaroslav Pokorn{\'{y}} and
Jean{-}Jacques Quisquater and
Roger Wattenhofer},
title = {Back to the Future - Should {SQL} Surrender to SPARQL?},
booktitle = {{SOFSEM} 2015: Theory and Practice of Computer Science - 41st International
Conference on Current Trends in Theory and Practice of Computer Science,
Pec pod Sn{\v{e}}{\v{z}}kou, Czech Republic, January 24-29, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8939},
pages = {78--101},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46078-8\_8},
doi = {10.1007/978-3-662-46078-8\_8},
timestamp = {Sun, 02 Jun 2019 21:12:07 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Manthey15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/VahdatiBSM14,
author = {Sahar Vahdati and
Andreas Behrend and
Gereon Sch{\"{u}}ller and
Rainer Manthey},
editor = {Val{\'{e}}rie Monfort and
Karl{-}Heinz Krempels},
title = {A Flexible System for a Comprehensive Analysis of Bibliographical
Data},
booktitle = {{WEBIST} 2014 - Proceedings of the 10th International Conference on
Web Information Systems and Technologies, Volume 1, Barcelona, Spain,
3-5 April, 2014},
pages = {143--151},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004799201430151},
doi = {10.5220/0004799201430151},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/webist/VahdatiBSM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/SchullerBM10,
author = {Gereon Sch{\"{u}}ller and
Andreas Behrend and
Rainer Manthey},
editor = {Mohamed H. Ali and
Erik G. Hoel and
Cyrus Shahabi},
title = {{AIMS:} an SQL-based system for airspace monitoring},
booktitle = {Proceedings of the 2010 {ACM} {SIGSPATIAL} International Workshop
on GeoStreaming, {IWGS} 2010, November 2, 2010, San Jose, CA, {USA}},
pages = {31--38},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1878500.1878508},
doi = {10.1145/1878500.1878508},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gis/SchullerBM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/BehrendDM09,
author = {Andreas Behrend and
Christian Dorau and
Rainer Manthey},
editor = {Janis Grundspenkis and
Tadeusz Morzy and
Gottfried Vossen},
title = {{SQL} Triggers Reacting on Time Events: An Extension Proposal},
booktitle = {Advances in Databases and Information Systems, 13th East European
Conference, {ADBIS} 2009, Riga, Latvia, September 7-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5739},
pages = {179--193},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03973-7\_14},
doi = {10.1007/978-3-642-03973-7\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/adbis/BehrendDM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/BehrendMSW09,
author = {Andreas Behrend and
Rainer Manthey and
Gereon Sch{\"{u}}ller and
Monika Wieneke},
editor = {Janis Grundspenkis and
Tadeusz Morzy and
Gottfried Vossen},
title = {Detecting Moving Objects in Noisy Radar Data Using a Relational Database},
booktitle = {Advances in Databases and Information Systems, 13th East European
Conference, {ADBIS} 2009, Riga, Latvia, September 7-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5739},
pages = {286--300},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03973-7\_21},
doi = {10.1007/978-3-642-03973-7\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adbis/BehrendMSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/btw/BehrendDM09,
author = {Andreas Behrend and
Christian Dorau and
Rainer Manthey},
editor = {Johann Christoph Freytag and
Thomas Ruf and
Wolfgang Lehner and
Gottfried Vossen},
title = {TinTO: {A} Tool for View-Based Analysis of Stock Market Data Streams},
booktitle = {Datenbanksysteme in Business, Technologie und Web {(BTW} 2009), 13.
Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme"
(DBIS), Proceedings, 2.-6. M{\"{a}}rz 2009, M{\"{u}}nster,
Germany},
series = {{LNI}},
volume = {{P-144}},
pages = {584--587},
publisher = {{GI}},
year = {2009},
url = {https://dl.gi.de/handle/20.500.12116/20477},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/btw/BehrendDM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/BehrendRDM08,
author = {Andreas Behrend and
Frank Reichartz and
Christian Dorau and
Rainer Manthey},
editor = {Paolo Atzeni and
Albertas Caplinskas and
Hannu Jaakkola},
title = {Data Stream Analysis for Location-Aware Collaborative Information
Retrieval},
booktitle = {Advances in Databases and Information Systems, Proceedings of the
12th East European Conference, {ADBIS} 2008, September 5-9, 2008,
Pori, Finland},
pages = {74--89},
publisher = {Tampere University of Technology. Pori. Publication},
year = {2008},
timestamp = {Wed, 10 Sep 2008 10:50:34 +0200},
biburl = {https://dblp.org/rec/conf/adbis/BehrendRDM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/BehrendM08,
author = {Andreas Behrend and
Rainer Manthey},
editor = {Sven Hartmann and
Gabriele Kern{-}Isberner},
title = {A Transformation-Based Approach to View Updating in Stratifiable Deductive
Databases},
booktitle = {Foundations of Information and Knowledge Systems, 5th International
Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4932},
pages = {253--271},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77684-0\_18},
doi = {10.1007/978-3-540-77684-0\_18},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/foiks/BehrendM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideas/BehrendDMS08,
author = {Andreas Behrend and
Christian Dorau and
Rainer Manthey and
Gereon Sch{\"{u}}ller},
editor = {Jorge Bernardino and
Bipin C. Desai},
title = {Incremental view-based analysis of stock market data streams},
booktitle = {12th International Database Engineering and Applications Symposium
{(IDEAS} 2008), September 10-12, 2008, Coimbra, Portugal},
series = {{ACM} International Conference Proceeding Series},
volume = {299},
pages = {269--275},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1451940.1451978},
doi = {10.1145/1451940.1451978},
timestamp = {Tue, 06 Nov 2018 16:58:58 +0100},
biburl = {https://dblp.org/rec/conf/ideas/BehrendDMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasfaa/BehrendDM07,
author = {Andreas Behrend and
Christian Dorau and
Rainer Manthey},
editor = {Kotagiri Ramamohanarao and
P. Radha Krishna and
Mukesh K. Mohania and
Ekawit Nantajeewarawat},
title = {TinTO: {A} Tool for the View-Based Analysis of Streams of Stock Market
Data},
booktitle = {Advances in Databases: Concepts, Systems and Applications, 12th International
Conference on Database Systems for Advanced Applications, {DASFAA}
2007, Bangkok, Thailand, April 9-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4443},
pages = {1110--1114},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71703-4\_111},
doi = {10.1007/978-3-540-71703-4\_111},
timestamp = {Wed, 26 May 2021 08:40:06 +0200},
biburl = {https://dblp.org/rec/conf/dasfaa/BehrendDM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gi/2005-1,
editor = {Armin B. Cremers and
Rainer Manthey and
Peter Martini and
Volker Steinhage},
title = {35. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
LIVE!, {INFORMATIK} 2005, Bonn, Germany, September 19-22, 2005, Band
1},
series = {{LNI}},
volume = {{P-67}},
publisher = {{GI}},
year = {2005},
url = {https://dl.gi.de/handle/20.500.12116/27972},
isbn = {3-88579-396-2},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gi/2005-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gi/2005-2,
editor = {Armin B. Cremers and
Rainer Manthey and
Peter Martini and
Volker Steinhage},
title = {35. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
LIVE!, {INFORMATIK} 2005, Bonn, Germany, September 19-22, 2005, Band
2},
series = {{LNI}},
volume = {{P-68}},
publisher = {{GI}},
year = {2005},
url = {https://dl.gi.de/handle/20.500.12116/28089},
isbn = {3-88579-397-0},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gi/2005-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/BehrendM04,
author = {Andreas Behrend and
Rainer Manthey},
editor = {Georg Gottlob and
Andr{\'{a}}s A. Bencz{\'{u}}r and
J{\'{a}}nos Demetrovics},
title = {Update Propagation in Deductive Databases Using Soft Stratification},
booktitle = {Advances in Databases and Information Systems, 8th East European Conference,
{ADBIS} 2004, Budapest, Hungary, September 22-25, 2004, Proceeding},
series = {Lecture Notes in Computer Science},
volume = {3255},
pages = {22--36},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30204-9\_2},
doi = {10.1007/978-3-540-30204-9\_2},
timestamp = {Tue, 06 Aug 2019 14:19:32 +0200},
biburl = {https://dblp.org/rec/conf/adbis/BehrendM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adbis/2003,
editor = {Leonid A. Kalinichenko and
Rainer Manthey and
Bernhard Thalheim and
Uwe Wloka},
title = {Advances in Databases and Information Systems, 7th East European Conference,
{ADBIS} 2003, Dresden, Germany, September 3-6, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2798},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b12032},
doi = {10.1007/B12032},
isbn = {3-540-20047-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adbis/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/btw/BehrendMP01,
author = {Andreas Behrend and
Rainer Manthey and
Birgit Pieper},
editor = {Andreas Heuer and
Frank Leymann and
Denny Priebe},
title = {An Amateur's Introduction to Constraints and Integrity Checking in
{SQL3}},
booktitle = {Datenbanksysteme in B{\"{u}}ro, Technik und Wissenschaft (BTW),
9. GI-Fachtagung, Oldenburg, 7.-9. M{\"{a}}rz 2001, Proceedings},
series = {Informatik Aktuell},
pages = {405--423},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/978-3-642-56687-5\_29},
doi = {10.1007/978-3-642-56687-5\_29},
timestamp = {Tue, 25 Jun 2019 12:25:42 +0200},
biburl = {https://dblp.org/rec/conf/btw/BehrendMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gvd/Manthey98,
author = {Rainer Manthey},
editor = {Marc H. Scholl and
Holger Riedel and
Torsten Grust and
Dieter Gluche},
title = {Schach-Datenbanken - eine interessante Anwendung regelbasierter DB-Techniken?},
booktitle = {Kurzfassungen - 10. Workshop "Grundlagen von Datenbanken", Workshop
des GI-Arbeitskreises in Konstanz, 2.6.-5.6.1998},
series = {Konstanzer Schriften in Mathematik und Informatik},
volume = {63},
pages = {87--88},
publisher = {Universit{\"{a}}t Konstanz},
year = {1998},
url = {http://www.inf.uni-konstanz.de/Preprints/papers/1998/preprint-063.pdf},
timestamp = {Tue, 10 Jun 2008 14:41:10 +0200},
biburl = {https://dblp.org/rec/conf/gvd/Manthey98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/GriefahnLM97,
author = {Ulrike Griefahn and
Thomas Lemke and
Rainer Manthey},
title = {Tools for Chimera: An Environment for Designing and Prototyping Advanced
Applications in an Active {DOOD} Model},
booktitle = {Proceedings of the First East-European Symposium on Advances in Databases
and Information Systems (ADBIS'97), St.-Petersburg, Russia, September
2-5, 1997. Volume 1: Regular Papers},
pages = {346--355},
publisher = {Nevsky Dialect},
year = {1997},
timestamp = {Thu, 21 Jun 2018 07:16:24 +0200},
biburl = {https://dblp.org/rec/conf/adbis/GriefahnLM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/BryMS96,
author = {Fran{\c{c}}ois Bry and
Rainer Manthey and
Heribert Sch{\"{u}}tz},
title = {Deduktive Datenbanken},
journal = {K{\"{u}}nstliche Intell.},
volume = {10},
number = {3},
pages = {17--23},
year = {1996},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/BryMS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/BryM95,
author = {Fran{\c{c}}ois Bry and
Rainer Manthey},
editor = {Andreas Krall and
Ulrich Geske},
title = {Variationen {\"{u}}ber ein Thema: Suchstrategien und Datenstrukturen
f{\"{u}}r SATCHMO-Beweiser},
booktitle = {11. Workshop Logische Programmierung, Technische Universit{\"{a}}t
Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270},
pages = {205--216},
year = {1995},
timestamp = {Thu, 21 Mar 2019 11:27:24 +0100},
biburl = {https://dblp.org/rec/conf/wlp/BryM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/Manthey94,
author = {Rainer Manthey},
title = {Active and Passive Rules in Database Systems: How Do They Relate?
(Invited Paper)},
booktitle = {Proceedings of the First International Workshop on Advances in Databases
and Information Systems, Moscow, Russia, May 23 - 26, 1994},
pages = {104--115},
year = {1994},
timestamp = {Wed, 29 Mar 2017 16:45:26 +0200},
biburl = {https://dblp.org/rec/conf/adbis/Manthey94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/KlasEKKM94,
author = {Wolfgang Klas and
Johann Eder and
Leonid A. Kalinichenko and
Sergei D. Kuznetsov and
Rainer Manthey},
title = {Panel: Object Models and Beyond},
booktitle = {Proceedings of the First International Workshop on Advances in Databases
and Information Systems, Moscow, Russia, May 23 - 26, 1994},
pages = {244},
year = {1994},
timestamp = {Thu, 02 Feb 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adbis/KlasEKKM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/daisd/Manthey94,
author = {Rainer Manthey},
editor = {Antoni Oliv{\'{e}}},
title = {Reflections on Some Fundamental Issues of Rule-based Incremental Update
Propagation},
booktitle = {Fith International Workshop on the Deductive Approach to Information
Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
Costa Brava, Catalonia, Proceedings},
series = {Report de recerca},
volume = {{LSI/94-28-R}},
pages = {255--276},
publisher = {Universitat Politecnica de Catalunya {(UPC)}},
year = {1994},
timestamp = {Fri, 26 Jul 2019 12:08:51 +0200},
biburl = {https://dblp.org/rec/conf/daisd/Manthey94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/daisd/GriefahnM94,
author = {Ulrike Griefahn and
Rainer Manthey},
editor = {Antoni Oliv{\'{e}}},
title = {Update Propagation in Chimera, an Active {DOOD} Language},
booktitle = {Fith International Workshop on the Deductive Approach to Information
Systems and Databases, {DAISD} 1994, September 19-21, 1994, Aiguablava,
Costa Brava, Catalonia, Proceedings},
series = {Report de recerca},
volume = {{LSI/94-28-R}},
pages = {277--298},
publisher = {Universitat Politecnica de Catalunya {(UPC)}},
year = {1994},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/daisd/GriefahnM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewdw/CeriM94,
author = {Stefano Ceri and
Rainer Manthey},
editor = {Johann Eder and
Leonid A. Kalinichenko},
title = {Chimera: {A} Model and Language for Active {DOOD} Systems},
booktitle = {East/West Database Workshop, Proceedings of the Second International
East/West Database Workshop, Klagenfurt, Austria, 25-28 September
1994},
series = {Workshops in Computing},
pages = {3--16},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3577-7\_1},
doi = {10.1007/978-1-4471-3577-7\_1},
timestamp = {Mon, 24 Jun 2019 15:47:45 +0200},
biburl = {https://dblp.org/rec/conf/ewdw/CeriM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dood/Manthey93,
author = {Rainer Manthey},
editor = {Stefano Ceri and
Katsumi Tanaka and
Shalom Tsur},
title = {Beyond Data Dictionaries: Towards a Reflective Architecture of Intelligent
Database Systems},
booktitle = {Deductive and Object-Oriented Databases, Third International Conference,
DOOD'93, Phoenix, Arizona, USA, December 6-8, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {760},
pages = {328--339},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57530-8\_22},
doi = {10.1007/3-540-57530-8\_22},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/dood/Manthey93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Manthey93,
author = {Rainer Manthey},
editor = {Christoph Beierle},
title = {{PROLOG} + Datenbanken = deduktive Datenbanken?},
booktitle = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
Hagen, Germany, Informatik-Bericht 146},
pages = {6},
year = {1993},
timestamp = {Thu, 21 Mar 2019 11:19:43 +0100},
biburl = {https://dblp.org/rec/conf/wlp/Manthey93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnkbs/Manthey92,
author = {Rainer Manthey},
editor = {G{\'{e}}rard Comyn and
Matthias Jarke and
Suryanarayana M. Sripada},
title = {Update-driven Inference in Deductive Databases},
booktitle = {CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge
Bases, Munich, Germany, 6-7 February 1992},
volume = {{ECRC-92-2}},
pages = {1--5},
publisher = {European Computer-Industry Research Centre, Munich},
year = {1992},
timestamp = {Tue, 30 May 2006 14:18:38 +0200},
biburl = {https://dblp.org/rec/conf/cnkbs/Manthey92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/VieilleBKLM92,
author = {Laurent Vieille and
Petra Bayer and
Volker K{\"{u}}chenhoff and
Alexandre Lefebvre and
Rainer Manthey},
editor = {Andrei Voronkov},
title = {The {EKS-V1} System},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {504--506},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013102},
doi = {10.1007/BFB0013102},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/VieilleBKLM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gvd/1992,
editor = {Udo W. Lipeck and
Rainer Manthey},
title = {Kurzfassungen des 4. GI-Workshops "Grundlagen von Datenbanken",
GvD 1992, Barsinghausen, Germany, 9.-12.6.1992},
volume = {{TR} {ECRC-92-13}},
year = {1992},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gvd/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/daisd/Manthey91,
author = {Rainer Manthey},
editor = {Antoni Oliv{\'{e}}},
title = {Towards a Unified View of Query- and Update-driven Inference in Deductive
Databases},
booktitle = {Second International Workshop on the Deductive Approach to Information
Systems and Databases, {DAISD} 1991, September 9-11, 1991, Aiguablava,
Costa Brava, Catalonia, Proceedings},
series = {Report de recerca},
volume = {{LSI/91-30}},
pages = {220--224},
publisher = {Universitat Politecnica de Catalunya {(UPC)}},
year = {1991},
timestamp = {Fri, 26 Jul 2019 12:08:52 +0200},
biburl = {https://dblp.org/rec/conf/daisd/Manthey91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BryMM91,
author = {Fran{\c{c}}ois Bry and
Rainer Manthey and
Bern Martens},
editor = {Andrei Voronkov},
title = {Integrity Verification in Knowledge Bases},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {114--139},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_9},
doi = {10.1007/3-540-55460-2\_9},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BryMM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewdw/Manthey90,
author = {Rainer Manthey},
editor = {Joachim W. Schmidt and
Anatoly A. Stogny},
title = {Declarative Languages - Paradigm of the Past or Challenge of the Future?},
booktitle = {Next Generation Information System Technology, First Interational
East/West Data Base Workshop, Kiev, USSR, October 9-12, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {504},
pages = {1--16},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54141-1\_1},
doi = {10.1007/3-540-54141-1\_1},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/ewdw/Manthey90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmldo/Manthey90,
author = {Rainer Manthey},
editor = {Jutta G{\"{o}}ers and
Andreas Heuer},
title = {Satisfiability of Integrity Constraints: Reflections on a Neglected
Problem},
booktitle = {Second Workshop on Foundations of Models and Languages for Data and
Objects, Aigen, Austria, 24.-28. September 1990},
series = {Informatik-Berichte des IfI},
volume = {90/3},
pages = {169--179},
publisher = {Technische Universit{\"{a}}t Clausthal},
year = {1990},
timestamp = {Thu, 14 Sep 2017 09:48:21 +0200},
biburl = {https://dblp.org/rec/conf/fmldo/Manthey90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmldo/SaakeM90,
author = {Gunter Saake and
Rainer Manthey},
editor = {Jutta G{\"{o}}ers and
Andreas Heuer},
title = {Relationship between Static and Dynamic Integrity Constraints (Working
Group)},
booktitle = {Second Workshop on Foundations of Models and Languages for Data and
Objects, Aigen, Austria, 24.-28. September 1990},
series = {Informatik-Berichte des IfI},
volume = {90/3},
pages = {213},
publisher = {Technische Universit{\"{a}}t Clausthal},
year = {1990},
timestamp = {Tue, 11 Feb 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmldo/SaakeM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gvd/Manthey90,
author = {Rainer Manthey},
editor = {Udo W. Lipeck and
Stefan Brass and
Gunter Saake},
title = {Zur Integration deduktiver und objektorientierter Konzepte in {KBL}},
booktitle = {Kurzfassungen des 2. Workshops "Grundlagen von Datenbanken", Volkse,
5.-8. Juni 1990},
series = {Informatik-Berichte {TU} Braunschweig},
volume = {Ni. 90-02},
pages = {66--68},
publisher = {{TU} Braunschweig},
year = {1990},
timestamp = {Fri, 26 Jul 2019 14:48:50 +0200},
biburl = {https://dblp.org/rec/conf/gvd/Manthey90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iski/Manthey90,
author = {Rainer Manthey},
editor = {Dimitris Karagiannis},
title = {Integrity and Recursion: Two Key Issues for Deductive Databases},
booktitle = {Information Systems and Artificial Intelligence: Integration Aspects,
First Workshop, Ulm, FRG, March 19-21, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {474},
pages = {104--126},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53557-8\_24},
doi = {10.1007/3-540-53557-8\_24},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/iski/Manthey90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gvd/Manthey89,
author = {Rainer Manthey},
editor = {Hans{-}Dieter Ehrich and
Gregor Engels and
Martin Gogolla and
Gunter Saake},
title = {Methoden zur Spezialisierung von Integrit{\"{a}}tsbedingungen
in deduktiven Datenbanken},
booktitle = {Workshop Grundlagen von Datenbanken, GvD 1989. Technische Universit{\"{a}}t
Braunschweig, Germany},
year = {1989},
timestamp = {Fri, 26 Jul 2019 14:48:53 +0200},
biburl = {https://dblp.org/rec/conf/gvd/Manthey89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gvd/Manthey89a,
author = {Rainer Manthey},
editor = {Hans{-}Dieter Ehrich and
Gregor Engels and
Martin Gogolla and
Gunter Saake},
title = {Einige Informationen {\"{u}}ber Profil und Forschungsprogramm
der {ECRC} Knowledge Base Group},
booktitle = {Workshop Grundlagen von Datenbanken, GvD 1989. Technische Universit{\"{a}}t
Braunschweig, Germany},
year = {1989},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gvd/Manthey89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wi/MantheyGN89,
author = {Rainer Manthey and
Herv{\'{e}} Gallaire and
Jean{-}Marie Nicolas},
editor = {Wilfried Brauer and
Christian Freksa},
title = {Can We Reach a Uniform Paradigm for Deductive Query Evaluation?},
booktitle = {Wissensbasierte Systeme, 3. Internationaler GI-Kongress, M{\"{u}}nchen,
16./17. Oktober 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {227},
pages = {17--32},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-75182-0\_3},
doi = {10.1007/978-3-642-75182-0\_3},
timestamp = {Thu, 29 Mar 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wi/MantheyGN89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MantheyB88,
author = {Rainer Manthey and
Fran{\c{c}}ois Bry},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {{SATCHMO:} {A} Theorem Prover Implemented in Prolog},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
USA, May 23-26, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {310},
pages = {415--434},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0012847},
doi = {10.1007/BFB0012847},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/MantheyB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/BryDM88,
author = {Fran{\c{c}}ois Bry and
Hendrik Decker and
Rainer Manthey},
editor = {Joachim W. Schmidt and
Stefano Ceri and
Michele Missikoff},
title = {A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability
in Deductive Databases},
booktitle = {Advances in Database Technology - EDBT'88, Proceedings of the International
Conference on Extending Database Technology, Venice, Italy, March
14-18, 1988},
series = {Lecture Notes in Computer Science},
volume = {303},
pages = {488--505},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-19074-0\_69},
doi = {10.1007/3-540-19074-0\_69},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edbt/BryDM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oodbs/FreytagMW88,
author = {Johann Christoph Freytag and
Rainer Manthey and
Mark Wallace},
editor = {Klaus R. Dittrich},
title = {Mapping Object-Oriented Concepts into Relational Concepts by Meta-Compilation
in a Logic programming Environment},
booktitle = {Advances in Object-Oriented Database Systems, 2nd International Workshop
on Object-Oriented Database Systems, Bad M{\"{u}}nster am Stein-Ebernburg,
FRG, September 27-30, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {334},
pages = {204--208},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50345-5\_16},
doi = {10.1007/3-540-50345-5\_16},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oodbs/FreytagMW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BryM87,
author = {Fran{\c{c}}ois Bry and
Rainer Manthey},
editor = {Egon B{\"{o}}rger and
Hans Kleine B{\"{u}}ning and
Michael M. Richter},
title = {Proving Finite Satisfiability of Deductive Databases},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {44--55},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_28},
doi = {10.1007/3-540-50241-6\_28},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/BryM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/MantheyB87,
author = {Rainer Manthey and
Fran{\c{c}}ois Bry},
editor = {Katharina Morik},
title = {A Hyperresolution-Based Proof Procedure and its Implementation in
Prolog},
booktitle = {GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke,
Germany, September 28 - October 2, 1987, Proceedings},
series = {Informatik-Fachberichte},
volume = {152},
pages = {221--230},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-73005-4\_24},
doi = {10.1007/978-3-642-73005-4\_24},
timestamp = {Wed, 11 Jul 2018 09:53:42 +0200},
biburl = {https://dblp.org/rec/conf/ki/MantheyB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/BryM86,
author = {Fran{\c{c}}ois Bry and
Rainer Manthey},
title = {Sur la validit{\'{e}} des sch{\'{e}}mas de bases de donn{\'{e}}es},
booktitle = {2\({}^{\mbox{{\`{e}}mes}}\) Journ{\'{e}}es Bases de Donn{\'{e}}es
Avanc{\'{e}}s, 22-25 Avril 1986, Giens, France (Informal Proceedings)},
pages = {89--108},
publisher = {{INRIA}},
year = {1986},
timestamp = {Fri, 22 Jun 2018 07:09:59 +0200},
biburl = {https://dblp.org/rec/conf/bda/BryM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/BryM86,
author = {Fran{\c{c}}ois Bry and
Rainer Manthey},
editor = {Wesley W. Chu and
Georges Gardarin and
Setsuo Ohsuga and
Yahiko Kambayashi},
title = {Checking Consistency of Database Constraints: a Logical Basis},
booktitle = {VLDB'86 Twelfth International Conference on Very Large Data Bases,
August 25-28, 1986, Kyoto, Japan, Proceedings},
pages = {13--20},
publisher = {Morgan Kaufmann},
year = {1986},
url = {http://www.vldb.org/conf/1986/P013.PDF},
timestamp = {Wed, 29 Mar 2017 16:45:23 +0200},
biburl = {https://dblp.org/rec/conf/vldb/BryM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Manthey83,
author = {Rainer Manthey},
title = {Eine formale Anfragesprache f{\"{u}}r Entity-Relationship-Datenbanken
aus S{\"{a}}tzen der englischen Sprache},
school = {University of Kiel, Germany},
year = {1983},
url = {https://d-nb.info/841056773},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Manthey83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 23:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
