◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Nicolas Mazzocchi

15 papers hereh-index 777 citations19 works total

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

author position
  • middle author11
  • last author4

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

fields
  • cs.FL11
  • cs.LO3
  • cs.GT1

identity via Semantic Scholar / OpenAlex

activity
20172026
most citedSafety and Liveness of Quantitative Properties and Automata

3 citations · 4 across the 12 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.FL2019

Two-way Parikh Automata

Emmanuel Filiot, Shibashis Guha, Nicolas Mazzocchi

Parikh automata extend automata with counters whose values can only be tested at the end of the computation, with respect to membership into a semi-linear set. Parikh automata have…

◍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.