◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

António Machiavelo

4 papers hereh-index 9275 citations60 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author1
  • middle author2
  • last author1

Across the 4 of 4 papers where every author was matched, so the position is known.

fields
  • cs.FL2
  • math.NT2
same name
  • António Machiavelo — 1 paper

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20122021
most citedPartial Derivative Automaton for Regular Expressions with Shuffle

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

collaborators

4 papers

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…

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…

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…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.