Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Murphy Berzish
StringFuzz: A Fuzzer for String Solvers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Solvers for the Cardiac Bidomain Equations
Progress in Biophysics and Molecular Biology
Molecular Biology
Biophysics
A Decision-Making Procedure for Resolution-Based SAT-Solvers
Optimal Solvers for PDE-Constrained Optimization
SIAM Journal of Scientific Computing
Computational Mathematics
Applied Mathematics
A Parenthesis Machine for String Manipulation
Revue française d'automatique informatique recherche opérationnelle. Informatique théorique
Globalization Strategies for Inexact-Newton Solvers
Vulnerability Mining Method for the Modbus TCP Using an Anti-Sample Fuzzer
Sensors
Instrumentation
Information Systems
Electronic Engineering
Biochemistry
Analytical Chemistry
Molecular Physics,
Electrical
Atomic
Medicine
Optics
Benchmarking ICRF Full-Wave Solvers for ITER
Nuclear Fusion
High Energy Physics
Nuclear
Condensed Matter Physics
Robust FETI Solvers for Multiscale Elliptic PDEs
Mathematics in Industry
A Bit String Model for Microphysics