Refined criteria for gradual typing JG Siek, MM Vitousek, M Cimini, JT Boyland LIPIcs-Leibniz International Proceedings in Informatics 32, 2015 | 137 | 2015 |

Monotonic references for efficient gradual typing JG Siek, MM Vitousek, M Cimini, S Tobin-Hochstadt, R Garcia European Symposium on Programming Languages and Systems, 432-456, 2015 | 56 | 2015 |

Principal type schemes for gradual programs R Garcia, M Cimini ACM SIGPLAN Notices 50 (1), 303-315, 2015 | 50 | 2015 |

Modelling and simulation of asynchronous real-time systems using Timed Rebeca AH Reynisson, M Sirjani, L Aceto, M Cimini, A Jafari, A Ingólfsdóttir, ... Science of Computer Programming 89, 41-68, 2014 | 47 | 2014 |

The gradualizer: a methodology and algorithm for generating gradual type systems M Cimini, JG Siek ACM SIGPLAN Notices 51 (1), 443-455, 2016 | 44 | 2016 |

Modelling and simulation of asynchronous real-time systems using timed rebeca L Aceto, M Cimini, A Ingolfsdottir, AH Reynisson, SH Sigurdarson, ... arXiv preprint arXiv:1108.0228, 2011 | 36 | 2011 |

Automatically generating the dynamic semantics of gradually typed languages M Cimini, JG Siek ACM SIGPLAN Notices 52 (1), 789-803, 2017 | 31 | 2017 |

PTRebeca: Modeling and analysis of distributed and asynchronous systems A Jafari, E Khamespanah, M Sirjani, H Hermanns, M Cimini Science of Computer Programming 128, 22-50, 2016 | 27 | 2016 |

Nominal SOS M Cimini, MR Mousavi, MA Reniers, MJ Gabbay Electronic Notes in Theoretical Computer Science 286, 103-116, 2012 | 14 | 2012 |

A lightweight formalization of the metatheory of bisimulation-up-to K Chaudhuri, M Cimini, D Miller Proceedings of the 2015 Conference on Certified Programs and Proofs, 157-166, 2015 | 12 | 2015 |

λµ µ calculus, π-calculus, and abstract machines M Cimini, CS Coen, D Sangiorgi EXPRESS’09, 2009 | 10 | 2009 |

A bisimulation-based method for proving the validity of equations in GSOS languages L Aceto, M Cimini, A Ingolfsdottir arXiv preprint arXiv:1002.2864, 2010 | 9 | 2010 |

SOS rule formats for zero and unit elements L Aceto, M Cimini, A Ingólfsdóttir, MR Mousavi, MA Reniers Theoretical Computer Science 412 (28), 3045-3071, 2011 | 8 | 2011 |

Rule formats for distributivity L Aceto, M Cimini, A Ingolfsdottir, MR Mousavi, MA Reniers International Conference on Language and Automata Theory and Applications, 80-91, 2011 | 8 | 2011 |

Ghostbuster: A tool for simplifying and converting GADTs TL McDonell, TAK Zakian, M Cimini, RR Newton ACM SIGPLAN Notices 51 (9), 338-350, 2016 | 7 | 2016 |

Proving the validity of equations in GSOS languages using rule-matching bisimilarity L Aceto, M Cimini, A Ingolfsdottir Mathematical Structures in Computer Science 22 (2), 291-331, 2012 | 6 | 2012 |

Functions as Processes: Termination and the -Calculus M Cimini, CS Coen, D Sangiorgi International Symposium on Trustworthy Global Computing, 73-86, 2010 | 6 | 2010 |

On rule formats for zero and unit elements L Aceto, M Cimini, A Ingolfsdottir, MR Mousavi, MA Reniers Electronic Notes in Theoretical Computer Science 265, 145-160, 2010 | 5 | 2010 |

Rule formats for distributivity L Aceto, M Cimini, A Ingolfsdottir, M Mousavi, MA Reniers Theoretical Computer Science 458, 1-28, 2012 | 4 | 2012 |

The Semantics of ParalleX, v1. 0 M Cimini, JG Siek, T Sterling School of Informatics and Computing, Indiana University Bloomington, Tech …, 2016 | 2 | 2016 |