Luca Aceto (Reykjavik University

Identifiers

• name variant Luca Aceto (Reykjavik University 0.60 · backfill

Papers (3)

1. Axiomatizing GSOS with Predicates cs.LO · 2011 · author #1
2. Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca cs.SE · 2011 · author #1
3. Proceedings Seventh Workshop on Structural Operational Semantics cs.LO · 2010 · author #1

Mentions

• 1108.3124 #1 · backfill · confidence 0.70 Luca Aceto (Reykjavik University
• 1108.0228 #1 · backfill · confidence 0.70 Luca Aceto (Reykjavik University
• 1008.1906 #1 · backfill · confidence 0.70 Luca Aceto (Reykjavik University

Frequent Coauthors

• Iceland) 3 shared papers
• Anna Ingolfsdottir (Reykjavik University 2 shared papers
• Arni Hermann Reynisson (Reykjavik University 1 shared papers
• Eugen-Ioan Goriac (Reykjavik University 1 shared papers
• Georgiana Caltais (Reykjavik University 1 shared papers
• Marjan Sirjani (Reykjavik University 1 shared papers
• Matteo Cimini (Reykjavik University 1 shared papers
• Pawe{\l} Soboci\'nski (University of Southampton 1 shared papers
• Steinar Hugi Sigurdarson (Reykjavik University 1 shared papers
• United Kingdom) 1 shared papers