# Marco Maggesi

According to our database

Collaborative distances:

^{1}, Marco Maggesi authored at least 16 papers between 2007 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2021

CoRR, 2021

CoRR, 2021

2020

Proc. ACM Program. Lang., 2020

CoRR, 2020

CoRR, 2020

2019

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018

J. Autom. Reason., 2018

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2012

J. Autom. Reason., 2012

Proceedings of the Proceedings 8th Workshop on Fixed Points in Computer Science, 2012

2011

J. Autom. Reason., 2011

2010

Inf. Comput., 2010

2007

CoRR, 2007

Proceedings of the Logic, 2007