Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
SSO login
Home
Page Index
User Index
Application Index
Global
Languages
Default Language
What's New
Wiki Index
Eng
Ita
Search
Course
Linguaggi e Modelli Computazionali L-M 2011/2012
Linguaggi e Modelli Computazionali L-M 2011/2012
Main
News
Software
Lab
Schedule
Projects
Exams
pages
project proposals
•
project rules
16 completed projects
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
course series / projects
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