Edit Profile (opens in new tab) Brodo, Linda Compute Distance To: Compute Author ID: brodo.linda Published as: Brodo, Linda; Brodo, L. Documents Indexed: 19 Publications since 2003 Co-Authors: 15 Co-Authors with 17 Joint Publications 372 Co-Co-Authors all top 5 Co-Authors 2 single-authored 9 Bodei, Chiara 8 Bruni, Roberto 3 Olarte, Carlos 2 Chiarugi, Davide 2 Degano, Pierpaolo 2 Falaschi, Moreno 2 Gori, Roberta 2 Hermith, Diana 2 Levi, Francesca 2 Priami, Corrado 1 Baldan, Paolo 1 Bracciali, Andrea 1 Focardi, Riccardo 1 Gilmore, Stephen T. 1 Hillston, Jane Serials 4 Theoretical Computer Science 1 Information and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Fundamenta Informaticae 1 Scientific Annals of Computer Science Fields 16 Computer science (68-XX) 4 Biology and other natural sciences (92-XX) 3 Mathematical logic and foundations (03-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 14 Publications have been cited 44 times in 14 Documents Cited by ▼ Year ▼ Open multiparty interaction. Zbl 1394.68244Bodei, Chiara; Brodo, Linda; Bruni, Roberto 7 2013 A flat process calculus for nested membrane interactions. Zbl 1424.68101Bodei, Chiara; Brodo, Linda; Bruni, Roberto; Chiarugi, Davide 5 2014 Symbolic semantics for multiparty interactions in the link-calculus. Zbl 1433.68241Brodo, Linda; Olarte, Carlos 4 2017 A static analysis for brane calculi providing global occurrence counting information. Zbl 1383.92032Bodei, C.; Brodo, L.; Gori, R.; Levi, F.; Bernini, A.; Hermith, D. 4 2017 A formal approach to open multiparty interactions. Zbl 1411.68074Bodei, Chiara; Brodo, Linda; Bruni, Roberto 4 2019 On the expressiveness of \(\pi\)-calculus for encoding mobile ambients. Zbl 1387.68164Brodo, Linda 3 2018 A global occurrence counting analysis for brane calculi. Zbl 1417.68118Bodei, Chiara; Brodo, Linda; Gori, Roberta; Hermith, Diana; Levi, Francesca 3 2015 On the expressiveness of the \(\pi \)-calculus and the mobile ambients. Zbl 1308.68082Brodo, Linda 3 2011 Static detection of logic flaws in service-oriented applications. Zbl 1252.68106Bodei, Chiara; Brodo, Linda; Bruni, Roberto 2 2009 Reflecting mobile ambients into the \(\pi \)-calculus. Zbl 1179.68101Brodo, Linda; Degano, Pierpaolo; Priami, Corrado 2 2003 Static evidences for attack reconstruction. Zbl 1437.94051Bodei, Chiara; Brodo, Linda; Focardi, Riccardo 2 2015 Verification techniques for a network algebra. Zbl 1464.68233Brodo, Linda; Olarte, Carlos 2 2020 The link-calculus for open multiparty interactions. Zbl 07285753Bodei, Chiara; Brodo, Linda; Bruni, Roberto 2 2020 Performance evaluation for global computation. Zbl 1179.68016Brodo, Linda; Degano, Pierpaolo; Gilmore, Stephen; Hillston, Jane; Priami, Corrado 1 2003 Verification techniques for a network algebra. Zbl 1464.68233Brodo, Linda; Olarte, Carlos 2 2020 The link-calculus for open multiparty interactions. Zbl 07285753Bodei, Chiara; Brodo, Linda; Bruni, Roberto 2 2020 A formal approach to open multiparty interactions. Zbl 1411.68074Bodei, Chiara; Brodo, Linda; Bruni, Roberto 4 2019 On the expressiveness of \(\pi\)-calculus for encoding mobile ambients. Zbl 1387.68164Brodo, Linda 3 2018 Symbolic semantics for multiparty interactions in the link-calculus. Zbl 1433.68241Brodo, Linda; Olarte, Carlos 4 2017 A static analysis for brane calculi providing global occurrence counting information. Zbl 1383.92032Bodei, C.; Brodo, L.; Gori, R.; Levi, F.; Bernini, A.; Hermith, D. 4 2017 A global occurrence counting analysis for brane calculi. Zbl 1417.68118Bodei, Chiara; Brodo, Linda; Gori, Roberta; Hermith, Diana; Levi, Francesca 3 2015 Static evidences for attack reconstruction. Zbl 1437.94051Bodei, Chiara; Brodo, Linda; Focardi, Riccardo 2 2015 A flat process calculus for nested membrane interactions. Zbl 1424.68101Bodei, Chiara; Brodo, Linda; Bruni, Roberto; Chiarugi, Davide 5 2014 Open multiparty interaction. Zbl 1394.68244Bodei, Chiara; Brodo, Linda; Bruni, Roberto 7 2013 On the expressiveness of the \(\pi \)-calculus and the mobile ambients. Zbl 1308.68082Brodo, Linda 3 2011 Static detection of logic flaws in service-oriented applications. Zbl 1252.68106Bodei, Chiara; Brodo, Linda; Bruni, Roberto 2 2009 Reflecting mobile ambients into the \(\pi \)-calculus. Zbl 1179.68101Brodo, Linda; Degano, Pierpaolo; Priami, Corrado 2 2003 Performance evaluation for global computation. Zbl 1179.68016Brodo, Linda; Degano, Pierpaolo; Gilmore, Stephen; Hillston, Jane; Priami, Corrado 1 2003 all cited Publications top 5 cited Publications all top 5 Cited by 20 Authors 9 Brodo, Linda 5 Bruni, Roberto 3 Bodei, Chiara 3 Falaschi, Moreno 3 Olarte, Carlos 2 Gori, Roberta 2 Levi, Francesca 1 Bacci, Giorgio 1 Barbuti, Roberto 1 Boreale, Michele 1 Bove, Pasquale 1 De Nicola, Rocco 1 Gabbrielli, Maurizio 1 Gruska, Damas P. 1 Hermith, Diana 1 Loreti, Michele 1 Miculan, Marino 1 Milazzo, Paolo 1 Palamidessi, Catuscia 1 Stark, Ian Cited in 5 Serials 4 Theoretical Computer Science 2 MSCS. Mathematical Structures in Computer Science 2 Fundamenta Informaticae 1 Journal of Computer and System Sciences 1 Information and Computation Cited in 4 Fields 12 Computer science (68-XX) 2 Biology and other natural sciences (92-XX) 1 Mathematical logic and foundations (03-XX) 1 Probability theory and stochastic processes (60-XX) Citations by Year