Publications of Klaus U. Schulz

2017

Stoyan Mihov and Klaus U. Schulz, Failure Transducers and Applications in Knowledge-Based Text Processing. In: Proceedings of the 13th International Conference in Finite State Methods and Natural Language Processing, FSMNLP 2017, Frank Drewes (Editor), Umeå, Sweden 2017, [http]

Stefan Gerdjikov, Stoyan Mihov and Klaus U. Schulz. A simple method for building bimachines from functional finite-state transducers. CIAA 2017 - 22nd International Conference Implementation and Application of Automata, 27--30 June 2017, Université Paris-Est Marne-la-Vallée (to appear).

Florian Fink, Klaus-U. Schulz, and Uwe Springmann. Profiling of OCR'ed Historical Texts Revisited. Proceedings of the 2nd Conference Digital Access to Textual Cultural Heritage Conference 2017 (to appear). ArXiv e-prints. [ http ]

2016

Uwe Springmann, Florian Fink, and Klaus U. Schulz. Automatic quality evaluation and (semi-) automatic improvement of OCR models for historical printings. ArXiv e-prints. [ http ]

2015

Uwe Springmann, Florian Fink, and Klaus U. Schulz Workshop: OCR & postcorrection of early printings for digital humanities. [ http ]

2014

Klaus Schulz and Florian Fink. Automated Assignment of Topics to OCRed Historical Texts. Proceeding DATeCH '14 Proceedings of the First International Conference on Digital Access to Textual Cultural Heritage, Pages 23-28.

Thorsten Vobl, Annette Gotscharek, Ulrich Reffle, Christoph Ringlstetter, Klaus U. Schulz PoCoTo - An Open Source System for Efficient Interactive Postcorrection of OCRed Historical Texts. Proceeding DATeCH '14 Proceedings of the First International Conference on Digital Access to Textual Cultural Heritage Pages 57-61.

Apostolos Antonacopoulos and Klaus U. Schulz Proceedings of the First International Conference on Digital Access to Textual Cultural Heritage. Conference DATeCH 2014 Digital Access to Textual Cultural Heritage 2014, Madrid, Spain ? May 19 - 20, 2014, ACM New York, NY, USA.

2013

Stefan Gerdjikov, Stoyan Mihov, Petar Mitankin and Klaus U. Schulz. WallBreaker - Overcoming the wall effect in similarity search. In: Proceeding EDBT '13, Proceedings of the Joint EDBT/ICDT 2013 Workshops, Pages 366-369.

Stefan Gerdjikov, Stoyan Mihov, Petar Mitankin and Klaus U. Schulz. Good parts first - a new algorithm for approximate search in lexica and string databases. arXiv:1301.0722

Lucia D. Krisnawati and Klaus U. Schulz. Plagiarism Detection for Indonesian Texts. In Weippl, E., et.al (Eds). Proceedings of 15th International Conference on Information Integration and Web-Based Applications & Services (iiWAS2013). ACM , Vienna, Austria. ISBN: 978-1-4503-2113-6 . pp. 595-599.

2012

Lukas Gander, Ulrich Reffle, Christoph Ringlstetter, Sven Schlarb, Klaus U. Schulz; Raphael Unterweger Facing Uncertainty in Digitisation. Studies in Fuzziness and Soft Computing, 2012, Volume 273, Soft Computing in Humanities and Social Sciences, Rudolf Seising & Veronica Sanz González (Hrsg.), pp. 195-207, Springer New York, 2012

2011

Annette Gotscharek, Ulrich Reffle, Klaus U. Schulz, Christoph Ringlstetter, Andreas Neumann. Towards information retrieval on historical document collections: the role of matching procedures and special lexica. International Journal of Document Analysis and Recognition 14(2): 159-171.

