Marcus Ermler

Affiliations:

University of Bremen, Germany (Dr. Ing. 2014, PhD 2016)

According to our database¹, Marcus Ermler authored at least 8 papers between 2009 and 2016.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2016

Rule-based transformation of cell complexes.

[BibT_eX]

[DOI]

Marcus Ermler

PhD thesis, 2016

2015

SAT-basierte Verifikation von Graphtransformationseinheiten.

[BibT_eX]

[DOI]

Marcus Ermler

PhD thesis, 2015

Entwurf und Implementierung einer Programmiersprache im studentischen Projekt Monty's Coconut.

[BibT_eX]

[DOI]

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

2014

Ein Ansatz zum Erkennen von Schleifen in Graphersetzungssystemen mit Hilfe einer aussagenlogischen Kodierung und seine Anwendung auf Haskell.

[BibT_eX]

[DOI]

Marcus Ermler

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, 2014

2013

A Graph Transformational View on Reductions in NP.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

2011

AuthorSupportTool - besser wissenschaftlich arbeiten.

[BibT_eX]

[DOI]

Inform. Spektrum, 2011

From Graph Transformation Units via MiniSat to GrGen.NET.

[BibT_eX]

[DOI]

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

2009

AuthorSupportTool.

[BibT_eX]

Proceedings of the Informatiktage 2009, 2009

Marcus Ermler

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...