Edit Profile Ueda, Koichi Compute Distance To: Compute Author ID: ueda.koichi Published as: Ueda, K.; Ueda, Koichi Documents Indexed: 7 Publications since 1997, including 1 Book Co-Authors 0 single-authored 1 Butts, Ken 1 Deshmukh, Jyotirmoy V. 1 Jin, Xiaoqing 1 Kapinski, James Serials Fields 1 Mathematical logic and foundations (03-XX) 1 Systems theory; control (93-XX) Publications by Year Citations contained in zbMATH 4 Publications have been cited 12 times in 12 Documents Cited by ▼ Year ▼ Powertrain control verification benchmark. Zbl 1362.93070Jin, Xiaoqing; Deshmukh, Jyotirmoy V.; Kapinski, James; Ueda, Koichi; Butts, Ken 3 2014 Self-pulsing laser as oscillator Toda: approximations through elementary functions. Zbl 1113.81140Kouznetsov, D.; Bisson, J-F; Li, Jianlang; Ueda, K. 3 2007 Pythagorean-hodograph curves on isothermal surfaces. Zbl 0959.65033Ueda, K. 3 1998 Advances in computing science - ASIAN ’97. 3rd Asian computing science conference, Kathmandu, Nepal, December 9–11, 1997. Proceedings. Zbl 0878.00079Shyamasundar, R. K. (ed.); Ueda, K. (ed.) 3 1997 Powertrain control verification benchmark. Zbl 1362.93070Jin, Xiaoqing; Deshmukh, Jyotirmoy V.; Kapinski, James; Ueda, Koichi; Butts, Ken 3 2014 Self-pulsing laser as oscillator Toda: approximations through elementary functions. Zbl 1113.81140Kouznetsov, D.; Bisson, J-F; Li, Jianlang; Ueda, K. 3 2007 Pythagorean-hodograph curves on isothermal surfaces. Zbl 0959.65033Ueda, K. 3 1998 Advances in computing science - ASIAN ’97. 3rd Asian computing science conference, Kathmandu, Nepal, December 9–11, 1997. Proceedings. Zbl 0878.00079Shyamasundar, R. K. (ed.); Ueda, K. (ed.) 3 1997 all top 5 Cited by 36 Authors 3 Deshmukh, Jyotirmoy V. 2 Berghammer, Rudolf 2 de Swart, Harrie C. M. 2 Kim, Gwang Il 2 Rusinowska, Agnieszka 2 Suzuki, Ryotaku 2 Tanabe, Kentaro 1 Aréchiga, Nikos 1 Astakhov, Vladimir V. 1 Bolus, Stefan 1 Donzé, Alexandre 1 Dvorak, Anton 1 Emparan, Roberto 1 Ghosh, Shromona 1 Jaros, Patrycja 1 Jin, Xiaoqing 1 Juniwal, Garvit 1 Kahl, Wolfram 1 Kapinski, James 1 Kapitaniak, Marcin 1 Kapitaniak, Tomasz 1 Kong, Jae-Hoon 1 Kozak, Jernej 1 Krajnc, Marjeta 1 Krogh, Bruce H. 1 Lee, Hyun Chol 1 Lee, Sunhong 1 Majumdar, Rupak 1 Perlikowski, Przemyslaw 1 Platzer, André 1 Prabhu, Vinayak S. 1 Seshia, Sanjit Arunkumar 1 Shiromizu, Tetsuya 1 Stankevich, Nataliya Vladimirovna 1 Tanaka, Takahiro 1 Vitrih, Vito all top 5 Cited in 8 Serials 2 European Journal of Operational Research 2 Formal Methods in System Design 2 Journal of High Energy Physics 1 Journal of Computational and Applied Mathematics 1 Computer Aided Geometric Design 1 Abstract and Applied Analysis 1 Regular and Chaotic Dynamics 1 The Journal of Logic and Algebraic Programming all top 5 Cited in 13 Fields 5 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 2 Differential geometry (53-XX) 2 Numerical analysis (65-XX) 2 Relativity and gravitational theory (83-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General algebraic systems (08-XX) 1 Algebraic geometry (14-XX) 1 Category theory; homological algebra (18-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Mechanics of particles and systems (70-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Citations by Year