activity
20122026
most citedPartial Derivative Automaton for Regular Expressions with Shuffle

1 citations · 1 across the 7 of their papers we have counts for

collaborators

12 papers

math.NT2026

Metaconjugation and Quadratic Forms

Adriana Cardoso, António Leite, António Machiavelo +2

We present a quaternionic proof that the quadratic form represents all positive integers, and that the form represents all natural numbers…

math.NT2025

The Dedekind-Hasse Criterion in Quaternion Algebras

Adriana Cardoso, António Machiavelo

We show that a criterion for an integral domain to be a principal ideal domain (PID), due to Dedekind and Hasse, can also be applied in quaternion orders, and that it can be used t…

math.NT2025

On the Cycle Structure of the Metacommutation Map

António Leite, António Machiavelo

Cohn and Kumar showed that the permutation on the set of the classes of left associated Hurwitz primes above an odd prime induced through metacommutation by a Hurwitz prime …

math.CO2024

On supratopologies, normalized families and Frankl conjecture

André Carvalho, António Machiavelo

We introduce some generalized topological concepts to deal with union-closed families, and show that one can reduce the proof of Frankl's conjecture to some families of so-called s…

math.CO2023

On Sum Graphs over Some Magmas

António Machiavelo, Rogério Reis

We consider the notions of sum graph and of relaxed sum graph over a magma, give several examples and results of these families of graphs over some natural magmas. We classify the…

cs.FL2021

On the Uniform Distribution of Regular Expressions

Sabine Broda, António Machiavelo, Nelma Moreira +1

Although regular expressions do not correspond univocally to regular languages, it is still worthwhile to study their properties and algorithms. For the average case analysis one o…

math.NT2020

Report on Zhi-Wei Sun's "1-3-5 conjecture" and some of its refinements

António Machiavelo, Rogério Reis, Nikolaos Tsopanidis

We report here on the computational verification of a refinement of Zhi-Wei Sun's "1-3-5 conjecture" for all natural numbers up to 105 103 560 126. This, together with a result of…

math.NT2020

Zhi-Wei Sun's 1-3-5 Conjecture and Variations

António Machiavelo, Nikolaos Tsopanidis

In this paper, using quaternion arithmetic in the ring of Lipschitz integers, we present a proof of Zhì-Wěi Sūn's "1-3-5 conjecture" for integral solutions, and for all natural num…

cs.FL2015★ 1 cited

Partial Derivative Automaton for Regular Expressions with Shuffle

Sabine Broda, António Machiavelo, Nelma Moreira +1

We generalize the partial derivative automaton to regular expressions with shuffle and study its size in the worst and in the average case. The number of states of the partial deri…

cs.FL2014

Statistical Study On The Number Of Injective Linear Finite Transducers

Ivone Amorim, António Machiavelo, Rogério Reis

The notion of linear finite transducer (LFT) plays a crucial role in some cryptographic systems. In this paper we present a way to get an approximate value, by random sampling, for…

math.NT2012

Dynamics of a quasi-quadratic map

Assis Azevedo, Maria Carvalho, António Machiavelo

We consider the map X defined on the rational numbers given by x --> x * ceil(x), where ceil(x) denotes the smallest integer greater than or equal to x, and study the problem of fi…

math.NT2012

Some Connections Between The Arithmetic and The Geometry of Lipschitz Integers

António Machiavelo, Luís Roçadas

Some relationships between the arithmetic and the geometry of Lipschitz and Hurwitz integers are presented. In particular, it is shown that the (ternary) vector product of a Lipsch…