• Campus Header
  • Institute Header
Home
Academics

Integrated first degree

B.E.(Mechanical)
B.E.(Electrical and Electronics)
B.E.(Computer Science)
M.Sc.(Biological Sciences)
B.E.(Chemical)
M.Sc.(Physics)
B.E.(Electronics and Instrumentation)
M.Sc.(Chemistry)
M.Sc.(Mathematics)
M.Sc.(Economics)
B.E.(Electronics and Communication)

Higher Degree

M.E.(Sanitation Science, Technology and Management)
M.E.(Embedded Systems)
M.E. Chemical Engineering (with specialization in Petroleum Engineering)
M.E.(Microelectronics)
M.E.(Biotechnology)
M.E.(Chemical)
M.E.(Mechanical)
M.E.(Design Engineering)
M.E.(Computer Science)
M.E.(Environmental Engineering)

Doctor Programmes

Electrical & Electronics Engineering
Economics & Finance
Physics
Biological Sciences
Humanities & Social Sciences
Chemical Engineering
Mathematics
Computer Science & Information Systems
Chemistry
Mechanical Engineering
Admission
Research & Innovation
Department
Faculty
Students
Centers
Alumni
Quick Links
Campus
Pilani
Dubai
K K Birla Goa
Hyderabad
BITSoM, Mumbai
BITS Law School, Mumbai
Links For
BITS Library
Admissions
Faculty
Practice School
Placements
Student Arena
Career
News
Alumni
Internationalization
Events
MOUs
Current Students
Invest in Leaders
Outreach
Picture Gallery
Admission
Integrated first degree
Higher degree
Doctorol programmes
International Admissions
Online Admissions
BITSAT
IMPORTANT CONTACTS
Pilani
Dubai
Goa
Hyderabad
RESEARCH & INNOVATION
Overview
Sponsored Research Projects
Consultancy Based Projects
Patents
Publications
R&D Centers
DEPARTMENTS
Pilani
Dubai
Goa
Hyderabad
Academics

Integrated First Degree

B.E.(Biotechnology)
B.E.(Chemical)
B.E.(Civil)
B.E.(Computer Science)
B.E.(Electrical and Electronics)
B.E.(Electronics and Communication)
B.E.(Electronics and Instrumentation)
B.E.(Manufacturing Engineering)
B.E.(Mechanical)
B.Pharm.(Pharmacy)
M.Sc.(Biological Sciences)
M.Sc.(Chemistry)
M.Sc.(Economics)
M.Sc.(General Studies)
M.Sc.(Mathematics)
M.Sc.(Physics)
B.E. (Mathematics and Computing)

Higher Degree

MBA (Master of Business Administration in Business Analytics)
MBA (Master of Business Administration)
M.E.(Electrical with specialization in Power Electronics and Drives)
MBA (Master of Business Administration)
M.E. Civil – Water Resource Engineering
M. E. Computer Science with Specialization in Information Security with B.Sc. input
M.E. (Mechanical with specialization in Thermal Engineering)
M.E. Chemical Engineering (with specialization in Petroleum Engineering)
M.E. Electronics & Control
M.E. M.Pharm
M.E.(Biotechnology)
M.E.(Chemical)
M.E.(Civil with specialization in Infrastructure Engineering and Management)
M.E.(Civil with specialization in Structural Engineering)
M.E.(Civil with specialization in Transportation Engineering)
M.E.(Communication Engineering)
M.E.(Computer Science)
M.E.(Design Engineering)
M.E.(Embedded Systems)
M.E.(Manufacturing Systems Engineering)
M.E.(Mechanical)
M.E.(Microelectronics)
M.E.(Sanitation Science, Technology and Management)
M.E.(Software Systems)
M.Pharm.(Pharmaceutical Chemistry)
M.Pharm.(Pharmaceutics)
M.Pharm.(Pharmacology)
M.Pharm.(Pharmacy)
M.Sc. General Studies – Communication and Media Studies Stream
Master in Public Health
MBA(Master of Business Administration In Business Analytics)

Doctoral Programmes

Biological Sciences
Chemical Engineering
Chemistry
Civil Engineering
Computer Science & Information Systems
Economics & Finance
Electrical & Electronics Engineering
Humanities & Social Sciences
Management
Mathematics
Mechanical Engineering
Pharmacy
Physics
General Sciences

WILP

Dubai Campus

Integrated First Degree
Higher Degree
Doctoral Programmes
Explore BITS
About
Legacy
Achievements
Social Responsibility
Sustainability
Divisions
Pilani
K K Birla Goa
Hyderabad
Dubai
follow us
Feedback

A. Baskar

goa Computer Science & Information Systems

Assistant Professor

Theoretical Computer Science
D166, Department of Computer Science and Information Systems, BITS Pilani K K Birla Goa Campus
abaskar@goa.bits-pilani.ac.in
0832-2580221
https://www.linkedin.com/in/a-baskar-77b423277/
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.

Keep Exploring

Faculty
Events
News