pith. sign in

Cinzia Di Giusto

Identifiers

  • name variant Cinzia Di Giusto 0.60 · backfill

Papers (3)

  1. Activity Networks with Delays An application to toxicity analysis q-bio.QM · 2016 · author #2
  2. Session Types with Runtime Adaptation: Overview and Examples cs.PL · 2013 · author #1
  3. On the Expressive Power of Multiple Heads in CHR cs.LO · 2008 · author #1

Mentions

  • 1312.2699 #1 · backfill · confidence 0.70 Cinzia Di Giusto
  • 0804.3351 #1 · backfill · confidence 0.70 Cinzia Di Giusto

Frequent Coauthors