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
Courses
Series
Computational Models and Languages
Projects
Projects
Computational Models and Languages
/ series projects
20 completed projects
Advanced Dcg
—
Andrea Boccacci
Alchemist Language
—
Enrico Galassi
Algebraic Petri Nets
—
Cristiana Casanova
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
La Battaglia Navale
—
Alberto Pini
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 Greatspn
—
Chiara Contoli
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