@inproceedings{15080,
  author       = {{Hartel, Rita and Dunst, Alexander}},
  booktitle    = {{International Conference on Multimedia Modeling, MMM}},
  isbn         = {{9783030057152}},
  issn         = {{0302-9743}},
  location     = {{Thessaloniki, Greece}},
  pages        = {{662--671}},
  publisher    = {{Springer}},
  title        = {{{How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics}}},
  doi          = {{10.1007/978-3-030-05716-9_59}},
  year         = {{2019}},
}

@inproceedings{15182,
  author       = {{Dunst, Alexander and Hartel, Rita}},
  booktitle    = {{DHd Konferenz 2019, multimedial und multimodal}},
  title        = {{{Multimodale Stilometrie: Herausforderungen und Potenzial kombinatorischer Bild- und Textanalysen am Beispiel Comics}}},
  year         = {{2019}},
}

@inproceedings{15186,
  author       = {{Dunst, Alexander and Hartel, Rita}},
  booktitle    = {{Digital Humanities, DH 2019}},
  title        = {{{Quantifying Complexity in Multimodal Media: AlanMoore and the “Density” of the Graphic Novel}}},
  year         = {{2019}},
}

@proceedings{15235,
  editor       = {{Stein, Benno and Wachsmuth, Henning}},
  publisher    = {{Association for Computational Linguistics}},
  title        = {{{Proceedings of the 6th Workshop on Argument Mining}}},
  year         = {{2019}},
}

@book{15265,
  editor       = {{Linssen, Oliver and Mikusz, Martin and Volland, Alexander and Yigitbas, Enes and Engstler, Martin and Fazal-Baqaie, Masud and Kuhrmann, Marco}},
  isbn         = {{978-3-88579-692-3}},
  title        = {{{Projektmanagement und Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen im Wandel.}}},
  volume       = {{Volume P-298}},
  year         = {{2019}},
}

@misc{15946,
  author       = {{Mehta, Jinay}},
  title        = {{{Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Recon􏰃gurable System-on-Chip}}},
  year         = {{2019}},
}

