( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Guest editors' introduction.

, и . Autom. Softw. Eng., 16 (1): 1-2 (2009)

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.

Bernd Fischer

Bernd Fischer

Bernd Fischer

Bernd Fischer

Bernd Fischer

 

Другие публикации лиц с тем же именем

Insights into RNA biology from an atlas of mammalian mRNA-binding proteins, , , , , , , , , и 2 other автор(ы). Cell, 149 (6): 1393--1406 (2012)SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer., , , , и . CoRR, (2018)Bildregistrierung zur Verbrennungsanalyse., , , и . Bildverarbeitung für die Medizin, стр. 159-163. Springer, (2011)DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution)., , , , и . TACAS (2), том 10206 из Lecture Notes in Computer Science, стр. 360-364. (2017)Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs., , , и . ATVA, том 9938 из Lecture Notes in Computer Science, стр. 174-191. (2016)Image registration for CT and intra-operative ultrasound data of the liver., , , , и . Medical Imaging: Image-Guided Procedures, том 6918 из SPIE Proceedings, стр. 691808. SPIE, (2008)Weighted medical image registration with automatic mask generation., , и . Medical Imaging: Image Processing, том 6144 из SPIE Proceedings, стр. 61442B. SPIE, (2006)AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description., , и . CADE, том 2392 из Lecture Notes in Computer Science, стр. 290-294. Springer, (2002)SMT-Based Bounded Model Checking of C++ Programs., , , , , и . ECBS, стр. 147-156. IEEE Computer Society, (2013)Applying AutoBayes to the Analysis of Planetary Nebulae Images., и . ASE, стр. 337-342. IEEE Computer Society, (2003)