Additional Content

Main Content

Publications

Information Retrieval

Nedim Lipka and Benno Stein. Identifying Featured Articles in Wikipedia: Writing Style Matters. In 18th International Conference on World Wide Web, WWW 2010, Raleigh (to appear), April 2010. ACM. [PDF] [BIB]

Martin Potthast, Benno Stein and Steffen Becker. Towards Comment-based Cross-Media Retrieval. In 18th International Conference on World Wide Web, WWW 2010, Raleigh (to appear), April 2010. ACM. [PDF] [BIB]

Martin Potthast, Alberto Barrón-Cedeño, Benno Stein, and Paolo Rosso. Cross-Language Plagiarism Detection. Language Resources and Evaluation, LRE, 2010. (to appear) [URL] [PDF] [BIB]

Benno Stein, Nedim Lipka, and Peter Prettenhofer. Intrinsic Plagiarism Analysis. Language Resources and Evaluation, LRE, 2010. (to appear) [URL] [PDF] [BIB]

Benno Stein, Martin Potthast, and Martin Trenkmann. Retrieving Customary Web Language to Assist Writers. In C. Gurrin et al., editors, Advances in Information Retrieval: Proceedings of the 32nd European Conference on Information Retrieval, ECIR 2010, Milton Keynes, UK, 5993 of Lecture Notes in Computer Science, pages 631-635, 2010. Springer. [PDF] [BIB]

Maik Anderka, Benno Stein, and Martin Potthast. Cross-language High Similarity Search: Why no Sub-linear Time Bound can be Expected. In C. Gurrin et al., editors, Advances in Information Retrieval: Proceedings of the 32nd European Conference on Information Retrieval, ECIR 2010, Milton Keynes, UK, 5993 of Lecture Notes in Computer Science, pages 640-644, 2010. Springer. [PDF] [BIB]

Martin Potthast, Martin Trenkmann, and Benno Stein. Netspeak: Assisting Writers in Choosing Words. In C. Gurrin et al., editors, Advances in Information Retrieval: Proceedings of the 32nd European Conference on Information Retrieval, ECIR 2010, Milton Keynes, UK, 5993 of Lecture Notes in Computer Science, pages 672, 2010. Springer. [PDF] [BIB]

Martin Potthast and Steffen Becker. Opinion Summarization of Web Comments. In C. Gurrin et al., editors, Advances in Information Retrieval: Proceedings of the 32nd European Conference on Information Retrieval, ECIR 2010, Milton Keynes, UK, 5993 of Lecture Notes in Computer Science, pages 668-669, 2010. Springer. [PDF] [BIB]

Maik Anderka, Nedim Lipka, and Benno Stein. Evaluating Cross-Language Explicit Semantic Analysis and Cross Querying at TEL@CLEF 2009. In Carol Peters, Giorgio Di Nunzio, Mikko Kurimo, Thomas Mandl, Djamel Mostefa, Anselmo Peñas, Giovanna Roda, editors, Multilingual Information Access Evaluation Vol. I: Text Retrieval Experiments, Proceedings of CLEF 2009, Corfu, Greece, Lecture Notes in Computer Science, 2010. Springer. [PDF] [BIB]

Benno Stein and Maik Anderka. Collection-Relative Representations: A Unifying View to Retrieval Models. In A. M. Tjoa and R. R. Wagner, editors, 20th International Conference on Database and Expert Systems Applications (DEXA 09), pages 383-387, September 2009. IEEE. ISBN 978-0-7695-3763-4. ISSN 1529-4188. [URL] [PDF] [BIB]

Martin Potthast, Benno Stein, Andreas Eiselt, Alberto Barrón-Cedeño, and Paolo Rosso. Overview of the 1st International Competition on Plagiarism Detection. In Benno Stein, Paolo Rosso, Efstathios Stamatatos, Moshe Koppel, and Eneko Agirre, editors, SEPLN 2009 Workshop on Uncovering Plagiarism, Authorship, and Social Software Misuse (PAN 09), pages 1-9, September 2009. CEUR-WS.org. ISSN 1613-0073. [URL] [PDF] [BIB]

Benno Stein, Paolo Rosso, Efstathios Stamatatos, Moshe Koppel, and Eneko Agirre, editors. SEPLN 2009 Workshop on Uncovering Plagiarism, Authorship, and Social Software Misuse (PAN 09), CEUR Workshop Proceedings. Universidad Politécnica de Valencia and CEUR-WS.org, September 2009. ISSN 1613-0073. [URL] [PDF] [BIB]

Maik Anderka and Benno Stein. The ESA Retrieval Model Revisited. In M. Sanderson, C. Zhai, J. Zobel, J. Allan, and J. A. Aslam, editors, 32nd Annual International ACM SIGIR Conference, Boston, pages 670-671, July 2009. ACM. ISBN 978-1-60558-483-6. [URL] [PDF] [BIB]

Martin Potthast. Measuring the Descriptiveness of Web Comments. In M. Sanderson, C. Zhai, J. Zobel, J. Allan, and J. A. Aslam, editors, 32nd Annual International ACM SIGIR Conference, Boston, pages 724-725, July 2009. ACM. ISBN 978-1-60558-483-6. [URL] [PDF] [BIB]

Daniel Blank, Norbert Fuhr, Andreas Henrich, Thomas Mandl, Thomas Rölleke, Hinrich Schütze, and Benno Stein. Information Retrieval: Concepts and Practical Considerations for Teaching a Rising Topic. Datenbank-Spektrum, 9 : 29, pages 30-41, 2009. ISBN 1618-2162. [URL] [PDF] [BIB]

Martin Potthast, Andreas Eiselt, Benno Stein, Alberto Barrón-Cedeño, and Paolo Rosso. PAN Plagiarism Corpus PAN-PC-09. http://www.uni-weimar.de/medien/webis/research/corpora, 2009. [URL] [BIB]

Fabian Loose, Steffen Becker, Martin Potthast, and Benno Stein. Retrieval-Technologien für die Plagiaterkennung in Programmen. In J. Baumeister and M. Atzmüller, editors, Proceedings of the Information Retrieval Workshop at LWA 2008, pages 5-12, October 2008. University of Würzburg. [PDF] [BIB]

Benno Stein and Sven Meyer zu Eissen. Retrieval Models for Genre Classification. Scandinavian Journal of Information Systems (SJIS), 20 : 1, pages 91-117, 2008. ISBN 0905-0167. [PDF] [PDF] [BIB]

