Karsten Konrad

According to our database, Karsten Konrad authored at least 17 papers between 1996 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Design and optimization of continuous time linear phase FIR filters.

Thomas Werthwein, Dieter Brückmann, Karsten Konrad

Proceedings of the International Conference on Event-based Control, 2015

2013

Delay element concept for Continuous Time Digital Signal Processing.

Karsten Konrad, Dieter Brückmann, Nima Tavangaran, Jidan Al-Eryani, Rainer Kokozinski, Thomas Werthwein

Proceedings of the 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013), 2013

2012

Low-power area-efficient delay element with a wide delay range.

Jidan Al-Eryani, Alexander Stanitzki, Karsten Konrad, Nima Tavangaran, Dieter Brückmann, Rainer Kokozinski

Proceedings of the 19th IEEE International Conference on Electronics, Circuits and Systems, 2012

Continuous Time digital systems with Asynchronous Sigma Delta Modulation.

Nima Tavangaran, Dieter Brückmann, Rainer Kokozinski, Karsten Konrad

Proceedings of the 20th European Signal Processing Conference, 2012

2011

Optimization and implementation of continuous time DSP-systems by using granularity reduction.

Dieter Brückmann, Tobias Feldengut, Bedrich J. Hosticka, Rainer Kokozinski, Karsten Konrad, Nima Tavangaran

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2011), 2011

Effects of jitter on continuous time digital systems with granularity reduction.

Nima Tavangaran, Dieter Brückmann, Tobias Feldengut, Bedrich J. Hosticka, Rainer Kokozinski, Karsten Konrad, Renee Lerch

Proceedings of the 19th European Signal Processing Conference, 2011

2010

Delay line adjustment for the optimization of digital continuous time filters.

Dieter Brückmann, Karsten Konrad, Nima Tavangaran

Proceedings of the 17th IEEE International Conference on Electronics, 2010

2004

Model Generation for Natural Language Interpretation and Analysis

Karsten Konrad

Lecture Notes in Computer Science 2953, Springer, ISBN: 3-540-21069-5, 2004

2000

Model generation for natural language interpretation and analysis.

Karsten Konrad

PhD thesis, 2000

Understanding "Each Other".

Claire Gardent, Karsten Konrad

Proceedings of the 6th Applied Natural Language Processing Conference, 2000

1999

<i>L</i><Omega><i>UI</i>: <i>L</i>ovely <Omega>MEGA <i>U</i>ser <i>I</i>nterface.

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

Formal Aspects Comput., 1999

System Description: Kimba, A Model Generator for Many-Valued First-Order Logics.

Karsten Konrad, David A. Wolfram

Proceedings of the Automated Deduction, 1999

1998

HOT: A Concurrent Automated Theorem Prover Based on Higher-Order Tableaux.

Karsten Konrad

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

1997

Omega: Towards a Mathematical Assistant.

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

Proceedings of the Automated Deduction, 1997

1996

CLEARS - An Education and Research Tool for Computational Semantics

David Milward, Karsten Konrad, Holger Maier, Manfred Pinkal

CoRR, 1996

CLEARS - Ein Werkzeug für Ausbildung und Forschung in der Computerlinguistik.

Karsten Konrad, Holger Maier, Manfred Pinkal, David Milward

Proceedings of the Natural Language Processing and Speech Technology, 1996

An Education and Research Tool for Computational Semantics.

Karsten Konrad, Holger Maier, David Milward, Manfred Pinkal

Proceedings of the 16th International Conference on Computational Linguistics, 1996