default search action
Loek Cleophas
Loek G. Cleophas
Person information
- affiliation: Eindhoven University of Technology, The Netherlands
- affiliation: Stellenbosch University, Stellenbosch, South Africa
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j25]Hossain Muhammad Muctadir, David A. Manrique Negrin, Raghavendran Gunasekaran, Loek Cleophas, Mark van den Brand, Boudewijn R. Haverkort:
Current trends in digital twin development, maintenance, and operation: an interview study. Softw. Syst. Model. 23(5): 1275-1305 (2024) - [j24]Sangeeth Kochanthara, Tajinder Singh, Alexandru Forrai, Loek Cleophas:
Safety of Perception Systems for Automated Driving: A Case Study on Apollo. ACM Trans. Softw. Eng. Methodol. 33(3): 64:1-64:28 (2024) - [c72]Felipe A. C. Xavier, David Azael Manrique Negrin, Loek Cleophas:
Rapid interface generation method for heterogeneous models in Digital twins. MoDELS (Companion) 2024: 960-969 - [c71]Siyue Chen, Loek Cleophas, Sandro Schulze, Jacob Krüger:
Use the Forks, Look! Visualizations for Exploring Fork Ecosystems. SANER 2024: 993-1004 - 2023
- [j23]Victoria Bogachenkova, Eduardo Costa Martins, Jarl Jansen, Ana-Maria Olteniceanu, Bartjan Henkemans, Chinno Lavin, Linh Nguyen, Thea Bradley, Veerle Fürst, Hossain Muhammad Muctadir, Mark van den Brand, Loek Cleophas, Alexander Serebrenik:
LaMa: a thematic labelling web application. J. Open Source Softw. 8(86): 5135 (2023) - [c70]Tony Clark, Loek Cleophas, Romina Eramo, Vinay Kulkarni, Manuel Wimmer:
3rd International Workshop on Model-Driven Engineering for Digital Twins (MoDDiT 2023). MoDELS (Companion) 2023: 426-428 - [c69]Johan Cederbladh, Loek Cleophas, Eduard Kamburjan, Lucas Lima, Hans Vangheluwe:
Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering. MoDELS (Companion) 2023: 721-725 - [c68]Hossain Muhammad Muctadir, Lars König, Thomas Weber, Moussa Amrani, Loek Cleophas:
Co-Evolving Meta-Models and View Types in View-Based Development. MoDELS (Companion) 2023: 954-963 - [c67]Siyue Chen, Loek Cleophas, Jacob Krüger:
A Comparison of Visualization Concepts and Tools for Variant-Rich System Engineering. SPLC (A) 2023: 153-159 - [c66]Christoph König, Kamil Rosiak, Loek Cleophas, Ina Schaefer:
True Variability Shining Through Taxonomy Mining. SPLC (A) 2023: 182-193 - [d2]Victoria Bogachenkova, Eduardo Costa Martins, Jarl Jansen, Ana-Maria Olteniceanu, Bartjan Henkemans, Chinno Lavin, Linh Nguyen, Thea Bradley, Veerle Fürst, Hossain Muhammad Muctadir, Mark van den Brand, Loek Cleophas, Alexander Serebrenik:
LaMa: a thematic labelling web application. Zenodo, 2023 - [i5]Sander Thuijsman, Gökhan Kahraman, Alireza Mohamadkhani, Ferry Timmers, Loek Cleophas, Marc Geilen, Jan Friso Groote, Michel A. Reniers, Ramon R. H. Schiffelers, Jeroen Voeten:
Tool interoperability for model-based systems engineering. CoRR abs/2302.03503 (2023) - [i4]Hossain Muhammad Muctadir, David A. Manrique Negrin, Raghavendran Gunasekaran, Loek Cleophas, Mark van den Brand, Boudewijn R. Haverkort:
Current Trends in Digital Twin Development, Maintenance, and Operation: An Interview Study. CoRR abs/2306.10085 (2023) - 2022
- [j22]Önder Babur, Loek Cleophas, Mark van den Brand:
SAMOS - A framework for model analytics and management. Sci. Comput. Program. 223: 102877 (2022) - [c65]Tabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson:
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY. The Logic of Software. A Tasting Menu of Formal Methods 2022: 80-104 - [c64]Maurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer:
X-by-Construction Meets Runtime Verification. ISoLA (1) 2022: 141-148 - [c63]Gijs Walravens, Hossain Muhammad Muctadir, Loek Cleophas:
Virtual soccer champions: a case study on artifact reuse in soccer robot digital twin construction. MoDELS (Companion) 2022: 463-467 - [c62]Loek Cleophas, Thomas Godfrey, Djamel Eddine Khelladi, Daniel Lehner, Benoît Combemale, Mark van den Brand, Michael Vierhauser, Manuel Wimmer, Steffen Zschaler:
A community-sourced view on engineering digital twins: a report from the EDT.Community. MoDELS (Companion) 2022: 481-485 - [c61]Sangeeth Kochanthara, Yanja Dajsuren, Loek Cleophas, Mark van den Brand:
Painting the Landscape of Automotive Software in GitHub. MSR 2022: 215-226 - [c60]Gökhan Kahraman, Loek Cleophas:
A tool for modeling and analysis of relationships among feature model views. SPLC (B) 2022: 103-109 - [d1]Önder Babur, Loek Cleophas, Mark van den Brand:
SAMOS - A Framework for Model Analytics and Management. Zenodo, 2022 - [i3]Sangeeth Kochanthara, Yanja Dajsuren, Loek Cleophas, Mark van den Brand:
Painting the Landscape of Automotive Software in GitHub. CoRR abs/2203.08936 (2022) - [i2]Loek Cleophas, Thomas Godfrey, Djamel Eddine Khelladi, Daniel Lehner, Benoît Combemale, Bernhard Rumpe, Steffen Zschaler:
Model-Driven Engineering of Digital Twins (Dagstuhl Seminar 22362). Dagstuhl Reports 12(9): 20-40 (2022) - 2021
- [j21]Johanna Björklund, Loek Cleophas:
Aggregation-based minimization of finite state automata. Acta Informatica 58(3): 177-194 (2021) - [j20]Sangeeth Kochanthara, Niels Rood, Arash Khabbaz Saberi, Loek Cleophas, Yanja Dajsuren, Mark van den Brand:
A functional safety assessment method for cooperative automotive architecture. J. Syst. Softw. 179: 110991 (2021) - [c59]Sangeeth Kochanthara, Niels Rood, Arash Khabbaz Saberi, Loek Cleophas, Yanja Dajsuren, Mark van den Brand:
Summary: A Functional Safety Assessment Method for Cooperative Automotive Architecture (short paper). ECSA (Companion) 2021 - [c58]Francis Bordeleau, Loek Cleophas, Benoît Combemale, Romina Eramo, Mark van den Brand, Manuel Wimmer, Andreas Wortmann:
MoDDiT 2021: 1st International Workshop on Model-Driven Engineering for Digital Twins. MoDELS (Companion) 2021: 1-2 - [c57]Mark van den Brand, Loek Cleophas, Raghavendran Gunasekaran, Boudewijn R. Haverkort, David A. Manrique Negrin, Hossain Muhammad Muctadir:
Models Meet Data: Challenges to Create Virtual Entities for Digital Twins. MoDELS (Companion) 2021: 225-228 - [c56]David A. Manrique Negrin, Loek Cleophas, Mark van den Brand:
Using Ptolemy II as a Framework for Virtual Entity Integration and Orchestration in Digital Twins. MoDELS (Companion) 2021: 233-236 - [c55]Gökhan Kahraman, Loek Cleophas, Ramon R. H. Schiffelers:
Modeling Relationships Between Feature Model Views. MoDELS (Companion) 2021: 437-446 - [c54]Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson:
Tool Support for Correctness-by-Construction. Software Engineering 2021: 93-94 - [c53]Ina Schaefer, Tobias Runge, Loek Cleophas, Bruce W. Watson:
Tutorial: The Correctness-by-Construction Approach to Programming Using CorC. SecDev 2021: 1-2 - [c52]Gökhan Kahraman, Loek Cleophas:
Automated derivation of variants in manufacturing systems design. SPLC (B) 2021: 45-50 - [e3]Loek Cleophas, Mieke Massink:
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12524, Springer 2021, ISBN 978-3-030-67219-5 [contents] - [i1]Sangeeth Kochanthara, Niels Rood, Arash Khabbaz Saberi, Loek Cleophas, Yanja Dajsuren, Mark van den Brand:
A Functional Safety Assessment Method for Cooperative Automotive Architecture. CoRR abs/2104.13729 (2021) - 2020
- [j19]Kousar Aslam, Loek Cleophas, Ramon R. H. Schiffelers, Mark van den Brand:
Interface protocol inference to aid understanding legacy software components. Softw. Syst. Model. 19(6): 1519-1540 (2020) - [j18]Jan Trávnícek, Jan Janousek, Borivoj Melichar, Loek Cleophas:
On modification of Boyer-Moore-horspool's algorithm for tree pattern matching in linearised trees. Theor. Comput. Sci. 830-831: 60-90 (2020) - [c51]Sangeeth Kochanthara, Niels Rood, Loek Cleophas, Yanja Dajsuren, Mark van den Brand:
Semi-automatic Architectural Suggestions for the Functional Safety of Cooperative Driving Systems. ICSA Companion 2020: 55-58 - [c50]Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson:
X-by-Construction - Correctness Meets Probability. ISoLA (1) 2020: 211-215
2010 – 2019
- 2019
- [j17]Önder Babur, Loek Cleophas, Mark van den Brand:
Metamodel clone detection with SAMOS. J. Comput. Lang. 51: 57-74 (2019) - [c49]Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson:
Tool Support for Correctness-by-Construction. FASE 2019: 25-42 - [c48]Tobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer, Bruce W. Watson:
Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study. FM Workshops (2) 2019: 388-405 - [c47]Nan Yang, Kousar Aslam, Ramon R. H. Schiffelers, Leonard Lensink, Dennis Hendriks, Loek Cleophas, Alexander Serebrenik:
Improving Model Inference in Industry by Combining Active and Passive Learning. SANER 2019: 253-263 - 2018
- [j16]Ahlem Belabbaci, Hadda Cherroun, Loek Cleophas, Djelloul Ziadi:
Tree pattern matching from regular tree expressions. Kybernetika 54(2): 221-242 (2018) - [j15]David Wille, Önder Babur, Loek Cleophas, Christoph Seidl, Mark van den Brand, Ina Schaefer:
Improving custom-tailored variability mining using outlier and cluster detection. Sci. Comput. Program. 163: 62-84 (2018) - [j14]Loek Cleophas, Ina Schaefer, Bruce W. Watson:
Workshop on Advances in Knowledge Extraction and Re-engineering of Software (selected and extended papers from WAKERS 2017). Sci. Comput. Program. 166: 1-2 (2018) - [c46]Önder Babur, Loek Cleophas, Mark van den Brand:
Metamodel Clone Detection with SAMOS. BENEVOL 2018: 21-23 - [c45]Derrick G. Kourie, Tinus Strauss, Loek Cleophas, Bruce W. Watson:
Using CSP to Develop Quality Concurrent Software. Principled Software Development 2018: 165-184 - [c44]Maurice H. ter Beek, Loek Cleophas, Ina Schaefer, Bruce W. Watson:
X-by-Construction. ISoLA (1) 2018: 359-364 - [c43]Ina Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson:
Towards Confidentiality-by-Construction. ISoLA (1) 2018: 502-515 - [c42]Önder Babur, Loek Cleophas, Mark van den Brand:
Model analytics for feature models: case studies for S.P.L.O.T. repository. MoDELS (Workshops) 2018: 787-792 - [c41]Önder Babur, Loek Cleophas, Mark van den Brand:
Towards Distributed Model Analytics with Apache Spark. MODELSWARD 2018: 767-772 - [e2]Ina Schaefer, Loek Cleophas, Michael Felderer, Steffen Becker, Wolfgang Böhm, Dirk Fahland, Hans-Georg Fill, Robert Heinrich, Kathrin Kirchner, Michael Köhler-Bußmeier, Marco Konersmann, Heinrich C. Mayr, Daniel Moldt, Andreas Oberweis, Felix Reher, Matthias Riebisch, Stefan Sauer, Holger Schlingloff, Bernhard Thalheim, Andreas Vogelsang, Rüdiger Weißbach, Thorsten Weyer:
Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, Braunschweig, Germany, February 21, 2018. CEUR Workshop Proceedings 2060, CEUR-WS.org 2018 [contents] - 2017
- [j13]Johanna Björklund, Loek Cleophas, My Karlsson:
An Evaluation of Structured Language Modeling for Automatic Speech Recognition. J. Univers. Comput. Sci. 23(11): 1019-1034 (2017) - [j12]Madoda Nxumalo, Derrick G. Kourie, Loek Cleophas, Bruce W. Watson:
An Assessment of Algorithms for Deriving Failure Deterministic Finite Automata. South Afr. Comput. J. 29(1) (2017) - [c40]Tinus Strauss, Bruce W. Watson, Derrick G. Kourie, Loek Cleophas:
CSP for Parallelising Brzozowski's DFA Construction Algorithm. The Role of Theory in Computer Science 2017: 217-244 - [c39]Alexander Schlie, David Wille, Loek Cleophas, Ina Schaefer:
Clustering Variation Points in MATLAB/Simulink Models Using Reverse Signal Propagation Analysis. ICSR 2017: 77-94 - [c38]Johanna Björklund, Loek Cleophas:
Minimization of Finite State Automata Through Partition Aggregation. LATA 2017: 223-235 - [c37]Vreda Pieterse, Loek Cleophas:
Benchmarking optimised algorithms for transitive closure. SAICSIT 2017: 27:1-27:10 - [c36]Önder Babur, Loek Cleophas:
Using n-grams for the Automated Clustering of Structural Models. SOFSEM 2017: 510-524 - [c35]Alexander Schlie, David Wille, Sandro Schulze, Loek Cleophas, Ina Schaefer:
Detecting Variability in MATLAB/Simulink Models: An Industry-Inspired Technique and its Evaluation. SPLC (A) 2017: 215-224 - [c34]Önder Babur, Loek Cleophas, Mark van den Brand, Bedir Tekinerdogan, Mehmet Aksit:
Models, More Models, and Then a Lot More. STAF Workshops 2017: 129-135 - [c33]Tobias Runge, Ina Schaefer, Loek Cleophas, Bruce W. Watson:
Many-MADFAct: Concurrently Constructing MADFAs. Stringology 2017: 126-142 - 2016
- [j11]Johanna Björklund, Loek Cleophas:
A Taxonomy of Minimisation Algorithms for Deterministic Tree Automata. J. Univers. Comput. Sci. 22(2): 180-196 (2016) - [c32]Önder Babur, Loek Cleophas, Mark van den Brand:
Hierarchical Clustering of Metamodels for Comparative Analysis and Visualization. ECMFA 2016: 3-18 - [c31]Ina Schaefer, Christoph Seidl, Loek Cleophas, Bruce W. Watson:
Tax-PLEASE - Towards Taxonomy-Based Software Product Line Engineering. ICSR 2016: 63-70 - [c30]Bruce W. Watson, Derrick G. Kourie, Ina Schaefer, Loek Cleophas:
Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience? ISoLA (1) 2016: 730-748 - [c29]Loek Cleophas, Derrick G. Kourie, Vreda Pieterse, Ina Schaefer, Bruce W. Watson:
Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep Comprehension of Algorithm Families. ISoLA (1) 2016: 766-783 - [c28]Önder Babur, Loek Cleophas, Tom Verhoeff, Mark van den Brand:
Towards Statistical Comparison and Analysis of Models. MODELSWARD 2016: 361-367 - [c27]Kamil Awid, Loek Cleophas, Bruce W. Watson:
Using Human Computation in Dead-zone based 2D Pattern Matching. Stringology 2016: 22-32 - 2015
- [j10]Bruce W. Watson, Derrick G. Kourie, Loek G. Cleophas:
Experience with correctness-by-construction. Sci. Comput. Program. 97: 55-58 (2015) - [c26]Madoda Nxumalo, Derrick G. Kourie, Loek G. Cleophas, Bruce W. Watson:
An Aho-Corasick Based Assessment of Algorithms Generating Failure Deterministic Finite Automata. CLA 2015: 87-98 - [c25]Jan Trávnícek, Jan Janousek, Borivoj Melichar, Loek G. Cleophas:
Backward Linearised Tree Pattern Matching. LATA 2015: 599-610 - [c24]Loek G. Cleophas, Ali Afroozeh:
Workshop preview of the 3rd workshop on parsing programming languages (Parsing@SLE 2015). SPLASH (Companion Volume) 2015: 107-108 - [c23]Dirk Brand, Steve Kroon, Brink van der Merwe, Loek G. Cleophas:
N-Gram Representations For Comment Filtering. SAICSIT 2015: 6:1-6:10 - [c22]Ina Schaefer, Christoph Seidl, Loek G. Cleophas, Bruce W. Watson:
SPLicing TABASCO: Custom-Tailored Software Product Line Variants from Taxonomy-Based Toolkits. SAICSIT 2015: 34:1-34:10 - [c21]Bruce W. Watson, Derrick G. Kourie, Loek G. Cleophas:
Quantum Leap Pattern Matching. Stringology 2015: 104-117 - [e1]Richard J. Barnett, Loek G. Cleophas, Derrick G. Kourie, Daniel B. le Roux, Bruce W. Watson:
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. ACM 2015, ISBN 978-1-4503-3683-3 [contents] - 2014
- [j9]Loek G. Cleophas, Derrick G. Kourie, Bruce W. Watson:
Weak factor automata: the failure of failure factor oracles? South Afr. Comput. J. 53: 1-14 (2014) - [c20]Derrick G. Kourie, Bruce W. Watson, Tinus Strauss, Loek G. Cleophas, Melanie Mauch:
Empirically Assessing Algorithm Performance. SAICSIT 2014: 115 - [c19]Tinus Strauss, Derrick G. Kourie, Bruce W. Watson, Loek G. Cleophas:
A Process-Oriented Implementation of Brzozowski's DFA Construction Algorithm. Stringology 2014: 17-29 - [c18]Bruce W. Watson, Loek G. Cleophas, Derrick G. Kourie:
Using Correctness-by-Construction to Derive Dead-zone Algorithms. Stringology 2014: 84-95 - 2013
- [c17]Loek G. Cleophas, Derrick G. Kourie, Bruce W. Watson:
Efficient representation of DNA data for pattern recognition using failure factor oracles. SAICSIT 2013: 369-377 - [c16]Loek G. Cleophas, Derrick G. Kourie, Bruce W. Watson:
Weak Factor Automata: Comparing (Failure) Oracles and Storacles. Stringology 2013: 176-190 - 2012
- [c15]Istvan Nagy, Loek G. Cleophas, Mark van den Brand, Luc Engelen, Liviu Raulea, Ernest Xavier Lobo Mithun:
VPDSL: A DSL for Software in the Loop Simulations Covering Material Flow. ICECCS 2012: 318-327 - [c14]Derrick G. Kourie, Bruce W. Watson, Loek G. Cleophas, Fritz Venter:
Failure Deterministic Finite Automata. Stringology 2012: 28-41 - 2011
- [c13]Derrick G. Kourie, Bruce W. Watson, Loek G. Cleophas:
On Compile Time Knuth-Morris-Pratt Precomputation. Stringology 2011: 15-29 - 2010
- [j8]Loek G. Cleophas, Bruce W. Watson, Gerard Zwaan:
A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithms. Sci. Comput. Program. 75(11): 1095-1112 (2010) - [c12]Vreda Pieterse, Derrick G. Kourie, Loek G. Cleophas, Bruce W. Watson:
Performance of C++ bit-vector implementations. SAICSIT 2010: 242-250 - [c11]Noud de Beijer, Loek G. Cleophas, Derrick G. Kourie, Bruce W. Watson:
Improving Automata Efficiency by Stretching and Jamming. Stringology 2010: 9-24
2000 – 2009
- 2009
- [c10]Loek G. Cleophas, Kees Hemerik:
Taxonomies of Regular Tree Algorithms. Stringology 2009: 146-159 - [c9]Loek G. Cleophas, Derrick G. Kourie, Tinus Strauss, Bruce W. Watson:
On Minimizing Deterministic Tree Automata. Stringology 2009: 173-182 - [c8]Loek G. Cleophas, Kees Hemerik:
Forest FIRE: A Taxonomy-based Toolkit of Tree Automata and Regular Tree Algorithms. CIAA 2009: 245-248 - 2008
- [j7]Bruce W. Watson, Derrick G. Kourie, Tinus Strauss, Ernest Ketcha Ngassam, Loek G. Cleophas:
Efficient Automata Constructions and Approximate Automata. Int. J. Found. Comput. Sci. 19(1): 185-193 (2008) - [j6]Loek G. Cleophas, Bruce W. Watson:
A Boyer-Moore-Horspool algorithm derivation. South Afr. Comput. J. 41: 13-20 (2008) - [c7]Loek G. Cleophas:
Forest FIRE and FIRE Wood: Tools for Tree Automata and Tree Algorithms. FSMNLP 2008: 191-198 - 2006
- [j5]Loek G. Cleophas, Kees Hemerik, Gerard Zwaan:
Two Related Algorithms for Root-to-frontier Tree Pattern Matching. Int. J. Found. Comput. Sci. 17(6): 1253-1272 (2006) - [j4]Loek G. Cleophas, Bruce W. Watson, Derrick G. Kourie, Andrew Boake, Sergei A. Obiedkov:
TABASCO: using concept-based taxonomies in domain engineering. South Afr. Comput. J. 37: 30-40 (2006) - [c6]Bruce W. Watson, Derrick G. Kourie, Ernest Ketcha Ngassam, Tinus Strauss, Loek G. Cleophas:
Efficient automata constructions and approximate automata. Stringology 2006: 100-107 - 2005
- [j3]Loek G. Cleophas, Bruce W. Watson:
Taxonomy-based software construction of SPARE Time: a case study. IEE Proc. Softw. 152(1): 29-37 (2005) - [j2]Loek G. Cleophas, Gerard Zwaan, Bruce W. Watson:
Constructing Factor Oracles. J. Autom. Lang. Comb. 10(5/6): 627-640 (2005) - [c5]Loek G. Cleophas, Kees Hemerik, Gerard Zwaan:
A missing link in root-to-frontier tree pattern matching. Stringology 2005: 216-230 - 2004
- [j1]Bruce W. Watson, Loek G. Cleophas:
SPARE Parts: a C++ toolkit for string pattern recognition. Softw. Pract. Exp. 34(7): 697-710 (2004) - [c4]Loek G. Cleophas, Bruce W. Watson, Gerard Zwaan:
Automaton-Based Sublinear Keyword Pattern Matching. SPIRE 2004: 18-29 - [c3]Michiel Frishert, Loek G. Cleophas, Bruce W. Watson:
FIRE Station: An Environment for Manipulating Finite Automata and Regular Expression Views. CIAA 2004: 125-133 - 2003
- [c2]Loek G. Cleophas, Gerard Zwaan, Bruce W. Watson:
Constructing Factor Oracles. Stringology 2003: 37-50 - [c1]Michiel Frishert, Loek G. Cleophas, Bruce W. Watson:
The Effect of Rewriting Regular Expressions on Their Accepting Automata. CIAA 2003: 304-305