Karsten Konrad

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: 410-413

Dieter Brückmann, Karsten Konrad, Nima Tavangaran: Delay line adjustment for the optimization of digital continuous time filters. ICECS 2010: 843-846

Karsten Konrad: Model generation for natural language interpretation and analysis. Saarland University 2007

Karsten Konrad: Model Generation for Natural Language Interpretation and Analysis. Lecture Notes in Computer Science 2953, Springer 2004, isbn 3-540-21069-5

Claire Gardent, Karsten Konrad: Understanding "Each Other". ANLP 2000: 319-326

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: L<Omega>UI: Lovely <Omega>MEGA User Interface. Formal Asp. Comput. 11(3): 326-342 (1999)

Karsten Konrad, David A. Wolfram: System Description: Kimba, A Model Generator for Many-Valued First-Order Logics. CADE 1999: 282-286

Karsten Konrad: HOT: A Concurrent Automated Theorem Prover Based on Higher-Order Tableaux. TPHOLs 1998: 245-261

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: 252-255

Karsten Konrad, Holger Maier, David Milward, Manfred Pinkal: An Education and Research Tool for Computational Semantics. COLING 1996: 1098-1101

Karsten Konrad, Holger Maier, Manfred Pinkal, David Milward: CLEARS - Ein Werkzeug für Ausbildung und Forschung in der Computerlinguistik. KONVENS 1996: 379-387

David Milward, Karsten Konrad, Holger Maier, Manfred Pinkal: CLEARS - An Education and Research Tool for Computational Semantics. CoRR cmp-lg/9608005 (1996)