default search action

combined dblp search
author search
venue search
publication search

ask others

Neel Madhav

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

1993
[b1]
- view
  - electronic edition @ stanford.edu
  - details & citations
- export record
  dblp key:
  - phd/us/Madhav93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Madhav93
Neel Madhav:
Correctness and error detection in a partial order model of distributed program executions. Stanford University, USA, 1993

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2020
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icccnt/MadhavS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icccnt/MadhavS20
Neel Madhav, Ranjit Sadakale:
Analysis of demagnetized BLDC Motor using MATLAB Simulink model and AWT analysis. ICCCNT 2020: 1-5
1996
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/Madhav96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Madhav96
Neel Madhav:
Testing Ada 95 Programs for Conformance to Rapide Architectures. Ada-Europe 1996: 123-134
1991
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/MadhavM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/MadhavM91
Neel Madhav, Sigurd Meldal:
An object-oriented approach to formal specification of reactive systems. ICDCS 1991: 134-141
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/MitchellMM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/MitchellMM91
John C. Mitchell, Sigurd Meldal, Neel Madhav:
An Extension of Standard ML Modules with Subtyping and Inheritance. POPL 1991: 270-278
1990
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/MadhavM90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/MadhavM90
Neel Madhav, Walter Mann:
A methodology for formal specification and implementation of Ada packages. COMPSAC 1990: 491-496
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/MadhavS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/MadhavS90
Neel Madhav, Sriram Sankar:
Application of formal specification to software maintenance. ICSM 1990: 230-241

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.