( en | de | ru )

 

Disambiguation of "Fischer, Bernd"

Author of the publication

copydeleteadd this publication to your clipboard
Vollständige Rekonstruktion eines Rattenhirns aus hochaufgelösten Bildern von histologischen Serienschnitten.

, , , and . Bildverarbeitung für die Medizin, volume 116 of CEUR Workshop Proceedings, page 204-208. CEUR-WS.org, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bernd Fischer

Bernd Fischer

Bernd Fischer

Bernd Fischer

Bernd Fischer

 

Other publications of authors with the same name

Insights into RNA biology from an atlas of mammalian mRNA-binding proteins, , , , , , , , , and 2 other author(s). Cell, 149 (6): 1393--1406 (2012)Weighted medical image registration with automatic mask generation., , and . Medical Imaging: Image Processing, volume 6144 of SPIE Proceedings, page 61442B. SPIE, (2006)Image registration for CT and intra-operative ultrasound data of the liver., , , , and . Medical Imaging: Image-Guided Procedures, volume 6918 of SPIE Proceedings, page 691808. SPIE, (2008)SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer., , , , and . CoRR, (2018)Highly efficient image registration for embedded systems using a distributed multicore DSP architecture., , , , and . J. Real-Time Image Processing, 14 (2): 341-361 (2018)3D ultrasound-CT registration of the liver using combined landmark-intensity information., , , , , , and . Int. J. Comput. Assist. Radiol. Surg., 4 (1): 79-88 (2009)Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs., , , and . ATVA, volume 9938 of Lecture Notes in Computer Science, page 174-191. (2016)DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution)., , , , and . TACAS (2), volume 10206 of Lecture Notes in Computer Science, page 360-364. (2017)AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description., , and . CADE, volume 2392 of Lecture Notes in Computer Science, page 290-294. Springer, (2002)On Adaptive Weighted Polynomial Preconditioning for Hermitian Positive Definite Matrices., and . SIAM J. Sci. Comput., 15 (2): 408-426 (1994)