Name Card

Full name Familienname, Vorname
Koenig, Sven
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kletzander-2023-Dynamic Weight Setting for Personnel Scheduling with Many...-vor.pdf.jpgKletzander, Lucas ; Musliu, Nysret Dynamic Weight Setting for Personnel Scheduling with Many ObjectivesInproceedings Konferenzbeitrag 1-Jul-2023
2Eisenhut-2023-Automatic Metamorphic Test Oracles for Action-Policy Testing-vor.pdf.jpgEisenhut, Jan ; Torralba, Álvaro ; Christaki, Maria ; Hoffmann, Jörg Automatic Metamorphic Test Oracles for Action-Policy TestingInproceedings Konferenzbeitrag 2023
3Elkind, Edith ; Faliszewski, Piotr ; Lackner, Martin ; Obraztsova, Svetlana The Complexity of Recognizing Incomplete Single-Crossing PreferencesKonferenzbeitrag Inproceedings 2015
4Kronegger, Martin ; Pfandler, Andreas ; Ordyniak, Sebastian Variable-Deletion Backdoors to PlanningKonferenzbeitrag Inproceedings 2015
5Balabanov, Valeriy ; Jiang, Jie-Hong R. ; Janota, Mikolás ; Widl, Magdalena Efficient Extraction of QBF (Counter)models from Long-Distance Resolution ProofsKonferenzbeitrag Inproceedings 2015
6Finzi, Alberto ; Lukasiewicz, Thomas Game-Theoretic Golog under Partial ObservabilityKonferenzbeitrag Inproceedings 2005