Johannes Kinder (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Mihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser, Helmut Veith: Software transformations to improve malware detection. Journal in Computer Virology 3(4): 253-265 (2007)

1 Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Detecting Malicious Code by Model Checking. DIMVA 2005: 174-187

Selection of 2 from 5 records - Johannes Kinder has 7 coauthors

2		Mihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser, Helmut Veith: Software transformations to improve malware detection. Journal in Computer Virology 3(4): 253-265 (2007)
1		Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith: Detecting Malicious Code by Model Checking. DIMVA 2005: 174-187