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.
5948 Publications
2020 | Conference Paper | LibreCat-ID: 20514
@inproceedings{Yigitbas_2020, title={Model-driven engineering and usability evaluation of self-adaptive user interfaces}, DOI={https://doi.org/10.1145/3427478.3427480}, number={2}, booktitle={ACM SIGWEB Newsletter}, publisher={ACM}, author={Yigitbas, Enes}, year={2020} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20518
@inproceedings{Koch_Dziwok_Holtmann_Bodden_2020, title={Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers}, DOI={10.1145/3365438.3410946}, booktitle={ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20)}, publisher={ACM}, author={Koch, Thorsten and Dziwok, Stefan and Holtmann, Jörg and Bodden, Eric}, year={2020} }
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 20521
@book{Gerking_2020, title={Model-Driven Information Flow Security Engineering for Cyber-Physical Systems}, DOI={10.17619/UNIPB/1-1033}, publisher={Paderborn University}, author={Gerking, Christopher}, year={2020} }
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 20568 | 
@inbook{Reinhold_Koldewey_Dumitrescu_2020, place={Frankfurt am Main}, title={GEMINI-Modellierungssprache für Wertschöpfungssysteme}, booktitle={Der Geschäftsmodell-Toolguide }, publisher={Campus Verlag}, author={Reinhold, Jannik and Koldewey, Christian and Dumitrescu, Roman}, editor={Buchholz, Birgit and Bürger, MatthiasEditors}, year={2020}, pages={52–56} }
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20570 |
@inbook{Koldewey_Reinhold_Dumitrescu_2020, place={Frankfurt am Main}, title={GEMINI-Geschäftsmodellmuster-Kartenset}, booktitle={Der Geschäftsmodell-Toolguide}, publisher={Campus Verlag}, author={Koldewey, Christian and Reinhold, Jannik and Dumitrescu, Roman}, editor={Buchholz, Birgit and Bürger, MatthiasEditors}, year={2020}, pages={61–66} }
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20571 |
@inbook{Koldewey_Reinhold_Dumitrescu_2020, place={Frankfurt am Main}, title={Geschäftsmodellvalidierung}, booktitle={Der Geschäftsmodell-Toolguide}, publisher={Campus Verlag}, author={Koldewey, Christian and Reinhold, Jannik and Dumitrescu, Roman}, editor={Buchholz, Birgit and Bürger, MatthiasEditors}, year={2020}, pages={106–111} }
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20573 |
@inbook{Koldewey_Reinhold_Dumitrescu_2020, place={Frankfurt am Main}, title={Geschäftsmodell-Roadmapping}, booktitle={Der Geschäftsmodell-Toolguide}, publisher={Campus Verlag}, author={Koldewey, Christian and Reinhold, Jannik and Dumitrescu, Roman}, editor={Buchholz, Birgit and Bürger, MatthiasEditors}, year={2020}, pages={138–143} }
LibreCat
| Download (ext.)
2020 | Report | LibreCat-ID: 20712
@book{Schubert_Bodden_Hermann_2020, title={Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries}, author={Schubert, Philipp and Bodden, Eric and Hermann, Ben}, year={2020} }
LibreCat
| Files available
2020 | Preprint | LibreCat-ID: 20748
@article{Witschen_Wiersema_Platzner, title={Search Space Characterization for AxC Synthesis}, journal={Fifth Workshop on Approximate Computing (AxC 2020)}, author={Witschen, Linus Matthias and Wiersema, Tobias and Platzner, Marco} }
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 20750
@inproceedings{Lienen_Platzner_Rinner_2020, title={ReconROS: Flexible Hardware Acceleration for ROS2 Applications}, booktitle={Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT)}, author={Lienen, Christian and Platzner, Marco and Rinner, Bernhard}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 20755
@inproceedings{Feldmann_Hinnenthal_Scheideler_2020, title={Fast Hybrid Network Algorithms for Shortest Paths in Sparse Graphs}, DOI={10.4230/LIPIcs.OPODIS.2020.31}, booktitle={Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS)}, publisher={Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, author={Feldmann, Michael and Hinnenthal, Kristian and Scheideler, Christian}, year={2020} }
LibreCat
| Files available
| DOI
| arXiv
2020 | Bachelorsthesis | LibreCat-ID: 20820
@book{Thiele_2020, title={Implementing Machine Learning Functions as PYNQ FPGA Overlays}, author={Thiele, Simon}, year={2020} }
LibreCat
2020 | Mastersthesis | LibreCat-ID: 20821
@book{Jaganath_2020, title={Extension and Evaluation of Python-based High-Level Synthesis Tool Flows}, author={Jaganath, Vivek}, year={2020} }
LibreCat
2020 | Journal Article | LibreCat-ID: 20834
@article{Webb_Fluck_Magenheim_Malyn-Smith_Waters_Deschênes _Zagami_2020, title={Machine learning for human learners: opportunities, issues, tensions and threats}, DOI={10.1007/s11423-020-09858-2}, journal={Educational Technology Research and Development}, publisher={Springer}, author={Webb, Mary E and Fluck, Andrew and Magenheim, Johannes and Malyn-Smith, Joyce and Waters, Juliet and Deschênes , Michelle and Zagami, Jason}, year={2020}, pages={1–22} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20835
@article{Magenheim_2020, title={< Big Data> aus der Perspektive von Informatischer Bildung und Medienpädagogik}, volume={37}, DOI={10.21240/mpaed/37/2020.07.08.X}, journal={MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung}, author={Magenheim, Johannes}, year={2020}, pages={139–163} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20836
@article{Magenheim_Schulte_2020, title={Data science education}, DOI={10.1007/978-3-030-10576-1_253}, journal={Encyclopedia of Education and Information Technologies. Cham: Springer}, author={Magenheim, Johannes and Schulte, Carsten}, year={2020} }
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 20840
@inbook{Schulte_Budde_Winkelnkemper_2020, title={Programmieren - Lehren und Lernen mit und über Medien}, DOI={10.1007/978-3-658-29039-9}, booktitle={Mobile Medien im Schulkontext}, publisher={Springer}, author={Schulte, Carsten and Budde, Lea and Winkelnkemper, Felix}, year={2020}, pages={215–240} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20888
@article{Blömer_Brauer_Bujna_2020, title={A Complexity Theoretical Study of Fuzzy K-Means}, volume={16}, DOI={10.1145/3409385}, number={4}, journal={ACM Transactions on Algorithms}, author={Blömer, Johannes and Brauer, Sascha and Bujna, Kathrin}, year={2020}, pages={1–25} }
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 20891
@inbook{Knüppel_Krüger_Thüm_Bubel_Krieter_Bodden_Schaefer_2020, place={Cham}, title={Using Abstract Contracts for Verifying Evolving Features and Their Interactions}, DOI={10.1007/978-3-030-64354-6_5}, booktitle={Lecture Notes in Computer Science}, author={Knüppel, Alexander and Krüger, Stefan and Thüm, Thomas and Bubel, Richard and Krieter, Sebastian and Bodden, Eric and Schaefer, Ina}, year={2020} }
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 18014
@inbook{El Mesaoudi-Paul_Weiß_Bengs_Hüllermeier_Tierney_2020, place={Cham}, series={Lecture Notes in Computer Science}, title={Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach}, volume={12096}, DOI={10.1007/978-3-030-53552-0_22}, booktitle={Learning and Intelligent Optimization. LION 2020.}, publisher={Springer}, author={El Mesaoudi-Paul, Adil and Weiß, Dimitri and Bengs, Viktor and Hüllermeier, Eyke and Tierney, Kevin}, year={2020}, pages={216–232}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI