( en | de | ru )

 

Disambiguierung von "Berzish, Murphy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Z3str4: A Multi-armed String Solver.

, , , , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 389-406. Springer, (2021)

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.

Frank Murphy

Roy Murphy

Michael Murphy

Kiera Murphy

Bartholomew Murphy

 

Weitere Publikationen von Autoren mit dem selben Namen

StringFuzz: A Fuzzer for String Solvers., , , , , und . CAV (2), Volume 10982 von Lecture Notes in Computer Science, Seite 45-51. Springer, (2018)Z3str3: A string solver with theory-aware heuristics., , und . FMCAD, Seite 55-59. IEEE, (2017)Real-Time FPGA Simulation of Surrogate Models of Large Spiking Networks., , und . ICANN (1), Volume 9886 von Lecture Notes in Computer Science, Seite 349-356. Springer, (2016)Z3str4: A Solver for Theories over Strings.. University of Waterloo, Ontario, Canada, (2021)base-search.net (ftunivwaterloo:oai:uwspace.uwaterloo.ca:10012/17102).Z3str4: A Multi-armed String Solver., , , , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 389-406. Springer, (2021)A solver for a theory of string and bit-vectors., , , und . ICSE (Companion Volume), Seite 124-126. IEEE Computer Society, (2017)String Theories Involving Regular Membership Predicates: From Practice to Theory and Back., , , , , , und . WORDS, Volume 12847 von Lecture Notes in Computer Science, Seite 50-64. Springer, (2021)An SMT Solver for Regular Expressions and Linear Arithmetic over String Length., , , , , , und . CAV (2), Volume 12760 von Lecture Notes in Computer Science, Seite 289-312. Springer, (2021)