Benno Stein, Efstathios Stamatatos, and Moshe Koppel, editors. ECAI 2008 Workshop on Uncovering Plagiarism, Authorship, and Social Software Misuse (PAN 08), CEUR Workshop Proceedings. National Library of Greece and CEUR-WS.org, July 2008. ISBN 978-960-6843-08-2. ISSN 1613-0073. [URL] [PDF] [BIB]

Martin Potthast and Benno Stein. New Issues in Near-duplicate Detection. In Christine Preisach, Hans Burkhardt, Lars Schmidt-Thieme, and Reinhold Decker, editors, Data Analysis, Machine Learning and Applications, pages 601-609, 2008. Springer. ISBN 978-3-540-78239-1. [PDF] [BIB]

Martin Potthast, Benno Stein and Robert Gerling. Automatic Vandalism Detection in Wikipedia. In Craig Macdonald, Iadh Ounis, Vassilis Plachouras, Ian Ruthven, and Ryen W. White, editors, 30th European Conference on IR Research, ECIR 2008, Glasgow, 4956 of Lecture Notes in Computer Science, pages 663-668, 2008. Springer. ISBN 978-3-540-78645-0. [URL] [PDF] [BIB]

Martin Potthast, Benno Stein and Maik Anderka. A Wikipedia-Based Multilingual Retrieval Model. In Craig Macdonald, Iadh Ounis, Vassilis Plachouras, Ian Ruthven, and Ryen W. White, editors, 30th European Conference on IR Research, ECIR 2008, Glasgow, 4956 of Lecture Notes in Computer Science, pages 522-530, 2008. Springer. ISBN 978-3-540-78645-0. [URL] [PDF] [BIB]

Sven Meyer zu Eissen, Benno Stein, and Marion Kulig. Webis Plagiarism Corpus Webis-PC-08. http://www.uni-weimar.de/medien/webis/research/corpora, 2008. [URL] [BIB]

