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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Matteo Pradella