Marcello Bonsangue

Identifiers

• name variant Marcello Bonsangue 0.60 · backfill

Papers (2)

1. Quantum Algorithms for Magic Square Diophantine Equations quant-ph · 2026 · author #2
2. Automatic Equivalence Proofs for Non-deterministic Coalgebras cs.LO · 2013 · author #1

Mentions

• 1303.1994 #1 · backfill · confidence 0.70 Marcello Bonsangue

Frequent Coauthors

• Alexandra Silva 1 shared papers
• Alfons Laarman 1 shared papers
• Dimitrios Thanos 1 shared papers
• Dorel Lucanu 1 shared papers
• Eugen-Ioan Goriac 1 shared papers
• Georgiana Caltais 1 shared papers
• Jan Rutten 1 shared papers