Nils Erik Flick

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 4

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

CS&P

Fundam. Informaticae

Developments in Language Theory

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

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

Nils Erik Flick.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nils Erik Flick