pith. sign in

Hugo Torres Vieira (IMT Institute for Advanced Studies Lucca

Identifiers

  • name variant Hugo Torres Vieira (IMT Institute for Advanced Studies Lucca 0.60 · backfill

Papers (2)

  1. A Typed Model for Dynamic Authorizations cs.LO · 2016 · author #9
  2. Proceedings 8th Interaction and Concurrency Experience cs.PL · 2015 · author #9

Mentions

  • 1508.04595 #9 · backfill · confidence 0.70 Hugo Torres Vieira (IMT Institute for Advanced Studies Lucca

Frequent Coauthors