António José de Oliveira Machiavelo


AuthID: R-000-24V

Confirmed Publications: 49



31
TITLE: On the Number of Linear Finite Transducers
AUTHORS: Amorim, I ; Machiavelo, A ; Reis, R ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 26, ISSUE: 7
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
32
TITLE: Partial Derivative Automaton for Regular Expressions with Shuffle
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: 17th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2015 in DCFS, VOLUME: 9118
INDEXED IN: Scopus DBLP CrossRef: 3 Handle
IN MY: ORCID
33
TITLE: A Hitchhiker's Guide to descriptional complexity through analytic combinatorics
AUTHORS: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2014, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 528
INDEXED IN: Scopus WOS DBLP CrossRef: 17
IN MY: ORCID
34
TITLE: Counting Equivalent Linear Finite Transducers Using a Canonical Form
AUTHORS: Amorim, I ; Machiavelo, A ; Reis, R ;
PUBLISHED: 2014, SOURCE: 19th International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2014, VOLUME: 8587
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
35
TITLE: Dynamics of a quasi-quadratic map  Full Text
AUTHORS: Azevedo, A ; Carvalho, M ; Machiavelo, A ;
PUBLISHED: 2014, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 20, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef Handle
IN MY: ORCID | CIÊNCIAVITAE
36
TITLE: On the Equivalence of Automata for KAT-expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2014, SOURCE: CiE, VOLUME: 8493 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
37
TITLE: ON THE INVERTIBILITY OF FINITE LINEAR TRANSDUCERS
AUTHORS: Amorim, I ; Machiavelo, A ; Reis, R ;
PUBLISHED: 2014, SOURCE: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 48, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
38
TITLE: Statistical study on the number of injective linear finite transducers
AUTHORS: Ivone Amorim; António Machiavelo ; Rogério Reis ;
PUBLISHED: 2014, SOURCE: NCMA
INDEXED IN: DBLP
IN MY: ORCID
39
TITLE: On the Average Size of Glushkov and Equation Automata for KAT Expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2013, SOURCE: FCT, VOLUME: 8070 LNCS
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID
40
Page 4 of 5. Total results: 49.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service