| Publication | Date of Publication | Type |
|---|
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
Logical Methods in Computer Science | 2024-01-16 | Paper |
scientific article; zbMATH DE number 7577575 (Why is no real title available?)
| 2022-08-30 | Paper |
Model-checking structured context-free languages
| 2022-03-25 | Paper |
Weighted operator precedence languages
Information and Computation | 2022-01-06 | Paper |
scientific article; zbMATH DE number 7447741 (Why is no real title available?)
| 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
Theoretical Computer Science | 2020-12-15 | Paper |
Weighted operator precedence languages
| 2020-05-26 | Paper |
Turing: his life, his work, his influence
| 2018-07-23 | Paper |
Generalizing input-driven languages: theoretical and practical benefits
Computer Science Review | 2018-03-22 | Paper |
Toward a theory of input-driven locally parsable languages
Theoretical Computer Science | 2016-12-19 | Paper |
A temporal logic for micro- and macro-step-based real-time systems: foundations and applications
Theoretical Computer Science | 2016-08-01 | Paper |
First-order logic definability of free languages
Lecture Notes in Computer Science | 2015-10-20 | Paper |
Locally chain-parsable languages
Mathematical Foundations of Computer Science 2015 | 2015-09-16 | Paper |
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization
SIAM Journal on Computing | 2015-09-02 | Paper |
Logic characterization of invisibly structured languages: the case of Floyd languages
Lecture Notes in Computer Science | 2014-11-04 | Paper |
Operator precedence \(\omega \)-languages
Developments in Language Theory | 2013-06-28 | Paper |
Parallel parsing of operator precedence grammars
Information Processing Letters | 2013-03-20 | Paper |
Operator precedence and the visibly pushdown property
Journal of Computer and System Sciences | 2012-11-06 | Paper |
Modeling time in computing.
Monographs in Theoretical Computer Science. An EATCS Series | 2012-10-11 | Paper |
Precedence automata and languages
Computer Science – Theory and Applications | 2011-06-17 | Paper |
Operator precedence and the visibly pushdown property
Language and Automata Theory and Applications | 2010-05-26 | Paper |
Automated compositional proofs for real-time systems
Theoretical Computer Science | 2007-05-23 | Paper |
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science | 2005-09-13 | Paper |
scientific article; zbMATH DE number 2088660 (Why is no real title available?)
| 2004-08-12 | Paper |
Using TRIO for designing a CORBA-based application
| 2003-01-27 | Paper |
Dealing with zero-time transitions in axiom systems.
Information and Computation | 2003-01-14 | Paper |
scientific article; zbMATH DE number 578247 (Why is no real title available?)
| 1994-05-29 | Paper |
scientific article; zbMATH DE number 194975 (Why is no real title available?)
| 1993-06-05 | Paper |
QRT FIFO automata, breadth-first grammars and their relations
Theoretical Computer Science | 1992-06-28 | Paper |
BREADTH AND DEPTH GRAMMARS AND DEQUE AUTOMATA
International Journal of Foundations of Computer Science | 1990-01-01 | Paper |
Symbolic execution of concurrent systems using Petri nets
Computer Languages | 1989-01-01 | Paper |
On Deterministic Multi-Pass Analysis
SIAM Journal on Computing | 1986-01-01 | Paper |
Language constructs for real-time distributed systems
Computer Languages | 1982-01-01 | Paper |
Operator Precedence Grammars and the Noncounting Property
SIAM Journal on Computing | 1981-01-01 | Paper |
Invito alla teoria dei linguaggi formali
Rendiconti del Seminario Matematico e Fisico di Milano | 1981-01-01 | Paper |
Augmenting Parsers to Support Incrementality
Journal of the ACM | 1980-01-01 | Paper |
Separate Compilation and Partial Specification in Pascal
IEEE Transactions on Software Engineering | 1980-01-01 | Paper |
SIMPLE: A program development system
Computer Languages | 1980-01-01 | Paper |
Incremental Parsing
ACM Transactions on Programming Languages and Systems | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3633671 (Why is no real title available?)
| 1979-01-01 | Paper |
Algebraic properties of operator precedence languages
Information and Control | 1978-01-01 | Paper |
An integrated model of problem solver
Information Sciences | 1977-01-01 | Paper |
A note on petri net languages
Information and Control | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3528055 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3586515 (Why is no real title available?)
| 1976-01-01 | Paper |
n-reconstructability of context-free grammars
Information Processing Letters | 1976-01-01 | Paper |
Equivalenza tra grammatiche, sistemi di equazioni in variabili di linguaggio e serie formali
Calcolo | 1974-01-01 | Paper |
Pseudoequilibrium in dynamical systems†
International Journal of Systems Science. Principles and Applications of Systems and Integration | 1973-01-01 | Paper |
scientific article; zbMATH DE number 3545494 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3446760 (Why is no real title available?)
| 1972-01-01 | Paper |
