Name Card

Full name Familienname, Vorname
INSTICC
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Rathfux, Thomas ; Kaindl, Hermann ; Hoch, Ralph ; Lukasch, Franz An Experimental Evaluation of Design Space Exploration of Hardware/Software InterfacesKonferenzbeitrag Inproceedings2019
2Rathfux, Thomas ; Kaindl, Hermann ; Hoch, Ralph ; Lukasch, Franz Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breakingKonferenzbeitrag Inproceedings2019
3Hoch, Ralph ; Kaindl, Hermann Verification of Feature Coordination using the Fluent CalculusKonferenzbeitrag Inproceedings 2018
4Kaniusas, Eugenijus ; Szeles, J.Constantin ; Materna, Tilo ; Varoneckas, Giedrius Adaptive Auricular Electrical Stimulation Controlled by Vital BiosignalsKonferenzbeitrag Inproceedings 2009