|
|
|
|
|
|
|
|
|
|
|
 |
|
 |
|
Publications by Christian Kern
|
|
 |
|
 |
2012 | |
Javier Esparza and Christian Kern. Reactive and proactive diagnosis of distributed systems using net unfoldings. In ACSD, 2012. To appear. |
|
2011 | |
Stefan Haar, Christian Kern, and Stefan Schwoon. Computing the reveals relation in occurrence nets. In GandALF, pages 31–44, 2011. |
|
2010 | |
Christian Kern. Automatic error correction of java programs. In AlgoSyn, page 155, 2010. |
|
|
Christian Kern and Javier Esparza. Automatic error correction of java programs. In FMICS, pages 67–81, 2010. |
|
2008 | |
Björn Schuller, Matthias Wimmer, Lorenz Moesenlechner, Christian Kern, Dejan Arsic, and Gerhard Rigoll. Brute-forcing hierarchical functionals for paralinguistics: A waste of feature space?. In ICASSP, pages 4501–4504, 2008. |
|
2007 | |
Christian Kern, Mohammad Khaleghi, Stefan Kugele, Christian Schallhart, Michael Tautschnig, and Andreas Weis. Sat7 engineering a modular sat-solver, 2007. |
|
|
|
|
|
|
|
|
|
Contact
