Nils Erik Flick

16 papers C 2Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2016 — —
Proving correctness of graph programs relative to recursively nested conditions.
Nils Erik Flick
2015 J jnl
Closing the Gap - Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic - Extended Version -.
CoRR
Björn Engelmann, Ernst-Rüdiger Olderog, Nils Erik Flick
2015 — conf
On Correctness of Graph Programs Relative to Recursively Nested Conditions.
GCM@ICGT
Nils Erik Flick
2015 J jnl
Proving Correctness of Graph Programs Relative to Recursively Nested Conditions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Nils Erik Flick
2015 C conf
Quotients of Unbounded Parallelism.
ICTAC
Nils Erik Flick
2014 J jnl
Analysis of Petri Nets with Context-Free Structure Changes.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Nils Erik Flick, Björn Engelmann
2014 J jnl
Properties of Languages with Catenation and Shuffle.
Fundam. Informaticae
Manfred Kudlek, Nils Erik Flick
2014 — conf
Structure-Changing Petri Nets as a Mode! of Adverse Conditions.
Joint Workshop of the German Research Training Groups in Computer Science
Nils Erik Flick
2013 J jnl
A Hierarchy of Languages with Catenation and Shuffle.
Fundam. Informaticae
Manfred Kudlek, Nils Erik Flick
2013 J jnl
Derivation Languages of Graph Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Nils Erik Flick
2012 — conf
A Hierarchy of Languages with Catenation and Shuffle.
CS&P
Nils Erik Flick, Manfred Kudlek
2012 — conf
Language Operators for Multiset Languages and Modal Logic.
NCMA
Nils Erik Flick, Manfred Kudlek
2012 C conf
On a Hierarchy of Languages with Catenation and Shuffle.
Developments in Language Theory
Nils Erik Flick, Manfred Kudlek
2012 — conf
Properties of Languages with Catenation and Shuffle.
CS&P
Nils Erik Flick, Manfred Kudlek
2011 J jnl
Hypergraph-oriented 3D reconstruction, interpretation and analysis of air flows.
Int. J. Mechatronics Autom.
Denis Klimentjew, Nils Erik Flick, Till Bosselmann, Jianwei Zhang
2010 — conf
Re-Thinking Process Mining with Agents in Mind.
AWPN
Nils Erik Flick, Lawrence Cabac, Nicolas Denz, Daniel Moldt