1
TITLE: On the Average Complexity of Strong Star Normal Form
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
SOURCE: 19th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2017, VOLUME: 10316, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2
TITLE: On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection
AUTHORS: Rafaela Bastos; Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
SOURCE: 18th IFIP WG 1.2 International Conference on Descriptional Complexity of Formal Systems, DCFS 2016 in Descriptional Complexity of Formal Systems - 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings, VOLUME: 9777, PUBLISHED: 2016
INDEXED IN: Scopus DBLP CrossRef: 2
3
TITLE: Position Automaton Construction for Regular Expressions with Intersection
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
SOURCE: 20th International Conference on Developments in Language Theory (DLT) in DEVELOPMENTS IN LANGUAGE THEORY, DLT 2016, VOLUME: 9840, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef
4
TITLE: Average Size of Automata Constructions from Regular Expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
SOURCE: Bulletin of the EATCS, VOLUME: 116, PUBLISHED: 2015
INDEXED IN: DBLP
5
TITLE: On the Number of Linear Finite Transducers  Full Text
AUTHORS: Ivone Amorim; Antonio Machiavelo ; Rogerio Reis ;
SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 26, ISSUE: 7, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef
6
TITLE: Partial Derivative Automaton for Regular Expressions with Shuffle
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
SOURCE: 17th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2015 in Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings, VOLUME: 9118, PUBLISHED: 2015
INDEXED IN: Scopus DBLP CrossRef: 3
7
TITLE: A Hitchhiker's Guide to descriptional complexity through analytic combinatorics  Full Text
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 528, PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef: 7
8
TITLE: Counting Equivalent Linear Finite Transducers Using a Canonical Form
AUTHORS: Ivone Amorim ; Antonio Machiavelo ; Rogerio Reis ;
SOURCE: 19th International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2014, VOLUME: 8587, PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef
9
TITLE: Dynamics of a quasi-quadratic map  Full Text
AUTHORS: Assis Azevedo ; Maria Carvalho ; Antonio Machiavelo ;
SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 20, ISSUE: 1, PUBLISHED: 2014
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
10
TITLE: On the Equivalence of Automata for KAT-expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
SOURCE: 10th Conference on Computability in Europe, CiE 2014 in Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, VOLUME: 8493, PUBLISHED: 2014
INDEXED IN: Scopus DBLP CrossRef: 1
Page 1 of 3. Total results: 21.