Alessio Mansutti

Identifiers

• name variant Alessio Mansutti 0.60 · backfill

Papers (7)

1. Towards an Automated Reasoning Tool for Complexity Analysis of Automated Reasoners cs.LO · 2026 · author #4
2. How (and when) can you fit examples to logic-based hypothesis classes over infinite structures? cs.LO · 2026 · author #2
3. MCSAT Modulo Transcendental Arithmetics cs.LO · 2026 · author #3
4. The complexity of Presburger arithmetic with power or powers cs.LO · 2023 · author #3
5. Loose Graph Simulations cs.LO · 2017 · author #1
6. Deciding Hedged Bisimilarity cs.CR · 2016 · author #1
7. Distributed execution of bigraphical reactive systems cs.DC · 2015 · author #1

Mentions

• 2606.23516 #4 · arxiv_oai · confidence 0.70 Alessio Mansutti
• 1503.02434 #1 · backfill · confidence 0.70 Alessio Mansutti
• 2606.01107 #2 · arxiv_oai · confidence 0.70 Alessio Mansutti
• 2606.00697 #3 · arxiv_oai · confidence 0.70 Alessio Mansutti
• 2305.03037 #3 · arxiv_oai · confidence 0.70 Alessio Mansutti

Frequent Coauthors

• Marino Miculan 3 shared papers
• Marco Peressotti 2 shared papers
• Michael Benedikt 2 shared papers
• Dmitry Chistikov 1 shared papers
• Enrico Lipparini 1 shared papers
• F\'elix Ridoux 1 shared papers
• Jorge Gallego-Hern\'andez 1 shared papers
• Louis Rustenholz 1 shared papers
• Manuel V. Hermenegildo 1 shared papers
• Niki Vazou 1 shared papers
• Pedro Lopez-Garcia 1 shared papers