Linguaggi e Modelli Computazionali L-M 2011/2012

  Alchemist Language — Enrico Galassi

  Binary Decision Diagrams — Andrea Leoni

  Framework per la simulazione e la valutazione di modelli CTMC utilizzando Maude e Approximate Probabilistic Model Checking — Daniele Bellavista

  Il set di tool GROOVE — Andrea Giulia Cialotti

  Libreria per l'utilizzo di SPARQL in Prolog — Giuliano Santandrea

  MDP parzialmente osservabili — Francesca Cioffi

  Model Checker LTL — Manuel Bartolini  •  Luca Guerra

  Model checking per le reti di Petri colorate — Davide Galeotti

  Modellazione e analisi di un graph transformation systems mediante la tecnica dell'approximative unfolding e Augur 2 — Saverio Cicora

  PEPA — Enrico Polverelli

  Progetto metainterpreta Vanilla++ — Massimo Fornari

  RDFLibrary — Mattia Occhiuto

  Ticket To Ride — Denis Brighi  •  Luca Domeniconi

  Verify algorithms' properties with the MSR(C) prototype — Alessandro Bulzacchi

  aStoryEngine: Linguaggio e Interprete per Librigame — Andrea Arnoffi

  tuProlog Socket Library — Mirco Bordoni

 Computational Models and Languages

 Linguaggi e Modelli Computazionali L-M 2010/2011  •  Linguaggi e Modelli Computazionali L-M 2009/2010  •  Linguaggi e Modelli Computazionali L-S 2008/2009