◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

G. Puppis

18 papers hereh-index 14608 citations65 works total

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

author position
  • first author1
  • middle author5
  • last author11

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

fields
  • cs.FL10
  • cs.LO8

identity via Semantic Scholar / OpenAlex

activity
20092026
most citedA decidable weakening of Compass Logic based on cone-shaped cardinal directions

13 citations · 30 across the 13 of their papers we have counts for

collaborators
Showing 2014Show all

1 paper · 1 filter

cs.FL2014★ 8 cited

Logics with rigidly guarded data tests

Gabriele Puppis, Thomas Colcombet, Clemens Ley

The notion of orbit finite data monoid was recently introduced by Bojanczyk as an algebraic object for defining recognizable languages of data words. Following Buchi's approach, we…

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