Dino Mandrioli

Available identifiers

zbMath Open mandrioli.dinoWikidataQ102371595 ScholiaQ102371595MaRDI QIDQ530558

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
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
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
Weighted Operator Precedence Languages	2020-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q3176705	2018-07-23	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
A temporal logic for micro- and macro-step-based real-time systems: foundations and applications	2016-08-01	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
Operator Precedence ω-Languages	2013-06-28	Paper
Parallel parsing of operator precedence grammars	2013-03-20	Paper
Operator precedence and the visibly pushdown property	2012-11-06	Paper
Modeling time in computing.	2012-10-11	Paper
Precedence Automata and Languages	2011-06-17	Paper
Operator Precedence and the Visibly Pushdown Property	2010-05-26	Paper
Automated compositional proofs for real-time systems	2007-05-23	Paper
Fundamental Approaches to Software Engineering	2005-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q3045257	2004-08-12	Paper
Using TRIO for designing a CORBA-based application	2003-01-27	Paper
Dealing with zero-time transitions in axiom systems.	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4293540	1994-05-29	Paper
https://portal.mardi4nfdi.de/entity/Q4692942	1993-06-05	Paper
QRT FIFO automata, breadth-first grammars and their relations	1992-06-28	Paper
BREADTH AND DEPTH GRAMMARS AND DEQUE AUTOMATA	1990-01-01	Paper
Symbolic execution of concurrent systems using Petri nets	1989-01-01	Paper
On Deterministic Multi-Pass Analysis	1986-01-01	Paper
Language constructs for real-time distributed systems	1982-01-01	Paper
Operator Precedence Grammars and the Noncounting Property	1981-01-01	Paper
Invito alla teoria dei linguaggi formali	1981-01-01	Paper
Separate Compilation and Partial Specification in Pascal	1980-01-01	Paper
SIMPLE: A program development system	1980-01-01	Paper
Augmenting Parsers to Support Incrementality	1980-01-01	Paper
Incremental Parsing	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4194410	1979-01-01	Paper
Algebraic properties of operator precedence languages	1978-01-01	Paper
An integrated model of problem solver	1977-01-01	Paper
A note on petri net languages	1977-01-01	Paper
n-reconstructability of context-free grammars	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4105507	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4153626	1976-01-01	Paper
Equivalenza tra grammatiche, sistemi di equazioni in variabili di linguaggio e serie formali	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4120428	1973-01-01	Paper
Pseudoequilibrium in dynamical systems†	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4770848	1972-01-01	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: Dino Mandrioli