20082020

Research output per year

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer

Filtrer
Konferenceartikel
2020

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, I : CEUR Workshop Proceedings. 2568, s. 121-132 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

2012

Exploring Chemistry Using SMT

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

2008

An Algorithm for Inferring Mitochondrial Genome Rearrangements in a Phylogenetic Tree

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Congestion Control in Ant Like Moving Agent Systems

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Emergent Sorting in Networks of Router Agents

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

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

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review