title   
  

Creator/Author/Editor: Tompits, Hans

2012

De Vos, Marina and Kısa, Doğa Gizem and Oetsch, Johannes and Puehrer, Joerg and Tompits, Hans (2012) Annotating answer-set programs in LANA. Theory and Practice of Logic Programming, 12 (Part 4-5). pp. 619-637. ISSN 1471-0684 (Print) 1475-3081 (Online)

Barin, Martin and Erdem, Esra and Inoue, Katsumi and Oetsch, Johannes and Puhrer, Jorg and Tompits, Hans and Yılmaz, Cemal (2012) Event-sequence testing using answer-set programming. (Accepted/In Press)

2011

Erdem, Esra and Inoue, Katsumi and Oetsch, Johannes and Pührer, Jörg and Tompits, Hans and Yılmaz, Cemal (2011) Answer-set programming as a new approach to event-sequence testing. In: International Conference on Advances in System Testing and Validation Lifecycle, (Accepted/In Press)

This list was generated on Thu Jul 31 21:50:37 2014 EEST.