Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Claudio Citrini

dblp:32/6212 · DBLP profile ↗
← Back
4ranked-venue papers
1as first author
0since 2021 · last 1993
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 4 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Automata and formal languages · 100%
Software engineering, system software, and programming languages
1 paper
Compilers and program optimization · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Compilers and program optimization › compiler construction
syntax-directed translation
0.011986
On Deterministic Multi-Pass Analysis · SIAM J. Comput. 1986
Automata and formal languages › transducers
pushdown transducers
0.011986
On Deterministic Multi-Pass Analysis · SIAM J. Comput. 1986
Automata and formal languages
context-free languages
0.011986
On Deterministic Multi-Pass Analysis · SIAM J. Comput. 1986
Automata and formal languages › context-free languages
deterministic context-free languages
0.011986
On Deterministic Multi-Pass Analysis · SIAM J. Comput. 1986

Methods — techniques the papers use, named apart from their topics

formal language theory · 0.0boolean algebra · 0.0
YearPublicationVenuePosition
1993 Fair First Languages and Parallel Programme Schemes
Luca Breveglieri, Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi
Developments in Language Theory3
1991 Deterministic Dequeue Automata and LL(1) Parsing of Breadth-Depth Grammars
Luca Breveglieri, Claudio Citrini, Stefano Crespi-Reghizzi
FCT2
1991 QRT FIFO Automata, Breath-First Grammars and Their Relations
Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli
Theor. Comput. Sci.2
1986 On Deterministic Multi-Pass Analysis
abstract
Chains (or cascade composition) of push-down transducers are introduced as a model of multi-pass compilers. We focus on deterministic chains, since nondeterministic transducer chains of length two define the recursively enumerable sets. Deterministic chains recognize in linear time a superset of context-free deterministic languages. This family is $\mathcal{CH}$ closed under Boolean operations, disjoint shuffle,and reverse deterministic pushdown translation, but not under homomorphism. Equivalent definitions of the family in terms of composition of syntax-directed translation schemes and control languages are considered. The family is a strict hierarchy ordered by the length of the chain. The complexity of $\mathcal{CH}$ is obviously linear, but not all linear-time parsable languages are in $\mathcal{CH}$. On the other hand it strictly includes the Boolean closure of deterministic languages. Finally $\mathcal{CH}$ is not comparable with another classical Boolean algebra of formal languages, namely real-time languages.
Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli
SIAM J. Comput.1