![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Hans-Peter Kriegel 127 Remco C. Veltkamp , Hans Burkhardt , Hans-Peter Kriegel: State-of-the-Art in Content-Based Image and Video Retrieval [Dagstuhl Seminar, 5-10 December 1999]. Kluwer 2001 126 Kai Yu , Xiaowei Xu , Martin Ester , Hans-Peter Kriegel: Selecting Relevant Instances for Efficient and Accurate Collaborative Filtering. CIKM 2001 : 239-246 125 Christian Böhm , Hans-Peter Kriegel: Determining the Convex Hull in Large Multidimensional Databases. DaWaK 2001 : 294-306 124 Christian Böhm , Hans-Peter Kriegel, Thomas Seidl : Adaptable Similarity Search Using Vector Quantization. DaWaK 2001 : 317-327 123 Christian Böhm , Hans-Peter Kriegel: A Cost Model and Index Architecture for the Similarity Join. ICDE 2001 : 411-420 122 Hans-Peter Kriegel, Andreas Müller , Marco Pötke , Thomas Seidl : DIVE: Database Integration for Virtual Engineering. ICDE Demo Sessions 2001 : 15-16 121 Stefan Berchtold , Christian Böhm , Daniel A. Keim , Florian Krebs , Hans-Peter Kriegel: On Optimizing Nearest Neighbor Queries in High-Dimensional Data Spaces. ICDT 2001 : 435-449 120 Markus M. Breunig , Hans-Peter Kriegel, Peer Kröger , Jörg Sander : Data Bubbles: Quality Preserving Performance Boosting for Hierarchical Clustering. SIGMOD Conference 2001 119 Christian Böhm , Bernhard Braunmüller , Florian Krebs , Hans-Peter Kriegel: Epsilon Grid Order: An Algorithm for the Similarity Join on Massive High-Dimensional Data. SIGMOD Conference 2001 118 Hans-Peter Kriegel, Andreas Müller , Marco Pötke , Thomas Seidl : Spatial Data Management for Computer Aided Design. SIGMOD Conference 2001 117 Hans-Peter Kriegel, Marco Pötke , Thomas Seidl : Interval Sequences: An Object-Relational Approach to Manage Spatial Data. SSTD 2001 : 481-501 116 Hans-Peter Kriegel, Marco Pötke , Thomas Seidl : Object-Relational Indexing for General Interval Relationships. SSTD 2001 : 522-542 115 Bernhard Braunmüller , Martin Ester , Hans-Peter Kriegel, Jörg Sander : Multiple Similarity Queries: A Basic DBMS Operation for Mining in Metric Databases. TKDE 13 (1): 79-95 (2001) 114 Christian Böhm , Bernhard Braunmüller , Hans-Peter Kriegel, Matthias Schubert : Efficient Similarity Search in Digital Libraries. ADL 2000 : 193-206 113 Christian Böhm , Bernhard Braunmüller , Markus M. Breunig , Hans-Peter Kriegel: High Performance Clustering Based on the Similarity Join. CIKM 2000 : 298-305 112 Stefan Berchtold , Christian Böhm , Daniel A. Keim , Hans-Peter Kriegel, Xiaowei Xu : Optimal Multidimensional Query Processing Using Tree Striping. DaWaK 2000 : 244-257 111 Christian Böhm , Bernhard Braunmüller , Hans-Peter Kriegel: The Pruning Power: Theory and Heuristics for Mining Databases with Multiple k -Nearest-Neighbor Queries. DaWaK 2000 : 372-381 110 Christian Böhm , Hans-Peter Kriegel: Dynamically Optimizing High-Dimensional Index Structures. EDBT 2000 : 36-50 109 Bernhard Braunmüller , Martin Ester , Hans-Peter Kriegel, Jörg Sander : Efficiently Supporting Multiple Similarity Queries for Mining in Metric Databases. ICDE 2000 : 256-267 108 Martin Ester , Jörn Kohlhammer , Hans-Peter Kriegel: The DC-Tree: A Fully Dynamic Index Structure for Data Warehouses. ICDE 2000 : 379-388 107 Stefan Berchtold , Christian Böhm , H. V. Jagadish , Hans-Peter Kriegel, Jörg Sander : Independent Quantization: An Index Compression Technique for High-Dimensional Data Spaces. ICDE 2000 : 577-588 106 Mihael Ankerst , Martin Ester , Hans-Peter Kriegel: Towards an effective cooperation of the user and the computer for classification. KDD 2000 : 179-188 105 Markus M. Breunig , Hans-Peter Kriegel, Jörg Sander : Fast Hierarchical Clustering Based on Compressed Data and OPTICS. PKDD 2000 : 232-242 104 Markus M. Breunig , Hans-Peter Kriegel, Raymond T. Ng , Jörg Sander : LOF: Identifying Density-Based Local Outliers. SIGMOD Conference 2000 : 93-104 103 Hans-Peter Kriegel, Marco Pötke , Thomas Seidl : Managing Intervals Efficiently in Object-Relational Databases. VLDB 2000 : 407-418 102 Martin Ester , Alexander Frommelt , Hans-Peter Kriegel, Jörg Sander : Spatial Data Mining: Database Primitives, Algorithms and Efficient DBMS Support. Data Mining and Knowledge Discovery 4 (2/3): 193-216 (2000) 101 Christian Böhm , Stefan Berchtold , Hans-Peter Kriegel, Urs Michel : Multidimensional Index Structures in Relational Databases. JIIS 15 (1): 51-70 (2000) 100 Stefan Berchtold , Daniel A. Keim , Hans-Peter Kriegel, Thomas Seidl : Indexing the Solution Space: A New Technique for Nearest Neighbor Search in High-Dimensional Space. TKDE 12 (1): 45- (2000) 99 Martin Ester , Stefan Grundlach , Hans-Peter Kriegel, Jörg Sander : Database Primitives for Spatial Data Mining. BTW 1999 : 137-150 98 Martin Ester , Hans-Peter Kriegel, Jörg Sander : Knowledge Discovery in Spatial Databases. DAGM-Symposium 1999 : 1-14 97 Christian Böhm , Hans-Peter Kriegel: Efficient Bulk Loading of Large High-Dimensional Indexes. DaWaK 1999 : 251-260 96 Stefan Berchtold , Christian Böhm , Hans-Peter Kriegel, Urs Michel : Implementation of Multidimensional Index Structures for Knowledge Discovery in Relational Databases. DaWaK 1999 : 261-270 95 Mihael Ankerst , Gabi Kastenmüller , Hans-Peter Kriegel, Thomas Seidl : Nearest Neighbor Classification in 3D Protein Databases. ISMB 1999 : 34-43 94 Mihael Ankerst , Christian Elsen , Martin Ester , Hans-Peter Kriegel: Visual Classification: An Interactive Approach to Decision Tree Construction. KDD 1999 : 392-396 93 Martin Ester , Hans-Peter Kriegel, Jörg Sander : Knowledge Discovery in Spatial Databases. KI 1999 : 61-74 92 Markus M. Breunig , Hans-Peter Kriegel, Raymond T. Ng , Jörg Sander : OPTICS-OF: Identifying Local Outliers. PKDD 1999 : 262-270 91 Mihael Ankerst , Markus M. Breunig , Hans-Peter Kriegel, Jörg Sander : OPTICS: Ordering Points To Identify the Clustering Structure. SIGMOD Conference 1999 : 49-60 90 Mihael Ankerst , Gabi Kastenmüller , Hans-Peter Kriegel, Thomas Seidl : 3D Shape Histograms for Similarity Search and Classification in Spatial Databases. SSD 1999 : 207-226 89 Christian Böhm , Gerald Klump , Hans-Peter Kriegel: XZ-Ordering: A Space-Filling Curve for Objects with Spatial Extension. SSD 1999 : 75-90 88 Thomas Seidl , Hans-Peter Kriegel: Adaptable Similarity Search in Large Image Databases. State-of-the-Art in Content-Based Image and Video Retrieval 1999 : 297-317 87 Xiaowei Xu , Jochen Jäger , Hans-Peter Kriegel: A Fast Parallel Clustering Algorithm for Large Spatial Databases. Data Mining and Knowledge Discovery 3 (3): 263-290 (1999) 86 Mihael Ankerst , Christian Elsen , Martin Ester , Hans-Peter Kriegel: Perception-Based Classification. Informatica (Slovenia) 23 (4): (1999) 85 Rolf Backofen , François Bry , Peter Clote , Hans-Peter Kriegel, Thomas Seidl , Klaus U. Schulz : Bioinformatik - Aktuelles Schlagwort. Informatik Spektrum 22 (5): 376-378 (1999) 84 Stefan Berchtold , Christian Böhm , Hans-Peter Kriegel: Improving the Query Performance of High-Dimensional Index Structures by Bulk-Load Operations. EDBT 1998 : 216-230 83 Stefan Berchtold , Bernhard Ertl , Daniel A. Keim , Hans-Peter Kriegel, Thomas Seidl : Fast Nearest Neighbor Search in High-Dimensional Space. ICDE 1998 : 209-218 82 Xiaowei Xu , Martin Ester , Hans-Peter Kriegel, Jörg Sander : A Distribution-Based Clustering Algorithm for Mining in Large Spatial Databases. ICDE 1998 : 324-331 81 Martin Ester , Alexander Frommelt , Hans-Peter Kriegel, Jörg Sander : Algorithms for Characterization and Trend Detection in Spatial Databases. KDD 1998 : 44-50 80 Stefan Berchtold , Christian Böhm , Hans-Peter Kriegel: The Pyramid-Technique: Towards Breaking the Curse of Dimensionality. SIGMOD Conference 1998 : 142-153 79 Thomas Seidl , Hans-Peter Kriegel: Optimal Multi-Step k-Nearest Neighbor Search. SIGMOD Conference 1998 : 154-165 78 Mihael Ankerst , Bernhard Braunmüller , Hans-Peter Kriegel, Thomas Seidl : Improving Adaptable Similarity Query Processing by Using Approximations. VLDB 1998 : 206-217 77 Martin Ester , Hans-Peter Kriegel, Jörg Sander , Michael Wimmer , Xiaowei Xu : Incremental Clustering for Mining in a Data Warehousing Environment. VLDB 1998 : 323-333 76 Jörg Sander , Martin Ester , Hans-Peter Kriegel, Xiaowei Xu : Density-Based Clustering in Spatial Databases: The Algorithm GDBSCAN and Its Applications. Data Mining and Knowledge Discovery 2 (2): 169-194 (1998) 75 Hans-Peter Kriegel, Thomas Seidl : Approximation-Based Similarity Search for 3-D Surface Segments. GeoInformatica 2 (2): 113-147 (1998) 74 Martin Ester , Hans-Peter Kriegel, Jörg Sander , Xiaowei Xu : Clustering for Mining in Large Spatial Databases. KI 12 (1): 18-24 (1998) 73 Mihael Ankerst , Hans-Peter Kriegel, Thomas Seidl : A Multistep Approach for Shape Similarity Search in Image Databases. TKDE 10 (6): 996-1004 (1998) 72 Stefan Berchtold , Daniel A. Keim , Hans-Peter Kriegel: Section Coding: Ein Verfahren zur Ähnlichkeitssuche in CAD-Datenbanken. BTW 1997 : 152-171 71 Martin Ester , Hans-Peter Kriegel, Jörg Sander , Xiaowei Xu : Density-Connected Sets and their Application for Trend Detection in Spatial Databases. KDD 1997 : 10-15 70 Stefan Berchtold , Christian Böhm , Daniel A. Keim , Hans-Peter Kriegel: A Cost Model For Nearest Neighbor Search in High-Dimensional Data Space. PODS 1997 : 78-86 69 Stefan Berchtold , Christian Böhm , Bernhard Braunmüller , Daniel A. Keim , Hans-Peter Kriegel: Fast Parallel Similarity Search in Multimedia Databases. SIGMOD Conference 1997 : 1-12 68 Stefan Berchtold , Hans-Peter Kriegel: S3: Similarity Search in CAD Database Systems. SIGMOD Conference 1997 : 564-567 67 Hans-Peter Kriegel, Thomas Schmidt , Thomas Seidl : 3D Similarity Search by Shape Approximation. SSD 1997 : 11-28 66 Martin Ester , Hans-Peter Kriegel, Jörg Sander : Spatial Data Mining: A Database Approach. SSD 1997 : 47-66 65 Thomas Seidl , Hans-Peter Kriegel: Efficient User-Adaptable Similarity Search in Large Multimedia Databases. VLDB 1997 : 506-515 64 Stefan Berchtold , Daniel A. Keim , Hans-Peter Kriegel: Using Extended Feature Objects for Partial Similarity Retrieval. VLDB Journal 6 (4): 333-348 (1997) 63 Thomas Brinkhoff , Hans-Peter Kriegel, Bernhard Seeger : Parallel Processing of Spatial Joins Using R-trees. ICDE 1996 : 258-265 62 Martin Ester , Hans-Peter Kriegel, Jörg Sander , Xiaowei Xu : A Density-Based Algorithm for Discovering Clusters in Large Spatial Databases with Noise. KDD 1996 : 226-231 61 Stefan Berchtold , Daniel A. Keim , Hans-Peter Kriegel: The X-tree : An Index Structure for High-Dimensional Data. VLDB 1996 : 28-39 60 Daniel A. Keim , Hans-Peter Kriegel: Visualization Techniques for Mining Large Databases: A Comparison. TKDE 8 (6): 923-938 (1996) 59 Thomas Brinkhoff , Hans-Peter Kriegel, Ralf Schneider , A. Braun : Measuring the Complexity of Polygonal Objects. ACM-GIS 1995 : 109- 58 Daniel A. Keim , Hans-Peter Kriegel: Visualisierungstechniken zur Exploration und Analyse sehr großer Datenbanken. BTW 1995 : 262-281 57 Martin Ester , Hans-Peter Kriegel, Thomas Seidl , Xiaowei Xu : Formbasierte Suche nach komplementären 3D-Oberflächen in einer Protein-Datenbank. BTW 1995 : 373-382 56 Daniel A. Keim , Mihael Ankerst , Hans-Peter Kriegel: Recursive Pattern: A Technique for Visualizing Very Large Amounts of Data. IEEE Visualization 1995 : 279- 55 Martin Ester , Hans-Peter Kriegel, Xiaowei Xu : A Database Interface for Clustering in Large Spatial Databases. KDD 1995 : 94-99 54 Daniel A. Keim , Hans-Peter Kriegel: VisDB: A System for Visualizing Large Databases. SIGMOD Conference 1995 : 482 53 Thomas Seidl , Hans-Peter Kriegel: A 3D Molecular Surface Representation Supporting Neighborhood Queries. SSD 1995 : 240-258 52 Martin Ester , Hans-Peter Kriegel, Xiaowei Xu : Knowledge Discovery in Large Spatial Databases: Focusing Techniques for Efficient Class Identification. SSD 1995 : 67-82 51 Daniel A. Keim , Hans-Peter Kriegel: Possibilities and Limits in Visualizing Large Databases. VDB 1995 : 203-214 50 Daniel A. Keim , Hans-Peter Kriegel, Andreas Miethsam : Query Translation Supporting the Migration of Legacy Databases into Cooperative Information Systems. CoopIS 1994 : 203-214 49 Daniel A. Keim , Hans-Peter Kriegel, Thomas Seidl : Supporting Data Mining of Large Databases by Visual Feedback Queries. ICDE 1994 : 302-313 48 Thomas Brinkhoff , Hans-Peter Kriegel: Approximations for a Multi-Step Processing of Spatial Joins. IGIS 1994 : 25-34 47 Thomas Brinkhoff , Hans-Peter Kriegel, Ralf Schneider , Bernhard Seeger : Multi-Step Processing of Spatial Joins. SIGMOD Conference 1994 : 197-208 46 Thomas Brinkhoff , Hans-Peter Kriegel, Ralf Schneider , Bernhard Seeger : GENESYS: A System for Efficient Spatial Query Processing. SIGMOD Conference 1994 : 519 45 Thomas Brinkhoff , Hans-Peter Kriegel: The Impact of Global Clustering on Spatial Database Systems. VLDB 1994 : 168-179 44 Thomas Brinkhoff , Holger Horn , Hans-Peter Kriegel, Ralf Schneider : Eine Speicher- und Zugriffsarchitektur zur effizienten Anfragebearbeitung in Geo-Datenbanksystemen. BTW 1993 : 356-374 43 Daniel A. Keim , Hans-Peter Kriegel, Andreas Miethsam : Object-Oriented Querying of Existing Relations Databases. DEXA 1993 : 325-336 42 Hans-Peter Kriegel, Stephan Heep , Andreas Fahldiek , Norbert Mysliwitz : Query Processing of Geometric Objects with Free Form Boundaries in Spatial Datbases. DEXA 1993 : 349-360 41 Thomas Brinkhoff , Hans-Peter Kriegel, Ralf Schneider : Comparison of Approximations of Complex Objects Used for Approximation-based Query Processing in Spatial Database Systems. ICDE 1993 : 40-49 40 Daniel A. Keim , Hans-Peter Kriegel, Andreas Miethsam : Integration of Relational Databases in a Multidatabase System based on Schema Enrichment. RIDE-IMS 1993 : 96-104 39 Thomas Brinkhoff , Hans-Peter Kriegel, Bernhard Seeger : Efficient Processing of Spatial Joins Using R-Trees. SIGMOD Conference 1993 : 237-246 38 Thomas Brinkhoff , Holger Horn , Hans-Peter Kriegel, Ralf Schneider : A Storage and Access Architecture for Efficient Query Processing in Spatial Database Systems. SSD 1993 : 357-376 37 Michael Schiwietz , Hans-Peter Kriegel: Query Processing of Spatial Objects: Complexity versus Redundancy. SSD 1993 : 377-396 36 Daniel A. Keim , Hans-Peter Kriegel: Using Visualization to Support Data Mining of Large Existing Databases. Workshop on Database Issues for Data Visualization 1993 : 210-229 35 Hans-Peter Kriegel, Thomas Brinkhoff , Ralf Schneider : Efficient Spatial Query Processing in Geographic Database Systems. Data Engineering Bulletin 16 (3): 10-15 (1993) 34 Hans-Peter Kriegel, Holger Horn , Michael Schiwietz : The Performance of Object Decomposition Techniques for Spatial Query Processing. Data Structures and Efficient Algorithms 1992 : 104-123 33 Hans-Peter Kriegel, Thomas Brinkhoff , Ralf Schneider : The Combination of Spatial Access Methods and Computational Geometry in Geographic Database Systems. Data Structures and Efficient Algorithms 1992 : 70-86 32 Hans-Peter Kriegel, Peter Heep , Stephan Heep , Michael Schiwietz , Ralf Schneider : A Flexible and Extensible Index Manager for Spatial Database Systems. Data Structures and Efficient Algorithms 1992 : 87-103 31 Holger Horn , Hans-Peter Kriegel: Zeitversionen geometrischer Szenen in Datenbanksystemen. Grundlagen von Datenbanken 1992 : 71-77 30 Hans-Peter Kriegel, Peter Heep , Stephan Heep , Michael Schiwietz , Ralf Schneider : A Flexible and Extensible Index Manager for Spatial Database Systems. DEXA 1991 : 179-184 29 Hans-Peter Kriegel, Peter Heep , Holger Horn : Ein zerlegungsbasierter Anfrageprozessor für Geo-Objekte und sein Leistungsverhalten. Grundlagen von Datenbanken 1991 : 70-72 28 Hans-Peter Kriegel: Query Processing in Spatial Database Systems. New Results and New Trends in Computer Science 1991 : 172-191 27 Hans-Peter Kriegel, Holger Horn , Michael Schiwietz : The Performance of Object Decomposition Techniques for Spatial Query Processing. SSD 1991 : 257-276 26 Hans-Peter Kriegel, Thomas Brinkhoff , Ralf Schneider : Combination of Spatial Access Methods and Computational Geometry in Geographic Database Systems. SSD 1991 : 5-21 25 Ralf Schneider , Hans-Peter Kriegel: The TR * -Tree: A New Representation of Polygonal Objects Supporting Spatial Queries and Operations. Workshop on Computational Geometry 1991 : 249-263 24 Bernhard Seeger , Hans-Peter Kriegel: Design, Implementation and Performance Comparison of the Buddy-Tree. DEXA 1990 : 203-207 23 Hans-Peter Kriegel, Peter Heep , Ralf Schneider : Homogene Triangulation von Polygonen und deren Einbettung in einen Anfrageprozessor für Raumobjekte. Grundlagen von Datenbanken 1990 : 53-54 22 Hans-Peter Kriegel, Michael Schiwietz : Eine effiziente und robuste Zugriffsstruktur für große Mengen polygonaler Objekte. Grundlagen von Datenbanken 1990 : 55-56 21 Hans-Peter Kriegel, Ralf Schneider : Entwurf eines Bioindikations-Datenbanksystems. Informatik für den Umweltschutz 1990 : 17-26 20 Norbert Beckmann , Hans-Peter Kriegel, Ralf Schneider , Bernhard Seeger : The R*-Tree: An Efficient and Robust Access Method for Points and Rectangles. SIGMOD Conference 1990 : 322-331 19 Bernhard Seeger , Hans-Peter Kriegel: The Buddy-Tree: An Efficient and Robust Access Method for Spatial Data Base Systems. VLDB 1990 : 590-601 18 Ralf Schneider , Hans-Peter Kriegel, Bernhard Seeger , Stephan Heep : Retrieving of Parts with Geometric Similarity. FODO 1989 : 241-245 17 Andreas Becker , Axel Bücker , Redelf Janßen , Hans-Peter Kriegel, Klaus Matthes , Walter F. Henschel : Ein System zur postoperativen Erfassung von Narkoseprotokollen. GI Jahrestagung (2) 1989 : 688-703 16 Hans-Peter Kriegel, Michael Schiwietz , Ralf Schneider , Bernhard Seeger : Effiziente Punkt- und Raumzugriffsstrukturen für Geo-Datenbanksysteme - Ein Leistungsvergleich. Grundlagen von Datenbanken 1989 15 Hans-Peter Kriegel, Michael Schiwietz : Performance Comparison of Point and Spatial Access Methods. SSD 1989 : 89-114 14 Hans-Peter Kriegel, Bernhard Seeger : PLOP-Hashing: A Grid File without Directory. ICDE 1988 : 369-376 13 Bernhard Seeger , Hans-Peter Kriegel: Techniques for Design and Implementation of Efficient Spatial Access Methods. VLDB 1988 : 360-371 12 Hans-Peter Kriegel, Bernhard Seeger : Multidimensional Dynamic Quantile Hashing is Very Efficient for Non-Uniform Record Distributions. ICDE 1987 : 10-17 11 Hans-Peter Kriegel, Bernhard Seeger : Multidimensional Order Preserving Linear Hashing with Partial Expansions. ICDT 1986 : 203-220 10 Hans-Peter Kriegel, Rita Mannss , Mark H. Overmars : The Inverted File Tree Machine: Efficient Multi-Key Retrieval for VLSI. FODO 1985 : 279-291 9 Hans-Peter Kriegel: Performance Comparison of Index Structures for Multi-Key Retrieval. SIGMOD Conference 1984 : 186-196 8 Hans-Peter Kriegel, Y. S. Kwong : Insertion-Safeness in Balanced Trees. Information Processing Letters 16 (5): 259-264 (1983) 7 Hans-Peter Kriegel, Vijay K. Vaishnavi : Weighted Multidimensional B-trees Used as Nearly Optimal Dynamic Dictionaries. MFCS 1981 : 410-417 6 Ralf Hartmut Güting , Hans-Peter Kriegel: Dynamic k-Dimensional Multiway Search under Time-Varying Access Frequencies. Theoretical Computer Science 1981 : 135-145 5 Ralf Hartmut Güting , Hans-Peter Kriegel: Multidimensional B-tree: An Efficient Dynamic File Structure for Exact Match Queries. GI Jahrestagung 1980 : 375-388 4 Vijay K. Vaishnavi , Hans-Peter Kriegel, Derick Wood : Optimum Multiway Search Trees. Acta Informatica 14 : 119-133 (1980) 3 Hans-Peter Kriegel, Thomas Ottmann : Left-Fitting Translations. ICALP 1977 : 309-322 2 Hans-Peter Kriegel, Hermann A. Maurer : Formal Translations and Szilard Languages. Information and Control 30 (2): 187-198 (1976) 1 Hans-Peter Kriegel, Hermann A. Maurer : Formal translations and the containment problem for Szilard languages. Automata Theory and Formal Languages 1975 : 233-238 ![]() DiSC'02 © 2003 Association for Computing Machinery |