( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automating object transformations for dynamic software updating.

, , , и . OOPSLA, стр. 265-280. ACM, (2012)

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.

Michael Stanton-Hicks

Robert Hicks

William Hicks

Birgit Hickstein

Magnetic beads for bioseparation processes - synthesis and application properties. TU Clausthal-Zellerfeld, (2009)

Mirja Hickstein

 

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

Evaluating Dynamic Software Update Safety Using Systematic Testing., , , , и . IEEE Trans. Software Eng., 38 (6): 1340-1354 (2012)Reducing the Branch Power Cost in Embedded Processors Through Static Scheduling, Profiling and SuperBlock Formation., , , и . Asia-Pacific Computer Systems Architecture Conference, том 4186 из Lecture Notes in Computer Science, стр. 366-372. Springer, (2006)Specifying and Verifying the Correctness of Dynamic Software Updates., , , , и . VSTTE, том 7152 из Lecture Notes in Computer Science, стр. 278-293. Springer, (2012)Verified compilation of Quantum oracles., , , , , и . Proc. ACM Program. Lang., 6 (OOPSLA2): 589-615 (2022)Coverage guided, property based testing., , и . Proc. ACM Program. Lang., 3 (OOPSLA): 181:1-181:29 (2019)A Verified Optimizer for Quantum Circuits., , , , и . CoRR, (2019)Fuzzing Configurations of Program Options - RCR Report., , , , и . ACM Trans. Softw. Eng. Methodol., 32 (2): 55:1-55:3 (апреля 2023)Does the Bronze Garbage Collector Make Rust Easier to Use? A Controlled Experiment., , и . CoRR, (2021)Deanonymizing mobility traces: using social network as a side-channel., и . CCS, стр. 628-637. ACM, (2012)The ruby intermediate language., , , и . DLS, стр. 89-98. ACM, (2009)