Bernd Fischer

	2009
81		Heike Ruppertshofen, Sven Kabus, Bernd Fischer: Image Registration Using Tensor Grids for Lung Ventilation Studies. Bildverarbeitung für die Medizin 2009: 117-121
80		Nils Papenberg, Janine Olesch, Thomas Lange, Peter-Michael Schlag, Bernd Fischer: Landmark Constrained Non-parametric Image Registration with Isotropic Tolerances. Bildverarbeitung für die Medizin 2009: 122-126
79		Konstantin Ens, Fabian Wenzel, Bernd Fischer: Verbesserung der Symmetrie von Hirnaufnahmen entlang der Sagittalebene. Bildverarbeitung für die Medizin 2009: 187-191
78		Rastislav Srámek, Bernd Fischer, Elias Vicari, Peter Widmayer: Optimal Transitions for Targeted Protein Quantification: Best Conditioned Submatrix Selection. COCOON 2009: 287-296
77		Bernd Fischer, Ando Saabas, Tarmo Uustalu: Program Repair as Sound Optimization of Broken Programs. TASE 2009: 165-173
76		Bernd Fischer, Volker Roth, Joachim M. Buhmann: Adaptive bandwidth selection for biomarker discovery in mass spectrometry. Artificial Intelligence in Medicine 45(2-3): 207-214 (2009)
75		Alexander Egyed, Bernd Fischer: Guest editors' introduction. Autom. Softw. Eng. 16(1): 1-2 (2009)
74		Lucas Cordeiro, Bernd Fischer, João P. Marques Silva: SMT-Based Bounded Model Checking for Embedded ANSI-C Software CoRR abs/0907.2072: (2009)
	2008
73		Ewen Denney, Bernd Fischer: Explaining Verification Conditions. AMAST 2008: 145-159
72		Nils Papenberg, Jan Modersitzki, Bernd Fischer: Registrierung im Fokus. Bildverarbeitung für die Medizin 2008: 138-142
71		Hanno Schumacher, Stefan Heldmann, Eldad Haber, Bernd Fischer: Iterative Reconstruction of SPECT Images Using Adaptive Multi-level Refinement. Bildverarbeitung für die Medizin 2008: 318-322
70		Verena Kaynig, Bernd Fischer, Joachim M. Buhmann: Probabilistic image registration and anomaly detection by nonlinear warping. CVPR 2008
69		Ewen Denney, Bernd Fischer: Generating customized verifiers for automatically generated code. GPCE 2008: 77-88
68		Volker Roth, Bernd Fischer: The Group-Lasso for generalized linear models: uniqueness of solutions and efficient algorithms. ICML 2008: 848-855
67		Nurlida Basir, Ewen Denney, Bernd Fischer: Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. SAFECOMP 2008: 249-262
	2007
66		R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA ACM 2007
65		Nils Papenberg, Hanno Schumacher, Stefan Heldmann, Stefan Wirtz, Silke Bommersheim, Konstantin Ens, Jan Modersitzki, Bernd Fischer: A Fast and Flexible Image Registration Toolbox. Bildverarbeitung für die Medizin 2007: 106-110
64		Hanno Schumacher, Konstantin Ens, Astrid Franz, Bernd Fischer: Wahl eines gewichteten Distanzmaßes für monomodale Bilder in der nicht-parametrischen Registrierung. Bildverarbeitung für die Medizin 2007: 146-150
63		Sven Barendt, Jan Modersitzki, Bernd Fischer: Ein numerisches Verfahren zur Kalibrierung von Gammakameras. Bildverarbeitung für die Medizin 2007: 449-453
62		Hanno Schumacher, Bernd Fischer: A New Approach for Motion Correction in SPECT Imaging. Bildverarbeitung für die Medizin 2007: 51-55
61		Volker Roth, Bernd Fischer: The kernelHMM : Learning Kernel Combinations in Structured Output Domains. DAGM-Symposium 2007: 436-445
60		Bernd Fischer, Volker Roth, Joachim M. Buhmann: Time-Series Alignment by Non-negative Multiple Generalized Canonical Correlation Analysis. WILF 2007: 505-511
59		Bernd Fischer, Volker Roth, Joachim M. Buhmann: Time-series alignment by non-negative multiple generalized canonical correlation analysis. BMC Bioinformatics 8(S-10): (2007)
58		Volker Roth, Bernd Fischer: Improved functional prediction of proteins by learning kernel combinations in multilabel settings. BMC Bioinformatics 8(S-2): (2007)
57		Franz F. Roos, Riko Jacob, Jonas Grossmann, Bernd Fischer, Joachim M. Buhmann, Wilhelm Gruissem, Sacha Baginsky, Peter Widmayer: PepSplice: cache-efficient search algorithms for comprehensive identification of tandem mass spectra. Bioinformatics 23(22): 3016-3023 (2007)
56		Oliver Schmitt, Jan Modersitzki, Stefan Heldmann, Stefan Wirtz, Bernd Fischer: Image Registration of Sectioned Brains. International Journal of Computer Vision 73(1): 5-39 (2007)
	2006
