Mishel Carelli

Orcid: 0009-0000-2181-8205

According to our database¹, Mishel Carelli authored at least 4 papers between 2024 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Loop Termination and Generalized Collatz Sequences.

[DOI]

CoRR, May, 2026

2025

Closure and Complexity of Temporal Causality.

[DOI]

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

2024

CTL* Verification and Synthesis using Existential Horn Clauses.

[DOI]

CoRR, 2024

CTL<sup>*</sup> Verification and Synthesis Using Existential Horn Clauses.

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2024