Concepedia

Matteo Cimini

MC

Statistics

Publications

11

Citations

431

H-Index

10

Active since

2010

Affiliations

Reykjavík University(Current)

Indiana University

Indiana University Bloomington

Eindhoven University of Technology

University of Tehran

Matteo Cimini is an author at Reykjavík University specializing in computer science, computing, and programming languages.

Publications per year

2010–2020

11

Publications

11

Refined Criteria for Gradual Typing

Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 119 citations · Full text

Computing, Computer Science, Formal Methods +12

Modelling and simulation of asynchronous real-time systems using Timed Rebeca

Árni Hermann Reynisson, Marjan Sirjani, Luca Aceto et al. · Science of Computer Programming · 2014 · 61 citations

Engineering, Computer Engineering, Computer Science +12

Principal Type Schemes for Gradual Programs

Ronald Garcia, Matteo Cimini · 2014 · 59 citations

Computing, Computer Science, Algorithms +13

The gradualizer: a methodology and algorithm for generating gradual type systems

Matteo Cimini, Jeremy G. Siek · 2016 · 48 citations · Full text

Computing, Computer Science, Algorithms +11

Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca

Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir et al. · Electronic Proceedings in Theoretical Computer Science · 2011 · 39 citations · Full text

Engineering, Computer Engineering, Computer Science +12

1–5 of 11