Sfoglia per Autore
Deterministic recognizability of picture languages with Wang automata
2010-01-01 V., Lonati; Pradella, Matteo
Context Oriented Programming in Highly Concurrent Systems
2010-01-01 Ghezzi, Carlo; Pradella, Matteo; Salvaneschi, Guido
Programming Language Support to Context-Aware Adaptation - A Case-Study with Erlang
2010-01-01 Ghezzi, Carlo; Pradella, Matteo; Salvaneschi, Guido
Synthesizing adapters for conversational web-services from their WSDL interface
2010-01-01 Cavallaro, Luca; DI NITTO, Elisabetta; Pelliccione, P.; Pradella, Matteo; Tivoli, M.
An evaluation of the adaptation capabilities in programming languages
2011-01-01 Ghezzi, Carlo; Pradella, Matteo; Salvaneschi, Guido
Strategies to scan pictures with automata based on Wang tiles
2011-01-01 V., Lonati; Pradella, Matteo
A unifying approach to picture grammars
2011-01-01 Pradella, Matteo; Cherubini, Alessandra; CRESPI REGHIZZI, Stefano
Precedence Automata and Languages
2011-01-01 V., Lonati; Mandrioli, Dino; Pradella, Matteo
Towards more expressive 2D deterministic automata
2011-01-01 V., Lonati; Pradella, Matteo
Context-oriented programming: A software engineering perspective
2012-01-01 Guido, Salvaneschi; Ghezzi, Carlo; Pradella, Matteo
ContextErlang: introducing context-oriented programming in the actor model
2012-01-01 Guido, Salvaneschi; Ghezzi, Carlo; Pradella, Matteo
Free Grammars and Languages
2013-01-01 Violetta, Lonati; Mandrioli, Dino; Panella, Federica; Pradella, Matteo
Parallel parsing of operator precedence grammars
2013-01-01 Barenghi, Alessandro; CRESPI REGHIZZI, Stefano; Mandrioli, Dino; Pradella, Matteo
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages
2013-01-01 Violetta, Lonati; Mandrioli, Dino; Pradella, Matteo
Operator precedence ω-languages
2013-01-01 Panella, Federica; Pradella, Matteo; V., Lonati; Mandrioli, Dino
Bounded Satisfiability Checking of Metric Temporal Logic Specifications
2013-01-01 Pradella, Matteo; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars
2013-01-01 Barenghi, Alessandro; Ermes, Viviani; CRESPI REGHIZZI, Stefano; Mandrioli, Dino; Pradella, Matteo
An Analysis of Language-Level Support for Self-Adaptive Software
2013-01-01 Guido, Salvaneschi; Ghezzi, Carlo; Pradella, Matteo
Constraint LTL Satisfiability Checking without Automata
2014-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
The PAPAGENO Parallel-Parser Generator
2014-01-01 Barenghi, Alessandro; CRESPI REGHIZZI, Stefano; Mandrioli, Dino; Panella, Federica; Pradella, Matteo
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile