Edit Profile (opens in new tab) Radhakrishna, Arjun Co-Author Distance Author ID: radhakrishna.arjun Published as: Radhakrishna, Arjun; Radhakrishna, A. Documents Indexed: 18 Publications since 1978 Co-Authors: 14 Co-Authors with 18 Joint Publications 464 Co-Co-Authors all top 5 Co-Authors 0 single-authored 11 Henzinger, Thomas A. 9 Černý, Pavol 6 Bhandari, Mahesh Chandra 3 Samanta, Roopsha 3 Tarrach, Thorsten 2 Chmelík, Martin 2 Clarke, Edmund Melson jun. 2 Ryzhyk, Leonid 1 Alur, Rajeev 1 Boker, Udi 1 Gupta, Ashutosh 1 Kovács, Laura Ildikó 1 Udupa, Abhishek 1 Zwirchmayr, Jakob all top 5 Serials 2 Indian Journal of Pure & Applied Mathematics 2 Tamkang Journal of Mathematics 2 Theoretical Computer Science 1 Publicationes Mathematicae Debrecen 1 Pure & Applied Mathematika Sciences 1 Formal Methods in System Design all top 5 Fields 12 Computer science (68-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 4 Nonassociative rings and algebras (17-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Associative rings and algebras (16-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 11 Publications have been cited 52 times in 44 Documents Cited by ▼ Year ▼ Simulation distances. Zbl 1234.68253 Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun 19 2012 Scaling enumerative program synthesis via divide and conquer. Zbl 1452.68043 Alur, Rajeev; Radhakrishna, Arjun; Udupa, Abhishek 10 2017 Simulation distances. Zbl 1287.68127 Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun 6 2010 From non-preemptive to preemptive scheduling using synchronization synthesis. Zbl 1381.68040 Černý, Pavol; Clarke, Edmund M.; Henzinger, Thomas A.; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten 4 2015 Quantitative abstraction refinement. Zbl 1301.68244 Cerny, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun 4 2013 Succinct representation of concurrent trace sets. Zbl 1345.68108 Gupta, Ashutosh; Henzinger, Thomas A.; Radhakrishna, Arjun; Samanta, Roopsha; Tarrach, Thorsten 2 2015 Interface simulation distances. Zbl 1459.68097 Černý, Pavol; Chmelík, Martin; Henzinger, Thomas A.; Radhakrishna, Arjun 2 2012 Battery transition systems. Zbl 1284.68382 Boker, Udi; Henzinger, Thomas A.; Radhakrishna, Arjun 2 2014 On a class of lattice ordered near-rings. Zbl 0389.16020 Radhakrishna, A.; Bhandari, M. C. 1 1978 From non-preemptive to preemptive scheduling using synchronization synthesis. Zbl 1360.68346 Černý, Pavol; Clarke, Edmund M.; Henzinger, Thomas A.; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten 1 2017 Segment abstraction for worst-case execution time analysis. Zbl 1335.68049 Černý, Pavol; Henzinger, Thomas A.; Kovács, Laura; Radhakrishna, Arjun; Zwirchmayr, Jakob 1 2015 Scaling enumerative program synthesis via divide and conquer. Zbl 1452.68043 Alur, Rajeev; Radhakrishna, Arjun; Udupa, Abhishek 10 2017 From non-preemptive to preemptive scheduling using synchronization synthesis. Zbl 1360.68346 Černý, Pavol; Clarke, Edmund M.; Henzinger, Thomas A.; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten 1 2017 From non-preemptive to preemptive scheduling using synchronization synthesis. Zbl 1381.68040 Černý, Pavol; Clarke, Edmund M.; Henzinger, Thomas A.; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten 4 2015 Succinct representation of concurrent trace sets. Zbl 1345.68108 Gupta, Ashutosh; Henzinger, Thomas A.; Radhakrishna, Arjun; Samanta, Roopsha; Tarrach, Thorsten 2 2015 Segment abstraction for worst-case execution time analysis. Zbl 1335.68049 Černý, Pavol; Henzinger, Thomas A.; Kovács, Laura; Radhakrishna, Arjun; Zwirchmayr, Jakob 1 2015 Battery transition systems. Zbl 1284.68382 Boker, Udi; Henzinger, Thomas A.; Radhakrishna, Arjun 2 2014 Quantitative abstraction refinement. Zbl 1301.68244 Cerny, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun 4 2013 Simulation distances. Zbl 1234.68253 Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun 19 2012 Interface simulation distances. Zbl 1459.68097 Černý, Pavol; Chmelík, Martin; Henzinger, Thomas A.; Radhakrishna, Arjun 2 2012 Simulation distances. Zbl 1287.68127 Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun 6 2010 On a class of lattice ordered near-rings. Zbl 0389.16020 Radhakrishna, A.; Bhandari, M. C. 1 1978 all cited Publications top 5 cited Publications all top 5 Cited by 95 Authors 7 Fahrenberg, Uli 7 Henzinger, Thomas A. 6 Legay, Axel 4 Chatterjee, Krishnendu 4 Reynolds, Andrew 3 Černý, Pavol 3 Larsen, Kim Guldstrand 3 Otop, Jan 3 Radhakrishna, Arjun 2 Barbosa, Haniel 2 Bouajjani, Ahmed 2 Castiglioni, Valentina 2 Chmelík, Martin 2 Clarke, Edmund Melson jun. 2 Enea, Constantin 2 Itzhaky, Shachar 2 Lahiri, Shuvendu Kumar 2 Loreti, Michele 2 Peleg, Hila 2 Polgreen, Elizabeth 2 Randour, Mickael 2 Raskin, Jean-François 2 Thrane, Claus R. 2 Tinelli, Cesare 2 Tini, Simone 2 Traonouez, Louis-Marie 1 Abate, Alessandro 1 Banzhaf, Wolfgang 1 Barrett, Clark W. 1 Bauer, Sebastian S. 1 Becker, Frederic 1 Beillahi, Sidi Mohamed 1 Bisping, Benjamin 1 Bruyère, Véronique 1 Cao, Yongzhi 1 Daca, Przemysław 1 D’Antoni, Loris 1 David, Cristina 1 Hautem, Quentin 1 Hoffmann, Jan-Philipp 1 Hu, Qinheping 1 Ibsen-Jensen, Rasmus 1 Jansen, David N. 1 Jobstmann, Barbara 1 Juhl, Line 1 Kedukodi, Babushri Srinivas 1 Kesseli, Pascal 1 Kim, Jinwoo 1 King, Tim 1 Knoop, Jens 1 Kovács, Laura Ildikó 1 Krasanakis, Emmanouil 1 Křetínský, Jan 1 Kröning, Daniel 1 Kuncak, Viktor 1 Kuncham, Syam Prasad 1 Larraz, Daniel 1 Li, Yongming 1 Lichtman, Benjamin 1 Lieder, Falk 1 Mazzocchi, Nicolas 1 Meyer, Johannes Hendrik 1 Michaliszyn, Jakub 1 Nestmann, Uwe 1 Pan, Haiyu 1 Panackal, Harikrishnan 1 Pavlogiannis, Andreas 1 Polikarpova, Nadia 1 Prasad, Sanjiva 1 Qiao, Sha 1 Quaas, Karin 1 Reps, Thomas W. 1 Rosenmann, Amnon 1 Rowe, Reuben N. S. 1 Ryzhyk, Leonid 1 Sahoo, Tapatee 1 Samanta, Roopsha 1 Saraç, N. Ege 1 Schröder, Lutz 1 Sergey, Ilya 1 Seshia, Sanjit Arunkumar 1 Shoham, Sharon 1 Skirzyński, Julian 1 Smetsers, Rick 1 Symeonidis, Andreas L. 1 Tarrach, Thorsten 1 Vaandrager, Frits W. 1 van den Bos, Petra 1 Veith, Helmut 1 Velner, Yaron 1 von Essen, Christian 1 Wild, Paul 1 Yahav, Eran 1 Zhu, Ping 1 Zwirchmayr, Jakob all top 5 Cited in 15 Serials 7 Formal Methods in System Design 5 Theoretical Computer Science 3 Acta Informatica 3 Logical Methods in Computer Science 2 International Journal of Approximate Reasoning 2 Journal of Logical and Algebraic Methods in Programming 1 Artificial Intelligence 1 Bulletin of the Iranian Mathematical Society 1 Journal of Symbolic Computation 1 Information and Computation 1 Journal of Automated Reasoning 1 Machine Learning 1 Soft Computing 1 Journal of Applied Logic 1 Nonlinear Analysis. Hybrid Systems all top 5 Cited in 6 Fields 43 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Associative rings and algebras (16-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Citations by Year