Vidvan Image

Prof Gopalan Nadathur

vidwan id: 90565
Male

,

Expertise

  • Computer Science Software Engineering

Publications

Total Articles 44
Books 0
Proceedings 0

Publications

No publication activity to display at the moment.

Scopus

Citations 1043
h-index 15

CrossRef

CrossRef Icon
Citations 641
h-index 11
Google Scholar

Loading Scholar statistics...

Professional Recognition

No Data Found

There is currently nothing to display here.

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Bio

Programming Languages

Personal Details

  • Male
  • Indian Institute of Technology Delhi, Hauz Khas
No Data Found

There is currently nothing to display here.

Adjunct Lecturer — – —
Indian Institute of Technology Delhi | Department of Computer Science and Engineering

Related Profiles

Experts (10184+)

View All
Pragati

Ms Pragati Mishra

Assistant Professor

Sridhar

Dr Sridhar Sekar

Assistant Professor

Md

Dr Md Nadeem M

Assistant Professor

Rashmi

Rashmi Chandra

Assistant Professor

Abhishek

Mr Abhishek Shukla

Assistant Professor (Grade-I)

N

Dr N PRAKASH

Assistant Professor

Mrinmoy

Mr Mrinmoy Sadhukhan

Research Scholar

Haranath

Mr Haranath Rakshit

Junior Research Fellow

Organisation (0)

no data

Co-Authors (53)

Asis Kumar

Dr Asis Kumar Chattopadhyay

Calcutta University

Arun K.

Dr Arun K. Pujari

University of Hyderabad

Amitava

Dr Amitava Bandyopadhyay

Calcutta University

Arun K

Prof Arun K Pujari

University of Hyderabad

Atul

Dr Atul Negi

University of Hyderabad

Bhojaraju

Dr Bhojaraju Gunjal

Indian Institute of Technology Hyderabad

Bibhuti Bhusan

Dr Bibhuti Bhusan Das

National Institute of Technology Karnataka

Raghavendra Rao

Prof Raghavendra Rao Chillarige

University of Hyderabad

Daizy

Prof Daizy Batish

Panjab University

Devesh C.

Dr Devesh C. Jinwala

S.V. National Institute of Technology

Dhananjay

Dr Dhananjay Gopal

S.V. National Institute of Technology

Balamurugan

Dr Balamurugan G

CSIR-National Aerospace Laboratories

G.S.V.L.

Dr G.S.V.L. Narasimham

Indian Institute of Science Bangalore

Harminder Pal

Dr Harminder Pal Singh

Panjab University

Arun Mohan

Prof Arun Mohan Isloor

National Institute of Technology Karnataka

Kamal

Dr Kamal Kumar

Indira Gandhi Delhi Technical University For Women, New Delhi

Kamlendra

Dr Kamlendra Awasthi

Malaviya National Institute of Technology Jaipur

Kuldeep

Dr Kuldeep Kumar

Panjab University

Nabendu

Dr Nabendu Chaki

Calcutta University

Nalini

Prof Nalini N

NITTE Institute of Technology, Bangalore

Parongama

Dr Parongama Sen

Calcutta University

Ramachary

Prof Ramachary Dhevalapally B.

University of Hyderabad

Raveendranath U

Dr Raveendranath U Nair

CSIR-National Aerospace Laboratories

R B

Prof R B Bapat

Indian Statistical Institute, Kolkata

Periakaruppan

Dr Periakaruppan RM

PSG College of Technology

Rukmani

Prof Rukmani Mohanta

University of Hyderabad

Rahul

Prof Rahul Mukerjee

Indian Institute of Management Calcutta

Rohit

Dr Rohit Sharma

Panjab University

Santoshi

Dr Santoshi Halder

Calcutta University

Indrani

Dr Indrani Bhattacharya

Calcutta University

Kiran

Dr Kiran Singh

Banaras Hindu University

Sarat Kumar

Prof Sarat Kumar Patra

Indian Institute of Information Technology, Vadodara

Shina Sheen

Dr Shina Sheen

PSG College of Technology

Susmita

Dr Susmita Sarkar

Calcutta University

Swagatam

Prof Swagatam Das

Indian Statistical Institute, Kolkata

Mohit P

Dr Mohit P Tahiliani

National Institute of Technology Karnataka

Tanuka

Dr Tanuka Chattopadhyay

Calcutta University

Siba

Prof Siba Udgata

University of Hyderabad

K.S.

Prof K.S. Valdiya

Jawaharlal Nehru Centre for Advanced Scientific Research, Banaglore

Scholarly Work

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Scholarly Publications

A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday

Open Access
Editorial

Schematic polymorphism in the Abella proof assistant

Open Access
Conference Paper

A higher-order abstract syntax approach to verified transformations on functional programs

Open Access
Conference Paper

Managing knowledge and scholarly assets in academic libraries: Issues and challenges

Open Access
Book Chapter

Abella: A system for reasoning about relational specifications

Open Access
Article

A λprolog based animation of twelf specifications

Open Access
Conference Paper
Authors: Southern M.
1

Reasoning about higher-order relational specifications

Open Access
Conference Paper

Combinatorial matrix theory and generalized inverses of matrices

Open Access
Book
Authors: Bapat R.;Kirkland S.;Prasad K.;Puntanen S.