Edit Profile (opens in new tab) Muñiz, Marco Compute Distance To: Compute Author ID: muniz.marco Published as: Muñiz, Marco Documents Indexed: 10 Publications since 2011 Co-Authors: 16 Co-Authors with 10 Joint Publications 371 Co-Co-Authors all top 5 Co-Authors 0 single-authored 5 Larsen, Kim Guldstrand 4 Podelski, Andreas 4 Srba, Jiří 4 Westphal, Bernd 3 Bønneland, Frederik Meyer 3 Jensen, Peter Gjøl 2 Herrera, Christian 1 Bogomolov, Sergiy 1 Feo-Arenis, Sergio 1 Karra, Shyam Lal 1 Kuncak, Viktor 1 Lund, Sebastian 1 Ringholm Jørgensen, Tobias 1 Skaarup Daa Andersen, Tobias 1 van Diepen, Jesper 1 Wies, Thomas Serials 1 Logical Methods in Computer Science Fields 10 Computer science (68-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 3 Publications have been cited 12 times in 12 Documents Cited by ▼ Year ▼ An efficient decision procedure for imperative tree data structures. Zbl 1341.68034Wies, Thomas; Muñiz, Marco; Kuncak, Viktor 6 2011 Stubborn set reduction for two-player reachability games. Zbl 1501.68002Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří 5 2021 Timed automata with disjoint activity. Zbl 1374.68263Muñiz, Marco; Westphal, Bernd; Podelski, Andreas 1 2012 Stubborn set reduction for two-player reachability games. Zbl 1501.68002Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří 5 2021 Timed automata with disjoint activity. Zbl 1374.68263Muñiz, Marco; Westphal, Bernd; Podelski, Andreas 1 2012 An efficient decision procedure for imperative tree data structures. Zbl 1341.68034Wies, Thomas; Muñiz, Marco; Kuncak, Viktor 6 2011 all cited Publications top 5 cited Publications all top 5 Cited by 24 Authors 4 Holík, Lukáš 4 Lengál, Ondřej 4 Vojnar, Tomáš 2 Fiedor, Tomáš 2 Havlena, Vojtěch 2 Jensen, Peter Gjøl 2 Muñiz, Marco 2 Neele, Thomas 2 Srba, Jiří 2 Wies, Thomas 2 Willemse, Tim A. C. 1 Bønneland, Frederik Meyer 1 Hoffmann, Jan-Philipp 1 Janků, Petr 1 Kahn, David M. 1 Kuncak, Viktor 1 Larsen, Kim Guldstrand 1 Olderog, Ernst-Rüdiger 1 Swaminathan, Mani 1 Totla, Nishant 1 Ulrik, Nikolaj Jensen 1 Valmari, Antti 1 Virenfeldt, Simon Mejlby 1 Wesselink, Wieger Cited in 4 Serials 2 Journal of Automated Reasoning 1 Acta Informatica 1 Formal Aspects of Computing 1 Logical Methods in Computer Science Cited in 3 Fields 12 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year