BITS Pilani

  • Page last updated on Tuesday, February 21, 2023

You are here:

Publications

banner
Publications

Publications

 Click here for Google Scholar Page. 

  • Michael Bain, Ashwin Srinivasan, Baskar Anguraj, Learning explanations for biological feedback with delays using an event calculus, Machine Learning 111, 2022 2435-2487 
  • Dash Tirtharaj, Srinivasan Ashwin, Baskar A,  Inclusion of domain-knowledge into GNNs using mode-directed inverse entailment, Machine Learning 111, 2022, 575-623 
  • A. Baskar , R. Ramanujam, S.P. Suresh, Dolev-Yao Theory with Associative Blindpair Operators , Proceedings of 24th International Conference on Implementation and Application of Automata 2019, LNCS 11601, 58-69 
  • Tirtharaj Dash, Ashwin Srinivasan, Ramprasad Joshi, Baskar Anguraj, Discrete Stochastic Search And Its Application To Feature-Selection For Deep Relational Machines, International Conference on Artificial Neural Networks 2019, LNCS 11728, 29-45 
  • A. Baskar, Prasad Naldurg, K.R. Raghavendra, S.P. Suresh,  Primal infon logic: derivability in polynomial time, Proceedings of Foundations of Software Technology and Theoretical Computer Science 2013, 162-174.
  • A. Baskar, R. Ramanujam, S.P. Suresh,  A DEXPTIME-complete Dolev-Yao theory with distributive encryption, Proceedings of 35th International Symposium on Mathematical Foundations of Computer Science 2010, LNCS 6281, 102-113
  • A. Baskar, R. Ramanujam, S.P. Suresh,  A Dolev-Yao model for Zero Knowledge. Proceedings of 13th Annual Asian Computing Science Conference 2009, LNCS 5913, 137-146.
  • A. Baskar, R. Ramanujam, S.P. Suresh,  Knowledge-based Modeling of voting protocols.  Proceedings of Theoretical Aspects of Rationality and Knowledge 2007, 62-71.

Quick Links

    An Institution Deemed to be University estd. vide Sec.3 of the UGC Act,1956 under notification # F.12-23/63.U-2 of Jun 18,1964

    © 2024 Centre for Software Development,SDET Unit, BITS-Pilani, India.

    Designed and developed by fractal | ink design studios