Dr. Nils Erik Flick

• [article] bibtex
  N. E. Flick und B. Engelmann, "Analysis of Petri Nets with context-free structure changes," Electronic Communications of the EASST, vol. 71, 2015.
  @article{Flick-Engelmann15a,
  author = {Flick, Nils Erik and Engelmann, Bj{\"o}rn},
  title = {Analysis of Petri Nets with context-free structure changes},
  booktitle = {Graph Computation Models 2014},
  journal = {Electronic Communications of the EASST},
  volume = {71},
  year = {2015} }
• [inproceedings] bibtex | Dokument aufrufen
  N. E. Flick, "On Correctness of Graph Programs Relative to Recursively Nested Conditions," in Proc. Graph Computation Models (GCM 2015), 2015, pp. 97-112.
  @inproceedings{Flick15a,
  author = {Nils Erik Flick},
  title = {On Correctness of Graph Programs Relative to Recursively Nested Conditions},
  booktitle = {Graph Computation Models (GCM 2015)},
  publisher = {CEUR-WS.org},
  volume = {1403},
  pages = {97--112},
  year = {2015},
  url = {http://ceur-ws.org/Vol-1403} }
• [article] bibtex
  N. E. Flick, "Derivation Languages of Graph Grammars," Electronic Communications of the EASST, vol. 61, 2013.
  @article{Flick13a,
  author = {Flick, Nils Erik},
  title = {Derivation Languages of Graph Grammars},
  booktitle = {Graph Computation Models 2012},
  journal = {Electronic Communications of the EASST},
  volume = {61},
  year = {2013} }
• [inproceedings] bibtex
  N. E. Flick und M. Kudlek, "A Hierarchy of Languages with Catenation and Shuffle," in Proc. Concurrency, Specification and Programming (CS&P), 2012, pp. 103-114.
  @inproceedings{Flick-Kudlek12c,
  author = {Nils Erik Flick AND Manfred Kudlek},
  title = {A Hierarchy of Languages with Catenation and Shuffle},
  booktitle = {Concurrency, Specification and Programming (CS{\&}P)},
  year = {2012},
  pages = {103-114} }
• [inproceedings] bibtex
  N. E. Flick und M. Kudlek, "Language Operators for Multiset Languages and Modal Logic," in Proc. Non-Classical Models for Automata and Applications (NCMA), 2012, pp. 79-91.
  @inproceedings{Flick-Kudlek12a,
  author = {Nils Erik Flick AND Manfred Kudlek},
  title = {Language Operators for Multiset Languages and Modal Logic},
  booktitle = {Non-Classical Models for Automata and Applications (NCMA)},
  year = {2012},
  pages = {79-91} }
• [inproceedings] bibtex
  N. E. Flick und M. Kudlek, "On a Hierarchy of Languages with Catenation and Shuffle," in Proc. Developments in Language Theory, 2012, pp. 452-458.
  @inproceedings{Flick-Kudlek12b,
  author = {Nils Erik Flick and Manfred Kudlek},
  title = {On a Hierarchy of Languages with Catenation and Shuffle},
  booktitle = {Developments in Language Theory},
  year = {2012},
  pages = {452-458} }
• [inproceedings] bibtex
  N. E. Flick und M. Kudlek, "Properties of Languages with Catenation and Shuffle," in Proc. Concurrency, Specification and Programming (CS&P), 2012, pp. 91-102.
  @inproceedings{Flick-Kudlek-12d,
  author = {Nils Erik Flick AND Manfred Kudlek},
  title = {Properties of Languages with Catenation and Shuffle},
  booktitle = {Concurrency, Specification and Programming (CS{\&}P)},
  year = {2012},
  pages = {91-102} }
• [inproceedings] bibtex
  N. E. Flick, "Quotients of Unbounded Parallelism," in Proc. ICTAC 2015, 2015, pp. 241-257.
  @inproceedings{flick15b,
  author = {Flick, Nils Erik},
  title = {Quotients of Unbounded Parallelism},
  booktitle = {ICTAC 2015},
  series = {Lecture Notes in Computer Science},
  volume = {9399},
  pages = {241--257},
  year = {2015},
  isbn = {978-3-319-25150-9} }
• [article] bibtex
  N. E. Flick, "Correctness of Graph Programs Relative to Recursively Nested Conditions," Electronic Communications of the EASST, vol. 73, 2016.
  @article{flick16a, title = {Correctness of Graph Programs Relative to Recursively Nested Conditions},
  author = {Flick, Nils Erik},
  journal = {Electronic Communications of the EASST},
  booktitle = {Selected Revised Papers from the Workshop on Graph Computation Models (GCM 2015)},
  volume = {73},
  year = {2016},
  ee = {http://journal.ub.tu-berlin.de/eceasst/article/view/1037/1025} }