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.
10546 Publications
2019 | Conference (Editor) | LibreCat-ID: 15235
@book{Stein_Wachsmuth_2019, place={Florence, Italy}, title={Proceedings of the 6th Workshop on Argument Mining}, publisher={Association for Computational Linguistics}, year={2019} }
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 15247
@inproceedings{Grabo_Weber_Paul_Klaus_Bermpohl_Krauter_Kenig_2019, title={Entwicklung eines thermischen 1D-Simulationsmodells zur Bestimmung der Temperaturverteilung in Solarmodulen}, author={Grabo, Matti and Weber, Daniel and Paul, Andreas and Klaus, Tobias and Bermpohl, Wolfgang and Krauter, Stefan and Kenig, Eugeny}, year={2019} }
LibreCat
2019 | Conference Abstract | LibreCat-ID: 15248
@inproceedings{Grabo_Weber_Paul_Klaus_Bermpohl_Kenig_2019, title={Numerische Untersuchung der Temperaturverteilung in PCM-integrierten Solarmodulen}, author={Grabo, Matti and Weber, Daniel and Paul, Andreas and Klaus, Tobias and Bermpohl, Wolfgang and Kenig, Eugeny}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 15261
@inproceedings{Lugovtsova_Johannesmann_Henning_Prager_2019, place={Bruges}, series={Proceedings of Meetings on Acoustics}, title={Analysis of Lamb wave mode repulsion and its implications to the characterisation of adhesive bonding strength}, DOI={10.1121/2.0001074}, booktitle={2019 International Congress on Ultrasonics}, publisher={Acoustical Society of America}, author={Lugovtsova, Yevgeniya and Johannesmann, Sarah and Henning, Bernd and Prager, Jens}, year={2019}, collection={Proceedings of Meetings on Acoustics} }
LibreCat
| DOI
2019 | Book (Editor) | LibreCat-ID: 15265
@book{Linssen_Mikusz_Volland_Yigitbas_Engstler_Fazal-Baqaie_Kuhrmann_2019, series={Lecture Notes in Informatics (LNI) - Proceedings}, title={Projektmanagement und Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen im Wandel.}, volume={Volume P-298}, year={2019}, collection={Lecture Notes in Informatics (LNI) - Proceedings} }
LibreCat
2019 | Mastersthesis | LibreCat-ID: 15946
@book{Mehta_2019, title={Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Recongurable System-on-Chip}, author={Mehta, Jinay}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 16076
@inproceedings{Hetkämper_Claes_Henning_2019, title={Evolutionary algorithm for the design of passive electric matching networks for ultrasonic transducers}, DOI={10.1121/2.0001110}, booktitle={2019 International Congress on Ultrasonics}, author={Hetkämper, Tim and Claes, Leander and Henning, Bernd}, year={2019} }
LibreCat
| DOI
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