Richard Wudtke and Klaus U. Schulz Recognizing garbage in OCR output on historical documents. Proceedings of the 2011 Joint Workshop on Multilingual OCR and Analytics for Noisy Unstructured Text Data (MOCR_AND '11), ACM, New York, NY, USA.

Petar Mitankin, Stoyan Mihov, Klaus U. Schulz. Deciding word neighborhood with universal neighborhood automata. Theoretical Computer Science, Volume 412, Issue 22, 2011, Pages 2340-2355, doi:10.1016/j.tcs.2011.01.013.

Stoyan Mihov and Klaus U. Schulz. Computation of Similarity - Similarity Search as Computation. In: Soskov, I.; Soskova, A. (Eds.) Models of Computation in Context, Proc. of the 7th Int. Conf. on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Springer, Lecture Notes in Computer Science, Volume 6735, 2011, pp. 201-210.

2010

Roberto Basili, Daniel P. Lopresti, Shourya Roy, Klaus U. Schulz, L. Venkata Subramaniam. Proceedings of the Fourth Workshop on Analytics for Noisy Unstructured Text Data, AND 2010. Proceedings of CIKM 2010, pp. 1965-1966.

Roberto Basili, Daniel P. Lopresti, Shourya Roy, Klaus U. Schulz, L. Venkata Subramaniam. Summary of the 4th workshop on analytics for noisy unstructured text data (AND). Proceedings of CIKM 2010, pp. 1965-1966.

2009

Petar Mitankin, Stoyan Mihov and Klaus U. Schulz. Universal Levenshtein automata for a generalization of the Levenshtein distance. Annuaire de l'Universite de Sofia "St. Kl. Ohridski", Faculte de Mathematique et Informatique, Volume 99, pp. 5-23, 2009.

Ulrich Reffle, Annette Gotscharek, Christoph Ringlstetter and Klaus U. Schulz. Successfully Detecting and Correcting False Friends Using Channel Profiles. International Journal of Document Analysis and Recognition (IJDAR), 2009.

Annette Gotscharek, Andreas Neumann, Ulrich Reffle, Christoph Ringlstetter and Klaus U. Schulz. Enabling Information Retrieval on Historical Document Collections - the Role of Matching Procedures and Special Lexica . Proceedings of the ACM SIGIR 2009 Workshop on Analytics for Noisy Unstructured Text Data (AND 2009), Barcelona, 2009.

Annette Gotscharek, Andreas Neumann, Ulrich Reffle, Christoph Ringlstetter and Klaus U. Schulz. Constructing a Lexicon from a Historical Corpus. Conference of the American Association for Corpus Linguistics (AACL09), Edmonton 2009.

Annette Gotscharek, Ulrich Reffle, Christoph Ringlstetter and Klaus U. Schulz. On Lexical Resources for Digitization of Historical Documents. The 9th ACM Symposium on Document Engineering (DOCENG 2009).

2008

Hristo Ganchev, Stoyan Mihov, and Klaus U. Schulz: One-letter automata: How to reduce k tapes to one, In: Fritz Hamm and Stephan Kepser (ed): "Logics for Linguistic Structures"; pp. 35 - 55, Mouton de Gruyter, 2008.

Daniel Lopresti, Shourya Roy, Klaus Schulz,L. Venkata Subramaniam (Eds.): Proceedings of the Second Workshop on Analytics for Noisy Unstructured Text Data, Singapore, July 24 - 24, 2008. ACM International Conference Proceeding Series Vol. 303, 2008.

Eduardo Torres Schumann, Levin Brunner, Klaus U. Schulz and Christoph Ringlstetter: A Semantic Interface for Post Secondary Education Programs, Anual Meeting of the American Society for Information Science and Technology (ASIS&T), Columbus, Ohio, USA.

Ulrich Reffle, Klaus U. Schulz: Efficient Techniques for Approximate Record Matching modulo Permutation, In G. Gross & K. U. Schulz (eds.): Linguistics, Computer Science and Language Processing: Festschrift for Franz Guenthner on the Occasion of His 60th Birthday (Tributes). College Publications, London, 2008.

Ulrich Reffle, Annette Gotscharek, Christoph Ringlstetter, Klaus U. Schulz: Successfully Detecting and Correcting False Friends Using Channel Profiles. Proceedings of the 2nd Workshop on Analytics for Noisy Unstructured Text Data 2008 (AND 08): 17-22.

2007

Stoyan Mihov and Petar Mitankin and Klaus U. Schulz: Fast Selection of Small and Precise Candidate Sets from Dictionaries for Text Correction Tasks, Proceedings of International Conference on Document Analysis and Recognition 2007 (ICDAR 07).

Christoph Ringlstetter, Ulrich Reffle, Annette Gotscharek, Klaus U. Schulz: Deriving Symbol Dependent Edit Weights for Text Correction - the Use of Error Dictionaries, Proceedings of International Conference on Document Analysis and Recognition 2007 (ICDAR 07):639-643.

Andreas W. Hauser, Klaus U. Schulz: Unsupervised Learning of Edit Distance Weights for Retrieving Historical Spelling Variations, in: Finite State Techniques and Approximate Search, Stoyan Mihov and Klaus U. Schulz (eds.), Proceedings of the First Workshop on Finite-State Techniques and Approximate Search, September 30th, 2007, Borovets, Bulgaria, p.1-6.

Stoyan Mihov, Petar Mitankin, Annette Gotscharek, Ulrich Reffle, Klaus U. Schulz, Christoph Ringlstetter: Tuning the Selection of Correction Candidates for Garbled Tokens using Error Dictionaries, in: Finite State Techniques and Approximate Search, Stoyan Mihov and Klaus U. Schulz (eds.), Proceedings of the First Workshop on Finite-State Techniques and Approximate Search, September 30th, 2007, Borovets, Bulgaria, p.25-30.

Stoyan Mihov, Petar Mitankin, Annette Gotscharek, Ulrich Reffle, Klaus U. Schulz, Christoph Ringlstetter: Using Automated Error Profiling of Texts for Improved Selection of Correction Candidates for Garbled Tokens, Proceedings of the Twentieth Australian Joint Conference on Artificial Intelligence 2007 (AI07), Gold Coast, Australia: p.456-465.

Andrea Stubbe, Christoph Ringlstetter, and Klaus U. Schulz, Genre to Classify Noise - Noise to Classify Genre, International Journal on Document Analysis and Recognition, 10(3-4), pp. 199--209, 2007.

Christoph Ringlstetter, Klaus U. Schulz, Stoyan Mihov: Adaptive Text Correction with Web-Crawled Domain Dependent Dictionaries and Language Models, ACM Transactions on Speech and Language Processing (TSLP), 4(4), pp. 9:1-9:36, 2007.

Christoph Ringlstetter, Max Hadersbeck, Klaus U. Schulz and Stoyan Mihov: Text Correction Using Domain Dependent Bigram Models from Web Crawls. Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-2007) Workshop on Analytics for Noisy Unstructured Text Data, Hyderabad, India, January 2007.

