Search dblp for Publications

export results for "knuth -don"

more than 100 matches, exporting first 100 hits only!

download as .bib file

@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/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/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/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/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/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}
}
maintained by Schloss Dagstuhl LZI at University of Trier