BRODO, LINDA Statistiche
BRODO, LINDA
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.015 secondi).
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors
2023-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
Quantitative extensions of reaction systems based on SOS semantics
2023-01-01 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
Verification of Reaction Systems Processes
2023-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
A stochastic semantics for BioAmbients
2007-01-01 Brodo, Linda; Degano, Pierpaolo; Priami, Corrado
Formal Executable Descriptions of Biological Systems
2005-01-01 Brodo, Linda; Curti, M; Degano, Pierpaolo; Prandi, D; Quaglia, P.; Priami, Corrado
Performance Evaluation for Global Computation
2003-01-01 Brodo, Linda; Degano, Pierpaolo; Gilmore, S; Hillston, J; Priami, Corrado
Reflecting Mobile Ambients into the pi-calculus
2003-01-01 Brodo, Linda; Degano, Pierpaolo; Priami, Corrado
A tool for quantitative analysis of pi-calculus processes
2000-01-01 Brodo, L; Degano, Pierpaolo; Priami, Corrado
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Dynamic Slicing of Reaction Systems Based on Assertions and Monitors | 1-gen-2023 | Brodo, L.; Bruni, R.; Falaschi, M. | |
| Quantitative extensions of reaction systems based on SOS semantics | 1-gen-2023 | Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo | |
| Verification of Reaction Systems Processes | 1-gen-2023 | Brodo, L.; Bruni, R.; Falaschi, M. | |
| A stochastic semantics for BioAmbients | 1-gen-2007 | Brodo, Linda; Degano, Pierpaolo; Priami, Corrado | |
| Formal Executable Descriptions of Biological Systems | 1-gen-2005 | Brodo, Linda; Curti, M; Degano, Pierpaolo; Prandi, D; Quaglia, P.; Priami, Corrado | |
| Performance Evaluation for Global Computation | 1-gen-2003 | Brodo, Linda; Degano, Pierpaolo; Gilmore, S; Hillston, J; Priami, Corrado | |
| Reflecting Mobile Ambients into the pi-calculus | 1-gen-2003 | Brodo, Linda; Degano, Pierpaolo; Priami, Corrado | |
| A tool for quantitative analysis of pi-calculus processes | 1-gen-2000 | Brodo, L; Degano, Pierpaolo; Priami, Corrado |