Edit Profile (opens in new tab) Stucki, Sandro Compute Distance To: Compute Author ID: stucki.sandro Published as: Stucki, Sandro Documents Indexed: 7 Publications since 2014 Co-Authors: 11 Co-Authors with 7 Joint Publications 203 Co-Co-Authors all top 5 Co-Authors 0 single-authored 5 Danos, Vincent 5 Honorato-Zimmer, Ricardo 3 Heindel, Tobias 2 Jaramillo-Riveri, Sebastián 1 Amin, Nada 1 Bonakdarpour, Borzoo 1 Grütter, Samuel 1 Odersky, Martin 1 Rompf, Tiark 1 Sánchez, César 1 Schneider, Gerardo Serials 1 Formal Methods in System Design Fields 6 Computer science (68-XX) 3 Biology and other natural sciences (92-XX) 2 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) 1 Category theory; homological algebra (18-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 3 Publications have been cited 11 times in 10 Documents Cited by ▼ Year ▼ Reversible sesqui-pushout rewriting. Zbl 1423.68227Danos, Vincent; Heindel, Tobias; Honorato-Zimmer, Ricardo; Stucki, Sandro 6 2014 Moment semantics for reversible rule-based systems. Zbl 1464.68139Danos, Vincent; Heindel, Tobias; Honorato-Zimmer, Ricardo; Stucki, Sandro 4 2015 Gray-box monitoring of hyperproperties with an application to privacy. Zbl 1502.68187Stucki, Sandro; Sánchez, César; Schneider, Gerardo; Bonakdarpour, Borzoo 1 2021 Gray-box monitoring of hyperproperties with an application to privacy. Zbl 1502.68187Stucki, Sandro; Sánchez, César; Schneider, Gerardo; Bonakdarpour, Borzoo 1 2021 Moment semantics for reversible rule-based systems. Zbl 1464.68139Danos, Vincent; Heindel, Tobias; Honorato-Zimmer, Ricardo; Stucki, Sandro 4 2015 Reversible sesqui-pushout rewriting. Zbl 1423.68227Danos, Vincent; Heindel, Tobias; Honorato-Zimmer, Ricardo; Stucki, Sandro 6 2014 all cited Publications top 5 cited Publications all top 5 Cited by 18 Authors 4 Behr, Nicolas 3 Harmer, Russ 3 Krivine, Jean 2 Danos, Vincent 2 Garnier, Ilias 2 Oshurko, Eugenia 1 Andersen, Jakob Lykke 1 Corradini, Andrea 1 Damanafshan, Morteza 1 Duval, Dominique 1 Fallah, Mehran S. 1 Heindel, Tobias 1 Hosseini, Seyed Naser 1 Merkle, Daniel 1 Prost, Frédéric 1 Ribeiro, Leila 1 Simonsen, Jakob Grue 1 Yeganeh, Leila Cited in 3 Serials 2 Theoretical Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Logical Methods in Computer Science Cited in 5 Fields 10 Computer science (68-XX) 2 Probability theory and stochastic processes (60-XX) 1 Mathematical logic and foundations (03-XX) 1 Category theory; homological algebra (18-XX) 1 Biology and other natural sciences (92-XX) Citations by Year