Edit Profile (opens in new tab) Jin, Naiyong Co-Author Distance Author ID: jin.naiyong Published as: Jin, Naiyong Documents Indexed: 3 Publications since 2009 Co-Authors: 5 Co-Authors with 3 Joint Publications 189 Co-Co-Authors Co-Authors 0 single-authored 2 Filiot, Emmanuel 2 Raskin, Jean-François 1 He, Jifeng 1 Peng, Xiaoqing 1 Zhu, Huibiao Serials 1 Formal Methods in System Design Fields 3 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 3 Publications have been cited 36 times in 32 Documents Cited by ▼ Year ▼ Antichains and compositional algorithms for LTL synthesis. Zbl 1258.03046 Filiot, Emmanuel; Jin, Naiyong; Raskin, Jean-François 18 2011 An antichain algorithm for LTL realizability. Zbl 1242.68158 Filiot, Emmanuel; Jin, Naiyong; Raskin, Jean-François 17 2009 Denotational approach to an event-driven system-level language. Zbl 1286.68037 Zhu, Huibiao; He, Jifeng; Peng, Xiaoqing; Jin, Naiyong 1 2010 Antichains and compositional algorithms for LTL synthesis. Zbl 1258.03046 Filiot, Emmanuel; Jin, Naiyong; Raskin, Jean-François 18 2011 Denotational approach to an event-driven system-level language. Zbl 1286.68037 Zhu, Huibiao; He, Jifeng; Peng, Xiaoqing; Jin, Naiyong 1 2010 An antichain algorithm for LTL realizability. Zbl 1242.68158 Filiot, Emmanuel; Jin, Naiyong; Raskin, Jean-François 17 2009 all cited Publications top 5 cited Publications all top 5 Cited by 77 Authors 5 Raskin, Jean-François 4 Kupferman, Orna 3 Bloem, Roderick 3 Chatterjee, Krishnendu 3 Filiot, Emmanuel 3 Geeraerts, Gilles 3 Jobstmann, Barbara 3 Zimmermann, Martin 2 Doyen, Laurent 2 Ehlers, Rüdiger 2 Goossens, Joël 1 Abdulaziz, Mohammad 1 Almagor, Shaull 1 Alur, Rajeev 1 Avni, Guy 1 Basin, David A. 1 Bertrand, Nathalie 1 Bohy, Aaron 1 Brooke, Phillip J. 1 Bruyère, Véronique 1 Bulychev, Peter E. 1 Cimatti, Alessandro 1 David, Alexandre 1 Exibard, Léo 1 Faran, Rachel 1 Faymonville, Peter 1 Fearnley, John 1 Fu, Jie 1 Geatti, Luca 1 Gigante, Nicola 1 Greimel, Karin 1 Gretton, Charles 1 He, Jifeng 1 Henzinger, Thomas A. 1 Hofferek, Georg 1 Hublet, François 1 Jacobs, Swen 1 Jecker, Ismaël 1 Jin, Naiyong 1 Kamhoua, Charles A. 1 Khalimov, Ayrat 1 Könighofer, Bettina 1 Könighofer, Robert 1 Krstić, Srđan 1 Kulkarni, Abhishek N. 1 Larsen, Kim Guldstrand 1 Leslie, Nandi O. 1 Li, Guangyuan 1 Lindström, Markus 1 Löding, Christof 1 Luo, Huan 1 Luttenberger, Michael 1 Majumdar, Rupak 1 Meyer, Philipp J. 1 Moarref, Salar 1 Montanari, Angelo 1 Neider, Daniel 1 Nguyen, Thi van Anh 1 Norrish, Michael 1 Peled, Doron A. 1 Piterman, Nir 1 Pnueli, Amir 1 Pradic, Pierre 1 Qin, Shengchao 1 Rabinovich, Roman 1 Reichert, Julien 1 Riba, Colin 1 Sa’ar, Yaniv 1 Sakr, Mouhammad 1 Schewe, Sven 1 Sickert, Salomon 1 Stainer, Amélie 1 Tentrup, Leander 1 Tonetta, Stefano 1 Topcu, Ufuk 1 Weinert, Alexander 1 Zhu, Huibiao all top 5 Cited in 10 Serials 6 Acta Informatica 3 Theoretical Computer Science 3 Information and Computation 2 Journal of Computer and System Sciences 2 Formal Methods in System Design 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Real-Time Systems 1 Discrete Event Dynamic Systems 1 Logical Methods in Computer Science all top 5 Cited in 6 Fields 31 Computer science (68-XX) 13 Mathematical logic and foundations (03-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Systems theory; control (93-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year