294 results on '"Maggiolo-Schettini, Andrea"'
Search Results
2. Towards modular verification of pathways: fairness and assumptions
3. A Testing Framework for P Systems
4. Aspects of multiscale modelling in a process algebra for biological systems
5. Modelling the Dynamics of an Aedes albopictus Population
6. A Process Calculus for Molecular Interaction Maps
7. On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems
8. Modelling Population Dynamics Using Grid Systems
9. Systolic Automata and P Systems
10. Component identification in biochemical pathways
11. A Compositional Semantics of Reaction Systems with Restriction
12. Modelling Biochemical Pathways with the Calculus of Looping Sequences
13. Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach
14. Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings
15. Simulation of Kohn’s Molecular Interaction Maps through Translation into Stochastic CLS+
16. Compositional semantics and behavioural equivalences for reaction systems with restriction
17. Simulation of Spatial P system models
18. The Calculus of Looping Sequences
19. Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
20. Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level
21. The Calculus of Looping Sequences for Modeling Biological Membranes
22. Bisimulation Congruences in the Calculus of Looping Sequences
23. Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata
24. Information Flow Analysis for Probabilistic Timed Automata
25. Automatic Covert Channel Analysis of a Multilevel Secure Component
26. Structural Model Checking for Communicating Hierarchical Machines
27. Concurrency in Timed Automata
28. A Causal Semantics for Timed Default Concurrent Constraint Programming
29. Timed Automata with Monotonic Activities
30. Foundational aspects of multiscale modeling of biological systems with process algebras
31. Priorities in Statecharts
32. Retiming techniques for Statecharts
33. Equivalences of Statecharts
34. Dynamic graphs
35. A graph rewriting framework for Statecharts semantics
36. Spatial Calculus of Looping Sequences
37. Transitions as interrupts: A new semantics for timed statecharts
38. Semantics of full statecharts based on graph rewriting
39. Identification of components in biochemical pathways: extensive application to SBML models
40. Process Communication Environment
41. A programming language for deriving hypergraphs
42. Compositional semantics of spiking neural P systems
43. Weak bisimulation for Probabilistic Timed Automata
44. Programmed derivations of relational structures
45. An intermediate language for the stochastic simulation of biological systems
46. Modelling Population Dynamics Using Grid Systems
47. Systolic Automata and P Systems
48. Spatial P systems
49. Compositional semantics and behavioral equivalences for P Systems
50. Reachability results for timed automata with unbounded data structures
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.