BibTeX records: John G. Cleary

download as .bib file

@article{DBLP:journals/jcb/ClearyBGHIIJLNRWTV14,
  author       = {John G. Cleary and
                  Ross Braithwaite and
                  Kurt Gaastra and
                  Brian S. Hilbush and
                  Stuart Inglis and
                  Sean A. Irvine and
                  Alan Jackson and
                  Richard Littin and
                  Sahar Nohzadeh{-}Malakshah and
                  Mehul Rathod and
                  David Ware and
                  Len Trigg and
                  Francisco M. de la Vega},
  title        = {Joint Variant and \emph{De Novo} Mutation Identification on Pedigrees
                  from High-Throughput Sequencing Data},
  journal      = {J. Comput. Biol.},
  volume       = {21},
  number       = {6},
  pages        = {405--419},
  year         = {2014},
  url          = {https://doi.org/10.1089/cmb.2014.0029},
  doi          = {10.1089/CMB.2014.0029},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcb/ClearyBGHIIJLNRWTV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/UttingWC14,
  author       = {Mark Utting and
                  Min{-}Hsien Weng and
                  John G. Cleary},
  title        = {The JStar language philosophy},
  journal      = {Parallel Comput.},
  volume       = {40},
  number       = {2},
  pages        = {35--50},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.parco.2013.11.004},
  doi          = {10.1016/J.PARCO.2013.11.004},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pc/UttingWC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/UttingWC13,
  author       = {Mark Utting and
                  Min{-}Hsien Weng and
                  John G. Cleary},
  editor       = {Pavan Balaji and
                  Minyi Guo and
                  Zhiyi Huang},
  title        = {The JStar language philosophy},
  booktitle    = {Proceedings of the 2013 {PPOPP} International Workshop on Programming
                  Models and Applications for Multicores and Manycores, {PMAM} 2013,
                  Shenzhen, China, February 23, 2013},
  pages        = {31--41},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2442992.2442996},
  doi          = {10.1145/2442992.2442996},
  timestamp    = {Sun, 12 Jun 2022 19:46:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ppopp/UttingWC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-2178,
  author       = {Lunjin Lu and
                  John G. Cleary},
  title        = {Simplifying Negative Goals Using Typed Existence Properties},
  journal      = {CoRR},
  volume       = {abs/1009.2178},
  year         = {2010},
  url          = {http://arxiv.org/abs/1009.2178},
  eprinttype    = {arXiv},
  eprint       = {1009.2178},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1009-2178.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcb/PodowskiCGAH05,
  author       = {Raf M. Podowski and
                  John G. Cleary and
                  Nicholas T. Goncharoff and
                  Gregory Amoutzias and
                  William S. Hayes},
  title        = {Suregene, a Scalable System for Automated Term Disambiguation of Gene
                  and Protein Names},
  journal      = {J. Bioinform. Comput. Biol.},
  volume       = {3},
  number       = {3},
  pages        = {743--770},
  year         = {2005},
  url          = {https://doi.org/10.1142/S0219720005001223},
  doi          = {10.1142/S0219720005001223},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jbcb/PodowskiCGAH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csb/PodowskiCGAH04,
  author       = {Raf M. Podowski and
                  John G. Cleary and
                  Nicholas T. Goncharoff and
                  Gregory Amoutzias and
                  William S. Hayes},
  title        = {AZuRE, a Scalable System for Automated Term Disambiguation of Gene
                  and Protein Names},
  booktitle    = {3rd International {IEEE} Computer Society Computational Systems Bioinformatics
                  Conference, {CSB} 2004, Stanford, CA, USA, August 16-19, 2004},
  pages        = {415--424},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/CSB.2004.1332454},
  doi          = {10.1109/CSB.2004.1332454},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csb/PodowskiCGAH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cm/ClearyGMPZCDMM02,
  author       = {John G. Cleary and
                  Ian Graham and
                  Tony McGregor and
                  Murray Pearson and
                  Ilze Ziedins and
                  James Curtis and
                  Stephen Donnelly and
                  Jed Martens and
                  Stele Martin},
  title        = {High precision traffic measurement},
  journal      = {{IEEE} Commun. Mag.},
  volume       = {40},
  number       = {3},
  pages        = {167--173},
  year         = {2002},
  url          = {https://doi.org/10.1109/35.989782},
  doi          = {10.1109/35.989782},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cm/ClearyGMPZCDMM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ClaytonCPU02,
  author       = {Roger Clayton and
                  John G. Cleary and
                  Bernhard Pfahringer and
                  Mark Utting},
  editor       = {Michael Leuschel},
  title        = {Tabling Structures for Bottom-Up Logic Programming},
  booktitle    = {Logic Based Program Synthesis and Tranformation, 12th International
                  Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2664},
  pages        = {50--51},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45013-0\_5},
  doi          = {10.1007/3-540-45013-0\_5},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/ClaytonCPU02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/ZhongeSUC02,
  author       = {Xiao Zhonge and
                  Rob Simmonds and
                  Brian W. Unger and
                  John G. Cleary},
  editor       = {Jane L. Snowdon and
                  John M. Charnes},
  title        = {Parallel and distributed simulation: fast cell level {ATM} network
                  simulation},
  booktitle    = {Proceedings of the 34th Winter Simulation Conference: Exploring New
                  Frontiers, San Diego, California, USA, December 8-11, 2002},
  pages        = {712--719},
  publisher    = {{WSC}},
  year         = {2002},
  url          = {https://doi.org/10.1109/WSC.2002.1172951},
  doi          = {10.1109/WSC.2002.1172951},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wsc/ZhongeSUC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/UngerXCTW00,
  author       = {Brian W. Unger and
                  Zhonge Xiao and
                  John G. Cleary and
                  Jya{-}Jang Tsai and
                  Carey L. Williamson},
  title        = {Parallel shared-memory simulator performance for large {ATM} networks},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {10},
  number       = {4},
  pages        = {358--391},
  year         = {2000},
  url          = {https://doi.org/10.1145/369534.369537},
  doi          = {10.1145/369534.369537},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/UngerXCTW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcc/ClearyT99,
  author       = {John G. Cleary and
                  W. J. Teahan},
  title        = {An Open Interface for Probabilistic Models of Text},
  booktitle    = {Data Compression Conference, {DCC} 1999, Snowbird, Utah, USA, March
                  29-31, 1999},
  pages        = {522},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/DCC.1999.785679},
  doi          = {10.1109/DCC.1999.785679},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcc/ClearyT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LuC99,
  author       = {Lunjin Lu and
                  John G. Cleary},
  editor       = {Danny De Schreye},
  title        = {A Regular Type Analysis of Logic Programs},
  booktitle    = {Logic Programming: The 1999 International Conference, Las Cruces,
                  New Mexico, USA, November 29 - December 4, 1999},
  pages        = {613},
  publisher    = {{MIT} Press},
  year         = {1999},
  timestamp    = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/LuC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pads/XiaoUSC99,
  author       = {Xiao Zhonge and
                  Brian W. Unger and
                  Rob Simmonds and
                  John G. Cleary},
  editor       = {Richard M. Fujimoto and
                  Stephen John Turner},
  title        = {Scheduling Critical Channels in Conservative Parallel Discrete Event
                  Simulation},
  booktitle    = {Proceedings of the Thirteenth Workshop on Parallel and Distributed
                  Simulation, {PADS} '99, Atlanta, GA, USA, May 1-4, 1999},
  pages        = {20--28},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/PADS.1999.766157},
  doi          = {10.1109/PADS.1999.766157},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pads/XiaoUSC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/LuC99,
  author       = {Lunjin Lu and
                  John G. Cleary},
  editor       = {Gopalan Nadathur},
  title        = {An Operational Semantics of Starlog},
  booktitle    = {Principles and Practice of Declarative Programming, International
                  Conference PPDP'99, Paris, France, September 29 - October 1, 1999,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1702},
  pages        = {294--310},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/10704567\_18},
  doi          = {10.1007/10704567\_18},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/LuC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcc/TeahanC98,
  author       = {W. J. Teahan and
                  John G. Cleary},
  title        = {Tag Based Models of English Text},
  booktitle    = {Data Compression Conference, {DCC} 1998, Snowbird, Utah, USA, March
                  30 - April 1, 1998},
  pages        = {43--52},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/DCC.1998.672130},
  doi          = {10.1109/DCC.1998.672130},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcc/TeahanC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcc/TeahanICH98,
  author       = {W. J. Teahan and
                  Stuart Inglis and
                  John G. Cleary and
                  Geoffrey Holmes},
  title        = {Correcting English Text Using {PPM} Models},
  booktitle    = {Data Compression Conference, {DCC} 1998, Snowbird, Utah, USA, March
                  30 - April 1, 1998},
  pages        = {289--298},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/DCC.1998.672157},
  doi          = {10.1109/DCC.1998.672157},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcc/TeahanICH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/ClearyL98,
  author       = {John G. Cleary and
                  Lunjin Lu},
  editor       = {Catuscia Palamidessi and
                  Hugh Glaser and
                  Karl Meinke},
  title        = {Constructive Negation Using Typed Existence Properties},
  booktitle    = {Principles of Declarative Programming, 10th International Symposium,
                  PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
                  Pisa, Italy, September 16-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1490},
  pages        = {411--426},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0056629},
  doi          = {10.1007/BFB0056629},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/ClearyL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-9810001,
  author       = {Lunjin Lu and
                  John G. Cleary},
  title        = {On Dart-Zobel Algorithm for Testing Regular Type Inclusion},
  journal      = {CoRR},
  volume       = {cs.LO/9810001},
  year         = {1998},
  url          = {https://arxiv.org/abs/cs/9810001},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-9810001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-9811015,
  author       = {Lunjin Lu and
                  John G. Cleary},
  title        = {An Emptiness Algorithm for Regular Types with Set Operators},
  journal      = {CoRR},
  volume       = {cs.LO/9811015},
  year         = {1998},
  url          = {https://arxiv.org/abs/cs/9811015},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-9811015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ClearyT97,
  author       = {John G. Cleary and
                  W. J. Teahan},
  title        = {Unbounded Length Contexts for {PPM}},
  journal      = {Comput. J.},
  volume       = {40},
  number       = {2/3},
  pages        = {67--75},
  year         = {1997},
  timestamp    = {Mon, 24 Nov 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cj/ClearyT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Cleary97,
  author       = {John G. Cleary},
  title        = {Constructive Negation of Arithmetic Constraints Using Dataflow Graphs},
  journal      = {Constraints An Int. J.},
  volume       = {2},
  number       = {2},
  pages        = {131--162},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1009753625663},
  doi          = {10.1023/A:1009753625663},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/Cleary97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcom/BoydCIRW97,
  author       = {Colin Boyd and
                  John G. Cleary and
                  Sean A. Irvine and
                  Ingrid Rinsma{-}Melchert and
                  Ian H. Witten},
  title        = {Integrating error detection into arithmetic coding},
  journal      = {{IEEE} Trans. Commun.},
  volume       = {45},
  number       = {1},
  pages        = {1--3},
  year         = {1997},
  url          = {https://doi.org/10.1109/26.554275},
  doi          = {10.1109/26.554275},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcom/BoydCIRW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcc/TeahanC97,
  author       = {W. J. Teahan and
                  John G. Cleary},
  editor       = {James A. Storer and
                  Martin Cohn},
  title        = {Models of English Text},
  booktitle    = {Proceedings of the 7th Data Compression Conference {(DCC} '97), Snowbird,
                  Utah, USA, March 25-27, 1997},
  pages        = {12--21},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/DCC.1997.581953},
  doi          = {10.1109/DCC.1997.581953},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcc/TeahanC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipc/PearsonLMC97,
  author       = {Murray Pearson and
                  Richard Littin and
                  J. A. David McWha and
                  John G. Cleary},
  title        = {Applying Time Warp to {CPU} design},
  booktitle    = {Proceedings of the Fourth International on High-Performance Computing,
                  HiPC 1997, Bangalore, India, 18-21 December, 1997},
  pages        = {290--295},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/HIPC.1997.634505},
  doi          = {10.1109/HIPC.1997.634505},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hipc/PearsonLMC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pads/FranksGUC97,
  author       = {Steve Franks and
                  Fabian Gomes and
                  Brian W. Unger and
                  John G. Cleary},
  editor       = {Alois Ferscha and
                  Rassul Ayani and
                  Carl Tropper},
  title        = {State Saving for Interactive Optimistic Simulation},
  booktitle    = {Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation,
                  {PADS} '97, Lockenhaus, Austria, June 10-13, 1997},
  pages        = {72--79},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/PADS.1997.594589},
  doi          = {10.1109/PADS.1997.594589},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pads/FranksGUC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pads/ClearyMP97,
  author       = {John G. Cleary and
                  J. A. David McWha and
                  Murray Pearson},
  editor       = {Alois Ferscha and
                  Rassul Ayani and
                  Carl Tropper},
  title        = {Timestamp Representations for Virtual Sequences},
  booktitle    = {Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation,
                  {PADS} '97, Lockenhaus, Austria, June 10-13, 1997},
  pages        = {98--105},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/PADS.1997.594592},
  doi          = {10.1109/PADS.1997.594592},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pads/ClearyMP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pads/ClearyT97,
  author       = {John G. Cleary and
                  Jya{-}Jang Tsai},
  editor       = {Alois Ferscha and
                  Rassul Ayani and
                  Carl Tropper},
  title        = {Performance of a Conservative Simulator of {ATM} Networks},
  booktitle    = {Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation,
                  {PADS} '97, Lockenhaus, Austria, June 10-13, 1997},
  pages        = {142--145},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/PADS.1997.594598},
  doi          = {10.1109/PADS.1997.594598},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pads/ClearyT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/GomesUCF97,
  author       = {Fabian Gomes and
                  Brian W. Unger and
                  John G. Cleary and
                  Steve Franks},
  editor       = {Sigr{\'{u}}n Andrad{\'{o}}ttir and
                  Kevin J. Healy and
                  David H. Withers and
                  Barry L. Nelson},
  title        = {Multiplexed State Saving for Bounded Rollback},
  booktitle    = {Proceedings of the 29th conference on Winter simulation, {WSC} 1997,
                  Atlanta, GA, USA, December 7-10, 1997},
  pages        = {460--467},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.ieeecomputersociety.org/10.1109/WSC.1997.640905},
  doi          = {10.1109/WSC.1997.640905},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wsc/GomesUCF97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcc/TeahanC96,
  author       = {W. J. Teahan and
                  John G. Cleary},
  editor       = {James A. Storer and
                  Martin Cohn},
  title        = {The Entropy of English Using PPM-based Models},
  booktitle    = {Proceedings of the 6th Data Compression Conference {(DCC} '96), Snowbird,
                  Utah, USA, March 31 - April 3, 1996},
  pages        = {53--62},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/DCC.1996.488310},
  doi          = {10.1109/DCC.1996.488310},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcc/TeahanC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/md/Cleary0CW96,
  author       = {John G. Cleary and
                  Geoffrey Holmes and
                  Sally Jo Cunningham and
                  Ian H. Witten},
  title        = {MetaData for Database Mining},
  booktitle    = {Proceedings of the 1st {IEEE} Metadata Conference 1996, {MD} 1996,
                  Silver Spring, MD, USA, April 16-18, 1996},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {http://www.computer.org/conferen/meta96/holmes/DataBaseMining.html},
  timestamp    = {Fri, 15 Jul 2022 22:49:51 +0200},
  biburl       = {https://dblp.org/rec/conf/md/Cleary0CW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pads/ClearyT96,
  author       = {John G. Cleary and
                  Jya{-}Jang Tsai},
  editor       = {Wayne M. Loucks and
                  Bruno R. Preiss},
  title        = {Conservative Parallel Simulation of {ATM} Networks},
  booktitle    = {Proceedings of the Tenth Workshop on Parallel and Distributed Simulation,
                  {PADS} '96, Philadelphia, PA, USA, May 22-24, 1996},
  pages        = {30--38},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/PADS.1996.761560},
  doi          = {10.1109/PADS.1996.761560},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pads/ClearyT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/GomesUC96,
  author       = {Fabian Gomes and
                  Brian W. Unger and
                  John G. Cleary},
  editor       = {John M. Charnes and
                  Douglas J. Morrice and
                  Daniel T. Brunner and
                  James J. Swain},
  title        = {Language Based State Saving Extensions for Optimistic Parallel Simulation},
  booktitle    = {Proceedings of the 28th conference on Winter simulation, {WSC} 1996,
                  Coronado, CA, USA, December 8-11, 1996},
  pages        = {794--800},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.ieeecomputersociety.org/10.1109/WSC.1996.873367},
  doi          = {10.1109/WSC.1996.873367},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wsc/GomesUC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/ClearyIR95,
  author       = {John G. Cleary and
                  Sean A. Irvine and
                  Ingrid Rinsma{-}Melchert},
  title        = {On the insecurity of arithmetic coding},
  journal      = {Comput. Secur.},
  volume       = {14},
  number       = {2},
  pages        = {167--180},
  year         = {1995},
  url          = {https://doi.org/10.1016/0167-4048(95)97050-K},
  doi          = {10.1016/0167-4048(95)97050-K},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/compsec/ClearyIR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcc/ClearyTW95,
  author       = {John G. Cleary and
                  W. J. Teahan and
                  Ian H. Witten},
  editor       = {James A. Storer and
                  Martin Cohn},
  title        = {Unbounded Length Contexts for {PPM}},
  booktitle    = {Proceedings of the {IEEE} Data Compression Conference, {DCC} 1995,
                  Snowbird, Utah, USA, March 28-30, 1995},
  pages        = {52--61},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/DCC.1995.515495},
  doi          = {10.1109/DCC.1995.515495},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcc/ClearyTW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/ClearyPK95,
  author       = {John G. Cleary and
                  Murray Pearson and
                  Husam Kinawi},
  title        = {The architecture of an optimistic {CPU:} the WarpEngine},
  booktitle    = {28th Annual Hawaii International Conference on System Sciences (HICSS-28),
                  January 3-6, 1995, Kihei, Maui, Hawaii, {USA}},
  pages        = {163--172},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/HICSS.1995.375397},
  doi          = {10.1109/HICSS.1995.375397},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/ClearyPK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/ClearyT95,
  author       = {John G. Cleary and
                  Leonard E. Trigg},
  editor       = {Armand Prieditis and
                  Stuart Russell},
  title        = {K\({}^{\mbox{*}}\): An Instance-based Learner Using and Entropic Distance
                  Measure},
  booktitle    = {Machine Learning, Proceedings of the Twelfth International Conference
                  on Machine Learning, Tahoe City, California, USA, July 9-12, 1995},
  pages        = {108--114},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {https://doi.org/10.1016/b978-1-55860-377-6.50022-0},
  doi          = {10.1016/B978-1-55860-377-6.50022-0},
  timestamp    = {Wed, 20 Apr 2022 13:29:53 +0200},
  biburl       = {https://dblp.org/rec/conf/icml/ClearyT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pads/XiaoGUC95,
  author       = {Zhonge Xiao and
                  Fabian Gomes and
                  Brian W. Unger and
                  John G. Cleary},
  title        = {A fast asynchronous {GVT} algorithm for shared memory multiprocessor
                  architectures},
  booktitle    = {Proceedings of the Ninth Workshop on Parallel and Distributed Simulation,
                  PADS'95, Lake Placid, New York, USA, June 14-16, 1995},
  pages        = {203--208},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/PADS.1995.404296},
  doi          = {10.1109/PADS.1995.404296},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pads/XiaoGUC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/GomesCCFUZ95,
  author       = {Fabian Gomes and
                  John G. Cleary and
                  Alan Covington and
                  Steve Franks and
                  Brian W. Unger and
                  Xiao Zhonge},
  editor       = {William R. Lilegdon and
                  David Goldsman and
                  Christos Alexopoulos and
                  Keebom Kang},
  title        = {SimKit: {A} High Performance Logical Process Simulation Class Library
                  in {C++}},
  booktitle    = {Proceedings of the 27th conference on Winter simulation, {WSC} 1995,
                  Arlington, VA, USA, December 3-6, 1995},
  pages        = {706--713},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/WSC.1995.478847},
  doi          = {10.1109/WSC.1995.478847},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wsc/GomesCCFUZ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/WestCHMR95,
  author       = {Darrin West and
                  John G. Cleary and
                  Jim Hofmann and
                  Larry Mellon and
                  Jim Ramsey},
  editor       = {William R. Lilegdon and
                  David Goldsman and
                  Christos Alexopoulos and
                  Keebom Kang},
  title        = {Infrastructure for Rapid Execution of Strike-Planning Systems},
  booktitle    = {Proceedings of the 27th conference on Winter simulation, {WSC} 1995,
                  Arlington, VA, USA, December 3-6, 1995},
  pages        = {1207--1214},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/WSC.1995.479026},
  doi          = {10.1109/WSC.1995.479026},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wsc/WestCHMR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pads/ClearyGUXT94,
  author       = {John G. Cleary and
                  Fabian Gomes and
                  Brian W. Unger and
                  Zhonge Xiao and
                  Raimar Thudt},
  editor       = {D. K. Arvind and
                  Rajive L. Bagrodia and
                  Jason Yi{-}Bing Lin},
  title        = {Cost of state saving {\&} rollback},
  booktitle    = {Proceedings of the Eighth Workshop on Parallel and Distributed Simulation,
                  {PADS} 1994, Edinburgh, Scotland, United Kingdom, July 6-8, 1994},
  pages        = {94--101},
  publisher    = {{ACM}},
  year         = {1994},
  url          = {https://doi.org/10.1145/182478.182545},
  doi          = {10.1145/182478.182545},
  timestamp    = {Fri, 20 May 2022 12:42:41 +0200},
  biburl       = {https://dblp.org/rec/conf/pads/ClearyGUXT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/UngerC93,
  author       = {Brian W. Unger and
                  John G. Cleary},
  title        = {Commentary - Practical Parallel Discrete Event Simulation},
  journal      = {{INFORMS} J. Comput.},
  volume       = {5},
  number       = {3},
  pages        = {242--244},
  year         = {1993},
  url          = {https://doi.org/10.1287/ijoc.5.3.242},
  doi          = {10.1287/IJOC.5.3.242},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/informs/UngerC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/DarraghCW93,
  author       = {John J. Darragh and
                  John G. Cleary and
                  Ian H. Witten},
  title        = {Bonsai: a Compact Representation of Trees},
  journal      = {Softw. Pract. Exp.},
  volume       = {23},
  number       = {3},
  pages        = {277--291},
  year         = {1993},
  url          = {https://doi.org/10.1002/spe.4380230305},
  doi          = {10.1002/SPE.4380230305},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/DarraghCW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/UngerCCW93,
  author       = {Brian W. Unger and
                  John G. Cleary and
                  Alan Covington and
                  Darrin West},
  editor       = {Gerald W. Evans and
                  Mansooreh Mollaghasemi and
                  Edward C. Russell and
                  William E. Biles},
  title        = {An external state management system for optimistic parallel simulation},
  booktitle    = {Proceedings of the 25th Winter Simulation Conference, Los Angeles,
                  California, USA, December 12-15, 1993},
  pages        = {750--755},
  publisher    = {{ACM} Press},
  year         = {1993},
  url          = {https://doi.org/10.1145/256563.256836},
  doi          = {10.1145/256563.256836},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wsc/UngerCCW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/LiCU92,
  author       = {Xining Li and
                  John G. Cleary and
                  Brian W. Unger},
  title        = {Virtual time and virtual space},
  journal      = {Int. J. Parallel Program.},
  volume       = {21},
  number       = {2},
  pages        = {123--150},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01408290},
  doi          = {10.1007/BF01408290},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijpp/LiCU92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/OlthofC92,
  author       = {Ian Olthof and
                  John G. Cleary},
  title        = {AND-Parallel Prolog on a Transputer-Based System},
  booktitle    = {Workshop on Concurrent and Parallel Implementations (sessions {A}
                  and B), held at IJCSLP'92, Washington, DC, USA, November 1992},
  year         = {1992},
  timestamp    = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/OlthofC92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/BellWC89,
  author       = {Timothy C. Bell and
                  Ian H. Witten and
                  John G. Cleary},
  title        = {Modeling for Text Compression},
  journal      = {{ACM} Comput. Surv.},
  volume       = {21},
  number       = {4},
  pages        = {557--591},
  year         = {1989},
  url          = {https://doi.org/10.1145/76894.76896},
  doi          = {10.1145/76894.76896},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csur/BellWC89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/WittenC88,
  author       = {Ian H. Witten and
                  John G. Cleary},
  title        = {On the privacy afforded by adaptive text compression},
  journal      = {Comput. Secur.},
  volume       = {7},
  number       = {4},
  pages        = {397--408},
  year         = {1988},
  url          = {https://doi.org/10.1016/0167-4048(88)90580-9},
  doi          = {10.1016/0167-4048(88)90580-9},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/compsec/WittenC88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vc/ClearyW88,
  author       = {John G. Cleary and
                  Geoff Wyvill},
  title        = {Analysis of an algorithm for fast ray tracing using uniform space
                  subdivision},
  journal      = {Vis. Comput.},
  volume       = {4},
  number       = {2},
  pages        = {65--83},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF01905559},
  doi          = {10.1007/BF01905559},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/vc/ClearyW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/WittenNC87,
  author       = {Ian H. Witten and
                  Radford M. Neal and
                  John G. Cleary},
  title        = {Arithmetic Coding for Data Compression},
  journal      = {Commun. {ACM}},
  volume       = {30},
  number       = {6},
  pages        = {520--540},
  year         = {1987},
  url          = {https://doi.org/10.1145/214762.214771},
  doi          = {10.1145/214762.214771},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/WittenNC87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/Cleary87,
  author       = {John G. Cleary},
  title        = {Acquisition of Uncertain Rules in a Probabilistic Logic},
  journal      = {Int. J. Man Mach. Stud.},
  volume       = {27},
  number       = {2},
  pages        = {145--154},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0020-7373(87)80048-2},
  doi          = {10.1016/S0020-7373(87)80048-2},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijmms/Cleary87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cgf/ClearyWBV86,
  author       = {John G. Cleary and
                  Brian Wyvill and
                  Graham M. Birtwistle and
                  Reddy Vatti},
  title        = {Multiprocessor Ray Tracing},
  journal      = {Comput. Graph. Forum},
  volume       = {5},
  number       = {1},
  pages        = {3--12},
  year         = {1986},
  url          = {https://doi.org/10.1111/j.1467-8659.1986.tb00263.x},
  doi          = {10.1111/J.1467-8659.1986.TB00263.X},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cgf/ClearyWBV86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/DewarC86,
  author       = {Alan D. Dewar and
                  John G. Cleary},
  title        = {Graphical Display of Complex Information within a Prolog Debugger},
  journal      = {Int. J. Man Mach. Stud.},
  volume       = {25},
  number       = {5},
  pages        = {503--521},
  year         = {1986},
  url          = {https://doi.org/10.1016/S0020-7373(86)80020-7},
  doi          = {10.1016/S0020-7373(86)80020-7},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijmms/DewarC86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/WittenCG84,
  author       = {Ian H. Witten and
                  John G. Cleary and
                  Saul Greenberg},
  title        = {On Frequency-Based Menu-Splitting Algorithms},
  journal      = {Int. J. Man Mach. Stud.},
  volume       = {21},
  number       = {2},
  pages        = {135--148},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0020-7373(84)80063-2},
  doi          = {10.1016/S0020-7373(84)80063-2},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijmms/WittenCG84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Cleary84,
  author       = {John G. Cleary},
  title        = {Compact Hash Tables Using Bidirectional Linear Probing},
  journal      = {{IEEE} Trans. Computers},
  volume       = {33},
  number       = {9},
  pages        = {828--834},
  year         = {1984},
  url          = {https://doi.org/10.1109/TC.1984.1676499},
  doi          = {10.1109/TC.1984.1676499},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/Cleary84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcom/ClearyW84,
  author       = {John G. Cleary and
                  Ian H. Witten},
  title        = {Data Compression Using Adaptive Coding and Partial String Matching},
  journal      = {{IEEE} Trans. Commun.},
  volume       = {32},
  number       = {4},
  pages        = {396--402},
  year         = {1984},
  url          = {https://doi.org/10.1109/TCOM.1984.1096090},
  doi          = {10.1109/TCOM.1984.1096090},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcom/ClearyW84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/ClearyW84,
  author       = {John G. Cleary and
                  Ian H. Witten},
  title        = {A comparison of enumerative and adaptive codes},
  journal      = {{IEEE} Trans. Inf. Theory},
  volume       = {30},
  number       = {2},
  pages        = {306--315},
  year         = {1984},
  url          = {https://doi.org/10.1109/TIT.1984.1056889},
  doi          = {10.1109/TIT.1984.1056889},
  timestamp    = {Tue, 10 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tit/ClearyW84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee-sej/WittenC83,
  author       = {Ian H. Witten and
                  John G. Cleary},
  title        = {An introduction to the architecture of the Intel iAPX 432},
  journal      = {Softw. Microsystems},
  volume       = {2},
  number       = {2},
  pages        = {29--34},
  year         = {1983},
  url          = {https://doi.org/10.1049/sm.1983.0013},
  doi          = {10.1049/SM.1983.0013},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee-sej/WittenC83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/WittenBCHLLNPUW83,
  author       = {Ian H. Witten and
                  Graham M. Birtwistle and
                  John G. Cleary and
                  David R. Hill and
                  Danny Levinson and
                  Greg Lomow and
                  Radford M. Neal and
                  Murray Peterson and
                  Brian W. Unger and
                  Brian Wyvill},
  title        = {Jade: {A} Distributed Software Prototyping Environment},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {17},
  number       = {3},
  pages        = {10--23},
  year         = {1983},
  url          = {https://doi.org/10.1145/850742.850744},
  doi          = {10.1145/850742.850744},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/WittenBCHLLNPUW83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toms/Cleary79,
  author       = {John G. Cleary},
  title        = {Analysis of an Algorithm for Finding Nearest Neighbors in Euclidean
                  Space},
  journal      = {{ACM} Trans. Math. Softw.},
  volume       = {5},
  number       = {2},
  pages        = {183--192},
  year         = {1979},
  url          = {https://doi.org/10.1145/355826.355832},
  doi          = {10.1145/355826.355832},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toms/Cleary79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/OrganickC71,
  author       = {Elliott I. Organick and
                  John G. Cleary},
  title        = {A data structure model of the {B6700} computer system},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {6},
  number       = {2},
  pages        = {83--145},
  year         = {1971},
  url          = {https://doi.org/10.1145/1115880.1115884},
  doi          = {10.1145/1115880.1115884},
  timestamp    = {Tue, 01 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigplan/OrganickC71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Cleary66,
  author       = {John G. Cleary},
  title        = {A Fortran technique for simplifying input to report generators},
  journal      = {Commun. {ACM}},
  volume       = {9},
  number       = {6},
  pages        = {441--442},
  year         = {1966},
  url          = {https://doi.org/10.1145/365696.365716},
  doi          = {10.1145/365696.365716},
  timestamp    = {Mon, 28 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Cleary66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics