Karsten Konrad
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1996–2013
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ISCAS | Delay element concept for Continuous Time Digital Signal Processing. | Karsten Konrad, Dieter Brckmann, Nima Tavangaran, Jidan Al-Eryani, Rainer Kokozinski, Thomas Werthwein |
| 2011 | ISCAS | Optimization and implementation of continuous time DSP-systems by using granularity reduction. | Dieter Brckmann, Tobias Feldengut, Bedrich J. Hosticka, Rainer Kokozinski, Karsten Konrad, Nima Tavangaran |
| 1999 | CADE | System Description: Kimba, A Model Generator for Many-Valued First-Order Logics. | Karsten Konrad, David A. Wolfram |
| 1997 | CADE | Omega: Towards a Mathematical Assistant. | Christoph Benzmller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jrg H. Siekmann, Volker Sorge |
| 1996 | COLING | An Education and Research Tool for Computational Semantics. | Karsten Konrad, Holger Maier, David Milward, Manfred Pinkal |