( en | de | ru )

 

Disambiguierung von "Fischer, Bernd"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software.

, und . ASE, Seite 560-564. IEEE Computer Society, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Bernd Fischer

Bernd Fischer

Bernd Fischer

Bernd Fischer

Bernd Fischer

 

Weitere Publikationen von Autoren mit dem selben Namen

Grammar-based testing for little languages: an experience report with student compilers., , , und . SLE, Seite 253-269. ACM, (2020)An Approach for Software-Driven and Standard-Based Support of Cross-Enterprise Tumor Boards., , und . eHealth, Volume 212 von Studies in Health Technology and Informatics, Seite 219-224. IOS Press, (2015)SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer., , , , und . CoRR, (2018)Weighted medical image registration with automatic mask generation., , und . Medical Imaging: Image Processing, Volume 6144 von SPIE Proceedings, Seite 61442B. SPIE, (2006)Insights into RNA biology from an atlas of mammalian mRNA-binding proteins, , , , , , , , , und 2 andere Autor(en). Cell, 149 (6): 1393--1406 (2012)Image registration for CT and intra-operative ultrasound data of the liver., , , , und . Medical Imaging: Image-Guided Procedures, Volume 6918 von SPIE Proceedings, Seite 691808. SPIE, (2008)Bildregistrierung zur Verbrennungsanalyse., , , und . Bildverarbeitung für die Medizin, Seite 159-163. Springer, (2011)Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs., , , und . ATVA, Volume 9938 von Lecture Notes in Computer Science, Seite 174-191. (2016)AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description., , und . CADE, Volume 2392 von Lecture Notes in Computer Science, Seite 290-294. Springer, (2002)DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution)., , , , und . TACAS (2), Volume 10206 von Lecture Notes in Computer Science, Seite 360-364. (2017)