António José de Oliveira Machiavelo


AuthID: R-000-24V

Publicações Confirmadas: 49



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

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service