N. Raja Home Page Coauthor index pubzone.org

Raja Natarajan

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2011
e1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Asperti, Herman Geuvers, Raja Natarajan: Social processes, program verification and all that. Mathematical Structures in Computer Science 19(5): 877-896 (2009)
2008
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Raja Natarajan: On Attending Conferences. IEEE Computer 41(2): 107-108 (2008)
2006
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
N. Raja, R. K. Shyamasundar: Actors as a Coordinating Model of Computation. Informatica (Slovenia) 30(2): 233-244 (2006)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
N. Raja, R. K. Shyamasundar: A closer look at constraints as processes. Inf. Process. Lett. 98(5): 206-210 (2006)
2005
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
N. Raja: A Negation-free Proof of Cantor's Theorem. Notre Dame Journal of Formal Logic 46(2): 231-233 (2005)
2004
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
N. Raja, R. K. Shyamasundar: Type Systems for Concurrent Programming Calculi. Informatica (Slovenia) 28(1): 103-113 (2004)
2003
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
N. Raja, R. K. Shyamasundar: Type Systems for Concurrent Programming Calculi. Informatica (Slovenia) 27(4): 433-443 (2003)
1998
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
N. Raja, R. K. Shyamasundar: Mobile Computation: Calculus and Languages (A Tutorial). ASIAN 1998: 300-304
1997
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
N. Raja, R. K. Shyamasundar: Combinatory Formaulations of Concurrent Languages. ACM Trans. Program. Lang. Syst. 19(6): 899-915 (1997)
1996
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
N. Raja, R. K. Shyamasundar: Actors as a Coordinating Model of Computation (Extended Abstract). Ershov Memorial Conference 1996: 191-202
1995
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
N. Raja, R. K. Shyamasundar: The Quine-Bernays Combinatory Calculus. Int. J. Found. Comput. Sci. 6(4): 417-430 (1995)
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
N. Raja, R. K. Shyamasundar: Combinatory Formulations of Concurrent Languages. ASIAN 1995: 156-170

Coauthor Index

1Andrea Asperti
[j9]
2Herman Geuvers
[j9]
3Adegboyega K. Ojo
[e1]
4R. K. Shyamasundar (Rudrapatna K. Shyamasundar)
[j7] [j6] [j4] [j3] [c3] [j2] [c2] [j1] [c1]
Last update Mon May 20 01:31:55 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page