Andreas Hauser, Markus Heller, Elisabeth Leiss, Klaus U. Schulz and Christiane Wanzeck: Information Access to Historical Documents from the Early New High German Period. Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-2007) Workshop on Analytics for Noisy Unstructured Text Data, Hyderabad, India, January 2007.

Andrea Stubbe, Christoph Ringlstetter and Klaus U. Schulz: Genre as Noise - Noise in Genre. Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-2007) Workshop on Analytics for Noisy Unstructured Text Data, Hyderabad, India, January 2007.

2006

Felix Weigel, Klaus U. Sschulz, Caching Schema Information and Intermediate Results for Fast Incremental XML Query Processing in RDBs.CIS-Bericht,2006. (pdf)

Felix Weigel and Klaus U. Schulz and Levin Brunner and Eduardo Torres-Schumann: Integrated Document Browsing and Data Acquisition for Building Large Ontologies. Proceedings of the 10th International Conference on Knowledge-Based & Intelligent Information & Engineering Systems (KES), Invited Session "Engineered Applications of Semantic Web" (SWEA), 2006.

Georg Gottlob, Christoph Koch and Klaus U. Schulz: Conjunctive Queries over Trees. Journal of the ACM 53(2), March 2006.

Christoph Ringlstetter, Klaus U. Schulz and Stoyan Mihov: Orthographic Errors in Web Pages - Towards Cleaner Web Corpora. Computational Linguistics 32(3) (September 2006), p. 295 - 340.

