From post

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.

 

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

Structural Equivalence Partition and Boundary Testing., и . Software Engineering, том P-183 из LNI, стр. 75-86. GI, (2011)Compiling for Massively Parallel Machines., и . Code Generation, стр. 92-111. Springer, (1991)Discussion: Parallelism, и . Code Generation, стр. 112-115. Springer, (1991)Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible., и . VMCAI, том 12597 из Lecture Notes in Computer Science, стр. 353-375. Springer, (2021)Test Case Reduction: A Framework, Benchmark, and Comparative Study., , и . ICSME, стр. 58-69. IEEE, (2021)Static and Dynamic Dependency Visualization in a Layered Software City., и . SN Comput. Sci., 3 (6): 511 (2022)Localization Limitations of ARCore, ARKit, and Hololens in Dynamic Large-scale Industry Environments., , , , , и . VISIGRAPP (1: GRAPP), стр. 307-318. SCITEPRESS, (2020)MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests., , и . ICST Workshops, стр. 294-303. IEEE, (2020)Tapir: Language Support to Reduce the State Space in Model-Checking., и . GI Jahrestagung, том P-154 из LNI, стр. 2860-2874. GI, (2009)Effizientes RMI für Java., , и . Java-Informations-Tage, стр. 135-148. Springer, (1999)