@inproceedings{16215,
  author       = {{Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}},
  booktitle    = {{Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings}},
  editor       = {{H. ter Beek, Maurice and McIver, Annabelle and N. Oliveira, Jos{\'{e}}}},
  pages        = {{179--195}},
  publisher    = {{Springer}},
  title        = {{{Verifying Correctness of Persistent Concurrent Data Structures}}},
  doi          = {{10.1007/978-3-030-30942-8\_12}},
  volume       = {{11800}},
  year         = {{2019}},
}

@article{16216,
  author       = {{Russo, Alessandra and Schürr, Andy and Wehrheim, Heike}},
  journal      = {{Formal Asp. Comput.}},
  number       = {{5}},
  pages        = {{457--458}},
  title        = {{{Editorial}}},
  doi          = {{10.1007/s00165-019-00495-y}},
  volume       = {{31}},
  year         = {{2019}},
}

@article{16217,
  author       = {{Fränzle, Martin and Kapur, Deepak and Wehrheim, Heike and Zhan, Naijun}},
  journal      = {{Formal Asp. Comput.}},
  number       = {{1}},
  pages        = {{1}},
  title        = {{{Editorial}}},
  doi          = {{10.1007/s00165-018-00477-6}},
  volume       = {{31}},
  year         = {{2019}},
}

@article{16275,
  author       = {{Franke-Wiekhorst, Antonia and Günther, Christine and Brünger, Karen and Magenheim, Johannes and Romeike, Ralf}},
  journal      = {{GdSU-Journal,(9)}},
  pages        = {{10--21}},
  title        = {{{„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material}}},
  year         = {{2019}},
}

@unpublished{16341,
  abstract     = {{We present a technique for rendering highly complex 3D scenes in real-time by
generating uniformly distributed points on the scene's visible surfaces. The
technique is applicable to a wide range of scene types, like scenes directly
based on complex and detailed CAD data consisting of billions of polygons (in
contrast to scenes handcrafted solely for visualization). This allows to
visualize such scenes smoothly even in VR on a HMD with good image quality,
while maintaining the necessary frame-rates. In contrast to other point based
rendering methods, we place points in an approximated blue noise distribution
only on visible surfaces and store them in a highly GPU efficient data
structure, allowing to progressively refine the number of rendered points to
maximize the image quality for a given target frame rate. Our evaluation shows
that scenes consisting of a high amount of polygons can be rendered with
interactive frame rates with good visual quality on standard hardware.}},
  author       = {{Brandt, Sascha and Jähn, Claudius and Fischer, Matthias and Meyer auf der Heide, Friedhelm}},
  booktitle    = {{arXiv:1904.08225}},
  title        = {{{Rendering of Complex Heterogenous Scenes using Progressive Blue Surfels}}},
  year         = {{2019}},
}

@inbook{16361,
  abstract     = {{Sinnvolle und gebrauchstaugliche digitale Assistenzsysteme, die Beschäftigte bei ihren alltäglichen Aufgaben unterstützen, stellen eine Herausforderung für viele Organisationen hinsichtlich der individuellen und organisationalen Akzeptanz einschließlich der Gebrauchstauglichkeit (Usability), dem Benutzererlebnis (User Experience, UX) und „Arbeit 4.0“-Aspekten dar. Vorhandene Methoden des Software Engineering sind nicht geeignet, Beschäftigte angemessen in die Gestaltung und Entwicklung zu integrieren und Lösungskonzepte solcher Systeme auf Augenhöhe zu betrachten. In diesem Beitrag wird eine leichtgewichtige Canvas-Methode vorgestellt, die sich mit diesen Herausforderungen befasst. Sie umfasst die menschliche, die geschäftliche sowie die technologische Perspektive in einem gemeinsamen Kommunikationsinstrument, dem „Digital Assistance System Canvas“. Erste Evaluationen zeigen, dass die Teilnehmenden das Canvas-Konzept schätzen und die Methode vielseitig in verschiedenen Szenarien einsetzbar ist. Vielfältige Fragen in den Canvas-Bausteinen bereichern die gemeinsame Diskussion über neue Systeme und die Verbesserung bzw. Sicherstellung der Akzeptanz sowie die Denkweise in frühen Phasen des Design- und Entwicklungsprozesses.}},
  author       = {{Fischer, Holger Gerhard and Rittmeier, Florian and Strothmann, Thim Frederik and Schwenniger, Nina}},
  booktitle    = {{Arbeit 4.0 im Mittelstand}},
  editor       = {{Bosse, Christian K. and Zink, Klaus J.}},
  isbn         = {{9783662594735}},
  publisher    = {{Springer Gabler}},
  title        = {{{Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode}}},
  doi          = {{10.1007/978-3-662-59474-2_11}},
  year         = {{2019}},
}

@inbook{13872,
  author       = {{Beyer, Dirk and Jakobs, Marie-Christine}},
  booktitle    = {{Fundamental Approaches to Software Engineering}},
  isbn         = {{9783030167219}},
  issn         = {{0302-9743}},
  title        = {{{CoVeriTest: Cooperative Verifier-Based Testing}}},
  doi          = {{10.1007/978-3-030-16722-6_23}},
  year         = {{2019}},
}

@article{13873,
  author       = {{Feldkord, Björn and Meyer auf der Heide, Friedhelm}},
  journal      = {{ACM Transactions on Parallel Computing (TOPC)}},
  number       = {{3}},
  title        = {{{The Mobile Server Problem}}},
  doi          = {{10.1145/3364204}},
  volume       = {{6}},
  year         = {{2019}},
}

@article{13937,
  author       = {{Meyer auf der Heide, Friedhelm}},
  journal      = {{Mathematische Semesterberichte}},
  number       = {{2}},
  pages        = {{259--260}},
  title        = {{{Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln}}},
  doi          = {{10.1007/s00591-019-00249-0}},
  volume       = {{66}},
  year         = {{2019}},
}

@inbook{13939,
  author       = {{Kling, Peter and Meyer auf der Heide, Friedhelm}},
  booktitle    = {{Distributed Computing by Mobile Entities, Current Research in Moving and Computing}},
  pages        = {{317--334}},
  publisher    = {{Springer}},
  title        = {{{Continuous Protocols for Swarm Robotics}}},
  doi          = {{10.1007/978-3-030-11072-7\_13}},
  volume       = {{11340}},
  year         = {{2019}},
}

@inproceedings{13942,
  author       = {{Markarian, Christine and Meyer auf der Heide, Friedhelm}},
  booktitle    = {{Proceedings of the 8th International Conference on Operations Research and Enterprise Systems}},
  pages        = {{315--321}},
  publisher    = {{SciTePress}},
  title        = {{{Online Algorithms for Leasing Vertex Cover and Leasing Non-metric Facility Location}}},
  doi          = {{10.5220/0007369503150321}},
  year         = {{2019}},
}

@article{13946,
  author       = {{Abu-Khzam, Faisal N. and Li, Shouwei and Markarian, Christine and Meyer auf der Heide, Friedhelm and Podlipyan, Pavel}},
  journal      = {{Theoretical Computer Science}},
  pages        = {{2--12}},
  title        = {{{Efficient parallel algorithms for parameterized problems}}},
  doi          = {{10.1016/j.tcs.2018.11.006}},
  volume       = {{786}},
  year         = {{2019}},
}

@inproceedings{13993,
  author       = {{Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}},
  booktitle    = {{Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings}},
  pages        = {{179--195}},
  title        = {{{Verifying Correctness of Persistent Concurrent Data Structures}}},
  doi          = {{10.1007/978-3-030-30942-8\_12}},
  year         = {{2019}},
}

@inproceedings{14025,
  author       = {{Weidmann, Nils and Oppermann, Robin and Robrecht, Patrick}},
  booktitle    = {{Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering  - SLE 2019}},
  editor       = {{Nierstrasz, Oscar and Gray, Jeff and Oliveira, Bruno}},
  isbn         = {{9781450369817}},
  location     = {{Athens, Greece}},
  publisher    = {{ACM}},
  title        = {{{A feature-based classification of triple graph grammar variants}}},
  doi          = {{10.1145/3357766.3359529}},
  year         = {{2019}},
}