Solving Open-Domain Multiple Choice Questions with Textual Entailment and Text Similarity Measures. - Neil Dhruva; Oliver Ferschke; Iryna Gurevych (CLEF (Working Notes), 2014)

Computing a language-based guarantee for timing properties of cyber-physical systems. - Neil Dhruva; Pratyush Kumar; Georgia Giannopoulou; Lothar Thiele (DATE, 2014)