( en | de | ru )

 

Disambiguierung von "Fischer, Bernd"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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

Insights into RNA biology from an atlas of mammalian mRNA-binding proteins, , , , , , , , , und 2 andere Autor(en). Cell, 149 (6): 1393--1406 (2012)SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer., , , , und . CoRR, (2018)Bildregistrierung zur Verbrennungsanalyse., , , und . Bildverarbeitung für die Medizin, Seite 159-163. Springer, (2011)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)Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs., , , und . ATVA, Volume 9938 von Lecture Notes in Computer Science, Seite 174-191. (2016)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)Weighted medical image registration with automatic mask generation., , und . Medical Imaging: Image Processing, Volume 6144 von SPIE Proceedings, Seite 61442B. SPIE, (2006)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)SMT-Based Bounded Model Checking of C++ Programs., , , , , und . ECBS, Seite 147-156. IEEE Computer Society, (2013)Applying AutoBayes to the Analysis of Planetary Nebulae Images., und . ASE, Seite 337-342. IEEE Computer Society, (2003)