Search dblp for Publications

export results for "knuth -don"

download as .bib file

@article{DBLP:journals/ejc/DuranteTZ17,
  author    = {Nicola Durante and
               Rocco Trombetti and
               Yue Zhou},
  title     = {Hyperovals in Knuth's binary semifield planes},
  journal   = {Eur. J. Comb.},
  volume    = {62},
  pages     = {77--91},
  year      = {2017}
}
@article{DBLP:journals/afp/BeckerBWW16,
  author    = {Heiko Becker and
               Jasmin Christian Blanchette and
               Uwe Waldmann and
               Daniel Wand},
  title     = {Formalization of Knuth-Bendix Orders for Lambda-Free Higher-Order
               Terms},
  journal   = {Archive of Formal Proofs},
  volume    = {2016},
  year      = {2016}
}
@article{DBLP:journals/cbsn/SzymczakKLKS16,
  author    = {Hermann Szymczak and
               Pinar K{\"{u}}c{\"{u}}kbalaban and
               Sandra Lemanski and
               Daniela Knuth and
               Silke Schmidt},
  title     = {Trusting Facebook in Crisis Situations: The Role of General Use and
               General Trust Toward Facebook},
  journal   = {Cyberpsy., Behavior, and Soc. Networking},
  volume    = {19},
  number    = {1},
  pages     = {23--27},
  year      = {2016}
}
@article{DBLP:journals/combinatorics/GaetzMPPRST16,
  author    = {Christian Gaetz and
               Michelle Mastrianni and
               Rebecca Patrias and
               Hailee Peck and
               Colleen Robichaux and
               David Schwein and
               Ka Yu Tam},
  title     = {K-Knuth Equivalence for Increasing Tableaux},
  journal   = {Electr. J. Comb.},
  volume    = {23},
  number    = {1},
  pages     = {P1.40},
  year      = {2016}
}
@article{DBLP:journals/combinatorics/GalashinGL16,
  author    = {Pavel Galashin and
               Darij Grinberg and
               Gaku Liu},
  title     = {Refined Dual Stable Grothendieck Polynomials and Generalized Bender-Knuth
               Involutions},
  journal   = {Electr. J. Comb.},
  volume    = {23},
  number    = {3},
  pages     = {P3.14},
  year      = {2016}
}
@inproceedings{DBLP:conf/focs/Nisan16,
  author    = {Noam Nisan},
  title     = {Knuth Prize Lecture: Complexity of Communication in Markets},
  booktitle = {{FOCS}},
  pages     = {385},
  publisher = {{IEEE} Computer Society},
  year      = {2016}
}
@inproceedings{DBLP:conf/i-semantics/DojchinovskiKRK16,
  author    = {Milan Dojchinovski and
               Dimitris Kontokostas and
               Robert R{\"{o}}{\ss}ling and
               Magnus Knuth and
               Sebastian Hellmann},
  title     = {DBpedia Links: The Crossroad of Links for the Web of Data},
  booktitle = {SEMANTiCS (Posters, Demos, SuCCESS)},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1695},
  publisher = {CEUR-WS.org},
  year      = {2016}
}
@inproceedings{DBLP:conf/i-semantics/FernandezUPK16,
  author    = {Javier D. Fern{\'{a}}ndez and
               J{\"{u}}rgen Umbrich and
               Axel Polleres and
               Magnus Knuth},
  title     = {Evaluating Query and Storage Strategies for {RDF} Archives},
  booktitle = {{SEMANTICS}},
  pages     = {41--48},
  publisher = {{ACM}},
  year      = {2016}
}
@inproceedings{DBLP:conf/ict-dm/KnuthSKS16,
  author    = {Daniela Knuth and
               Hermann Szymczak and
               Pinar K{\"{u}}c{\"{u}}kbalaban and
               Silke Schmidt},
  title     = {Social media in emergencies: How useful can they be},
  booktitle = {{ICT-DM}},
  pages     = {1--7},
  publisher = {{IEEE}},
  year      = {2016}
}
@inproceedings{DBLP:conf/icwe/KnuthWS16,
  author    = {Magnus Knuth and
               J{\"{o}}rg Waitelonis and
               Harald Sack},
  title     = {I am a Machine, Let Me Understand Web Media!},
  booktitle = {{ICWE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9671},
  pages     = {467--475},
  publisher = {Springer},
  year      = {2016}
}
@inproceedings{DBLP:conf/isvc/PuhlKK16,
  author    = {Julian Puhl and
               Martin Knuth and
               Arjan Kuijper},
  title     = {Image-Based Post-processing for Realistic Real-Time Rendering of Scenes
               in the Presence of Fluid Simulations and Image-Based Lighting},
  booktitle = {{ISVC} {(1)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10072},
  pages     = {414--425},
  publisher = {Springer},
  year      = {2016}
}
@inproceedings{DBLP:conf/otm/KnuthHS16,
  author    = {Magnus Knuth and
               Olaf Hartig and
               Harald Sack},
  title     = {Scheduling Refresh Queries for Keeping Results from a {SPARQL} Endpoint
               Up-to-Date (Short Paper)},
  booktitle = {{OTM} Conferences},
  series    = {Lecture Notes in Computer Science},
  volume    = {10033},
  pages     = {780--791},
  year      = {2016}
}
@proceedings{DBLP:conf/esws/2016mepdaw,
  editor    = {Jeremy Debattista and
               J{\"{u}}rgen Umbrich and
               Javier D. Fern{\'{a}}ndez and
               Anisa Rula and
               Amrapali Zaveri and
               Magnus Knuth and
               Dimitris Kontokostas},
  title     = {Joint Proceedings of the 2nd Workshop on Managing the Evolution and
               Preservation of the Data Web (MEPDaW 2016) and the 3rd Workshop on
               Linked Data Quality {(LDQ} 2016) co-located with 13th European Semantic
               Web Conference {(ESWC} 2016), Heraklion, Crete, Greece, May 30th,
               2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1585},
  publisher = {CEUR-WS.org},
  year      = {2016}
}
@article{DBLP:journals/corr/KnuthEF16,
  author    = {Kevin H. Knuth and
               Philip M. Erner and
               Scott Frasso},
  title     = {Designing Intelligent Instruments},
  journal   = {CoRR},
  volume    = {abs/1602.04290},
  year      = {2016}
}
@article{DBLP:journals/corr/KnuthHS16,
  author    = {Magnus Knuth and
               Olaf Hartig and
               Harald Sack},
  title     = {Scheduling Refresh Queries for Keeping Results from a {SPARQL} Endpoint
               Up-to-Date (Extended Version)},
  journal   = {CoRR},
  volume    = {abs/1608.08130},
  year      = {2016}
}
@article{DBLP:journals/corr/Widemann16,
  author    = {Baltasar Tranc{\'{o}}n y Widemann},
  title     = {Higher-Order Recursion Abstraction: How to Make Ackermann, Knuth and
               Conway Look Like a Bunch of Primitives, Figuratively Speaking},
  journal   = {CoRR},
  volume    = {abs/1602.05010},
  year      = {2016}
}
@article{DBLP:journals/cphysics/KnuthCABS15,
  author    = {Franz Knuth and
               Christian Carbogno and
               Viktor Atalla and
               Volker Blum and
               Matthias Scheffler},
  title     = {All-electron formalism for total energy strain derivatives and stress
               tensor components for numeric atom-centered orbitals},
  journal   = {Computer Physics Communications},
  volume    = {190},
  pages     = {33--50},
  year      = {2015}
}
@article{DBLP:journals/dsp/KnuthHMMP15,
  author    = {Kevin H. Knuth and
               Michael Habeck and
               Nabin K. Malakar and
               M. Asim Mubeen and
               Ben Placek},
  title     = {Bayesian evidence and model selection},
  journal   = {Digital Signal Processing},
  volume    = {47},
  pages     = {50--67},
  year      = {2015}
}
@article{DBLP:journals/ejc/AzenhasE15,
  author    = {O. Azenhas and
               A. Emami},
  title     = {An analogue of the Robinson-Schensted-Knuth correspondence and non-symmetric
               Cauchy kernels for truncated staircases},
  journal   = {Eur. J. Comb.},
  volume    = {46},
  pages     = {16--44},
  year      = {2015}
}
@article{DBLP:journals/entropy/GencagaKR15,
  author    = {Deniz Gen{\c{c}}aga and
               Kevin H. Knuth and
               William B. Rossow},
  title     = {A Recipe for the Estimation of Information Flow in a Dynamical System},
  journal   = {Entropy},
  volume    = {17},
  number    = {1},
  pages     = {438--470},
  year      = {2015}
}
@article{DBLP:journals/entropy/Knuth15,
  author    = {Kevin H. Knuth},
  title     = {\emph{Entropy} Best Paper Award 2015},
  journal   = {Entropy},
  volume    = {17},
  number    = {2},
  pages     = {882--884},
  year      = {2015}
}
@article{DBLP:journals/ijswis/KnuthS15,
  author    = {Magnus Knuth and
               Harald Sack},
  title     = {PatchR: {A} Framework for Linked Data Change Requests},
  journal   = {Int. J. Semantic Web Inf. Syst.},
  volume    = {11},
  number    = {1},
  pages     = {30--45},
  year      = {2015}
}
@article{DBLP:journals/robotica/KnuthB15,
  author    = {Joseph Knuth and
               Prabir Barooah},
  title     = {Distributed collaborative 3D pose estimation of robots from heterogeneous
               relative measurements: an optimization on manifold approach},
  journal   = {Robotica},
  volume    = {33},
  number    = {7},
  pages     = {1507--1535},
  year      = {2015}
}
@inproceedings{DBLP:conf/doceng/HassanH15,
  author    = {Tamir Hassan and
               Andrew Hunter},
  title     = {Knuth-Plass Revisited: Flexible Line-Breaking for Automatic Document
               Layout},
  booktitle = {DocEng},
  pages     = {17--20},
  publisher = {{ACM}},
  year      = {2015}
}
@inproceedings{DBLP:conf/esws/KnuthRDVK15,
  author    = {Magnus Knuth and
               Dinesh Reddy and
               Anastasia Dimou and
               Sahar Vahdati and
               George Kastrinakis},
  title     = {Towards Linked Data Update Notifications Reviewing and Generalizing
               the SparqlPuSH Approach},
  booktitle = {NoISE@ESWC},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1435},
  publisher = {CEUR-WS.org},
  year      = {2015}
}
@inproceedings{DBLP:conf/gd/GoodrichJT15,
  author    = {Michael T. Goodrich and
               Timothy Johnson and
               Manuel R. Torres},
  title     = {Knuthian Drawings of Series-Parallel Flowcharts},
  booktitle = {Graph Drawing},
  series    = {Lecture Notes in Computer Science},
  volume    = {9411},
  pages     = {556--557},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/hci/SzymczakKKS15,
  author    = {Hermann Szymczak and
               Pinar K{\"{u}}c{\"{u}}kbalaban and
               Daniela Knuth and
               Silke Schmidt},
  title     = {Trust Towards Social Media in Emergencies: {A} Perspective of Professional
               Emergency Personnel in Europe},
  booktitle = {{HCI} {(28)}},
  series    = {Communications in Computer and Information Science},
  volume    = {529},
  pages     = {123--128},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{DBLP:conf/i-semantics/MeinhardtKS15,
  author    = {Paul Meinhardt and
               Magnus Knuth and
               Harald Sack},
  title     = {TailR: a platform for preserving history on the web of data},
  booktitle = {{SEMANTICS}},
  pages     = {57--64},
  publisher = {{ACM}},
  year      = {2015}
}
@inproceedings{DBLP:conf/semweb/KnuthLKSS15,
  author    = {Magnus Knuth and
               Jens Lehmann and
               Dimitris Kontokostas and
               Thomas Steiner and
               Harald Sack},
  title     = {The DBpedia Events Dataset},
  booktitle = {International Semantic Web Conference (Posters {\&} Demos)},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1486},
  publisher = {CEUR-WS.org},
  year      = {2015}
}
@inproceedings{DBLP:conf/semweb/VaidyaKKLH15,
  author    = {Gaurav Vaidya and
               Dimitris Kontokostas and
               Magnus Knuth and
               Jens Lehmann and
               Sebastian Hellmann},
  title     = {DBpedia Commons: Structured Multimedia Metadata from the Wikimedia
               Commons},
  booktitle = {International Semantic Web Conference {(2)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9367},
  pages     = {281--289},
  publisher = {Springer},
  year      = {2015}
}
@proceedings{DBLP:conf/esws/2015ldq,
  editor    = {Anisa Rula and
               Amrapali Zaveri and
               Magnus Knuth and
               Dimitris Kontokostas},
  title     = {Proceedings of the 2nd Workshop on Linked Data Quality co-located
               with 12th Extended Semantic Web Conference {(ESWC} 2015), Portoro{\v{z}},
               Slovenia, June 1, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1376},
  publisher = {CEUR-WS.org},
  year      = {2015}
}
@article{DBLP:journals/corr/GoodrichJT15,
  author    = {Michael T. Goodrich and
               Timothy Johnson and
               Manuel R. Torres},
  title     = {Knuthian Drawings of Series-Parallel Flowcharts},
  journal   = {CoRR},
  volume    = {abs/1508.03931},
  year      = {2015}
}
@article{DBLP:journals/combinatorics/BilleyHRY14,
  author    = {Sara Billey and
               Zachary Hamaker and
               Austin Roberts and
               Benjamin Young},
  title     = {Coxeter-Knuth Graphs and a Signed Little Map for Type {B} Reduced
               Words},
  journal   = {Electr. J. Comb.},
  volume    = {21},
  number    = {4},
  pages     = {P4.6},
  year      = {2014}
}
@article{DBLP:journals/cpc/JacquetKS14,
  author    = {Philippe Jacquet and
               Charles Knessl and
               Wojciech Szpankowski},
  title     = {A Note on a Problem Posed by D. E. Knuth on a Satisfiability Recurrence},
  journal   = {Combinatorics, Probability {\&} Computing},
  volume    = {23},
  number    = {5},
  pages     = {829--841},
  year      = {2014}
}
@article{DBLP:journals/entropy/Knuth14,
  author    = {Kevin H. Knuth},
  title     = {\emph{Entropy} Best Paper Award 2014},
  journal   = {Entropy},
  volume    = {16},
  number    = {2},
  pages     = {726--728},
  year      = {2014}
}
@article{DBLP:journals/entropy/Knuth14a,
  author    = {Kevin H. Knuth},
  title     = {Retraction: Aydin, B. Statistical Convergent Topological Sequence
               Entropy Maps of the Circle. \emph{Entropy }2004, \emph{6}, 257-261},
  journal   = {Entropy},
  volume    = {16},
  number    = {2},
  pages     = {1122},
  year      = {2014}
}
@article{DBLP:journals/entropy/Knuth14b,
  author    = {Kevin H. Knuth},
  title     = {Retraction: Zheng, T. \emph{et al.} Effect of Heat Leak and Finite
               Thermal Capacity on the Optimal Configuration of a Two-Heat-Reservoir
               Heat Engine for Another Linear Heat Transfer Law. \emph{Entropy} 2003,
               \emph{5}, 519-530},
  journal   = {Entropy},
  volume    = {16},
  number    = {4},
  pages     = {1983--1984},
  year      = {2014}
}
@article{DBLP:journals/fm/Bancerek14,
  author    = {Grzegorz Bancerek},
  title     = {Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm},
  journal   = {Formalized Mathematics},
  volume    = {22},
  number    = {1},
  pages     = {37--56},
  year      = {2014}
}
@article{DBLP:journals/focm/Ebrahimi-FardM14,
  author    = {Kurusch Ebrahimi{-}Fard and
               Dominique Manchon},
  title     = {The Magnus Expansion, Trees and Knuth's Rotation Correspondence},
  journal   = {Foundations of Computational Mathematics},
  volume    = {14},
  number    = {1},
  pages     = {1--25},
  year      = {2014}
}
@article{DBLP:journals/jsac/SkachekI14,
  author    = {Vitaly Skachek and
               Kees A. Schouhamer Immink},
  title     = {Constant Weight Codes: An Approach Based on Knuth's Balancing Method},
  journal   = {{IEEE} Journal on Selected Areas in Communications},
  volume    = {32},
  number    = {5},
  pages     = {909--918},
  year      = {2014}
}
@article{DBLP:journals/mst/GawrychowskiJJ14,
  author    = {Pawel Gawrychowski and
               Artur Jez and
               Lukasz Jez},
  title     = {Validating the Knuth-Morris-Pratt Failure Function, Fast and Online},
  journal   = {Theory Comput. Syst.},
  volume    = {54},
  number    = {2},
  pages     = {337--372},
  year      = {2014}
}
@article{DBLP:journals/siamdm/Sniady14,
  author    = {Piotr Sniady},
  title     = {Robinson-Schensted-Knuth Algorithm, Jeu de Taquin, and Kerov-Vershik
               Measures on Infinite Tableaux},
  journal   = {{SIAM} J. Discrete Math.},
  volume    = {28},
  number    = {2},
  pages     = {598--630},
  year      = {2014}
}
@article{DBLP:journals/sigact/Kannan14,
  author    = {Ravindran Kannan},
  title     = {14th Knuth prize: call for nominations},
  journal   = {{SIGACT} News},
  volume    = {45},
  number    = {1},
  pages     = {7--8},
  year      = {2014}
}
@inproceedings{DBLP:conf/ekaw/Knuth14,
  author    = {Magnus Knuth},
  title     = {Linked Data Cleansing and Change Management},
  booktitle = {{EKAW} (Satellite Events)},
  series    = {Lecture Notes in Computer Science},
  volume    = {8982},
  pages     = {201--208},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/esws/CoppensHKNRS14,
  author    = {Sam Coppens and
               Karl Hammar and
               Magnus Knuth and
               Marco Neumann and
               Dominique Ritze and
               Miel Vander Sande},
  title     = {WaSABi 2014: Breakout Brainstorming Session Summary},
  booktitle = {WaSABi-FEOSW@ESWC},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1240},
  publisher = {CEUR-WS.org},
  year      = {2014}
}
@inproceedings{DBLP:conf/esws/KnuthS14,
  author    = {Magnus Knuth and
               Harald Sack},
  title     = {Data Cleansing Consolidation with PatchR},
  booktitle = {{ESWC} (Satellite Events)},
  series    = {Lecture Notes in Computer Science},
  volume    = {8798},
  pages     = {231--235},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{DBLP:conf/i-semantics/KnuthKS14,
  author    = {Magnus Knuth and
               Dimitris Kontokostas and
               Harald Sack},
  title     = {Linked Data Quality: Identifying and Tackling the Key Challenges},
  booktitle = {LDQ@SEMANTICS},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1215},
  publisher = {CEUR-WS.org},
  year      = {2014}
}
@inproceedings{DBLP:conf/vmv/KnuthAKB14,
  author    = {Martin Knuth and
               Christian Altenhofen and
               Arjan Kuijper and
               Jan Bender},
  title     = {Efficient Self-Shadowing Using Image-Based Lighting on Glossy Surfaces},
  booktitle = {{VMV}},
  pages     = {159--166},
  publisher = {Eurographics Association},
  year      = {2014}
}
@proceedings{DBLP:conf/esws/2014wasabi,
  editor    = {{\'{A}}ngel Garc{\'{\i}}a{-}Crespo and
               Juan Miguel G{\'{o}}mez Berb{\'{\i}}s and
               Mateusz Radzimski and
               Jos{\'{e}} Luis S{\'{a}}nchez{-}Cervantes and
               Sam Coppens and
               Karl Hammar and
               Magnus Knuth and
               Marco Neumann and
               Dominique Ritze and
               Miel Vander Sande},
  title     = {Joint Proceedings of the Second International Workshop on Semantic
               Web Enterprise Adoption and Best Practice and Second International
               Workshop on Finance and Economics on the Semantic Web Co-located with
               11th European Semantic Web Conference, WaSABi-FEOSW@ESWC 2014, Anissaras,
               Greece, May 26, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1240},
  publisher = {CEUR-WS.org},
  year      = {2014}
}
@proceedings{DBLP:conf/i-semantics/2014ldq,
  editor    = {Magnus Knuth and
               Dimitris Kontokostas and
               Harald Sack},
  title     = {Proceedings of the 1st Workshop on Linked Data Quality co-located
               with 10th International Conference on Semantic Systems, LDQ@SEMANTiCS
               2014, Leipzig, Germany, September 2nd, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1215},
  publisher = {CEUR-WS.org},
  year      = {2014}
}
@article{DBLP:journals/entropy/Knuth13,
  author    = {Kevin H. Knuth},
  title     = {\emph{Entropy} Best Paper Award 2013},
  journal   = {Entropy},
  volume    = {15},
  number    = {2},
  pages     = {698--699},
  year      = {2013}
}
@article{DBLP:journals/js/MalakarGK13,
  author    = {Nabin K. Malakar and
               Daniil Gladkov and
               Kevin H. Knuth},
  title     = {Modeling a Sensor to Improve Its Efficacy},
  journal   = {J. Sensors},
  volume    = {2013},
  pages     = {481054:1--481054:11},
  year      = {2013}
}
@article{DBLP:journals/ras/KnuthB13,
  author    = {Joseph Knuth and
               Prabir Barooah},
  title     = {Error growth in position estimation from noisy relative pose measurements},
  journal   = {Robotics and Autonomous Systems},
  volume    = {61},
  number    = {3},
  pages     = {229--244},
  year      = {2013}
}
@inproceedings{DBLP:conf/amcc/KnuthB13,
  author    = {Joseph Knuth and
               Prabir Barooah},
  title     = {Maximum-likelihood localization of a camera network from heterogeneous
               relative measurements},
  booktitle = {{ACC}},
  pages     = {2374--2379},
  publisher = {{IEEE}},
  year      = {2013}
}
@inproceedings{DBLP:conf/cadgraphics/BauerKB13,
  author    = {Fabian Bauer and
               Martin Knuth and
               Arjan Kuijper and
               Jan Bender},
  title     = {Screen-Space Ambient Occlusion Using A-Buffer Techniques},
  booktitle = {CAD/Graphics},
  pages     = {140--147},
  publisher = {{IEEE}},
  year      = {2013}
}
@inproceedings{DBLP:conf/cwit/Al-RababaaDC13,
  author    = {Ahmad Al{-}Rababa'a and
               Danny Dube and
               Jean{-}Yves Chouinard},
  title     = {Using bit recycling to reduce Knuth's balanced codes redundancy},
  booktitle = {{CWIT}},
  pages     = {6--11},
  publisher = {{IEEE}},
  year      = {2013}
}
@inproceedings{DBLP:conf/i-semantics/BergmannBEHKSS13,
  author    = {Tanja Bergmann and
               Stefan Bunk and
               Johannes Eschrig and
               Christian Hentschel and
               Magnus Knuth and
               Harald Sack and
               Ricarda Sch{\"{u}}ler},
  title     = {Linked Soccer Data},
  booktitle = {{I-SEMANTICS} (Posters {\&} Demos)},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1026},
  pages     = {25--29},
  publisher = {CEUR-WS.org},
  year      = {2013}
}
@inproceedings{DBLP:conf/i-semantics/BergmannBEHKSS13a,
  author    = {Tanja Bergmann and
               Stefan Bunk and
               Johannes Eschrig and
               Christian Hentschel and
               Magnus Knuth and
               Harald Sack and
               Ricarda Sch{\"{u}}ler},
  title     = {Generating a linked soccer dataset},
  booktitle = {{I-SEMANTICS}},
  pages     = {146--149},
  publisher = {{ACM}},
  year      = {2013}
}
@inproceedings{DBLP:conf/icra/KnuthB13,
  author    = {Joseph Knuth and
               Prabir Barooah},
  title     = {Collaborative localization with heterogeneous inter-robot measurements
               by Riemannian optimization},
  booktitle = {{ICRA}},
  pages     = {1534--1539},
  publisher = {{IEEE}},
  year      = {2013}
}
@inproceedings{DBLP:conf/ppdp/YamadaKS13,
  author    = {Akihisa Yamada and
               Keiichirou Kusakari and
               Toshiki Sakabe},
  title     = {Unifying the Knuth-Bendix, recursive path and polynomial orders},
  booktitle = {{PPDP}},
  pages     = {181--192},
  publisher = {{ACM}},
  year      = {2013}
}
@inproceedings{DBLP:conf/rta/SternagelT13,
  author    = {Christian Sternagel and
               Ren{\'{e}} Thiemann},
  title     = {Formalizing Knuth-Bendix Orders and Knuth-Bendix Completion},
  booktitle = {{RTA}},
  series    = {LIPIcs},
  volume    = {21},
  pages     = {287--302},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2013}
}
@inproceedings{DBLP:conf/semweb/SteinmetzKS13,
  author    = {Nadine Steinmetz and
               Magnus Knuth and
               Harald Sack},
  title     = {Statistical Analyses of Named Entity Disambiguation Benchmarks},
  booktitle = {NLP-DBPEDIA@ISWC},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1064},
  publisher = {CEUR-WS.org},
  year      = {2013}
}
@inproceedings{DBLP:conf/vriphys/SchmittKBK13,
  author    = {Nikolas Schmitt and
               Martin Knuth and
               Jan Bender and
               Arjan Kuijper},
  title     = {Multilevel Cloth Simulation using {GPU} Surface Sampling},
  booktitle = {{VRIPHYS}},
  pages     = {1--10},
  publisher = {Eurographics Association},
  year      = {2013}
}
@proceedings{DBLP:conf/semweb/2013wasabi,
  editor    = {Sam Coppens and
               Karl Hammar and
               Magnus Knuth and
               Marco Neumann and
               Dominique Ritze and
               Harald Sack and
               Miel Vander Sande},
  title     = {Proceedings of the Workshop on Semantic Web Enterprise Adoption and
               Best Practice Co-located with 12th International Semantic Web Conference
               {(ISWC} 2013), Sydney, Australia, October 22, 2013},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1106},
  publisher = {CEUR-WS.org},
  year      = {2013}
}
@article{DBLP:journals/corr/Knuth13,
  author    = {Kevin H. Knuth},
  title     = {Informed Source Separation: {A} Bayesian Tutorial},
  journal   = {CoRR},
  volume    = {abs/1311.3001},
  year      = {2013}
}
@article{DBLP:journals/axioms/KnuthS12,
  author    = {Kevin H. Knuth and
               John Skilling},
  title     = {Foundations of Inference},
  journal   = {Axioms},
  volume    = {1},
  number    = {1},
  pages     = {38--73},
  year      = {2012}
}
@article{DBLP:journals/remotesensing/OrtizBKK12,
  author    = {Sonia M. Ortiz and
               Johannes Breidenbach and
               Ralf Knuth and
               Gerald K{\"{a}}ndler},
  title     = {The Influence of {DEM} Quality on Mapping Accuracy of Coniferous-
               and Deciduous-Dominated Forest Using TerraSAR-X Images},
  journal   = {Remote Sensing},
  volume    = {4},
  number    = {3},
  pages     = {661--681},
  year      = {2012}
}
@article{DBLP:journals/tit/WeberIF12,
  author    = {Jos H. Weber and
               Kees A. Schouhamer Immink and
               Hendrik C. Ferreira},
  title     = {Error-Correcting Balanced Knuth Codes},
  journal   = {{IEEE} Trans. Information Theory},
  volume    = {58},
  number    = {1},
  pages     = {82--89},
  year      = {2012}
}
@inproceedings{DBLP:conf/cade/SternagelZ12,
  author    = {Thomas Sternagel and
               Harald Zankl},
  title     = {{KBCV} - Knuth-Bendix Completion Visualizer},
  booktitle = {{IJCAR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7364},
  pages     = {530--536},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/cidu/KnuthPR12,
  author    = {Kevin H. Knuth and
               Ben Placek and
               Zachary Richards},
  title     = {Detection and characterization of non-transiting extra-solar planets
               in Kepler Data using reflected light variations},
  booktitle = {{CIDU}},
  pages     = {31--38},
  publisher = {{IEEE}},
  year      = {2012}
}
@inproceedings{DBLP:conf/i-semantics/TopperKS12,
  author    = {Gerald T{\"{o}}pper and
               Magnus Knuth and
               Harald Sack},
  title     = {DBpedia ontology enrichment for inconsistency detection},
  booktitle = {{I-SEMANTICS}},
  pages     = {33--40},
  publisher = {{ACM}},
  year      = {2012}
}
@inproceedings{DBLP:conf/icra/KnuthB12,
  author    = {Joseph Knuth and
               Prabir Barooah},
  title     = {Collaborative 3D localization of robots from relative pose measurements
               using gradient descent on manifolds},
  booktitle = {{ICRA}},
  pages     = {1101--1106},
  publisher = {{IEEE}},
  year      = {2012}
}
@inproceedings{DBLP:conf/iics/HentschelHKOQSSWY12,
  author    = {Christian Hentschel and
               Johannes Hercher and
               Magnus Knuth and
               Johannes Osterhoff and
               Bernhard Quehl and
               Harald Sack and
               Nadine Steinmetz and
               J{\"{o}}rg Waitelonis and
               Haojin Yang},
  title     = {Open Up Cultural Heritage in Video Archives with Mediaglobe},
  booktitle = {{IICS}},
  series    = {{LNI}},
  volume    = {204},
  pages     = {190--201},
  publisher = {{GI}},
  year      = {2012}
}
@inproceedings{DBLP:conf/lpar/WinklerZM12,
  author    = {Sarah Winkler and
               Harald Zankl and
               Aart Middeldorp},
  title     = {Ordinals and Knuth-Bendix Orders},
  booktitle = {{LPAR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7180},
  pages     = {420--434},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/semweb/ThalhammerKS12,
  author    = {Andreas Thalhammer and
               Magnus Knuth and
               Harald Sack},
  title     = {Evaluating Entity Summarization Using a Game-Based Ground Truth},
  booktitle = {International Semantic Web Conference {(2)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7650},
  pages     = {350--361},
  publisher = {Springer},
  year      = {2012}
}
@article{DBLP:journals/corr/abs-1204-2715,
  author    = {Magnus Knuth and
               Johannes Hercher and
               Harald Sack},
  title     = {Collaboratively Patching Linked Data},
  journal   = {CoRR},
  volume    = {abs/1204.2715},
  year      = {2012}
}
@article{DBLP:journals/cpc/BidkhoriK11,
  author    = {Hoda Bidkhori and
               Shaunak Kishore},
  title     = {A Bijective Proof of a Theorem of Knuth},
  journal   = {Combinatorics, Probability {\&} Computing},
  volume    = {20},
  number    = {1},
  pages     = {11--25},
  year      = {2011}
}
@article{DBLP:journals/inroads/Popyack11a,
  author    = {Jeffrey L. Popyack},
  title     = {Knuth draws record crowd to {UPE} national convention},
  journal   = {Inroads},
  volume    = {2},
  number    = {2},
  pages     = {30--31},
  year      = {2011}
}
@article{DBLP:journals/itse/WaitelonisLKS11,
  author    = {J{\"{o}}rg Waitelonis and
               Nadine Ludwig and
               Magnus Knuth and
               Harald Sack},
  title     = {WhoKnows? Evaluating linked data heuristics with a quiz that cleans
               up DBpedia},
  journal   = {Interact. Techn. Smart Edu.},
  volume    = {8},
  number    = {4},
  pages     = {236--248},
  year      = {2011}
}
@article{DBLP:journals/symmetry/GoyalK11,
  author    = {Philip Goyal and
               Kevin H. Knuth},
  title     = {Quantum Theory and Probability Theory: Their Relationship and Origin
               in Symmetry},
  journal   = {Symmetry},
  volume    = {3},
  number    = {2},
  pages     = {171--206},
  year      = {2011}
}
@inproceedings{DBLP:conf/cade/KovacsMV11,
  author    = {Laura Kov{\'{a}}cs and
               Georg Moser and
               Andrei Voronkov},
  title     = {On Transfinite Knuth-Bendix Orders},
  booktitle = {{CADE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6803},
  pages     = {384--399},
  publisher = {Springer},
  year      = {2011}
}
@inproceedings{DBLP:conf/cogsci/CooperWWAKEK11,
  author    = {Jennifer Cooper and
               Candace Walkington and
               Caroline Williams and
               Olubukola Akinsiku and
               Charles Kalish and
               Amy Ellis and
               Eric Knuth},
  title     = {Adolescent Reasoning in Mathematics: Exploring Middle School Students'
               Strategic Approaches in Empirical Justifications},
  booktitle = {CogSci},
  publisher = {cognitivesciencesociety.org},
  year      = {2011}
}
@inproceedings{DBLP:conf/i-semantics/WolfKOS11,
  author    = {Lina Wolf and
               Magnus Knuth and
               Johannes Osterhoff and
               Harald Sack},
  title     = {RISQ! Renowned Individuals Semantic Quiz: a Jeopardy like quiz game
               for ranking facts},
  booktitle = {{I-SEMANTICS}},
  series    = {{ACM} International Conference Proceeding Series},
  pages     = {71--78},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/iconip/AndoM11,
  author    = {Ruo Ando and
               Shinsuke Miwa},
  title     = {Faster Log Analysis and Integration of Security Incidents Using Knuth-Bendix
               Completion},
  booktitle = {{ICONIP} {(2)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7063},
  pages     = {28--36},
  publisher = {Springer},
  year      = {2011}
}
@inproceedings{DBLP:conf/isit/ImminkWF11,
  author    = {Kees A. Schouhamer Immink and
               Jos H. Weber and
               Hendrik C. Ferreira},
  title     = {Balanced runlength limited codes using Knuth's algorithm},
  booktitle = {{ISIT}},
  pages     = {317--320},
  publisher = {{IEEE}},
  year      = {2011}
}
@inproceedings{DBLP:conf/isit/SkachekI11,
  author    = {Vitaly Skachek and
               Kees A. Schouhamer Immink},
  title     = {Constant weight codes: An approach based on Knuth's balancing method},
  booktitle = {{ISIT}},
  pages     = {321--325},
  publisher = {{IEEE}},
  year      = {2011}
}
@inproceedings{DBLP:conf/itw/HeymannFW11,
  author    = {Carl H. Heymann and
               Hendrik C. Ferreira and
               Jos H. Weber},
  title     = {A Knuth-based RDS-minimizing multi-mode code},
  booktitle = {{ITW}},
  pages     = {508--512},
  publisher = {{IEEE}},
  year      = {2011}
}
@inproceedings{DBLP:conf/stringology/KourieWC11,
  author    = {Derrick G. Kourie and
               Bruce W. Watson and
               Loek G. Cleophas},
  title     = {On Compile Time Knuth-Morris-Pratt Precomputation},
  booktitle = {Stringology},
  pages     = {15--29},
  publisher = {Prague Stringology Club, Department of Theoretical Computer Science,
               Faculty of Information Technology, Czech Technical University in Prague},
  year      = {2011}
}
@article{DBLP:journals/corr/abs-1107-1257,
  author    = {M. Asim Mubeen and
               Kevin H. Knuth},
  title     = {Evidence-Based Filters for Signal Detection: Application to Evoked
               Brain Responses},
  journal   = {CoRR},
  volume    = {abs/1107.1257},
  year      = {2011}
}
@article{DBLP:journals/jar/GaldinoA10,
  author    = {Andr{\'{e}} Luiz Galdino and
               Mauricio Ayala{-}Rinc{\'{o}}n},
  title     = {A Formalization of the Knuth-Bendix(-Huet) Critical Pair Theorem},
  journal   = {J. Autom. Reasoning},
  volume    = {45},
  number    = {3},
  pages     = {301--325},
  year      = {2010}
}
@article{DBLP:journals/jucs/Ukkonen10,
  author    = {Esko Ukkonen},
  title     = {Geometric Point Pattern Matching in the Knuth-Morris-Pratt Way},
  journal   = {J. {UCS}},
  volume    = {16},
  number    = {14},
  pages     = {1902--1911},
  year      = {2010}
}
@article{DBLP:journals/tit/WeberI10,
  author    = {Jos H. Weber and
               Kees A. Schouhamer Immink},
  title     = {Knuth's balanced codes revisited},
  journal   = {{IEEE} Trans. Information Theory},
  volume    = {56},
  number    = {4},
  pages     = {1673--1679},
  year      = {2010}
}
@inproceedings{DBLP:conf/centeris/ModrakKS10,
  author    = {Vladim{\'{\i}}r Modr{\'{a}}k and
               Peter Knuth and
               Peter Sebej},
  title     = {Adoption of {RFID} Technology in Warehouse Management},
  booktitle = {{CENTERIS} {(1)}},
  series    = {Communications in Computer and Information Science},
  volume    = {109},
  pages     = {199--208},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/cogip/KnuthC10,
  author    = {Kevin H. Knuth and
               Julian L. Center},
  title     = {Autonomous science platforms and question-asking machines},
  booktitle = {{CIP}},
  pages     = {221--226},
  publisher = {{IEEE}},
  year      = {2010}
}
@inproceedings{DBLP:conf/csr/GawrychowskiJJ10,
  author    = {Pawel Gawrychowski and
               Artur Jez and
               Lukasz Jez},
  title     = {Validating the Knuth-Morris-Pratt Failure Function, Fast and Online},
  booktitle = {{CSR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6072},
  pages     = {132--143},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/grapp/KnuthKK10,
  author    = {Martin Knuth and
               J{\"{o}}rn Kohlhammer and
               Arjan Kuijper},
  title     = {Embedding Hierachical Deformation within a Realtime Scene Graph -
               {A} Simple Approach for Embedding GPU-based Realtime Deformations
               using Trilinear Transformations Embedded in a Scene Graph},
  booktitle = {{GRAPP}},
  pages     = {246--253},
  publisher = {{INSTICC} Press},
  year      = {2010}
}
@inproceedings{DBLP:conf/lpar/BonfanteM10,
  author    = {Guillaume Bonfante and
               Georg Moser},
  title     = {Characterising Space Complexity Classes via Knuth-Bendix Orders},
  booktitle = {{LPAR} (Yogyakarta)},
  series    = {Lecture Notes in Computer Science},
  volume    = {6397},
  pages     = {142--156},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/vriphys/KnuthKK10,
  author    = {Martin Knuth and
               J{\"{o}}rn Kohlhammer and
               Arjan Kuijper},
  title     = {A Geometry-Shader-Based Adaptive Mesh Refinement Scheme Using Semiuniform
               Quad/ Triangle Patches and Warping},
  booktitle = {{VRIPHYS}},
  pages     = {21--29},
  publisher = {Eurographics Association},
  year      = {2010}
}
@article{DBLP:journals/corr/abs-1008-4831,
  author    = {Kevin H. Knuth and
               John Skilling},
  title     = {Foundations of Inference},
  journal   = {CoRR},
  volume    = {abs/1008.4831},
  year      = {2010}
}
@article{DBLP:journals/corr/abs-1008-4973,
  author    = {Nabin K. Malakar and
               Kevin H. Knuth},
  title     = {Entropy-Based Search Algorithm for Experimental Design},
  journal   = {CoRR},
  volume    = {abs/1008.4973},
  year      = {2010}
}
@article{DBLP:journals/corr/abs-1009-5161,
  author    = {Kevin H. Knuth},
  title     = {Information Physics: The New Frontier},
  journal   = {CoRR},
  volume    = {abs/1009.5161},
  year      = {2010}
}
@article{DBLP:journals/mta/BeskowVHG09,
  author    = {Paul B. Beskow and
               Knut{-}Helge Vik and
               P{\aa}l Halvorsen and
               Carsten Griwodz},
  title     = {The partial migration of game state and dynamic server selection to
               reduce latency},
  journal   = {Multimedia Tools Appl.},
  volume    = {45},
  number    = {1-3},
  pages     = {83--107},
  year      = {2009}
}
@article{DBLP:journals/talg/BeinGLZ09,
  author    = {Wolfgang W. Bein and
               Mordecai J. Golin and
               Lawrence L. Larmore and
               Yan Zhang},
  title     = {The Knuth-Yao quadrangle-inequality speedup is a consequence of total
               monotonicity},
  journal   = {{ACM} Trans. Algorithms},
  volume    = {6},
  number    = {1},
  pages     = {17:1--17:22},
  year      = {2009}
}
@inproceedings{DBLP:conf/cbms/MuckeLKL09,
  author    = {Roland M{\"{u}}cke and
               Matthias L{\"{o}}be and
               Magnus Knuth and
               Frank Loebe},
  title     = {A semantic model for representing items in clinical trials},
  booktitle = {{CBMS}},
  pages     = {1--8},
  publisher = {{IEEE} Computer Society},
  year      = {2009}
}
@inproceedings{DBLP:conf/csreaSAM/MohammedCVHA09,
  author    = {Mohssen M. Z. E. Mohammed and
               H. Anthony Chan and
               Neco Ventura and
               Mohsin Hashim and
               Izzeldin Amin},
  title     = {A modified Knuth-Morris-Pratt Algorithm for Zero-day Polymorphic Worms
               Detection},
  booktitle = {Security and Management},
  pages     = {652--657},
  publisher = {{CSREA} Press},
  year      = {2009}
}
@inproceedings{DBLP:conf/igarss/KnuthTTERS09,
  author    = {Ralf Knuth and
               Carolin Thiel and
               Christian Thiel and
               Robert Eckardt and
               Nicole Richter and
               Christiane Schmullius},
  title     = {Multisensor {SAR} Analysis for Forest Monitoring in Boreal and Tropical
               Forest Environments},
  booktitle = {{IGARSS} {(5)}},
  pages     = {126--129},
  publisher = {{IEEE}},
  year      = {2009}
}
@inproceedings{DBLP:conf/lata/LiefoogheTV09,
  author    = {Aude Liefooghe and
               H{\'{e}}l{\`{e}}ne Touzet and
               Jean{-}St{\'{e}}phane Varr{\'{e}}},
  title     = {Self-overlapping Occurrences and Knuth-Morris-Pratt Algorithm for
               Weighted Matching},
  booktitle = {{LATA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5457},
  pages     = {481--492},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/swat4ls/LobeKM09,
  author    = {Matthias L{\"{o}}be and
               Magnus Knuth and
               Roland M{\"{u}}cke},
  title     = {{TIM:} {A} Semantic Web Application for the Specification of Metadata
               Items in Clinical Research},
  booktitle = {{SWAT4LS}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {559},
  publisher = {CEUR-WS.org},
  year      = {2009}
}
@article{DBLP:journals/cacm/X08k,
  title     = {Knuth's art of recovering from errors},
  journal   = {Commun. {ACM}},
  volume    = {51},
  number    = {9},
  pages     = {9},
  year      = {2008}
}
@article{DBLP:journals/cn/VikHG08,
  author    = {Knut{-}Helge Vik and
               P{\aa}l Halvorsen and
               Carsten Griwodz},
  title     = {Evaluating Steiner-tree heuristics and diameter variations for application
               layer multicast},
  journal   = {Computer Networks},
  volume    = {52},
  number    = {15},
  pages     = {2872--2893},
  year      = {2008}
}
@inproceedings{DBLP:conf/eon/KubczakMKLK08,
  author    = {Christian Kubczak and
               Tiziana Margaria and
               Matthias Kaiser and
               Jens Lemcke and
               Bjoern Knuth},
  title     = {Abductive Synthesis of the Mediator Scenario with jABC and {GEM}},
  booktitle = {{EON}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {359},
  publisher = {CEUR-WS.org},
  year      = {2008}
}
@inproceedings{DBLP:conf/icra/EricksonKOL08,
  author    = {Lawrence H. Erickson and
               Joseph Knuth and
               Jason M. O'Kane and
               Steven M. LaValle},
  title     = {Probabilistic localization with a blind robot},
  booktitle = {{ICRA}},
  pages     = {1821--1827},
  publisher = {{IEEE}},
  year      = {2008}
}
@inproceedings{DBLP:conf/infocom/VikHG08,
  author    = {Knut{-}Helge Vik and
               P{\aa}l Halvorsen and
               Carsten Griwodz},
  title     = {Multicast Tree Diameter for Dynamic Distributed Interactive Applications},
  booktitle = {{INFOCOM}},
  pages     = {1597--1605},
  publisher = {{IEEE}},
  year      = {2008}
}
@inproceedings{DBLP:conf/isit/FrontanaJF08,
  author    = {Emma Frontana and
               Craig Jamieson and
               Ivan J. Fair},
  title     = {Improved spectral performance of Knuth Codes},
  booktitle = {{ISIT}},
  pages     = {1562--1566},
  publisher = {{IEEE}},
  year      = {2008}
}
@inproceedings{DBLP:conf/isit/WeberI08,
  author    = {Jos H. Weber and
               Kees A. Schouhamer Immink},
  title     = {Knuth's balancing of codewords revisited},
  booktitle = {{ISIT}},
  pages     = {1567--1571},
  publisher = {{IEEE}},
  year      = {2008}
}
@inproceedings{DBLP:conf/lcn/VikGH08,
  author    = {Knut{-}Helge Vik and
               Carsten Griwodz and
               P{\aa}l Halvorsen},
  title     = {Constructing low-latency overlay networks: Tree vs. mesh algorithms},
  booktitle = {{LCN}},
  pages     = {36--43},
  publisher = {{IEEE} Computer Society},
  year      = {2008}
}
@inproceedings{DBLP:conf/netgames/BeskowVHG08,
  author    = {Paul B. Beskow and
               Knut{-}Helge Vik and
               P{\aa}l Halvorsen and
               Carsten Griwodz},
  title     = {Latency reduction by dynamic core selection and partial migration
               of game state},
  booktitle = {{NETGAMES}},
  pages     = {79--84},
  publisher = {{ACM}},
  year      = {2008}
}
@article{DBLP:journals/dcc/BallL07,
  author    = {Simeon Ball and
               Michel Lavrauw},
  title     = {On the Hughes-Kleinfeld and Knuth's semifields two-dimensional over
               a weak nucleus},
  journal   = {Des. Codes Cryptography},
  volume    = {44},
  number    = {1-3},
  pages     = {63--67},
  year      = {2007}
}
@article{DBLP:journals/dm/Ciucu07,
  author    = {Mihai Ciucu},
  title     = {A visual proof of a result of Knuth on spanning trees of Aztec diamonds
               in the case of odd order},
  journal   = {Discrete Mathematics},
  volume    = {307},
  number    = {15},
  pages     = {1957--1960},
  year      = {2007}
}
@article{DBLP:journals/dsp/KuruogluK07,
  author    = {Ercan E. Kuruoglu and
               Kevin H. Knuth},
  title     = {Special issue on Bayesian source separation},
  journal   = {Digital Signal Processing},
  volume    = {17},
  number    = {5},
  pages     = {855--857},
  year      = {2007}
}
@article{DBLP:journals/ieicet/KusakariC07,
  author    = {Keiichirou Kusakari and
               Yuki Chiba},
  title     = {A Higher-Order Knuth-Bendix Procedure and Its Applications},
  journal   = {{IEICE} Transactions},
  volume    = {90-D},
  number    = {4},
  pages     = {707--715},
  year      = {2007}
}
@inproceedings{DBLP:conf/hci/TrejoKPRKKMZ07,
  author    = {Leonard J. Trejo and
               Kevin Knuth and
               Raquel Prado and
               Roman Rosipal and
               Karla Kubitz and
               Rebekah Kochavi and
               Bryan Matthews and
               Yuzheng Zhang},
  title     = {EEG-Based Estimation of Mental Fatigue: Convergent Evidence for a
               Three-State Model},
  booktitle = {{HCI} {(16)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4565},
  pages     = {201--211},
  publisher = {Springer},
  year      = {2007}
}
@inproceedings{DBLP:conf/lcn/VikGH07,
  author    = {Knut{-}Helge Vik and
               Carsten Griwodz and
               P{\aa}l Halvorsen},
  title     = {Dynamic Group Membership Management for Distributed Interactive Applications},
  booktitle = {{LCN}},
  pages     = {141--148},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/lpar/LudwigW07,
  author    = {Michel Ludwig and
               Uwe Waldmann},
  title     = {An Extension of the Knuth-Bendix Ordering with LPO-Like Properties},
  booktitle = {{LPAR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4790},
  pages     = {348--362},
  publisher = {Springer},
  year      = {2007}
}
@incollection{DBLP:series/sci/Knuth07,
  author    = {Kevin H. Knuth},
  title     = {Valuations on Lattices: Fuzzification and its Implications},
  booktitle = {Computational Intelligence Based on Lattice Theory},
  series    = {Studies in Computational Intelligence},
  volume    = {67},
  pages     = {309--324},
  publisher = {Springer},
  year      = {2007}
}
@article{DBLP:journals/ejc/Fischer06,
  author    = {Ilse Fischer},
  title     = {Another refinement of the Bender-Knuth (ex-)conjecture},
  journal   = {Eur. J. Comb.},
  volume    = {27},
  number    = {2},
  pages     = {290--321},
  year      = {2006}
}
@article{DBLP:journals/ipl/StumpL06,
  author    = {Aaron Stump and
               Bernd L{\"{o}}chner},
  title     = {Knuth-Bendix completion of theories of commuting group endomorphisms},
  journal   = {Inf. Process. Lett.},
  volume    = {98},
  number    = {5},
  pages     = {195--198},
  year      = {2006}
}
@article{DBLP:journals/ipm/ShapiraD06,
  author    = {Dana Shapira and
               Ajay H. Daptardar},
  title     = {Adapting the Knuth-Morris-Pratt algorithm for pattern matching in
               Huffman encoded texts},
  journal   = {Inf. Process. Manage.},
  volume    = {42},
  number    = {2},
  pages     = {429--439},
  year      = {2006}
}
@article{DBLP:journals/rsa/BertoinM06,
  author    = {Jean Bertoin and
               Gr{\'{e}}gory Miermont},
  title     = {Asymptotics in Knuth's parking problem for caravans},
  journal   = {Random Struct. Algorithms},
  volume    = {29},
  number    = {1},
  pages     = {38--55},
  year      = {2006}
}
@article{DBLP:journals/sp/X06a,
  title     = {The Art of Computer Programming, by {D.E.} Knuth},
  journal   = {Scientific Programming},
  volume    = {14},
  number    = {3-4},
  pages     = {267--268},
  year      = {2006}
}
@inproceedings{DBLP:conf/fuzzIEEE/Knuth06,
  author    = {Kevin H. Knuth},
  title     = {Valuations on Lattices and their Application to Information Theory},
  booktitle = {{FUZZ-IEEE}},
  pages     = {217--224},
  publisher = {{IEEE}},
  year      = {2006}
}
@inproceedings{DBLP:conf/lpar/Moser06,
  author    = {Georg Moser},
  title     = {Derivational Complexity of Knuth-Bendix Orders Revisited},
  booktitle = {{LPAR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4246},
  pages     = {75--89},
  publisher = {Springer},
  year      = {2006}
}
@inproceedings{DBLP:conf/netgames/VikGH06,
  author    = {Knut{-}Helge Vik and
               Carsten Griwodz and
               P{\aa}l Halvorsen},
  title     = {Applicability of group communication for increased scalability in
               MMOGs},
  booktitle = {{NETGAMES}},
  pages     = {2},
  publisher = {{ACM}},
  year      = {2006}
}
@inproceedings{DBLP:conf/rta/WehrmanSW06,
  author    = {Ian Wehrman and
               Aaron Stump and
               Edwin M. Westbrook},
  title     = {Slothrop: Knuth-Bendix Completion with a Modern Termination Checker},
  booktitle = {{RTA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4098},
  pages     = {287--296},
  publisher = {Springer},
  year      = {2006}
}
@inproceedings{DBLP:conf/soda/BeinGLZ06,
  author    = {Wolfgang W. Bein and
               Mordecai J. Golin and
               Lawrence L. Larmore and
               Yan Zhang},
  title     = {The Knuth-Yao quadrangle-inequality speedup is a consequence of total-monotonicity},
  booktitle = {{SODA}},
  pages     = {31--40},
  publisher = {{ACM} Press},
  year      = {2006}
}
@article{DBLP:journals/combinatorics/Leeuwen05,
  author    = {Marc A. A. van Leeuwen},
  title     = {Spin-Preserving Knuth Correspondences for Ribbon Tableaux},
  journal   = {Electr. J. Comb.},
  volume    = {12},
  year      = {2005}
}
@article{DBLP:journals/ijon/Knuth05,
  author    = {Kevin H. Knuth},
  title     = {Lattice duality: The origin of probability and entropy},
  journal   = {Neurocomputing},
  volume    = {67},
  pages     = {245--274},
  year      = {2005}
}
@article{DBLP:journals/jct/Little05,
  author    = {David P. Little},
  title     = {Factorization of the Robinson-Schensted-Knuth correspondence},
  journal   = {J. Comb. Theory, Ser. {A}},
  volume    = {110},
  number    = {1},
  pages     = {147--168},
  year      = {2005}
}
@article{DBLP:journals/tocl/KorovinV05,
  author    = {Konstantin Korovin and
               Andrei Voronkov},
  title     = {Knuth-Bendix constraint solving is NP-complete},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {6},
  number    = {2},
  pages     = {361--388},
  year      = {2005}
}
@inproceedings{DBLP:conf/RelMiCS/Struth05,
  author    = {Georg Struth},
  title     = {Knuth-Bendix Completion as a Data Structure},
  booktitle = {RelMiCS},
  series    = {Lecture Notes in Computer Science},
  volume    = {3929},
  pages     = {225--236},
  publisher = {Springer},
  year      = {2005}
}
@inproceedings{DBLP:conf/aistats/Knuth05,
  author    = {Kevin Knuth},
  title     = {Toward Question-Asking Machines: The Logic of Questions and the Inquiry
               Calculus},
  booktitle = {{AISTATS}},
  publisher = {Society for Artificial Intelligence and Statistics},
  year      = {2005}
}
@inproceedings{DBLP:conf/cade/ZhangSM05,
  author    = {Ting Zhang and
               Henny B. Sipma and
               Zohar Manna},
  title     = {The Decidability of the First-Order Theory of Knuth-Bendix Order},
  booktitle = {{CADE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3632},
  pages     = {131--148},
  publisher = {Springer},
  year      = {2005}
}
@inproceedings{DBLP:conf/eusipco/DingKCBS05,
  author    = {Mingzhou Ding and
               Kevin H. Knuth and
               Yonghong Chen and
               Steven L. Bressler and
               Charles E. Schroeder},
  title     = {Coping with trial-to-trial variability of event related signals: {A}
               Bayesian inference approach},
  booktitle = {{EUSIPCO}},
  pages     = {1--4},
  publisher = {{IEEE}},
  year      = {2005}
}
@inproceedings{DBLP:conf/eusipco/Knuth05,
  author    = {Kevin H. Knuth},
  title     = {Informed source separation: {A} Bayesian tutorial},
  booktitle = {{EUSIPCO}},
  pages     = {1--8},
  publisher = {{IEEE}},
  year      = {2005}
}
@inproceedings{DBLP:conf/focs/X05e,
  title     = {Knuth Prize},
  booktitle = {{FOCS}},
  publisher = {{IEEE} Computer Society},
  year      = {2005}
}
@inproceedings{DBLP:conf/iscas/FolkessonSKD05,
  author    = {Kalle Folkesson and
               Christer Svensson and
               B. Knuthammar and
               A. Dreyfert},
  title     = {A high-level dynamic-error model of a pipelined analog-to-digital
               converter},
  booktitle = {{ISCAS} {(6)}},
  pages     = {5625--5628},
  publisher = {{IEEE}},
  year      = {2005}
}
@inproceedings{DBLP:conf/mm/Vik05,
  author    = {Knut{-}Helge Vik},
  title     = {Game state and event distribution using proxy technology and application
               layer multicast},
  booktitle = {{ACM} Multimedia},
  pages     = {1041--1042},
  publisher = {{ACM}},
  year      = {2005}
}
@inproceedings{DBLP:conf/wscg/KnuthF05,
  author    = {Martin Knuth and
               Arnulph Fuhrmann},
  title     = {Self-Shadowing of Dynamic Scenes with Environment Maps using the {GPU}},
  booktitle = {{WSCG} (Full Papers)},
  pages     = {31--46},
  year      = {2005}
}
@article{DBLP:journals/sigact/Oliveira04a,
  author    = {Carlos A. S. Oliveira},
  title     = {Review of "Selected Papers in Discrete Mathematics by D. Knuth", {CSLI}
               (Center for the Study of Language and Information Publication) paperback,
               {\textdollar}72.00},
  journal   = {{SIGACT} News},
  volume    = {35},
  number    = {4},
  pages     = {11--14},
  year      = {2004}
}
@inproceedings{DBLP:conf/dcc/DaptardarS04,
  author    = {Ajay H. Daptardar and
               Dana Shapira},
  title     = {Adapting the Knuth-Morris-Pratt Algorithm for Pattern Matching in
               Huffman Encoded Texts},
  booktitle = {Data Compression Conference},
  pages     = {535},
  publisher = {{IEEE} Computer Society},
  year      = {2004}
}
@inproceedings{DBLP:conf/secon/MedidiV04,
  author    = {Sirisha Medidi and
               Knut{-}Helge Vik},
  title     = {Quality of service-aware source-initiated ad-hoc routing},
  booktitle = {{SECON}},
  pages     = {108--117},
  publisher = {{IEEE}},
  year      = {2004}
}
@article{DBLP:journals/bc/TruccoloKSBSD03,
  author    = {Wilson A. Truccolo and
               Kevin H. Knuth and
               Ankoor Shah and
               Steven L. Bressler and
               Charles E. Schroeder and
               Mingzhou Ding},
  title     = {Estimation of single-trial multicomponent ERPs: Differentially variable
               component analysis (dVCA)},
  journal   = {Biological Cybernetics},
  volume    = {89},
  number    = {6},
  pages     = {426--438},
  year      = {2003}
}
@article{DBLP:journals/coling/Nederhof03,
  author    = {Mark{-}Jan Nederhof},
  title     = {Weighted Deductive Parsing and Knuth's Algorithm},
  journal   = {Computational Linguistics},
  volume    = {29},
  number    = {1},
  pages     = {135--143},
  year      = {2003}
}
@article{DBLP:journals/iandc/Hofbauer03,
  author    = {Dieter Hofbauer},
  title     = {An upper bound on the derivational complexity of Knuth-Bendix orderings},
  journal   = {Inf. Comput.},
  volume    = {183},
  number    = {1},
  pages     = {43--56},
  year      = {2003}
}
@article{DBLP:journals/iandc/KorovinV03,
  author    = {Konstantin Korovin and
               Andrei Voronkov},
  title     = {Orienting rewrite rules with the Knuth-Bendix order},
  journal   = {Inf. Comput.},
  volume    = {183},
  number    = {2},
  pages     = {165--186},
  year      = {2003}
}
@article{DBLP:journals/jar/BofillGNR03,
  author    = {Miquel Bofill and
               Guillem Godoy and
               Robert Nieuwenhuis and
               Albert Rubio},
  title     = {Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic
               Orderings},
  journal   = {J. Autom. Reasoning},
  volume    = {30},
  number    = {1},
  pages     = {99--120},
  year      = {2003}
}
@article{DBLP:journals/pr/WeberSS03,
  author    = {Karsten E. Weber and
               Werner Schlagner and
               Knuth Schweier},
  title     = {Estimating regional noise on neural network predictions},
  journal   = {Pattern Recognition},
  volume    = {36},
  number    = {10},
  pages     = {2333--2337},
  year      = {2003}
}
@inproceedings{DBLP:conf/cade/KorovinV03,
  author    = {Konstantin Korovin and
               Andrei Voronkov},
  title     = {An AC-Compatible Knuth-Bendix Order},
  booktitle = {{CADE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2741},
  pages     = {47--59},
  publisher = {Springer},
  year      = {2003}
}
@inproceedings{DBLP:conf/lics/KorovinV03,
  author    = {Konstantin Korovin and
               Andrei Voronkov},
  title     = {Orienting Equalities with the Knuth-Bendix Order},
  booktitle = {{LICS}},
  pages     = {75},
  publisher = {{IEEE} Computer Society},
  year      = {2003}
}
@inproceedings{DBLP:conf/seuh/BuhlKW03,
  author    = {Axel Buhl and
               Andr{\'{e}} Knuth and
               Ute Werner},
  title     = {Entwicklung eines E-Learning-Modul f{\"{u}}r das Softwareprojektmanagement},
  booktitle = {{SEUH}},
  pages     = {59--69},
  publisher = {dpunkt},
  year      = {2003}
}
@inproceedings{DBLP:conf/tphol/Thery03,
  author    = {Laurent Th{\'{e}}ry},
  title     = {Proving Pearl: Knuth's Algorithm for Prime Numbers},
  booktitle = {TPHOLs},
  series    = {Lecture Notes in Computer Science},
  volume    = {2758},
  pages     = {304--318},
  publisher = {Springer},
  year      = {2003}
}
@article{DBLP:journals/jct/CantrellHM02,
  author    = {Andy Cantrell and
               Tom Halverson and
               Brian Miller},
  title     = {Robinson - Schensted - Knuth insertion and characters of cyclotomic
               Hecke algebras},
  journal   = {J. Comb. Theory, Ser. {A}},
  volume    = {99},
  number    = {1},
  pages     = {17--31},
  year      = {2002}
}
@article{DBLP:journals/synthese/Promel02,
  author    = {Hans J{\"{u}}rgen Pr{\"{o}}mel},
  title     = {Large numbers, Knuth's arrow notation, and Ramsey theory},
  journal   = {Synthese},
  volume    = {133},
  number    = {1-2},
  pages     = {87--105},
  year      = {2002}
}
@inproceedings{DBLP:conf/fsttcs/KorovinV02,
  author    = {Konstantin Korovin and
               Andrei Voronkov},
  title     = {The Decidability of the First-Order Theory of the Knuth-Bendix Order
               in the Case of Unary Signatures},
  booktitle = {{FSTTCS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2556},
  pages     = {230--240},
  publisher = {Springer},
  year      = {2002}
}
@inproceedings{DBLP:conf/pepm/AgerDR02,
  author    = {Mads Sig Ager and
               Olivier Danvy and
               Henning Korsholm Rohde},
  title     = {On obtaining Knuth, Morris, and Pratt's string matcher by partial
               evaluation},
  booktitle = {{ASIA-PEPM}},
  pages     = {32--46},
  publisher = {{ACM}},
  year      = {2002}
}
@article{DBLP:journals/corr/cs-LO-0207068,
  author    = {Konstantin Korovin and
               Andrei Voronkov},
  title     = {Knuth-Bendix constraint solving is NP-complete},
  journal   = {CoRR},
  volume    = {cs.LO/0207068},
  year      = {2002}
}
@article{DBLP:journals/jamia/GardnerKAEWDG01,
  author    = {Daniel Gardner and
               Kevin H. Knuth and
               Michael Abato and
               Steven M. Erde and
               Thomas White and
               Robert DeBellis and
               Esther P. Gardner},
  title     = {Model Formulation: Common Data Model for Neuroscience Data and Data
               Model Exchange},
  journal   = {{JAMIA}},
  volume    = {8},
  number    = {1},
  pages     = {17--33},
  year      = {2001}
}
@article{DBLP:journals/tcs/Lepper01,
  author    = {Ingo Lepper},
  title     = {Derivation lengths and order types of Knuth-Bendix orders},
  journal   = {Theor. Comput. Sci.},
  volume    = {269},
  number    = {1-2},
  pages     = {433--450},
  year      = {2001}
}
@article{DBLP:journals/tcs/Struth01,
  author    = {Georg Struth},
  title     = {Knuth-Bendix Completion for Non-Symmetric Transitive Relations},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {59},
  number    = {4},
  pages     = {341--357},
  year      = {2001}
}
@inproceedings{DBLP:conf/icalp/KorovinV01,
  author    = {Konstantin Korovin and
               Andrei Voronkov},
  title     = {Knuth-Bendix Constraint Solving Is NP-Complete},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2076},
  pages     = {979--992},
  publisher = {Springer},
  year      = {2001}
}
@inproceedings{DBLP:conf/rta/KorovinV01,
  author    = {Konstantin Korovin and
               Andrei Voronkov},
  title     = {Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order},
  booktitle = {{RTA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2051},
  pages     = {137--153},
  publisher = {Springer},
  year      = {2001}
}
@article{DBLP:journals/ijac/EpsteinS00,
  author    = {David B. A. Epstein and
               Paul J. Sanders},
  title     = {Knuth-Bendix For Groups With Infinitely Many Rules},
  journal   = {{IJAC}},
  volume    = {10},
  number    = {5},
  pages     = {539--590},
  year      = {2000}
}
@inproceedings{DBLP:conf/lics/KorovinV00,
  author    = {Konstantin Korovin and
               Andrei Voronkov},
  title     = {A Decision Procedure for the Existential Theory of Term Algebras with
               the Knuth-Bendix Ordering},
  booktitle = {{LICS}},
  pages     = {291--302},
  publisher = {{IEEE} Computer Society},
  year      = {2000}
}
@article{DBLP:journals/tis/Knuth99,
  author    = {Rebecca Knuth},
  title     = {Sovereignty, Globalism, and Information Flow in Complex Emergencies},
  journal   = {Inf. Soc.},
  volume    = {15},
  number    = {1},
  pages     = {11--19},
  year      = {1999}
}
@proceedings{DBLP:conf/softerg/1999,
  editor    = {Udo Arend and
               Edmund Eberleh and
               Knuth Pitschke},
  title     = {Software-Ergonomie '99, Design von Informationswelten, Gemeinsame
               Fachtagung des German Chapter of the ACM, der Gesellschaft f{\"{u}}r
               Informatik {(GI)} und der {SAP} AG, Walldorf, 8.-11. M{\"{a}}rz
               1999, Walldorf/Baden},
  series    = {Berichte des German Chapter of the {ACM}},
  volume    = {53},
  publisher = {Teubner},
  year      = {1999}
}
@article{DBLP:journals/algorithmica/HofriJ98,
  author    = {Micha Hofri and
               Philippe Jacquet},
  title     = {Saddle Points in Random Matrices: Analysis of Knuth Search Algorithms},
  journal   = {Algorithmica},
  volume    = {22},
  number    = {4},
  pages     = {516--528},
  year      = {1998}
}
@article{DBLP:journals/sigact/Huang98,
  author    = {Andy Huang},
  title     = {Computation of the Knuth-Morris-Pratt skip tables},
  journal   = {{SIGACT} News},
  volume    = {29},
  number    = {3},
  pages     = {59--61},
  year      = {1998}
}
@article{DBLP:journals/stp/XueD97,
  author    = {Jinyun Xue and
               Ruth Davis},
  title     = {A Derivation and Prrof of Knuth's Binary to Decimal Conversion Program},
  journal   = {Software - Concepts and Tools},
  volume    = {18},
  number    = {4},
  pages     = {149--156},
  year      = {1997}
}
@phdthesis{DBLP:books/daglib/0089722,
  author    = {Andrea Sattler{-}Klein},
  title     = {A systematic study of infinite canonical systems generated by Knuth-Bendix
               completion and related problems},
  school    = {Universit{\"{a}}t Kaiserslautern},
  year      = {1996}
}
@phdthesis{DBLP:phd/dnb/Knuth96,
  author    = {Robert Knuth},
  title     = {Quantitative Analyse von DLX-Pipeline-Architekturen},
  school    = {Saarland University},
  year      = {1996}
}
@article{DBLP:journals/em/Paule96,
  author    = {Peter Paule},
  title     = {A Proof of a Conjecture of Knuth},
  journal   = {Experimental Mathematics},
  volume    = {5},
  number    = {2},
  pages     = {83--89},
  year      = {1996}
}
@article{DBLP:journals/njc/Linnestad96,
  author    = {Henrik Linnestad},
  title     = {Fatal Steps of Knuth-Bendix Completion. Nordic Journal of Computing},
  journal   = {Nord. J. Comput.},
  volume    = {3},
  number    = {2},
  pages     = {131--143},
  year      = {1996}
}
@article{DBLP:journals/tc/GrimsrudAFN96,
  author    = {Knuth Stener Grimsrud and
               James K. Archibald and
               Richard L. Frost and
               Brent E. Nelson},
  title     = {Locality as a Visualization Tool},
  journal   = {{IEEE} Trans. Computers},
  volume    = {45},
  number    = {11},
  pages     = {1319--1326},
  year      = {1996}
}
@article{DBLP:journals/jct/Fomin95,
  author    = {Sergey Fomin},
  title     = {Schur Operators and Knuth Correspondences},
  journal   = {J. Comb. Theory, Ser. {A}},
  volume    = {72},
  number    = {2},
  pages     = {277--292},
  year      = {1995}
}
@article{DBLP:journals/cj/Ward94,
  author    = {Martin P. Ward},
  title     = {Reverse Engineering through Formal Transformation: Knuths 'Polynomial
               Addition' Algorithm},
  journal   = {Comput. J.},
  volume    = {37},
  number    = {9},
  pages     = {795--813},
  year      = {1994}
}
@inproceedings{DBLP:conf/cpe/GrimsrudAFN94,
  author    = {Knuth Stener Grimsrud and
               James K. Archibald and
               Richard L. Frost and
               Brent E. Nelson},
  title     = {On the Accuracy of Memory Reference Models},
  booktitle = {Computer Performance Evaluation},
  series    = {Lecture Notes in Computer Science},
  volume    = {794},
  pages     = {369--388},
  publisher = {Springer},
  year      = {1994}
}
@inproceedings{DBLP:conf/parcella/Markova94,
  author    = {Valentina P. Markova},
  title     = {The Cellular Knuth Algorithm for Complex Number Multiplication},
  booktitle = {Parcella},
  series    = {Mathematical Research},
  volume    = {81},
  pages     = {91--98},
  publisher = {Akademie Verlag, Berlin},
  year      = {1994}
}
@inproceedings{DBLP:conf/stacs/Sattler-Klein94,
  author    = {Andrea Sattler{-}Klein},
  title     = {About Changing the Ordering During Knuth-Bendix Completion},
  booktitle = {{STACS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {775},
  pages     = {175--186},
  publisher = {Springer},
  year      = {1994}
}
@article{DBLP:journals/mam/GrimsrudARFN93,
  author    = {Knuth Stener Grimsrud and
               James K. Archibald and
               M. Ripley and
               J. Kelly Flanagan and
               Brent E. Nelson},
  title     = {{BACH:} a hardware monitor for tracing microprocessor-based systems},
  journal   = {Microprocessors and Microsystems - Embedded Hardware Design},
  volume    = {17},
  number    = {8},
  pages     = {443--459},
  year      = {1993}
}
@article{DBLP:journals/tcs/ThomasW93,
  author    = {Muffy Thomas and
               Phil Watson},
  title     = {Solving Divergence in Knuth-Bendix Completion by Enriching Signatures},
  journal   = {Theor. Comput. Sci.},
  volume    = {112},
  number    = {1},
  pages     = {145--185},
  year      = {1993}
}
@article{DBLP:journals/tkde/GrimsrudAN93,
  author    = {Knuth Stener Grimsrud and
               James K. Archibald and
               Brent E. Nelson},
  title     = {Multiple Prefetch Adaptive Disk Caching},
  journal   = {{IEEE} Trans. Knowl. Data Eng.},
  volume    = {5},
  number    = {1},
  pages     = {88--103},
  year      = {1993}
}
@inproceedings{DBLP:conf/mascots/FlanaganNAG93,
  author    = {J. Kelly Flanagan and
               Brent E. Nelson and
               James K. Archibald and
               Knuth Stener Grimsrud},
  title     = {Incomplete Trace Data and Trace Driven Simulation},
  booktitle = {{MASCOTS}},
  pages     = {203--209},
  publisher = {The Society for Computer Simulation},
  year      = {1993}
}
@article{DBLP:journals/tcs/LouchardRS92,
  author    = {Guy Louchard and
               B. Randrianarimanana and
               Ren{\'{e}} Schott},
  title     = {Dynamic Algorithms in {D.E.} Knuth's Model: {A} Probabilistic Analysis},
  journal   = {Theor. Comput. Sci.},
  volume    = {93},
  number    = {2},
  pages     = {201--225},
  year      = {1992}
}
@article{DBLP:journals/tcs/Prodinger92,
  author    = {Helmut Prodinger},
  title     = {Hypothetical Analyses: Approximate Counting in the Style of Knuth,
               Path Length in the Style of Flajolet},
  journal   = {Theor. Comput. Sci.},
  volume    = {100},
  number    = {1},
  pages     = {243--251},
  year      = {1992}
}
@inproceedings{DBLP:conf/ifip8-3/BiroBBKK92,
  author    = {Mikl{\'{o}}s Bir{\'{o}} and
               Ede Bodroghy and
               Attila Bor and
               El{\"{o}}d Knuth and
               L{\'{a}}szl{\'{o}} Kov{\'{a}}cs},
  title     = {The Design of {DINE:} {A} DIstributed NEgotiation Support Shell},
  booktitle = {Decision Support Systems: Experiences and Expectations},
  series    = {{IFIP} Transactions},
  volume    = {{A-9}},
  pages     = {103--113},
  publisher = {North-Holland},
  year      = {1992}
}
@proceedings{DBLP:conf/vdb/1991,
  editor    = {El{\"{o}}d Knuth and
               Lutz M. Wegner},
  title     = {Visual Database Systems, {II.} Proceedings of the {IFIP} {TC2/WG}
               2.6 Second Working Conference on Visual Database Systems. Budapest,
               Hungary, 30 September - 3 October 1991},
  series    = {{IFIP} Transactions},
  volume    = {{A-7}},
  publisher = {North-Holland},
  year      = {1992}
}
@article{DBLP:journals/cj/Dick91,
  author    = {A. J. J. Dick},
  title     = {An Introduction to Knuth-Bendix Completion},
  journal   = {Comput. J.},
  volume    = {34},
  number    = {1},
  pages     = {2--15},
  year      = {1991}
}
@article{DBLP:journals/jsc/EpsteinHR91,
  author    = {David B. A. Epstein and
               Derek F. Holt and
               Sarah Rees},
  title     = {The Use of Knuth-Bendix Methods to Solve the Word Problem in Automatic
               Groups},
  journal   = {J. Symb. Comput.},
  volume    = {12},
  number    = {4/5},
  pages     = {397--414},
  year      = {1991}
}
@article{DBLP:journals/jsc/Sims91,
  author    = {Charles C. Sims},
  title     = {The Knuth-Bendix Procedure for Strings as a Substitute for Coset Enumeration},
  journal   = {J. Symb. Comput.},
  volume    = {12},
  number    = {4/5},
  pages     = {439--442},
  year      = {1991}
}
@inproceedings{DBLP:conf/amast/ThmoasW91,
  author    = {Muffy Thomas and
               Phil Watson},
  title     = {Solving Divergence in Knuth-Bendix Completion by Enriching Signatures},
  booktitle = {{AMAST}},
  series    = {Workshops in Computing},
  pages     = {377--390},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/cip/PartschV91,
  author    = {Helmuth Partsch and
               Norbert V{\"{o}}lker},
  title     = {Another Case Study on Reusability of Transformational Developments
               Pattern Matching According to Knuth, Morris, and Pratt},
  booktitle = {Methods of Programming},
  series    = {Lecture Notes in Computer Science},
  volume    = {544},
  pages     = {35--48},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/rta/Bundgen91,
  author    = {Reinhard B{\"{u}}ndgen},
  title     = {Simulation Buchberger's Algorithm by Knuth-Bendix Completion},
  booktitle = {{RTA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {488},
  pages     = {386--397},
  publisher = {Springer},
  year      = {1991}
}
@inproceedings{DBLP:conf/vdb/JamrikJHKS91,
  author    = {F. Jamrik and
               G. Janek and
               {\'{A}}gnes Hern{\'{a}}di and
               El{\"{o}}d Knuth and
               M. Szab{\'{o}}},
  title     = {A Visual Technique for Communicating Data},
  booktitle = {{VDB}},
  series    = {{IFIP} Transactions},
  volume    = {{A-7}},
  pages     = {397--410},
  publisher = {North-Holland},
  year      = {1991}
}
@phdthesis{DBLP:phd/dnb/Bertling90,
  author    = {Hubert Bertling},
  title     = {Knuth-Bendix completion of Horn clause programs for restricted linear
               resolution and paramodulation},
  school    = {Technical University of Dortmund, Germany},
  year      = {1990}
}
@article{DBLP:journals/acta/DickKM90,
  author    = {Jeremy Dick and
               John Kalmus and
               Ursula Martin},
  title     = {Automating the Knuth Bendix Ordering},
  journal   = {Acta Inf.},
  volume    = {28},
  number    = {2},
  pages     = {95--119},
  year      = {1990}
}
@article{DBLP:journals/actaC/HernadiHK90,
  author    = {{\'{A}}gnes Hern{\'{a}}di and
               Alad{\'{a}}r Heppes and
               El{\"{o}}d Knuth},
  title     = {Data pictures on the desktop},
  journal   = {Acta Cybern.},
  volume    = {9},
  number    = {3},
  pages     = {257--268},
  year      = {1990}
}
@article{DBLP:journals/hm/KnuthB90,
  author    = {Randy A. Knuth and
               Thomas A. Brush},
  title     = {Results of the Hypertext'89 Design Survey},
  journal   = {Hypermedia},
  volume    = {2},
  number    = {2},
  pages     = {91--107},
  year      = {1990}
}
@article{DBLP:journals/tcs/FranconRS90,
  author    = {Jean Fran{\c{c}}on and
               B. Randrianarimanana and
               Ren{\'{e}} Schott},
  title     = {Analysis of Dynamic Algorithms in Knuth's Model},
  journal   = {Theor. Comput. Sci.},
  volume    = {72},
  number    = {2{\&}3},
  pages     = {147--167},
  year      = {1990}
}
@inproceedings{DBLP:conf/alp/Steinbach90,
  author    = {Joachim Steinbach},
  title     = {AC-Termination of Rewrite Systems: {A} Modified Knuth-Bendix Ordering},
  booktitle = {{ALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {463},
  pages     = {372--386},
  publisher = {Springer},
  year      = {1990}
}
@inproceedings{DBLP:conf/ctrs/Bertling90,
  author    = {Hubert Bertling},
  title     = {Knuth-Bendix Completion of Horn Clause Programs for Restricted Linear
               Resolution and Paramodulation},
  booktitle = {{CTRS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {516},
  pages     = {181--193},
  publisher = {Springer},
  year      = {1990}
}
@inproceedings{DBLP:conf/icalp/Klop90,
  author    = {Jan Willem Klop},
  title     = {Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {443},
  pages     = {350--369},
  publisher = {Springer},
  year      = {1990}
}
@inproceedings{DBLP:conf/iwwert/OhsugaS90,
  author    = {Akihiko Ohsuga and
               K{\^{o}} Sakai},
  title     = {Complete Equational Unification Based on an Extension of the Knuth-Bendix
               Completion Procedure},
  booktitle = {{IWWERT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {572},
  pages     = {197--209},
  publisher = {Springer},
  year      = {1990}
}
@article{DBLP:journals/ipl/Toyama89,
  author    = {Yoshihito Toyama},
  title     = {Fast Knuth-Bendix Completion with a Term Rewriting System Compiler},
  journal   = {Inf. Process. Lett.},
  volume    = {32},
  number    = {6},
  pages     = {325--328},
  year      = {1989}
}
@article{DBLP:journals/tcs/Diekert89,
  author    = {Volker Diekert},
  title     = {On the Knuth-Bendix Completion for Concurrent Processes},
  journal   = {Theor. Comput. Sci.},
  volume    = {66},
  number    = {2},
  pages     = {117--136},
  year      = {1989}
}
@article{DBLP:journals/tcs/HungK89,
  author    = {Dang Van Hung and
               El{\"{o}}d Knuth},
  title     = {Semi-Commutations and Petri Nets},
  journal   = {Theor. Comput. Sci.},
  volume    = {64},
  number    = {1},
  pages     = {67--81},
  year      = {1989}
}
@inproceedings{DBLP:conf/aii/Lange89,
  author    = {Steffen Lange},
  title     = {Towards a Set of Inference Rules for Solving Divergence in Knuth-Bendix
               Completion},
  booktitle = {{AII}},
  series    = {Lecture Notes in Computer Science},
  volume    = {397},
  pages     = {304--316},
  publisher = {Springer},
  year      = {1989}
}
@inproceedings{DBLP:conf/aii/ThomasJ89,
  author    = {Muffy Thomas and
               Klaus P. Jantke},
  title     = {Inductive Inference for Solving Divergence in Knuth-Bendix Completion},
  booktitle = {{AII}},
  series    = {Lecture Notes in Computer Science},
  volume    = {397},
  pages     = {288--303},
  publisher = {Springer},
  year      = {1989}
}
@inproceedings{DBLP:conf/icalp/LouchardRS89,
  author    = {Guy Louchard and
               B. Randrianarimanana and
               Ren{\'{e}} Schott},
  title     = {Dynamic Algorithms in D. E. Knuth's Model: {A} Probabilistic Analysis},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {372},
  pages     = {521--533},
  publisher = {Springer},
  year      = {1989}
}
@inproceedings{DBLP:conf/issac/Winkler89,
  author    = {Franz Winkler},
  title     = {Knuth-Bendix Procedure and Buchberger Algorithm: {A} Synthesis},
  booktitle = {{ISSAC}},
  pages     = {55--67},
  publisher = {{ACM}},
  year      = {1989}
}
@inproceedings{DBLP:conf/mfcs/Regnier89,
  author    = {Mireille R{\'{e}}gnier},
  title     = {Knuth-Morris-Pratt Algorithm: An Analysis},
  booktitle = {{MFCS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {379},
  pages     = {431--444},
  publisher = {Springer},
  year      = {1989}
}
@inproceedings{DBLP:conf/rta/Christian89,
  author    = {Jim Christian},
  title     = {Fast Knuth-Bendix Completion: Summary},
  booktitle = {{RTA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {355},
  pages     = {551--555},
  publisher = {Springer},
  year      = {1989}
}
@inproceedings{DBLP:conf/stacs/NarendranS89,
  author    = {Paliath Narendran and
               Jonathan Stillman},
  title     = {It is Undecidable Whether the Knuth-Bendix Completion Procedure Generates
               a Crossed Pair},
  booktitle = {{STACS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {349},
  pages     = {348--359},
  publisher = {Springer},
  year      = {1989}
}
@article{DBLP:journals/actaC/HungK88,
  author    = {Dang Van Hung and
               El{\"{o}}d Knuth},
  title     = {A noninterleaving semantics for communicating sequential processes:
               a fixed-point approach},
  journal   = {Acta Cybern.},
  volume    = {8},
  number    = {3},
  pages     = {293--314},
  year      = {1988}
}
@article{DBLP:journals/jsc/KapurMN88,
  author    = {Deepak Kapur and
               David R. Musser and
               Paliath Narendran},
  title     = {Only Prime Superpositions Need be Considered in the Knuth-Bendix Completion
               Procedure},
  journal   = {J. Symb. Comput.},
  volume    = {6},
  number    = {1},
  pages     = {19--36},
  year      = {1988}
}
@inproceedings{DBLP:conf/adt/Jantke88,
  author    = {Klaus P. Jantke},
  title     = {On Solving Divergence in Knuth-Bendix Completion},
  booktitle = {{ADT}},
  year      = {1988}
}
@inproceedings{DBLP:conf/caap/FranconRS88,
  author    = {Jean Fran{\c{c}}on and
               B. Randrianarimanana and
               Ren{\'{e}} Schott},
  title     = {Analysis of Dynamic Algorithms in D. E. Knuth's Model},
  booktitle = {{CAAP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {299},
  pages     = {72--88},
  publisher = {Springer},
  year      = {1988}
}
@inproceedings{DBLP:conf/fgcs/Rusinowitch88,
  author    = {Micha{\"{e}}l Rusinowitch},
  title     = {Theorem-Proving with Resolution and Superposition: An Extension of
               the Knuth and Bendic Procedure to a Complete Set of Inference Rules},
  booktitle = {{FGCS}},
  pages     = {524--531},
  year      = {1988}
}
@article{DBLP:journals/eatcs/Gnaedig87,
  author    = {Isabelle Gnaedig},
  title     = {Knuth-Bendix procedure and non-deterministic behaviour - An example},
  journal   = {Bulletin of the {EATCS}},
  volume    = {32},
  pages     = {86--92},
  year      = {1987}
}
@article{DBLP:journals/ipl/Pitt87,
  author    = {Leonard Pitt},
  title     = {A Note on Extending Knuth's Tree Estimator to Directed Acyclic Graphs},
  journal   = {Inf. Process. Lett.},
  volume    = {24},
  number    = {3},
  pages     = {203--206},
  year      = {1987}
}
@inproceedings{DBLP:conf/icalp/Diekert87,
  author    = {Volker Diekert},
  title     = {On the Knuth-Bendix Completion for Concurrent Processes},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {267},
  pages     = {42--53},
  publisher = {Springer},
  year      = {1987}
}
@inproceedings{DBLP:conf/ismis/KnuthDH87,
  author    = {El{\"{o}}d Knuth and
               J{\'{a}}nos Demetrovics and
               {\'{A}}gnes Hern{\'{a}}di},
  title     = {On Transformation Properties of Conceptual Structures},
  booktitle = {{ISMIS}},
  pages     = {217--223},
  year      = {1987}
}
@inproceedings{DBLP:conf/ki/Muller87,
  author    = {J{\"{u}}rgen M{\"{u}}ller},
  title     = {{THEOPOGLES} - {A} Theorem Prover Based on First-Order Polynominals
               and a Special Knuth-Bendix Procedure},
  booktitle = {{GWAI}},
  series    = {Informatik-Fachberichte},
  volume    = {152},
  pages     = {241--250},
  publisher = {Springer},
  year      = {1987}
}
@inproceedings{DBLP:conf/rta/Martin87,
  author    = {Ursula Martin},
  title     = {How to Choose Weights in the Knuth Bendix Ordering},
  booktitle = {{RTA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {256},
  pages     = {42--53},
  publisher = {Springer},
  year      = {1987}
}
@book{DBLP:series/wsscs/DemetrovicsKR86,
  author    = {J{\'{a}}nos Demetrovics and
               El{\"{o}}d Knuth and
               P{\'{e}}ter Rad{\'{o}}},
  title     = {Computer-Aided Specification Techniques},
  series    = {World Scientific Series in Computer Science},
  volume    = {1},
  publisher = {World Scientific},
  year      = {1986}
}
@article{DBLP:journals/cj/Thimbleby86,
  author    = {Harold W. Thimbleby},
  title     = {Experiences of 'Literate Programming' Using Cweb {(A} Variant of Knuth's
               {WEB)}},
  journal   = {Comput. J.},
  volume    = {29},
  number    = {3},
  pages     = {201--211},
  year      = {1986}
}
@article{DBLP:journals/eatcs/Lescanne86,
  author    = {Pierre Lescanne},
  title     = {Divergence of the Knuth-Bendix Completion Procedure and Termination
               Orderings},
  journal   = {Bulletin of the {EATCS}},
  volume    = {30},
  pages     = {80--83},
  year      = {1986}
}
@inproceedings{DBLP:conf/adt/Ganzinger86,
  author    = {Harald Ganzinger},
  title     = {Knuth-Bendix Completion for Parametric Specifications with Conditional
               Equations},
  booktitle = {{ADT}},
  year      = {1986}
}
@inproceedings{DBLP:conf/cade/Plaisted86,
  author    = {David A. Plaisted},
  title     = {A Simple Non-Termination Test for the Knuth-Bendix Method},
  booktitle = {{CADE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {230},
  pages     = {79--88},
  publisher = {Springer},
  year      = {1986}
}
@inproceedings{DBLP:conf/ds/KnuthHR86,
  author    = {El{\"{o}}d Knuth and
               L{\'{a}}szl{\'{o}} Hann{\'{a}}k and
               P{\'{e}}ter Rad{\'{o}}},
  title     = {A Taxonomy of Conceptual Foundations},
  booktitle = {{DS-2}},
  pages     = {205--219},
  year      = {1986}
}
@inproceedings{DBLP:conf/icalp/HermannP86,
  author    = {Miki Hermann and
               Igor Pr{\'{\i}}vara},
  title     = {On Nontermination of Knuth-Bendix Algorithm},
  booktitle = {{ICALP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {226},
  pages     = {146--156},
  publisher = {Springer},
  year      = {1986}
}
@inproceedings{DBLP:conf/ifip/KnuthDH86,
  author    = {El{\"{o}}d Knuth and
               J{\'{a}}nos Demetrovics and
               {\'{A}}gnes Hern{\'{a}}di},
  title     = {Information System Design: Techniques and Software Support - Response},
  booktitle = {{IFIP} Congress},
  pages     = {635--640},
  year      = {1986}
}
@inproceedings{DBLP:conf/issac/BachmairD86,
  author    = {Leo Bachmair and
               Nachum Dershowitz},
  title     = {Critical-pair criteria for the Knuth-Bendix completion procedure},
  booktitle = {{SYMSAC}},
  pages     = {215--217},
  publisher = {{ACM}},
  year      = {1986}
}
@inproceedings{DBLP:conf/ki/FronhoferF86,
  author    = {Bertram Fronh{\"{o}}fer and
               Ulrich Furbach},
  title     = {Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in
               Program Synthesis},
  booktitle = {{GWAI}},
  series    = {Informatik-Fachberichte},
  volume    = {124},
  pages     = {289--300},
  publisher = {Springer},
  year      = {1986}
}
@article{DBLP:journals/siamcomp/KapurN85,
  author    = {Deepak Kapur and
               Paliath Narendran},
  title     = {The Knuth-Bendix Completion Procedure and Thue Systems},
  journal   = {{SIAM} J. Comput.},
  volume    = {14},
  number    = {4},
  pages     = {1052--1072},
  year      = {1985}
}
@inproceedings{DBLP:conf/eurocal/Winkler85,
  author    = {Franz Winkler},
  title     = {Reducing the Complexity of the Knuth-Bendix Completion-Algorithm:
               {A} "Unification" of Different Approaches},
  booktitle = {European Conference on Computer Algebra {(2)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {204},
  pages     = {378--389},
  publisher = {Springer},
  year      = {1985}
}
@inproceedings{DBLP:conf/cade/Stickel84,
  author    = {Mark E. Stickel},
  title     = {A Case Study of Theorem Proving by the Knuth-Bendix Method: Discovering
               That x{\({^3}\)}=x Implies Ring Commutativity},
  booktitle = {{CADE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {170},
  pages     = {248--258},
  publisher = {Springer},
  year      = {1984}
}
@inproceedings{DBLP:conf/ibm/Bekic84,
  author    = {Hans Bekic},
  title     = {Note on a Test Example for {ALGOL} 60 Compilers by D. E. Knuth},
  booktitle = {Programming Languages and Their Definition},
  series    = {Lecture Notes in Computer Science},
  volume    = {177},
  pages     = {1},
  publisher = {Springer},
  year      = {1984}
}
@article{DBLP:journals/ipl/Metivier83,
  author    = {Yves M{\'{e}}tivier},
  title     = {About the Rewriting Systems Produced by the Knuth-Bendix Completion
               Algorithm},
  journal   = {Inf. Process. Lett.},
  volume    = {16},
  number    = {1},
  pages     = {31--34},
  year      = {1983}
}
@proceedings{DBLP:conf/os/1982,
  editor    = {El{\"{o}}d Knuth and
               Erich J. Neuhold},
  title     = {Specification and Design of Software Systems, Conference on Operating
               Systems, Visegrad, Hungary, January 23-27, 1982, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {152},
  publisher = {Springer},
  year      = {1983}
}
@article{DBLP:journals/computer/DemetrovicsKR82,
  author    = {J{\'{a}}nos Demetrovics and
               El{\"{o}}d Knuth and
               P{\'{e}}ter Rad{\'{o}}},
  title     = {Specification Meta Systems},
  journal   = {{IEEE} Computer},
  volume    = {15},
  number    = {5},
  pages     = {29--35},
  year      = {1982}
}
@inproceedings{DBLP:conf/eurocal/Kuchlin82,
  author    = {Wolfgang K{\"{u}}chlin},
  title     = {A Theorem-Proving Approach to the Knuth-Bendix Completion Algorithm},
  booktitle = {{EUROCAM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {144},
  pages     = {101--108},
  publisher = {Springer},
  year      = {1982}
}
@inproceedings{DBLP:conf/icassp/Dao82,
  author    = {Tich T. Dao},
  title     = {Knuth's complex number arithmetic revisited},
  booktitle = {{ICASSP}},
  pages     = {711--716},
  publisher = {{IEEE}},
  year      = {1982}
}
@inproceedings{DBLP:conf/os/Knuth82,
  author    = {El{\"{o}}d Knuth},
  title     = {Software structuring: a pragmatic approach},
  booktitle = {Conference on Operating Systems},
  series    = {Lecture Notes in Computer Science},
  volume    = {152},
  pages     = {16--27},
  publisher = {Springer},
  year      = {1982}
}
@article{DBLP:journals/ipl/Barth81,
  author    = {Gerhard Barth},
  title     = {An Alternative for the Implementation of the Knuth-Morris-Pratt Algorithm},
  journal   = {Inf. Process. Lett.},
  volume    = {13},
  number    = {4/5},
  pages     = {134--137},
  year      = {1981}
}
@article{DBLP:journals/jcss/Huet81,
  author    = {G{\'{e}}rard P. Huet},
  title     = {A Complete Proof of Correctness of the Knuth-Bendix Completion Algorithm},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {23},
  number    = {1},
  pages     = {11--21},
  year      = {1981}
}
@inproceedings{DBLP:conf/apn/KnuthGR81,
  author    = {El{\"{o}}d Knuth and
               G. Gy{\"{o}}ry and
               L. Rouyai},
  title     = {A Study of the Projection Operation},
  booktitle = {Selected Papers from the First and the Second European Workshop on
               Application and Theory of Petri Nets},
  series    = {Informatik-Fachberichte},
  volume    = {52},
  pages     = {203--207},
  publisher = {Springer},
  year      = {1981}
}
@article{DBLP:journals/mst/ChiricaM79,
  author    = {Laurian M. Chirica and
               David F. Martin},
  title     = {An Order-Algebraic Definition of Knuthian Semantics},
  journal   = {Mathematical Systems Theory},
  volume    = {13},
  pages     = {1--27},
  year      = {1979}
}
@article{DBLP:journals/dm/Bixby78,
  author    = {Robert E. Bixby},
  title     = {The solution to a matroid problem of Knuth},
  journal   = {Discrete Mathematics},
  volume    = {21},
  number    = {1},
  pages     = {87--88},
  year      = {1978}
}
@article{DBLP:journals/jct/Orlin78,
  author    = {James B. Orlin},
  title     = {Line-digraphs, arborescences, and theorems of tutte and knuth},
  journal   = {J. Comb. Theory, Ser. {B}},
  volume    = {25},
  number    = {2},
  pages     = {187--198},
  year      = {1978}
}
@inproceedings{DBLP:conf/mfcs/Knuth78,
  author    = {El{\"{o}}d Knuth},
  title     = {Cycles of Partial Orders},
  booktitle = {{MFCS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {64},
  pages     = {315--325},
  publisher = {Springer},
  year      = {1978}
}
@article{DBLP:journals/actaC/FeindKRV77,
  author    = {F. Feind and
               El{\"{o}}d Knuth and
               P{\'{e}}ter Rad{\'{o}} and
               J. Vars{\'{a}}nyi},
  title     = {Homogeneous event indexes},
  journal   = {Acta Cybern.},
  volume    = {3},
  number    = {1},
  pages     = {43--55},
  year      = {1976}
}
@inproceedings{DBLP:conf/focs/ChiricaM76,
  author    = {Laurian M. Chirica and
               David F. Martin},
  title     = {An Algebraic Formulation of Knuthian Semantics},
  booktitle = {{FOCS}},
  pages     = {127--136},
  publisher = {{IEEE} Computer Society},
  year      = {1976}
}
@article{DBLP:journals/jacm/Pfaltz75,
  author    = {John L. Pfaltz},
  title     = {Representing Graphs by Knuth Trees},
  journal   = {J. {ACM}},
  volume    = {22},
  number    = {3},
  pages     = {361--366},
  year      = {1975}
}
@article{DBLP:journals/spe/Hoaglin73,
  author    = {David C. Hoaglin},
  title     = {An Analysis of the Loop Optimization Scores in Knuth's 'Empirical
               Study of {FORTRAN} Programs'},
  journal   = {Softw., Pract. Exper.},
  volume    = {3},
  number    = {2},
  pages     = {161--169},
  year      = {1973}
}
@article{DBLP:journals/iandc/Pager70,
  author    = {David Pager},
  title     = {A Solution to an Open Problem by Knuth},
  journal   = {Information and Control},
  volume    = {17},
  number    = {5},
  pages     = {462--473},
  year      = {1970}
}
maintained by Schloss Dagstuhl LZI at University of Trier