The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Klaus U. Schulz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Franz Baader, Klaus U. Schulz
    Combining Constraint Solving. [Citation Graph (0, 0)][DBLP]
    CCL, 1999, pp:104-158 [Conf]
  4. 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]
  5. Stephan Kepser, Klaus U. Schulz
    Combination of Constraint Systems II: Rational Amalgamation. [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:282-296 [Conf]
  6. Manfred Schmidt-Schauß, Klaus U. Schulz
    Decidability of Bounded Higher-Order Unification. [Citation Graph (0, 0)][DBLP]
    CSL, 2002, pp:522-536 [Conf]
  7. Klaus U. Schulz
    On Existential Theories of List Concatenation. [Citation Graph (0, 0)][DBLP]
    CSL, 1994, pp:294-308 [Conf]
  8. 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]
  9. 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]
  10. Klaus U. Schulz
    Why Combined Decision Problems Are Often Intractable. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:217-244 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. Franz Baader, Klaus U. Schulz
    General A- and AX-Unification via Optimized. [Citation Graph (0, 0)][DBLP]
    IWWERT, 1991, pp:23-42 [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. Georg Gottlob, Christoph Koch, Klaus U. Schulz
    Conjunctive Queries over Trees. [Citation Graph (0, 0)][DBLP]
    PODS, 2004, pp:189-200 [Conf]
  22. 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]
  23. Franz Baader, Klaus U. Schulz
    Combination Techniques and Decision Problems for Disunification. [Citation Graph (0, 0)][DBLP]
    RTA, 1993, pp:301-315 [Conf]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. Georg Gottlob, Christoph Koch, Klaus U. Schulz
    Conjunctive Queries over Trees [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  47. 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]

  48. Using Automated Error Profiling of Texts for Improved Selection of Correction Candidates for Garbled Tokens. [Citation Graph (, )][DBLP]


  49. Information Access to Historical Documents from the Early New High German Period. [Citation Graph (, )][DBLP]


  50. On lexical resources for digitization of historical documents. [Citation Graph (, )][DBLP]


  51. Deriving Symbol Dependent Edit Weights for Text Correction_The Use of Error Dictionaries. [Citation Graph (, )][DBLP]


  52. Fast Selection of Small and Precise Candidate Sets from Dictionaries for Text Correction Tasks. [Citation Graph (, )][DBLP]


  53. Successfully detecting and correcting false friends using channel profiles. [Citation Graph (, )][DBLP]


Search in 0.039secs, Finished in 0.041secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002