◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

F. Mogavero

26 papers hereh-index 181.1k citations79 works total

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

author position
  • first author6
  • middle author12
  • last author7

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

fields
  • cs.LO18
  • cs.GT4
  • cs.DB2
  • cs.AI1
  • cs.DS1
same name
  • F. Mogavero — 12 papers, h 9
  • F. Mogavero — 1 paper, h 2

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
20102026
most citedReasoning About Strategies: On the Model-Checking Problem

59 citations · 138 across the 23 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2021★ 13 cited

Satisfiability and Containment of Recursive SHACL

Paolo Pareti, George Konstantinidis, Fabio Mogavero

The Shapes Constraint Language (SHACL) is the recent W3C recommendation language for validating RDF data, by verifying certain shapes on graphs. Previous work has largely focused o…

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