Bernd Fischer - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

Recursive Green s Function RegistrationBjörn Beuthien, Ali Kamen, Bernd Fischer. miccai 2010: 546-553 [doi]

Biomedical Image Registration, 4th International Workshop, WBIR 2010, Lübeck, Germany, July 11-13, 2010. ProceedingsBernd Fischer, Benoit M. Dawant, Cristian Lorenz, editors, Volume 6204 of Lecture Notes in Computer Science, Springer, 2010. [doi]

JEqualityGen: Generating equality and hashing methodsNeville Grech, Bernd Fischer, Julian Rathke. GPCE 2010:

2009

A kernel representation for exponential splines with global tensionSven Barendt, Bernd Fischer, Jan Modersitzki. ipas 2009: 72450 [doi]

SMT-Based Bounded Model Checking for Embedded ANSI-C SoftwareLucas Cordeiro, Bernd Fischer, JoÃ£o Marques-Silva. kbse 2009: 137-148 [doi]

Guest editors introductionAlexander Egyed, Bernd Fischer. ASE, 16(1):1-2, 2009. [doi]

Verbesserung der Symmetrie von Hirnaufnahmen entlang der SagittalebeneKonstantin Ens, Fabian Wenzel, Bernd Fischer. bildmed 2009: 187-191 [doi]

Adaptive bandwidth selection for biomarker discovery in mass spectrometryBernd Fischer, Volker Roth, Joachim M. Buhmann. artmed, 45(2-3):207-214, 2009. [doi]

Program Repair as Sound Optimization of Broken ProgramsBernd Fischer, Ando Saabas, Tarmo Uustalu. tase 2009: 165-173 [doi]

A Lazy Unbounded Model Checker for Event-BPaulo J. Matos, Bernd Fischer, JoÃ£o P. Marques Silva. icfem 2009: 485-503 [doi]

Landmark Constrained Non-parametric Image Registration with Isotropic TolerancesNils Papenberg, Janine Olesch, Thomas Lange, Peter-Michael Schlag, Bernd Fischer. bildmed 2009: 122-126 [doi]

Image Registration Using Tensor Grids for Lung Ventilation StudiesHeike Ruppertshofen, Sven Kabus, Bernd Fischer. bildmed 2009: 117-121 [doi]

Optimal Transitions for Targeted Protein Quantification: Best Conditioned Submatrix SelectionRastislav SrÃ¡mek, Bernd Fischer, Elias Vicari, Peter Widmayer. cocoon 2009: 287-296 [doi]

2008

Constructing a Safety Case for Automatically Generated Code from Formal Program Verification InformationNurlida Basir, Ewen Denney, Bernd Fischer. safecomp 2008: 249-262 [doi]

Generating customized verifiers for automatically generated codeEwen Denney, Bernd Fischer. GPCE 2008: 77-88 [doi]

Explaining Verification ConditionsEwen Denney, Bernd Fischer. amast 2008: 145-159 [doi]

Probabilistic image registration and anomaly detection by nonlinear warpingVerena Kaynig, Bernd Fischer, Joachim M. Buhmann. cvpr 2008: [doi]

Registrierung im FokusNils Papenberg, Jan Modersitzki, Bernd Fischer. bildmed 2008: 138-142 [doi]

The Group-Lasso for generalized linear models: uniqueness of solutions and efficient algorithmsVolker Roth, Bernd Fischer. icml 2008: 848-855 [doi]

Iterative Reconstruction of SPECT Images Using Adaptive Multi-level RefinementHanno Schumacher, Stefan Heldmann, Eldad Haber, Bernd Fischer. bildmed 2008: 318-322 [doi]

2007

Ein numerisches Verfahren zur Kalibrierung von GammakamerasSven Barendt, Jan Modersitzki, Bernd Fischer. bildmed 2007: 449-453 [doi]

Time-series alignment by non-negative multiple generalized canonical correlation analysisBernd Fischer, Volker Roth, Joachim M. Buhmann. bmcbi, 8(S-10), 2007. [doi]

Time-Series Alignment by Non-negative Multiple Generalized Canonical Correlation AnalysisBernd Fischer, Volker Roth, Joachim M. Buhmann. wilf 2007: 505-511 [doi]

A Fast and Flexible Image Registration ToolboxNils Papenberg, Hanno Schumacher, Stefan Heldmann, Stefan Wirtz, Silke Bommersheim, Konstantin Ens, Jan Modersitzki, Bernd Fischer. bildmed 2007: 106-110 [doi]

