Luca Aceto (Reykjavik University)

Identifiers

• name variant Luca Aceto (Reykjavik University) 0.60 · backfill

Papers (4)

1. A Survey of Runtime Monitoring Instrumentation Techniques cs.LO · 2017 · author #4
2. Proceedings First International Workshop on Process Algebra and Coordination cs.LO · 2011 · author #1
3. A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages cs.LO · 2010 · author #1
4. Characteristic Formulae for Fixed-Point Semantics: A General Framework cs.LO · 2009 · author #1

Mentions

• 1108.1452 #1 · backfill · confidence 0.70 Luca Aceto (Reykjavik University)
• 1002.2864 #1 · backfill · confidence 0.70 Luca Aceto (Reykjavik University)
• 0911.1862 #1 · backfill · confidence 0.70 Luca Aceto (Reykjavik University)

Frequent Coauthors

• Anna Ingolfsdottir (Reykjavik University) 2 shared papers
• Adrian Francalanza (University of Malta) 1 shared papers
• Anna Ing\'olfsd\'ottir (Reykjavik University) 1 shared papers
• Ian Cassar (University of Malta 1 shared papers
• Joshua Sack (Reykjavik University) 1 shared papers
• Matteo Cimini (Reykjavik University) 1 shared papers
• Mohammad Reza Mousavi (Eindhoven University of Technology) 1 shared papers
• Reykjavik University) 1 shared papers