Browse by Fellow

Bhattacharjee, A. K. ; Shyamasundar, R. K. (2009) Activity diagrams: a formal framework to model business processes and code generation Journal of Object Technology, 8 (1). pp. 189-220. ISSN 1660-1769

Suryadevara, Jagadish ; Chung, Lawrence ; Shyamasundar, R. K. (2008) cmUML - A UML based framework for formal specification of concurrent, reactive systems Journal of Object Technology, 7 (8). pp. 187-207. ISSN 1660-1769

Shyamasundar, R. K. (2007) Boolean matrix method for the construction of hierarchical graphs IEEE Transactions on Systems, Man, and Cybernetics, 8 (2). 132 - 133. ISSN 1094-6977

Suryadevara, Jagadish ; Shyamasundar, R. K. (2007) UML-based approach to specify secured, fine-grained concurrent access to shared resources Journal of Object Technology, 6 (1). 107-119,. ISSN 1660-1769

Raja, N. ; Shyamasundar, R. K. (2006) A closer look at constraints as processes Information Processing Letters, 98 (5). pp. 206-210. ISSN 0020-0190

Kundaji, Rohit N. ; Shyamasundar, R. K. (2006) Refinement calculus: A basis for translation validation, debugging and certification Theoretical Computer Science, 354 (1). pp. 153-168. ISSN 0304-3975

Raja, N. ; Shyamasundar, R. K. (2006) Actors as a coordinating model of computation Informatica, 30 (2). pp. 233-244. ISSN 0350-5596

Borkar, V. S. ; Dave, M. S. ; Shyamasundar, R. K. (2005) Design and implementation of SeTiA: secure multi auction system I: Auction mechanisms Journal of Intelligent Systems, 14 (1). pp. 45-68. ISSN 0334-1860

Borkar, V. S. ; Dave, M. S. ; Shyamasundar, R. K. (2005) Design and implementation of SeTiA: secure multi auction system II: Architecture and implementation issues Journal of Intelligent Systems, 14 (1). pp. 69-93. ISSN 0334-1860

Patil, Vishwas ; Shyamasundar, R. K. (2005) Trust management for e-transactions Sadhana : Academy Proceedings in Engineering Sciences, 30 (2-3). pp. 141-158. ISSN 0256-2499

Patil, Vishwas ; Shyamasundar, R. K. (2005) e-coupons: An efficient, secure and delegable micro-payment system Information Systems Frontiers, 7 (4-5). pp. 371-389. ISSN 1572-9419

Raja, N. ; Shyamasundar, R. K. (2003) Type systems for concurrent programming calculi Informatica, 27 (4). pp. 433-443. ISSN 0868-4952

Bhattacharjee, A. K. ; Dhodapkara, S. D. ; Shyamasundar, R. K. (2001) PERTS: an environment for specification and verification of reactive systems Reliability Engineering & System Safety, 71 (3). pp. 299-310. ISSN 0951-8320

Anand, K. C. ; Shyamasundar, R. K. (2000) Formal verification of activity based specification of protocols Journal of Parallel and Distributed Computing, 60 (5). pp. 639-676. ISSN 0743-7315

Koymans, R. ; Shyamasundar, R. K. ; de Roever, W. P. ; Gerth, R. ; ArunKumar, S. (1998) Compositional semantics for real-time distributed computing Information and Computation, 79 (3). pp. 210-256. ISSN 0890-5401

Krishna Rao, M. R. K. ; Kapur, Deepak ; Shyamasundar, R. K. (1998) Transformational methodology for proving termination of logic programs The Journal of Logic Programming, 34 (1). pp. 1-41. ISSN 0743-1066

Khemka, Ashok ; Shyamasundar, R. K. (1997) An optimal multiprocessor real-time scheduling algorithm Journal of Parallel and Distributed Computing, 43 (1). pp. 37-45. ISSN 0743-7315

Krishna Rao, M. R. K. ; Kapur, D. ; Shyamasundar, R. K. (1997) Proving termination of GHC programs New Generation Computing, 15 (3). pp. 293-338. ISSN 0288-3635

Boussinot, F ; Ramesh, S ; Shyamasundar, R. K. ; Simone, R. De. (1996) Validation and analysis of the future bus arbitration protocol: a case study Sadhana (Academy Proceedings in Engineering Sciences), 21 (2). pp. 185-211. ISSN 0256-2499

Kazerouni, Ladan ; Rajan, Basant ; Shyamasundar, R. K. (1996) Mapping linear recurrence equations onto systolic architecture International Journal of High Speed Computing, 8 (3). pp. 229-270. ISSN 0129-0533

Raja, N. ; Shyamasundar, R. K. (1995) The quine-bernays combinatory calculus International Journal of Foundations of Computer Science, 6 (4). pp. 417-430. ISSN 0129-0541

