Edit Profile (opens in new tab) Roop, Partha S. Co-Author Distance Author ID: roop.partha-s Published as: Roop, Partha; Roop, Partha S.; Roop, P. S. more...less Documents Indexed: 11 Publications since 2000 Co-Authors: 23 Co-Authors with 11 Joint Publications 337 Co-Co-Authors all top 5 Co-Authors 0 single-authored 3 Mendler, Michael 2 Aguado, Joaquin 2 Bodin, Bruno 2 Malik, Avinash 2 von Hanxleden, Reinhard 1 Andalam, Sidharta 1 Bigdeli, Abbas 1 Biglari-Abhari, Morteza 1 Crasta, D. A. 1 Girault, Alain 1 Guo, Haifeng 1 Liu, Miao 1 Malik, Robi 1 Pinisetty, Srinivas 1 Pouzet, Marc 1 Pradhan, Ankit 1 Ramakrishnan, C. R. 1 Ramakrishnan, I. V. 1 Ro, Jin Woo 1 Salcic, Zoran 1 Sowmya, Arcot 1 Traulsen, Claus 1 Tripakis, Stavros Serials 2 IEEE Transactions on Computers 1 Formal Methods in System Design 1 Journal of Applied Logic 1 Nonlinear Analysis. Hybrid Systems Fields 11 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year Citations contained in zbMATH Open 1 Publications have been cited 2 times in 2 Documents Cited by ▼ Year ▼ A dynamic quantized state system execution framework for hybrid automata. Zbl 1441.93104Malik, Avinash; Roop, Partha 2 2020 A dynamic quantized state system execution framework for hybrid automata. Zbl 1441.93104Malik, Avinash; Roop, Partha 2 2020 Cited by 1 Author 2 Malik, Avinash Cited in 2 Serials 1 Numerical Algorithms 1 Nonlinear Analysis. Hybrid Systems Cited in 3 Fields 2 Systems theory; control (93-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) Citations by Year