×

Radhakrishna, Arjun

Author ID: radhakrishna.arjun Recent zbMATH articles by "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

Publications by Year

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 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

Citations by Year