pith. sign in

Paola Giannini (Dipartimento di Informatica

Identifiers

  • name variant Paola Giannini (Dipartimento di Informatica 0.60 · backfill

Papers (3)

  1. A Calculus of Looping Sequences with Local Rules cs.CE · 2012 · author #5
  2. A Type System for a Stochastic CLS cs.FL · 2009 · author #3
  3. A Type System for Required/Excluded Elements in CLS cs.LO · 2009 · author #3

Mentions

  • 1207.7147 #5 · backfill · confidence 0.70 Paola Giannini (Dipartimento di Informatica
  • 0911.4985 #3 · backfill · confidence 0.70 Paola Giannini (Dipartimento di Informatica
  • 0911.2323 #3 · backfill · confidence 0.70 Paola Giannini (Dipartimento di Informatica

Frequent Coauthors