Shyamasundar, R. K. (1994) Design of software for safety critical systems Sadhana : Academy Proceedings in Engineering Sciences, 19 (6). pp. 941-969. ISSN 0256-2499

Wang, Bal ; Shyamasundar, R. K. (1994) A methodology for proving termination of logic programs The Journal of Logic Programming, 21 (1). pp. 1-30. ISSN 0743-1066

Liu, Leo YuHsiang ; Shyamasundar, R. K. (1994) RT-CDL: A distributed real-time design language and its operational semantics Computer Languages, 20 (1). pp. 1-23. ISSN 0096-0551

Shyamasundar, R. K. ; Narayana, K. T. ; Pitassi, T. (1993) Semantics of nondeterministic asynchronous broadcast networks Information and Computation, 104 (2). pp. 215-252. ISSN 0890-5401

Shyamasundar , Ashok Khemka R.K. (1993) Multiprocessor scheduling of periodic tasks in a hard real-time environment International Journal of High Speed Computing, 5 (4). pp. 617-636. ISSN 0129-0533

Shyamasundar, R. K. ; Liu, L. Y. (1992) Compositional priority specification in real-time distributed systems Sadhana (Academy Proceedings in Engineering Sciences), 17 (1). pp. 75-93. ISSN 0256-2499

Shyamasundar, R. K. ; Ramesh, S. (1992) Modelling real-time systems: issues and challenges Sadhana (Academy Proceedings in Engineering Sciences), 17 (1). pp. 1-28. ISSN 0256-2499

Liu, L. Y. ; Shyamasundar, R. K. (1990) Static analysis of real-time distributed systems IEEE Transactions on Software Engineering, 16 (4). 373 - 388. ISSN 0098-5589

Liu, Leo Y. ; Shyamasundar, R. K. (1990) Exception handling in RT-CDL Computer Languages, 15 (3). pp. 177-192. ISSN 0096-0551

Lodaya, K. ; Shyamasundar, R. K. (1990) Proof theory for exception handling in a tasking environment Acta Informatica, 28 (1). pp. 7-41. ISSN 0001-5903

Shyamasundar, R. K. ; Thatcher, J. W. (1989) Language constructs for specifying concurrency in CDL IEEE Transactions on Software Engineering, 15 (8). 977 - 993. ISSN 0098-5589

Ravichandran, A. ; Shyamasundar, R. K. (1986) Correctness proof for the majority consensus algorithm Information Sciences, 38 (3). pp. 213-227. ISSN 0020-0255

Shyamasundar, R. K. (1984) A simple livelock-free algorithm for packet switching Science of Computer Programming, 4 (3). pp. 249-256. ISSN 0167-6423

Murali, V. ; Shyamasundar, R. K. (1983) A sentence generator for a compiler for PT, a Pascal subset Software: Practice and Experience, 13 (9). pp. 857-869. ISSN 0038-0644

Shyamasundar, R. K. (1982) On a characterization of pushdown permuters Theoretical Computer Science, 17 (3). pp. 333-341. ISSN 0304-3975

Hehner, Eric. C. R. ; Shyamasundar, R. K. (1981) An implementation of P and V Information Processing Letters, 12 (4). pp. 196-198. ISSN 0020-0190

Rajasethupathya, K. S. ; Shyamasundar, R. K. (1980) Programmed OL-systems Information Sciences, 20 (2). pp. 137-150. ISSN 0020-0255

Shyamasundar, R. K. (1979) On the covering of syntax-directed translations for context-free grammars Proceedings of the Indian Academy of Sciences, Section A, 88 (1). pp. 1-19. ISSN 0370-0089

Shyamasundar, R. K. (1979) Precedence-regular grammars International Journal of Computer Mathematics, 7 (3). pp. 173-186. ISSN 0020-7160

Shyamasundar, R. K. (1977) Precedence parsing using Domolki's algorithm International Journal of Computer Mathematics, 6 (2). pp. 105-114. ISSN 0020-7160

Kuich, Werner ; Shyamasundar, R. K. (1976) The structure generating function of some families of languages Information and Control, 32 (1). pp. 85-92. ISSN 0019-9958

Shyamasundar, R. K. (1976) A note on linear precedence functions Information Processing Letters, 5 (3). p. 81. ISSN 0020-0190

Shyamasundar, R. K. (1975) Necessary and sufficient conditions for a power language to be deterministic International Journal of Computer Mathematics, 5 (1-4). pp. 133-142. ISSN 0020-7160

Shyamasundar, R. K. (1974) Algorithms for constructing hierarchical graphs IEEE Transactions on Systems, Man, and Cybernetics, 4 (5). 459 - 461. ISSN 1083-4427