( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
AutoSMP: an evaluation platform for sampling algorithms.

, , , , и . SPLC (B), стр. 41-44. ACM, (2021)

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.

Ina Schaefer

Michael Inacker

Mohan Mohadeo Inamdar

Jason Inan

Kemal Inat

 

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

Product sampling for product lines: the scalability challenge., , , , , и . SPLC (A), стр. 14:1-14:6. ACM, (2019)Refactoring Delta-Oriented Software Product Lines., и . Software Engineering & Management, том P-239 из LNI, стр. 82. GI, (2015)Analysis Strategies for Software Product Lines: A Classification and Survey., , , , и . Software Engineering & Management, том P-239 из LNI, стр. 57-58. GI, (2015)On language levels for feature modeling notations., , и . SPLC (B), стр. 83:1-83:4. ACM, (2019)Oil palm and rubber expansion facilitates earthworm invasion in Indonesia, , , , , и . Biological Invasions, 23 (9): 2783–2795 (апреля 2021)Software Reuse: From Cloned Variants to Managed Software Product Lines., , и . Automotive Systems and Software Engineering, Springer, (2019)Evolution of software in automated production systems: challenges and research directions., , , и . Software Engineering, том P-252 из LNI, стр. 107-108. GI, (2016)Experience Report on Formally Verifying Parts of OpenJDK's API with KeY., , , и . F-IDE@FLoC, том 284 из EPTCS, стр. 53-70. (2018)Correctness-by-construction for feature-oriented software product lines., , и . GPCE, стр. 22-34. ACM, (2020)GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers., , и . FormaliSE@ICSE, стр. 124-129. IEEE, (2021)