Alessio Mansutti
Identifiers
- name variant Alessio Mansutti 0.60 · backfill
Papers (7)
- Towards an Automated Reasoning Tool for Complexity Analysis of Automated Reasoners cs.LO · 2026 · author #4
- How (and when) can you fit examples to logic-based hypothesis classes over infinite structures? cs.LO · 2026 · author #2
- MCSAT Modulo Transcendental Arithmetics cs.LO · 2026 · author #3
- The complexity of Presburger arithmetic with power or powers cs.LO · 2023 · author #3
- Loose Graph Simulations cs.LO · 2017 · author #1
- Deciding Hedged Bisimilarity cs.CR · 2016 · author #1
- 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