Selected Publications

Some of my publications are available online:


  • Distributed Computing and Internet Technology: Lecture Notes in Computer Science, Vol. 8337, Springer (2014).

  • Distributed Computing and Internet Technology: Lecture Notes in Computer Science, Vol. 6536, Springer (2011).

  • Social Processes, Program Verification and All That: Mathematical Structures in Computer Science, Vol. 19, No. 5 (2009) 877--896.

  • Interactive Theorem Proving and Verification: Sadhana, Special Issue, Vol. 34, No. 1 (2009).

  • Yet Another Proof of Cantor's Theorem: Dimensions of Logical Concepts, Coleção CLE, Vol. 54, Campinas (2009) 209--217.

  • On Attending Conferences: IEEE Computer, Vol. 41, No. 2 (2008) 107--108.

  • Actors as a Coordinating Model of Computation: Informatica, Vol. 30, No. 2 (2006) 233--244.

  • A Closer Look at Constraints as Processes: Information Processing Letters, Vol. 98, No. 5 (2006) 206--210.

  • A Negation-Free Proof of Cantor's Theorem: Notre Dame Journal of Formal Logic, Vol. 46, No. 2 (2005) 231--233.

  • Type Systems for Concurrent Programming Calculi: Informatica, Vol. 28, No. 1 (2004) 103--113.

  • Combinatory Formulations of Concurrent Languages: ACM Transactions on Programming Languages and Systems, Vol. 19, No. 6 (1997) 899--915.

  • The Quine-Bernays Combinatory Calculus: International Journal of Foundations of Computer Science, Vol. 6, No. 4 (1995) 417--430.

  • Web-Scripting Languages for Free: Proc. International Conference on Software Engineering Applied to Networking and Parallel/ Distributed Computing (SNPD'00), Reims, France (2000) 289--296.

  • Mobile Computation: Calculus and Languages: Advances in Computing Science, LNCS 1538, Springer-Verlag, Berlin (1998) 300--304.


    N. Raja | TIFR | STCS | raja [at] tifr [dot] res [dot] in