55		Ewen Denney, Bernd Fischer: Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). ASE 2006: 265-268
54		Hansruedi Peter, Bernd Fischer, Joachim M. Buhmann: Probabilistic De Novo Peptide Sequencing with Doubly Charged Ions. DAGM-Symposium 2006: 424-433
53		Peter Wey, Bernd Fischer, Herbert Bay, Joachim M. Buhmann: Dense Stereo by Triangular Meshing and Cross Validation. DAGM-Symposium 2006: 708-717
52		Ewen Denney, Bernd Fischer: A generic annotation inference algorithm for the safety certification of automatically generated code. GPCE 2006: 121-130
51		Bernd Fischer, Jonas Grossmann, Volker Roth, Wilhelm Gruissem, Sacha Baginsky, Joachim M. Buhmann: Semi-supervised LC/MS alignment for differential proteomics. ISMB (Supplement of Bioinformatics) 2006: 132-140
50		Ewen Denney, Bernd Fischer: Extending Source Code Generators for Evidence-Based Software Certification. ISoLA 2006: 138-145
49		Sven Kabus, Astrid Franz, Bernd Fischer: Variational Image Registration with Local Properties. WBIR 2006: 92-100
48		Ewen Denney, Bernd Fischer, Johann Schumann: An Empirical Evaluation of Automated Theorem Provers in Software Certification. International Journal on Artificial Intelligence Tools 15(1): 81-108 (2006)
47		Bernd Fischer, Geoff Sutcliffe, Stephan Schulz: Empirically Successful Automated Reasoning: Systems Issue. J. Autom. Reasoning 36(4): 287 (2006)
46		Bernd Fischer, Geoff Sutcliffe, Stephan Schulz: Empirically Successful Automated Reasoning: Applications Issue. J. Autom. Reasoning 37(1-2): 1 (2006)
	2005
45		Ewen Denney, Bernd Fischer, Dieter Hutter, Mark Jones: Software certificate management (SoftCeMent'05). ASE 2005: 463
44		Sven Kabus, Astrid Franz, Bernd Fischer: On Elastic Image Registration with Varying Material Parameters. Bildverarbeitung für die Medizin 2005: 330-334
43		Matthias Bolten, Nils Papenberg, Bernd Fischer, Panagiotis A. Adamidis, Rolf Rabenseifner, Holger Berger: Parallelisierung eines nichtlinearen Registrierungsalgorithmus zur Verarbeitung sehr großer Volumen-Daten. Bildverarbeitung für die Medizin 2005: 360-364
42		Ewen Denney, Bernd Fischer: Certifiable Program Generation. GPCE 2005: 17-28
	2004
41		Stefan Wirtz, Bernd Fischer, Jan Modersitzki, Oliver Schmitt: Vollständige Rekonstruktion eines Rattenhirns aus hochaufgelösten Bildern von histologischen Serienschnitten. Bildverarbeitung für die Medizin 2004: 204-208
40		Stefan Heldmann, Oliver Mahnke, Daniel Potts, Jan Modersitzki, Bernd Fischer: Fast Computation of Mutual Information in a Variational Image Registration Approach. Bildverarbeitung für die Medizin 2004: 448-452
39		Ewen Denney, Bernd Fischer, Johann Schumann: Adding Assurance to Automatically Generated Code. HASE 2004: 297-299
38		Ewen Denney, Bernd Fischer, Johann Schumann: Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. IJCAR 2004: 198-212
37		Michael Kaus, Thomas Netsch, Sven Kabus, Vladimir Pekar, Todd McNutt, Bernd Fischer: Estimation of Organ Motion from 4D CT for 4D Radiation Therapy Planning of Lung Cancer. MICCAI (2) 2004: 1017-1024
36		Bernd Fischer, Volker Roth, Joachim M. Buhmann, Jonas Grossmann, Sacha Baginsky, Wilhelm Gruissem, Franz F. Roos, Peter Widmayer: A Hidden Markov Model for de Novo Peptide Sequencing. NIPS 2004
	2003
35		Bernd Fischer, Johann Schumann: Applying AutoBayes to the Analysis of Planetary Nebulae Images. ASE 2003: 337-342
34		Jan Modersitzki, Bernd Fischer: Optimal Image Registration with a Guaranteed One-to-one Point Match. Bildverarbeitung für die Medizin 2003: 1-5
33		Bernd Fischer, Eelco Visser: Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax. Domain-Specific Program Generation 2003: 239-253
32		Ewen Denney, Bernd Fischer: Correctness of Source-Level Safety Policies. FME 2003: 894-913
31		Johann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle: Certification Support for Automatically Generated Programs. HICSS 2003: 337
30		Bernd Fischer, Eelco Visser: Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract). LOPSTR 2003: 56-58
29		Bernd Fischer, Volker Roth, Joachim M. Buhmann: Clustering with the Connectivity Kernel. NIPS 2003
28		Emiliano D'Agostino, Jan Modersitzki, Frederik Maes, Dirk Vandermeulen, Bernd Fischer, Paul Suetens: Free-Form Registration Using Mutual Information and Curvature Regularization. WBIR 2003: 11-20
27		Bernd Fischer, Jan Modersitzki: FLIRT: A Flexible Image Registration Toolbox. WBIR 2003: 261-270
26		Bernd Fischer, Joachim M. Buhmann: Bagging for Path-Based Clustering. IEEE Trans. Pattern Anal. Mach. Intell. 25(11): 1411-1415 (2003)
25		Bernd Fischer, Joachim M. Buhmann: Path-Based Clustering for Grouping of Smooth Curves and Texture Segmentation. IEEE Trans. Pattern Anal. Mach. Intell. 25(4): 513-518 (2003)
24		Bernd Fischer, Johann Schumann: AutoBayes: a system for generating data analysis programs from statistical models. J. Funct. Program. 13(3): 483-508 (2003)
	2002
23		Bernd Fischer, Eelco Visser: Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002 ACM 2002
22		Bernd Fischer, Jan Modersitzki: Fast Curvature-Based Registration of MR Mammography Images. Bildverarbeitung für die Medizin 2002: 139-142
21		Michael W. Whalen, Johann Schumann, Bernd Fischer: AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. CADE 2002: 290-294
20		Bernd Fischer, Joachim M. Buhmann: Data Resampling for Path Based Clustering. DAGM-Symposium 2002: 206-214
19		Michael W. Whalen, Johann Schumann, Bernd Fischer: Synthesizing Certified Code. FME 2002: 431-450
18		Bernd Fischer, Jan Modersitzki: Curvature Based Registration with Applications to MR-Mammography. International Conference on Computational Science (3) 2002: 202-206
17		Alexander G. Gray, Bernd Fischer, Johann Schumann, Wray L. Buntine: Automatic Derivation of Statistical Algorithms: The EM Family and Beyond. NIPS 2002: 673-680
16		Jussi Karlgren, Pentti Kanerva, Björn Gambäck, Kenneth D. Forbus, Kagan Tumer, Peter Stone, Kai Goebel, Gaurav S. Sukhatme, Tucker R. Balch, Bernd Fischer, Doug Smith, Sanda M. Harabagiu, Vinay Chaudri, Mike Barley, Hans W. Guesgen, Thomas F. Stahovich, Randall Davis, James A. Landay: The 2002 AAAI Spring Symposium Series. AI Magazine 23(4): 101-106 (2002)
	2001
