Christoph Kern

15 papers A 1Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Dialect and Gender Bias in YouTube's Spanish Captioning System.
CoRR
Iris Dania Jimenez, Christoph Kern
2026 J jnl
Safe Coding.
Commun. ACM
Christoph Kern
2025 J jnl
Defeating Prompt Injections by Design.
CoRR
Edoardo Debenedetti, Ilia Shumailov, Tianqi Fan, Jamie Hayes, Nicholas Carlini, Daniel Fabian, Christoph Kern, Chongyang Shi, Andreas Terzis, Florian Tramèr
2025 J jnl
Safe Coding.
ACM Queue
Christoph Kern
2024 — conf
Measurement Modeling of Predictors and Outcomes in Algorithmic Fairness.
EWAF
Elisabeth Kraus, Christoph Kern
2019 J jnl
A Longitudinal Framework for Predicting Nonresponse in Panel Surveys.
CoRR
Christoph Kern, Bernd Weiss, Jan-Philipp Kolb
2019 — conf
Noise as Domain Shift: Denoising Medical Images by Unpaired Image Translation.
DART/MIL3ID@MICCAI
Ilja Manakov, Markus Rohm, Christoph Kern, Benedikt Schworm, Karsten U. Kortuem, Volker Tresp
2019 J jnl
Noise as Domain Shift: Denoising Medical Images by Unpaired Image Translation.
CoRR
Ilja Manakov, Markus Rohm, Christoph Kern, Benedikt Schworm, Karsten U. Kortuem, Volker Tresp
2017 J jnl
The Difficulty of Measuring the Absorption of Scattered Sunlight by H
Remote. Sens.
Christoph Kern
2007 — book
Foundations of Security - What Every Programmer Needs to Know.
Neil Daswani, Christoph Kern, Anita Kesavan
2001 J jnl
A light-weight framework for hardware verification.
Int. J. Softw. Tools Technol. Transf.
Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet
1999 A conf
A Light-Weight Framework for Hardware Verification.
TACAS
Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet
1999 J jnl
Formal verification in hardware design: a survey.
ACM Trans. Design Autom. Electr. Syst.
Christoph Kern, Mark R. Greenstreet
1998 — conf
Verifying a Self-Timed Divider.
ASYNC
Tarik Ono-Tesfaye, Christoph Kern, Mark R. Greenstreet
1997 J jnl
Discrete-Time Approximation of the Machine Interference Problem with Generally Distributed Failure, Repair, and Walking Times.
Eur. J. Control
Manfred Mittler, Christoph Kern