Eldar Khalilov

According to our database, Eldar Khalilov authored at least 2 papers between 2015 and 2016.

Collaborative distances:

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

2016

Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners.

Eldar Khalilov, Jordan A. Ross, Michal Antkiewicz, Markus Völter, Krzysztof Czarnecki

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

2015

WaterlooClarke: TREC 2015 Clinical Decision Support Track.

Amira Ghenai, Eldar Khalilov, Pavel Valov, Charles L. A. Clarke

Proceedings of The Twenty-Fourth Text REtrieval Conference, 2015