Re-Thinking Process Mining with Agents in Mind. - Nils Erik Flick; Lawrence Cabac; Nicolas Denz; Daniel Moldt (AWPN, 2010)

Hypergraph-oriented 3D reconstruction, interpretation and analysis of air flows. - Denis Klimentjew; Nils Erik Flick; Till Bosselmann; Jianwei Zhang 001 (Int. J. Mechatronics Autom., 2011)

Language Operators for Multiset Languages and Modal Logic. - Nils Erik Flick; Manfred Kudlek (NCMA, 2012)

Derivation Languages of Graph Grammars. - Nils Erik Flick (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

A Hierarchy of Languages with Catenation and Shuffle. - Manfred Kudlek; Nils Erik Flick (Fundam. Informaticae, 2013)

Structure-Changing Petri Nets as a Mode! of Adverse Conditions. - Nils Erik Flick (Joint Workshop of the German Research Training Groups in Computer Science, 2014)

Analysis of Petri Nets with Context-Free Structure Changes. - Nils Erik Flick; Björn Engelmann 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Properties of Languages with Catenation and Shuffle. - Manfred Kudlek; Nils Erik Flick (Fundam. Informaticae, 2014)

On Correctness of Graph Programs Relative to Recursively Nested Conditions. - Nils Erik Flick (GCM@ICGT, 2015)

Quotients of Unbounded Parallelism. - Nils Erik Flick (ICTAC, 2015)

Closing the Gap - Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic - Extended Version -. - Björn Engelmann 001; Ernst-Rüdiger Olderog; Nils Erik Flick (CoRR, 2015)

Proving Correctness of Graph Programs Relative to Recursively Nested Conditions. - Nils Erik Flick (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

Proving correctness of graph programs relative to recursively nested conditions. - Nils Erik Flick (2016)