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

Research Output

Filter
Conference article

A graph-based tool to embed the π-calculus into a computational DPO framework

Andersen, J. L., Hellmuth, M., Merkle, D., Nøjgaard, N. & Peressotti, M., 1. Jan 2020, In : CEUR Workshop Proceedings. 2568, p. 121-132 12 p.

Research output: Contribution to journalConference articleResearchpeer-review

An Algorithm for Inferring Mitochondrial Genome Rearrangements in a Phylogenetic Tree

Bernt, M., Merkle, D. & Middendorf, M., 2008, In : Lecture Notes in Computer Science. p. 143-157

Research output: Contribution to journalConference articleResearchpeer-review

Congestion Control in Ant Like Moving Agent Systems

Scheidler, A., Merkle, D. & Middendorf, M., 2008, In : IFIP International Federation for Information Processing. p. 33-43

Research output: Contribution to journalConference articleResearchpeer-review

Emergent Sorting in Networks of Router Agents

Scheidler, A., Blum, C., Merkle, D. & Middendorf, M., 2008, In : Lecture Notes in Computer Science. p. 299-306

Research output: Contribution to journalConference articleResearchpeer-review

Exploring Chemistry Using SMT

Fagerberg, R., Flamm, C., Merkle, D. & Peters, P., 2012, In : Lecture Notes in Computer Science. 7514

Research output: Contribution to journalConference articleResearchpeer-review

Learning from House-Hunting Ants: Collective Decision-Making in Organic Computing Systems

Brutschy, A., Scheidler, A., Merkle, D. & Middendorf, M., 2008, In : Lecture Notes in Computer Science. p. 96-107

Research output: Contribution to journalConference articleResearchpeer-review