Edit Profile Faella, Marco Compute Distance To: Compute Author ID: faella.marco Published as: Faella, M.; Faella, Marco Documents Indexed: 32 Publications since 2002, including 1 Book all top 5 Co-Authors 1 single-authored 10 de Alfaro, Luca 9 Murano, Aniello 5 Benerecetti, Massimo 5 Bianco, Alessandro 5 Mogavero, Fabio 5 Stoelinga, Mariëlle 4 Majumdar, Rupak 3 Bonatti, Piero Andrea 3 Henzinger, Thomas A. 3 Legay, Axel 3 Minopoli, Stefano 3 Sauro, Luigi 2 Chatterjee, Krishnendu 2 La Torre, Salvatore 2 Napoli, Margherita 2 Parente, Mimmo 1 Adler, Bo Thomas 1 Alur, Rajeev 1 da Silva, Leandro Dias 1 Galdi, Clemente 1 Kannan, Sampath K. 1 Lutz, Carsten 1 Raman, Vishwanath 1 Roy, Pritam 1 Singhania, Nimit 1 Sorea, Maria 1 Wolter, Frank all top 5 Serials 5 Theoretical Computer Science 1 Information and Computation 1 Formal Methods in System Design 1 The Journal of Artificial Intelligence Research (JAIR) 1 Annals of Mathematics and Artificial Intelligence 1 Fundamenta Informaticae 1 Logical Methods in Computer Science 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) all top 5 Fields 30 Computer science (68-XX) 13 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 9 Mathematical logic and foundations (03-XX) 5 Systems theory; control (93-XX) 3 Operations research, mathematical programming (90-XX) 2 General and overarching topics; collections (00-XX) 2 Combinatorics (05-XX) 2 Ordinary differential equations (34-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 20 Publications have been cited 126 times in 107 Documents Cited by ▼ Year ▼ Linear and branching metrics for quantitative transition systems. Zbl 1098.68092de Alfaro, Luca; Faella, Marco; Stoelinga, Mariëlle 23 2004 Model checking discounted temporal properties. Zbl 1079.68062de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle 20 2005 The element of surprise in timed games. Zbl 1262.68141de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle 16 2003 Defeasible inclusions in low-complexity DLs. Zbl 1247.68265Bonatti, P. A.; Faella, M.; Sauro, L. 13 2011 Sociable interfaces. Zbl 1171.68837de Alfaro, Luca; da Silva, Leandro Dias; Faella, Marco; Legay, Axel; Roy, Pritam; Sorea, Maria 11 2005 Code aware resource management. Zbl 1291.68137Chatterjee, Krishnendu; De Alfaro, Luca; Faella, Marco; Majumdar, Rupak; Raman, Vishwanath 7 2013 Automatic synthesis of switching controllers for linear hybrid systems: safety control. Zbl 1294.93041Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano 5 2013 Model checking quantitative linear time logic. Zbl 1286.68313Faella, Marco; Legay, Axel; Stoelinga, Mariëlle 4 2008 An accelerated algorithm for 3-color parity games with an application to timed games. Zbl 1135.68485de Alfaro, Luca; Faella, Marco 4 2007 Automata-theoretic decision of timed games. Zbl 1057.68057Faella, Marco; La Torre, Salvatore; Murano, Aniello 4 2002 Graded alternating-time temporal logic. Zbl 1209.68316Faella, Marco; Napoli, Margherita; Parente, Mimmo 3 2010 Admissible strategies in infinite games over graphs. Zbl 1250.68187Faella, Marco 3 2009 Model checking discounted temporal properties. Zbl 1126.68465Alfaro, Luca de; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle 3 2004 Decidability of circumscribed description logics revisited. Zbl 1432.68428Bonatti, Piero; Faella, Marco; Lutz, Carsten; Sauro, Luigi; Wolter, Frank 2 2015 Qualitative logics and equivalences for probabilistic systems. Zbl 1168.03016de Alfaro, Luca; Chatterjee, Krishnendu; Faella, Marco; Legay, Axel 2 2009 Average reward timed games. Zbl 1175.68238Adler, Bo Thomas; de Alfaro, Luca; Faella, Marco 2 2005 Tracking differentiable trajectories across polyhedra boundaries. Zbl 1361.68115Benerecetti, Massimo; Faella, Marco 1 2013 Reachability games for linear hybrid systems. Zbl 1361.68116Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano 1 2012 Exploring the boundary of half-positionality. Zbl 1235.05093Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello 1 2011 Balanced paths in colored graphs. Zbl 1250.05061Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello 1 2009 Decidability of circumscribed description logics revisited. Zbl 1432.68428Bonatti, Piero; Faella, Marco; Lutz, Carsten; Sauro, Luigi; Wolter, Frank 2 2015 Code aware resource management. Zbl 1291.68137Chatterjee, Krishnendu; De Alfaro, Luca; Faella, Marco; Majumdar, Rupak; Raman, Vishwanath 7 2013 Automatic synthesis of switching controllers for linear hybrid systems: safety control. Zbl 1294.93041Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano 5 2013 Tracking differentiable trajectories across polyhedra boundaries. Zbl 1361.68115Benerecetti, Massimo; Faella, Marco 1 2013 Reachability games for linear hybrid systems. Zbl 1361.68116Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano 1 2012 Defeasible inclusions in low-complexity DLs. Zbl 1247.68265Bonatti, P. A.; Faella, M.; Sauro, L. 13 2011 Exploring the boundary of half-positionality. Zbl 1235.05093Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello 1 2011 Graded alternating-time temporal logic. Zbl 1209.68316Faella, Marco; Napoli, Margherita; Parente, Mimmo 3 2010 Admissible strategies in infinite games over graphs. Zbl 1250.68187Faella, Marco 3 2009 Qualitative logics and equivalences for probabilistic systems. Zbl 1168.03016de Alfaro, Luca; Chatterjee, Krishnendu; Faella, Marco; Legay, Axel 2 2009 Balanced paths in colored graphs. Zbl 1250.05061Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello 1 2009 Model checking quantitative linear time logic. Zbl 1286.68313Faella, Marco; Legay, Axel; Stoelinga, Mariëlle 4 2008 An accelerated algorithm for 3-color parity games with an application to timed games. Zbl 1135.68485de Alfaro, Luca; Faella, Marco 4 2007 Model checking discounted temporal properties. Zbl 1079.68062de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle 20 2005 Sociable interfaces. Zbl 1171.68837de Alfaro, Luca; da Silva, Leandro Dias; Faella, Marco; Legay, Axel; Roy, Pritam; Sorea, Maria 11 2005 Average reward timed games. Zbl 1175.68238Adler, Bo Thomas; de Alfaro, Luca; Faella, Marco 2 2005 Linear and branching metrics for quantitative transition systems. Zbl 1098.68092de Alfaro, Luca; Faella, Marco; Stoelinga, Mariëlle 23 2004 Model checking discounted temporal properties. Zbl 1126.68465Alfaro, Luca de; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle 3 2004 The element of surprise in timed games. Zbl 1262.68141de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle 16 2003 Automata-theoretic decision of timed games. Zbl 1057.68057Faella, Marco; La Torre, Salvatore; Murano, Aniello 4 2002 all cited Publications top 5 cited Publications all top 5 Cited by 189 Authors 11 Chatterjee, Krishnendu 11 Legay, Axel 10 Larsen, Kim Guldstrand 8 Faella, Marco 7 Fahrenberg, Uli 6 Murano, Aniello 6 Pappas, George J. 5 Wąsowski, Andrzej 4 Cao, Yongzhi 4 Henzinger, Thomas A. 4 Kupferman, Orna 4 Li, Yongming 4 Pan, Haiyu 3 Bloem, Roderick 3 David, Alexandre 3 Doyen, Laurent 3 Giordano, Laura 3 Girard, Antoine 3 La Torre, Salvatore 3 Malvone, Vadim 3 Raskin, Jean-François 3 Tini, Simone 3 Traonouez, Louis-Marie 3 Varzinczak, Ivan Jóse 2 Aminof, Benjamin 2 Bauer, Sebastian S. 2 Beierle, Christoph 2 Benerecetti, Massimo 2 Bonatti, Piero Andrea 2 Britz, Katarina 2 Caillaud, Benoît 2 Chmelík, Martin 2 de Alfaro, Luca 2 Delahaye, Benoît 2 Fischer, Diana 2 Hennicker, Rolf 2 Jamroga, Wojciech 2 Joglekar, Manas R. 2 Julius, A. Agung 2 Kaiser, Lukasz 2 Kern-Isberner, Gabriele 2 Könighofer, Robert 2 Kulkarni, Sandeep S. 2 Lutz, Carsten 2 Ma, Zhanyou 2 Majumdar, Rupak 2 Mogavero, Fabio 2 Napoli, Margherita 2 Nyman, Ulrik 2 Rauch Henzinger, Monika 2 Rubin, Sasha 2 Sauro, Luigi 2 Shah, Nisarg 2 Sproston, Jeremy 2 Stoelinga, Mariëlle 2 Theseider Dupré, Daniele 2 Thrane, Claus R. 2 van Breugel, Franck 2 Vogler, Walter 2 Wirsing, Martin 2 Wolter, Frank 2 Worrell, James B. 2 Zhang, Jinjin 2 Zhu, Zhaohui 1 Abdulla, Parosh Aziz 1 Almagor, Shaull 1 Alshiekh, Mohammed 1 Avni, Guy 1 Bacci, Giorgio 1 Bacci, Giovanni 1 Bakera, Marco 1 Batt, Grégory 1 Becchi, Anna 1 Bianco, Alessandro 1 Boker, Udi 1 Bonakdarpour, Borzoo 1 Botoeva, Elena 1 Bourke, Timothy 1 Bouyer, Patricia 1 Bozzato, Loris 1 Bozzelli, Laura 1 Brenguier, Romain 1 Bresolin, Davide 1 Bujtor, Ferenc 1 Bulychev, Peter E. 1 Capiluppi, Marta 1 Carter, Rebekah 1 Casini, Giovanni 1 Chatain, Thomas 1 Chen, Jingshu 1 Chen, Yixiang 1 Ciobanu, Radu Ioan 1 Daca, Przemysław 1 Di Benedetto, Maria Domenica 1 Di Giampaolo, Barbara 1 Di Stasio, Antonio 1 Dingel, Juergen 1 D’Innocenzo, Alessandro 1 Dixon, Clare 1 Edelkamp, Stefan ...and 89 more Authors all top 5 Cited in 27 Serials 25 Theoretical Computer Science 10 Information and Computation 5 International Journal of Approximate Reasoning 5 Formal Methods in System Design 4 Acta Informatica 3 Artificial Intelligence 3 Journal of Computer and System Sciences 3 Discrete Event Dynamic Systems 2 Fuzzy Sets and Systems 2 Formal Aspects of Computing 2 Theory and Practice of Logic Programming 1 Information Processing Letters 1 Automatica 1 Information Sciences 1 Systems & Control Letters 1 Science of Computer Programming 1 MSCS. Mathematical Structures in Computer Science 1 Annals of Mathematics and Artificial Intelligence 1 European Journal of Control 1 Theory of Computing Systems 1 Soft Computing 1 Journal of the ACM 1 The Journal of Logic and Algebraic Programming 1 ACM Transactions on Computational Logic 1 Logica Universalis 1 Logical Methods in Computer Science 1 Frontiers of Computer Science all top 5 Cited in 11 Fields 101 Computer science (68-XX) 23 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 22 Mathematical logic and foundations (03-XX) 13 Systems theory; control (93-XX) 5 Operations research, mathematical programming (90-XX) 3 Combinatorics (05-XX) 1 Ordinary differential equations (34-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 General topology (54-XX) 1 Probability theory and stochastic processes (60-XX) 1 Biology and other natural sciences (92-XX) Citations by Year