( en | de | ru )

 

Disambiguierung von "Hicks, Michael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying replicated data types with typeclass refinements in Liquid Haskell.

, , , , , und . Proc. ACM Program. Lang., 4 (OOPSLA): 216:1-216:30 (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Michael Stanton-Hicks

Robert Hicks

William Hicks

Birgit Hickstein

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

Mirja Hickstein

 

Weitere Publikationen von Autoren mit dem selben Namen

Evaluating Dynamic Software Update Safety Using Systematic Testing., , , , und . IEEE Trans. Software Eng., 38 (6): 1340-1354 (2012)Specifying and Verifying the Correctness of Dynamic Software Updates., , , , und . VSTTE, Volume 7152 von Lecture Notes in Computer Science, Seite 278-293. Springer, (2012)Reducing the Branch Power Cost in Embedded Processors Through Static Scheduling, Profiling and SuperBlock Formation., , , und . Asia-Pacific Computer Systems Architecture Conference, Volume 4186 von Lecture Notes in Computer Science, Seite 366-372. Springer, (2006)Coverage guided, property based testing., , und . Proc. ACM Program. Lang., 3 (OOPSLA): 181:1-181:29 (2019)Verified compilation of Quantum oracles., , , , , und . Proc. ACM Program. Lang., 6 (OOPSLA2): 589-615 (2022)Does the Bronze Garbage Collector Make Rust Easier to Use? A Controlled Experiment., , und . CoRR, (2021)Fuzzing Configurations of Program Options - RCR Report., , , , und . ACM Trans. Softw. Eng. Methodol., 32 (2): 55:1-55:3 (April 2023)A Verified Optimizer for Quantum Circuits., , , , und . CoRR, (2019)BullFrog: Online Schema Evolution via Lazy Evaluation., , , und . SIGMOD Conference, Seite 194-206. ACM, (2021)The ruby intermediate language., , , und . DLS, Seite 89-98. ACM, (2009)