Benno Stein and Moshe Koppel and Efstathios Stamatatos. Plagiarism Analysis, Authorship Identification, and Near-Duplicate Detection (PAN' 07). SIGIR Forum, 41 (2) : 68-71, December 2007. ACM. ISSN 0163-5840. [URL] [PDF] [BIB]

Benno Stein and Sven Meyer zu Eissen. Fingerprint-based Similarity Search and its Applications. In Kurt Kremer and Wolker Macho, editors, Forschung und wissenschaftliches Rechnen 2006, pages 85-98, 2007. Gesellschaft für wissenschaftliche Datenverarbeitung. ISSN 0176-2516. [PDF] [BIB]

Martin Potthast and Robert Gerling. Wikipedia Vandalism Corpus Webis-WVC-07. http://www.uni-weimar.de/medien/webis/research/corpora, 2007. [URL] [BIB]

Benno Stein and Martin Potthast. Construction of Compact Retrieval Models. In Sandor Dominich and Ferenc Kiss, editors, Proceedings of the 1st International Conference on the Theory of Information Retrieval (ICTIR 07), Budapest, pages 85-93, October 2007. Foundation for Information Society. ISSN 1587-2386. [PDF] [BIB]

Benno Stein and Sven Meyer zu Eissen. Topic-Identifikation: Formalisierung, Analyse und neue Verfahren. KI – Künstliche Intelligenz, 3 : 16-22, July 2007. ISSN 0933-1875. [URL] [PDF] [BIB]

Benno Stein and Sven Meyer zu Eissen. Intrinsic Plagiarism Analysis with Meta Learning. In Benno Stein, Moshe Koppel, and Efstathios Stamatatos, editors, SIGIR Workshop on Plagiarism Analysis, Authorship Identification, and Near-Duplicate Detection (PAN 07), pages 45-50, July 2007. CEUR-WS.org. ISSN 1613-0073. [URL] [PDF] [BIB]

Benno Stein, Moshe Koppel, and Efstathios Stamatatos, editors. SIGIR Workshop on Plagiarism Analysis, Authorship Identification, and Near-Duplicate Detection (PAN 07), CEUR Workshop Proceedings. CEUR-WS.org, July 2007. ISSN 1613-0073. [URL] [PDF] [BIB]

Benno Stein. Principles of Hash-based Text Retrieval. In Clarke, Fuhr, Kando, Kraaij, and de Vries, editors, 30th Annual International ACM SIGIR Conference, pages 527-534, July 2007. ACM. ISBN 978-1-59593-597-7. [PDF] [BIB]

Benno Stein, Sven Meyer zu Eissen, and Martin Potthast. Strategies for Retrieving Plagiarized Documents. In Clarke, Fuhr, Kando, Kraaij, and de Vries, editors, 30th Annual International ACM SIGIR Conference, pages 825-826, July 2007. ACM. ISBN 978-1-59593-597-7. [PDF] [BIB]

Martin Potthast. Wikipedia in the Pocket - Indexing Technology for Near-duplicate Detection and High Similarity Search. In Clarke, Fuhr, Kando, Kraaij, and de Vries, editors, 30th Annual International ACM SIGIR Conference, pages 909-909, July 2007. ACM. ISBN 978-1-59593-597-7. [PDF] [BIB]

Benno Stein and Martin Potthast. Applying Hash-based Indexing in Text-based Information Retrieval. In Moens, Tuytelaars, and de Vries, editors, 7th Dutch-Belgian Information Retrieval Workshop (DIR 2007), pages 29-35, March 2007. Faculty of Engineering, Universiteit Leuven. ISBN 978-90-5682-771-7. [PDF] [BIB]

Benno Stein and Martin Potthast. Putting Successor Variety Stemming to Work. In Reinhold Decker and Hans J. Lenz, editors, Advances in Data Analysis, pages 367-374, 2007. Springer. ISBN 978-3-540-70980-0. [PDF] [BIB]

Sven Meyer zu Eissen, Benno Stein, and Marion Kulig. Plagiarism Detection without Reference Collections. In Reinhold Decker and Hans J. Lenz, editors, Advances in Data Analysis, pages 359-366, 2007. Springer. ISBN 978-3-540-70980-0. [PDF] [BIB]

Sven Meyer zu Eissen. On Information Need and Categorizing Search. Dissertation, University of Paderborn, Germany, Faculty of Computer Science, Electrical Engineering and Mathematics, February 2007. [URL] [PDF] [BIB]

Benno Stein and Martin Potthast. Hashing-basierte Indizierung: Anwendungsszenarien, Theorie und Methoden. In Norbert Fuhr and Sebastian Goeser and Thomas Mandl, editors, Proceedings of the Special Interest Group Information Retrieval (FGIR 06), Hildesheimer Informatikberichte, pages 159-166, October 2006. Universität Hildesheim. ISSN 0941-3014. [PDF] [PDF] [BIB]

Benno Stein and Sven Meyer zu Eissen. Distinguishing Topic from Genre. In Klaus Tochtermann and Hermann Maurer, editors, Proceedings of the 6th International Conference on Knowledge Management (I-KNOW 06), Graz, Journal of Universal Computer Science, pages 449-456, September 2006. Springer. ISSN 0948-695x. [PDF] [BIB]

Benno Stein, Sven Meyer zu Eissen, and Martin Potthast. Syntax versus Semantics: Analysis of Enriched Vector Space Models. In Benno Stein and Odej Kao, editors, Third International Workshop on Text-Based Information Retrieval (TIR 06), pages 47-52, August 2006. University of Trento, Italy. ISSN 1613-0073. [PDF] [BIB]

Benno Stein and Odej Kao, editors. Third International Workshop on Text-Based Information Retrieval (TIR 06), CEUR Workshop Proceedings. CEUR-WS.org, August 2006. ISSN 1613-0073. [URL] [PDF] [BIB]

Benno Stein and Sven Meyer zu Eissen. Is Web Genre Identification Feasible? In Gerhard Brewka and Silvia Coradeschi and Anna Perini and Paolo Traverso, editors, 17th European Conference on Artificial Intelligence (ECAI 06), August 2006. IOS Press. ISBN 1-58603-642-4. ISSN 0922-6389. [PDF] [BIB]

Sven Meyer zu Eissen and Benno Stein. Intrinsic Plagiarism Detection. In M. Lalmas, A. MacFarlane, S. Rüger, A. Tombros, T. Tsikrika. and A. Yavlinsky, editors, Advances in Information Retrieval: Proceedings of the 28th European Conference on IR Research, ECIR 2006, London, 3936 of Lecture Notes in Computer Science, pages 565-569, 2006. Springer. ISBN 3-540-33347-9. [URL] [PDF] [BIB]

Benno Stein and Sven Meyer zu Eissen. Near Similarity Search and Plagiarism Analysis. In M. Spiliopoulou, R. Kruse, C. Borgelt, A. Nürnberger, and W. Gaul, editors, From Data and Information Analysis to Knowledge Engineering, pages 430-437, 2006. Springer. ISBN 978-3-540-31313-7. [PDF] [BIB]

Benno Stein, Sven Meyer zu Eissen, Gernot Gräfe, and Frank Wissbrock. Automating Market Forecast Summarization from Internet Data. In Pedro Isaias and Miguel Baptista Nunes, editors, Fourth International Conference on WWW/Internet, Lisbon, Portugal, pages 395-402, October 2005. IADIS Press. ISBN 972-8924-02-X. [PDF] [BIB]

Benno Stein and Sven Meyer zu Eissen, editors. Second International Workshop on Text-Based Information Retrieval (TIR 05), Fachberichte Informatik. University of Koblenz-Landau, Germany, September 2005. ISSN 1860-4471. [PDF] [BIB]

Sven Meyer zu Eissen, Benno Stein, and Martin Potthast. The Suffix Tree Document Model Revisited. In Klaus Tochtermann and Hermann Maurer, editors, Proceedings of the 5th International Conference on Knowledge Management (I-KNOW 05), Graz, Austria, Journal of Universal Computer Science, pages 596-603, July 2005. Know-Center. ISSN 0948-695x. [PDF] [BIB]

Benno Stein. Fuzzy-Fingerprints for Text-Based Information Retrieval. In Klaus Tochtermann and Hermann Maurer, editors, Proceedings of the 5th International Conference on Knowledge Management (I-KNOW 05), Graz, Austria, Journal of Universal Computer Science, pages 572-579, July 2005. Know-Center. ISSN 0948-695x. [PDF] [BIB]

Benno Stein and Sven Meyer zu Eissen. Automatische Kategorisierung für Web-basierte Suche: Einführung, Techniken und Projekte. KI – Künstliche Intelligenz: Special Issue on Adaptive Multimedia Retrieval, 4 11-17, November 2004. ISSN 0933-1875. [PDF] [BIB]

Benno Stein, Sven Meyer zu Eissen, and Andreas Nürnberger, editors. Machine Learning and Interaction for Text-Based Information Retrieval (TIR 04), Ulm, Germany, University of Ulm, Germany, September 2004. [PDF] [BIB]

Sven Meyer zu Eissen and Benno Stein. Genre Classification of Web Pages: User Study and Feasibility Analysis. In S. Biundo, T. Frühwirth, and G. Palm, editors, KI 2004: Advances in Artificial Intelligence, 3228 of Lecture Notes in Artificial Intelligence, pages 256-269, September 2004. Springer. ISBN 0302-9743. [URL] [PDF] [BIB]

Benno Stein and Sven Meyer zu Eissen. Topic Identification: Framework and Application. In Klaus Tochtermann and Hermann Maurer, editors, Proceedings of the 4th International Conference on Knowledge Management (I-KNOW 04), Graz, Austria, Journal of Universal Computer Science, pages 353-360, July 2004. Know-Center. ISSN 0948-6968. [PDF] [BIB]

Benno Stein and Sven Meyer zu Eissen. AIsearch: Category Formation of Web Search Results. Notes in Computer Science , University of Paderborn, Germany, Department of Mathematics and Computer Science, July 2003. [PDF] [BIB]

Sven Meyer zu Eissen and Benno Stein. The AIsearch Meta Search Engine Prototype. In Amit Basu and Soumitra Dutta, editors, Proceedings of the 12th Workshop on Information Technology and Systems (WITS 02), Barcelona, Spain, December 2002. Technical University of Barcelona. [PDF] [BIB]

Benno Stein and Sven Meyer zu Eissen. Document Categorization with MajorClust. In Amit Basu and Soumitra Dutta, editors, Proceedings of the 12th Workshop on Information Technology and Systems (WITS 02), Barcelona, Spain, pages 91-96, December 2002. Technical University of Barcelona. [PDF] [BIB]

Data Mining and Machine Learning

Tim Gollub and Benno Stein. Unsupervised Sparsification of Similarity Graphs. In Hermann Locarek-Junge and Claus Weihs, editors, Proceedings of the 11th IFCS Biennial Conference and 33rd Annual Conference of the Gesellschaft für Klassifikation e.V. (to appear), 2009. [PDF] [BIB]

Benno Stein and Sven Meyer zu Eissen. Weighted Experts: A Solution for the Spock Data Mining Challenge. In Klaus Tochtermann and Hermann Maurer, editors, Proceedings of the 8th International Conference on Knowledge Management (I-KNOW 08), Graz, Journal of Universal Computer Science, pages 358-365, September 2008. Springer. ISSN 0948-695x. [PDF] [BIB]

Benno Stein and Nedim Lipka and Sven Meyer zu Eissen. Meta Analysis within Authorship Verification. In A. M. Tjoa and R. R. Wagner, editors, 19th International Conference on Database and Expert Systems Applications (DEXA 08), pages 34-39, September 2008. IEEE. ISBN 978-0-7695-3299-8. ISSN 1529-4188. [URL] [PDF] [BIB]

Benno Stein and Daniel Curatolo. Phonetic Spelling and Heuristic Search. In Gerhard Brewka and Silvia Coradeschi and Anna Perini and Paolo Traverso, editors, 17th European Conference on Artificial Intelligence (ECAI 06), August 2006. IOS Press. ISBN 1-58603-642-4. ISSN 0922-6389. [PDF] [BIB]

Benno Stein and Michael Busch. Density-based Cluster Algorithms in Low-dimensional and High-dimensional Applications. In Benno Stein and Sven Meyer zu Eissen, editors, Second International Workshop on Text-Based Information Retrieval (TIR 05), Koblenz, Germany, Fachberichte Informatik, pages 45-56, September 2005. University of Koblenz-Landau, Germany. ISSN 1860-4471. [PDF] [BIB]

Sven Meyer zu Eissen and Benno Stein. Wrapper Generation with Patricia Trees. In B. Stein, S. Meyer zu Eissen, and A. Nürnberger, editors, Machine Learning and Interaction for Text-Based Information Retrieval (TIR 04), Ulm, Germany, Workshop Proceedings, pages 69-76, September 2004. University of Ulm Germany. [PDF] [BIB]

Benno Stein and Sven Meyer zu Eissen. Automatic Document Categorization: Interpreting the Performance of Clustering Algorithms. In A. Günter, R. Kruse, and B. Neumann, editors, KI 2003: Advances in Artificial Intelligence, 2821 of Lecture Notes in Artificial Intelligence, pages 254-266, September 2003. Springer. ISBN 3-540-20059-2. [URL] [PDF] [BIB]

Benno Stein, Sven Meyer zu Eissen, and Frank Wissbrock. On Cluster Validity and the Information Need of Users. In M. H. Hanza, editor, Proceedings of the International Conference on Artificial Intelligence and Applications (AIA 03), Benalmadena, Spain, pages 216-221, September 2003. ACTA Press. ISBN 0-88986-390-3. ISSN 1482-7913. [PDF] [BIB]

Sven Meyer zu Eissen and Benno Stein. Analysis of Clustering Algorithms for Web-based Search. In Dimitris Karagiannis and Ulrich Reimer, editors, Practical Aspects of Knowledge Management, 2569 of Lecture Notes in Artificial Intelligence, pages 168-178, December 2002. Springer. ISBN 3-540-00314-2. [PDF] [BIB]

Benno Stein and Uwe Husemeyer. Generierung heuristischer Modelle zur Diagnose. In Klaus Panreck and Frank Dörrscheidt, editors, Proceedings of the 15th Symposium Simulationstechnik (ASIM 01), Paderborn, Germany, Frontiers in Simulation, pages 107-112, September 2001. SCS Publishing House. ISBN 1-56555-229-6. [PDF] [BIB]

Benno Stein and Oliver Niggemann. Generation of Similarity Measures from Different Sources. In L. Monostori, J. Vancza, and M. Ali, editors, Proceedings of the 14th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (IEA/AIE 01), Budapest, Hungary, 2070 of Lecture Notes in Artificial Intelligence, pages 197-206, June 2001. Springer. ISBN 3-540-42219-6. [PDF] [BIB]

Benno Stein and Oliver Niggemann. On the Nature of Structure and its Identification. In P. Widmayer, G. Neyer, and S. Eidenbenz, editors, Graph-Theoretic Concepts in Computer Science, 1665 of Lecture Notes in Computer Science, pages 122-134, June 1999. Springer. ISBN 3-540-66731-8. [PDF] [BIB]

Benno Stein. Generating Heuristics to Control Configuration Processes. Applied Intelligence, 10 (2/3) : 247-255, March 1999. ISBN 0924-669X. [PDF] [BIB]

Benno Stein, Oliver Niggemann, and Uwe Husemeier. Learning Complex Similarity Measures. In Reinhold Decker and Wolfgang Gaul, editors, Classification and Information Processing at the Turn of the Millenium, pages 254-263, 2000. Springer. ISBN 3-540-67589-2. [PDF] [BIB]

Oliver Niggemann and Benno Stein. Structure Identification—Concept, Operationalization, and Application. Notes in Computer Science tr-ri-98-203, University of Paderborn, Germany, Department of Mathematics and Computer Science, November 1998. [PDF] [BIB]

Benno Stein and Daniel Curatolo. Selection of Numerical Methods in Specific Simulation Applications. In J. Mira, A. P. del Pobil, and M. Ali, editors, 11th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (IEA/AIE 98), Benicassim, Spain, 1416 of Lecture Notes in Artificial Intelligence, pages 918-927, June 1998. Springer. ISBN 3-540-64574-8. [URL] [PDF] [BIB]

Benno Stein, Daniel Curatolo, and Hans Kleine Büning. Speeding up the Simulation of Fluidic Systems by a Knowledge-Based Selection of Numerical Methods. Euromech Colloquium 370 Synthesis of Mechatronic Systems, September 1997. University of Duisburg Germany. [PDF] [BIB]

Information Visualization

Benno Stein and Frank Benteler. On the Generalized Box-Drawing of Trees: Survey and New Technology. In Klaus Tochtermann and Hermann Maurer, editors, Proceedings of the 7th International Conference on Knowledge Management (I-KNOW 07), Graz, Journal of Universal Computer Science, pages 408-415, September 2007. Springer. ISSN 0948-695x. [PDF] [BIB]

Oliver Niggemann, Benno Stein, and Jens Tölle. Visualization of Traffic Structures. Proceedings of the IEEE International Conference on Communications (ICC 01), Helsinki, Finland, pages 1516-1521, June 2001. IEEE. ISBN 0-7803-7097-1. [PDF] [BIB]

Oliver Niggemann and Benno Stein. Visualization by Example. In Martin E. Müller, editor, 8th GI-Workshop Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen (ABIS 00), Osnabrück, Germany, pages 85-92, September 2000. University of Osnabrück. [PDF] [BIB]

Oliver Niggemann and Benno Stein. A Meta Heuristic for Graph Drawing. In V. Di Gesu, S. Levialdi, and L. Tarantino, editors, Working Conference on Advanced Visual Interfaces (AVI 00), Palermo, Italy, pages 286-289, May 2000. Association of Computing Machinery, ACM. ISBN 1-58113-252-2. [PDF] [BIB]

Oliver Niggemann, Benno Stein, and Michael Suermann. On Resource-based Configuration: Rendering Component-Property Graphs. In Jürgen Sauer and Benno Stein, editors, 12. Workshop Planen und Konfigurieren (PUK 98), Notes in Computer Science, tr-ri-98-193, pages 65-72, April 1998. University of Paderborn, Germany, Department of Mathematics and Computer Science. [PDF] [BIB]

Software Engineering and Web Engineering

Sven Meyer zu Eissen and Benno Stein. An MDA Approach to Implement Personal IR Tools. In A. M. Tjoa and R. R. Wagner, editors, 18th International Conference on Database and Expert Systems Applications (DEXA 07), pages 259-263, September 2007. IEEE. ISBN 0-7695-2932-1. ISSN 1529-4188. [URL] [PDF] [BIB]

Sven Meyer zu Eissen and Benno Stein. Service-orientierte Architekturen für Information Retrieval. In Norbert Fuhr and Sebastian Goeser and Thomas Mandl, editors, Proceedings of the Special Interest Group Information Retrieval (FGIR 06), Hildesheimer Informatikberichte, pages 77-83, October 2006. Universität Hildesheim. ISSN 0941-3014. [PDF] [PDF] [BIB]

Sven Meyer zu Eissen and Benno Stein. Realization of Web-based Simulation Services. Computers in Industry: Special Issue on Advanced Computer Support of Engineering and Service Processes of Virtual Enterprises, 57 (3) : 261-271, April 2006. [URL] [PDF] [BIB]

Sven Meyer zu Eissen and Benno Stein. Web-based Simulation: Application Scenarios and Realization Alternatives. In Imre Horvath and Paul Xirouchakis, editors, Proceedings of the 5th International Symposium on Tools and Methods of Competitive Engineering (TMCE 04), Lausanne, Switzerland, 2 pages 1011-1020, April 2004. Millpress. ISBN 90-5966-018-8. [PDF] [BIB]

System Analysis, Diagnosis, and Modeling

Oliver Niggemann, Benno Stein, Thomas Spanuth, and Heinrich Balzer. Using Models for Dynamic System Diagnosis: A Case Study in Automotive Engineering. In H. Giese et al., editors, Proceedings of the 5. Dagstuhl-Workshop Modellbasierte Entwicklung eingebetteter Systeme (MBEES 09), pages 46-56, April 2009. University of Braunschweig. [PDF] [BIB]

Heinrich Balzer, Benno Stein, and Oliver Niggemann. Diagnose in verteilten automotiven Systemen. In Jürgen Gausemeier, editor, 5. Paderborner Workshop Entwurf mechatronischer Systeme, 210 of HNI-Schriftenreihe, pages 243-254, March 2007. Heinz Nixdorf Institut. ISBN 978-3-939350-29-3. [PDF] [BIB]

Benno Stein, Oliver Niggemann, and Heinrich Balzer. Diagnosis in Automotive Applications—A Case Study with the Model Compilation Approach. In Franz Wotawa, editor, Third Monet-Workshop on Model-Based Systems (MBS 06), pages 34-40, August 2006. University of Trento, Italy. [PDF] [BIB]

Benno Stein, Oliver Niggemann, and Theodor Lettmann. Speeding up Model-based Diagnosis by a Heuristic Approach to Solving SAT. In Vladan Devedzic, editor, Proceedings of the IASTED International Conference on Artificial Intelligence and Applications (AIA 06), Innsbruck, Austria, pages 273-278, February 2006. ACTA Press. ISBN 0-88986-558-2. [PDF] [BIB]

Benno Stein. Engineers Don't Search. In Wolfgang Lenski, editor, Symposium on Logic versus Approximation, Schloss Dagstuhl, Germany, 3075 of Lecture Notes in Computer Science, pages 120-137, October 2003. Springer. ISBN 3-540-22562-5. [URL] [PDF] [BIB]

Benno Stein. Model Compilation and Diagnosability of Technical Systems. In M. H. Hanza, editor, Proceedings of the 3rd IASTED International Conference on Artificial Intelligence and Applications (AIA 03), Benalmadena, Spain, pages 191-197, September 2003. ACTA Press. ISBN 0-88986-390-3. ISSN 1482-7913. [PDF] [BIB]

Andre Schulz and Benno Stein. Grammar-Based Design and Analysis of Technical Systems. In H. Ehrig, B. J. Krämer, and A. Ertas, editors, Proceedings of the 6th World Conference on Integrated Design and Process Technology (IDPT 02), Pasadena, California, June 2002. Society for Design and Process Sience. ISSN 1090-9389. [PDF] [BIB]

Benno Stein. Model Construction in Analysis and Synthesis Tasks. Habilitation, University of Paderborn, Germany, Department of Mathematics and Computer Science, June 2001. [URL] [PDF] [BIB]

Benno Stein and Elmar Vier. Structural Analysis in Control Systems Design of Hydraulic Drives. Engineering Applications of Artificial Intelligence, EAAI, 13 (6) : 741-750, December 2000. [PDF] [BIB]

Benno Stein and Andre Schulz. Topological Analysis of Hydraulic Systems. Notes in Computer Science tr-ri-98-197, University of Paderborn, Germany, Department of Mathematics and Computer Science, July 1998. [PDF] [BIB]

Benno Stein, Daniel Curatolo, and Marcus Hoffmann. Simulation in FluidSIM. In Helena Szczerbicka, editor, Workshop Simulation in wissensbasierten Systemen (SIWIS 98), Paderborn, Germany, ASIM Notes, 61, April 1998. Fachausschuss 4.5 ASIM – Arbeitsgemeinschaft Simulation, Fachgruppe 4.5.3 Simulation und Künstliche Intelligenz der GI. [PDF] [BIB]

Thorsten Hesse and Benno Stein. Hybrid Diagnosis in the Fluidic Domain. In E. Alpaydin and C. Fyfe, editors, International ICSC Symposium on Engineering of Intelligent Systems (EIS 98), La Laguna, Spain, pages 893-899, February 1998. ICSI Academic Press. ISBN 3-906454-11-8. [PDF] [BIB]

Benno Stein, Daniel Curatolo, and Marcus Hoffmann. Enriching Engineering Education in Fluidics. In Darush Davani and David Elizandra, editors, Western Multiconference (WMC 98) featuring International Conference on Simulation and Multimedia in Engineering Education (ICSEE 98), pages 274-279, January 1998. The Society for Computer Simulation International SCS. ISBN 1-56555-142-7. [PDF] [BIB]

Elmar Vier, Benno Stein, and Marcus Hoffmann. Strukturelle Formulierung von Anforderungen an hydrostatische Antriebe. MSRT 8/97, University of Duisburg, Germany, Department of Measurement and Control, Faculty of Mechanical Engineering, November 1997. [PDF] [BIB]

Hans Kleine Büning and Benno Stein. Design and Realization of a Knowledge-based System that Supports the Setting into Operation of Hydraulic Systems. Notes in Computer Science tr-ri-95-166, University of Paderborn, Germany, Department of Mathematics and Computer Science, August 1995. [PDF] [BIB]

Hans Kleine Büning and Benno Stein. Ein wissensbasiertes System zur Inbetriebnahmeunterstützung. DFG Report University of Paderborn, Germany, Department of Mathematics and Computer Science, March 1993. [PDF] [BIB]

Benno Stein and Ralph Lemmen. ArtDeco: A System which Assists the Checking of Hydraulic Circuits. 10th European Conference on Artificial Intelligence (ECAI 92), Workshop for Model-Based Reasoning, Vienna, Austria, pages 92-97, July 1992. Christian Doppler Laboratory for Expert Systems. [PDF] [BIB]

System Synthesis, Design, and Modeling

Benno Stein. Advances of Computational Intelligence in Industrial Systems, chapter Model Construction for Knowledge-Intensive Engineering Tasks, pages 139-167. Springer, 2008. ISBN 978-3-540-78296-4. [URL] [PDF] [BIB]

Benno Stein. Coping with Large Design Spaces. International Journal on Software Tools for Technology Transfer (STTT), 10 : 3, pages 233-245, June 2008. ISBN 1433-2779. [URL] [PDF] [BIB]

Benno Stein, Michael Suermann, Hans Kleine Büning, Hans-Werner Kelbassa, Andreas Reckmann, Rainer Tellmann, Carsten Thurau, and Hans-Gerd Wiegard. Fallbasiertes Schließen — Grundlagen und Anwendungen für Konstruktions- und Entwurfsaufgaben. Notes in Computer Science tr-ri-07-279, University of Paderborn, Germany, Computer Science Institute, January 2007. [PDF] [BIB]

Theodor Lettmann and Benno Stein. An Extensible Synthesis Framework. In Stefan Edelkamp and Benno Stein, editors, New Results in Planning, Scheduling, and Design (PUK 04), Workshop Proceedings, pages 100-105, September 2004. University of Ulm, Germany. [PDF] [BIB]

Stefan Edelkamp and Benno Stein, editors. New Results in Planning, Scheduling, and Design (PUK 04), Ulm, Germany, University of Ulm, Germany, September 2004. [PDF] [BIB]

Benno Stein. Design Problem Solving by Functional Abstraction. In Jürgen Sauer, editor, 16. Workshop Planen und Konfigurieren (PUK 02) Freiburg, Germany, October 2002. [PDF] [BIB]

Karlheinz Ochs and Benno Stein. On the Design and Use of Wave Digital Structures. Notes in Computer Science tr-ri-01-228, University of Paderborn, Germany, Department of Mathematics and Computer Science, November 2001. [PDF] [BIB]

Karlheinz Ochs and Benno Stein. Systematischer Entwurf von Wellendigitalstrukturen. In Klaus Panreck and Frank Dörrscheidt, editors, Proceedings of the 15th Symposium Simulationstechnik (ASIM 01), Paderborn, Germany, Frontiers in Simulation, pages 61-66, September 2001. SCS Publishing House. ISBN 1-56555-229-6. [PDF] [BIB]

Andre Schulz, Benno Stein, and Annett Kurzok. On the Automated Design of Technical Systems. Notes in Computer Science tr-ri-00-218, University of Paderborn, Germany, Department of Mathematics and Computer Science, June 2001. [PDF] [BIB]

Benno Stein and Andre Schulz. Modeling Design Knowledge on Structure. In G. Engels, A. Oberweis, and A. Zündorf, editors, Proceedings of the Symposium Modellierung 2001, P-1 of Lecture Notes in Informatics, LNI, pages 38-48, March 2001. Gesellschaft für Informatik. ISBN 3-88579-330-X. [PDF] [BIB]

Benno Stein. How Case-Based Methods Can Automate Fluidic Circuit Design. In M. Ivantysynova, R. Lasaar, and M. Oppermann, editors, 1st Fluid Power Network International PHD Symposium (FPNI 00), Hamburg, pages 137-148, September 2000. Technical University of Hamburg Harburg. ISBN 3-00-006510-5. [PDF] [BIB]

Andre Schulz, Benno Stein, and Annett Kurzok. On Automated Design in Chemical Engineering. In R. J. Howlett and L. C. Jain, editors, 4th International Conference on Knowledge-based Intelligent Engineering Systems & Allied Technologies (KES 00), Brighton, pages 261-266, September 2000. IEEE. ISBN 0-7803-6400-7. [PDF] [BIB]

Klaus Ulrich Leweling and Benno Stein. Hybrid Constraints in Automated Model Synthesis and Model Processing. In Susanne Heipcke and Mark Wallace, editors, 5th International Conference on Principles and Practice of Constraint Programming (CP 99), Workshop on Large Scale Combinatorial Optimization and Constraints, Alexandria, Virginia, pages 45-56, October 1999. Dash Associates. [PDF] [BIB]

Benno Stein and Marcus Hoffmann. On Adaptation in Case-Based Design. In R. Parenti and F. Masulli, editors, Third International ICSC Symposia on Intelligent Industrial Automation (IIA 99) and Soft Computing (SOCO 99), Genova, Italy, June 1999. ICSI Academic Press. ISBN 3-906454-17-7. [PDF] [BIB]

Benno Stein and Elmar Vier. An Approach to Formulate and to Process Design Knowledge in Fluidics. In Nikos E. Mastorakis, editor, Recent Advances in Information Science and Technology, pages 237-242, October 1998. World Scientific Publishing. ISBN 981-02-3644-1. [PDF] [BIB]

Elmar Vier and Benno Stein. Knowledge-based Control Systems Design for Fluid Power Systems. In Nikos E. Mastorakis, editor, Recent Advances in Information Science and Technology, pages 231-236, October 1998. World Scientific Publishing. ISBN 981-02-3644-1. [PDF] [BIB]

Jürgen Sauer and Benno Stein, editors. 12. Workshop Planen und Konfigurieren (PUK 98), Paderborn, Germany, Notes in Computer Science. number tr-ri-98-193 in University of Paderborn, Germany, April 1998. [PDF] [BIB]

Benno Stein. Supporting Hydraulic Circuit Design by Efficiently Solving the Model Synthesis Problem. In E. Alpaydin and C. Fyfe, editors, International ICSC Symposium on Engineering of Intelligent Systems (EIS 98), La Laguna, Spain, pages 1274-1280, February 1998. ICSI Academic Press. ISBN 3-906454-11-8. [PDF] [BIB]

Elmar Vier and Benno Stein. Modeling of Design Strategies for Hydraulic Control Systems. In M. H. Hanza, editor, 17th IASTED International Conference on Modelling, Identification and Control (MIC 98), Grindelwald, Switzerland, pages 213-216, February 1998. ACTA Press. ISBN 0-88986-248-6. [PDF] [BIB]

Hans Kleine Büning, Benno Stein, and Daniel Curatolo. Software zur Entwurfsunterstützung in der Hydraulik. Forschungsforum, University of Paderborn, Germany, 3 1-4, October 1997. [PDF] [BIB]

Oliver Niggemann, Benno Stein, and Michael Suermann. Approaches for Solving the Cable Management Problem. In Dominique de Werra and Thomas M. Liebling, editors, 16th International Symposium on Mathematical Programming (ISMP 97), Lausanne, Switzerland, July 1997. Ecole Polytechnique Federale de Lausanne EPFL. [PDF] [BIB]

Benno Stein and Elmar Vier. Computer-Aided Control Systems Design for Hydraulic Drives. In L. Boullart, M. Loccufier, and S. E. Mattsson, editors, 7th IFAC Symposium on Computer-Aided Control Systems Design (CACSD 97), Ghent, Belgium, April 1997. University of Ghent and the Belgian Institute for Automatic Control (BIRA). [PDF] [BIB]

Benno Stein. Optimized Design of Fluidic Drives—Objectives and Concepts. Notes in Computer Science tr-ri-97-189, University of Paderborn, Germany, Department of Mathematics and Computer Science, August 1996. [PDF] [BIB]

Benno Stein and Daniel Curatolo. Model Formulation and Configuration of Technical Systems. In J. Sauer, A. Günter, and J. Hertzberg, editors, 10. Workshop Planen und Konfigurieren (PUK 96), Bonn, Germany, 3 of Proceedings in Artificial Intelligence, pages 56-70, April 1996. Infix. ISBN 3-92037-97-1. [PDF] [BIB]

Hans Kleine Büning, Daniel Curatolo, Marcus Hoffmann, Ralf Lemmen, Michael Suermann, and Benno Stein. ArtDeco – Entwurfsunterstützung in der Hydraulik. KI – Künstliche Intelligenz: Forschung, Entwicklung, Erfahrungen, 9 (5) : 49-55, September 1995. [PDF] [BIB]

Benno Stein. Functional Models in Configuration Systems. Dissertation, University of Paderborn, Germany, Department of Mathematics and Computer Science, June 1995. [URL] [PDF] [BIB]

Hans Kleine Büning, Daniel Curatolo, and Benno Stein. Knowledge-Based Support within Configuration and Design Tasks. In M. M. Tanik, A. Ertas, and I. I. Esat, editors, Second Biennial European Joint Conference on Engineering Systems Design and Analysis (ESDA 94), London, England, PD 64-5 of Lecture Notes in Artificial Intelligence, pages 435-441, July 1994. American Society of Mechanical Engineers. ISBN 0-7918-1280-4. [PDF] [BIB]

Hans Kleine Büning, Daniel Curatolo, and Benno Stein. Configuration Based on Simplified Functional Models. Notes in Computer Science tr-ri-94-155, University of Paderborn, Germany, Department of Mathematics and Computer Science, November 1994. [PDF] [BIB]

Ralf Lemmen and Benno Stein. Wissensbasierte Konfigurationsprüfung hydraulischer Anlagen. at – Automatisierungstechnik, 3 113-117, May 1994. [PDF] [BIB]

Ralf Lemmen and Benno Stein. Zeit ist Geld. Rechnerunterstützung bei Entwurf und Konfigurationsprüfung hydraulischer Anlagen. FLUID – Fachzeitschrift für Hydraulik, 32-34, April 1994. [PDF] [BIB]

Hans Kleine Büning, Daniel Curatolo, and Benno Stein. Unterstützung der Konfiguration, Auftragsbearbeitung und Konstruktion. In S. Jähnichen, editor, 17th European Congress Fair for Technical Communications (ONLINE 94), Hamburg, Germany, 1994. ONLINE GmbH. [PDF] [BIB]

Hans Kleine Büning and Benno Stein. Supporting the Configuration of Technical Systems. In Manfred Hiller and Bodo Fink, editors, Second Conference on Mechatronics and Robotics, Moers, Germany, pages 417-432, July 1993. IMECH, Mechatronics Institute. [PDF] [BIB]

Hans Kleine Büning and Benno Stein. Entwicklung von Konfigurierungssystemen. In Karl Kurbel, editor, Wirtschaftsinformatik – Innovative Anwendungen, Technologie, Integration (WI 93), pages 287-302, June 1993. Physica-Verlag. ISBN 3-7908-0673-0. [PDF] [BIB]

Oliver Najmann and Benno Stein. A Theoretical Framework of Configuration. In Fevzi Belli, editor, 5th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (IEA/AIE 92), Paderborn, Germany, 604 of Lecture Notes in Artificial Intelligence, pages 441-450, June 1992. Springer. ISBN 3-540-55601-X. [PDF] [BIB]

Oliver Najmann and Benno Stein. Zwei induktive Konfigurierungsmodelle. In Tilo Messer and Andreas Winklhofer, editors, 6. Workshop Planen und Konfigurieren (PUK 92), Munich, Germany, FR, 1992-001, pages 112-121, March 1992. FORWISS, Bavarian Research Center for Knowledge-Based Systems. ISSN 0938-0035. [PDF] [BIB]

Hans Kleine Büning, Benno Stein, and Jürgen Weiner. Wissensbasierte Methoden für die Angebotserstellung. Workshop für Qualitätssicherung, Leipzig, Germany, March 1991. [PDF] [BIB]

Benno Stein and Jürgen Weiner. Funktionale Modelle in der Konfigurierung. Series KI-NRW (Applications of Artificial Intelligence in North-Rhine Westphalia) 91-9, University of Duisburg, Germany, Department of Mathematics and Computer Science, October 1991. [PDF] [BIB]

Benno Stein and Jürgen Weiner. Model-Based Configuration. In Gerhard Friedrich and Franz Lackinger, editors, 7th Conference of the Austrian Society for Artificial Intelligence (OEGAI 91), Workshop for Model-Based Reasoning, Vienna, Austria, pages 63-73, 1991. Christian Doppler Laboratory for Expert Systems. [PDF] [BIB]

Benno Stein and Jürgen Weiner. Mokon – Modellbasierte Konfiguration technischer Anlagen. In Andreas Günter and Roman Cunis, editors, 5. Workshop Planen und Konfigurieren (PUK 91), Hamburg, Germany, LKI-M, 1/91, pages 100-106, April 1991. Laboratory for Artificial Intelligence. [PDF] [BIB]

Benno Stein and Jürgen Weiner. Mokon – Eine modellbasierte Entwicklungsplattform zur Konfiguration technischer Anlagen. Notes in Computer Science SM-DU-178, University of Duisburg, Germany, Department of Mathematics and Computer Science, September 1990. [PDF] [BIB]

Conceptual Artificial Intelligence

Oliver Kramer, Benno Stein, and Jürgen Wall. AI and Music: Toward a Taxonomy of Problem Classes. In Gerhard Brewka, Silvia Coradeschi, Anna Perini, and Paolo Traverso, editors, 17th European Conference on Artificial Intelligence (ECAI 06), August 2006. IOS Press. ISBN 1-58603-642-4. ISSN 0922-6389. [PDF] [BIB]

Benno Stein and Hans Kleine Büning. Dem Menschen abgeschaut – fallbasiertes Lösen von Problemen. Forschungsforum, University of Paderborn, Germany, 3 94-99, January 2000. [PDF] [BIB]

Martin Bauer, Benno Stein, and Jürgen Weiner. Problemklassen in Expertensystemen. KI – Künstliche Intelligenz: Forschung, Entwicklung, Erfahrungen, 3 13-18, September 1991. [PDF] [BIB]

Benno Stein. Deep Models in Expert Systems. Proceedings of the SPQR Workshop on Multiple Models, March 1991. IITB, Fraunhofer Institute for Information and Data Processing, Karlsruhe, Germany. [PDF] [BIB]

Benno Stein. Entwicklung von Expertensystemen. In Matthäus Schilcher, editor, Geo-Informatik 91: Anwendungen, Erfahrungen, Tendenzen, pages 235-247, February 1991. Siemens. ISBN 3-8009-1599-5. [PDF] [BIB]

Benno Stein. Tiefe Modelle in Expertensystemen – Einordung und Abgrenzung. University of Duisburg, Germany, Department of Mathematics and Computer Science, February 1991. [PDF] [BIB]

Logic and Hypergraphs

Matthias Hagen. Lower bounds for three algorithms for transversal hypergraph generation. Discrete Applied Mathematics, 157 (7) : 1460-1469, 2009. [URL] [PDF] [BIB]

Matthias Hagen, Peter Horatschek, and Martin Mundhenk. Experimental comparison of the two Fredman-Khachiyan-algorithms. In Irene Finocchi and John Hershberger, editors, Proceedings of the Workshop on Algorithm Engineering and Experiments, ALENEX 2009, New York, New York, USA, January 3, 2009, pages 154-161, 2009. SIAM. [URL] [PDF] [BIB]

Matthias Hagen. Algorithmic and Computational Complexity Issues of MONET. Dissertation, Institut für Informatik, Friedrich-Schiller-Universität Jena, December 2008. [PDF] [BIB]

Judy Goldsmith, Matthias Hagen, and Martin Mundhenk. Complexity of DNF minimization and isomorphism testing for monotone formulas. Information and Computation, 206 (6) : 760-775, 2008. ISBN . [URL] [PDF] [BIB]

Khaled M. Elbassioni, Matthias Hagen, and Imran Rauf. Some Fixed-Parameter Tractable Classes of Hypergraph Duality and Related Problems. In Martin Grohe and Rolf Niedermeier, editors, Parameterized and Exact Computation, Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings, volume 5018 of Lecture Notes in Computer Science, pages 91-102, 2008. Springer. ISBN 978-3-540-79722-7. [URL] [PDF] [BIB]

Matthias Hagen. On the fixed-parameter tractability of the equivalence test of monotone normal forms. Information Processing Letters, 103 (4) : 163-167, 2007. [URL] [PDF] [BIB]

Matthias Hagen. Lower Bounds for Three Algorithms for the Transversal Hypergraph Generation. In Andreas Brandstädt, Dieter Kratsch, and Haiko Müller, editors, Graph-Theoretic Concepts in Computer Science, 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers, volume 4769 of Lecture Notes in Computer Science, pages 316-327, 2007. Springer. ISBN 978-3-540-74838-0. [URL] [PDF] [BIB]

Matthias Hagen. Logarithmic Space Instances of Monotone Normal Form Equivalence Testing. Reports on Computer Science 06-10, Institut für Informatik, Friedrich-Schiller-Universität Jena, June 2006. [URL] [PDF] [BIB]

Judy Goldsmith, Matthias Hagen, and Martin Mundhenk. Complexity of DNF and Isomorphism of Monotone Formulas. In Joanna Jedrzejowicz and Andrzej Szepietowski, editors, Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005, Proceedings, volume 3618 of Lecture Notes in Computer Science, pages 410-421, 2005. Springer. ISBN 3-540-28702-7. [URL] [PDF] [BIB]

Page heading

Languages and Services

You are here menu

Subpage heading

Navigation