15		Bernd Fischer, Jan Modersitzki: A Super Fast Registration Algorithm. Bildverarbeitung für die Medizin 2001: 169-173
14		Jan Modersitzki, Oliver Schmitt, Bernd Fischer: Effiziente, nicht-lineare Registrierung eines histologischen Serienschnittes durch das menschliche Gehirn. Bildverarbeitung für die Medizin 2001: 179-183
13		Bernd Fischer, Thomas Zöller, Joachim M. Buhmann: Path Based Pairwise Data Clustering with Application to Texture Segmentation. EMMCVPR 2001: 235-250
12		Bernd Fischer, Grigore Rosu: Interpreting Abstract Interpretations in Membership Equational Logic. Electr. Notes Theor. Comput. Sci. 59(4): (2001)
	2000
11		Bernd Fischer, Johann Schumann, Thomas Pressburger: Generating Data Analysis Programs from Statistical Models. SAIG 2000: 212-229
10		Bernd Fischer: Specification-Based Browsing of Software Component Libraries. Autom. Softw. Eng. 7(2): 179-200 (2000)
	1999
9		Bernd Fischer, Jon Whittle: An Integration of Deductive Retrieval into Deductive Synthesis. ASE 1999: 52-
8		Wray L. Buntine, Bernd Fischer, Thomas Pressburger: Towards Automated Synthesis of Data Mining Programs. KDD 1999: 372-376
7		Thomas Baar, Bernd Fischer, Dirk Fuchs: Integrating Deduction Techniques in a Software Reuse Application. J. UCS 5(3): 52-72 (1999)
	1997
6		Johann Schumann, Bernd Fischer: NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical. ASE 1997: 246-254
5		Bernd Fischer, Johann Schumann: SETHEO Goes Software Engineering: Application of ATP to Software Reuse. CADE 1997: 65-68
4		Bernd Fischer, Jürgen Prestin: Wavelets based on orthogonal polynomials. Math. Comput. 66(220): 1593-1618 (1997)
	1994
3		Gregor Snelting, Bernd Fischer, Franz-Josef Grosch, Matthias Kievernagel, Andreas Zeller: Die inferenzbasierte Softwareentwicklungsumgebung NORA. Inform., Forsch. Entwickl. 9(3): 116-131 (1994)
	1992
2		Bernd Fischer, Carsten Hammer, Werner Struckmann: ALADIN: A Scanner Generator for Incremental Programming Environments. Softw., Pract. Exper. 22(11): 1011-1025 (1992)
	1979
1		Leonie S. Dreschler-Fischer, Bernd Fischer, M. Mittelstein, Hans-Hellmut Nagel: Ein PASCAL-Compiler für das DIETZ-System 621x2. PASCAL 1979: 84-94

Coauthor Index

