Pierluigi San Pietro

Available identifiers

zbMath Open san-pietro.pierluigi-lMaRDI QIDQ235674

List of research outcomes

Publication	Date of Publication	Type
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

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: Pierluigi San Pietro