Special issue: Dedicated to Nelma Moreira and Rogério Reis on the occasion of their 60th birthday

Veröffentlicht 2021

Manipulation of Regular Expressions Using Derivatives: An Overview

von Moreira, Nelma
Veröffentlicht in CIAA (26. : 2022 : Rouen) Implementation and application of automata (2022)

Special issue: Implementation and application of automata (CIAA 2012) : papers selected from those presented in the 17th International Conference on Implementation and Applicatio...

Veröffentlicht 2013

The role of theory in computer science : essays dedicated to Janusz Brzozowski

Veröffentlicht 2017

Implementation and application of automata : 17th international conference, CIAA 2012, Porto, Portugal, July 17 - 20, 2012 ; proceedings

Veröffentlicht 2012

Location Based Automata for Expressions with Shuffle

von Broda, Sabine
Veröffentlicht in LATA (15. : 2021 : Mailand) Language and automata theory and applications (2021)

Special issue: International Conference on Developments in Language Theory (DLT) 2021

Veröffentlicht 2023

On the Average State Complexity of Partial Derivative Transducers

von Konstantinidis, Stavros
Veröffentlicht in SOFSEM (46. : 2020 : Limassol) SOFSEM 2020 (2020)

On the Uniform Distribution of Regular Expressions

von Broda, Sabine
Veröffentlicht in DCFS (23. : 2021 : Online) Descriptional complexity of formal systems (2021)

Partial Derivative Automaton by Compressing Regular Expressions

von Konstantinidis, Stavros
Veröffentlicht in DCFS (23. : 2021 : Online) Descriptional complexity of formal systems (2021)

Developments in Language Theory : 25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, proceedings

Veröffentlicht 2021

Approximate NFA Universality Motivated by Information Theory

von Konstantinidis, Stavros
Veröffentlicht in DCFS (24. : 2022 : Debrecen) Descriptional complexity of formal systems (2022)

Formal methods : FM 2019 international workshops : Porto, Portugal, October 7-11, 2019, revised selected papers

Formal methods

Veröffentlicht 2020

Formal methods

Veröffentlicht 2020