Rajagiri Hospital — India
Computer Science · Physical Sciences
45h-index10.1kcitations166works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(72), Parallel Computing and Optimization Techniques(55), Formal Methods in Verification(35), Distributed and Parallel Computing Systems(20), Distributed systems and fault tolerance(15)
Publications166 total
Environmental Quality Management·2021Open Access
Cambridge University Press eBooks·2018· 14 cited
The Haskell School of Music: From Signals to Symphonies
2018· 24 cited
2016· 1 citedOpen Access
2015· 6 cited
HAL (Le Centre pour la Communication Scientifique Directe)·2015· 4 citedOpen Access
Media Modules: Intermedia Systems in a Pure Functional Paradigm
The Journal of the Abraham Lincoln Association·2015· 2 cited
2014· 12 citedOpen Access
ACM SIGPLAN Notices·2014· 2 cited
2014· 13 cited
International Journal of Applied Mechanics and Engineering·2013· 12 citedOpen Access
ACM SIGPLAN Notices·2013· 2 citedOpen Access
2013· 28 cited
2013· 6 cited
ACM SIGCOMM Computer Communication Review·2013· 48 cited
2013· 190 cited
A TEMPORAL GENERATIVE GRAPH GRAMMAR FOR HARMONIC AND METRICAL STRUCTURE
The Journal of the Abraham Lincoln Association·2013· 10 cited
ACM SIGPLAN Notices·2012· 1 cited
page 1 of 9Next →
Frequent Co-authors
Richard Kelsey(5), John Peterson(4), David Kranz(4), Zhanyong Wan(4), Andreas Voellmy(4), Philip Wadler(3), Joseph H. Fasel(3), John Hughes(3), Conal Elliott(3), Sheng Liang(3), Jonathan Rees(3), James Philbin(3), Norman I. Adams(3), Simon Peyton Jones(2), Brian Boutel(2), Jon Fairbairn(2), María M. Guzmán(2), Kevin Hammond(2), Thomas Johnsson(2), Rishiyur S. Nikhil(2)