Maria Rita Di Berardini

Identifiers

• name variant Maria Rita Di Berardini 0.60 · backfill

Papers (1)

1. Shape Calculus: Timed Operational Semantics and Well-formedness cs.PL · 2010 · author #3

Mentions

• 1011.2488 #3 · backfill · confidence 0.70 Maria Rita Di Berardini

Frequent Coauthors

• Diletta Romana Cacciagrano 1 shared papers
• Emanuela Merelli 1 shared papers
• Ezio Bartocci 1 shared papers
• Luca Tesei 1 shared papers