1	Panagiotis A. Adamidis	[43]
2	Thomas Baar	[7]
3	Sacha Baginsky	[36] [51] [57]
4	Tucker R. Balch	[16]
5	Sven Barendt	[63]
6	Mike Barley	[16]
7	Nurlida Basir	[67]
8	Herbert Bay	[53]
9	Holger Berger	[43]
10	Matthias Bolten	[43]
11	Silke Bommersheim	[65]
12	Joachim M. Buhmann	[13] [20] [25] [26] [29] [36] [51] [53] [54] [57] [59] [60] [70] [76]
13	Wray L. Buntine	[8] [17]
14	Vinay Chaudri	[16]
15	Lucas Cordeiro	[74]
16	Emiliano D'Agostino	[28]
17	Randall Davis	[16]
18	Ewen Denney	[32] [38] [39] [42] [45] [48] [50] [52] [55] [67] [69] [73]
19	Leonie S. Dreschler-Fischer	[1]
20	Alexander Egyed	[66] [75]
21	Konstantin Ens	[64] [65] [79]
22	Kenneth D. Forbus	[16]
23	Astrid Franz	[44] [49] [64]
24	Dirk Fuchs	[7]
25	Björn Gambäck	[16]
26	Kai Goebel	[16]
27	Alexander G. Gray	[17]
28	Franz-Josef Grosch	[3]
29	Jonas Grossmann	[36] [51] [57]
30	Wilhelm Gruissem	[36] [51] [57]
31	Hans W. Guesgen	[16]
32	Eldad Haber	[71]
33	Carsten Hammer	[2]
34	Sanda M. Harabagiu	[16]
35	Stefan Heldmann	[40] [56] [65] [71]
36	Dieter Hutter	[45]
37	Riko Jacob	[57]
38	Mark Jones	[45]
39	Sven Kabus	[37] [44] [49] [81]
40	Pentti Kanerva	[16]
41	Jussi Karlgren	[16]
42	Michael Kaus	[37]
43	Verena Kaynig	[70]
44	Matthias Kievernagel	[3]
45	James A. Landay	[16]
46	Thomas Lange	[80]
47	Frederik Maes	[28]
48	Oliver Mahnke	[40]
49	Todd McNutt	[37]
50	M. Mittelstein	[1]
51	Jan Modersitzki	[14] [15] [18] [22] [27] [28] [34] [40] [41] [56] [63] [65] [72]
52	Hans-Hellmut Nagel	[1]
53	Thomas Netsch	[37]
54	Janine Olesch	[80]
55	Nils Papenberg	[43] [65] [72] [80]
56	Vladimir Pekar	[37]
57	Hansruedi Peter	[54]
58	Daniel Potts	[40]
59	Thomas Pressburger	[8] [11]
60	Jürgen Prestin	[4]
61	Rolf Rabenseifner	[43]
62	Franz F. Roos	[36] [57]
63	Grigore Rosu	[12]
64	Volker Roth	[29] [36] [51] [58] [59] [60] [61] [68] [76]
65	Heike Ruppertshofen	[81]
66	Ando Saabas	[77]
67	Peter-Michael Schlag	[80]
68	Oliver Schmitt	[14] [41] [56]
69	Stephan Schulz	[46] [47]
70	Hanno Schumacher	[62] [64] [65] [71]
71	Johann Schumann	[5] [6] [11] [17] [19] [21] [24] [31] [35] [38] [39] [48]
72	João P. Marques Silva (João Marques-Silva)	[74]
73	Doug Smith	[16]
74	Gregor Snelting	[3]
75	Rastislav Srámek	[78]
76	Thomas F. Stahovich	[16]
77	R. E. Kurt Stirewalt (Kurt Stirewalt)	[66]
78	Peter Stone	[16]
79	Werner Struckmann	[2]
80	Paul Suetens	[28]
81	Gaurav S. Sukhatme (Gaurav Sukhatme)	[16]
82	Geoff Sutcliffe	[46] [47]
83	Kagan Tumer	[16]
84	Tarmo Uustalu	[77]
85	Dirk Vandermeulen	[28]
86	Elias Vicari	[78]
87	Eelco Visser	[23] [30] [33]
88	Fabian Wenzel	[79]
89	Peter Wey	[53]
90	Michael W. Whalen	[19] [21] [31]
91	Jon Whittle (Jonathan Whittle)	[9] [31]
92	Peter Widmayer	[36] [57] [78]
93	Stefan Wirtz	[41] [56] [65]
94	Andreas Zeller	[3]
95	Thomas Zöller	[13]

Colors in the list of coauthors