Maxime Nederkorn

Orcid: 0000-0002-8807-7074

According to our database¹, Maxime Nederkorn authored at least 1 paper in 2018.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2018

CoReS: A Tool for Computing Core Graphs via SAT/SMT Solvers.

[DOI]

Proceedings of the Graph Transformation - 11th International Conference, 2018