Neil Dhruva

According to our database, Neil Dhruva authored at least 2 papers in 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Computing a language-based guarantee for timing properties of cyber-physical systems.

Neil Dhruva, Pratyush Kumar, Georgia Giannopoulou, Lothar Thiele

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Solving Open-Domain Multiple Choice Questions with Textual Entailment and Text Similarity Measures.

Neil Dhruva, Oliver Ferschke, Iryna Gurevych

Proceedings of the Working Notes for CLEF 2014 Conference, 2014