Marc Thieme

According to our database, Marc Thieme authored at least 1 paper in 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Slicing Models for Equiconsistency with Alloy.

Marc Thieme, Shobhit Singh, Terru Stübinger, Romain Pascual, Mattias Ulbrich

Proceedings of the Rigorous State-Based Methods - 12th International Conference, 2026