2005

Stoyan Mihov and Klaus U. Schulz: Efficient Dictionary-Based Text Rewriting using Subsequential Transducers. Journal of Natural Language Engineering, 2005.

Felix Weigel, Klaus U. Schulz and Holger Meuss: Exploiting Native XML Indexing Techniques for XML Retrieval in Relational Database Systems. Proceedings of the 7th ACM International Workshop on Web Information and Data Management (WIDM).2005.

Manfred Schmidt-Schauß and Klaus U. Schulz: Decidability of Bounded Higher-Order Unification. Journal of Symbolic Computation, Volume 40 (2), pp. 905-954, August 2005.

Felix Weigel, Holger Meuss and Klaus U. Schulz: The BIRD Numbering Scheme for XML and Tree Databases - Deciding and Reconstructing Tree Relations using Efficient Arithmetic Operations . Proceedings of the 3rd International XML Database Symposium (XSym).2005.

Christoph Ringlstetter, Klaus U. Schulz, Stoyan Mihov and Katerina Louka: The Same is Not The Same - Postcorrection of Alphabet Confusion Errors in Mixed-Alphabet OCR Recognition. Proceedings of the 8th International Conference on Document Analysis and Recognition ICDAR'05, pp. 406-410 , 2005.
Paper, © IEEE Computer Society

Stoyan Mihov, Klaus U. Schulz, Christoph Ringlstetter, Veselka Dojchinova, Vanja Nakova, Kristina Kalpakchieva,Ognjan Gerasimov, Annette Gotscharek and Claudia Gehrcke: A Corpus for Comparative Evaluation of OCR Software and Postcorrection Techniques. Proceedings of the 8th International Conference on Document Analysis and Recognition ICDAR'05, pp. 162-166, 2005.
Paper, © IEEE Computer Society

Holger Meuss, Klaus U. Schulz, Felix Weigel, Simone Leonardi and François Bry: Visual Exploration and Retrieval of XML Document Collections with the Generic System X2. Journal on Digital Libraries, Special Issue on Information Visualization Interfaces for Retrieval and Analysis, 2005.
Paper, © Springer Verlag

Eduardo Torres and Klaus U. Schulz: Stable Methods for Recognizing Acronym-Expansion Pairs: From Rule Sets to Hidden Markov Models. Accepted for publication in the International Journal of Document Analysis and Recognition IJDAR, 2005.

2004

Felix Weigel, Klaus U. Schulz and Holger Meuss: Ranked Retrieval of Structured Documents with the S-Term Vector Space Model. Advances in XML Information Retrieval:Proceedings of the 3rd International Workshop of the Initiative for the Evaluation of XML Retrieval (INEX), LNCS 3493, pp. 238-252, 2004
© Springer Verlag .

S. Abdennadher, J. Alves Alferes, G. Antoniou, U. Assmann, R. Backofen, C. Baroglio, P. A. Bonatti, F. Bry, W. Drabent, N. Eisinger, N. E. Fuchs, T. Geisler, N. Henze, J. Maluszynski, M. Marchiori, A. Martelli, S. Carro Martine, H. Jürgen Ohlbach, S. Schaffert, M. Schroeder, K. U. Schulz, U. Schwertel and G. Wagner: Automated Reasoning on the Web. Communications of Applied Logic, 2004.

