PRADELLA, MATTEO

PRADELLA, MATTEO  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 20 di 28 (tempo di esecuzione: 0.05 secondi).
Titolo Data di pubblicazione Autori File
A CKY parser for picture grammars 1-gen-2008 CRESPI REGHIZZI, STEFANOPRADELLA, MATTEO
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 1-gen-2022 Chiari M.Mandrioli D.Pradella M.
A formal approach for designing CORBA-based applications 1-gen-2003 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO +
A Model Checker for Operator Precedence Languages 1-gen-2023 Chiari M.Mandrioli D.Pontiggia F.Pradella M.
A SAT-based parser and completer for pictures specified by tiling 1-gen-2008 PRADELLA, MATTEOCRESPI REGHIZZI, STEFANO
A unifying approach to picture grammars 1-gen-2011 PRADELLA, MATTEOCHERUBINI, ALESSANDRACRESPI REGHIZZI, STEFANO
An Analysis of Language-Level Support for Self-Adaptive Software 1-gen-2013 GHEZZI, CARLOPRADELLA, MATTEO +
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES 1-gen-2023 Mandrioli D.Pradella M.Crespi Reghizzi S.
Associative definition of programming languages 1-gen-2001 CRESPI REGHIZZI, STEFANOPRADELLA, MATTEOSAN PIETRO, PIERLUIGI
Beyond operator-precedence grammars and languages 1-gen-2020 Crespi Reghizzi S.Pradella M.
Bounded Satisfiability Checking of Metric Temporal Logic Specifications 1-gen-2013 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Comments on temporal logics for real-time system specification 1-gen-2009 FURIA, CARLO ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Comments on “An Interval Logic for Real-Time System Specification” 1-gen-2006 FURIA, CARLO ALBERTOMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Constraint LTL Satisfiability Checking without Automata 1-gen-2014 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Context-oriented programming: A software engineering perspective 1-gen-2012 GHEZZI, CARLOPRADELLA, MATTEO +
ContextErlang: A language for distributed context-aware self-adaptive applications 1-gen-2015 GHEZZI, CARLOPRADELLA, MATTEO +
Deterministic recognizability of picture languages with Wang automata 1-gen-2010 PRADELLA, MATTEO +
Generalizing input-driven languages: Theoretical and practical benefits 1-gen-2018 D. MandrioliM. Pradella
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization 1-gen-2015 MANDRIOLI, DINOPANELLA, FEDERICAPRADELLA, MATTEO +
Operator precedence temporal logic and model checking 1-gen-2020 Chiari M.Mandrioli D.Pradella M.