- Algoritmi e Principi dell'Informatica Appello del 25 Febbraio 2011
- Regional languages and tiling: a unifying approach to picture grammars
- Model-checking TRIO specifications in SPIN Angelo Morzenti1
- Reti di Petri Ideate negli anni '60 da C. A. Petri
- ASSOCIATIVE DEFINITION OF PROGRAMMING Stefano Crespi Reghizzi2
- Curriculum Vit et Studiorum Matteo Pradella
- An Evolutionary Approach to the Design of Supervision and Control Systems
- I. INTRODUCTION Computer based systems are getting ever more pervasive and
- Tile Rewriting Grammars Stefano Crespi Reghizzi and Matteo Pradella
- A Formal Approach for Designing CORBA based Applications
- Tile Rewriting Grammars and Picture Languages 1
- A UML-compatible formal language for system architecture description
- ArchiTRIO: a UML-compatible language for architectural description and its formal
- SAT-TS: a SAT-based tool to recognize and complete pictures specified by tiling
- Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation
- Benchmarking Model-and Satisfiability-Checking on bi-infinite time
- Refining Real-Time System Specifications through Bounded Model-and Satisfiability-Checking
- Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
- Snake-deterministic tiling systems Violetta Lonati1
- An Automatic Approach to Enable Replacement of Conversational Services
- Picture recognizability with automata based on Wang tiles
- A Tile-based Approach for Self-assembling Service Compositions
- Programming Language Support to Context-Aware Adaptation--A Case-Study with Erlang
- Bounded Reachability for Temporal Logic over Constraint Systems Marcello M. Bersani, Achille Frigeri, Angelo Morzenti
- RAIRO Operations Research Will be set by the publisher
- Dense-Time MTL Verification Through Sampling Carlo A. Furia, Matteo Pradella, and Matteo Rossi
- POLITECNICO DI MILANO DOTTORATO DI RICERCA IN INGEGNERIA INFORMATICA E AUTOMATICA
- Algoritmi e Principi dell'Informatica Prima prova in itinere -15 Novembre 2010
- Informatica Teorica Appello d'esame 4 Febbraio 2011
- Esercizio 1 Basta un automa a stati finiti che tenga conto della somma delle cifre modulo
- Algoritmi e Principi dell'Informatica Appello del 25 Febbraio 2011 soluzioni
- Algoritmi e principi dell'informatica (modulo di Informatica Teorica)
- Applicazione: le Espressioni Regolari
- Informatica Teorica Seconda prova in itinere e appello del corso del Vecchio ordinamento
- Informatica Teorica -Sezione Pradella Appello del 15 Settembre 2004
- Informatica Teorica -II prova in itinere -29 Giugno 2005, Sezione Pradella AVVISO: Si ricorda che possono svolgere questa prova in itinere solo coloro che abbiano ottenuto almeno 5
- Informatica Teorica Seconda prova in itinere -5 Luglio 2006, Sezione Pradella
- Informatica Teorica Prima prova in itinere -11 Maggio 2007
- Informatica Teorica Seconda prova in itinere -3 Luglio 2007
- Informatica Teorica Appello del 17 Luglio 2007
- Informatica Teorica Appello dell'11 Settembre 2007
- Informatica Teorica Appello d'esame del 3 febbraio 2009, Sezioni Mandrioli-Pradella
- Informatica Teorica I prova in itinere del 6 Maggio 2009
- Informatica Teorica, Esame del 1/7/2009 Durata per il tema intero: 2 ore.
- Informatica Teorica Esame del 16 Luglio 2009 Tempo a disposizione: 2h
- Informatica Teorica Appello d'esame -3 Settembre 2010
- Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
- Synthesizing adapters for conversational web-services from their WSDL interface
- Informatica Teorica Prova d'esame -13 Febbraio 2008
- Informatica Teorica -Sezione Pradella Appello del 5 Febbraio 2005
- Informatica Teorica Appello d'esame -13 Luglio 2010
- A UML 2-compatible language and tool for formal modeling real-time system architectures
- A CKY parser for picture grammars Stefano Crespi Reghizzi, Matteo Pradella
- Deterministic recognizability of picture languages by Wang automata
- Teoria della computazione Quali problemi sappiamo risolvere
- Finite-Domain Temporal Logic in ACL2: a semantics-based approach
- Informatica Teorica PRIMO COMPITINO 26 APRILE 2004
- Informatica Teorica Prima prova in itinere -5 Maggio 2005
- Informatica Teorica Appello del 19 Luglio 2006
- Context Oriented Programming in Highly Concurrent Carlo Ghezzi
- Informatica Teorica Esame del 1/9/2009 Durata: 2h
- A SAT-based parser and completer for pictures specified by tiling 1
- Informatica Teorica (Sez. Pradella) Appello del 13 Settembre 2005
- Informatica Teorica Prima prova in itinere -3 Maggio 2010
- Informatica Teorica Sezione Cremona + Como
- The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties
- CONCISENESS OF ASSOCIATIVE LANGUAGE DESCRIPTIONS 1 STEFANO CRESPI REGHIZZI + , MATTEO PRADELLA, PIERLUIGI SAN PIETRO
- A Formal Approach for Designing CORBA based Applications Matteo Pradella
- Picture Languages: from Wang tiles to 2D grammars Alessandra Cherubini1
- A Case Study in Object-oriented Modeling and Design of Distributed Multimedia Applications1
- Higher-Order TRIO Carlo A. Furia, Dino Mandrioli, Angelo Morzenti,
- Grammatiche Gli automi sono un modello riconoscitivo/traduttivo/elaborativo (di
- Informatica Teorica Prova d'esame -13 Luglio 2005, Sezione Pradella
- A finitedomain semantics for testing temporal logic specifications
- Discrete Mathematics and Theoretical Computer Science DMTCS vol. (subm.), by the authors, 11 Deterministic recognizability of picture
- A Metric Encoding for Bounded Model Checking Matteo Pradella1
- Informatica Teorica Seconda prova in itinere -28 Giugno 2010
- Informatica Teorica Appello d'esame del 16 luglio 2008
- Picture languages: Tiling Systems versus Tile Rewriting Grammars
- SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability
- Specification and Test Case Generation for the Safety Kernel of the Naples Subway
- Informatica Teorica Prima Semiunit
- Teoria della computazione Quali problemi sappiamo risolvere
- Practical Model Checking of LTL with Past M. Pradella2
- Informatica Teorica Appello d'esame 3 Febbraio 2010
- Informatica Teorica Prima prova in itinere -12 Maggio 2006
- Informatica Teorica Appello d'esame dell'8 Settembre 2008
- Curriculum Vit et Studiorum Matteo Pradella
- Informatica Teorica Prima prova in itinere -8 Maggio 2008
- Trio2Promela: a Model Checker for Temporal Metric Specifications Domenico Bianculli1
- Algoritmi e Principi dell'Informatica Recupero della prima prova in itinere -4 Febbraio 2011
- Algoritmi e Principi dell'Informatica Parte I Modelli e computabilit
- Algoritmi e Principi dell'Informatica Modulo di Informatica Teorica
- Binary search BIN-SEARCH(A, x, p, q)
- Concetti di base di complessit degli Problemi, algoritmi, programmi
- Esercizi risolti R1. Esercizio
- Qualche nota matematica per Informatica 3
- Esercizi sulla complessit di frammenti di pseudo-codice Esercizio 1
- Strutture dati (parte II: alberi e grafi)
- Strutture Dati (parte I: pile, code, liste, tabelle hash)
- Algoritmi e Principi dell'Informatica Prima prova in itinere -15 Novembre 2010
- Algoritmi e Principi dell'Informatica Prima Prova in Itinere
- La complessit del calcolo In questo corso
- A unifying approach to picture grammars6 Matteo Pradellaa,
- An Evaluation of the Adaptation Capabilities in Programming Languages
- Argomenti Avanzati Programmazione dinamica
- Algoritmi e principi dell'Informatica Seconda prova in itinere ----24 Gennaio 2012, Sezione Pradella
- Algoritmi e Principi dell'Informatica Appello del 20 Febbraio 2012
- Towards more expressive 2D deterministic automata Violetta Lonati1