Stoyan Mihov and Klaus U. Schulz: Efficient Dictionary-Based Text Rewriting using Subsequential Transducers. CIS-Bericht, Centrum für Informations- und Sprachverarbeitung, Universität München, 2004.
Paper

Felix Weigel, Holger Meuss, Klaus U. Schulz and François Bry: Content and Structure in Indexing and Ranking XML. Proceedings of the 7th International Workshop on the Web and Databases,(WebDB), pp. 67-72, 2004.

Stoyan Mihov, Svetla Koeva, Christoph Ringlstetter, Klaus U. Schulz and Christian Strohmaier: Precise and Efficient Text Correction using Levenshtein Automata, Dynamic Web Dictionaries and Optimized Correction Models. Proceedings of the Workshop on International Proofing Tools and Language Technologies, Patras, 2004.

Stoyan Mihov and Klaus U. Schulz: Fast approximate search in large dictionaries. Computational Linguistics, Vol. 30(4), pp. 451-477, 2004.
Paper

Georg Gottlob, Christoph Koch and Klaus U. Schulz: Conjunctive Queries over Trees. Proceedings of the ACM SIG-SIGMOD-SIGART Symposium on Principles of Database Systems, ACM Press, pp. 189-200, 2004.

Felix Weigel, Holger Meuss, François Bry and Klaus U. Schulz: Content-Aware DataGuides: Interleaving IR and DB Indexing Techniques for Efficient Retrieval of Textual XML Data. Advances in Information Retrieval: Proceedings of the 26th European Conference on Information Retrieval (ECIR), LNCS 2997, pp. 378-393, 2004.
© Springer Verlag .

2003

Hristo Ganchev, Stoyan Mihov and Klaus U. Schulz: One-Letter Automata: How to Reduce k Tapes to One. CIS-Bericht-03-133, Centrum für Informations- und Sprachverarbeitung, Universität München, 2003.
Paper

Klaus U. Schulz and Felix Weigel: Systematics and Architecture for a Resource Representing Knowledge about Named Entities. Proceedings of the Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR), pp. 189-207, 2003
© Springer Verlag .

Christian Strohmaier, Christoph Ringlstetter, Klaus U. Schulz and Stoyan Mihov: A Visual and Interactive Tool for Optimizing Lexical Postcorrection of OCR-Results. Proceedings of the Workshop on Document Image Analysis and Retrieval DIAR'03, 2003.
Paper

Christian Strohmaier, Christoph Ringlstetter, Klaus U. Schulz and Stoyan Mihov: Lexical Postcorrection of OCR-results: The Web as a Dynamic Secondary Dictionary? Proceedings of the 7th International Conference on Document Analysis and Recognition ICDAR'03, pp. 1133 - 1137, 2003.
Paper

Holger Meuss, Klaus U. Schulz, and François Bry: Visual Querying and Exploration of Large Answers in XML Databases with X²: A Demonstration. Proceedings of the International Conference on Data Engineering, ICDE'03.

2002

Klaus U. Schulz and S. Mihov: Fast String Correction with Levenshtein-Automata. International Journal of Document Analysis and Recognition (IJDAR) 5(1):67-85, 2002.

Manfred Schmidt-Schauß and Klaus U. Schulz. Decidability of bounded higher-order unification. Computer Science Logic, 16th international Workshop, CSL 2002, J. Bradfield (Ed.), Springer LNCS 2471, pp. 522-536.

Klaus U. Schulz and Holger Meuss: Querying. In L. Lemnitzer und C. Lobin (eds.). Text Technologie. Perspektiven und Anwendungen. Stauffenberg-Verlag, 2002.

Manfred Schmidt-Schauß and Klaus U. Schulz. Solvability of Context Equations with Two Context Variables is Decidable. Journal of Symbolic Computation, 33(1):77-122, 2002.

2001

Holger Meuss and Klaus U. Schulz: Complete Answer Aggregates for Tree-like Databases: A Novel Approach to Combine Querying and Navigation. ACM Transactions on Information Systems (TOIS), 19(2):161-215, 2001.

