Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Federico Mora
StringFuzz: A Fuzzer for String Solvers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Client-Specific Equivalence Checking
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
