Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 84
Titolo Data di pubblicazione Autori File
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES 1-gen-2023 Mandrioli D.Pradella M.Crespi Reghizzi S.
A Model Checker for Operator Precedence Languages 1-gen-2023 Chiari M.Mandrioli D.Pontiggia F.Pradella M.
Static Analysis of Infrastructure as Code: A Survey 1-gen-2022 Chiari M.Pradella M. +
Weighted operator precedence languages 1-gen-2022 Droste M.Duck S.Mandrioli D.Pradella M.
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 1-gen-2022 Chiari M.Mandrioli D.Pradella M.
Verification of Programs with Exceptions Through Operator Precedence Automata 1-gen-2021 Chiari M.Pradella M. +
Model-Checking Structured Context-Free Languages 1-gen-2021 Chiari, MicheleMandrioli, DinoPradella, Matteo
Linear temporal logics for structured context-free languages 1-gen-2020 Chiari M.Bergamaschi D.Mandrioli D.Pradella M.
Beyond operator-precedence grammars and languages 1-gen-2020 Crespi Reghizzi S.Pradella M.
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages 1-gen-2020 Mandrioli D.Pradella M.Crespi Reghizzi S.
Operator precedence temporal logic and model checking 1-gen-2020 Chiari M.Mandrioli D.Pradella M.
Word- and Tree-based Temporal Logics for Operator Precedence Languages 1-gen-2019 Michele ChiariDino MandrioliMatteo Pradella
Temporal Logic and Model Checking for Operator Precedence Languages 1-gen-2018 CHIARI, MICHELEDino MandrioliMatteo Pradella
Generalizing input-driven languages: Theoretical and practical benefits 1-gen-2018 D. MandrioliM. Pradella
Weighted Operator Precedence Languages 1-gen-2017 Dino MandrioliMatteo Pradella +
Higher-order operator precedence languages 1-gen-2017 Reghizzi, Stefano CrespiPradella, Matteo
Toward a theory of input-driven locally parsable languages 1-gen-2017 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINOPRADELLA, MATTEO +
Efficient analysis of event processing applications 1-gen-2015 CUGOLA, GIANPAOLOMARGARA, ALESSANDROPEZZE', MAUROPRADELLA, MATTEO
Locally Chain-Parsable Languages 1-gen-2015 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINOPRADELLA, MATTEO +
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization 1-gen-2015 MANDRIOLI, DINOPANELLA, FEDERICAPRADELLA, MATTEO +
Parallel parsing made practical 1-gen-2015 BARENGHI, ALESSANDROCRESPI REGHIZZI, STEFANOMANDRIOLI, DINOPANELLA, FEDERICAPRADELLA, MATTEO
ContextErlang: A language for distributed context-aware self-adaptive applications 1-gen-2015 GHEZZI, CARLOPRADELLA, MATTEO +
First-Order Logic Definability of Free Languages 1-gen-2015 MANDRIOLI, DINOPANELLA, FEDERICAPRADELLA, MATTEO +
Programming Languages shouldn't be "too Natural" 1-gen-2015 MANDRIOLI, DINOPRADELLA, MATTEO
The PAPAGENO Parallel-Parser Generator 1-gen-2014 BARENGHI, ALESSANDROCRESPI REGHIZZI, STEFANOMANDRIOLI, DINOPANELLA, FEDERICAPRADELLA, MATTEO
Constraint LTL Satisfiability Checking without Automata 1-gen-2014 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Free Grammars and Languages 1-gen-2013 MANDRIOLI, DINOPANELLA, FEDERICAPRADELLA, MATTEO +
Parallel parsing of operator precedence grammars 1-gen-2013 BARENGHI, ALESSANDROCRESPI REGHIZZI, STEFANOMANDRIOLI, DINOPRADELLA, MATTEO
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars 1-gen-2013 BARENGHI, ALESSANDROCRESPI REGHIZZI, STEFANOMANDRIOLI, DINOPRADELLA, MATTEO +
Operator precedence ω-languages 1-gen-2013 PANELLA, FEDERICAPRADELLA, MATTEOMANDRIOLI, DINO +
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages 1-gen-2013 MANDRIOLI, DINOPRADELLA, MATTEO +
An Analysis of Language-Level Support for Self-Adaptive Software 1-gen-2013 GHEZZI, CARLOPRADELLA, MATTEO +
Bounded Satisfiability Checking of Metric Temporal Logic Specifications 1-gen-2013 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Context-oriented programming: A software engineering perspective 1-gen-2012 GHEZZI, CARLOPRADELLA, MATTEO +
ContextErlang: introducing context-oriented programming in the actor model 1-gen-2012 GHEZZI, CARLOPRADELLA, MATTEO +
Strategies to scan pictures with automata based on Wang tiles 1-gen-2011 PRADELLA, MATTEO +
Towards more expressive 2D deterministic automata 1-gen-2011 PRADELLA, MATTEO +
A unifying approach to picture grammars 1-gen-2011 PRADELLA, MATTEOCHERUBINI, ALESSANDRACRESPI REGHIZZI, STEFANO
An evaluation of the adaptation capabilities in programming languages 1-gen-2011 GHEZZI, CARLOPRADELLA, MATTEOSALVANESCHI, GUIDO
Precedence Automata and Languages 1-gen-2011 MANDRIOLI, DINOPRADELLA, MATTEO +
Picture recognizability with automata based on Wang tiles 1-gen-2010 PRADELLA, MATTEO +
Context Oriented Programming in Highly Concurrent Systems 1-gen-2010 GHEZZI, CARLOPRADELLA, MATTEOSALVANESCHI, GUIDO
Bounded Reachability for Temporal Logic over Constraint Systems 1-gen-2010 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 1-gen-2010 BERSANI, MARCELLO MARIACAVALLARO, LUCAFRIGERI, ACHILLEPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Deterministic recognizability of picture languages with Wang automata 1-gen-2010 PRADELLA, MATTEO +
A Tile-based Approach for Self-assembling Service Compositions 1-gen-2010 CAVALLARO, LUCADI NITTO, ELISABETTAFURIA, CARLO ALBERTOPRADELLA, MATTEO
Programming Language Support to Context-Aware Adaptation - A Case-Study with Erlang 1-gen-2010 GHEZZI, CARLOPRADELLA, MATTEOSALVANESCHI, GUIDO
Synthesizing adapters for conversational web-services from their WSDL interface 1-gen-2010 CAVALLARO, LUCADI NITTO, ELISABETTAPRADELLA, MATTEO +
Snake-Deterministic Tiling Systems 1-gen-2009 PRADELLA, MATTEO +
Comments on temporal logics for real-time system specification 1-gen-2009 FURIA, CARLO ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Mostrati risultati da 1 a 50 di 84
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