Gerardo Ortiz

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Symbolic Execution

Building Blocks

Test Generation

Quantum Computing

Top Venues

Frontiers Comput. Neurosci.

Publications

Jacques Carette, Gerardo Ortiz, Amr Sabry
Symbolic Execution of Hadamard-Toffoli Quantum Circuits. PEPM@POPL (2023)
Jacques Carette, Gerardo Ortiz, Amr Sabry
Retrodictive Quantum Computing. CoRR (2022)
Leandro J. Fosque, Abolfazl Alipour, Marzieh Zare, Rashid V. Williams-García, John M. Beggs, Gerardo Ortiz
Quasicriticality explains variability of human neural dynamics across life span. Frontiers Comput. Neurosci. 16 (2022)