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.
9764 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 | Book Chapter | LibreCat-ID: 16251
@inbook{Müller_2019, title={Structuring Unstructured Data—Or: How Machine Learning Can Make You a Wine Sommelier}, DOI={10.1007/978-3-030-06234-7_29}, booktitle={The Art of Structuring}, author={Müller, Oliver}, year={2019} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16314
@article{Preiß_Päpcke_Burkhardt_Großmann_Lochbrunner_Bauer_Opatz_Heinze_2019, title={Gold(II) Porphyrins in Photoinduced Electron Transfer Reactions}, DOI={10.1002/chem.201900050}, journal={Chemistry – A European Journal}, author={Preiß, Sebastian and Päpcke, Ayla and Burkhardt, Lukas and Großmann, Luca and Lochbrunner, Stefan and Bauer, Matthias and Opatz, Till and Heinze, Katja}, year={2019}, pages={5940–5949} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16320
@article{Müller_Neuba_Flörke_Henkel_Kühne_Bauer_2019, title={Experimental and Theoretical High Energy Resolution Hard X-ray Absorption and Emission Spectroscopy on Biomimetic Cu2S2 Complexes}, DOI={10.1021/acs.jpca.9b00463}, journal={The Journal of Physical Chemistry A}, author={Müller, Patrick and Neuba, Adam and Flörke, Ulrich and Henkel, Gerald and Kühne, Thomas D. and Bauer, Matthias}, year={2019}, pages={3575–3581} }
LibreCat
| DOI
2019 | Dissertation | LibreCat-ID: 16325
@book{Burkhardt_2019, place={Paderborn}, title={ Probing Iron-Ligand interactions by combining modern high-resolution hard X-ray spectroscopy and density functional theory : a powerful methodology in cases where conventional methods fail / vorgelegt von Lukas Burkhardt ; [Prof. Dr. Matthias Bauer (Erstgutachter), Prof. Dr. Thomas Kühne (Zweitgutachter), Jun. Prof. Dr. Stephan Hohloch (Drittprüfer)]}, DOI={10.17619/UNIPB/1-745}, author={Burkhardt, Lukas}, year={2019} }
LibreCat
| DOI
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 16327
@book{Müller_2019, place={Paderborn}, title={ Experimental and theoretical (high energy resolution) X-ray absorption and emission spectroscopy / vorgelegt von Patrick Müller ; [Promotionskommission: Prof. Dr.-Ing. Hans-Joachim Warnecke, Vorsitz; Prof. Dr. Matthias Bauer, Erstgutachter; Prof. Dr. Thomas D. Kühne, Zweitgutachter; Prof. Dr. Wolf Gero Schmidt]}, DOI={10.17619/UNIPB/1-705}, author={Müller, Patrick}, year={2019} }
LibreCat
| DOI
| Download (ext.)
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: 16377
@inbook{Reinold_Meyer_Buse_Klingler_Sommer_Dressler_Eisenbarth_Andert_2019, place={Wiesbaden}, title={Verkehrssimulation im Hardware-in-the-Loop-Steuergerätetest}, DOI={10.1007/978-3-658-25294-6_15}, booktitle={Proceedings}, author={Reinold, Peter and Meyer, Norbert and Buse, Dominik and Klingler, Florian and Sommer, Christoph and Dressler, Falko and Eisenbarth, Markus and Andert, Jakob}, 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 | 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 | Journal Article | LibreCat-ID: 13966
@article{Baron_Goldhahn_Deppe_As_Feneberg_2019, title={Influence of the free-electron concentration on the optical properties of zincblende GaN up to 1×1020cm−3}, DOI={10.1103/physrevmaterials.3.104603}, journal={Physical Review Materials}, author={Baron, Elias and Goldhahn, Rüdiger and Deppe, Michael and As, Donat Josef and Feneberg, Martin}, year={2019} }
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13973
@inbook{Krimphove_Kruse_2019, place={München}, edition={2}, title={AT 2 Quellen}, booktitle={Kommentar: MaComp - Mindestanforderungen an die Compliance-Funktion und die weiteren Verhaltens-, Organisations- und Transparenzpflichten nach §§ 63 ff. WpHG für Wertpapierdienstleistungsunternehmen}, publisher={C. H. Beck}, author={Krimphove, Dieter and Kruse, Oliver}, editor={Krimphove, Dieter and Kruse, OliverEditors}, year={2019}, pages={24–49} }
LibreCat
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: 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 | Journal Article | LibreCat-ID: 13048
@article{Kampmann_A. Kochte_Liu_Schneider_Hellebrand_Wunderlich_2019, title={Built-in Test for Hidden Delay Faults}, volume={38}, number={10}, journal={IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)}, publisher={IEEE}, author={Kampmann, Matthias and A. Kochte, Michael and Liu, Chang and Schneider, Eric and Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={2019}, pages={1956–1968} }
LibreCat
2019 | Dissertation | LibreCat-ID: 13126
@book{Khaluf_2019, title={Organic Programming of Dynamic Real-Time Applications}, publisher={Universität Paderborn}, author={Khaluf, Lial}, year={2019} }
LibreCat
2019 | Conference Abstract | LibreCat-ID: 13132
@inproceedings{Mohr_Wever_Tornede_Hüllermeier_2019, place={Bonn}, series={INFORMATIK 2019, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik}, title={From Automated to On-The-Fly Machine Learning}, booktitle={INFORMATIK 2019: 50 Jahre Gesellschaft für Informatik – Informatik für Gesellschaft}, publisher={Gesellschaft für Informatik e.V.}, author={Mohr, Felix and Wever, Marcel Dominik and Tornede, Alexander and Hüllermeier, Eyke}, year={2019}, pages={273–274}, collection={INFORMATIK 2019, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik} }
LibreCat