The following pages link to Dino Mandrioli (Q530558):
Displayed 50 items.
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- Modeling time in computing. (Q714629) (← links)
- Toward a theory of input-driven locally parsable languages (Q728273) (← links)
- Model-checking structured context-free languages (Q832277) (← links)
- Automated compositional proofs for real-time systems (Q882449) (← links)
- QRT FIFO automata, breadth-first grammars and their relations (Q1183576) (← links)
- (Q1230513) (redirect page) (← links)
- n-reconstructability of context-free grammars (Q1230514) (← links)
- An integrated model of problem solver (Q1242838) (← links)
- Generalizing input-driven languages: theoretical and practical benefits (Q1706605) (← links)
- Operator precedence and the visibly pushdown property (Q1757840) (← links)
- Equivalenza tra grammatiche, sistemi di equazioni in variabili di linguaggio e serie formali (Q1844549) (← links)
- Dealing with zero-time transitions in axiom systems. (Q1854267) (← links)
- Parallel parsing of operator precedence grammars (Q1943647) (← links)
- Star-freeness, first-order definability and aperiodicity of structured context-free languages (Q2037942) (← links)
- Weighted operator precedence languages (Q2064530) (← links)
- Operator precedence temporal logic and model checking (Q2215961) (← links)
- Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages (Q2927655) (← links)
- Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization (Q2944566) (← links)
- Locally Chain-Parsable Languages (Q2946332) (← links)
- Precedence Automata and Languages (Q3007634) (← links)
- Symbolic execution of concurrent systems using Petri nets (Q3031902) (← links)
- (Q3045257) (← links)
- (Q3176705) (← links)
- First-Order Logic Definability of Free Languages (Q3194725) (← links)
- BREADTH AND DEPTH GRAMMARS AND DEQUE AUTOMATA (Q3358243) (← links)
- (Q3384888) (← links)
- Operator Precedence and the Visibly Pushdown Property (Q3564862) (← links)
- On Deterministic Multi-Pass Analysis (Q3751036) (← links)
- Separate Compilation and Partial Specification in Pascal (Q3870284) (← links)
- SIMPLE: A program development system (Q3871895) (← links)
- Incremental Parsing (Q3896515) (← links)
- Operator Precedence Grammars and the Noncounting Property (Q3902527) (← links)
- Augmenting Parsers to Support Incrementality (Q3930664) (← links)
- Language constructs for real-time distributed systems (Q3943994) (← links)
- (Q4105507) (← links)
- (Q4120428) (← links)
- A note on petri net languages (Q4125804) (← links)
- (Q4153626) (← links)
- Algebraic properties of operator precedence languages (Q4155847) (← links)
- (Q4194410) (← links)
- (Q4293540) (← links)
- (Q4692942) (← links)
- Invito alla teoria dei linguaggi formali (Q4743745) (← links)
- (Q4770848) (← links)
- Using TRIO for designing a CORBA-based application (Q4789968) (← links)
- (Q5101344) (← links)
- Weighted Operator Precedence Languages (Q5111245) (← links)
- Pseudoequilibrium in dynamical systems† (Q5183341) (← links)
- Operator Precedence ω-Languages (Q5300857) (← links)