Skip to main content
CMUP
Search form
Search
Log in
CMUP
About
Members
Direction board
Advisory board
Contact
News
Partners & Collaborators
Editions
Memories
CMUP's old webpage
Research
Research areas
Publications
Preprints
Theses
Bibliographic resources
Projects
Current research projects
Past research projects
GEMAC
Outreach projects
Art and Mathematics
Bibliakos
INIGMA
Mathematics at FCUP
Mathematics Promotion
Pólya
Summer School
Events
Courses
Conferences
Seminars
You are here
António Machiavelo
António Machiavelo
View
Editorship
Projects
Publications
(active tab)
Students
Track
Contact
Annual reports
2017
Bastos R
,
Broda S
,
Machiavelo A
,
Moreira N
.
On the Average Complexity of Partial Derivative Automata for Semi-Extended Expressions
. Journal of Automata, Languages and Combinatorics. 2017;22:5-28.
Broda S
,
Machiavelo A
,
Moreira N
,
Reis R
.
On the Average Complexity of Strong Star Normal Form
. In:
Pighizzini G
,
Câmpeanu C
, editors. Description Complexity of Formal Systems (DCFS 2017). Vol 10316. Springer; 2017. 7. p. 77-88p. (LNCS; vol 10316).
Broda S
,
Machiavelo A
,
Reis R
,
Moreira N
.
Automata for Regular Expressions with Shuffle
. Information and Computation. 2017.
2016
Pereira S
,
Machiavelo A
,
Azevedo J
.
Maths in the news: uses and errors in Portuguese newspapers
. Journal of Science Communication. 2016;15(04):1-19.
Bastos R
,
Broda S
,
Machiavelo A
,
Moreira N
,
Reis R
.
On the State Complexity of Partial Derivative Automata for Regular Expressions with Intersection
. In: Proceedings of the 18th Int. Workshop on Descriptional Complexity of Formal Systems (DCFS16). Vol 9777. Springer; 2016. 4. p. 45-59p. (LNCS; vol 9777).
Broda S
,
Machiavelo A
,
Moreira N
,
Reis R
.
Position automaton construction for regular expressions with intersection
. In:
Reutenauer C
,
Brlek S
, editors. Developments in Language Theory - 20th International Conference, DLT 2016. Vol 9840. Springer; 2016. 5. p. 51-63p.
2015
Broda S
,
Machiavelo A
,
Moreira N.
,
Reis R.
.
Average Size of Automata Constructions from Regular Expressions
. Bulletin of the European Association for Theoretical Computer Science. 2015:167-192.
Machiavelo A
,
Reis R
.
Uma introdução (ingénua) à Criptografia
.
Garrão APaula
,
Dias MRaposo
,
Teixeira RCunha
, editors Letras Lavadas Edições 2015.
Broda S
,
Machiavelo A
,
Moreira N
,
Reis R
.
Partial Derivative Automaton for Regular Expressions with Shuffle
. In:
Shallit J
,
Okhotin A
, editors. Proceedings of the 17th Int. Workshop on Descriptional Complexity of Formal Systems (DCFS15). Springer; 2015. 2. p. 21-32p.
Amorim I
,
Machiavelo A
,
Reis R
.
On the number of linear finite transducers
. International Journal of Foundations of Computer Science. 2015;26(7):873-893.
2014
Carvalho M
,
Azevedo A
,
Machiavelo A
.
Dynamics of a quasi-quadratic map
. Journal of Difference Equations and Applications. 2014;20 (1):36-48.
Amorim I
,
Machiavelo A
,
Reis R
.
On the invertibility of finite linear transducers
. RAIRO Theor. Inform. Appl.. 2014;48:107-125.
Broda S
,
Machiavelo A
,
Moreira N
,
Reis R
.
A Hitchhiker's Guide to descriptional complexity through analytic combinatorics
. Theoret. Comput. Sci.. 2014;528:85-100.
Amorim I
,
Machiavelo A
,
Reis R
.
Statistical Study on The Number of Injective Linear Finite Transducers
. In: Non-Classical Models of Automata and Applications (NCMA 2014). Germany, Kassel: books@ocg.at; 2014.
Amorim I
,
Machiavelo A
,
Reis R
.
Counting Equivalent Linear Finite Transducers Using a Canonical Form
.
Holzer M
,
Kutrib M
, editors Germany, Giessen: Springer 2014.
Broda S
,
Machiavelo A
,
Moreira N
,
Reis R
.
On the Equivalence of Automata for KAT-expressions
. Vol 8493.
Beckmann A
,
Csuhaj-Varjú E
,
Meer K
, editors 2014.
2013
Broda S
,
Machiavelo A
,
Moreira N
,
Reis R
.
On the Average Size of Glushkov and Equation Automata for KAT Expressions
. In: FCT. United Kingdom, Liverpool: Springer; 2013. 7. p. 72-83p.
Machiavelo A
.
On The Source of Mathematical Intuition
. Vol 6 Centro de Filosofia das Ciências da Universidade de Lisboa 2013.
Machiavelo A
,
Santos JC
,
Tavares JN
,
de Sá CC
,
Silva M
.
43 Miniaturas Matemáticas
Gradiva 2013.
Broda S
,
Machiavelo A
,
Moreira N
,
Reis R
.
On the Average Size of Glushkov and Equation Automata for KAT Expressions
2013.
2012
Machiavelo A
,
Reis R
.
Turing and Enigma
. Bol. Soc. Port. Mat.. 2012:97-120.
Broda S
,
Machiavelo A
,
Moreira N
,
Reis R
.
On the Average Size of Glushkov and Partial Derivative Automata
. International Journal of Foundations of Computer Science. 2012;23:969-984.
Azevedo A
,
Machiavelo A
.
A large-denominator problem
. Bol. Soc. Port. Mat.. 2012:9-12.
2011
Broda S
,
Machiavelo A
,
Moreira N
,
Reis R
.
On the Average State Complexity of Partial Derivative Automata: an analytic combinatorics approach
. International Journal of Foundations of Computer Science. 2011;22:1593-1606.
Broda S
,
Machiavelo A
,
Moreira N
,
Reis R
.
The Average Transition Complexity of Glushkov and Partial Derivative Automata
. In:
Mauri G.
,
Leporati A.
, editors. Developments in Language Theory, 15th International Conference, DLT 2011, Milano, Italy, July 2011. Proceedings. Vol 6795. Milano, Italy; 2011. 9. p. 93-104p.
2008
Machiavelo A
.
Euler and the secrets of numbers
. Bol. Soc. Port. Mat.. 2008:35-60.
2007
Machiavelo A
,
Reis R
.
Automated Ciphertext-Only Cryptanalysis of the Bifid Cipher
. Cryptologia. 2007;31(2):112-124.
2004
Hunziker M
,
Machiavelo A
,
Park J
.
Chebyshev polynomials over finite fields and reversibility of σ-automata on square grids
. Theoret. Comput. Sci.. 2004;320:465-483.
Almeida J
,
Machiavelo A
.
José Morgado: in memoriam
. Bol. Soc. Port. Mat.. 2004:1-18.
1993
Machiavelo A
.
On semi-linear representations over local fields
ProQuest LLC, Ann Arbor, MI 1993.
Error | CMUP
Error
The website encountered an unexpected error. Please try again later.