Michael Raulf

According to our database, Michael Raulf authored at least 2 papers between 2016 and 2018.

Collaborative distances:

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

2018

Exploration of language specifications by compilation to first-order logic.

Sylvia Grewe, Sebastian Erdweg, André Pacak, Michael Raulf, Mira Mezini

Sci. Comput. Program., 2018

2016

Exploration of language specifications by compilation to first-order logic.

Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016