🧑🏻‍💻 My Work

📝 Papers:

• Compact Quantum Circuits for Autosymmetric and Dimension Reducible Functions
  A. Bernasconi, V. Ciriani, G. Cuciniello, N. Manini, A. Taheri Monfared. ACM JETC (2026). [PDF]
• Reachability-guided Abstraction Refinement
  P. Ganty, N. Manini, F. Ranzato. FM 2026. [PDF]
• The Reachable Simulation Problem
  P. Ganty, N. Manini, F. Ranzato. ACM ToCL (2025). [PDF]
• Computing Reachable Simulations on Transition Systems
  P. Ganty, N. Manini, F. Ranzato. RP 2024. [PDF] [arXiv]
• Deciding Program Properties via Complete Abstractions on Bounded Domains
  R. Bruni, R. Gori, N. Manini. SAS 2022. [PDF]

🖼️ Posters:

• Complete Abstraction on Bounded Domains
  My I[M]DEA Show Your Work Day 2023. [PDF]
• Online Simulation Reduction
  My I[M]DEA Show Your Work Day 2022. [PDF]