Nils Erik Flick

According to our database, Nils Erik Flick authored at least 13 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2016

Proving correctness of graph programs relative to recursively nested conditions.

Nils Erik Flick

PhD thesis, 2016

2015

Proving Correctness of Graph Programs Relative to Recursively Nested Conditions.

Nils Erik Flick

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

Closing the Gap - Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic - Extended Version -.

Björn Engelmann, Ernst-Rüdiger Olderog, Nils Erik Flick

CoRR, 2015

Quotients of Unbounded Parallelism.

Nils Erik Flick

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

On Correctness of Graph Programs Relative to Recursively Nested Conditions.

Nils Erik Flick

Proceedings of the 6th International Workshop on Graph Computation Models co-located with the 8th International Conference on Graph Transformation (ICGT 2015) part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, 2015

2014

Properties of Languages with Catenation and Shuffle.

Manfred Kudlek, Nils Erik Flick

Fundam. Informaticae, 2014

Analysis of Petri Nets with Context-Free Structure Changes.

Nils Erik Flick, Björn Engelmann

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

Structure-Changing Petri Nets as a Mode! of Adverse Conditions.

Nils Erik Flick

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

2013

A Hierarchy of Languages with Catenation and Shuffle.

Manfred Kudlek, Nils Erik Flick

Fundam. Informaticae, 2013

Derivation Languages of Graph Grammars.

Nils Erik Flick

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

2012

Language Operators for Multiset Languages and Modal Logic.

Nils Erik Flick, Manfred Kudlek

Proceedings of the Fourth Workshop on Non-Classical Models for Automata and Applications, 2012

2011

Hypergraph-oriented 3D reconstruction, interpretation and analysis of air flows.

Denis Klimentjew, Nils Erik Flick, Till Bosselmann, Jianwei Zhang

Int. J. Mechatronics Autom., 2011

2010

Re-Thinking Process Mining with Agents in Mind.

Nils Erik Flick, Lawrence Cabac, Nicolas Denz, Daniel Moldt

Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010