CNR Institutional Research Information System

PRADELLA, MATTEO

PRADELLA, MATTEO  

Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni - IEIIT  

Mostra records
Risultati 1 - 20 di 55 (tempo di esecuzione: 0.021 secondi).
Titolo Data di pubblicazione Autore(i) File
Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017 1-gen-2017 Stefano CrespiReghizzi;Matteo Pradella
Toward a theory of input-driven locally parsable languages 1-gen-2017 Stefano CrespiReghizzi;Violetta Lonati;Dino Mandrioli;Matteo Pradella
Weighted Operator Precedence Languages 1-gen-2017 Droste, Manfred; Dück, Stefan; Mandrioli, Dino; Pradella, Matteo
Bounded satisfiability checking of metric temporal logic specifications 1-gen-2013 Pradella M.; Morzenti A.; San Pietro P.
A unifying approach to picture grammars 1-gen-2011 Pradella M.; Cherubini A.; Crespi Reghizzi S.
Strategies to scan pictures with automata based on Wang tiles 1-gen-2011 Lonati, V; Pradella, M
A Tile-based Approach for Self-assembling Service Compositions 1-gen-2010 L. Cavallaro; E. Di Nitto; C. A. Furia; M. Pradella
Bounded Reachability for Temporal Logic over Constraint Systems 1-gen-2010 Bersani, M; Frigeri, A; Morzenti, A; Pradella, M; Rossi, M; San Pietro, P
Context Oriented Programming in Highly Concurrent Systems 1-gen-2010 C. Ghezzi; M. Pradella; G. Salvaneschi
Deterministic recognizability of picture languages with Wang automata 1-gen-2010 Lonati, V; Pradella, M
Picture recognizability with automata based on Wang tiles 1-gen-2010 V. Lonati; M. Pradella
Programming Language Support to Context-Aware Adaptation - A Case-Study with Erlang 1-gen-2010 Ghezzi, C; Pradella, M; Salvaneschi, G
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability 1-gen-2010 M. Bersani; L. Cavallaro; A. Frigeri; M. Pradella; M. Rossi
Synthesizing adapters for conversational web-services from their WSDL interface 1-gen-2010 Cavallaro, L; Di Nitto, E; Pelliccione, P; Pradella, M; Tivoli, M
A Metric Encoding for Bounded Model Checking 1-gen-2009 M. Pradella; A. Morzenti; P. San Pietro
A Metric Encoding for Bounded Model Checking (extended version) 1-gen-2009 M. Pradella; A. Morzenti; P. San Pietr
A unifying approach to picture grammars 1-gen-2009 M. Pradella; A. Cherubini; S. Crespi Reghizzi
An Automatic Approach to Enable Replacement of Conversational Services 1-gen-2009 Cavallaro, L; Di Nitto, E; Pradella, M
Comments on Temporal Logics for Real-Time System Specification 1-gen-2009 C. A. Furia; M. Pradella; M. Rossi
Deterministic recognizability of picture languages by Wang automata 1-gen-2009 Lonati, V; Pradella, M