| 132 Publications (1992–2023) indexed |
| 906 Citations |
| Co-Authors: | Atig, Mohamed Faouzi; Jonsson, Bengt; Delzanno, Giorgio; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Abdulla, Parosh Aziz; Abdulla, Parosh; Abdulla, Parosh A.; Aziz Abdulla, Parosh; Abdulla, P. A. more...less |
| 146 Publications (1990–2024) indexed |
| 3,833 Citations |
| Co-Authors: | Madhusudan, Parthasarathy; Henzinger, Thomas A.; La Torre, Salvatore; … |
| Main Fields: | Computer science (68-XX); Mathematical logic and foundations (03-XX) |
| Published as: | Alur, Rajeev; Alur, R. |
| 59 Publications (2008–2023) indexed |
| 310 Citations |
| Co-Authors: | Abdulla, Parosh Aziz; Bouajjani, Ahmed; Saivasan, Prakash; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Atig, Mohamed Faouzi; Faouzi Atig, Mohamed |
| 32 Publications (1995–2024) indexed |
| 123 Citations |
| Co-Authors: | Bozga, Marius; Lakhnech, Yassine; Peled, Doron A.; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Bensalem, Saddek; Bensalem, S. |
| 10 Publications (2013–2023) indexed |
| 40 Citations |
| Co-Authors: | Strejček, Jan; Duret-Lutz, Alexandre; Křetínský, Mojmír; … |
| Main Fields: | Computer science (68-XX); Mathematical logic and foundations (03-XX) |
| Published as: | Blahoudek, František |
| 3 Publications (2011) indexed |
| 3 Citations |
| Co-Authors: | Cheng, Chih-Hong; Knoll, Alois C.; Jobstmann, Barbara; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Buckl, Christian |
| 31 Publications (2011–2024) indexed |
| 184 Citations |
| Co-Authors: | Luo, Chuan; Su, Kaile; Wang, Yiyuan; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Cai, Shaowei |
| 6 Publications (2004–2024) indexed |
| 5 Citations |
| Co-Authors: | Xue, Shaowei; Zhang, Lanhua; Deng, Liurui; … |
| Main Fields: | Operations research, mathematical programming (90-XX); Combinatorics (05-XX); Numerical analysis (65-XX); ... |
| Published as: | Cao, Chen |
| 10 Publications (1973–2009) indexed |
| 7 Citations |
| Co-Authors: | Aly, Gamal M.; Chen, Yu-Fang; Luo, Chi-Jian; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Chan, Wen-Chin |
| 12 Publications (1970–2011) indexed |
| 6 Citations |
| Co-Authors: | Lee, Richard Chia-Tung; Chen, Yung-Ming; Ko, Ming-Tat; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Chang, Jinn-Shu |
| 12 Publications (1998–2023) indexed |
| 27 Citations |
| Co-Authors: | Wang, Ji; Cousot, Patrick; Liu, Jiangchao; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Chen, Liqian |
| 15 Publications (1996–2021) indexed |
| 8 Citations |
| Co-Authors: | Rueß, Harald; Knoll, Alois C.; Bensalem, Saddek; … |
| Main Fields: | Computer science (68-XX); General and overarching topics; collections (00-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX) |
| Published as: | Cheng, Chih-Hong |
| 1 Publication (2023) indexed |
| 1 Citation |
| Co-Authors: | Blahoudek, František; Chen, Yu-Fang; Havlena, Vojtěch; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Chocholatý, David |
| 136 Publications (1979–2018) indexed |
| 3,271 Citations |
| Co-Authors: | Grumberg, Orna; Veith, Helmut; Chaki, Sagar; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Clarke, Edmund; Clarke, Edmund M.; Clarke, E. M.; Clarke, E.; Clarke, Edmund M. jun.; Clarke, Edmund Melson jun.; Clarke, E. M. jun.; Clarke, Edmund Melson more...less |
| 27 Publications (2010–2023) indexed |
| 158 Citations |
| Co-Authors: | Lasota, Sławomir; Mayr, Richard M.; Mazowiecki, Filip; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Clemente, Lorenzo |
| 3 Publications (2007–2011) indexed |
| 25 Citations |
| Co-Authors: | Andreychenko, Aleksandr; Boudali, Hichem; Hermanns, Holger; … |
| Main Fields: | Computer science (68-XX); Probability theory and stochastic processes (60-XX) |
| Published as: | Crouzen, Pepijn |
| 17 Publications (2007–2023) indexed |
| 90 Citations |
| Co-Authors: | Kröning, Daniel; Abate, Alessandro; Chin, Wei-Ngan; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | David, Cristina |
| 83 Publications (1998–2023) indexed |
| 292 Citations |
| Co-Authors: | Abdulla, Parosh Aziz; Rezine, Ahmed; Van Begin, Laurent; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Delzanno, Giorgio |
| 55 Publications (2001–2024) indexed |
| 274 Citations |
| Co-Authors: | Hennessy, Matthew C. B.; van Glabbeek, Robert Jan; Du, Wenjie; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Deng, Yuxin; Deng, Yu-xin; Deng, Yu-Xin more...less |
| 3 Publications (2016–2021) indexed |
| 10 Citations |
| Co-Authors: | Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Holík, Lukáš; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Diep, Bui Phi |
| 2 Publications (2015–2018) indexed |
| 2 Citations |
| Co-Authors: | Li, Yongjian; Lv, Yi; Pang, Jun; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Duan, Kaiqiang |
| 91 Publications (1999–2023) indexed |
| 763 Citations |
| Co-Authors: | Rothvoß, Thomas; Hähnle, Nicolai; Grandoni, Fabrizio; … |
| Main Fields: | Operations research, mathematical programming (90-XX); Computer science (68-XX) |
| Published as: | Eisenbrand, Friedrich; Eisenbrand, F. |
| 8 Publications (2008–2018) indexed |
| 58 Citations |
| Co-Authors: | Hermanns, Holger; Zhang, Lijun; Turrini, Andrea; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Eisentraut, Christian |
| 184 Publications (1991–2024) indexed |
| 1,593 Citations |
| Co-Authors: | Kiefer, Stefan; Luttenberger, Michael; Schwoon, Stefan; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Esparza, Javier; Esparza, J. |
| 27 Publications (2004–2023) indexed |
| 171 Citations |
| Co-Authors: | Kincaid, Zachary; Madhusudan, Parthasarathy; Podelski, Andreas; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Farzan, Azadeh |
| 46 Publications (2010–2023) indexed |
| 265 Citations |
| Co-Authors: | Savani, Rahul; Deligkas, Argyrios; Spirakis, Paul G.; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Fearnley, John |
| 9 Publications (1986–2023) indexed |
| 4 Citations |
| Co-Authors: | Li, Yong; Turrini, Andrea; Vardi, Moshe Ya’akov; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Feng, Weizhi |
| 6 Publications (1999–2022) indexed |
| 9 Citations |
| Co-Authors: | Jiang, Tian; Xia, Bican; Zhan, Naijun; … |
| Main Fields: | Optics, electromagnetic theory (78-XX); Computer science (68-XX) |
| Published as: | Feng, Yijun |
| 71 Publications (2002–2024) indexed |
| 365 Citations |
| Co-Authors: | Ying, Mingsheng; Duan, Runyao; Gao, Wei; … |
| Main Fields: | Quantum theory (81-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); ... |
| Published as: | Feng, Yuan |
| 100 Publications (1969–2024) indexed |
| 513 Citations |
| Co-Authors: | Hahn, Christopher; Dimitrova, Rayna; Schewe, Sven; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Finkbeiner, Bernd; Finkbeiner, B. |
| 11 Publications (2009–2022) indexed |
| 68 Citations |
| Co-Authors: | Vardi, Moshe Ya’akov; Kupferman, Orna; Wilke, Thomas; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Fogarty, Seth; Fogarty, Seth J. |
| 8 Publications (2014–2021) indexed |
| 13 Citations |
| Co-Authors: | Zhou, Zebo; Samigulina, Galina; Samigulina, Zarina; … |
| Main Fields: | Systems theory; control (93-XX); General and overarching topics; collections (00-XX) |
| Published as: | Fourati, Hassen |
| 61 Publications (1995–2024) indexed |
| 287 Citations |
| Co-Authors: | Zhan, Naijun; Xue, Bai; Teige, Tino; … |
| Main Fields: | Computer science (68-XX); Systems theory; control (93-XX); Mathematical logic and foundations (03-XX); ... |
| Published as: | Fränzle, Martin |
| 8 Publications (1997–2023) indexed |
| 2 Citations |
| Co-Authors: | Mei, Jingyi; Xu, Ming; Deng, Yuxin; … |
| Main Fields: | Computer science (68-XX); Quantum theory (81-XX) |
| Published as: | Fu, Jianling |
| 3 Publications (2021–2023) indexed |
| 3 Citations |
| Co-Authors: | Liu, Jiaxiang; Shi, Xiaomu; Tsai, Ming-Hsien; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Fu, Yu-Fu |
| 13 Publications (1997–2019) indexed |
| 7 Citations |
| Co-Authors: | Bai, Yanqin; Capretz, Luiz Fernando; Fan, Howard; … |
| Main Fields: | Game theory, economics, finance, and other social and behavioral sciences (91-XX); Operations research, mathematical programming (90-XX); Computer science (68-XX); ... |
| Published as: | Gao, Qianqian; Gao, Qian-Qian |
| 111 Publications (1997–2024) indexed |
| 1,267 Citations |
| Co-Authors: | Yang, Kai; Peng, Haifeng; Cui, Miao; … |
| Main Fields: | Numerical analysis (65-XX); Mechanics of deformable solids (74-XX) |
| Published as: | Gao, Xiao-Wei; Gao, Xiaowei; Gao, X. W.; Gao, Xiao-wei; Gao, Xiao Wei; Gao, X.-W. more...less |
| 138 Publications (1983–2024) indexed |
| 493 Citations |
| Co-Authors: | Qiang, Wenchao; Mou, Lei; Zhang, Heping; … |
| Main Fields: | Computer science (68-XX); Mechanics of deformable solids (74-XX); Systems theory; control (93-XX); ... |
| Published as: | Gao, Yang |
| 18 Publications (1995–2018) indexed |
| 80 Citations |
| Co-Authors: | Song, Lei; Zhang, Lijun; Hildebrandt, Thomas T.; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Godskesen, Jens Chr. |
| 84 Publications (1988–2024) indexed |
| 1,526 Citations |
| Co-Authors: | Chandrasekaran, Shivkumar; Xia, Jianlin; Eisenstat, Stanley C.; … |
| Main Fields: | Numerical analysis (65-XX); Linear and multilinear algebra; matrix theory (15-XX) |
| Published as: | Gu, Ming; Gu, M. |
| 61 Publications (1988–2024) indexed |
| 73 Citations |
| Co-Authors: | Song, Xiaoyu; Sun, Jiaguang; He, Fei; … |
| Main Fields: | Computer science (68-XX); Operations research, mathematical programming (90-XX); Mechanics of deformable solids (74-XX); ... |
| Published as: | Gu, Ming |
| 37 Publications (1993–2024) indexed |
| 260 Citations |
| Co-Authors: | Wang, Hongwei; Yang, Hongwei; Wang, Jinliang; … |
| Main Fields: | Computer science (68-XX); Partial differential equations (35-XX); Operations research, mathematical programming (90-XX); ... |
| Published as: | Guo, Min; Guo, M. |
| 32 Publications (2009–2023) indexed |
| 167 Citations |
| Co-Authors: | Schewe, Sven; Hermanns, Holger; Turrini, Andrea; … |
| Main Fields: | Computer science (68-XX); Operations research, mathematical programming (90-XX); Probability theory and stochastic processes (60-XX) |
| Published as: | Hahn, Ernst Moritz; Hahn, E. Moritz; Hahn, E. M. more...less |
| 10 Publications (2016–2023) indexed |
| 17 Citations |
| Co-Authors: | Lengál, Ondřej; Chen, Yu-Fang; Holík, Lukáš; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Havlena, Vojtěch |
| 6 Publications (2008–2016) indexed |
| 46 Citations |
| Co-Authors: | Abdulla, Parosh Aziz; Holík, Lukáš; Rezine, Ahmed; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Haziza, Frédéric; Haziza, Fréderic |
| 97 Publications (2000–2024) indexed |
| 178 Citations |
| Co-Authors: | Qiu, Jinghui; Lu, Ning; Song, Xiaoyu; … |
| Main Fields: | General topology (54-XX); Computer science (68-XX); Functional analysis (46-XX); ... |
| Published as: | He, Fei |
| 71 Publications (1980–2020) indexed |
| 479 Citations |
| Co-Authors: | Hoare, Charles Antony Richard; Zhu, Huibiao; Qin, Shengchao; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | He, Jifeng; He, Ji Feng; He, Ji-Feng; He, JiFeng; He, J. more...less |
| 123 Publications (1995–2024) indexed |
| 929 Citations |
| Co-Authors: | Katoen, Joost-Pieter; Baier, Christel; Zhang, Lijun; … |
| Main Fields: | Computer science (68-XX); Probability theory and stochastic processes (60-XX) |
| Published as: | Hermanns, Holger; Hermanns, H. |
| 39 Publications (2008–2023) indexed |
| 161 Citations |
| Co-Authors: | Vojnar, Tomáš; Abdulla, Parosh Aziz; Lengál, Ondřej; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Holík, Lukáš; Holik, Lukas; Holik, Lukáš more...less |
| 6 Publications (2010–2020) indexed |
| 30 Citations |
| Co-Authors: | Chen, Yu-Fang; Lin, Anthony Widjaja; Abdulla, Parosh Aziz; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Hong, Chih-Duo |
| 4 Publications (2007–2022) indexed |
| 4 Citations |
| Co-Authors: | Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Chen, Taolue; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Hu, Denghang |
| 60 Publications (1958–2023) indexed |
| 18 Citations |
| Co-Authors: | Xu, Ming; Li, Zhibin; Lien, Yao-Nan; … |
| Main Fields: | Computer science (68-XX); Differential geometry (53-XX); Mechanics of deformable solids (74-XX); ... |
| Published as: | Huang, Cheng-Chao; Huang, Chengchao |
| 4 Publications (2005–2010) indexed |
| 1 Citation |
| Co-Authors: | Wang, Bow-Yaw; Wang, Farn; Cai, Lin-Zan |
| Main Fields: | Computer science (68-XX) |
| Published as: | Huang, Geng-Dian |
| 2 Publications (2004–2007) indexed |
| Co-Authors: | Tung, Pi-Cheng; Wang, Bow-Yaw; Yu, Fang |
| Main Fields: | Computer science (68-XX) |
| Published as: | Huang, Yao-Wen |
| 28 Publications (2001–2022) indexed |
| 151 Citations |
| Co-Authors: | Zhang, Lijun; Hermanns, Holger; Groote, Jan Friso; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Jansen, David N. |
| 20 Publications (2005–2018) indexed |
| 280 Citations |
| Co-Authors: | Bloem, Roderick; Henzinger, Thomas A.; Chatterjee, Krishnendu; … |
| Main Fields: | Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX) |
| Published as: | Jobstmann, Barbara |
| 5 Publications (2007–2015) indexed |
| 8 Citations |
| Co-Authors: | Wang, Bow-Yaw; Yi, Kwangkeun; Kong, Soonho; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Jung, Yungbum |
| 189 Publications (1989–2024) indexed |
| 1,978 Citations |
| Co-Authors: | Hermanns, Holger; Junges, Sebastian; Baier, Christel; … |
| Main Fields: | Computer science (68-XX); Operations research, mathematical programming (90-XX) |
| Published as: | Katoen, Joost-Pieter; Katoen, J.-P.; Katoen, Joost-pieter; Katoen, J. P. more...less |
| 87 Publications (2006–2024) indexed |
| 344 Citations |
| Co-Authors: | Esparza, Javier; Worrell, James Benjamin; Shirmohammadi, Mahsa; … |
| Main Fields: | Computer science (68-XX); Probability theory and stochastic processes (60-XX) |
| Published as: | Kiefer, Stefan |
| 23 Publications (1998–2023) indexed |
| 32 Citations |
| Co-Authors: | Zhang, Jianwei; Cheng, Chih-Hong; Buckl, Christian; … |
| Main Fields: | Computer science (68-XX); Systems theory; control (93-XX); Biology and other natural sciences (92-XX); ... |
| Published as: | Knoll, Alois; Knoll, A.; Knoll, Alois C. more...less |
| 9 Publications (2010–2023) indexed |
| 150 Citations |
| Co-Authors: | Gao, Sicun; Clarke, Edmund Melson jun.; Jung, Yungbum; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Kong, Soonho |
| 2 Publications (2013–2018) indexed |
| 19 Citations |
| Co-Authors: | Eisentraut, Christian; Hermanns, Holger; Kelmendi, Edon; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Krämer, Julia |
| 253 Publications (1984–2024) indexed |
| 2,358 Citations |
| Co-Authors: | Srba, Jiří; Mardare, Radu; Legay, Axel; … |
| Main Fields: | Computer science (68-XX); Mathematical logic and foundations (03-XX) |
| Published as: | Larsen, Kim G.; Larsen, Kim Guldstrand; Guldstrand Larsen, Kim; Larsen, Kim; Larsen, K. G. more...less |
| 10 Publications (1994–2018) indexed |
| 6 Citations |
| Co-Authors: | Yi, Kwangkeun; Jung, Yungbum; Wang, Bow-Yaw; … |
| Main Fields: | Computer science (68-XX); Classical thermodynamics, heat transfer (80-XX) |
| Published as: | Lee, Wonchan |
| 23 Publications (2011–2023) indexed |
| 67 Citations |
| Co-Authors: | Vojnar, Tomáš; Holík, Lukáš; Havlena, Vojtěch; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Lengál, Ondřej |
| 4 Publications (2012–2018) indexed |
| 26 Citations |
| Co-Authors: | Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Aronis, Stavros; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Leonardsson, Carl |
| 32 Publications (1981–2021) indexed |
| 39 Citations |
| Co-Authors: | Tang, Zhisong; Ge, Shuzhi Sam; Lee, Tong Heng; … |
| Main Fields: | Computer science (68-XX); Mathematical logic and foundations (03-XX) |
| Published as: | Li, Guangyuan; Li, Guang Yuan |
| 12 Publications (2013–2023) indexed |
| 16 Citations |
| Co-Authors: | Pu, Geguang; Vardi, Moshe Ya’akov; Zhang, Lijun; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Li, Jianwen |
| 2 Publications (2021) indexed |
| 5 Citations |
| Co-Authors: | Huang, Chengchao; Yang, Pengfei; Zhang, Lijun; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Li, Renjue |
| 25 Publications (2013–2022) indexed |
| 400 Citations |
| Co-Authors: | Xiang, Zhaoyin; Yong, Wan; Wang, Yilong; … |
| Main Fields: | Partial differential equations (35-XX); Biology and other natural sciences (92-XX); Differential geometry (53-XX) |
| Published as: | Li, Xie |
| 161 Publications (1986–2024) indexed |
| 520 Citations |
| Co-Authors: | Li, Chuanhuan; Kapustin, Anton; Meneveau, Charles; … |
| Main Fields: | Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Fluid mechanics (76-XX); ... |
| Published as: | Li, Yi |
| 145 Publications (1986–2024) indexed |
| 124 Citations |
| Co-Authors: | Damanik, David; Xu, Fei; Chen, Hanfu; … |
| Main Fields: | Systems theory; control (93-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX); ... |
| Published as: | Li, Yong |
| 56 Publications (2002–2024) indexed |
| 384 Citations |
| Co-Authors: | Cai, Xiaoqiang; Li, Xiang; Chen, Jian; … |
| Main Fields: | Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX) |
| Published as: | Li, Yongjian |
| 21 Publications (1991–2021) indexed |
| 20 Citations |
| Co-Authors: | Chen, Liqian; Rival, Xavier; Yang, Pengfei; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Liu, Jiangchao |
| 39 Publications (1998–2023) indexed |
| 227 Citations |
| Co-Authors: | Wei, Junjie; Li, Min; Liu, Qian; … |
| Main Fields: | Biology and other natural sciences (92-XX); Fluid mechanics (76-XX); Number theory (11-XX); ... |
| Published as: | Liu, Jianxin; Liu, Jian-xin; Liu, Jian-Xin more...less |
| 23 Publications (2004–2024) indexed |
| 33 Citations |
| Co-Authors: | Jouannaud, Jean-Pierre; Fu, Yu-Fu; Shi, Xiaomu; … |
| Main Fields: | Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX) |
| Published as: | Liu, Jiaxiang |
| 11 Publications (2007–2024) indexed |
| 5 Citations |
| Co-Authors: | Wang, Ji; Dong, Wei; Mao, Xiaoguang; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Liu, Wanwei |
| 27 Publications (1974–2019) indexed |
| 383 Citations |
| Co-Authors: | Qiu, Jianxian; Yang, Hongwei; Fu, Chen; … |
| Main Fields: | Numerical analysis (65-XX); Fluid mechanics (76-XX) |
| Published as: | Lu, Changna; Lu, Chang Na; Lu, C. N. more...less |
| 2 Publications (2008–2009) indexed |
| 7 Citations |
| Co-Authors: | Chan, Wen-Chin; Chen, Yu-Fang; Tsai, Ming-Hsien; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Luo, Chi-Jian |
| 12 Publications (2014–2023) indexed |
| 9 Citations |
| Co-Authors: | Wu, Peng; Wang, Chao; Duan, Kaiqiang; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Lv, Yi |
| 77 Publications (1996–2024) indexed |
| 480 Citations |
| Co-Authors: | Abdulla, Parosh Aziz; Totzke, Patrick; Kucera, Antonin; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Mayr, Richard; Mayr, Richard M.; Mayr, R. more...less |
| 5 Publications (1996–2023) indexed |
| 3 Citations |
| Co-Authors: | Xu, Ming; Fu, Jianling; Deng, Yuxin; … |
| Main Fields: | Computer science (68-XX); Quantum theory (81-XX) |
| Published as: | Mei, Jingyi |
| 3 Publications (2009–2013) indexed |
| Co-Authors: | Li, Xiaoxuan; Liu, Steve Wenbin; Zhang, Daqun; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Meng, Wenrui |
| 1 Publication (2013) indexed |
| Co-Authors: | He, Fei; Meng, Wenrui; Wang, Bow-Yaw; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Mu, Guanyu |
| 65 Publications (1999–2023) indexed |
| 299 Citations |
| Co-Authors: | Tzevelekos, Nikos; Ong, Chih-Hao Luke; Kiefer, Stefan; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Murawski, Andrzej S.; Murawski, A. S. |
| 7 Publications (2007–2018) indexed |
| 51 Citations |
| Co-Authors: | Katoen, Joost-Pieter; Noll, Thomas; Klink, Daniel; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Neuhäußer, Martin R.; Neuhäußer, Martin |
| 111 Publications (1982–2021) indexed |
| 663 Citations |
| Co-Authors: | Riis Nielson, Hanne; Pilegaard, Henrik; Bodei, Chiara; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Nielson, Flemming; Nielson, F. |
| 134 Publications (2002–2024) indexed |
| 945 Citations |
| Co-Authors: | Worrell, James Benjamin; Luca, Florian; Pouly, Amaury; … |
| Main Fields: | Computer science (68-XX); Mathematical logic and foundations (03-XX) |
| Published as: | Ouaknine, Joël; Ouaknine, Joel; Ouaknine, Joel O.; Ouaknine, J. more...less |
| 47 Publications (2001–2023) indexed |
| 113 Citations |
| Co-Authors: | Fokkink, Willem Jan; Li, Yongjian; Su, Cui; … |
| Main Fields: | Computer science (68-XX); Biology and other natural sciences (92-XX); Information and communication theory, circuits (94-XX) |
| Published as: | Pang, Jun; Pang, J. |
| 2 Publications (2007–2011) indexed |
| 54 Citations |
| Co-Authors: | Segala, Roberto; Hermanns, Holger; Wachter, Björn; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Parma, Augusto |
| 47 Publications (1994–2024) indexed |
| 245 Citations |
| Co-Authors: | Lu, Qian; Xiao, Yue; Wu, Xue; … |
| Main Fields: | Game theory, economics, finance, and other social and behavioral sciences (91-XX); Operations research, mathematical programming (90-XX); Computer science (68-XX); ... |
| Published as: | Peng, Yu |
| 2 Publications (2012–2018) indexed |
| 4 Citations |
| Co-Authors: | Tsai, Ming-Hsien; Wang, Bow-Yaw; Yang, Bo-Yin |
| Main Fields: | Information and communication theory, circuits (94-XX); Number theory (11-XX) |
| Published as: | Polyakov, Andy |
| 19 Publications (2005–2023) indexed |
| 20 Citations |
| Co-Authors: | Li, Jianwen; He, Jifeng; Zhang, Lijun; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Pu, Geguang |
| 16 Publications (2000–2021) indexed |
| 121 Citations |
| Co-Authors: | Schewe, Sven; Finkbeiner, Bernd; Tentrup, Leander; … |
| Main Fields: | Computer science (68-XX); Mathematical logic and foundations (03-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX) |
| Published as: | Rabe, Markus N.; Rabe, Markus |
| 34 Publications (2000–2023) indexed |
| 275 Citations |
| Co-Authors: | She, Zhikun; Franek, Peter; Kuřátko, Jan; … |
| Main Fields: | Computer science (68-XX); Mathematical logic and foundations (03-XX); Systems theory; control (93-XX); ... |
| Published as: | Ratschan, Stefan |
| 20 Publications (2005–2019) indexed |
| 100 Citations |
| Co-Authors: | Abdulla, Parosh Aziz; Delzanno, Giorgio; Eles, Petru; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Rezine, Ahmed |
| 24 Publications (1996–2021) indexed |
| 163 Citations |
| Co-Authors: | de Moura, Leonardo; Shankar, Natarajan; Cheng, Chih-Hong; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Rueß, Harald; Ruess, Harald; Rueß, H. more...less |
| 53 Publications (2004–2023) indexed |
| 254 Citations |
| Co-Authors: | Kröning, Daniel; Lin, Anthony Widjaja; Wintersteiger, Christoph M.; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Rümmer, Philipp |
| 31 Publications (2008–2024) indexed |
| 141 Citations |
| Co-Authors: | Watson, Saleem H.; Aceto, Luca; Bergfeld, Jort Martinus; … |
| Main Fields: | Mathematical logic and foundations (03-XX); Computer science (68-XX); General topology (54-XX); ... |
| Published as: | Sack, Joshua |
| 88 Publications (2005–2024) indexed |
| 521 Citations |
| Co-Authors: | Wojtczak, Dominik; Hahn, Ernst Moritz; Trivedi, Ashutosh; … |
| Main Fields: | Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Mathematical logic and foundations (03-XX) |
| Published as: | Schewe, Sven |