PepSplice: cache-efficient search algorithms for comprehensive identification of tandem mass spectraFranz F. Roos, Riko Jacob, Jonas Grossmann, Bernd Fischer, Joachim M. Buhmann, Wilhelm Gruissem, Sacha Baginsky, Peter Widmayer. bioinformatics, 23(22):3016-3023, 2007. [doi]

Improved functional prediction of proteins by learning kernel combinations in multilabel settingsVolker Roth, Bernd Fischer. bmcbi, 8(S-2), 2007. [doi]

The ::::kernelHMM:::: : Learning Kernel Combinations in Structured Output DomainsVolker Roth, Bernd Fischer. dagm 2007: 436-445 [doi]

Image Registration of Sectioned BrainsOliver Schmitt, Jan Modersitzki, Stefan Heldmann, Stefan Wirtz, Bernd Fischer. ijcv, 73(1):5-39, 2007. [doi]

Wahl eines gewichteten Distanzmaßes für monomodale Bilder in der nicht-parametrischen RegistrierungHanno Schumacher, Konstantin Ens, Astrid Franz, Bernd Fischer. bildmed 2007: 146-150 [doi]

A New Approach for Motion Correction in SPECT ImagingHanno Schumacher, Bernd Fischer. bildmed 2007: 51-55 [doi]

22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USAR. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer, editors, ACM, 2007.

2006

Extending Source Code Generators for Evidence-Based Software CertificationEwen Denney, Bernd Fischer. isola 2006: 138-145 [doi]

Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract)Ewen Denney, Bernd Fischer. ASE 2006: 265-268 [doi]

A generic annotation inference algorithm for the safety certification of automatically generated codeEwen Denney, Bernd Fischer. GPCE 2006: 121-130 [doi]

An Empirical Evaluation of Automated Theorem Provers in Software CertificationEwen Denney, Bernd Fischer, Johann Schumann. ijait, 15(1):81-108, 2006. [doi]

Empirically Successful Automated Reasoning: Applications IssueBernd Fischer, Geoff Sutcliffe, Stephan Schulz. JAR, 37(1-2):1, 2006. [doi]

Semi-supervised LC/MS alignment for differential proteomicsBernd Fischer, Jonas Grossmann, Volker Roth, Wilhelm Gruissem, Sacha Baginsky, Joachim M. Buhmann. ismb 2006: 132-140 [doi]

Empirically Successful Automated Reasoning: Systems IssueBernd Fischer, Geoff Sutcliffe, Stephan Schulz. JAR, 36(4):287, 2006. [doi]

Variational Image Registration with Local PropertiesSven Kabus, Astrid Franz, Bernd Fischer. wbir 2006: 92-100 [doi]

Probabilistic De Novo Peptide Sequencing with Doubly Charged IonsHansruedi Peter, Bernd Fischer, Joachim M. Buhmann. dagm 2006: 424-433 [doi]

Dense Stereo by Triangular Meshing and Cross ValidationPeter Wey, Bernd Fischer, Herbert Bay, Joachim M. Buhmann. dagm 2006: 708-717 [doi]

2005

2004

Adding Assurance to Automatically Generated CodeEwen Denney, Bernd Fischer, Johann Schumann. hase 2004: 297-299 [doi]

Using Automated Theorem Provers to Certify Auto-generated Aerospace SoftwareEwen Denney, Bernd Fischer, Johann Schumann. cade 2004: 198-212 [doi]

A Hidden Markov Model for de Novo Peptide SequencingBernd Fischer, Volker Roth, Joachim M. Buhmann, Jonas Grossmann, Sacha Baginsky, Wilhelm Gruissem, Franz F. Roos, Peter Widmayer. nips 2004: [doi]

Fast Computation of Mutual Information in a Variational Image Registration ApproachStefan Heldmann, Oliver Mahnke, Daniel Potts, Jan Modersitzki, Bernd Fischer. bildmed 2004: 448-452 [doi]

Estimation of Organ Motion from 4D CT for 4D Radiation Therapy Planning of Lung CancerMichael Kaus, Thomas Netsch, Sven Kabus, Vladimir Pekar, Todd McNutt, Bernd Fischer. miccai 2004: 1017-1024 [doi]

2003

Free-Form Registration Using Mutual Information and Curvature RegularizationEmiliano D Agostino, Jan Modersitzki, Frederik Maes, Dirk Vandermeulen, Bernd Fischer, Paul Suetens. wbir 2003: 11-20 [doi]

