Feedback

A. Baskar

Assistant Professor

Theoretical Computer Science
D166, Department of Computer Science and Information Systems, BITS Pilani K K Birla Goa Campus
Baskar

Conference/Journal Papers

  • Ashwin Srinivasan, A Baskar, Tirtharaj Dash, Devanshu Shah, Composition of Relational Features with an Application to explaining black-box predictors, Machine Learning 113, 2024, 1091-1132

  • 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.