• Source: Scopus
20032020

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2020

    Comparing correctness-by-construction with post-hoc verification—a qualitative user study

    Runge, T., Thüm, T., Cleophas, L., Schaefer, I. & Watson, B. W., 2020, Formal Methods. FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). Cham: Springer, p. 388-405 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12233 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
  • Semi-automatic Architectural Suggestions for the Functional Safety of Cooperative Driving Systems

    Kochanthara, S., Rood, N., Cleophas, L., Dajsuren, Y. & van den Brand, M., Mar 2020, Proceedings - 2020 IEEE International Conference on Software Architecture Companion, ICSA-C 2020. Institute of Electrical and Electronics Engineers, p. 55-58 4 p. 9095684

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • X-by-Construction: Correctness Meets Probability

    ter Beek, M. H., Cleophas, L., Legay, A., Schaefer, I. & Watson, B. W., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 211-215 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12476 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 2019

    Improving model inference in industry by combining active and passive learning

    Yang, N., Aslam, K., Schiffelers, R. R. H., Lensink, L., Hendriks, D., Cleophas, L. G. W. A. & Serebrenik, A., 15 Mar 2019, 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019). Shihab, E., Lo, D. & Wang, X. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 253-263 11 p. 8668007

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Citations (Scopus)
    1 Downloads (Pure)
  • Tool support for correctness-by-construction

    Runge, T., Schaefer, I., Cleophas, L., Thüm, T., Kourie, D. & Watson, B. W., 1 Jan 2019, 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, Proceedings. Hähnle, R. & van der Aalst, W. (eds.). Springer, p. 25-42 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11424 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    5 Citations (Scopus)
    37 Downloads (Pure)
  • 2018

    Metamodel clone detection with SAMOS (extended abstract)

    Babur, O., Cleophas, L. & van den Brand, M., 1 Jan 2018, Belgium-Netherlands Software Evolution Workshop: Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop Delft, the Netherlands, December 10th to 11th, 2018.. Gousios, G. & Hejderup, J. (eds.). CEUR-WS.org, p. 21-23 3 p. (CEUR Workshop Proceedings; vol. 2361).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    63 Downloads (Pure)
  • Model analytics for feature models: case studies for S.P.L.O.T. Repository

    Babur, Ö., Cleophas, L. & van den Brand, M., 1 Jan 2018, Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS: Copenhagen, Denmark, October, 14, 2018. . Hebig, R. & Berger, T. (eds.). CEUR-WS.org, p. 787-792 6 p. (CEUR Workshop Proceedings; no. 2245).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    4 Citations (Scopus)
    10 Downloads (Pure)
  • Models, more models, and then a lot more

    Babur, Ö., Cleophas, L., van den Brand, M. G. J., Tekinerdogan, B. & Aksit, M., 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017: revised selected papers. Seidl, M. & Zschaler, S. (eds.). Cham: Springer, p. 129-135 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10748 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    7 Citations (Scopus)
    1 Downloads (Pure)
  • Preface to the first international workshop on analytics and mining of model repositories

    Babur, Ö., Chaudron, M. R. V., Cleophas, L., Ruscio, D. D. & Kolovos, D., 1 Jan 2018, Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS: Copenhagen, Denmark, October, 14, 2018. Hebig, R. & Berger, T. (eds.). CEUR-WS.org, p. 778-779 2 p. (CEUR Workshop Proceedings; no. 2245).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    18 Downloads (Pure)
  • Towards confidentiality-by-construction

    Schaefer, I., Runge, T., Knüppel, A., Cleophas, L., Kourie, D. & Watson, B. W., 1 Jan 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings. Steffen, B. & Margaria, T. (eds.). Springer, p. 502-515 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11244 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
  • Towards distributed model analytics with apache spark

    Babur, Ö., Cleophas, L. & van den Brand, M., 1 Jan 2018, MODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Pires, L. F. & Selic, B. (eds.). SCITEPRESS-Science and Technology Publications, Lda., p. 767-772 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    2 Citations (Scopus)
    1 Downloads (Pure)
  • X-by-construction

    ter Beek, M. H., Cleophas, L., Schaefer, I. & Watson, B. W., 1 Jan 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings. Steffen, B. & Margaria, T. (eds.). Springer, p. 359-364 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11244 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
  • 2017

    Benchmarking optimised algorithms for transitive closure

    Pieterse, V. & Cleophas, L. G. W. A., 26 Sep 2017, SAICSIT '17 Proceedings of the South African Institute of Computer Scientists and Information Technologists, 26-28 September 2017, Thaba 'Nchu, South Africa . New York: Association for Computing Machinery, Inc, p. 1-10 27

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Clustering variation points in MATLAB/Simulink models using reverse signal propagation analysis

    Schlie, A., Wille, D., Cleophas, L. & Schaefer, I., 2017, Mastering Scale and Complexity in Software Reuse - 16th International Conference on Software Reuse, ICSR 2017, Proceedings. Botterweck, G. & Werner, C. (eds.). Springer, p. 77-94 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10221 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
    1 Downloads (Pure)
  • Detecting variability in MATLAB/Simulink models : an industry-inspired technique and its evaluation

    Schlie, A., Wille, D., Schulze, S., Cleophas, L. G. W. A. & Schaefer, I., 25 Sep 2017, SPLC '17 : Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, 25-29 September 2017, Sevilla, Spain, . Fuentes, L., Bagheri, E., Ruiz-Cortes, A., Benavides, D., Capilla, R., Xiong, Y., Bosch, J., Acher, M., Schall, D., Cohen, M. & Troya, J. (eds.). New York: Association for Computing Machinery, Inc, Vol. A. p. 215-224 10 p. (ACM International Conference Proceeding Series; vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    6 Citations (Scopus)
  • Many-MADFAct: concurrently constructing MADFAs

    Runge, T., Schaefer, I., Cleophas, L. G. W. A. & Watson, B. W., 2017, Proceedings of the Prague Stringology Conference PSC 2017, August 28-30, 2017, Prague, Czech Republic . Holub, J. & Zdarek, J. (eds.). Prague: Czech Technical University in Prague, p. 126-142 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    23 Downloads (Pure)
  • Minimization of finite state automata through partition aggregation

    Björklund, J. & Cleophas, L. G. W. A., 2017, Language and Automata Theory and Applications: 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings. Drewes, F., Martín-Vide, C. & Truthe, B. (eds.). Dordrecht: Springer, p. 223-235 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10168 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
  • Using n-grams for the automated clustering of structural models

    Babur, Ö. & Cleophas, L., 2017, SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Springer, p. 510-524 15 p. (Lecture Notes in Computer Science; vol. 10139).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    10 Citations (Scopus)
    1 Downloads (Pure)
  • 2016

    Correctness-by-construction and post-hoc verification : a marriage of convenience?

    Watson, B. W., Kourie, D. G., Schaefer, I. & Cleophas, L. G. W. A., 5 Oct 2016, ISoLA 2016: 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. Margaria, T. & Steffen, B. (eds.). Dordrecht: Springer, p. 730-748 (LNCS; vol. 9952).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    6 Citations (Scopus)
    3 Downloads (Pure)
  • Correctness-by-construction ∧ taxonomies ⇒ deep comprehension of algorithm families

    Cleophas, L., Kourie, D. G., Pieterse, V., Schaefer, I. & Watson, B. W., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Springer, p. 766-783 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9952 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Citations (Scopus)
  • Hierarchical clustering of metamodels for comparative analysis and visualization

    Babur, Ö., Cleophas, L. G. W. A. & van den Brand, M. G. J., 2016, Modelling Foundations and Applications : 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. Wąsowski, A. & Loenn, H. (eds.). Dordrecht: Springer, p. 3-18 (Lecture Notes in Computer Science; vol. 9764).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    13 Citations (Scopus)
    5 Downloads (Pure)
  • Tax-PLEASE—towards taxonomy-based software product line engineering

    Schaefer, I., Seidl, C., Cleophas, L. G. W. A. & Watson, B. W., 10 May 2016, Software reuse: bridging with social-awareness. Kapitsaki, G. M. & de Almeida, E. S. (eds.). Springer, p. 63-70 (Lecture Notes in Computer Science; vol. 9679).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
    4 Downloads (Pure)
  • Using human computation in dead-zone based 2D pattern matching

    Cleophas, L. G. W. A., Watson, B. W. & Awid, K., 2016, Proceedings of the Prague Stringology Conference 2016, August 29-31, 2016, Prague, Czech Republic . s.l.: s.n., p. 22-32 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    35 Downloads (Pure)
  • 2015

    An Aho-Corasick based assessment of algorithms generating failure deterministic finite automata

    Nxumalo, M., Kourie, D. G., Cleophas, L. & Watson, B. W., 2015, Proceedings of the Twelfth International Conference on Concept Lattices and Their Applications, October 13-16, 2015, Clermont-Ferrand, France . Ben Yahia, S. & Konecny, J. (eds.). CEUR-WS.org, p. 87-98 12 p. (CEUR Workshop Proceedings; vol. 1466).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Backward linearised tree pattern matching

    Trávníček, J., Janoušek, J., Melichar, B. & Cleophas, L., 2015, Language and Automata Theory and Applications: 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings. Dediu, A-H., Formenti, E., Martin-Vide, C. & Truthe, B. (eds.). Berlin: Springer, p. 599-610 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8977).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
  • N-gram representations for comment filtering

    Brand, D., Kroon, S., Van Der Merwe, B. & Cleophas, L., 28 Sep 2015, SAICSIT '15 Proceedings of the 2015 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists, 28-30 September 2015, Stellenbosch, South Africa . New York: Association for Computing Machinery, Inc, p. 1-10 6

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Downloads (Pure)
  • On generating a random deterministic finite automaton as well as its failure equivalent

    Nxumalo, M., Kourie, D. G., Cleophas, L. G. W. A. & Watson, B. W., 2015, Proceedings of Russian and South African Workshop on Knowledge Discovery Techniques Based on Formal Concept Analysis (RuZA 2015), November 30 - December 5, 2015, Stellenbosch, South Africa. CEUR-WS.org, Vol. 1552. p. 47-57 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
  • Quantum leap pattern matching

    Watson, B. W., Kourie, D. G. & Cleophas, L., 2015, Proceedings of the Prague Stringology Conference 2015, Prague, Czech Republic, August 24-26, 2015. Holub, J. & Žďárek, J. (eds.). Prague: Prague Stringology Club, p. 104-117 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
  • SPLicing TABASCO: custom-tailored software product line variants from taxonomy-based toolkits

    Schaefer, I., Seidl, C., Cleophas, L. & Watson, B. W., 28 Sep 2015, SAICSIT '15 Proceedings of the 2015 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists, 28-30 October 2015, Stellenbosch, South Africa. New York: Association for Computing Machinery, Inc, p. 1-10 34

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
  • Workshop preview of the 3rd workshop on parsing programming languages (Parsing@SLE 2015)

    Cleophas, L. & Afroozeh, A., 25 Oct 2015, SPLASH Companion 2015 - Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity. Association for Computing Machinery, Inc, p. 107-108 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 2014

    A process-oriented implementation of Brzozowski's DFA construction algorithm

    Strauss, T., Kourie, D. G., Watson, B. W. & Cleophas, L. G., 2014, Proceedings of the Proceedings of the Prague Stringology Conference 2014. Holub, J. & Žďárek, J. (eds.). Prague: Prague Stringology Club, p. 17-29 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Downloads (Pure)
  • Empirically assessing algorithm performance

    Kourie, D. G., Watson, B. W., Strauss, T., Cleophas, L. G. & Mauch, M., 2014, Southern African Institute for Computer Scientist and Information Technologists Annual Conference 2014, SAICSIT '14, Centurion, South Africa, September 29 - October 1, 2014. van Deventer, J. P., Matthee, M. C., Gelderblom, H. & Gerber, A. (eds.). New York: Association for Computing Machinery, Inc, p. 115-125 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
  • Using correctness-by-construction to derive dead-zone algorithms

    Watson, B. W., Cleophas, L. G. & Kourie, D. G., 2014, Proceedings of the Prague Stringology Conference 2014, Prague, Czech Republic, September 1-3, 2014. Holub, J. & Žďárek, J. (eds.). Prague: Prague Stringology Club, p. 84-95 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    32 Downloads (Pure)
  • 2013

    Efficient representation of DNA data for pattern recognition using failure factor oracles

    Cleophas, L., Kourie, D. G. & Watson, B. W., 2013, SAICSIT '13 : Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference, 7-9 October 2013, East London, South Africa. New York: Association for Computing Machinery, Inc, p. 369-377 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Weak factor automata: Comparing (failure) oracles and storacles

    Cleophas, L., Kourie, D. G. & Watson, B. W., 2013, Proceedings of the Prague Stringology Conference 2013, PSC 2013, 2-4 September 2013, Prague, Czech Republic. p. 176-190 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
  • 2012

    Failure deterministic finite automata

    Kourie, D. G., Watson, B. W., Cleophas, L. G. W. A. & Venter, F., 2012, Proceedings of the Prague Stringology Conference 2012 (PSC 2012, Prague, Czech Republic, August 27-28, 2012). Holub, J. & Zdarek, J. (eds.). Prague: Czech Technical University in Prague, p. 28-41

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    10 Citations (Scopus)
    296 Downloads (Pure)
  • VPDSL : a DSL for software in the loop simulations covering material flow

    Nagy, I., Cleophas, L. G. W. A., Brand, van den, M. G. J., Engelen, L. J. P., Raulea, L. V. & Ernest Mithun, X. L., 2012, Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012, Paris, France, July 18-20, 2012). Piscataway: Institute of Electrical and Electronics Engineers, p. 318-327

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    5 Citations (Scopus)
    3 Downloads (Pure)
  • 2011

    On compile time Knuth-Morris-Pratt precomputation

    Kourie, J., Cleophas, L. G. W. A. & Watson, B. W., 2011, Proceedings of the Prague Stringology Conference 2011 (PSC'11, Prague, Czech Republic, August 29-31, 2011). Holub, J. & Zdanek, J. (eds.). Prague: Czech Technical University in Prague, p. 15-29

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    92 Downloads (Pure)
  • 2010

    Improving automata efficiency by stretching and jamming

    Beijer, de, N., Cleophas, L. G. W. A., Kourie, D. G. & Watson, B. W., 2010, Proceedings of the Prague Stringology Conference 2010 (PSC'10, Prague, Czech Republic, August 30-September 1, 2010). Holub, J. & Zdarek, J. (eds.). Prague: Czech Technical University in Prague, p. 9-24

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
  • Performance of C++ bit-vector implementations

    Pieterse, V., Kourie, D. G., Cleophas, L. G. W. A. & Watson, B. W., 2010, Proceedings of the 2010 Annual Conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT 2010, Bela Bela (Warm Baths), South Africa, October 11-13, 2010). Association for Computing Machinery, Inc, p. 242-250

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Citations (Scopus)
  • 2009

    Forest FIRE: A taxonomy-based toolkit of tree automata and regular tree algorithms

    Cleophas, L. G. W. A. & Hemerik, C., 2009, Implementation and Application of Automata (14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings). Maneth, S. (ed.). Berlin: Springer, p. 245-248 (Lecture Notes in Computer Science; vol. 5642).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
    1 Downloads (Pure)
  • Forest FIRE and FIRE wood : tools for tree automata and tree algorithms

    Cleophas, L. G. W. A., 2009, Finite-State Methods and Natural Language Processing (7th International Workshop, FSMNLP 2008, Istra, Lago Maggiore, Italy, September 11-12, 2008). Piskorski, J., Watson, B. W. & Yli-Jyrä, A. (eds.). Amsterdam: IOS Press, p. 191-198 (Frontiers in Artificial Intelligence and Applications; vol. 191).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
  • On minimizing deterministic tree automata

    Cleophas, L. G. W. A., Kourie, D. G., Strauss, T. & Watson, B. W., 2009, Proceedings of the Prague Stringology Conference 2009 (PSC'09, Prague, Czech Republic, August 31-September 2, 2009). Holub, J. & Zdarek, J. (eds.). Prague: Czech Technical University in Prague, p. 173-182

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    8 Citations (Scopus)
    42 Downloads (Pure)
  • Taxonomies of regular tree algorithms

    Cleophas, L. G. W. A. & Hemerik, C., 2009, Proceedings of the Prague Stringology Conference 2009 (PSC'09, Prague, Czech Republic, August 31-September 2, 2009). Holub, J. & Zdarek, J. (eds.). Prague: Czech Technical University in Prague, p. 146-159

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    73 Downloads (Pure)
  • 2006

    Efficient automata constructions and approximate automata

    Watson, B. W., Kourie, D. G., Ngassam, E. K., Strauss, T. & Cleophas, L. G. W. A., 2006, Proceedings of the Prague Stringology Conference 2006 (Prague, Czech Republic, August 28-30, 2006). Holub, J. & Zdárek, J. (eds.). Prague: Czech Technical University in Prague, p. 100-107

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
  • 2005

    A missing link in root-to-frontier tree pattern matching

    Cleophas, L. G. W. A., Hemerik, C. & Zwaan, G., 2005, Proceedings Tenth Prague Stringology Conference (PSC'05, Prague, Czech Republic, August 29-31, 2005). Holub, J. & Simánek, M. (eds.). Prague, Czech Republic: Czech Technical University in Prague, p. 215-229

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
  • FIRE Station : an environment for manipulating finite automata and regular expression views

    Frishert, M., Watson, B. W. & Cleophas, L. G. W. A., 2005, Implementation and Application of Automata (Revised Selected Papers, Ninth International Conference, CIAA 2004, Kingston ON, Canada, July 22-24, 2004). Domaratzki, M., Okhotin, A., Salomaa, K. & Yu, S. (eds.). Berlin: Springer, p. 125-133 (Lecture Notes in Computer Science; vol. 3317).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Citations (Scopus)
  • TABASCO : a taxonomy-based domain engineering method

    Cleophas, L. G. W. A., Watson, B. W., Kourie, D. G. & Boake, A., 2005, Proceedings of the Annual Conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT'05, White River, South Africa, September 20-22, 2005). New York: Association for Computing Machinery, Inc, p. 38-47 (ACM International Conference Proceeding Series; vol. 150).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Downloads (Pure)
  • TABASCO : a taxonomy-based domain engineering method

    Cleophas, L. G. W. A., Vosloo, I. & Watson, B. W., 2005, Proceedings JACQUARD 2005 (Zeist, The Netherlands, February 3-4, 2005).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

  • 2004

    Automaton-based sublinear keyword pattern matching

    Cleophas, L. G. W. A., Watson, B. W. & Zwaan, G., 2004, String Processing and Information Retrieval (Proceedings 11th International Conference, SPIRE 2004, Padova, Italy, October 5-8, 2004). Apostolico, A. & Melucci, M. (eds.). Berlin: Springer, p. 18-29 (Lecture Notes in Computer Science; vol. 3246).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Citations (Scopus)
    2 Downloads (Pure)