Stephan Kepser and Klaus U. Schulz. Combination of Constraint Systems II: Rational Amalgamation. Theoretical Computer Science, 266:113-157, 2001.

Klaus U. Schulz and S. Mihov: Fast String Correction with Levenshtein-Automata. CIS-Bericht-01-127, Centrum für Informations- und Sprachverarbeitung, Universität München, 2001.
(gzipped Paper)

Manfred Schmidt-Schauß and Klaus U. Schulz. Decidability of bounded higher-order unification. Forschungsbericht, Centrum für Informations- und Sprachverarbeitung, Universität München, 2001.

Holger Meuss, Klaus U. Schulz, and François Bry: Towards Aggregated Answers for Semistructured Data. In Proceedings of the International Conference on Database Theory ICDT'2001.
(Extended Abstract, gzipped) (Full version, gzipped)

Franz Baader and Klaus U. Schulz. Combining Constraint Solving. In H. Comon and R. Treinen (eds.). Constraints in Computational Logics - Theory and Applications, number 2002, pages 1104-158. Springer LNCS, 2001.

2000

Klaus U. Schulz. Tractable and Intractable Instances of Combination Problems for Unification and Disunification. Journal of Logic and Computation, volume 10(1), pp. 105-135, 2000.

Klaus U. Schulz. Why Combined Decision Problems are often Intractable. Frontiers of Combining Systems, 3rd International Workshop FroCoS'2000, Springer LNAI 1794, pp. 217-244, 2000.

1999

Holger Meuss and Klaus U. Schulz: Complete Answer Aggregates for Answer Mappings to Sequence, Tree and Graph Databases, submitted for publication.
Extended Abstract (gzipped), Full Version (gzipped)

Manfred Schmidt-Schauß and Klaus U. Schulz. Solvability of context equations with two context variables is decidable. Automated Deduction, Proceedings CADE 16, Springer LNAI, 1999.

Franz Baader and Klaus U. Schulz. Combining Constraint Solving. Proceedings of the First Summer School of Constraints in Computational Logic, Gif-Sur-Yvette, 1999.

Klaus U. Schulz and Tomek Mikolajewski. Between Finite State and Prolog: Constraint-Based Automata for Efficient Recognition of Phrases. ACL Sudies in Natural Language Processing series (Cambridge University Press).
Paper

Rolf Backofen, François Bry, Peter Clote, Hans-Peter Kriegel, Thomas Seidl, and Klaus U. Schulz. Aktuelles Schlagwort: Bioinformatik. Informatik Spektrum, Springer Verlag, Oktober 1999.

1998

Holger Meuss and Klaus U. Schulz. Complete Answer Aggregates for Structured Document Retrieval. CIS-Bericht-98-112, Centrum für Informations- und Sprachverarbeitung, Universität München, 1998.
gzipped Paper

Manfred Schmidt-Schauss and Klaus U. Schulz. Solvability of Context Equations with two Context Variables is Decidable. CIS-Bericht-98-114, Centrum für Informations- und Sprachverarbeitung, Universität München, 1998.
Paper

Franz Baader, Klaus U. Schulz, Jörn Richts, and Stephan Kepser. Abschlussbericht an die DFG. Final project report, 1998.
Paper (available only in German.)

Franz Baader and Klaus U. Schulz. Combination of Constraint Solvers for Free and Quasi-Free Structures. Theoretical Computer Science 192:107-161, 1998.
Abstract

Manfred Schmidt-Schauss and Klaus U. Schulz. On the Exponent of Periodicity of Minimal Solutions of Context Equations. in: Proceedings of Rewriting Techniques and Applications 1998, T. Nipkow (ed.), Springer LNCS, 1998.

Franz Baader and Klaus U. Schulz. Unification Theory -- An Introduction. in: Automated Deduction. A basis for application. W. Bibel and P.H. Schmitt (eds.), Kluwer Academic Publishers, 1998.

