António Machiavelo

Faculdade de Ciências da Universidade do Porto

.
2015

Partial Derivative Automaton for Regular Expressions with Shuffle

Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings | 2015 | inproceedings
2015

Partial Derivative Automaton for Regular Expressions with Shuffle

CoRR | 2015 | misc
2014

A Hitchhiker's Guide to descriptional complexity through analytic combinatorics

Theoretical Computer Science | 2014 | article
2014

Counting Equivalent Linear Finite Transducers Using a Canonical Form

Implementation and Application of Automata, Ciaa 2014 | 2014 | inproceedings
2014

Dynamics of a quasi-quadratic map

Journal of Difference Equations and Applications | 2014 | article
2014

On the Equivalence of Automata for KAT-expressions

Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings | 2014 | inproceedings
2014

On the Invertibility of Finite Linear Transducers

Rairo-theoretical Informatics and Applications | 2014 | article
2014

Statistical study on the number of injective linear finite transducers

Sixth Workshop on Non-Classical Models for Automata and Applications - NCMA 2014, Kassel, Germany, July 28-29, 2014. Proceedings | 2014 | inproceedings
2013

On the Average Size of Glushkov and Equation Automata for KAT Expressions

Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings | 2013 | inproceedings
2012

Formal Power Series and the Invertibility of Finite Linear Transducers

Fourth Workshop on Non-Classical Models for Automata and Applications - NCMA 2012, Fribourg, Switzerland, August 23-24, 2012. Proceedings | 2012 | inproceedings
2012

On the Average Size of Glushkov and Partial Derivative Automata

International Journal of Foundations of Computer Science | 2012 | article
2012

On the importance of useless mathematics

Raising Public Awareness of Mathematics | 2012 | incollection
2011

On the Average State Complexity of Partial Derivative Automata: An Analytic Combinatorics Approach

International Journal of Foundations of Computer Science | 2011 | article
2011

The Average Transition Complexity of Glushkov and Partial Derivative Automata

Developments in Language Theory - 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings | 2011 | inproceedings
2010

On the Average Number of States of Partial Derivative Automata

Developments in Language Theory | 2010 | inproceedings
2007

Automated ciphertext-only cryptanalysis of the Bifid cipher

Cryptologia | 2007 | article
2004

Chebyshev polynomials over finite fields and reversibility of sigma-automata on square grids

Theoretical Computer Science | 2004 | article

H Park

M Hunziker