| SATCHMO: a theorem prover implemented in Prolog R Manthey, F Bry 9th International Conference on Automated Deduction, 415-434, 1988 | 513 | 1988 |
| A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases F Bry, H Decker, R Manthey Advances in Database Technology—EDBT'88, 488-505, 1988 | 236 | 1988 |
| Checking Consistency of Database Constraints F Bry, R Manthey Morgan Kaufman, 1986 | 102 | 1986 |
| Integrity verification in knowledge bases F Bry, R Manthey, B Martens Logic Programming, 114-139, 1992 | 81 | 1992 |
| Chimera: A model and language for active DOOD systems S Ceri, R Manthey East/West Database Workshop, 3-16, 1995 | 53 | 1995 |
| Consolidated specification of Chimera (CM and CL) S Ceri, R Manthey | 26 | 1993 |
| Proving finite satisfiability of deductive databases F Bry, R Manthey CSL'87, 44-55, 1988 | 26 | 1988 |
| Beyond data dictionaries: Towards a reflective architecture of intelligent database systems R Manthey Deductive and Object-Oriented Databases, 328-339, 1993 | 24 | 1993 |
| Update propagation in deductive databases using soft stratification A Behrend, R Manthey Advances in Databases and Information Systems, 22-36, 2004 | 23 | 2004 |
| Consolidated specification of Chimera S Ceri, R Manthey IDEA Esprit Project, Politecnico di Milano, Milano-Italy, Tech. Rep. IDEA …, 1993 | 23 | 1993 |
| Reflections on Some Fundamental Issues of Rule-based Incremental Update Propagation. R Manthey Sekretariat für Forschungsberichte, Inst. für Informatik III, 1994 | 22 | 1994 |
| A hyperresolution-based proof procedure and its implementation in Prolog R Manthey, F Bry GWAI-87 11th German Workshop on Artifical Intelligence, 221-230, 1987 | 22 | 1987 |
| Consolidated specification of Chimera, the conceptual interface of Idea S Ceri, R Manthey Technical Report IDEA. DD 2, 35-39, 1993 | 17 | 1993 |
| Satisfiability of Integrity Constraints: Reflections on a Neglected Problem. R Manthey FMLDO, 169-179, 1990 | 17 | 1990 |
| Incremental view-based analysis of stock market data streams A Behrend, C Dorau, R Manthey, G Schüeller Proceedings of the 2008 international symposium on Database engineering …, 2008 | 16 | 2008 |
| The Schema Evolution Assistant: Tool Description T Lemke, R Manthey IDEA. DE 22, 1995 | 15 | 1995 |
| AIMS: an SQL-based system for airspace monitoring G Schüller, A Behrend, R Manthey Proceedings of the ACM SIGSPATIAL International Workshop on GeoStreaming, 31-38, 2010 | 14 | 2010 |
| The EKS-V1 system L Vieille, P Bayer, V Küchenhoff, A Lefebvre, R Manthey Logic Programming and Automated Reasoning, 504-506, 1992 | 14 | 1992 |
| Detecting Moving Objects in Noisy Radar Data Using a Relational Database A Behrend, R Manthey, G Schüller, M Wieneke Advances in Databases and Information Systems, 286-300, 2009 | 13 | 2009 |
| Update propagation in Chimera, an active DOOD language U Griefahn, R Manthey Sekretariat für Forschungsberichte, Inst. für Informatik III, 1994 | 13 | 1994 |
