( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Applying symbolic bounded model checking to the 2012 RERS greybox challenge.

, , , и . Int. J. Softw. Tools Technol. Transf., 16 (5): 519-529 (2014)

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

 

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

Ein PASCAL-Compiler für das DIETZ-System 621x2., , , и . PASCAL, том 1 из Berichte des German Chapter of the ACM, стр. 84-94. Teubner, (1979)Free-Form Registration Using Mutual Information and Curvature Regularization., , , , , и . WBIR, том 2717 из Lecture Notes in Computer Science, стр. 11-20. Springer, (2003)AutoBayes: a system for generating data analysis programs from statistical models., и . J. Funct. Program., 13 (3): 483-508 (2003)Comparison of Context-Free Grammars Based on Parsing Generated Test Data., , и . SLE, том 6940 из Lecture Notes in Computer Science, стр. 324-343. Springer, (2011)An ensemble approach to building Mercer Kernels with prior information., , и . SMC, стр. 2352-2359. IEEE, (2005)Wavelets based on orthogonal polynomials., и . Math. Comput., 66 (220): 1593-1618 (1997)Breaking parsers: mutation-based generation of programs with guaranteed syntax errors., , и . SLE, стр. 83-87. ACM, (2019)An interactive feedback system for grammar development (tool paper)., , и . SLE, стр. 101-107. ACM, (2020)Empirically Successful Automated Reasoning: Systems Issue., , и . J. Autom. Reason., 36 (4): 287 (2006)Deduction-based software component retrieval.. University of Passau, Germany, (2002)