Klaus U. Schulz and Tomek Mikolajewski. Between Finite State and Prolog: Constraint-Based Automata for Efficient Recognition of Phrases. Journal of Natural Language Engineering, Vol 2 No 4.
Abstract

1997

Klaus U. Schulz. A Criterion for Intractability of E-unification with free function symbols and its relevance for combination of unification algorithms. In: Hubert Comon (ed.). Rewriting Techniques and Applications, 8th International Conference (RTA-97). p. 284 - 298. Springer, LNCS 1232, 1997.
Paper

1996

Franz Baader and Klaus U. Schulz (eds.). Frontiers of Combining Systems. Proceedings of the First International Workshop FroCoS'96. Kluwer Academic Publishers, 1996.

Franz Baader and Klaus U. Schulz. Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. J. Symbolic Computation, 21:211-243, 1996.
Abstract

Stephan Kepser and Klaus U. Schulz. Combination of Constraint Solvers II: Rational Amalgamation. in Proceedings of the second International Conference on Constraint Programming, CP-96, Springer-Verlag, Lecture Notes in Computer Science 1118, 1996.
Long Version Abstract

Klaus U. Schulz and Stephan Kepser. Unif'96 Extended Abstracts of the Tenth International Workshop on Unification. CIS Report 96-91, 1996.
Full Report Abstract

1995

Franz Baader and Klaus U. Schulz. Combination of Constraint Solving Techniques: An Algebraic Point of View. in: Proceedings of the 6th International Conference on Rewriting Techniques and Applications, RTA-95, Springer-Verlag, Lecture Notes in Computer Science 914, pp. 352-366, 1995.
Full Paper Abstract

Franz Baader and Klaus U. Schulz. On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers . in Proceedings of the International Conference on Constraint Programming, CP-95, Springer-Verlag, Lecture Notes in Computer Science 976, 1995.
Full Paper Abstract

Franz Baader and Klaus U. Schulz. Combination Techniques and Decision Problems for Disunification . CIS Bericht CIS-Rep-93-65, January 1993.
Full paper Abstract

1994 and before

Klaus U. Schulz (ed.). Word Equations and Related Topics, Proceedings of the 1st International Workshop, IWWERT'90 . Volume 572 of LNCS, Springer.

Franz Baader and Klaus U. Schulz. General A- and AX-Unification via Optimized Combination Procedures . in: Word Equations and Related Topics IWWERT91, Abdulrab, Pecuchet (Eds.), Springer LNCS 677.
Full paper Abstract

Franz Baader and Klaus U. Schulz. Combination of Constraint Solving Techniques: An Algebraic Point of View . CIS-Report-94-75
Full paper Abstract

Franz Baader and Klaus U. Schulz. Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures . in: the Proceedings CADE'92. A more complete version has appeard as CIS-Report-92-59.
Full paper Abstract

Klaus U. Schulz. On Existential Theories of List Concatenation . in: Selected papers CSL'94 (Kazimierz).
Full paper Abstract

Klaus U. Schulz and Dov M. Gabbay. Logic Finite Automata . in: Applied Logic: How, What and Why? M. Masuch and Lázló Pólos, Eds. Kluwer Academic Publishers, 1995.
Abstract

Klaus U. Schulz. Word Unification and Transformation of Generalized Equations . in: J. of Automated Reasoning 11, 1993, 149-184
Full paper Abstract

Franz Baader and Klaus U. Schulz. On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers . CIS-Report-94-82.
Full paper Abstract Klaus U. Schulz. Undecidability of the Theory of Finite Nearfields . Results in Mathematics, 14:340-348, 1988.

Klaus U. Schulz. Quantoren-Elimination bei Fastkörpern . Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, 58, pp. 169-174, 1988.

U. Felgner and Klaus U. Schulz. Algebraische Konsequenzen des Determiniertheitsaxionms . Archiv der Mathematik, 42:557-563, 1984.