You need to sign in first to access that page.
2009
- Nils Papenberg, Janine Olesch, Thomas Lange, Peter-Michael Schlag, Bernd Fischer. Landmark Constrained Non-parametric Image Registration with Isotropic Tolerances. bildmed 2009: 122-126 [doi]
- Bernd Fischer, Volker Roth, Joachim M. Buhmann. Adaptive bandwidth selection for biomarker discovery in mass spectrometry. artmed, 45(2-3):207-214, 2009. [doi]
- Konstantin Ens, Fabian Wenzel, Bernd Fischer. Verbesserung der Symmetrie von Hirnaufnahmen entlang der Sagittalebene. bildmed 2009: 187-191 [doi]
- Heike Ruppertshofen, Sven Kabus, Bernd Fischer. Image Registration Using Tensor Grids for Lung Ventilation Studies. bildmed 2009: 117-121 [doi]
- Alexander Egyed, Bernd Fischer. Guest editors introduction. ase, 16(1):1-2, 2009. [doi]
2008
- Volker Roth, Bernd Fischer. The Group-Lasso for generalized linear models: uniqueness of solutions and efficient algorithms. icml 2008: 848-855 [doi]
- Nils Papenberg, Jan Modersitzki, Bernd Fischer. Registrierung im Fokus. bildmed 2008: 138-142 [doi]
- Verena Kaynig, Bernd Fischer, Joachim M. Buhmann. Probabilistic image registration and anomaly detection by nonlinear warping. cvpr 2008: [doi]
- Nurlida Basir, Ewen Denney, Bernd Fischer. Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. safecomp 2008: 249-262 [doi]
- Ewen Denney, Bernd Fischer. Generating customized verifiers for automatically generated code. GPCE 2008: 77-88 [doi]
- Hanno Schumacher, Stefan Heldmann, Eldad Haber, Bernd Fischer. Iterative Reconstruction of SPECT Images Using Adaptive Multi-level Refinement. bildmed 2008: 318-322 [doi]
- Ewen Denney, Bernd Fischer. Explaining Verification Conditions. amast 2008: 145-159 [doi]
2007
- 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. [doi]
- Hanno Schumacher, Konstantin Ens, Astrid Franz, Bernd Fischer. Wahl eines gewichteten Distanzmaßes für monomodale Bilder in der nicht-parametrischen Registrierung. bildmed 2007: 146-150 [doi]
- Bernd Fischer, Volker Roth, Joachim M. Buhmann. Time-series alignment by non-negative multiple generalized canonical correlation analysis. bmcbi, 8(S-10), 2007. [doi]
- Volker Roth, Bernd Fischer. Improved functional prediction of proteins by learning kernel combinations in multilabel settings. bmcbi, 8(S-2), 2007. [doi]
- Hanno Schumacher, Bernd Fischer. A New Approach for Motion Correction in SPECT Imaging. bildmed 2007: 51-55 [doi]
- R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer, editors, 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA. ACM, 2007.
- Sven Barendt, Jan Modersitzki, Bernd Fischer. Ein numerisches Verfahren zur Kalibrierung von Gammakameras. bildmed 2007: 449-453 [doi]
- Oliver Schmitt, Jan Modersitzki, Stefan Heldmann, Stefan Wirtz, Bernd Fischer. Image Registration of Sectioned Brains. ijcv, 73(1):5-39, 2007. [doi]
- Bernd Fischer, Volker Roth, Joachim M. Buhmann. Time-Series Alignment by Non-negative Multiple Generalized Canonical Correlation Analysis. wilf 2007: 505-511 [doi]
- Nils Papenberg, Hanno Schumacher, Stefan Heldmann, Stefan Wirtz, Silke Bommersheim, Konstantin Ens, Jan Modersitzki, Bernd Fischer. A Fast and Flexible Image Registration Toolbox. bildmed 2007: 106-110 [doi]
- Volker Roth, Bernd Fischer. The ::::kernelHMM:::: : Learning Kernel Combinations in Structured Output Domains. dagm 2007: 436-445 [doi]
2006
- Bernd Fischer, Geoff Sutcliffe, Stephan Schulz. Empirically Successful Automated Reasoning: Applications Issue. jar, 37(1-2):1, 2006. [doi]
- Bernd Fischer, Jonas Grossmann, Volker Roth, Wilhelm Gruissem, Sacha Baginsky, Joachim M. Buhmann. Semi-supervised LC/MS alignment for differential proteomics. ismb 2006: 132-140 [doi]
- Bernd Fischer, Geoff Sutcliffe, Stephan Schulz. Empirically Successful Automated Reasoning: Systems Issue. jar, 36(4):287, 2006. [doi]
- Ewen Denney, Bernd Fischer. Extending Source Code Generators for Evidence-Based Software Certification. isola 2006: 138-145 [doi]
- Sven Kabus, Astrid Franz, Bernd Fischer. Variational Image Registration with Local Properties. wbir 2006: 92-100 [doi]
- Peter Wey, Bernd Fischer, Herbert Bay, Joachim M. Buhmann. Dense Stereo by Triangular Meshing and Cross Validation. dagm 2006: 708-717 [doi]
- Hansruedi Peter, Bernd Fischer, Joachim M. Buhmann. Probabilistic De Novo Peptide Sequencing with Doubly Charged Ions. dagm 2006: 424-433 [doi]
- Ewen Denney, Bernd Fischer. Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). ASE 2006: 265-268 [doi]
- Ewen Denney, Bernd Fischer. A generic annotation inference algorithm for the safety certification of automatically generated code. GPCE 2006: 121-130 [doi]
- Ewen Denney, Bernd Fischer, Johann Schumann. An Empirical Evaluation of Automated Theorem Provers in Software Certification. ijait, 15(1):81-108, 2006. [doi]
2005
- Sven Kabus, Astrid Franz, Bernd Fischer. On Elastic Image Registration with Varying Material Parameters. bildmed 2005: 330-334 [doi]
- Ewen Denney, Bernd Fischer, Dieter Hutter, Mark Jones. Software certificate management (SoftCeMent 05). ASE 2005: 463 [doi]
- Matthias Bolten, Nils Papenberg, Bernd Fischer, Panagiotis A. Adamidis, Rolf Rabenseifner, Holger Berger. Parallelisierung eines nichtlinearen Registrierungsalgorithmus zur Verarbeitung sehr großer Volumen-Daten. bildmed 2005: 360-364 [doi]
- Ewen Denney, Bernd Fischer. Certifiable Program Generation. GPCE 2005: 17-28 [doi]
2004
- Ewen Denney, Bernd Fischer, Johann Schumann. Adding Assurance to Automatically Generated Code. hase 2004: 297-299 [doi]
- Stefan Heldmann, Oliver Mahnke, Daniel Potts, Jan Modersitzki, Bernd Fischer. Fast Computation of Mutual Information in a Variational Image Registration Approach. bildmed 2004: 448-452 [doi]
- Ewen Denney, Bernd Fischer, Johann Schumann. Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. cade 2004: 198-212 [doi]
- Vollständige Rekonstruktion eines Rattenhirns aus hochaufgelösten Bildern von histologischen Serienschnitten. bildmed 2004: 204-208 [doi]
- 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 2004: 1017-1024 [doi]
- 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: [doi]
2003
- Jan Modersitzki, Bernd Fischer. Optimal Image Registration with a Guaranteed One-to-one Point Match. bildmed 2003: 1-5 [doi]
- Bernd Fischer, Joachim M. Buhmann. Bagging for Path-Based Clustering. pami, 25(11):1411-1415, 2003. [doi]
- Bernd Fischer, Eelco Visser. Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax. dagstuhl 2004: 239-253 [doi]
- Ewen Denney, Bernd Fischer. Correctness of Source-Level Safety Policies. fm 2003: 894-913 [doi]
- Bernd Fischer, Johann Schumann. AutoBayes: a system for generating data analysis programs from statistical models. JFP, 13(3):483-508, 2003. [doi]
- Bernd Fischer, Joachim M. Buhmann. Path-Based Clustering for Grouping of Smooth Curves and Texture Segmentation. pami, 25(4):513-518, 2003. [doi]
- Bernd Fischer, Eelco Visser. Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract). LOPSTR 2004: 56-58 [doi]
- Bernd Fischer, Jan Modersitzki. FLIRT: A Flexible Image Registration Toolbox. wbir 2003: 261-270 [doi]
- 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 [doi]
- Johann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle. Certification Support for Automatically Generated Programs. hicss 2003: 337 [doi]
- Bernd Fischer, Johann Schumann. Applying AutoBayes to the Analysis of Planetary Nebulae Images. ASE 2003: 337-342 [doi]
- Bernd Fischer, Volker Roth, Joachim M. Buhmann. Clustering with the Connectivity Kernel. nips 2004: [doi]
2002
- Bernd Fischer, Joachim M. Buhmann. Data Resampling for Path Based Clustering. dagm 2002: 206-214 [doi]
- Michael W. Whalen, Johann Schumann, Bernd Fischer. Synthesizing Certified Code. fm 2002: 431-450 [doi]
- Bernd Fischer, Jan Modersitzki. Fast Curvature-Based Registration of MR Mammography Images. bildmed 2002: 139-142
- Bernd Fischer, Jan Modersitzki. Curvature Based Registration with Applications to MR-Mammography. iccS 2002: 202-206 [doi]
- Bernd Fischer, Eelco Visser, editors, Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002. ACM, 2002.
- Alexander G. Gray, Bernd Fischer, Johann Schumann, Wray Buntine. Automatic Derivation of Statistical Algorithms: The EM Family and Beyond. nips 2003: 673-680 [doi]
- Michael W. Whalen, Johann Schumann, Bernd Fischer. AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. cade 2002: 290-294 [doi]
- 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. aim, 23(4):101-106, 2002.
2001
2000
1999
1997
1994
1992
1979