The following pages link to Andrea Maggiolo-Schettini (Q256972):
Displayed 50 items.
- Simulation of spatial P system models (Q2440829) (← links)
- Monotonic hybrid systems (Q2486564) (← links)
- Equivalence of partial recursivity and computability by algorithms without concluding formulas (Q2553960) (← links)
- Concurrent bisimulations in Petri nets (Q2639636) (← links)
- (Q2729667) (← links)
- (Q2767177) (← links)
- (Q2775864) (← links)
- Formal Models of Timing Attacks on Web Privacy (Q2841280) (← links)
- (Q2849849) (← links)
- An Intermediate Language for the Simulation of Biological Systems (Q2870295) (← links)
- Systolic Automata and P Systems (Q2944875) (← links)
- A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday (Q3000272) (← links)
- Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach (Q3003506) (← links)
- (Q3005245) (← links)
- A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security (Q3008102) (← links)
- Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings (Q3067488) (← links)
- AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING (Q3076604) (← links)
- A METHODOLOGY FOR THE STOCHASTIC MODELING AND SIMULATION OF SYMPATRIC SPECIATION BY SEXUAL SELECTION (Q3186134) (← links)
- SIMULATION OF SYSTOLIC TREE AUTOMATA ON TRELLIS AUTOMATA (Q3348431) (← links)
- (Q3361899) (← links)
- Timed P Automata (Q3397154) (← links)
- Simulation of Kohn’s Molecular Interaction Maps through Translation into Stochastic CLS+ (Q3402275) (← links)
- (Q3474896) (← links)
- Bisimulation Congruences in the Calculus of Looping Sequences (Q3525142) (← links)
- (Q3601853) (← links)
- (Q3673162) (← links)
- Web structures: a tool for representing and manipulating programs (Q3833598) (← links)
- (Q3877026) (← links)
- (Q3886907) (← links)
- (Q3952099) (← links)
- Transformations of structures: An algebraic approach (Q3953162) (← links)
- Comparing Hierarchies of Primitive Recursive Sequence Functions (Q3960678) (← links)
- TTL : a formalism to describe local and global properties of distributed systems (Q3992090) (← links)
- (Q4028132) (← links)
- (Q4037329) (← links)
- (Q4068071) (← links)
- Recursion Structure Simplification (Q4069774) (← links)
- (Q4087154) (← links)
- (Q4107887) (← links)
- (Q4113810) (← links)
- (Q4158499) (← links)
- (Q4162628) (← links)
- (Q4186306) (← links)
- (Q4187304) (← links)
- (Q4206409) (← links)
- (Q4381715) (← links)
- (Q4381716) (← links)
- (Q4461959) (← links)
- (Q4490762) (← links)
- (Q4507819) (← links)