Marcel Schütz

Orcid: 0000-0002-5386-5134

According to our database¹, Marcel Schütz authored at least 4 papers between 2021 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Reusing Learning Objects via Theory Morphisms.

[BibT_eX]

[DOI]

Michael Kohlhase

Marcel Schütz

Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024

Term Extraction for Domain Modeling.

[BibT_eX]

[DOI]

Proceedings of the DELFI 2024, 2024

2021

Beautiful Formalizations in Isabelle/Naproche.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

The Isabelle/Naproche Natural Language Proof Assistant.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 28, 2021

Marcel Schütz

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...