Correctness of Source-Level Safety PoliciesEwen Denney, Bernd Fischer. fm 2003: 894-913 [doi]

Bagging for Path-Based ClusteringBernd Fischer, Joachim M. Buhmann. pami, 25(11):1411-1415, 2003. [doi]

Curvature Based Image RegistrationBernd Fischer, Jan Modersitzki. jmiv, 18(1):81-85, 2003. [doi]

Path-Based Clustering for Grouping of Smooth Curves and Texture SegmentationBernd Fischer, Joachim M. Buhmann. pami, 25(4):513-518, 2003. [doi]

AutoBayes: a system for generating data analysis programs from statistical modelsBernd Fischer, Johann Schumann. JFP, 13(3):483-508, 2003. [doi]

Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract)Bernd Fischer, Eelco Visser. LOPSTR 2004: 56-58 [doi]

FLIRT: A Flexible Image Registration ToolboxBernd Fischer, Jan Modersitzki. wbir 2003: 261-270 [doi]

Retrofitting the AutoBayes Program Synthesis System with Concrete SyntaxBernd Fischer, Eelco Visser. dagstuhl 2004: 239-253 [doi]

Applying AutoBayes to the Analysis of Planetary Nebulae ImagesBernd Fischer, Johann Schumann. ASE 2003: 337-342 [doi]

Clustering with the Connectivity KernelBernd Fischer, Volker Roth, Joachim M. Buhmann. nips 2004: [doi]

Optimal Image Registration with a Guaranteed One-to-one Point MatchJan Modersitzki, Bernd Fischer. bildmed 2003: 1-5 [doi]

Certification Support for Automatically Generated ProgramsJohann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle. hicss 2003: 337 [doi]

2002

Data Resampling for Path Based ClusteringBernd Fischer, Joachim M. Buhmann. dagm 2002: 206-214 [doi]

Fast Curvature-Based Registration of MR Mammography ImagesBernd Fischer, Jan Modersitzki. bildmed 2002: 139-142

Curvature Based Registration with Applications to MR-MammographyBernd Fischer, Jan Modersitzki. iccS 2002: 202-206 [doi]

Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002Bernd Fischer, Eelco Visser, editors, ACM, 2002.

Automatic Derivation of Statistical Algorithms: The EM Family and BeyondAlexander G. Gray, Bernd Fischer, Johann Schumann, Wray Buntine. nips 2003: 673-680 [doi]

Synthesizing Certified CodeMichael W. Whalen, Johann Schumann, Bernd Fischer. fm 2002: 431-450 [doi]

AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System DescriptionMichael W. Whalen, Johann Schumann, Bernd Fischer. cade 2002: 290-294 [doi]

2001

2000

Generating Data Analysis Programs from Statistical ModelsBernd Fischer, Johann Schumann, Thomas Pressburger. saig 2000: 212-229 [doi]

Specification-Based Browsing of Software Component LibrariesBernd Fischer. ASE, 7(2):179-200, 2000.

1999

Integrating Deduction Techniques in a Software Reuse ApplicationThomas Baar, Bernd Fischer, Dirk Fuchs. jucs, 5(3):52-72, 1999. [doi]

Towards Automated Synthesis of Data Mining ProgramsWray Buntine, Bernd Fischer, Thomas Pressburger. kdd 1999: 372-376 [doi]

An Integration of Deductive Retrieval into Deductive SynthesisBernd Fischer, Jon Whittle. ASE 1999: 52 [doi]

1997

Wavelets based on orthogonal polynomialsBernd Fischer, Jürgen Prestin. moc, 66(220):1593-1618, 1997.

SETHEO Goes Software Engineering: Application of ATP to Software ReuseBernd Fischer, Johann Schumann. cade 1997: 65-68

NORA/HAMMR: Making Deduction-Based Software Component Retrieval PracticalJohann Schumann, Bernd Fischer. jckbse 1997: 246-254 [doi]

1994

Die inferenzbasierte Softwareentwicklungsumgebung NORAGregor Snelting, Bernd Fischer, Franz-Josef Grosch, Matthias Kievernagel, Andreas Zeller. ife, 9(3):116-131, 1994.

1992

ALADIN: A Scanner Generator for Incremental Programming EnvironmentsBernd Fischer, Carsten Hammer, Werner Struckmann. SPE, 22(11):1011-1025, 1992.

1979

Ein PASCAL-Compiler für das DIETZ-System 621x2Leonie S. Dreschler-Fischer, Bernd Fischer, M. Mittelstein, Hans-Hellmut Nagel. pascal 1979: 84-94