Edit Profile Lenzini, Gabriele Compute Distance To: Compute Author ID: lenzini.gabriele Published as: Lenzini, G.; Lenzini, Gabriele External Links: MGP Documents Indexed: 5 Publications since 1997 all top 5 Co-Authors 0 single-authored 2 Gnesi, Stefania 1 Abbaneo, C. 1 Amendola, Aniello 1 Bartolini, Cesare 1 Latella, Diego 1 Marianelli, S. 1 Marmo, P. 1 Martelli, Francesco 1 Martoni, Michele 1 Palmirani, Monica 1 Petrocchi, Marinella 1 Robaldo, Livio 1 Rossi, Arianna 1 ter Beek, Maurice H. Serials 1 Calcolo 1 Journal of Logic, Language and Information 1 Journal of Automata, Languages and Combinatorics Fields 5 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) 1 Biology and other natural sciences (92-XX) Publications by Year Citations contained in zbMATH 2 Publications have been cited 4 times in 4 Documents Cited by ▼ Year ▼ A team automaton scenario for the analysis of security properties of communication protocols. Zbl 1145.68339ter Beek, Maurice H.; Lenzini, Gabriele; Petrocchi, Marinella 2 2006 Logical specification and analysis of fault tolerant systems through partial model checking. Zbl 1272.68249Gnesi, S.; Lenzini, G.; Martelli, F. 2 2005 A team automaton scenario for the analysis of security properties of communication protocols. Zbl 1145.68339ter Beek, Maurice H.; Lenzini, Gabriele; Petrocchi, Marinella 2 2006 Logical specification and analysis of fault tolerant systems through partial model checking. Zbl 1272.68249Gnesi, S.; Lenzini, G.; Martelli, F. 2 2005 all top 5 Cited by 14 Authors 1 Acosta, Araceli 1 Aguirre, Nazareno M. 1 Castro, Pablo F. 1 Gadducci, Fabio 1 Gorrieri, Roberto 1 Janssens, Dirk 1 Kilmurray, Cecilia 1 Liu, Zhiming 1 Martinelli, Fabio 1 Morisset, Charles 1 Petrocchi, Marinella 1 Ravn, Anders P. 1 ter Beek, Maurice H. 1 Zhang, Miaomiao Cited in 1 Serial 1 Journal of Automated Reasoning Cited in 3 Fields 4 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year