Rahul Kumar

Affiliations:

Microsoft Research, Redmond, WA, USA
California Institute of Technology, Pasadena, CA, USA (former)

According to our database¹, Rahul Kumar authored at least 6 papers between 2015 and 2018.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2018

Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction).

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2016

Verified Change.

[BibT_eX]

[DOI]

Klaus Havelund

Rahul Kumar

LNCS Trans. Found. Mastering Chang., 2016

K: A Wide Spectrum Language for Modeling, Programming and Analysis.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2016, 2016

Towards a Unified View of Modeling and Programming (Track Summary).

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Towards a Unified View of Modeling and Programming.

[BibT_eX]

[DOI]

Manfred Broy

Klaus Havelund

Rahul Kumar

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

Domain-Specific Languages with Scala.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2015

Rahul Kumar

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...