22 Infos zu Meike Hatzel

1 Aktuelle Nachrichten

2 Bücher zum Namen

This book constitutes the revised selected papers of the 43rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2017, held in...

This book constitutes the revised selected papers of the 44th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2018, held in Cottbus,...

1 Dokumente

Academia.edu is a place to share and follow research.

7 Wissenschaftliche Publikationen

List of computer science publications by Meike Hatzel

TF, Meike Hatzel, Steffen Härtlein, Hendrik Molter, and Henning Seidler The Minimum Shared Edges Problem on Grid-like Graphs abstract We study the 𝖭𝖯-hard Minimum Shared Edges (MSE) problem on graphs: decide whether it is possible to route p paths from a start vertex to a target vertex in a given graph while using at most k edges more than once.

Bibliographic content of CoRR August 2015

Logic and Semantics Research Group Home Research Teaching Members Contact. Meike Hatzel

2 Allgemeine Veröffentlichungen

This book constitutes the revised selected papers of the 43rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2017, held in...

We study encodings from CSP into asynchronous CCS with name passing and matching, so in fact, the asynchronous pi-calculus. By doing so, we discuss two...

10 Webfunde aus dem Netz

Title: Encoding CSP into CCS (Extended Version). Authors: Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann. Comments: Extended version of the ...

... aber auch mit anstrengenden Aufstiegen, teilweise mit Pickel und Seilsicherung verbunden war. Meike Hatzel. Le Importateur / About Author.

The Half-integral Erdös-Pósa Property for Non-null Cycles; 7th March Till Fluschnik, Meike Hatzel, Steffen Härtlein, Hendrik Molter, Henning Seidler.

Meike Hatzel, Christoph Wagner, Kirstin Peters and Uwe Nestmann, 61. Encoding the Factorisation Calculus Reuben N. S. Rowe,

This book constitutes the revised selected papers of the 43rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2017, held

Counting Graphs and Null Models of Complex Networks: Configuration Model and Extensions Erstes Kapitel lesen. Autoren: Till Fluschnik, Meike Hatzel, Steffen ...

Fetch | Report | Google · Encoding CSP into CCS (Extended Version) · Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann · CoRR, abs

Analysing and Comparing Encodability Criteria • Meike Hatzel, Christoph Wagner, Kirstin Peters and Uwe Nestmann. Encoding CSP into CCS • Reuben Rowe.

Authors: Till Fluschnik, Meike Hatzel, Steffen Härtlein, Hendrik Molter, Henning Seidler. (Submitted on 7 Mar (this version), latest version