Matteo Pradella

Available identifiers

zbMath Open pradella.matteoMaRDI QIDQ719246

List of research outcomes

Publication	Date of Publication	Type
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages	2024-01-16	Paper
Verification of programs with exceptions through operator precedence automata	2023-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q5101344	2022-08-30	Paper
Model-checking structured context-free languages	2022-03-25	Paper
Weighted operator precedence languages	2022-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q3384888	2021-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q5016361	2021-12-13	Paper
Star-freeness, first-order definability and aperiodicity of structured context-free languages	2021-07-08	Paper
Operator precedence temporal logic and model checking	2020-12-15	Paper
Beyond operator-precedence grammars and languages	2020-06-09	Paper
Weighted Operator Precedence Languages	2020-05-26	Paper
Generalizing input-driven languages: theoretical and practical benefits	2018-03-22	Paper
Toward a theory of input-driven locally parsable languages	2016-12-19	Paper
First-Order Logic Definability of Free Languages	2015-10-20	Paper
Locally Chain-Parsable Languages	2015-09-16	Paper
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization	2015-09-02	Paper
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages	2014-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q5414549	2014-05-06	Paper
Operator Precedence ω-Languages	2013-06-28	Paper
Parallel parsing of operator precedence grammars	2013-03-20	Paper
A unifying approach to picture grammars	2011-10-10	Paper
Towards More Expressive 2D Deterministic Automata	2011-07-29	Paper
Precedence Automata and Languages	2011-06-17	Paper
Strategies to scan pictures with automata based on Wang tiles	2011-06-10	Paper
A CKY parser for picture grammars	2010-03-24	Paper
Picture Recognizability with Automata Based on Wang Tiles	2010-01-28	Paper
Picture Languages: From Wang Tiles to 2D Grammars	2009-11-05	Paper
Snake-Deterministic Tiling Systems	2009-10-16	Paper
Regional Languages and Tiling: A Unifying Approach to Picture Grammars	2009-02-03	Paper
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time	2009-01-27	Paper
Model Checking Temporal Metric Specifications with Trio2Promela	2008-07-01	Paper
A SAT-based parser and completer for pictures specified by tiling	2007-11-07	Paper
Picture languages: tiling systems versus tile rewriting grammars.	2006-05-18	Paper
Tile rewriting grammars and picture languages	2005-08-01	Paper
https://portal.mardi4nfdi.de/entity/Q4452063	2004-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q2763075	2002-01-14	Paper
Associative definition of programming languages	2001-11-08	Paper

Research outcomes over time

This page was built for person: Matteo Pradella