Karsten Konrad

Publication Activity (10 Years)

Years Active: 1996-2015
Publications (10 Years): 1

Top Venues

ICECS

EBCCSP

ISCAS

EUSIPCO

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Thomas Werthwein, Dieter Brückmann, Karsten Konrad
Design and optimization of continuous time linear phase FIR filters. EBCCSP (2015)
Karsten Konrad, Dieter Brückmann, Nima Tavangaran, Jidan Al-Eryani, Rainer Kokozinski, Thomas Werthwein
Delay element concept for Continuous Time Digital Signal Processing. ISCAS (2013)
Nima Tavangaran, Dieter Brückmann, Rainer Kokozinski, Karsten Konrad
Continuous Time digital systems with Asynchronous Sigma Delta Modulation. EUSIPCO (2012)
Jidan Al-Eryani, Alexander Stanitzki, Karsten Konrad, Nima Tavangaran, Dieter Brückmann, Rainer Kokozinski
Low-power area-efficient delay element with a wide delay range. ICECS (2012)
Nima Tavangaran, Dieter Brückmann, Tobias Feldengut, Bedrich J. Hosticka, Rainer Kokozinski, Karsten Konrad, Renee Lerch
Effects of jitter on continuous time digital systems with granularity reduction. EUSIPCO (2011)
Dieter Brückmann, Tobias Feldengut, Bedrich J. Hosticka, Rainer Kokozinski, Karsten Konrad, Nima Tavangaran
Optimization and implementation of continuous time DSP-systems by using granularity reduction. ISCAS (2011)
Dieter Brückmann, Karsten Konrad, Nima Tavangaran
Delay line adjustment for the optimization of digital continuous time filters. ICECS (2010)
Claire Gardent, Karsten Konrad
Understanding "Each Other". ANLP (2000)
Jörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge
nterface. Formal Aspects Comput. 11 (3) (1999)
Karsten Konrad, David A. Wolfram
System Description: Kimba, A Model Generator for Many-Valued First-Order Logics. CADE (1999)
Karsten Konrad
HOT: A Concurrent Automated Theorem Prover Based on Higher-Order Tableaux. TPHOLs (1998)
Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge
Omega: Towards a Mathematical Assistant. CADE (1997)
Karsten Konrad, Holger Maier, David Milward, Manfred Pinkal
An Education and Research Tool for Computational Semantics. COLING (1996)
Karsten Konrad, Holger Maier, Manfred Pinkal, David Milward
CLEARS - Ein Werkzeug für Ausbildung und Forschung in der Computerlinguistik. KONVENS (1996)
David Milward, Karsten Konrad, Holger Maier, Manfred Pinkal
CLEARS - An Education and Research Tool for Computational Semantics CoRR (1996)

Karsten Konrad.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Karsten Konrad