Daniel Fortunato

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 13

Top Topics

Quantified Boolean Formulae

Mutation Testing

Symmetry Breaking

Top Venues

Nat. Comput. Sci.

QSE-NE@SIGSOFT FSE

J. Comput. Phys.

Publications

Daniel Fortunato, José Campos, Rui Abreu
Gate Branch Coverage: A Metric for Quantum Software Testing. QSE-NE@SIGSOFT FSE (2024)
Pearson W. Miller, Daniel Fortunato, Matteo Novaga, Stanislav Y. Shvartsman, Cyrill B. Muratov
Generation and Motion of Interfaces in a Mass-Conserving Reaction-Diffusion System. SIAM J. Appl. Dyn. Syst. 22 (3) (2023)
Pearson W. Miller, Daniel Fortunato, Cyrill B. Muratov, Leslie Greengard, Stanislav Y. Shvartsman
Forced and spontaneous symmetry breaking in cell polarization. Nat. Comput. Sci. 2 (8) (2022)
Daniel Fortunato
A high-order fast direct solver for surface PDEs. CoRR (2022)
Daniel Fortunato, José Campos, Rui Abreu
QMutPy: a mutation testing tool for Quantum algorithms and applications in Qiskit. ISSTA (2022)
Daniel Fortunato, José Campos, Rui Abreu
Mutation Testing of Quantum Programs Written in QISKit. ICSE-Companion (2022)
Sofia Reis, Rui Abreu, Marcelo d'Amorim, Daniel Fortunato
Leveraging Practitioners' Feedback to Improve a Security Linter. ASE (2022)
Keaton J. Burns, Daniel Fortunato, Keith A. Julien, Geoffrey M. Vasil
Corner Cases of the Generalized Tau Method. CoRR (2022)
Pearson W. Miller, Daniel Fortunato, Cyrill B. Muratov, Leslie Greengard, Stanislav Y. Shvartsman
Author Correction: Forced and spontaneous symmetry breaking in cell polarization. Nat. Comput. Sci. 2 (11) (2022)
Daniel Fortunato, Nicholas Hale, Alex Townsend
The ultraspherical spectral element method. J. Comput. Phys. 436 (2021)
Cláudio Gomes, Daniel Fortunato, João Paulo Fernandes, Rui Abreu
Off-the-shelf Components for Quantum Programming and Testing. Q-SET@QCE (2020)
Daniel Fortunato, Nicholas Hale, Alex Townsend
The ultraspherical spectral element method. CoRR (2020)
Daniel Fortunato, Chris H. Rycroft, Robert I. Saye
Efficient Operator-Coarsening Multigrid Schemes for Local Discontinuous Galerkin Methods. SIAM J. Sci. Comput. 41 (6) (2019)