20122020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article in proceedings
2020

A Graph-Based Tool to Embed the pi-Calculus into a Computational DPO Framework

Andersen, J. L., Hellmuth, M., Merkle, D., Nøjgaard, N. & Peressotti, M., 2020, Proceedings of the SOFSEM 2020 Doctoral Student Research. ceur workshop proceedings, Vol. 2568. p. 121-132 12 p. (CEUR Workshop Proceedings).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2019

Graph Transformations, Semigroups, and Isotopic Labeling

Andersen, J. L., Merkle, D. & Rasmussen, P. S., 2019, Bioinformatics Research and Applications. ISBRA 2019. Cai, Z., Skums, P. & Li, M. (eds.). Springer, p. 196-207 (Lecture Notes in Computer Science, Vol. 11490).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2018

A generic framework for engineering graph canonization algorithms

Andersen, J. L. & Merkle, D., Jan 2018, 2018 Proceedings of the 20th Workshop on Algorithm Engineering and Experiments, ALENEX 2018. Venkatasubramanian, S. & Pagh, R. (eds.). Society for Industrial and Applied Mathematics Publications, p. 139-153

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File
169 Downloads (Pure)
2017

Chemical Graph Transformation with Stereo-Information

Andersen, J. L., Flamm, C., Merkle, D. & Stadler, P. F., 2017, Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings: Proceedings of the 10th International Conference on Graph Transformation. de Lara, J. & Plump, D. (eds.). Cham: Springer, p. 54-69 (Lecture Notes in Computer Science, Vol. 10373).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2016

A Software Package for Chemically Inspired Graph Transformation

Andersen, J. L., Flamm, C., Merkle, D. & Stadler, P. F., 2016, Graph Transformation: Proceedings of the 9th International Conference on Graph Transformation. Echahed, R. & Minas, M. (eds.). Springer, p. 73-88 (Lecture Notes in Computer Science, Vol. 9761).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2014

50 Shades of Rule Composition: From Chemical Reactions to Higher Levels of Abstraction

Andersen, J. L., Flamm, C., Merkle, D. & Stadler, P. F., 2014, Formal Methods in Macro-Biology: Proceedings of the First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Fages, F. & Piazza, C. (eds.). Springer, p. 117-135 (Lecture Notes in Computer Science, Vol. 8738).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Towards an Optimal DNA-Templated Molecular Assembler

Andersen, J. L., Flamm, C., Hanczyc, M. M. & Merkle, D., 30. Jul 2014, Artificial Life 14: Proceedings of the Fourteenth Conference on the Synthesis and Simulation of Living Systems. Sayama, H., Rieffel, J., Risi, S., Doursat, R. & Lipson, H. (eds.). MIT Press, p. 557-564

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review