Prof Gopalan Nadathur

vidwan id: 90565

Male

6603138932 Google Scholar Icon

jpXyNF8AAAAJ&hl

Expertise

Computer Science Software Engineering

Publications

Total Articles 44

Books 0

Proceedings 0

Publications

Scopus

Citations 1043

h-index 15

CrossRef

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

Assistant Professor

Assistant Professor

N/A

Assistant Professor

Assistant Professor

Doctor

Assistant Professor (Grade-I)

Dr N PRAKASH

Assistant Professor

Mr Mrinmoy Sadhukhan

Research Scholar

Mr Haranath Rakshit

Junior Research Fellow

Organisation (0)

Co-Authors (53)

Dr Asis Kumar Chattopadhyay

Calcutta University

Dr Arun K. Pujari

University of Hyderabad

Dr Amitava Bandyopadhyay

Calcutta University

Prof Anurag Singh Rathore

N/A

Prof Arun K Pujari

University of Hyderabad

Dr Atul Negi

University of Hyderabad

Prof Subhash Bhalla

N/A

Dr Bhojaraju Gunjal

Indian Institute of Technology Hyderabad

Dr Bibhuti Bhusan Das

National Institute of Technology Karnataka

Prof Raghavendra Rao Chillarige

University of Hyderabad

Prof Daizy Batish

Panjab University

Dr Devesh C. Jinwala

S.V. National Institute of Technology

Dr Dhananjay Gopal

S.V. National Institute of Technology

Dr Balamurugan G

CSIR-National Aerospace Laboratories

Dr G.S.V.L. Narasimham

Indian Institute of Science Bangalore

Prof S.V. Raghavan

N/A

Dr Githa S Heggde

N/A

Dr Harminder Pal Singh

Panjab University

Prof Arun Mohan Isloor

National Institute of Technology Karnataka

Dr Kamal Kumar

Indira Gandhi Delhi Technical University For Women, New Delhi

Dr Kamlendra Awasthi

Malaviya National Institute of Technology Jaipur

Panjab University

N/A

N/A

Calcutta University

NITTE Institute of Technology, Bangalore

Dr Parongama Sen

Calcutta University

Prof Phalguni Gupta

N/A

Prof Ramakrishna Ramaswamy

N/A

Prof Ramachary Dhevalapally B.

University of Hyderabad

Dr Raveendranath U Nair

CSIR-National Aerospace Laboratories

Prof R B Bapat

Indian Statistical Institute, Kolkata

Dr Periakaruppan RM

PSG College of Technology

Prof Rukmani Mohanta

University of Hyderabad

Prof Rahul Mukerjee

Indian Institute of Management Calcutta

Dr Rohit Sharma

Panjab University

Prof Senthilkumaran Balasubramanian

University of Hyderabad

Dr Santoshi Halder

Calcutta University

Dr Indrani Bhattacharya

Calcutta University

Dr Kiran Singh

Banaras Hindu University

Prof Sarat Kumar Patra

Indian Institute of Information Technology, Vadodara

Dr Snehasis Mukherjee

N/A

Dr Shina Sheen

PSG College of Technology

Dr Susmita Sarkar

Calcutta University

Prof Swagatam Das

Indian Statistical Institute, Kolkata

Prof Timothy A. Gonsalves

N/A

Dr Mohit P Tahiliani

National Institute of Technology Karnataka

Dr Tanuka Chattopadhyay

Calcutta University

Prof T S Sampath Kumar

N/A

Prof Siba Udgata

University of Hyderabad

Prof K.S. Valdiya

Jawaharlal Nehru Centre for Advanced Scientific Research, Banaglore

Prof Ravinder Kumar Kohli

N/A

Prof Virendra S. Bisaria

N/A

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

Mathematical Structures in Computer Science. Year: 2019. Volume: 29 , Issue: 8 , Pages: 1007-1008 .

Authors:

10.1017/S0960129519000136

Schematic polymorphism in the Abella proof assistant

Open Access

Conference Paper

Year: 2018.

Authors: Nadathur G.

10.1145/3236950.3236961

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

Open Access

Conference Paper

Year: 2016. Volume: 9632 , Pages: 752-779 .

Authors: Wang Y.

10.1007/978-3-662-49498-1_29

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

Open Access

Book Chapter

Year: 2016. Pages: 270-279 .

Authors: Gunjal B.

10.4018/978-1-5225-1741-2.ch013

Abella: A system for reasoning about relational specifications

Open Access

Article

Year: 2015. Volume: 7 , Issue: 2 , Pages: 1-89 .

Authors: Baelde D.

A λprolog based animation of twelf specifications

Open Access

Conference Paper

Year: 2014. Pages: 63-78 .

Authors: Southern M.

Reasoning about higher-order relational specifications

Open Access

Conference Paper

Year: 2013. Pages: 157-168 .

Authors: Wang Y.

10.1145/2505879.2505889

Combinatorial matrix theory and generalized inverses of matrices

Open Access

Book

Year: 2013. Pages: 1-277 .

Authors: Bapat R.;Kirkland S.;Prasad K.;Puntanen S.

10.1007/978-81-322-1053-5

« Previous
Next »

Showing 1 to 8 of 44 results