BibTeX records: Loek Cleophas

download as .bib file

@inproceedings{DBLP:conf/fase/RungeSCTKW19,
  author    = {Tobias Runge and
               Ina Schaefer and
               Loek Cleophas and
               Thomas Th{\"{u}}m and
               Derrick G. Kourie and
               Bruce W. Watson},
  title     = {Tool Support for Correctness-by-Construction},
  booktitle = {Fundamental Approaches to Software Engineering - 22nd International
               Conference, {FASE} 2019, Held as Part of the European Joint Conferences
               on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic,
               April 6-11, 2019, Proceedings},
  pages     = {25--42},
  year      = {2019},
  crossref  = {DBLP:conf/fase/2019},
  url       = {https://doi.org/10.1007/978-3-030-16722-6\_2},
  doi       = {10.1007/978-3-030-16722-6\_2},
  timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/RungeSCTKW19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/YangASLHCS19,
  author    = {Nan Yang and
               Kousar Aslam and
               Ramon R. H. Schiffelers and
               Leonard Lensink and
               Dennis Hendriks and
               Loek Cleophas and
               Alexander Serebrenik},
  title     = {Improving Model Inference in Industry by Combining Active and Passive
               Learning},
  booktitle = {26th {IEEE} International Conference on Software Analysis, Evolution
               and Reengineering, {SANER} 2019, Hangzhou, China, February 24-27,
               2019},
  pages     = {253--263},
  year      = {2019},
  crossref  = {DBLP:conf/wcre/2019},
  url       = {https://doi.org/10.1109/SANER.2019.8668007},
  doi       = {10.1109/SANER.2019.8668007},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/YangASLHCS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/BelabbaciCCZ18,
  author    = {Ahlem Belabbaci and
               Hadda Cherroun and
               Loek Cleophas and
               Djelloul Ziadi},
  title     = {Tree pattern matching from regular tree expressions},
  journal   = {Kybernetika},
  volume    = {54},
  number    = {2},
  pages     = {221--242},
  year      = {2018},
  url       = {https://doi.org/10.14736/kyb-2018-2-0221},
  doi       = {10.14736/kyb-2018-2-0221},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/kybernetika/BelabbaciCCZ18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/WilleBCSBS18,
  author    = {David Wille and
               {\"{O}}nder Babur and
               Loek Cleophas and
               Christoph Seidl and
               Mark van den Brand and
               Ina Schaefer},
  title     = {Improving custom-tailored variability mining using outlier and cluster
               detection},
  journal   = {Sci. Comput. Program.},
  volume    = {163},
  pages     = {62--84},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.scico.2018.04.002},
  doi       = {10.1016/j.scico.2018.04.002},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/WilleBCSBS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CleophasSW18,
  author    = {Loek Cleophas and
               Ina Schaefer and
               Bruce W. Watson},
  title     = {Workshop on Advances in Knowledge Extraction and Re-engineering of
               Software (selected and extended papers from {WAKERS} 2017)},
  journal   = {Sci. Comput. Program.},
  volume    = {166},
  pages     = {1--2},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.scico.2018.05.004},
  doi       = {10.1016/j.scico.2018.05.004},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/CleophasSW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/benevol/BaburCB18,
  author    = {{\"{O}}nder Babur and
               Loek Cleophas and
               Mark van den Brand},
  title     = {Metamodel Clone Detection with {SAMOS}},
  booktitle = {Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop,
               Delft, the Netherlands, December 10th - to - 11th, 2018.},
  pages     = {21--23},
  year      = {2018},
  crossref  = {DBLP:conf/benevol/2018},
  url       = {http://ceur-ws.org/Vol-2361/short6.pdf},
  timestamp = {Tue, 28 May 2019 16:23:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/benevol/BaburCB18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KourieSCW18,
  author    = {Derrick G. Kourie and
               Tinus Strauss and
               Loek Cleophas and
               Bruce W. Watson},
  title     = {Using {CSP} to Develop Quality Concurrent Software},
  booktitle = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
               on the Occasion of his 60th Birthday},
  pages     = {165--184},
  year      = {2018},
  crossref  = {DBLP:conf/birthday/2018poetzsch},
  url       = {https://doi.org/10.1007/978-3-319-98047-8\_11},
  doi       = {10.1007/978-3-319-98047-8\_11},
  timestamp = {Wed, 31 Oct 2018 17:54:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/KourieSCW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BeekCSW18,
  author    = {Maurice H. ter Beek and
               Loek Cleophas and
               Ina Schaefer and
               Bruce W. Watson},
  title     = {X-by-Construction},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
               November 5-9, 2018, Proceedings, Part {I}},
  pages     = {359--364},
  year      = {2018},
  crossref  = {DBLP:conf/isola/2018-1},
  url       = {https://doi.org/10.1007/978-3-030-03418-4\_21},
  doi       = {10.1007/978-3-030-03418-4\_21},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/BeekCSW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SchaeferRKCKW18,
  author    = {Ina Schaefer and
               Tobias Runge and
               Alexander Kn{\"{u}}ppel and
               Loek Cleophas and
               Derrick G. Kourie and
               Bruce W. Watson},
  title     = {Towards Confidentiality-by-Construction},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
               November 5-9, 2018, Proceedings, Part {I}},
  pages     = {502--515},
  year      = {2018},
  crossref  = {DBLP:conf/isola/2018-1},
  url       = {https://doi.org/10.1007/978-3-030-03418-4\_30},
  doi       = {10.1007/978-3-030-03418-4\_30},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/SchaeferRKCKW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BaburCB18,
  author    = {{\"{O}}nder Babur and
               Loek Cleophas and
               Mark van den Brand},
  title     = {Model analytics for feature models: case studies for {S.P.L.O.T.}
               repository},
  booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
               EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
               ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
               International Conference on Model Driven Engineering Languages and
               Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018.},
  pages     = {787--792},
  year      = {2018},
  crossref  = {DBLP:conf/models/2018w},
  url       = {http://ceur-ws.org/Vol-2245/ammore\_paper\_2.pdf},
  timestamp = {Tue, 28 May 2019 16:23:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/models/BaburCB18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/BaburCB18,
  author    = {{\"{O}}nder Babur and
               Loek Cleophas and
               Mark van den Brand},
  title     = {Towards Distributed Model Analytics with Apache Spark},
  booktitle = {Proceedings of the 6th International Conference on Model-Driven Engineering
               and Software Development, {MODELSWARD} 2018, Funchal, Madeira - Portugal,
               January 22-24, 2018.},
  pages     = {767--772},
  year      = {2018},
  crossref  = {DBLP:conf/modelsward/2018},
  url       = {https://doi.org/10.5220/0006735407670772},
  doi       = {10.5220/0006735407670772},
  timestamp = {Wed, 11 Apr 2018 15:38:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/modelsward/BaburCB18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/modellierung/2018w,
  editor    = {Ina Schaefer and
               Loek Cleophas and
               Michael Felderer and
               Steffen Becker and
               Wolfgang B{\"{o}}hm and
               Dirk Fahland and
               Hans{-}Georg Fill and
               Robert Heinrich and
               Kathrin Kirchner and
               Michael K{\"{o}}hler{-}Bu{\ss}meier and
               Marco Konersmann and
               Heinrich C. Mayr and
               Daniel Moldt and
               Andreas Oberweis and
               Felix Reher and
               Matthias Riebisch and
               Stefan Sauer and
               Holger Schlingloff and
               Bernhard Thalheim and
               Andreas Vogelsang and
               R{\"{u}}diger Wei{\ss}bach and
               Thorsten Weyer},
  title     = {Joint Proceedings of the Workshops at Modellierung 2018 co-located
               with Modellierung 2018, Braunschweig, Germany, February 21, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2060},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2060},
  urn       = {urn:nbn:de:0074-2060-3},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/modellierung/2018w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BjorklundCK17,
  author    = {Johanna Bj{\"{o}}rklund and
               Loek Cleophas and
               My Karlsson},
  title     = {An Evaluation of Structured Language Modeling for Automatic Speech
               Recognition},
  journal   = {J. {UCS}},
  volume    = {23},
  number    = {11},
  pages     = {1019--1034},
  year      = {2017},
  url       = {http://www.jucs.org/jucs\_23\_11/an\_evaluation\_of\_structured},
  timestamp = {Fri, 06 Apr 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jucs/BjorklundCK17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/StraussWKC17,
  author    = {Tinus Strauss and
               Bruce W. Watson and
               Derrick G. Kourie and
               Loek Cleophas},
  title     = {{CSP} for Parallelising Brzozowski's {DFA} Construction Algorithm},
  booktitle = {The Role of Theory in Computer Science - Essays Dedicated to Janusz
               Brzozowski},
  pages     = {217--244},
  year      = {2017},
  crossref  = {DBLP:conf/birthday/2017brzozowski},
  url       = {https://doi.org/10.1142/9789813148208\_0010},
  doi       = {10.1142/9789813148208\_0010},
  timestamp = {Fri, 02 Nov 2018 09:46:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/StraussWKC17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/SchlieWCS17,
  author    = {Alexander Schlie and
               David Wille and
               Loek Cleophas and
               Ina Schaefer},
  title     = {Clustering Variation Points in MATLAB/Simulink Models Using Reverse
               Signal Propagation Analysis},
  booktitle = {Mastering Scale and Complexity in Software Reuse - 16th International
               Conference on Software Reuse, {ICSR} 2017, Salvador, Brazil, May 29-31,
               2017, Proceedings},
  pages     = {77--94},
  year      = {2017},
  crossref  = {DBLP:conf/icsr/2017},
  url       = {https://doi.org/10.1007/978-3-319-56856-0\_6},
  doi       = {10.1007/978-3-319-56856-0\_6},
  timestamp = {Sat, 19 Oct 2019 20:02:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsr/SchlieWCS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BjorklundC17,
  author    = {Johanna Bj{\"{o}}rklund and
               Loek Cleophas},
  title     = {Minimization of Finite State Automata Through Partition Aggregation},
  booktitle = {Language and Automata Theory and Applications - 11th International
               Conference, {LATA} 2017, Ume{\aa}, Sweden, March 6-9, 2017, Proceedings},
  pages     = {223--235},
  year      = {2017},
  crossref  = {DBLP:conf/lata/2017},
  url       = {https://doi.org/10.1007/978-3-319-53733-7\_16},
  doi       = {10.1007/978-3-319-53733-7\_16},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lata/BjorklundC17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saicsit/PieterseC17,
  author    = {Vreda Pieterse and
               Loek Cleophas},
  title     = {Benchmarking optimised algorithms for transitive closure},
  booktitle = {Proceedings of the South African Institute of Computer Scientists
               and Information Technologists, {SAICSIT} 2017, Thaba Nchu, South Africa,
               September 26-28, 2017},
  pages     = {27:1--27:10},
  year      = {2017},
  crossref  = {DBLP:conf/saicsit/2017},
  url       = {https://doi.org/10.1145/3129416.3129425},
  doi       = {10.1145/3129416.3129425},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/saicsit/PieterseC17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BaburC17,
  author    = {{\"{O}}nder Babur and
               Loek Cleophas},
  title     = {Using n-grams for the Automated Clustering of Structural Models},
  booktitle = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
               Conference on Current Trends in Theory and Practice of Computer Science,
               Limerick, Ireland, January 16-20, 2017, Proceedings},
  pages     = {510--524},
  year      = {2017},
  crossref  = {DBLP:conf/sofsem/2017},
  url       = {https://doi.org/10.1007/978-3-319-51963-0\_40},
  doi       = {10.1007/978-3-319-51963-0\_40},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sofsem/BaburC17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/SchlieWSCS17,
  author    = {Alexander Schlie and
               David Wille and
               Sandro Schulze and
               Loek Cleophas and
               Ina Schaefer},
  title     = {Detecting Variability in MATLAB/Simulink Models: An Industry-Inspired
               Technique and its Evaluation},
  booktitle = {Proceedings of the 21st International Systems and Software Product
               Line Conference, {SPLC} 2017, Volume A, Sevilla, Spain, September
               25-29, 2017},
  pages     = {215--224},
  year      = {2017},
  crossref  = {DBLP:conf/splc/2017a},
  url       = {https://doi.org/10.1145/3106195.3106225},
  doi       = {10.1145/3106195.3106225},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/splc/SchlieWSCS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/BaburCBTA17,
  author    = {{\"{O}}nder Babur and
               Loek Cleophas and
               Mark van den Brand and
               Bedir Tekinerdogan and
               Mehmet Aksit},
  title     = {Models, More Models, and Then a Lot More},
  booktitle = {Software Technologies: Applications and Foundations - {STAF} 2017
               Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
               Selected Papers},
  pages     = {129--135},
  year      = {2017},
  crossref  = {DBLP:conf/staf/2017w},
  url       = {https://doi.org/10.1007/978-3-319-74730-9\_10},
  doi       = {10.1007/978-3-319-74730-9\_10},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/staf/BaburCBTA17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/RungeSCW17,
  author    = {Tobias Runge and
               Ina Schaefer and
               Loek Cleophas and
               Bruce W. Watson},
  title     = {Many-MADFAct: Concurrently Constructing MADFAs},
  booktitle = {Proceedings of the Prague Stringology Conference 2017, Prague, Czech
               Republic, August 28-30, 2017},
  pages     = {126--142},
  year      = {2017},
  crossref  = {DBLP:conf/stringology/2017},
  url       = {http://www.stringology.org/event/2017/p13.html},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/RungeSCW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BjorklundC16,
  author    = {Johanna Bj{\"{o}}rklund and
               Loek Cleophas},
  title     = {A Taxonomy of Minimisation Algorithms for Deterministic Tree Automata},
  journal   = {J. {UCS}},
  volume    = {22},
  number    = {2},
  pages     = {180--196},
  year      = {2016},
  url       = {http://www.jucs.org/jucs\_22\_2/a\_taxonomy\_of\_minimisation},
  timestamp = {Mon, 13 Jun 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jucs/BjorklundC16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/BaburCB16,
  author    = {{\"{O}}nder Babur and
               Loek Cleophas and
               Mark van den Brand},
  title     = {Hierarchical Clustering of Metamodels for Comparative Analysis and
               Visualization},
  booktitle = {Modelling Foundations and Applications - 12th European Conference,
               {ECMFA} 2016, Held as Part of {STAF} 2016, Vienna, Austria, July 6-7,
               2016, Proceedings},
  pages     = {3--18},
  year      = {2016},
  crossref  = {DBLP:conf/ecmdafa/2016},
  url       = {https://doi.org/10.1007/978-3-319-42061-5\_1},
  doi       = {10.1007/978-3-319-42061-5\_1},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecmdafa/BaburCB16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/SchaeferSCW16,
  author    = {Ina Schaefer and
               Christoph Seidl and
               Loek Cleophas and
               Bruce W. Watson},
  title     = {Tax-PLEASE - Towards Taxonomy-Based Software Product Line Engineering},
  booktitle = {Software Reuse: Bridging with Social-Awareness - 15th International
               Conference, {ICSR} 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings},
  pages     = {63--70},
  year      = {2016},
  crossref  = {DBLP:conf/icsr/2016},
  url       = {https://doi.org/10.1007/978-3-319-35122-3\_5},
  doi       = {10.1007/978-3-319-35122-3\_5},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsr/SchaeferSCW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WatsonKSC16,
  author    = {Bruce W. Watson and
               Derrick G. Kourie and
               Ina Schaefer and
               Loek Cleophas},
  title     = {Correctness-by-Construction and Post-hoc Verification: {A} Marriage
               of Convenience?},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
               Foundational Techniques - 7th International Symposium, ISoLA 2016,
               Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  pages     = {730--748},
  year      = {2016},
  crossref  = {DBLP:conf/isola/2016-1},
  url       = {https://doi.org/10.1007/978-3-319-47166-2\_52},
  doi       = {10.1007/978-3-319-47166-2\_52},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/WatsonKSC16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CleophasKPSW16,
  author    = {Loek Cleophas and
               Derrick G. Kourie and
               Vreda Pieterse and
               Ina Schaefer and
               Bruce W. Watson},
  title     = {Correctness-by-Construction {\textbackslash}wedge Taxonomies {\textbackslash}Rightarrow
               Deep Comprehension of Algorithm Families},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
               Foundational Techniques - 7th International Symposium, ISoLA 2016,
               Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  pages     = {766--783},
  year      = {2016},
  crossref  = {DBLP:conf/isola/2016-1},
  url       = {https://doi.org/10.1007/978-3-319-47166-2\_54},
  doi       = {10.1007/978-3-319-47166-2\_54},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/CleophasKPSW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/BaburCVB16,
  author    = {{\"{O}}nder Babur and
               Loek Cleophas and
               Tom Verhoeff and
               Mark van den Brand},
  title     = {Towards Statistical Comparison and Analysis of Models},
  booktitle = {{MODELSWARD} 2016 - Proceedings of the 4rd International Conference
               on Model-Driven Engineering and Software Development, Rome, Italy,
               19-21 February, 2016.},
  pages     = {361--367},
  year      = {2016},
  crossref  = {DBLP:conf/modelsward/2016},
  url       = {https://doi.org/10.5220/0005799103610367},
  doi       = {10.5220/0005799103610367},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/modelsward/BaburCVB16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/AwidCW16,
  author    = {Kamil Awid and
               Loek Cleophas and
               Bruce W. Watson},
  title     = {Using Human Computation in Dead-zone based 2D Pattern Matching},
  booktitle = {Proceedings of the Prague Stringology Conference 2016, Prague, Czech
               Republic, August 29-31, 2016},
  pages     = {22--32},
  year      = {2016},
  crossref  = {DBLP:conf/stringology/2016},
  url       = {http://www.stringology.org/event/2016/p03.html},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/AwidCW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/WatsonKC15,
  author    = {Bruce W. Watson and
               Derrick G. Kourie and
               Loek G. Cleophas},
  title     = {Experience with correctness-by-construction},
  journal   = {Sci. Comput. Program.},
  volume    = {97},
  pages     = {55--58},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2013.11.024},
  doi       = {10.1016/j.scico.2013.11.024},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/WatsonKC15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cla/NxumaloKCW15,
  author    = {Madoda Nxumalo and
               Derrick G. Kourie and
               Loek G. Cleophas and
               Bruce W. Watson},
  title     = {An Aho-Corasick Based Assessment of Algorithms Generating Failure
               Deterministic Finite Automata},
  booktitle = {Proceedings of the Twelfth International Conference on Concept Lattices
               and Their Applications, Clermont-Ferrand, France, October 13-16, 2015.},
  pages     = {87--98},
  year      = {2015},
  crossref  = {DBLP:conf/cla/2015},
  url       = {http://ceur-ws.org/Vol-1466/paper07.pdf},
  timestamp = {Tue, 28 May 2019 16:23:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cla/NxumaloKCW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/TravnicekJMC15,
  author    = {Jan Tr{\'{a}}vn{\'{\i}}cek and
               Jan Janousek and
               Borivoj Melichar and
               Loek G. Cleophas},
  title     = {Backward Linearised Tree Pattern Matching},
  booktitle = {Language and Automata Theory and Applications - 9th International
               Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
  pages     = {599--610},
  year      = {2015},
  crossref  = {DBLP:conf/lata/2015},
  url       = {https://doi.org/10.1007/978-3-319-15579-1\_47},
  doi       = {10.1007/978-3-319-15579-1\_47},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lata/TravnicekJMC15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CleophasA15,
  author    = {Loek G. Cleophas and
               Ali Afroozeh},
  title     = {Workshop preview of the 3rd workshop on parsing programming languages
               (Parsing@SLE 2015)},
  booktitle = {Companion Proceedings of the 2015 {ACM} {SIGPLAN} International Conference
               on Systems, Programming, Languages and Applications: Software for
               Humanity, {SPLASH} 2015, Pittsburgh, PA, USA, October 25-30, 2015},
  pages     = {107--108},
  year      = {2015},
  crossref  = {DBLP:conf/oopsla/2015c},
  url       = {https://doi.org/10.1145/2814189.2833209},
  doi       = {10.1145/2814189.2833209},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/CleophasA15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saicsit/BrandKMC15,
  author    = {Dirk Brand and
               Steve Kroon and
               Brink van der Merwe and
               Loek G. Cleophas},
  title     = {N-Gram Representations For Comment Filtering},
  booktitle = {Proceedings of the 2015 Annual Research Conference on South African
               Institute of Computer Scientists and Information Technologists, {SAICSIT}
               '15, Stellenbosch, South Africa, September 28-30, 2015},
  pages     = {6:1--6:10},
  year      = {2015},
  crossref  = {DBLP:conf/saicsit/2015},
  url       = {https://doi.org/10.1145/2815782.2815789},
  doi       = {10.1145/2815782.2815789},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/saicsit/BrandKMC15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saicsit/SchaeferSCW15,
  author    = {Ina Schaefer and
               Christoph Seidl and
               Loek G. Cleophas and
               Bruce W. Watson},
  title     = {SPLicing {TABASCO:} Custom-Tailored Software Product Line Variants
               from Taxonomy-Based Toolkits},
  booktitle = {Proceedings of the 2015 Annual Research Conference on South African
               Institute of Computer Scientists and Information Technologists, {SAICSIT}
               '15, Stellenbosch, South Africa, September 28-30, 2015},
  pages     = {34:1--34:10},
  year      = {2015},
  crossref  = {DBLP:conf/saicsit/2015},
  url       = {https://doi.org/10.1145/2815782.2815799},
  doi       = {10.1145/2815782.2815799},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/saicsit/SchaeferSCW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/WatsonKC15,
  author    = {Bruce W. Watson and
               Derrick G. Kourie and
               Loek G. Cleophas},
  title     = {Quantum Leap Pattern Matching},
  booktitle = {Proceedings of the Prague Stringology Conference 2015, Prague, Czech
               Republic, August 24-26, 2015},
  pages     = {104--117},
  year      = {2015},
  crossref  = {DBLP:conf/stringology/2015},
  url       = {http://www.stringology.org/event/2015/p11.html},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/WatsonKC15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/saicsit/2015,
  editor    = {Richard J. Barnett and
               Loek G. Cleophas and
               Derrick G. Kourie and
               Daniel B. le Roux and
               Bruce W. Watson},
  title     = {Proceedings of the 2015 Annual Research Conference on South African
               Institute of Computer Scientists and Information Technologists, {SAICSIT}
               '15, Stellenbosch, South Africa, September 28-30, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2815782},
  isbn      = {978-1-4503-3683-3},
  timestamp = {Tue, 04 Oct 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/saicsit/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/saj/CleophasKW14,
  author    = {Loek G. Cleophas and
               Derrick G. Kourie and
               Bruce W. Watson},
  title     = {Weak factor automata: the failure of failure factor oracles?},
  journal   = {South African Computer Journal},
  volume    = {53},
  pages     = {1--14},
  year      = {2014},
  url       = {http://reference.sabinet.co.za/document/EJC161394},
  timestamp = {Wed, 25 Feb 2015 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/saj/CleophasKW14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saicsit/KourieWSCM14,
  author    = {Derrick G. Kourie and
               Bruce W. Watson and
               Tinus Strauss and
               Loek G. Cleophas and
               Melanie Mauch},
  title     = {Empirically Assessing Algorithm Performance},
  booktitle = {Southern African Institute for Computer Scientist and Information
               Technologists Annual Conference 2014, {SAICSIT} '14, Centurion, South
               Africa, September 29 - October 1, 2014},
  pages     = {115},
  year      = {2014},
  crossref  = {DBLP:conf/saicsit/2014},
  url       = {https://doi.org/10.1145/2664591.2664617},
  doi       = {10.1145/2664591.2664617},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/saicsit/KourieWSCM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/StraussKWC14,
  author    = {Tinus Strauss and
               Derrick G. Kourie and
               Bruce W. Watson and
               Loek G. Cleophas},
  title     = {A Process-Oriented Implementation of Brzozowski's {DFA} Construction
               Algorithm},
  booktitle = {Proceedings of the Prague Stringology Conference 2014, Prague, Czech
               Republic, September 1-3, 2014},
  pages     = {17--29},
  year      = {2014},
  crossref  = {DBLP:conf/stringology/2014},
  url       = {http://www.stringology.org/event/2014/p03.html},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/StraussKWC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/WatsonCK14,
  author    = {Bruce W. Watson and
               Loek G. Cleophas and
               Derrick G. Kourie},
  title     = {Using Correctness-by-Construction to Derive Dead-zone Algorithms},
  booktitle = {Proceedings of the Prague Stringology Conference 2014, Prague, Czech
               Republic, September 1-3, 2014},
  pages     = {84--95},
  year      = {2014},
  crossref  = {DBLP:conf/stringology/2014},
  url       = {http://www.stringology.org/event/2014/p09.html},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/WatsonCK14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saicsit/CleophasKW13,
  author    = {Loek G. Cleophas and
               Derrick G. Kourie and
               Bruce W. Watson},
  title     = {Efficient representation of {DNA} data for pattern recognition using
               failure factor oracles},
  booktitle = {2013 South African Institute for Computer Scientists and Information
               Technologists, {SAICSIT} '13, East London, South Africa, October 7-9,
               2013},
  pages     = {369--377},
  year      = {2013},
  crossref  = {DBLP:conf/saicsit/2013},
  url       = {https://doi.org/10.1145/2513456.2513488},
  doi       = {10.1145/2513456.2513488},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/saicsit/CleophasKW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/CleophasKW13,
  author    = {Loek G. Cleophas and
               Derrick G. Kourie and
               Bruce W. Watson},
  title     = {Weak Factor Automata: Comparing (Failure) Oracles and Storacles},
  booktitle = {Proceedings of the Prague Stringology Conference 2013, Prague, Czech
               Republic, September 2-4, 2013},
  pages     = {176--190},
  year      = {2013},
  crossref  = {DBLP:conf/stringology/2013},
  url       = {http://www.stringology.org/event/2013/p16.html},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/CleophasKW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/NagyCBERM12,
  author    = {Istvan Nagy and
               Loek G. Cleophas and
               Mark van den Brand and
               Luc Engelen and
               Liviu Raulea and
               Ernest Xavier Lobo Mithun},
  title     = {{VPDSL:} {A} {DSL} for Software in the Loop Simulations Covering Material
               Flow},
  booktitle = {17th {IEEE} International Conference on Engineering of Complex Computer
               Systems, {ICECCS} 2012, Paris, France, July 18-20, 2012},
  pages     = {318--327},
  year      = {2012},
  crossref  = {DBLP:conf/iceccs/2012},
  url       = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.43},
  doi       = {10.1109/ICECCS.2012.43},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/NagyCBERM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/KourieWCV12,
  author    = {Derrick G. Kourie and
               Bruce W. Watson and
               Loek G. Cleophas and
               Fritz Venter},
  title     = {Failure Deterministic Finite Automata},
  booktitle = {Proceedings of the Prague Stringology Conference 2012, Prague, Czech
               Republic, August 27-28, 2012},
  pages     = {28--41},
  year      = {2012},
  crossref  = {DBLP:conf/stringology/2012},
  url       = {http://www.stringology.org/event/2012/p04.html},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/KourieWCV12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Proceedings of the Prague Stringology Conference 2011, Prague, Czech
               Republic, August 29-31, 2011},
  pages     = {15--29},
  year      = {2011},
  crossref  = {DBLP:conf/stringology/2011},
  url       = {http://www.stringology.org/event/2011/p03.html},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/KourieWC11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CleophasWZ10,
  author    = {Loek G. Cleophas and
               Bruce W. Watson and
               Gerard Zwaan},
  title     = {A new taxonomy of sublinear right-to-left scanning keyword pattern
               matching algorithms},
  journal   = {Sci. Comput. Program.},
  volume    = {75},
  number    = {11},
  pages     = {1095--1112},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.scico.2010.04.012},
  doi       = {10.1016/j.scico.2010.04.012},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/CleophasWZ10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saicsit/PieterseKCW10,
  author    = {Vreda Pieterse and
               Derrick G. Kourie and
               Loek G. Cleophas and
               Bruce W. Watson},
  title     = {Performance of {C++} bit-vector implementations},
  booktitle = {Proceedings of the 2010 Annual Conference of the South African Institute
               of Computer Scientists and Information Technologists, {SAICSIT} 2010,
               Bela Bela, South Africa, October 11-13, 2010},
  pages     = {242--250},
  year      = {2010},
  crossref  = {DBLP:conf/saicsit/2010},
  url       = {https://doi.org/10.1145/1899503.1899530},
  doi       = {10.1145/1899503.1899530},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/saicsit/PieterseKCW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/BeijerCKW10,
  author    = {Noud de Beijer and
               Loek G. Cleophas and
               Derrick G. Kourie and
               Bruce W. Watson},
  title     = {Improving Automata Efficiency by Stretching and Jamming},
  booktitle = {Proceedings of the Prague Stringology Conference 2010, Prague, Czech
               Republic, August 30 - September 1, 2010},
  pages     = {9--24},
  year      = {2010},
  crossref  = {DBLP:conf/stringology/2010},
  url       = {http://www.stringology.org/event/2010/p02.html},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/BeijerCKW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/CleophasH09,
  author    = {Loek G. Cleophas and
               Kees Hemerik},
  title     = {Taxonomies of Regular Tree Algorithms},
  booktitle = {Proceedings of the Prague Stringology Conference 2009, Prague, Czech
               Republic, August 31 - September 2, 2009},
  pages     = {146--159},
  year      = {2009},
  crossref  = {DBLP:conf/stringology/2009},
  url       = {http://www.stringology.org/event/2009/p14.html},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/CleophasH09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/CleophasKSW09,
  author    = {Loek G. Cleophas and
               Derrick G. Kourie and
               Tinus Strauss and
               Bruce W. Watson},
  title     = {On Minimizing Deterministic Tree Automata},
  booktitle = {Proceedings of the Prague Stringology Conference 2009, Prague, Czech
               Republic, August 31 - September 2, 2009},
  pages     = {173--182},
  year      = {2009},
  crossref  = {DBLP:conf/stringology/2009},
  url       = {http://www.stringology.org/event/2009/p16.html},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/CleophasKSW09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/CleophasH09,
  author    = {Loek G. Cleophas and
               Kees Hemerik},
  title     = {Forest {FIRE:} {A} Taxonomy-based Toolkit of Tree Automata and Regular
               Tree Algorithms},
  booktitle = {Implementation and Application of Automata, 14th International Conference,
               {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  pages     = {245--248},
  year      = {2009},
  crossref  = {DBLP:conf/wia/2009},
  url       = {https://doi.org/10.1007/978-3-642-02979-0\_29},
  doi       = {10.1007/978-3-642-02979-0\_29},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wia/CleophasH09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/WatsonKSNC08,
  author    = {Bruce W. Watson and
               Derrick G. Kourie and
               Tinus Strauss and
               Ernest Ketcha Ngassam and
               Loek G. Cleophas},
  title     = {Efficient Automata Constructions and Approximate Automata},
  journal   = {Int. J. Found. Comput. Sci.},
  volume    = {19},
  number    = {1},
  pages     = {185--193},
  year      = {2008},
  url       = {https://doi.org/10.1142/S0129054108005619},
  doi       = {10.1142/S0129054108005619},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijfcs/WatsonKSNC08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/saj/CleophasW08,
  author    = {Loek G. Cleophas and
               Bruce W. Watson},
  title     = {A Boyer-Moore-Horspool algorithm derivation},
  journal   = {South African Computer Journal},
  volume    = {41},
  pages     = {13--20},
  year      = {2008},
  url       = {http://reference.sabinet.co.za/document/EJC28065},
  timestamp = {Fri, 12 Sep 2014 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/saj/CleophasW08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsmnlp/Cleophas08,
  author    = {Loek G. Cleophas},
  title     = {Forest {FIRE} and {FIRE} Wood: Tools for Tree Automata and Tree Algorithms},
  booktitle = {Finite-State Methods and Natural Language Processing, 7th International
               Workshop, {FSMNLP} 2008, Ispra, Italy, September 11-12, 2008. Post-proceedings},
  pages     = {191--198},
  year      = {2008},
  crossref  = {DBLP:conf/fsmnlp/2008},
  url       = {https://doi.org/10.3233/978-1-58603-975-2-191},
  doi       = {10.3233/978-1-58603-975-2-191},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsmnlp/Cleophas08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CleophasHZ06,
  author    = {Loek G. Cleophas and
               Kees Hemerik and
               Gerard Zwaan},
  title     = {Two Related Algorithms for Root-to-frontier Tree Pattern Matching},
  journal   = {Int. J. Found. Comput. Sci.},
  volume    = {17},
  number    = {6},
  pages     = {1253--1272},
  year      = {2006},
  url       = {https://doi.org/10.1142/S012905410600439X},
  doi       = {10.1142/S012905410600439X},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijfcs/CleophasHZ06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/saj/CleophasWKBO06,
  author    = {Loek G. Cleophas and
               Bruce W. Watson and
               Derrick G. Kourie and
               Andrew Boake and
               Sergei A. Obiedkov},
  title     = {{TABASCO:} using concept-based taxonomies in domain engineering},
  journal   = {South African Computer Journal},
  volume    = {37},
  pages     = {30--40},
  year      = {2006},
  url       = {http://reference.sabinet.co.za/document/EJC28023},
  timestamp = {Fri, 12 Sep 2014 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/saj/CleophasWKBO06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/WatsonKNSC06,
  author    = {Bruce W. Watson and
               Derrick G. Kourie and
               Ernest Ketcha Ngassam and
               Tinus Strauss and
               Loek G. Cleophas},
  title     = {Efficient automata constructions and approximate automata},
  booktitle = {Proceedings of the Prague Stringology Conference, Prague, Czech Republic,
               August 28-30, 2006},
  pages     = {100--107},
  year      = {2006},
  crossref  = {DBLP:conf/stringology/2006},
  url       = {http://www.stringology.org/event/2006/p11.html},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/WatsonKNSC06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/CleophasW05,
  author    = {Loek G. Cleophas and
               Bruce W. Watson},
  title     = {Taxonomy-based software construction of {SPARE} Time: a case study},
  journal   = {{IEE} Proceedings - Software},
  volume    = {152},
  number    = {1},
  pages     = {29--37},
  year      = {2005},
  url       = {https://doi.org/10.1049/ip-sen:20041265},
  doi       = {10.1049/ip-sen:20041265},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iee/CleophasW05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/CleophasZW05,
  author    = {Loek G. Cleophas and
               Gerard Zwaan and
               Bruce W. Watson},
  title     = {Constructing Factor Oracles},
  journal   = {Journal of Automata, Languages and Combinatorics},
  volume    = {10},
  number    = {5/6},
  pages     = {627--640},
  year      = {2005},
  url       = {https://doi.org/10.25596/jalc-2005-627},
  doi       = {10.25596/jalc-2005-627},
  timestamp = {Fri, 09 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jalc/CleophasZW05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/CleophasHZ05,
  author    = {Loek G. Cleophas and
               Kees Hemerik and
               Gerard Zwaan},
  title     = {A missing link in root-to-frontier tree pattern matching},
  booktitle = {Proceedings of the Prague Stringology Conference, Prague, Czech Republic,
               August 29-31, 2005},
  pages     = {216--230},
  year      = {2005},
  crossref  = {DBLP:conf/stringology/2005},
  url       = {http://www.stringology.org/event/2005/p17.html},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/CleophasHZ05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/WatsonC04,
  author    = {Bruce W. Watson and
               Loek G. Cleophas},
  title     = {{SPARE} Parts: a {C++} toolkit for string pattern recognition},
  journal   = {Softw., Pract. Exper.},
  volume    = {34},
  number    = {7},
  pages     = {697--710},
  year      = {2004},
  url       = {https://doi.org/10.1002/spe.590},
  doi       = {10.1002/spe.590},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/spe/WatsonC04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spire/CleophasWZ04,
  author    = {Loek G. Cleophas and
               Bruce W. Watson and
               Gerard Zwaan},
  title     = {Automaton-Based Sublinear Keyword Pattern Matching},
  booktitle = {String Processing and Information Retrieval, 11th International Conference,
               {SPIRE} 2004, Padova, Italy, October 5-8, 2004, Proceedings},
  pages     = {18--29},
  year      = {2004},
  crossref  = {DBLP:conf/spire/2004},
  url       = {https://doi.org/10.1007/978-3-540-30213-1\_3},
  doi       = {10.1007/978-3-540-30213-1\_3},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spire/CleophasWZ04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/FrishertCW04,
  author    = {Michiel Frishert and
               Loek G. Cleophas and
               Bruce W. Watson},
  title     = {{FIRE} Station: An Environment for Manipulating Finite Automata and
               Regular Expression Views},
  booktitle = {Implementation and Application of Automata, 9th International Conference,
               {CIAA} 2004, Kingston, Canada, July 22-24, 2004, Revised Selected
               Papers},
  pages     = {125--133},
  year      = {2004},
  crossref  = {DBLP:conf/wia/2004},
  url       = {https://doi.org/10.1007/978-3-540-30500-2\_12},
  doi       = {10.1007/978-3-540-30500-2\_12},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wia/FrishertCW04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/CleophasZW03,
  author    = {Loek G. Cleophas and
               Gerard Zwaan and
               Bruce W. Watson},
  title     = {Constructing Factor Oracles},
  booktitle = {Proceedings of the Prague Stringology Conference 2003, Prague, Czech
               Republic, September 22-24, 2003},
  pages     = {37--50},
  year      = {2003},
  crossref  = {DBLP:conf/stringology/2003},
  url       = {http://www.stringology.org/event/2003/p4.html},
  timestamp = {Tue, 09 Apr 2013 15:49:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/CleophasZW03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/FrishertCW03,
  author    = {Michiel Frishert and
               Loek G. Cleophas and
               Bruce W. Watson},
  title     = {The Effect of Rewriting Regular Expressions on Their Accepting Automata},
  booktitle = {Implementation and Application of Automata, 8th International Conference,
               {CIAA} 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings},
  pages     = {304--305},
  year      = {2003},
  crossref  = {DBLP:conf/wia/2003},
  url       = {https://doi.org/10.1007/3-540-45089-0\_31},
  doi       = {10.1007/3-540-45089-0\_31},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wia/FrishertCW03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2019,
  editor    = {Reiner H{\"{a}}hnle and
               Wil M. P. van der Aalst},
  title     = {Fundamental Approaches to Software Engineering - 22nd International
               Conference, {FASE} 2019, Held as Part of the European Joint Conferences
               on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic,
               April 6-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11424},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-16722-6},
  doi       = {10.1007/978-3-030-16722-6},
  isbn      = {978-3-030-16721-9},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcre/2019,
  editor    = {Xinyu Wang and
               David Lo and
               Emad Shihab},
  title     = {26th {IEEE} International Conference on Software Analysis, Evolution
               and Reengineering, {SANER} 2019, Hangzhou, China, February 24-27,
               2019},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8663526/proceeding},
  isbn      = {978-1-7281-0591-8},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/benevol/2018,
  editor    = {Georgios Gousios and
               Joseph Hejderup},
  title     = {Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop,
               Delft, the Netherlands, December 10th - to - 11th, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2361},
  publisher = {CEUR-WS.org},
  year      = {2019},
  url       = {http://ceur-ws.org/Vol-2361},
  urn       = {urn:nbn:de:0074-2361-7},
  timestamp = {Tue, 28 May 2019 16:23:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/benevol/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2018poetzsch,
  editor    = {Peter M{\"{u}}ller and
               Ina Schaefer},
  title     = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
               on the Occasion of his 60th Birthday},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-98047-8},
  doi       = {10.1007/978-3-319-98047-8},
  isbn      = {978-3-319-98046-1},
  timestamp = {Wed, 31 Oct 2018 17:54:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2018poetzsch},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2018-1,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation.
               Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
               November 5-9, 2018, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11244},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-03418-4},
  doi       = {10.1007/978-3-030-03418-4},
  isbn      = {978-3-030-03417-7},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2018-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2018w,
  editor    = {Regina Hebig and
               Thorsten Berger},
  title     = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
               EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
               ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
               International Conference on Model Driven Engineering Languages and
               Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2245},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2245},
  urn       = {urn:nbn:de:0074-2245-1},
  timestamp = {Tue, 28 May 2019 16:23:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/models/2018w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/modelsward/2018,
  editor    = {Slimane Hammoudi and
               Lu{\'{\i}}s Ferreira Pires and
               Bran Selic},
  title     = {Proceedings of the 6th International Conference on Model-Driven Engineering
               and Software Development, {MODELSWARD} 2018, Funchal, Madeira - Portugal,
               January 22-24, 2018},
  publisher = {SciTePress},
  year      = {2018},
  isbn      = {978-989-758-283-7},
  timestamp = {Wed, 11 Apr 2018 15:38:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/modelsward/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2017brzozowski,
  editor    = {Stavros Konstantinidis and
               Nelma Moreira and
               Rog{\'{e}}rio Reis and
               Jeffrey Shallit},
  title     = {The Role of Theory in Computer Science - Essays Dedicated to Janusz
               Brzozowski},
  publisher = {World Scientific},
  year      = {2017},
  url       = {https://doi.org/10.1142/10239},
  doi       = {10.1142/10239},
  isbn      = {978-981-3148-19-2},
  timestamp = {Fri, 02 Nov 2018 09:46:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2017brzozowski},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsr/2017,
  editor    = {Goetz Botterweck and
               Cl{\'{a}}udia Werner},
  title     = {Mastering Scale and Complexity in Software Reuse - 16th International
               Conference on Software Reuse, {ICSR} 2017, Salvador, Brazil, May 29-31,
               2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10221},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-56856-0},
  doi       = {10.1007/978-3-319-56856-0},
  isbn      = {978-3-319-56855-3},
  timestamp = {Sat, 19 Oct 2019 20:02:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsr/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lata/2017,
  editor    = {Frank Drewes and
               Carlos Mart{\'{\i}}n{-}Vide and
               Bianca Truthe},
  title     = {Language and Automata Theory and Applications - 11th International
               Conference, {LATA} 2017, Ume{\aa}, Sweden, March 6-9, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10168},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-53733-7},
  doi       = {10.1007/978-3-319-53733-7},
  isbn      = {978-3-319-53732-0},
  timestamp = {Mon, 16 Sep 2019 15:27:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lata/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/saicsit/2017,
  editor    = {Muthoni Masinde},
  title     = {Proceedings of the South African Institute of Computer Scientists
               and Information Technologists, {SAICSIT} 2017, Thaba Nchu, South Africa,
               September 26-28, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3129416},
  isbn      = {978-1-4503-5250-5},
  timestamp = {Mon, 20 Nov 2017 12:20:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/saicsit/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2017,
  editor    = {Bernhard Steffen and
               Christel Baier and
               Mark van den Brand and
               Johann Eder and
               Mike Hinchey and
               Tiziana Margaria},
  title     = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
               Conference on Current Trends in Theory and Practice of Computer Science,
               Limerick, Ireland, January 16-20, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10139},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-51963-0},
  doi       = {10.1007/978-3-319-51963-0},
  isbn      = {978-3-319-51962-3},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sofsem/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/splc/2017a,
  editor    = {Myra B. Cohen and
               Mathieu Acher and
               Lidia Fuentes and
               Daniel Schall and
               Jan Bosch and
               Rafael Capilla and
               Ebrahim Bagheri and
               Yingfei Xiong and
               Javier Troya and
               Antonio Ruiz Cort{\'{e}}s and
               David Benavides},
  title     = {Proceedings of the 21st International Systems and Software Product
               Line Conference, {SPLC} 2017, Volume A, Sevilla, Spain, September
               25-29, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3106195},
  doi       = {10.1145/3106195},
  isbn      = {978-1-4503-5221-5},
  timestamp = {Tue, 06 Nov 2018 16:57:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/splc/2017a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/staf/2017w,
  editor    = {Martina Seidl and
               Steffen Zschaler},
  title     = {Software Technologies: Applications and Foundations - {STAF} 2017
               Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10748},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-74730-9},
  doi       = {10.1007/978-3-319-74730-9},
  isbn      = {978-3-319-74729-3},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/staf/2017w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stringology/2017,
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Proceedings of the Prague Stringology Conference 2017, Prague, Czech
               Republic, August 28-30, 2017},
  publisher = {Department of Theoretical Computer Science, Faculty of Information
               Technology, Czech Technical University in Prague},
  year      = {2017},
  url       = {http://www.stringology.org/event/2017/},
  isbn      = {978-80-01-06193-0},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecmdafa/2016,
  editor    = {Andrzej Wasowski and
               Henrik L{\"{o}}nn},
  title     = {Modelling Foundations and Applications - 12th European Conference,
               {ECMFA} 2016, Held as Part of {STAF} 2016, Vienna, Austria, July 6-7,
               2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9764},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-42061-5},
  doi       = {10.1007/978-3-319-42061-5},
  isbn      = {978-3-319-42060-8},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecmdafa/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsr/2016,
  editor    = {Georgia M. Kapitsaki and
               Eduardo Santana de Almeida},
  title     = {Software Reuse: Bridging with Social-Awareness - 15th International
               Conference, {ICSR} 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9679},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-35122-3},
  doi       = {10.1007/978-3-319-35122-3},
  isbn      = {978-3-319-35121-6},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsr/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2016-1,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation:
               Foundational Techniques - 7th International Symposium, ISoLA 2016,
               Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9952},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47166-2},
  doi       = {10.1007/978-3-319-47166-2},
  isbn      = {978-3-319-47165-5},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2016-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/modelsward/2016,
  editor    = {Slimane Hammoudi and
               Lu{\'{\i}}s Ferreira Pires and
               Bran Selic and
               Philippe Desfray},
  title     = {{MODELSWARD} 2016 - Proceedings of the 4rd International Conference
               on Model-Driven Engineering and Software Development, Rome, Italy,
               19-21 February, 2016},
  publisher = {SciTePress},
  year      = {2016},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7947074/proceeding},
  isbn      = {978-989-758-168-7},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/modelsward/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stringology/2016,
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Proceedings of the Prague Stringology Conference 2016, Prague, Czech
               Republic, August 29-31, 2016},
  publisher = {Department of Theoretical Computer Science, Faculty of Information
               Technology, Czech Technical University in Prague},
  year      = {2016},
  url       = {http://www.stringology.org/event/2016/},
  isbn      = {978-80-01-05996-8},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cla/2015,
  editor    = {Sadok Ben Yahia and
               Jan Konecny},
  title     = {Proceedings of the Twelfth International Conference on Concept Lattices
               and Their Applications, Clermont-Ferrand, France, October 13-16, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1466},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1466},
  urn       = {urn:nbn:de:0074-1466-5},
  timestamp = {Tue, 28 May 2019 16:23:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cla/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lata/2015,
  editor    = {Adrian{-}Horia Dediu and
               Enrico Formenti and
               Carlos Mart{\'{\i}}n{-}Vide and
               Bianca Truthe},
  title     = {Language and Automata Theory and Applications - 9th International
               Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8977},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-15579-1},
  doi       = {10.1007/978-3-319-15579-1},
  isbn      = {978-3-319-15578-4},
  timestamp = {Mon, 16 Sep 2019 15:27:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lata/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2015c,
  editor    = {Jonathan Aldrich and
               Patrick Eugster},
  title     = {Companion Proceedings of the 2015 {ACM} {SIGPLAN} International Conference
               on Systems, Programming, Languages and Applications: Software for
               Humanity, {SPLASH} 2015, Pittsburgh, PA, USA, October 25-30, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2814189},
  isbn      = {978-1-4503-3722-9},
  timestamp = {Fri, 30 Oct 2015 09:02:50 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2015c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/saicsit/2015,
  editor    = {Richard J. Barnett and
               Loek G. Cleophas and
               Derrick G. Kourie and
               Daniel B. le Roux and
               Bruce W. Watson},
  title     = {Proceedings of the 2015 Annual Research Conference on South African
               Institute of Computer Scientists and Information Technologists, {SAICSIT}
               '15, Stellenbosch, South Africa, September 28-30, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2815782},
  isbn      = {978-1-4503-3683-3},
  timestamp = {Tue, 04 Oct 2016 19:02:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/saicsit/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stringology/2015,
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Proceedings of the Prague Stringology Conference 2015, Prague, Czech
               Republic, August 24-26, 2015},
  publisher = {Department of Theoretical Computer Science, Faculty of Information
               Technology, Czech Technical University in Prague},
  year      = {2015},
  url       = {http://www.stringology.org/event/2015/},
  isbn      = {978-80-01-05787-2},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/saicsit/2014,
  editor    = {Carina de Villiers and
               Alta van der Merwe and
               J. P. van Deventer and
               M. C. Matthee and
               Helene Gelderblom and
               Aurona Gerber},
  title     = {Southern African Institute for Computer Scientist and Information
               Technologists Annual Conference 2014, {SAICSIT} '14, Centurion, South
               Africa, September 29 - October 1, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2664591},
  isbn      = {978-1-4503-3246-0},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/saicsit/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stringology/2014,
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Proceedings of the Prague Stringology Conference 2014, Prague, Czech
               Republic, September 1-3, 2014},
  publisher = {Department of Theoretical Computer Science, Faculty of Information
               Technology, Czech Technical University in Prague},
  year      = {2014},
  url       = {http://www.stringology.org/event/2014/},
  isbn      = {978-80-01-05547-2},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/saicsit/2013,
  editor    = {John McNeill and
               Karen L. Bradshaw and
               Philip Machanick and
               Mosiuoa Tsietsi},
  title     = {2013 South African Institute for Computer Scientists and Information
               Technologists, {SAICSIT} '13, East London, South Africa, October 7-9,
               2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2513456},
  isbn      = {978-1-4503-2112-9},
  timestamp = {Tue, 04 Oct 2016 19:02:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/saicsit/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stringology/2013,
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Proceedings of the Prague Stringology Conference 2013, Prague, Czech
               Republic, September 2-4, 2013},
  publisher = {Department of Theoretical Computer Science, Faculty of Information
               Technology, Czech Technical University in Prague},
  year      = {2013},
  url       = {http://www.stringology.org/event/2013/},
  isbn      = {978-80-01-05330-0},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2012,
  editor    = {Isabelle Perseil and
               Karin K. Breitman and
               Marc Pouzet},
  title     = {17th {IEEE} International Conference on Engineering of Complex Computer
               Systems, {ICECCS} 2012, Paris, France, July 18-20, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6298769/proceeding},
  isbn      = {978-1-4673-2156-3},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stringology/2012,
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Proceedings of the Prague Stringology Conference 2012, Prague, Czech
               Republic, August 27-28, 2012},
  publisher = {Department of Theoretical Computer Science, Faculty of Information
               Technology, Czech Technical University in Prague},
  year      = {2012},
  url       = {http://www.stringology.org/event/2012/},
  isbn      = {978-80-01-05095-8},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stringology/2011,
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Proceedings of the Prague Stringology Conference 2011, Prague, Czech
               Republic, August 29-31, 2011},
  publisher = {Prague Stringology Club, Department of Theoretical Computer Science,
               Faculty of Information Technology, Czech Technical University in Prague},
  year      = {2011},
  url       = {http://www.stringology.org/event/2011/},
  isbn      = {978-80-01-04870-2},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/saicsit/2010,
  editor    = {Paula Kotz{\'{e}} and
               Alta van der Merwe and
               Aurona Gerber},
  title     = {Proceedings of the 2010 Annual Conference of the South African Institute
               of Computer Scientists and Information Technologists, {SAICSIT} 2010,
               Bela Bela, South Africa, October 11-13, 2010},
  series    = {{ACM} International Conference Proceeding Series},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-950-3},
  timestamp = {Tue, 04 Oct 2016 19:05:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/saicsit/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stringology/2010,
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Proceedings of the Prague Stringology Conference 2010, Prague, Czech
               Republic, August 30 - September 1, 2010},
  publisher = {Prague Stringology Club, Department of Theoretical Computer Science,
               Faculty of Information Technology, Czech Technical University in Prague},
  year      = {2010},
  url       = {http://www.stringology.org/event/2010/},
  isbn      = {978-80-01-04597-8},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stringology/2009,
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Proceedings of the Prague Stringology Conference 2009, Prague, Czech
               Republic, August 31 - September 2, 2009},
  publisher = {Prague Stringology Club, Department of Computer Science and Engineering,
               Faculty of Electrical Engineering, Czech Technical University in Prague},
  year      = {2009},
  url       = {http://www.stringology.org/event/2009/},
  isbn      = {978-80-01-04403-2},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wia/2009,
  editor    = {Sebastian Maneth},
  title     = {Implementation and Application of Automata, 14th International Conference,
               {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5642},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02979-0},
  doi       = {10.1007/978-3-642-02979-0},
  isbn      = {978-3-642-02978-3},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wia/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsmnlp/2008,
  editor    = {Jakub Piskorski and
               Bruce W. Watson and
               Anssi Yli{-}Jyr{\"{a}}},
  title     = {Finite-State Methods and Natural Language Processing, 7th International
               Workshop, {FSMNLP} 2008, Ispra, Italy, September 11-12, 2008. Post-proceedings},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {19},
  publisher = {{IOS} Press},
  year      = {2009},
  isbn      = {978-1-58603-975-2},
  timestamp = {Mon, 06 Sep 2010 19:59:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsmnlp/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stringology/2006,
  editor    = {Jan Holub and
               Jan Zd{\'{a}}rek},
  title     = {Proceedings of the Prague Stringology Conference, Prague, Czech Republic,
               August 28-30, 2006},
  publisher = {Department of Computer Science and Engineering, Faculty of Electrical
               Engineering, Czech Technical University},
  year      = {2006},
  url       = {http://www.stringology.org/event/2006/},
  isbn      = {80-01-03533-6},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stringology/2005,
  editor    = {Jan Holub and
               Milan Sim{\'{a}}nek},
  title     = {Proceedings of the Prague Stringology Conference, Prague, Czech Republic,
               August 29-31, 2005},
  publisher = {Department of Computer Science and Engineering, Faculty of Electrical
               Engineering, Czech Technical University},
  year      = {2005},
  url       = {http://www.stringology.org/event/2005/},
  isbn      = {80-01-03307-4},
  timestamp = {Sat, 07 Jul 2018 15:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spire/2004,
  editor    = {Alberto Apostolico and
               Massimo Melucci},
  title     = {String Processing and Information Retrieval, 11th International Conference,
               {SPIRE} 2004, Padova, Italy, October 5-8, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3246},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100941},
  doi       = {10.1007/b100941},
  isbn      = {3-540-23210-9},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spire/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wia/2004,
  editor    = {Michael Domaratzki and
               Alexander Okhotin and
               Kai Salomaa and
               Sheng Yu},
  title     = {Implementation and Application of Automata, 9th International Conference,
               {CIAA} 2004, Kingston, Canada, July 22-24, 2004, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3317},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b105090},
  doi       = {10.1007/b105090},
  isbn      = {3-540-24318-6},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wia/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stringology/2003,
  editor    = {Milan Sim{\'{a}}nek},
  title     = {Proceedings of the Prague Stringology Conference 2003, Prague, Czech
               Republic, September 22-24, 2003},
  publisher = {Department of Computer Science and Engineering, Faculty of Electrical
               Engineering, Czech Technical University},
  year      = {2003},
  url       = {http://www.stringology.org/event/2003/},
  isbn      = {80-01-02823-2},
  timestamp = {Tue, 09 Apr 2013 15:49:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stringology/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wia/2003,
  editor    = {Oscar H. Ibarra and
               Zhe Dang},
  title     = {Implementation and Application of Automata, 8th International Conference,
               {CIAA} 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2759},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-45089-0},
  doi       = {10.1007/3-540-45089-0},
  isbn      = {3-540-40561-5},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wia/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics