António José de Oliveira Machiavelo


AuthID: R-000-24V

Confirmed Publications: 37



1
TITLE: Location automata for synchronised shuffle expressions
AUTHORS: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 132
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID
2
TITLE: Location automata for regular expressions with shuffle and intersection  Full Text
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2022, SOURCE: Information and Computation
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID
3
TITLE: Location Based Automata for Expressions with Shuffle
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2021, SOURCE: 15th International Conference on Language and Automata Theory and Applications, LATA 2021 in Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, VOLUME: 12638
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
4
TITLE: On the size of partial derivatives and the word membership problem  Full Text
AUTHORS: Konstantinidis, S; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2021, SOURCE: ACTA INFORMATICA, VOLUME: 58, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
5
TITLE: On the Uniform Distribution of Regular Expressions
AUTHORS: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2021, SOURCE: 23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2021, VOLUME: 13037
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
6
TITLE: Partial Derivative Automaton by Compressing Regular Expressions
AUTHORS: Konstantinidis, Stavros; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2021, SOURCE: 23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2021, VOLUME: 13037
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
7
TITLE: Report on Zhi-Wei Sun's 1-3-5 conjecture and some of its refinements
AUTHORS: Machiavelo, A ; Reis, R ; Tsopanidis, N;
PUBLISHED: 2021, SOURCE: JOURNAL OF NUMBER THEORY, VOLUME: 222
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
8
TITLE: Zhi-Wei Sun's 1-3-5 conjecture and variations  Full Text
AUTHORS: Machiavelo, A ; Tsopanidis, N;
PUBLISHED: 2021, SOURCE: JOURNAL OF NUMBER THEORY, VOLUME: 222
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
9
10
TITLE: On the Average State Complexity of Partial Derivative Transducers
AUTHORS: Konstantinidis, S; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2020, SOURCE: 46th International Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) in SOFSEM 2020: THEORY AND PRACTICE OF COMPUTER SCIENCE, VOLUME: 12011
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
Page 1 of 4. Total results: 37.

A place for researchers and their institutions

Useful Links

Get Help

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