Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
12213 Publications
2019 | Journal Article | LibreCat-ID: 16216
Russo, Alessandra, Andy Schürr, and Heike Wehrheim. “Editorial.” Formal Asp. Comput. 31, no. 5 (2019): 457–58. https://doi.org/10.1007/s00165-019-00495-y.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16217
Fränzle, Martin, Deepak Kapur, Heike Wehrheim, and Naijun Zhan. “Editorial.” Formal Asp. Comput. 31, no. 1 (2019): 1. https://doi.org/10.1007/s00165-018-00477-6.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 16251
Müller, Oliver. “Structuring Unstructured Data—Or: How Machine Learning Can Make You a Wine Sommelier.” In The Art of Structuring, 2019. https://doi.org/10.1007/978-3-030-06234-7_29.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16275
Franke-Wiekhorst, Antonia, Christine Günther, Karen Brünger, Johannes Magenheim, and Ralf Romeike. “„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material.” GdSU-Journal,(9), 2019, 10–21.
LibreCat
2019 | Preprint | LibreCat-ID: 16341 | 
Brandt, Sascha, Claudius Jähn, Matthias Fischer, and Friedhelm Meyer auf der Heide. “Rendering of Complex Heterogenous Scenes Using Progressive Blue Surfels.” ArXiv:1904.08225, 2019.
LibreCat
| Download (ext.)
| arXiv
2019 | Book Chapter | LibreCat-ID: 16361
Fischer, Holger Gerhard, Florian Rittmeier, Thim Frederik Strothmann, and Nina Schwenniger. “Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode.” In Arbeit 4.0 im Mittelstand, edited by Christian K. Bosse and Klaus J. Zink. Berlin, Heidelberg: Springer Gabler, 2019. https://doi.org/10.1007/978-3-662-59474-2_11.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 16377
Reinold, Peter, Norbert Meyer, Dominik Buse, Florian Klingler, Christoph Sommer, Falko Dressler, Markus Eisenbarth, and Jakob Andert. “Verkehrssimulation Im Hardware-in-the-Loop-Steuergerätetest.” In Proceedings. Wiesbaden, 2019. https://doi.org/10.1007/978-3-658-25294-6_15.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13872
Beyer, Dirk, and Marie-Christine Jakobs. “CoVeriTest: Cooperative Verifier-Based Testing.” In Fundamental Approaches to Software Engineering. Cham, 2019. https://doi.org/10.1007/978-3-030-16722-6_23.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13873
Feldkord, Björn, and Friedhelm Meyer auf der Heide. “The Mobile Server Problem.” ACM Transactions on Parallel Computing (TOPC) 6, no. 3 (2019). https://doi.org/10.1145/3364204.
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 13937
Meyer auf der Heide, Friedhelm. “Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln.” Mathematische Semesterberichte 66, no. 2 (2019): 259–60. https://doi.org/10.1007/s00591-019-00249-0.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13939
Kling, Peter, and Friedhelm Meyer auf der Heide. “Continuous Protocols for Swarm Robotics.” In Distributed Computing by Mobile Entities, Current Research in Moving and Computing, 11340:317–34. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-11072-7\_13.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13942
Markarian, Christine, and Friedhelm Meyer auf der Heide. “Online Algorithms for Leasing Vertex Cover and Leasing Non-Metric Facility Location.” In Proceedings of the 8th International Conference on Operations Research and Enterprise Systems, 315–21. SciTePress, 2019. https://doi.org/10.5220/0007369503150321.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13946
Abu-Khzam, Faisal N., Shouwei Li, Christine Markarian, Friedhelm Meyer auf der Heide, and Pavel Podlipyan. “Efficient Parallel Algorithms for Parameterized Problems.” Theoretical Computer Science 786 (2019): 2–12. https://doi.org/10.1016/j.tcs.2018.11.006.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13966
Baron, Elias, Rüdiger Goldhahn, Michael Deppe, Donat Josef As, and Martin Feneberg. “Influence of the Free-Electron Concentration on the Optical Properties of Zincblende GaN up to 1×1020cm−3.” Physical Review Materials, 2019. https://doi.org/10.1103/physrevmaterials.3.104603.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13975
Krimphove, Dieter. “AT 7 Der MaComp: Verhältnis §§ 63 Ff. WpHG Zu § 25a , §25e KWG.” In Kommentar: MaComp - Mindestanforderungen an Die Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten Nach §§ 63 Ff. WpHG Für Wertpapierdienstleistungsunternehmen, edited by Dieter Krimphove and Oliver Kruse, 2nd ed., 88–102. München: C. H. Beck, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13993
Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Correctness of Persistent Concurrent Data Structures.” In Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 179–95, 2019. https://doi.org/10.1007/978-3-030-30942-8\_12.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14025
Weidmann, Nils, Robin Oppermann, and Patrick Robrecht. “A Feature-Based Classification of Triple Graph Grammar Variants.” In Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019, edited by Oscar Nierstrasz, Jeff Gray, and Bruno Oliveira. ACM, 2019. https://doi.org/10.1145/3357766.3359529.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14026
Weidmann, Nils, Anthony Anjorin, Erhan Leblebici, and Andy Schürr. “Consistency Management via a Combination of Triple Graph Grammars and Linear Programming.” In Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019, edited by Oscar Nierstrasz, Jeff Gray, and Bruno Oliveira. ACM, 2019. https://doi.org/10.1145/3357766.3359544.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 14027
Bengs, Viktor, Matthias Eulert, and Hajo Holzmann. “Asymptotic Confidence Sets for the Jump Curve in Bivariate Regression Problems.” Journal of Multivariate Analysis, 2019, 291–312. https://doi.org/10.1016/j.jmva.2019.02.017.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 14028
Bengs, Viktor, and Hajo Holzmann. “Adaptive Confidence Sets for Kink Estimation.” Electronic Journal of Statistics, 2019, 1523–79. https://doi.org/10.1214/19-ejs1555.
LibreCat
| DOI