Ministry of Education
Vidvan Image

Prof Sanjiva Prasad

vidwan id: 16661
Male

Professor, Department of Computer Science and Engineering
Indian Institute of Technology Delhi

Orchid Icon 0000-0001-5887-1237 Google Scholar Icon 34880783600 Google Scholar Icon -OqVbvMAAAAJ&hl=en&oi=ao

Publications

Total Articles 43
Books 0
Proceedings 0

Publications

No publication activity to display at the moment.

Scopus

Citations 644
h-index 10

CrossRef

CrossRef Icon
Citations 302
h-index 8
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

Languages, Semantics, Verification, Programming Languages, Concurrent Systems

Personal Details

  • Male
  • Professor , Indian Institute of Technology Delhi
  • Department of Computer Science and Engineering, Indian Institute of Technology Delhi, Hauz Khas
Ph.D.
Other Institute 1991
Professor Sep 2006 – Present
Indian Institute of Technology Delhi | Department of Computer Science and Engineering
Assistant Professor — – —
Indian Institute of Technology Delhi | Department of Computer Science and Engineering
Associate Professor — – —
Indian Institute of Technology Delhi | Department of Computer Science and Engineering

Related Profiles

Experts (0)

no data found

Organisations (800+)

View All
Bhupendra Singh

Prof Bhupendra Singh Butola

Associate Professor

Bhim

Prof Bhim Singh

SERB National Science Chair and Emeritus Professor

Bhawani Sankar

Prof Bhawani Sankar Panda

Professor

Arudra Venkata

Prof Arudra Venkata Burra

Assistant Professor

Santra

Prof Santra Bodhaditya

Assistant Professor

Badri Prasad

Prof Badri Prasad Patel

Professor

Bijay P.

Prof Bijay P. Tripathi

Associate Professor

Bharati

Prof Bharati Puri

Associate Professor

Bahni

Prof Bahni Ray

Associate Professor

Brejesh

Prof Brejesh Lall

Professor

Co-Authors (24)

Ashok Kumar

Dr Ashok Kumar Mahapatra

All India Institute of Medical Sciences (AIIMS), Delhi

Deepak

Dr Deepak Garg

Professor

Diganta

Prof Diganta Goswami

Indian Institute of Technology Guwahati

Bhawani Shankar

Dr Bhawani Shankar Sharma

All India Institute of Medical Sciences (AIIMS), Delhi

Geeta

Dr Geeta Yadav

Indian Institute of Technology Ropar

K.

K. Gopinath

Indian Institute of Science Bangalore

Govindarajan

Govindarajan R

Indian Institute of Science Bangalore

Kolin

Prof Kolin Paul

Indian Institute of Technology Delhi

G B

Prof G B Mund

Kalinga Institute of Industrial Technology, Bhubaneswar

Preeti Ranjan

Prof Preeti Ranjan Panda

Indian Institute of Technology Delhi

Prem Kumar

Prof Prem Kumar Kalra

Indian Institute of Technology Delhi

R B

Dr R B Keskar

Visvesvaraya National Institute of Technology

S.

Prof S. Arun Kumar

Indian Institute of Technology Delhi

Sandeep

Dr Sandeep Chandran

Indian Institute of Technology, Palakkad

Sneh

Prof Sneh Anand

Indian Institute of Technology Delhi

S. N.

Prof S. N. Maheshwari

Indian Institute of Technology Delhi

Y.N.

Prof Y.N. Srikant

Indian Institute of Science Bangalore

Subhashis

Prof Subhashis Banerjee

Indian Institute of Technology Delhi

Subodh

Prof Subodh Kumar

Indian Institute of Technology Delhi

Ashish

Dr Ashish Suri

All India Institute of Medical Sciences (AIIMS), Delhi

Subodh

Prof Subodh Sharma

Indian Institute of Technology Delhi

Uday

Dr Uday Khedker

Indian Institute of Technology Bombay

Sanjeev

Dr Sanjeev Kumar

Central Scientific Instruments Organization

Vineeth

Prof Vineeth Paleri

National Institute of Technology Calicut

Scholarly Work

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

NEURO-ENDOSCOPE BOX TRAINER

