"Murphy Berzish" appeared in Books and Chapters

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Murphy Berzish

"Murphy Berzish" appeared in Books and Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Boook	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

«
‹
›
»

entries per page

Filter:

Showing 1 to 5 of 5 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Real-Time FPGA Simulation of Surrogate Models of Large Spiking Networks	Murphy Berzish; Chris Eliasmith; Bryan Tripp	Artificial Neural Networks and Machine Learning – ICANN 2016: 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I	Alessandro E.P. Villa; Paolo Masulli; Antonio Javier Pons Rivero	1st ed. 2016	Springer International Publishing
Z3str4: A Multi-armed String Solver	Federico Mora; Murphy Berzish; Mitja Kulczynski; Dirk Nowotka; Vijay Ganesh	Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings	Marieke Huisman; Corina Păsăreanu; Naijun Zhan	1st ed. 2021	Springer International Publishing
StringFuzz: A Fuzzer for String Solvers	Dmitry Blotsky; Federico Mora; Murphy Berzish; Yunhui Zheng; Ifaz Kabir; Vijay Ganesh	Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II	Hana Chockler; Georg Weissenbacher	1st ed. 2018	Springer International Publishing
An SMT Solver for Regular Expressions and Linear Arithmetic over String Length	Murphy Berzish; Mitja Kulczynski; Federico Mora; Florin Manea; Joel D. Day; Dirk Nowotka et al.	Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II	Alexandra Silva; K. Rustan M. Leino	1st ed. 2021	Springer International Publishing
String Theories Involving Regular Membership Predicates: From Practice to Theory and Back	Murphy Berzish; Joel D. Day; Vijay Ganesh; Mitja Kulczynski; Florin Manea; Federico Mora et al.	Combinatorics on Words: 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings	Thierry Lecroq; Svetlana Puzynina	1st ed. 2021	Springer International Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 5 of 5 entries

«
‹
1
›
»