Raja Natarajan
List of publications from the DBLP Bibliography Server - FAQ| 2011 | ||
|---|---|---|
| e1 | Raja Natarajan, Adegboyega K. Ojo (Eds.): Distributed Computing and Internet Technology - 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings. Lecture Notes in Computer Science 6536, Springer 2011, isbn 978-3-642-19055-1 | |
| 2009 | ||
| j9 | Andrea Asperti, Herman Geuvers, Raja Natarajan: Social processes, program verification and all that. Mathematical Structures in Computer Science 19(5): 877-896 (2009) | |
| 2008 | ||
| j8 | ||
| 2006 | ||
| j7 | N. Raja, R. K. Shyamasundar: Actors as a Coordinating Model of Computation. Informatica (Slovenia) 30(2): 233-244 (2006) | |
| j6 | N. Raja, R. K. Shyamasundar: A closer look at constraints as processes. Inf. Process. Lett. 98(5): 206-210 (2006) | |
| 2005 | ||
| j5 | N. Raja: A Negation-free Proof of Cantor's Theorem. Notre Dame Journal of Formal Logic 46(2): 231-233 (2005) | |
| 2004 | ||
| j4 | N. Raja, R. K. Shyamasundar: Type Systems for Concurrent Programming Calculi. Informatica (Slovenia) 28(1): 103-113 (2004) | |
| 2003 | ||
| j3 | N. Raja, R. K. Shyamasundar: Type Systems for Concurrent Programming Calculi. Informatica (Slovenia) 27(4): 433-443 (2003) | |
| 1998 | ||
| c3 | N. Raja, R. K. Shyamasundar: Mobile Computation: Calculus and Languages (A Tutorial). ASIAN 1998: 300-304 | |
| 1997 | ||
| j2 | N. Raja, R. K. Shyamasundar: Combinatory Formaulations of Concurrent Languages. ACM Trans. Program. Lang. Syst. 19(6): 899-915 (1997) | |
| 1996 | ||
| c2 | N. Raja, R. K. Shyamasundar: Actors as a Coordinating Model of Computation (Extended Abstract). Ershov Memorial Conference 1996: 191-202 | |
| 1995 | ||
| j1 | N. Raja, R. K. Shyamasundar: The Quine-Bernays Combinatory Calculus. Int. J. Found. Comput. Sci. 6(4): 417-430 (1995) | |
| c1 | ||
| 1 | Andrea Asperti | |
| 2 | Herman Geuvers | |
| 3 | Adegboyega K. Ojo | |
| 4 | R. K. Shyamasundar (Rudrapatna K. Shyamasundar) |
Data released under the ODC-BY 1.0 license — See also our legal information page