The following pages link to Andrea Maggiolo-Schettini (Q256972):
Displayed 27 items.
- (Q4536387) (← links)
- (Q4621146) (← links)
- Modular Verification of Qualitative Pathway Models with Fairness (Q4621168) (← links)
- A graph rewriting framework for Statecharts semantics (Q4645270) (← links)
- A flow diagram composition of Markov's normal algorithms without concluding formulas (Q4769964) (← links)
- (Q4782713) (← links)
- (Q4818752) (← links)
- On Conditions for Modular Verification in Systems of Synchronising Components (Q4902319) (← links)
- (Q4948014) (← links)
- Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata (Q4989486) (← links)
- Semantics of full statecharts based on graph rewriting (Q5096287) (← links)
- Timed P Automata (Q5179423) (← links)
- Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways (Q5190983) (← links)
- (Q5192921) (← links)
- Modelling Biochemical Pathways with the Calculus of Looping Sequences (Q5262542) (← links)
- Mathematical Foundations of Computer Science 2004 (Q5311127) (← links)
- A Compositional Semantics of Reaction Systems with Restriction (Q5326381) (← links)
- Spatial Calculus of Looping Sequences (Q5404072) (← links)
- Modular Verification of Interactive Systems with an Application to Biology (Q5404087) (← links)
- The Calculus of Looping Sequences for Modeling Biological Membranes (Q5452048) (← links)
- Information and Communications Security (Q5464793) (← links)
- (Q5472932) (← links)
- (Q5486047) (← links)
- (Q5506367) (← links)
- (Q5748895) (← links)
- Iteration 2-theories (Q5930757) (← links)
- Equivalences of Statecharts (Q6162113) (← links)