Indian Council of Medical Research
New Delhi
IN | All India Institute of Medical Sciences
New Delhi
IN | Indian Institute of Technology
New Delhi
IN | Department of Science & Technology
New Delhi
IN | INDIAN COUNCIL MEDICAL RES | ALL INDIA INST OF MEDICAL
- Patent No. : US20170316720A1 Filed : 07-04-2017
Published : 02-11-2017 Published

MOYEN DE FORMATION EN CAISSON POUR NEURO-ENDOSCOPE | NEURO-ENDOSCOPE BOX TRAINER

INDIAN COUNCIL OF MEDICAL RESEARCH (ICMR)
IN | ALL INDIA INSTITUTE OF MEDICAL SCIENCES
IN | INDIAN INSTITUTE OF TECHNOLOGY
IN | DEPARTEMENT OF SCIENCE & TECHNOLOGY
IN
- Patent No. : WO2016056025A1 Filed : 08-10-2015
Published : 14-04-2016 Published

Neuroendoskop-Kastentrainer

ALL INDIA INST OF MEDICAL SCIENCES | DEPT OF SCIENCE & TECH | INDIAN COUNCIL MEDICAL RES | INDIAN INST OF TECH DELHI | All India Institute of Medical Sciences
Neu Delhi
IN | Department Of Science & Technology
New Delhi
IN | Indian Council of Medical Resea
- Patent No. : DE112015004617T5 Filed : 08-10-2015
Published : 27-07-2017 Published

Neurobohrer-Schablone-Trainer

ALL INDIA INST OF MEDICAL SCIENCES | DEPT OF SCIENCE & TECH | INDIAN COUNCIL MEDICAL RES | INDIAN INST OF TECH DELHI | All India Institute of Medical Sciences
Neu Delhi
IN | Department Of Science & Technology
New Delhi
IN | Indian Council of Medical Resea
- Patent No. : DE112015004621T5 Filed : 08-10-2015
Published : 22-06-2017 Published

NEURO-ENDOSCOPE BOX TRAINER

INDIAN COUNCIL OF MEDICAL RESEARCH | ALL INDIA INSTITUTE OF MEDICAL SCIENCES | INDIAN INSTITUTE OF TECHNOLOGY | DEPARTMENT OF SCIENCE & TECHNOLOGY
- Patent No. : IN201402875I1 Filed : 08-10-2014
Published : 31-08-2016 Published

Scholarly Publications

An axiomatic basis for communication

Open Access
Article
Year: 2007. Volume: 37 , Issue: 4 , Pages: 217-228 .
Authors: Karsten M.;Keshav S.;Prasad S.;Beg M.
DOI 10.1145/1282427.1282405
6

An Axiomatic Basis for Communication

Open Access
Conference Paper
Year: 2006. Pages: 19-24 .
Authors: Karsten M.;Keshav S.;Prasad S.
7 3

Divide and concur: Employing chandra and toueg's consensus algorithm in a multi-level Setting

Open Access
Conference Paper
Year: 2005. Volume: 3816 LNCS , Pages: 172-183 .
Authors: Agarwal R.;Bisht M.;Maheshwari S.N.;Prasad S.
DOI 10.1007/11604655_21

Effective chemistry for synchrony and asynchrony

Open Access
Conference Paper
Year: 2004. Volume: 155 , Pages: 479-492 .
Authors: Garg D.;Lal A.;Prasad S.
DOI 10.1007/1-4020-8141-3_37
1

Instruction scheduling

Open Access
Book Chapter
Year: 2002. Pages: 631-687 .
Authors: Govindarajan R.
DOI 10.1201/9781420040579
8

Reflecting BDDs in coq

Open Access
Conference Paper
Year: 2000. Volume: 1961 , Pages: 162-181 .
Authors: Verma K.N.;Goubault-Larrecq J.;Prasad S.;Arun-Kumar S.
DOI 10.1007/3-540-44464-5_13
18 28

The game of the name in cryptographic tables

Open Access
Conference Paper
Year: 1999. Volume: 1742 , Pages: 15-26 .
Authors: Amadio R.M.;Prasad S.
DOI 10.1007/3-540-46674-6_3
7 10