Pierluigi San Pietro

Available identifiers

zbMath Open san-pietro.pierluigi-lMaRDI QIDQ235674

List of research outcomes

Publication	Date of Publication	Type
Regular languages as images of local functions over small alphabets	2024-12-03	Paper
From words to pictures: row-column combinations and Chomsky-Schützenberger theorem	2024-06-03	Paper
Reducing the local alphabet size in tiling systems by means of 2D comma-free codes	2022-09-27	Paper
Reducing local alphabet size in recognizable picture languages	2022-03-25	Paper
Homomorphic characterization of tree languages based on comma-free encoding	2021-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4994946	2021-06-22	Paper
Deque automata, languages, and planar graph representations	2020-08-17	Paper
Regular languages as local functions with small alphabets	2020-04-29	Paper
Non-erasing Chomsky-Schützenberger theorem with grammar-independent alphabet	2019-12-18	Paper
Deque languages, automata and planar graphs	2018-11-22	Paper
Counter machines, Petri nets, and consensual computation	2017-03-16	Paper
The Missing Case in Chomsky-Schützenberger Theorem	2016-04-13	Paper
From Regular to Strictly Locally Testable Languages	2016-03-01	Paper
STRICT LOCAL TESTABILITY WITH CONSENSUS EQUALS REGULARITY, AND OTHER PROPERTIES	2014-03-10	Paper
Deterministic Counter Machines and Parallel Matching Computations	2013-08-07	Paper
FROM REGULAR TO STRICTLY LOCALLY TESTABLE LANGUAGES	2013-07-30	Paper
Strict Local Testability with Consensus Equals Regularity	2012-09-20	Paper
Consensual languages and matching finite-state computations	2011-06-10	Paper
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time	2009-01-27	Paper
Consensual Definition of Languages by Regular Sets	2008-11-20	Paper
Model Checking Temporal Metric Specifications with Trio2Promela	2008-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q5387718	2008-05-27	Paper
Picture languages: tiling systems versus tile rewriting grammars.	2006-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4448364	2004-02-18	Paper
Associative language descriptions	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2770668	2002-02-13	Paper
Associative definition of programming languages	2001-11-08	Paper
Tree adjoining languages and multipushdown languages	2000-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q4503953	2000-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4227120	1999-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q4421597	1999-01-01	Paper
A polynomial-time parsing algorithm for \(K\)-depth languages	1996-07-16	Paper
Embedding time granularity in a logical specification language for synchronous real-time systems	1993-10-17	Paper

Research outcomes over time

This page was built for person: Pierluigi San Pietro