Search the dblp DataBase
Klaus U. Schulz :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Franz Baader , Klaus U. Schulz Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. [Citation Graph (0, 0)][DBLP ] CADE, 1992, pp:50-65 [Conf ] Manfred Schmidt-Schauß , Klaus U. Schulz Solvability of Context Equations with Two Context Variables is Decidable. [Citation Graph (0, 0)][DBLP ] CADE, 1999, pp:67-81 [Conf ] Franz Baader , Klaus U. Schulz Combining Constraint Solving. [Citation Graph (0, 0)][DBLP ] CCL, 1999, pp:104-158 [Conf ] Franz Baader , Klaus U. Schulz On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. [Citation Graph (0, 0)][DBLP ] CP, 1995, pp:380-397 [Conf ] Stephan Kepser , Klaus U. Schulz Combination of Constraint Systems II: Rational Amalgamation. [Citation Graph (0, 0)][DBLP ] CP, 1996, pp:282-296 [Conf ] Manfred Schmidt-Schauß , Klaus U. Schulz Decidability of Bounded Higher-Order Unification. [Citation Graph (0, 0)][DBLP ] CSL, 2002, pp:522-536 [Conf ] Klaus U. Schulz On Existential Theories of List Concatenation. [Citation Graph (0, 0)][DBLP ] CSL, 1994, pp:294-308 [Conf ] Felix Weigel , Klaus U. Schulz , Holger Meuss Node Identification Schemes for Efficient XML Retrieval. [Citation Graph (0, 0)][DBLP ] Foundations of Semistructured Data, 2005, pp:- [Conf ] Felix Weigel , Holger Meuss , François Bry , Klaus U. Schulz Content-Aware DataGuides: Interleaving IR and DB Indexing Techniques for Efficient Retrieval of Textual XML Data. [Citation Graph (0, 0)][DBLP ] ECIR, 2004, pp:378-393 [Conf ] Klaus U. Schulz Why Combined Decision Problems Are Often Intractable. [Citation Graph (0, 0)][DBLP ] FroCos, 2000, pp:217-244 [Conf ] Stoyan Mihov , Klaus U. Schulz , Christoph Ringlstetter , Veselka Dojchinova , Vanja Nakova A Corpus for Comparative Evaluation of OCR Software and Postcorrection Techniques. [Citation Graph (0, 0)][DBLP ] ICDAR, 2005, pp:162-166 [Conf ] Christoph Ringlstetter , Klaus U. Schulz , Stoyan Mihov , Katerina Louka The Same is Not The same - Post Correction of Alphabet Confusion Errors in Mixed-Alphabet OCR Recognation. [Citation Graph (0, 0)][DBLP ] ICDAR, 2005, pp:406-410 [Conf ] Christian M. Strohmaier , Christoph Ringlstetter , Klaus U. Schulz , Stoyan Mihov Lexical Postcorrection of OCR-Results: The Web as a Dynamic Secondary Dictionary? [Citation Graph (0, 0)][DBLP ] ICDAR, 2003, pp:1133-1137 [Conf ] Holger Meuss , Klaus U. Schulz , François Bry Visual Querying and Exploration of Large Answers in XML Databases with X2. [Citation Graph (0, 0)][DBLP ] ICDE, 2003, pp:777-779 [Conf ] Holger Meuss , Klaus U. Schulz , François Bry Towards Aggregated Answers for Semistructured Data. [Citation Graph (0, 17)][DBLP ] ICDT, 2001, pp:346-360 [Conf ] Felix Weigel , Klaus U. Schulz , Holger Meuss Ranked Retrieval of Structured Documents with the S-Term Vector Space Model. [Citation Graph (0, 0)][DBLP ] INEX, 2004, pp:238-252 [Conf ] Franz Baader , Klaus U. Schulz General A- and AX-Unification via Optimized. [Citation Graph (0, 0)][DBLP ] IWWERT, 1991, pp:23-42 [Conf ] Klaus U. Schulz Makanin's Algorithm for Word Equations - Two Improvements and a Generalization. [Citation Graph (0, 0)][DBLP ] IWWERT, 1990, pp:85-150 [Conf ] Felix Weigel , Klaus U. Schulz , Levin Brunner , Eduardo Torres-Schumann Integrated Document Browsing and Data Acquisition for Building Large Ontologies. [Citation Graph (0, 0)][DBLP ] KES (3), 2006, pp:614-622 [Conf ] Klaus U. Schulz Preferential cumulative reasoning and nonmonotonic semantic nets. [Citation Graph (0, 0)][DBLP ] The Logic of Theory Change, 1989, pp:223-240 [Conf ] Georg Gottlob , Christoph Koch , Klaus U. Schulz Conjunctive Queries over Trees. [Citation Graph (0, 0)][DBLP ] PODS, 2004, pp:189-200 [Conf ] Klaus U. Schulz , Felix Weigel Systematics and Architecture for a Resource Representing Knowledge about Named Entities. [Citation Graph (0, 0)][DBLP ] PPSWR, 2003, pp:189-207 [Conf ] Franz Baader , Klaus U. Schulz Combination Techniques and Decision Problems for Disunification. [Citation Graph (0, 0)][DBLP ] RTA, 1993, pp:301-315 [Conf ] Franz Baader , Klaus U. Schulz Combination of Constraint Solving Techniques: An Algebraic POint of View. [Citation Graph (0, 0)][DBLP ] RTA, 1995, pp:352-366 [Conf ] Manfred Schmidt-Schauß , Klaus U. Schulz On the Exponent of Periodicity of Minimal Solutions of Context Equation. [Citation Graph (0, 0)][DBLP ] RTA, 1998, pp:61-75 [Conf ] Klaus U. Schulz A Criterion for Intractability of E-unification with Free Function Symbols and Its Relevance for Combination Algorithms. [Citation Graph (0, 0)][DBLP ] RTA, 1997, pp:284-298 [Conf ] Felix Weigel , Holger Meuss , Klaus U. Schulz , François Bry Content and Structure in Indexing and Ranking XML. [Citation Graph (0, 0)][DBLP ] WebDB, 2004, pp:67-72 [Conf ] Felix Weigel , Klaus U. Schulz , Holger Meuss Exploiting native XML indexing techniques for XML retrieval in relational database systems. [Citation Graph (0, 0)][DBLP ] WIDM, 2005, pp:23-30 [Conf ] Felix Weigel , Klaus U. Schulz , Holger Meuss The BIRD Numbering Scheme for XML and Tree Databases - Deciding and Reconstructing Tree Relations Using Efficient Arithmetic Operations. [Citation Graph (0, 0)][DBLP ] XSym, 2005, pp:49-67 [Conf ] Stoyan Mihov , Klaus U. Schulz Fast Approximate Search in Large Dictionaries. [Citation Graph (0, 0)][DBLP ] Computational Linguistics, 2004, v:30, n:4, pp:451-477 [Journal ] Christoph Ringlstetter , Klaus U. Schulz , Stoyan Mihov Orthographic Errors in Web Pages: Toward Cleaner Web Corpora. [Citation Graph (0, 0)][DBLP ] Computational Linguistics, 2006, v:32, n:3, pp:295-340 [Journal ] Klaus U. Schulz , Stoyan Mihov Fast string correction with Levenshtein automata. [Citation Graph (0, 0)][DBLP ] IJDAR, 2002, v:5, n:1, pp:67-85 [Journal ] Eduardo Torres-Schumann , Klaus U. Schulz Stable methods for recognizing acronym-expansion pairs: from rule sets to hidden Markov models. [Citation Graph (0, 0)][DBLP ] IJDAR, 2006, v:8, n:1, pp:- [Journal ] Rolf Backofen , François Bry , Peter Clote , Hans-Peter Kriegel , Thomas Seidl , Klaus U. Schulz Bioinformatik - Aktuelles Schlagwort. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1999, v:22, n:5, pp:376-378 [Journal ] Georg Gottlob , Christoph Koch , Klaus U. Schulz Conjunctive queries over trees. [Citation Graph (0, 0)][DBLP ] J. ACM, 2006, v:53, n:2, pp:238-272 [Journal ] Klaus U. Schulz Wort Unification and Transformation of Generalized Equations. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1993, v:11, n:2, pp:149-184 [Journal ] Holger Meuss , Klaus U. Schulz , Felix Weigel , Simone Leonardi , François Bry Visual exploration and retrieval of XML document collections with the generic system X2 . [Citation Graph (0, 0)][DBLP ] Int. J. on Digital Libraries, 2005, v:5, n:1, pp:3-17 [Journal ] Franz Baader , Klaus U. Schulz Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1996, v:21, n:2, pp:211-243 [Journal ] Manfred Schmidt-Schauß , Klaus U. Schulz Solvability of Context Equations with Two Context Variables is Decidable. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 2002, v:33, n:1, pp:77-122 [Journal ] Manfred Schmidt-Schauß , Klaus U. Schulz Decidability of bounded higher-order unification. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 2005, v:40, n:2, pp:905-954 [Journal ] Klaus U. Schulz Tractable and intractable instances of combination problems for unification and disunification. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2000, v:10, n:1, pp:105-135 [Journal ] Franz Baader , Klaus U. Schulz Combination Techniques and Decision Problems for Disunification. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1995, v:142, n:2, pp:229-255 [Journal ] Franz Baader , Klaus U. Schulz Combination of Constraint Solvers for Free and Quasi-Free Structures. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1998, v:192, n:1, pp:107-161 [Journal ] Klaus U. Schulz , Stephan Kepser Combination of constraint systems II: Rational amalgamation. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2001, v:266, n:1-2, pp:113-157 [Journal ] Holger Meuss , Klaus U. Schulz Complete answer aggregates for treelike databases: a novel approach to combine querying and navigation. [Citation Graph (0, 0)][DBLP ] ACM Trans. Inf. Syst., 2001, v:19, n:2, pp:161-215 [Journal ] Georg Gottlob , Christoph Koch , Klaus U. Schulz Conjunctive Queries over Trees [Citation Graph (0, 0)][DBLP ] CoRR, 2006, v:0, n:, pp:- [Journal ] Christoph Ringlstetter , Klaus U. Schulz , Stoyan Mihov Adaptive text correction with Web-crawled domain-dependent dictionaries. [Citation Graph (0, 0)][DBLP ] TSLP, 2007, v:4, n:4, pp:- [Journal ] Using Automated Error Profiling of Texts for Improved Selection of Correction Candidates for Garbled Tokens. [Citation Graph (, )][DBLP ] Information Access to Historical Documents from the Early New High German Period. [Citation Graph (, )][DBLP ] On lexical resources for digitization of historical documents. [Citation Graph (, )][DBLP ] Deriving Symbol Dependent Edit Weights for Text Correction_The Use of Error Dictionaries. [Citation Graph (, )][DBLP ] Fast Selection of Small and Precise Candidate Sets from Dictionaries for Text Correction Tasks. [Citation Graph (, )][DBLP ] Successfully detecting and correcting false friends using channel profiles. [Citation Graph (, )][DBLP ] Search in 0.035secs, Finished in 0.037secs