Edit Profile (opens in new tab) Ciancia, Vincenzo Compute Distance To: Compute Author ID: ciancia.vincenzo Published as: Ciancia, Vincenzo; Ciancia, V. Documents Indexed: 21 Publications since 2007 Co-Authors: 22 Co-Authors with 20 Joint Publications 433 Co-Co-Authors all top 5 Co-Authors 1 single-authored 6 Massink, Mieke 5 Latella, Diego 5 Loreti, Michele 3 Ferrari, Gian Luigi 3 Montanari, Ugo G. 2 Bolognesi, Tommaso 2 Bonchi, Filippo 2 Buscemi, Maria Grazia 2 Gadducci, Fabio 2 Grilletti, Gianluca 2 Venema, Yde 1 Bezhanishvili, Nick 1 Bortolussi, Luca 1 Gabbay, Murdoch James 1 Gabelaia, David 1 Guanciale, Roberto 1 Kurz, Alexander 1 Nenzi, Laura 1 Pistore, Marco 1 Sammartino, Matteo 1 Strollo, Daniele 1 Tuosto, Emilio Serials 3 Logical Methods in Computer Science 1 Science of Computer Programming 1 Information and Computation 1 Journal of Automated Reasoning 1 Journal of Logical and Algebraic Methods in Programming Fields 21 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 4 Category theory; homological algebra (18-XX) 2 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 17 Publications have been cited 79 times in 41 Documents Cited by ▼ Year ▼ Freshness and name-restriction in sets of traces with names. Zbl 1241.68049Gabbay, Murdoch J.; Ciancia, Vincenzo 11 2011 Symmetries, local names and dynamic (de)-allocation of names. Zbl 1207.68223Ciancia, Vincenzo; Montanari, Ugo 11 2010 Families of symmetries as efficient models of resource binding. Zbl 1247.68172Ciancia, Vincenzo; Kurz, Alexander; Montanari, Ugo 10 2010 Specifying and verifying properties of space. Zbl 1417.68101Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke 6 2014 Stream automata are coalgebras. Zbl 1327.68151Ciancia, Vincenzo; Venema, Yde 5 2012 A category of explicit fusions. Zbl 1144.68038Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio 5 2008 Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Zbl 1448.68313Nenzi, L.; Bortolussi, L.; Ciancia, V.; Loreti, M.; Massink, M. 5 2018 A name abstraction functor for named sets. Zbl 1279.68052Ciancia, Vincenzo; Montanari, Ugo 5 2008 A presheaf environment for the explicit fusion calculus. Zbl 1290.68089Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio 5 2012 Model checking spatial logics for closure spaces. Zbl 1398.68335Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke 4 2016 Spatial logic and spatial model checking for closure spaces. Zbl 1346.68122Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke 3 2016 A class of automata for the verification of infinite, resource-allocating behaviours. Zbl 1444.68115Ciancia, Vincenzo; Sammartino, Matteo 2 2014 Interaction and observation: categorical semantics of reactive systems trough dialgebras. Zbl 1394.68246Ciancia, Vincenzo 2 2013 An experimental spatio-temporal model checker. Zbl 1461.68113Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke 2 2015 Exploring nominal cellular automata. Zbl 1378.68115Bolognesi, Tommaso; Ciancia, Vincenzo 1 2017 Event based choreography. Zbl 1209.68032Ciancia, Vincenzo; Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele 1 2010 Geometric model checking of continuous space. Zbl 07639915Bezhanishvili, Nick; Ciancia, Vincenzo; Gabelaia, David; Grilletti, Gianluca; Latella, Diego; Massink, Mieke 1 2022 Geometric model checking of continuous space. Zbl 07639915Bezhanishvili, Nick; Ciancia, Vincenzo; Gabelaia, David; Grilletti, Gianluca; Latella, Diego; Massink, Mieke 1 2022 Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Zbl 1448.68313Nenzi, L.; Bortolussi, L.; Ciancia, V.; Loreti, M.; Massink, M. 5 2018 Exploring nominal cellular automata. Zbl 1378.68115Bolognesi, Tommaso; Ciancia, Vincenzo 1 2017 Model checking spatial logics for closure spaces. Zbl 1398.68335Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke 4 2016 Spatial logic and spatial model checking for closure spaces. Zbl 1346.68122Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke 3 2016 An experimental spatio-temporal model checker. Zbl 1461.68113Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke 2 2015 Specifying and verifying properties of space. Zbl 1417.68101Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke 6 2014 A class of automata for the verification of infinite, resource-allocating behaviours. Zbl 1444.68115Ciancia, Vincenzo; Sammartino, Matteo 2 2014 Interaction and observation: categorical semantics of reactive systems trough dialgebras. Zbl 1394.68246Ciancia, Vincenzo 2 2013 Stream automata are coalgebras. Zbl 1327.68151Ciancia, Vincenzo; Venema, Yde 5 2012 A presheaf environment for the explicit fusion calculus. Zbl 1290.68089Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio 5 2012 Freshness and name-restriction in sets of traces with names. Zbl 1241.68049Gabbay, Murdoch J.; Ciancia, Vincenzo 11 2011 Symmetries, local names and dynamic (de)-allocation of names. Zbl 1207.68223Ciancia, Vincenzo; Montanari, Ugo 11 2010 Families of symmetries as efficient models of resource binding. Zbl 1247.68172Ciancia, Vincenzo; Kurz, Alexander; Montanari, Ugo 10 2010 Event based choreography. Zbl 1209.68032Ciancia, Vincenzo; Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele 1 2010 A category of explicit fusions. Zbl 1144.68038Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio 5 2008 A name abstraction functor for named sets. Zbl 1279.68052Ciancia, Vincenzo; Montanari, Ugo 5 2008 all cited Publications top 5 cited Publications all top 5 Cited by 75 Authors 9 Ciancia, Vincenzo 9 Montanari, Ugo G. 8 Sammartino, Matteo 3 Bruni, Roberto 3 Kozen, Dexter C. 3 Loreti, Michele 3 Massink, Mieke 3 Moerman, Joshua 3 Nenzi, Laura 2 Bartocci, Ezio 2 Bonchi, Filippo 2 Bortolussi, Luca 2 Brengos, Tomasz 2 Gabbay, Murdoch James 2 Hirschkoff, Daniel 2 Latella, Diego 2 Madiot, Jean-Marie 2 Mamouras, Konstantinos 2 Milius, Stefan 2 Sevegnani, Michele 2 Silva, Alexandra 1 Ahrendt, Wolfgang 1 Archibald, Blair 1 Beffara, Emmanuel 1 Bezhanishvili, Nick 1 Bianculli, Domenico 1 Bolognesi, Tommaso 1 Brunet, Paul 1 Buscemi, Maria Grazia 1 Calder, Muffy 1 Colombo, Christian 1 De Groot, Jim 1 Deshmukh, Jyotirmoy V. 1 Falcone, Yliès 1 Férée, Hugo 1 Ferrari, Gian Luigi 1 Francalanza, Adrian 1 Frank, Florian 1 Gabbay, Michael J. 1 Gabelaia, David 1 Gadducci, Fabio 1 Ghica, Dan R. 1 Grilletti, Gianluca 1 Guanciale, Roberto 1 Hasuo, Ichiro 1 Klin, Bartek 1 Krstić, Srđan 1 Kurz, Alexander 1 Łełyk, Mateusz 1 Linker, Sven 1 Lösch, Steffen 1 Lourenço, João M. 1 Mohammadinejad, Sara 1 Nickovic, Dejan 1 Pace, Gordon J. 1 Papacchini, Fabio 1 Pattinson, Dirk 1 Petrisan, Daniela Luan 1 Pitts, Andrew M. 1 Rot, Jurriaan 1 Rufino, José 1 Sánchez, César 1 Sangiorgi, Davide 1 Schneider, Gerardo 1 Schröder, Lutz 1 Signoles, Julien 1 Strollo, Daniele 1 Traytel, Dmitry 1 Urabe, Natsuki 1 Urbat, Henning 1 Venema, Yde 1 Venhoek, David 1 Weiss, Alexander 1 Wißmann, Thorsten 1 Xian, Xu all top 5 Cited in 12 Serials 7 Logical Methods in Computer Science 4 Journal of Logical and Algebraic Methods in Programming 3 Theoretical Computer Science 2 Information and Computation 1 Acta Informatica 1 Journal of Computer and System Sciences 1 Science of Computer Programming 1 Annals of Pure and Applied Logic 1 Journal of Automated Reasoning 1 MSCS. Mathematical Structures in Computer Science 1 Formal Methods in System Design 1 Journal of the ACM all top 5 Cited in 7 Fields 40 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 5 Category theory; homological algebra (18-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General topology (54-XX) 1 Statistics (62-XX) Citations by Year