Damien Morard

According to our database¹, Damien Morard authored at least 3 papers between 2020 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Global Symbolic Model Checking based on Generalised Intervals.

[BibT_eX]

[DOI]

PhD thesis, 2024

Symbolic Model Checking Using Intervals of Vectors.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

2020

A formalism to model higher-order function.

[BibT_eX]

[DOI]

Proceedings of the Programming'20: 4th International Conference on the Art, 2020