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
@inproceedings{Derrick_Doherty_Dongol_Schellhorn_Wehrheim_2019, series={Lecture Notes in Computer Science}, title={Verifying Correctness of Persistent Concurrent Data Structures}, volume={11800}, DOI={10.1007/978-3-030-30942-8\_12}, booktitle={Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings}, publisher={Springer}, author={Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}, editor={H. ter Beek, Maurice and McIver, Annabelle and N. Oliveira, Jos{\’{e}}Editors}, year={2019}, pages={179–195}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16216
@article{Russo_Schürr_Wehrheim_2019, title={Editorial}, volume={31}, DOI={10.1007/s00165-019-00495-y}, number={5}, journal={Formal Asp. Comput.}, author={Russo, Alessandra and Schürr, Andy and Wehrheim, Heike}, year={2019}, pages={457–458} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16217
@article{Fränzle_Kapur_Wehrheim_Zhan_2019, title={Editorial}, volume={31}, DOI={10.1007/s00165-018-00477-6}, number={1}, journal={Formal Asp. Comput.}, author={Fränzle, Martin and Kapur, Deepak and Wehrheim, Heike and Zhan, Naijun}, year={2019}, pages={1} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16275
@article{Franke-Wiekhorst_Günther_Brünger_Magenheim_Romeike_2019, title={„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material}, journal={GdSU-Journal,(9)}, author={Franke-Wiekhorst, Antonia and Günther, Christine and Brünger, Karen and Magenheim, Johannes and Romeike, Ralf}, year={2019}, pages={10–21} }
LibreCat
2019 | Preprint | LibreCat-ID: 16341 | 
@article{Brandt_Jähn_Fischer_Meyer auf der Heide_2019, title={Rendering of Complex Heterogenous Scenes using Progressive Blue Surfels}, journal={arXiv:1904.08225}, author={Brandt, Sascha and Jähn, Claudius and Fischer, Matthias and Meyer auf der Heide, Friedhelm}, year={2019} }
LibreCat
| Download (ext.)
| arXiv
2019 | Book Chapter | LibreCat-ID: 16361
@inbook{Fischer_Rittmeier_Strothmann_Schwenniger_2019, place={Berlin, Heidelberg}, 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}, booktitle={Arbeit 4.0 im Mittelstand}, publisher={Springer Gabler}, author={Fischer, Holger Gerhard and Rittmeier, Florian and Strothmann, Thim Frederik and Schwenniger, Nina}, editor={Bosse, Christian K. and Zink, Klaus J.Editors}, year={2019} }
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13872
@inbook{Beyer_Jakobs_2019, place={Cham}, title={CoVeriTest: Cooperative Verifier-Based Testing}, DOI={10.1007/978-3-030-16722-6_23}, booktitle={Fundamental Approaches to Software Engineering}, author={Beyer, Dirk and Jakobs, Marie-Christine}, year={2019} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13873
@article{Feldkord_Meyer auf der Heide_2019, title={The Mobile Server Problem}, volume={6}, DOI={10.1145/3364204}, number={314}, journal={ACM Transactions on Parallel Computing (TOPC)}, author={Feldkord, Björn and Meyer auf der Heide, Friedhelm}, year={2019} }
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 13937
@article{Meyer auf der Heide_2019, title={Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln}, volume={66}, DOI={10.1007/s00591-019-00249-0}, number={2}, journal={Mathematische Semesterberichte}, author={Meyer auf der Heide, Friedhelm}, year={2019}, pages={259–260} }
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13939
@inbook{Kling_Meyer auf der Heide_2019, series={Lecture Notes in Computer Science}, title={Continuous Protocols for Swarm Robotics}, volume={11340}, DOI={10.1007/978-3-030-11072-7\_13}, booktitle={Distributed Computing by Mobile Entities, Current Research in Moving and Computing}, publisher={Springer}, author={Kling, Peter and Meyer auf der Heide, Friedhelm}, year={2019}, pages={317–334}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13942
@inproceedings{Markarian_Meyer auf der Heide_2019, title={Online Algorithms for Leasing Vertex Cover and Leasing Non-metric Facility Location}, DOI={10.5220/0007369503150321}, booktitle={Proceedings of the 8th International Conference on Operations Research and Enterprise Systems}, publisher={SciTePress}, author={Markarian, Christine and Meyer auf der Heide, Friedhelm}, year={2019}, pages={315–321} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13946
@article{Abu-Khzam_Li_Markarian_Meyer auf der Heide_Podlipyan_2019, title={Efficient parallel algorithms for parameterized problems}, volume={786}, DOI={10.1016/j.tcs.2018.11.006}, journal={Theoretical Computer Science}, author={Abu-Khzam, Faisal N. and Li, Shouwei and Markarian, Christine and Meyer auf der Heide, Friedhelm and Podlipyan, Pavel}, year={2019}, pages={2–12} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13993
@inproceedings{Derrick_Doherty_Dongol_Schellhorn_Wehrheim_2019, title={Verifying Correctness of Persistent Concurrent Data Structures}, DOI={10.1007/978-3-030-30942-8\_12}, booktitle={Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings}, author={Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}, year={2019}, pages={179–195} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14025
@inproceedings{Weidmann_Oppermann_Robrecht_2019, title={A feature-based classification of triple graph grammar variants}, DOI={10.1145/3357766.3359529}, booktitle={Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019}, publisher={ACM}, author={Weidmann, Nils and Oppermann, Robin and Robrecht, Patrick}, editor={Nierstrasz, Oscar and Gray, Jeff and Oliveira, BrunoEditors}, year={2019} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14026
@inproceedings{Weidmann_Anjorin_Leblebici_Schürr_2019, title={Consistency management via a combination of triple graph grammars and linear programming}, DOI={10.1145/3357766.3359544}, booktitle={Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019}, publisher={ACM}, author={Weidmann, Nils and Anjorin, Anthony and Leblebici, Erhan and Schürr, Andy}, editor={Nierstrasz, Oscar and Gray, Jeff and Oliveira, Bruno Editors}, year={2019} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 14027
@article{Bengs_Eulert_Holzmann_2019, title={Asymptotic confidence sets for the jump curve in bivariate regression problems}, DOI={10.1016/j.jmva.2019.02.017}, journal={Journal of Multivariate Analysis}, author={Bengs, Viktor and Eulert, Matthias and Holzmann, Hajo}, year={2019}, pages={291–312} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 14028
@article{Bengs_Holzmann_2019, title={Adaptive confidence sets for kink estimation}, DOI={10.1214/19-ejs1555}, journal={Electronic Journal of Statistics}, author={Bengs, Viktor and Holzmann, Hajo}, year={2019}, pages={1523–1579} }
LibreCat
| DOI
2019 | Patent | LibreCat-ID: 14032
@article{Göllner_Schwarz_Gottschalk_Sauer_2019, title={Verteiltes Warenwirtschaftssystem [Distributed Warehouse System]}, author={Göllner, Thomas and Schwarz, Jan-Hendrik and Gottschalk, Sebastian and Sauer, Stefan}, year={2019} }
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 14539
@inproceedings{Castenow_Kolb_Scheideler_2019, title={A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks}, DOI={10.1007/978-3-030-24922-9\_26}, booktitle={Proceedings of the 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO)}, author={Castenow, Jannik and Kolb, Christina and Scheideler, Christian}, year={2019}, pages={345–348} }
LibreCat
| DOI
2019 | Mastersthesis | LibreCat-ID: 14546
@book{Hansmeier_2019, title={Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers}, publisher={Universität Paderborn}, author={Hansmeier, Tim}, year={2019} }
LibreCat