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.
5786 Publications
2019 | Conference Paper | LibreCat-ID: 16215
Derrick, John, et al. “Verifying Correctness of Persistent Concurrent Data Structures.” Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, edited by Maurice H. ter Beek et al., vol. 11800, Springer, 2019, pp. 179–95, doi:10.1007/978-3-030-30942-8\_12.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16216
Russo, Alessandra, et al. “Editorial.” Formal Asp. Comput., vol. 31, no. 5, 2019, pp. 457–58, doi:10.1007/s00165-019-00495-y.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16217
Fränzle, Martin, et al. “Editorial.” Formal Asp. Comput., vol. 31, no. 1, 2019, p. 1, doi:10.1007/s00165-018-00477-6.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16275
Franke-Wiekhorst, Antonia, et al. “„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material.” GdSU-Journal,(9), 2019, pp. 10–21.
LibreCat
2019 | Preprint | LibreCat-ID: 16341 | 
Brandt, Sascha, et al. “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, et al. “Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode.” Arbeit 4.0 im Mittelstand, edited by Christian K. Bosse and Klaus J. Zink, Springer Gabler, 2019, doi:10.1007/978-3-662-59474-2_11.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13872
Beyer, Dirk, and Marie-Christine Jakobs. “CoVeriTest: Cooperative Verifier-Based Testing.” Fundamental Approaches to Software Engineering, 2019, doi: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), vol. 6, no. 3, 14, 2019, doi: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, vol. 66, no. 2, 2019, pp. 259–60, doi: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.” Distributed Computing by Mobile Entities, Current Research in Moving and Computing, vol. 11340, Springer, 2019, pp. 317–34, doi: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.” Proceedings of the 8th International Conference on Operations Research and Enterprise Systems, SciTePress, 2019, pp. 315–21, doi:10.5220/0007369503150321.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13946
Abu-Khzam, Faisal N., et al. “Efficient Parallel Algorithms for Parameterized Problems.” Theoretical Computer Science, vol. 786, 2019, pp. 2–12, doi:10.1016/j.tcs.2018.11.006.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13993
Derrick, John, et al. “Verifying Correctness of Persistent Concurrent Data Structures.” Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019, pp. 179–95, doi:10.1007/978-3-030-30942-8\_12.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14025
Weidmann, Nils, et al. “A Feature-Based Classification of Triple Graph Grammar Variants.” Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019, edited by Oscar Nierstrasz et al., ACM, 2019, doi:10.1145/3357766.3359529.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14026
Weidmann, Nils, et al. “Consistency Management via a Combination of Triple Graph Grammars and Linear Programming.” Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019, edited by Oscar Nierstrasz et al., ACM, 2019, doi:10.1145/3357766.3359544.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 14027
Bengs, Viktor, et al. “Asymptotic Confidence Sets for the Jump Curve in Bivariate Regression Problems.” Journal of Multivariate Analysis, 2019, pp. 291–312, doi: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, pp. 1523–79, doi:10.1214/19-ejs1555.
LibreCat
| DOI
2019 | Patent | LibreCat-ID: 14032
Göllner, Thomas, et al. Verteiltes Warenwirtschaftssystem [Distributed Warehouse System]. 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 14539
Castenow, Jannik, et al. “A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks.” Proceedings of the 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO), 2019, pp. 345–48, doi:10.1007/978-3-030-24922-9\_26.
LibreCat
| DOI
2019 | Mastersthesis | LibreCat-ID: 14546
Hansmeier, Tim. Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers. Universität Paderborn, 2019.
LibreCat