António Machiavelo

38 papers B 2C 7Journal 21Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Average State Complexity of Partial Derivative Automata for Synchronised Shuffles.
Int. J. Found. Comput. Sci.
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2025 — conf
Automata for Synchronised Shuffle on Backbones.
DCFS
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2023 C conf
Average Complexity of Partial Derivatives for Synchronised Shuffle Expressions.
CIAA
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2023 J jnl
Location automata for regular expressions with shuffle and intersection.
Inf. Comput.
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2023 J jnl
Location automata for synchronised shuffle expressions.
J. Log. Algebraic Methods Program.
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2023 J jnl
On the average complexity of partial derivative transducers.
Theor. Comput. Sci.
Stavros Konstantinidis, António Machiavelo, Nelma Moreira, Rogério Reis
2021 C conf
Location Based Automata for Expressions with Shuffle.
LATA
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2021 — conf
On the Uniform Distribution of Regular Expressions.
DCFS
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2021 J jnl
On the Uniform Distribution of Regular Expressions.
CoRR
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2021 J jnl
On the size of partial derivatives and the word membership problem.
Acta Informatica
Stavros Konstantinidis, António Machiavelo, Nelma Moreira, Rogério Reis
2021 — conf
Partial Derivative Automaton by Compressing Regular Expressions.
DCFS
Stavros Konstantinidis, António Machiavelo, Nelma Moreira, Rogério Reis
2020 J jnl
Guest Column: Analytic Combinatorics and Descriptional Complexity of Regular Languages on Average.
SIGACT News
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2020 B conf
On the Average State Complexity of Partial Derivative Transducers.
SOFSEM
Stavros Konstantinidis, António Machiavelo, Nelma Moreira, Rogério Reis
2019 J jnl
On Average Behaviour of Regular Expressions in Strong Star Normal Form.
Int. J. Found. Comput. Sci.
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2018 J jnl
Automata for regular expressions with shuffle.
Inf. Comput.
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2018 J jnl
Position Automata for Semi-extended Expressions.
J. Autom. Lang. Comb.
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2017 J jnl
On the Average Complexity of Partial Derivative Automata for Semi-extended Expressions.
J. Autom. Lang. Comb.
Rafaela Bastos, Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2017 — conf
On the Average Complexity of Strong Star Normal Form.
DCFS
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2016 — conf
On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection.
DCFS
Rafaela Bastos, Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2016 C conf
Position Automaton Construction for Regular Expressions with Intersection.
DLT
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2015 J jnl
Average Size of Automata Constructions from Regular Expressions.
Bull. EATCS
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2015 J jnl
On the Number of Linear Finite Transducers.
Int. J. Found. Comput. Sci.
Ivone Amorim, António Machiavelo, Rogério Reis
2015 — conf
Partial Derivative Automaton for Regular Expressions with Shuffle.
DCFS
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2015 J jnl
Partial Derivative Automaton for Regular Expressions with Shuffle.
CoRR
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2014 J jnl
A Hitchhiker's Guide to descriptional complexity through analytic combinatorics.
Theor. Comput. Sci.
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2014 C conf
Counting Equivalent Linear Finite Transducers Using a Canonical Form.
CIAA
Ivone Amorim, António Machiavelo, Rogério Reis
2014 C conf
On the Equivalence of Automata for KAT-expressions.
CiE
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2014 J jnl
On the invertibility of finite linear transducers.
RAIRO Theor. Informatics Appl.
Ivone Amorim, António Machiavelo, Rogério Reis
2014 J jnl
Statistical Study On The Number Of Injective Linear Finite Transducers.
CoRR
Ivone Amorim, António Machiavelo, Rogério Reis
2014 — conf
Statistical study on the number of injective linear finite transducers.
NCMA
Ivone Amorim, António Machiavelo, Rogério Reis
2013 B conf
On the Average Size of Glushkov and Equation Automata for KAT Expressions.
FCT
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2012 — conf
Formal Power Series and the Invertibility of Finite Linear Transducers.
NCMA
Ivone Amorim, António Machiavelo, Rogério Reis
2012 J jnl
On the Average Size of Glushkov and Partial derivative Automata.
Int. J. Found. Comput. Sci.
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2011 J jnl
On the Average State Complexity of Partial derivative Automata: an analytic Combinatorics Approach.
Int. J. Found. Comput. Sci.
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2011 C conf
The Average Transition Complexity of Glushkov and Partial Derivative Automata.
Developments in Language Theory
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2010 C conf
On the Average Number of States of Partial Derivative Automata.
Developments in Language Theory
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2007 J jnl
Automated Ciphertext - Only Cryptanalysis of the Bifid Cipher.
Cryptologia
António Machiavelo, Rogério Reis
2004 J jnl
Chebyshev polynomials over finite fields and reversibility of -automata on square grids.
Theor. Comput. Sci.
Markus Hunziker, António Machiavelo, Jihun Park