en
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.
5375 Publications
2020 | Conference Paper | LibreCat-ID: 20510
@inproceedings{Benz_Krogh Kristensen_Luo_P. Borges Jr._Bodden_Zeller_2020, title={Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis}, booktitle={International Conference for Software Engineering (ICSE)}, author={Benz, Manuel and Krogh Kristensen, Erik and Luo, Linghui and P. Borges Jr., Nataniel and Bodden, Eric and Zeller, Andreas}, year={2020} }
LibreCat
2020 | Journal Article | LibreCat-ID: 20508
@article{Nguyen Quang Do_Bodden_2020, title={Explaining Static Analysis with Rule Graphs}, journal={IEEE Transactions on Software Engineering}, author={Nguyen Quang Do, Lisa and Bodden, Eric}, year={2020} }
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20515
@inbook{Gräßler_Bodden_Pottebaum_Geismann_Roesmann_2020, place={Cham}, title={Security-Oriented Fault-Tolerance in Systems Engineering: A Conceptual Threat Modelling Approach for Cyber-Physical Production Systems}, DOI={10.1007/978-3-030-50936-1_121}, booktitle={Advances in Intelligent Systems and Computing}, author={Gräßler, Iris and Bodden, Eric and Pottebaum, Jens and Geismann, Johannes and Roesmann, Daniel}, year={2020} }
LibreCat
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 20363
@article{Koldewey_Frank_Gausemeier_Bäsecke_Reinhold_Dumitrescu_2020, title={Systematische Entwicklung von Normstrategien für Smart Services}, volume={115}, DOI={10.3139/104.112297}, number={7–8}, journal={ZWF Zeitschrift für wirtschaftliche Fabrikplanung}, publisher={Hanser}, author={Koldewey, Christian and Frank, Maximilian and Gausemeier, Jürgen and Bäsecke, Alexander and Reinhold, Jannik and Dumitrescu, Roman}, year={2020}, pages={524–528} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20185
@inproceedings{Castenow_Harbig_Jung_Knollmann_Meyer auf der Heide_2020, series={Lecture Notes in Computer Science (LNCS)}, title={Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented & Luminous Robots with Limited Visibility }, volume={12514}, DOI={10.1007/978-3-030-64348-5_5}, booktitle={Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings }, publisher={Springer}, author={Castenow, Jannik and Harbig, Jonas and Jung, Daniel and Knollmann, Till and Meyer auf der Heide, Friedhelm}, editor={Devismes, Stéphane and Mittal, NeerajEditors}, year={2020}, pages={60–64}, collection={Lecture Notes in Computer Science (LNCS)} }
LibreCat
| DOI
| arXiv
2020 | Conference Paper | LibreCat-ID: 20116
@inproceedings{Nouri_Wachsmuth_Engels, title={Mining Crowdsourcing Problems from Discussion Forums of Workers}, booktitle={Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics}, author={Nouri, Zahra and Wachsmuth, Henning and Engels, Gregor}, pages={6264–6276} }
LibreCat
| Files available
2020 | Journal Article | LibreCat-ID: 16297
@article{Hernández Castellanos_Ober-Blöbaum_Peitz_2020, title={Explicit Multi-objective Model Predictive Control for Nonlinear Systems Under Uncertainty}, volume={30}, DOI={10.1002/rnc.5197}, number={17}, journal={International Journal of Robust and Nonlinear Control}, author={Hernández Castellanos, Carlos Ignacio and Ober-Blöbaum, Sina and Peitz, Sebastian}, year={2020}, pages={7593–7618} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 17322
@article{Mukherjee_Widhalm_Siebert_Krehs_Sharma_Thiede_Reuter_Förstner_Zrenner_2020, title={Electrically controlled rapid adiabatic passage in a single quantum dot}, volume={116}, DOI={10.1063/5.0012257}, journal={Applied Physics Letters}, author={Mukherjee, Amlan and Widhalm, Alex and Siebert, Dustin and Krehs, Sebastian and Sharma, Nandlal and Thiede, Andreas and Reuter, Dirk and Förstner, Jens and Zrenner, Artur}, year={2020}, pages={251103} }
LibreCat
| Files available
| DOI
2020 | Journal Article | LibreCat-ID: 17803
@article{Grynko_Shkuratov_Förstner_2020, title={Light backscattering from large clusters of densely packed irregular particles}, volume={255}, DOI={10.1016/j.jqsrt.2020.107234}, journal={Journal of Quantitative Spectroscopy and Radiative Transfer}, author={Grynko, Yevgen and Shkuratov, Yuriy and Förstner, Jens}, year={2020}, pages={107234} }
LibreCat
| Files available
| DOI
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 | Conference Paper | LibreCat-ID: 20700
@inproceedings{Boeddeker_Cord-Landwehr_Heitkaemper_Zorila_Hayakawa_Li_Liu_Doddipatla_Haeb-Umbach_2020, title={Towards a speaker diarization system for the CHiME 2020 dinner party transcription}, booktitle={Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments}, author={Boeddeker, Christoph and Cord-Landwehr, Tobias and Heitkaemper, Jens and Zorila, Catalin and Hayakawa, Daichi and Li, Mohan and Liu, Min and Doddipatla, Rama and Haeb-Umbach, Reinhold}, 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: 20762
@inproceedings{von Neumann_Kinoshita_Drude_Boeddeker_Delcroix_Nakatani_Haeb-Umbach_2020, title={End-to-End Training of Time Domain Audio Separation and Recognition}, DOI={10.1109/ICASSP40776.2020.9053461}, booktitle={ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)}, author={von Neumann, Thilo Christoph and Kinoshita, Keisuke and Drude, Lukas and Boeddeker, Christoph and Delcroix, Marc and Nakatani, Tomohiro and Haeb-Umbach, Reinhold}, year={2020}, pages={7004–7008} }
LibreCat
| Files available
| DOI
2020 | Bachelorsthesis | LibreCat-ID: 20820
@book{Thiele_2020, title={Implementing Machine Learning Functions as PYNQ FPGA Overlays}, author={Thiele, Simon}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 20452
@inproceedings{Terfloth_Budde_Schulte_2020, place={New York, NY, USA}, title={Combining Ideas and Artifacts: An Interaction-Focused View on Computing Education Using a Cybersecurity Example}, DOI={10.1145/3428029.3428052}, publisher={Association for Computing Machinery}, author={Terfloth, Lutz and Budde, Lea and Schulte, Carsten}, year={2020} }
LibreCat
| DOI
2020 | Preprint | LibreCat-ID: 20731
@article{Bieker_Gebken_Peitz_2020, title={On the Treatment of Optimization Problems with L1 Penalty Terms via Multiobjective Continuation}, journal={arXiv:2012.07483}, author={Bieker, Katharina and Gebken, Bennet and Peitz, Sebastian}, year={2020} }
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 21018
@inproceedings{Richter_Wehrheim_2020, title={Attend and Represent: A Novel View on Algorithm Selection for Software Verification}, booktitle={35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020}, publisher={{IEEE}}, author={Richter, Cedric and Wehrheim, Heike}, year={2020}, pages={1016–1028} }
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21121
@book{Anonymous_2020, title={Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems}, author={Anonymous, Anonymous}, year={2020} }
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21119
@book{Westerwelle_2020, title={Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions}, author={Westerwelle, Max}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 20166
@inproceedings{Bondarenko_Fröbe_Beloucif_Gienapp_Ajjour_Panchenko_Biemann_Stein_Wachsmuth_Potthast_et al._2020, title={Overview of Touché 2020: Argument Retrieval}, volume={2696}, booktitle={CEUR Workshop Proceedings}, author={Bondarenko, Alexander and Fröbe, Maik and Beloucif, Meriem and Gienapp, Lukas and Ajjour, Yamen and Panchenko, Alexander and Biemann, Chris and Stein, Benno and Wachsmuth, Henning and Potthast, Martin and et al.}, year={2020}, pages={384–395} }
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 21272
@inproceedings{Ködding_Dumitrescu_2020, place={Berlin, Heidelberg}, title={Forschungsfelder für Künstliche Intelligenz in der strategischen Produktplanung}, booktitle={Digitalisisierung souverän gestalten}, publisher={Springer Vieweg}, author={Ködding, Patrick and Dumitrescu, Roman}, editor={Hartmann, Ernst A.Editor}, year={2020}, pages={59–73} }
LibreCat
2020 | Journal Article | LibreCat-ID: 19866
@article{Meyer_Frank_Massmann_Dumitrescu_2020, title={Research and Consulting in Data-Driven Strategic Product Planning}, volume={18}, number={2}, journal={Journal of Systemics, Cybernetics and Informatics}, author={Meyer, Maurice and Frank, Maximilian and Massmann, Melina and Dumitrescu, Roman}, year={2020}, pages={55–61} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 21392
@inproceedings{Henkenjohann_Joppen_Köchling_von Enzberg_Kühn_Dumitrescu_2020, title={Identification and specification of standard modules in production for a material flow simulation}, booktitle={Procedia CIRP}, author={Henkenjohann, Mark and Joppen, Robert and Köchling, Daniel and von Enzberg, Sebastian and Kühn, Arno and Dumitrescu, Roman}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 21380
@inproceedings{Anacker_Dumitrescu_Kharatyan_Lipsmeier_2020, title={Pattern based systems engineering – application of solution patterns in the design of intelligent technical systems}, booktitle={Proceedings of the Design Society}, author={Anacker, Harald and Dumitrescu, Roman and Kharatyan, Aschot and Lipsmeier, Andre}, year={2020}, pages={1195–1204} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 21385
@inproceedings{Hobscheidt_Kühn_Dumitrescu_2020, title={Development of risk-optimized implementation paths for Industry 4.0 based on socio-technical pattern}, number={91}, booktitle={Procedia CIRP}, author={Hobscheidt, Daniela and Kühn, Arno and Dumitrescu, Roman}, year={2020}, pages={832–837} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 21481
@inproceedings{Weidmann_Fritsche_Anjorin_2020, title={A search-based and fault-tolerant approach to concurrent model synchronisation}, DOI={10.1145/3426425.3426932}, booktitle={Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020}, publisher={ACM}, author={Weidmann, Nils and Fritsche, Lars and Anjorin, Anthony}, editor={Lämmel, Ralf and Tratt, Laurcence and de Lara, JuanEditors}, year={2020} }
LibreCat
| DOI
2020 | Special Issue | LibreCat-ID: 21486
@book{Bernijazov_Özcan_Dumitrescu_2020, title={AI Marketplace – The Ecosystem for Artificial Intelligence in Product Creation }, number={122}, journal={ERCIM News}, year={2020}, pages={36–37} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 18109
@inproceedings{Yigitbas_Jovanovikj_Scholand_Engels_2020, title={VR Training for Warehouse Management }, booktitle={Proceedings of the 26th ACM Symposium on Virtual Reality Software and Technology (VRST)}, publisher={ACM}, author={Yigitbas, Enes and Jovanovikj, Ivan and Scholand, Janis and Engels, Gregor}, year={2020} }
LibreCat
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 | Research Data | LibreCat-ID: 12950
@book{Claes_Webersen_2020, title={pyfds 0.1.3 - modular field simulation tool}, DOI={10.5281/ZENODO.2649826}, publisher={GitHub, Inc.}, author={Claes, Leander and Webersen, Manuel}, year={2020} }
LibreCat
| Files available
| DOI
2020 | Journal Article | LibreCat-ID: 12878
@article{Rengaraj_Lass_Plessl_Kühne_2020, title={Accurate Sampling with Noisy Forces from Approximate Computing}, volume={8}, DOI={10.3390/computation8020039}, number={239}, journal={Computation}, publisher={MDPI}, author={Rengaraj, Varadarajan and Lass, Michael and Plessl, Christian and Kühne, Thomas}, year={2020} }
LibreCat
| DOI
| Download (ext.)
| arXiv
2020 | Conference Paper | LibreCat-ID: 16899
@inproceedings{Krauter_Bendfeld_2020, title={Comparison of Microinverters: Update on Rankings of Conversion Efficiencies and Energy Yields}, booktitle={Proceedings of the 47th IEEE Photovoltaic Specialists Conference (PVSC 47) JUNE 15 - AUGUST 21, 2020 VIRTUAL MEETING}, author={Krauter, Stefan and Bendfeld, Jörg}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 16724
@inproceedings{Sharma_Wehrheim, title={Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models}, booktitle={Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).}, publisher={ACM}, author={Sharma, Arnab and Wehrheim, Heike} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 3583
@inproceedings{ Guetttatfi_Kaufmann_Platzner_2020, title={Optimal and Greedy Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing Devices}, booktitle={Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC)}, author={ Guetttatfi, Zakarya and Kaufmann, Paul and Platzner, Marco}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 15163
@inproceedings{Feldmann_Schulze_Jurgelucks_Henning_2020, title={Solving piezoelectric inverse problems using Algorithmic Differentiation}, booktitle={Fortschritte der Akustik - DAGA 2020}, author={Feldmann, Nadine and Schulze, Veronika and Jurgelucks, Benjamin and Henning, Bernd}, year={2020}, pages={1125–1128} }
LibreCat
2020 | Journal Article | LibreCat-ID: 16964
@article{Hochmuth_Liebendörfer_Biehler_Eichler_2020, title={Das Kompetenzzentrum Hochschuldidaktik Mathematik (khdm)}, volume={95}, journal={Neues Handbuch Hochschullehre}, author={Hochmuth, Reinhard and Liebendörfer, Michael and Biehler, Rolf and Eichler, Andreas}, year={2020}, pages={117–138} }
LibreCat
2020 | Journal Article | LibreCat-ID: 16902
@article{Feldmann_Scheideler_Schmid_2020, title={Survey on Algorithms for Self-Stabilizing Overlay Networks}, DOI={10.1145/3397190}, journal={ACM Computing Surveys}, publisher={ACM}, author={Feldmann, Michael and Scheideler, Christian and Schmid, Stefan}, year={2020} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 15264
@inproceedings{Johannesmann_Becker_Webersen_Henning_2020, title={Determination of Murnaghan constants of plate-shaped polymers under uniaxial tensile load}, DOI={10.5162/SMSI2020/D6.1}, booktitle={SMSI 2020 - Measurement Science}, author={Johannesmann, Sarah and Becker, Sebastian and Webersen, Manuel and Henning, Bernd}, year={2020} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 16868
@inproceedings{Alshomary_Syed_Potthast_Wachsmuth_2020, series={Proceedings of 58th Annual Meeting of the Association for Computational Linguistics}, title={Target Inference in Argument Conclusion Generation}, booktitle={Proceedings of 58th Annual Meeting of the Association for Computational Linguistics (ACL 2020)}, publisher={Association for Computational Linguistics}, author={Alshomary, Milad and Syed, Shahbaz and Potthast, Martin and Wachsmuth, Henning}, year={2020}, pages={4334–4345}, collection={Proceedings of 58th Annual Meeting of the Association for Computational Linguistics} }
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 16933
@inproceedings{Gottschalk_Rittmeier_Engels_2020, title={Hypothesis-driven Adaptation of Business Models based on Product Line Engineering}, DOI={10.1109/CBI49978.2020.00022}, booktitle={Proceedings of the 22nd IEEE International Conference on Business Informatics}, publisher={IEEE}, author={Gottschalk, Sebastian and Rittmeier, Florian and Engels, Gregor}, year={2020} }
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 17397
@inproceedings{Amjad_Hardes_Schettler_Sommer_Dressler_2020, title={Using Full Duplex Relaying to Reduce Physical Layer Latency in Platooning}, DOI={10.1109/vnc48660.2019.9062784}, booktitle={2019 IEEE Vehicular Networking Conference (VNC)}, author={Amjad, Muhammad Sohaib and Hardes, Tobias and Schettler, Max and Sommer, Christoph and Dressler, Falko}, year={2020} }
LibreCat
| DOI
2020 | Bachelorsthesis | LibreCat-ID: 18085
@book{Heimann_2020, title={Distributed Key Generation for Attribute-Based Signatures}, author={Heimann, Jonas}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 18390
@inproceedings{Krauter_Bendfeld_2020, title={Micro-Inverters: an Update of Comparison of Conversion Efficiencies and Energy Yields}, booktitle={Proceedings of the EU PVSEC 2020}, author={Krauter, Stefan and Bendfeld, Jörg}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 19393
@inproceedings{Krauter_Zhang_2020, title={Triggering Demand‒Side‒Management: Correlation of electricity prices, share of renewables, CO2‒contents, and grid‒frequency in the German electricity grid.}, booktitle={Proceedings of the 35th European Photovoltaic Solar Energy Conference, 07 - 11 September 2020.}, author={Krauter, Stefan and Zhang, L.}, year={2020} }
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 18066
@book{Skowronek_2020, title={Approaches for Competetive Routing through Intersections of Hole Abstractions in Hybrid Communication Networks}, publisher={Universität Paderborn}, author={Skowronek, Michael}, year={2020} }
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 18648
@book{Guggenmos_2020, title={Algorithmen für selbststabilisierende Skip+-Delaunaygraphen}, publisher={Universität Paderborn}, author={Guggenmos, Andreas}, year={2020} }
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 19999
@book{Mayer_2020, title={Optimierung von JMCTest beim Testen von Inter Method Contracts}, publisher={Universität Paderborn}, author={Mayer, Stefan}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 20275
@inproceedings{Beringer_Wehrheim_2020, title={Consistency Analysis of AUTOSAR Timing Requirements}, DOI={10.5220/0009766600150026}, booktitle={Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020}, publisher={ScitePress}, author={Beringer, Steffen and Wehrheim, Heike}, editor={van Sinderen, Marten and Fill, Hans{-}Georg and A. Maciaszek, LeszekEditors}, year={2020}, pages={15–26} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 13770
@article{Karl_Kundisch_Meyer auf der Heide_Wehrheim_2020, title={A Case for a New IT Ecosystem: On-The-Fly Computing}, volume={62}, DOI={10.1007/s12599-019-00627-x}, number={6}, journal={Business & Information Systems Engineering}, publisher={Springer}, author={Karl, Holger and Kundisch, Dennis and Meyer auf der Heide, Friedhelm and Wehrheim, Heike}, year={2020}, pages={467–481} }
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 20307
@inproceedings{Schnasse_Menzefricke_Gabriel_Hobscheidt_Parlings_Kühn_Dumitrescu_2020, title={Identification of socio-technical changes caused by Industry 4.0}, volume={29}, booktitle={Proceedings of the Hamburg International Conference of Logistics (HICL)}, author={Schnasse, Felix and Menzefricke, Jörn Steffen and Gabriel, Stefan and Hobscheidt, Daniela and Parlings, Matthias and Kühn, Arno and Dumitrescu, Roman}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 20509
@inproceedings{Fischer_Janneck_Kussmaul_Krätzschmar_Kerschbaum_Bodden_2020, title={PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage}, booktitle={2020 IEEE Computer Security Foundations Symposium (CSF)}, author={Fischer, Andreas and Janneck, Jonas and Kussmaul, Jörn and Krätzschmar, Nikolas and Kerschbaum, Florian and Bodden, Eric}, year={2020} }
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20511
@inproceedings{Fischer_Fuhry_Kerschbaum_Bodden_2020, title={Computation on Encrypted Data using Dataflow Authentication}, booktitle={Privacy Enhancing Technologies Symposium (PETS/PoPETS)}, author={Fischer, Andreas and Fuhry, Benny and Kerschbaum, Florian and Bodden, Eric}, year={2020} }
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 19502
@inproceedings{Hetkämper_Krumme_Dreiling_Claes_2020, title={A modular, scalable open-hardware platform for project-based laboratory courses in electrical engineering studies}, booktitle={SEFI 48th Annual Conference Proceedings - Engaging Engineering Education}, publisher={SEFI}, author={Hetkämper, Tim and Krumme, Matthias and Dreiling, Dmitrij and Claes, Leander}, year={2020}, pages={1309–1313} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 18249
@inproceedings{Gottschalk_Yigitbas_Schmidt_Engels_2020, place={Cham}, series={Lecture Notes in Computer Science}, title={Model-based Product Configuration in Augmented Reality Applications}, volume={12481}, DOI={10.1007/978-3-030-64266-2_5}, booktitle={Human-Centered Software Engineering. HCSE 2020}, publisher={Springer}, author={Gottschalk, Sebastian and Yigitbas, Enes and Schmidt, Eugen and Engels, Gregor}, editor={Bernhaupt, Regina and Ardito, Carmelo and Sauer, StefanEditors}, year={2020}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
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 | Conference Paper | LibreCat-ID: 3800
@inproceedings{Wachsmuth_Werner_2020, title={Intrinsic Quality Assessment of Arguments}, booktitle={Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics}, author={Wachsmuth, Henning and Werner, Till}, year={2020}, pages={6739–6745} }
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20504
@inproceedings{Heitkaemper_Jakobeit_Boeddeker_Drude_Haeb-Umbach_2020, title={Demystifying TasNet: A Dissecting Approach}, booktitle={ICASSP 2020 Virtual Barcelona Spain}, author={Heitkaemper, Jens and Jakobeit, Darius and Boeddeker, Christoph and Drude, Lukas and Haeb-Umbach, Reinhold}, year={2020} }
LibreCat
| Files available
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 | Conference Paper | LibreCat-ID: 20838
@inproceedings{Loesch_Platzner_2020, title={MigHEFT: DAG-based Scheduling of Migratable Tasks on Heterogeneous Compute Nodes}, DOI={10.1109/ipdpsw50202.2020.00012}, booktitle={2020 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)}, author={Loesch, Achim and Platzner, Marco}, 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: 10790
@article{Blömer_Brauer_Bujna_Kuntze_2020, title={How well do SEM algorithms imitate EM algorithms? A non-asymptotic analysis for mixture models}, volume={14}, DOI={10.1007/s11634-019-00366-7}, journal={Advances in Data Analysis and Classification}, author={Blömer, Johannes and Brauer, Sascha and Bujna, Kathrin and Kuntze, Daniel}, year={2020}, pages={147–173} }
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 | Conference (Editor) | LibreCat-ID: 21019
@book{Ahrendt_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]}, volume={12165}, DOI={10.1007/978-3-030-50995-8}, publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 17082
@inproceedings{Hasnain_Karl_2020, title={Coflow Scheduling with Performance Guarantees for Data Center Applications}, DOI={https://doi.org/10.1109/CCGrid49817.2020.00010}, booktitle={2020 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGRID)}, publisher={IEEE Computer Society}, author={Hasnain, Asif and Karl, Holger}, year={2020} }
LibreCat
| DOI
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 17424
@inproceedings{Tornede_Tornede_Wever_Mohr_Hüllermeier_2020, title={AutoML for Predictive Maintenance: One Tool to RUL Them All}, DOI={10.1007/978-3-030-66770-2_8}, booktitle={Proceedings of the ECMLPKDD 2020}, author={Tornede, Tanja and Tornede, Alexander and Wever, Marcel Dominik and Mohr, Felix and Hüllermeier, Eyke}, year={2020} }
LibreCat
| DOI
2020 | Mastersthesis | LibreCat-ID: 21324
@book{Chandrakar_2020, title={Comparison of Feature Selection Techniques to Improve Approximate Circuit Synthesis}, author={Chandrakar, Khushboo}, year={2020} }
LibreCat
2020 | Journal Article | LibreCat-ID: 21379
@article{Dumitrescu_Drewel_Falkowski_2020, title={KI-Marktplatz: Das Ökosystem für Künstliche Intelligenz in der Produktentstehung}, number={1–2}, journal={ZWF, Zeitschrift für wirtschaftliche Fabrikplanung}, author={Dumitrescu, Roman and Drewel, Marvin and Falkowski, Tommy}, year={2020}, pages={86–90} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 18876
@inproceedings{Reinhold_Frank_Koldewey_Dumitrescu_Buss_2020, title={In-depth Analysis of the Effects of Smart Services on Value Creation}, booktitle={Proceedings of the ISPIM Connects Bangkok – Partnering for an Innovative Community}, publisher={LUT Scientific and Expertise Publications}, author={Reinhold, Jannik and Frank, Maximilian and Koldewey, Christian and Dumitrescu, Roman and Buss, Eugen}, year={2020} }
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 17405
@inproceedings{Frank_Gausemeier_Hennig-Cardinal von Widdern_Koldewey_Menzefricke_Reinhold_2020, title={A reference process for the Smart Service business: development and practical implications}, booktitle={Proceedings of the ISPIM connects}, publisher={International Society for Professional Innovation Management (ISPIM)}, author={Frank, Maximilian and Gausemeier, Juergen and Hennig-Cardinal von Widdern, Nils and Koldewey, Christian and Menzefricke, Joern Steffen and Reinhold, Jannik}, year={2020} }
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21432
@book{Henke_2020, title={Evaluation of a ReconOS-ROS Combination based on a Video Processing Application}, author={Henke, Luca-Sebastian}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 21386
@inproceedings{Wortmann_Ellermann_Kühn_Dumitrescu_2020, title={Ideation for digital platforms based on a companies‘ ecosystem}, number={91}, booktitle={Procedia CIRP}, author={Wortmann, Fabio and Ellermann, Kai and Kühn, Arno and Dumitrescu, Roman}, year={2020}, pages={559–564} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 21381
@inproceedings{Lipsmeier_Kühn_Joppen_Dumitrescu_2020, title={Process for the development of a digital strategy}, number={88}, booktitle={Procedia CIRP}, author={Lipsmeier, Andre and Kühn, Arno and Joppen, Robert and Dumitrescu, Roman}, year={2020}, pages={173–178} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 21482
@inproceedings{Weidmann_Anjorin_Cheney_2020, title={VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems}, DOI={10.4204/eptcs.330.1}, booktitle={Proceedings of the Eleventh International Workshop on Graph Computation Models, GCM@STAF 2020}, publisher={EPTCS}, author={Weidmann, Nils and Anjorin, Anthony and Cheney, James}, editor={Hoffmann, Berthold and Minas, MarkEditors}, year={2020}, pages={1–12} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 16274
@inproceedings{Jovanovikj_Nagaraj_Yigitbas_Anjorin_Sauer_Engels_2020, title={Validating Test Case Migration via Mutation Analysis }, booktitle={Proceedings of the 1st IEEE/ACM International Conference on Automation of Software Test AST}, publisher={ACM}, author={Jovanovikj, Ivan and Nagaraj, Achyuth and Yigitbas, Enes and Anjorin, Anthony and Sauer, Stefan and Engels, Gregor}, year={2020}, pages={31–40} }
LibreCat
2020 | Book Chapter | LibreCat-ID: 19521
@inbook{Pfannschmidt_Hüllermeier_2020, place={Cham}, title={Learning Choice Functions via Pareto-Embeddings}, DOI={10.1007/978-3-030-58285-2_30}, booktitle={Lecture Notes in Computer Science}, author={Pfannschmidt, Karlson and Hüllermeier, Eyke}, year={2020} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 16363
@inproceedings{Hansmeier_Kaufmann_Platzner_2020, place={New York, NY, United States}, title={Enabling XCSF to Cope with Dynamic Environments via an Adaptive Error Threshold}, DOI={10.1145/3377929.3389968}, booktitle={GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion}, publisher={Association for Computing Machinery (ACM)}, author={Hansmeier, Tim and Kaufmann, Paul and Platzner, Marco}, year={2020}, pages={125–126} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 17063
@inproceedings{Hansmeier_Kaufmann_Platzner_2020, place={New York, NY, United States}, title={An Adaption Mechanism for the Error Threshold of XCSF}, DOI={10.1145/3377929.3398106}, booktitle={GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion}, publisher={Association for Computing Machinery (ACM)}, author={Hansmeier, Tim and Kaufmann, Paul and Platzner, Marco}, year={2020}, pages={1756–1764} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 13226
@inproceedings{Gharibian_Piddock_Yirka, title={Oracle complexity classes and local measurements on physical Hamiltonians}, booktitle={Proceedings of the 37th Symposium on Theoretical Aspects of Computer Science (STACS 2020)}, author={Gharibian, Sevag and Piddock, Stephen and Yirka, Justin}, pages={38} }
LibreCat
| Download (ext.)
| arXiv
2020 | Conference Paper | LibreCat-ID: 15169
@inproceedings{Castenow_Kolb_Scheideler, title={A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks}, booktitle={Proceedings of the 21st International Conference on Distributed Computing and Networking (ICDCN)}, publisher={ACM}, author={Castenow, Jannik and Kolb, Christina and Scheideler, Christian} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 16852
@inproceedings{Groth_Grünewald_Teich_Hannig_2020, title={A Runtime System for Finite Element Methods in a Partitioned Global Address Space}, DOI={10.1145/3387902.3392628}, booktitle={Proceedings of the 17th ACM International Conference on Computing Frontiers (CF ’2020)}, publisher={ACM}, author={Groth, Stefan and Grünewald, Daniel and Teich, Jürgen and Hannig, Frank}, year={2020} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 16857
@inproceedings{Krauter_Bendfeld_2020, title={Einfluss der Betriebstemperatur auf den Wirkungsgrad von Modul- Wechselrichtern für PV-Netzeinspeisungen}, booktitle={Tagungsband des 35. Symposiums für Photovoltaische Solarenergie, Kloster Banz, Bad Staffelstein (Deutschland)}, author={Krauter, Stefan and Bendfeld, Jörg}, year={2020} }
LibreCat
2020 | Journal Article | LibreCat-ID: 16725
@article{Richter_Hüllermeier_Jakobs_Wehrheim, title={Algorithm Selection for Software Validation Based on Graph Kernels}, journal={Journal of Automated Software Engineering}, publisher={Springer}, author={Richter, Cedric and Hüllermeier, Eyke and Jakobs, Marie-Christine and Wehrheim, Heike} }
LibreCat
2020 | Journal Article | LibreCat-ID: 16965
@article{Schürmann_Schaper_Liebendörfer_Biehler_Lankeit_Hochmuth_Ruge_Kuklinski_2020, title={Ein Kurzbericht aus dem Forschungsprojekt WiGeMath-Lernzentren als Unterstützungsmaßnahme für mathematikbezogenes Lernen in der Studieneingangsphase}, volume={01/2020}, journal={dghd-Newsletter}, author={Schürmann, Mirko and Schaper, Niclas and Liebendörfer, Michael and Biehler, Rolf and Lankeit, Elisa and Hochmuth, Reinhard and Ruge, Johanna and Kuklinski, Christiane}, year={2020}, pages={25–29} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 16903
@inproceedings{Feldmann_Khazraei_Scheideler_2020, title={Time- and Space-Optimal Discrete Clock Synchronization in the Beeping Model}, DOI={10.1145/3350755.3400246}, booktitle={Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)}, publisher={ACM}, author={Feldmann, Michael and Khazraei, Ardalan and Scheideler, Christian}, year={2020} }
LibreCat
| DOI
| arXiv
2020 | Conference Paper | LibreCat-ID: 8426
@inproceedings{Broadbent_Gharibian_Zhou_2020, title={Towards Quantum One-Time Memories from Stateless Hardware}, volume={158}, booktitle={Proceedings of the 15th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC)}, publisher={Leibniz International Proceedings in Informatics (LIPIcs)}, author={Broadbent, Anne and Gharibian, Sevag and Zhou, Hong-Sheng}, year={2020}, pages={6:1-6:25} }
LibreCat
| Download (ext.)
| arXiv
2020 | Conference Paper | LibreCat-ID: 16934
@inproceedings{Gottschalk_Yigitbas_Engels_2020, series={Lecture Notes in Business Information Processing}, title={Model-based Hypothesis Engineering for Supporting Adaptation to Uncertain Customer Needs}, volume={391}, DOI={10.1007/978-3-030-52306-0_18}, booktitle={Business Modeling and Software Design}, publisher={Springer International Publishing}, author={Gottschalk, Sebastian and Yigitbas, Enes and Engels, Gregor}, editor={Shishkov, BorisEditor}, year={2020}, pages={276–286}, collection={Lecture Notes in Business Information Processing} }
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 17398
@inproceedings{Turcanu_Engel_Sommer_2020, title={Fog Seeding Strategies for Information-Centric Heterogeneous Vehicular Networks}, DOI={10.1109/vnc48660.2019.9062816}, booktitle={2019 IEEE Vehicular Networking Conference (VNC)}, author={Turcanu, Ion and Engel, Thomas and Sommer, Christoph}, year={2020} }
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 17836
@book{Werneck Richa_Scheideler_2020, series={Lecture Notes in Computer Science}, title={Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29 - July 1, 2020, Proceedings}, volume={12156}, DOI={10.1007/978-3-030-54921-3}, publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 17994
@inbook{Gerlach_Ziessler_2020, place={Cham}, series={Studies in Systems, Decision and Control}, title={The Approximation of Invariant Sets in Infinite Dimensional Dynamical Systems}, volume={304}, DOI={10.1007/978-3-030-51264-4_3}, booktitle={Advances in Dynamics, Optimization and Computation}, publisher={Springer}, author={Gerlach, Raphael and Ziessler, Adrian}, editor={Junge, Oliver and Schütze, Oliver and Ober-Blöbaum, Sina and Padberg-Gehle, KathrinEditors}, year={2020}, pages={55–85}, collection={Studies in Systems, Decision and Control} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 18651
@inproceedings{Gburrek_Schmalenstroeer_Brendel_Kellermann_Haeb-Umbach_2020, title={Deep Neural Network based Distance Estimation for Geometry Calibration in Acoustic Sensor Network}, booktitle={European Signal Processing Conference (EUSIPCO)}, author={Gburrek, Tobias and Schmalenstroeer, Joerg and Brendel, Andreas and Kellermann, Walter and Haeb-Umbach, Reinhold}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 19421
@inproceedings{Holst_Kampmann_Sprenger_Reimer_Hellebrand_Wunderlich_Weng, place={Virtual Conference - Originally Washington, DC}, title={Logic Fault Diagnosis of Hidden Delay Defects}, booktitle={IEEE International Test Conference (ITC’20), November 2020}, author={Holst, Stefan and Kampmann, Matthias and Sprenger, Alexander and Reimer, Jan Dennis and Hellebrand, Sybille and Wunderlich, Hans-Joachim and Weng, Xiaoqing} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 19609
@inproceedings{Schneider_Manzoor_Qarawlus_Schellenberg_Karl_Khalili_Hecker_2020, title={Self-Driving Network and Service Coordination Using Deep Reinforcement Learning}, booktitle={IEEE International Conference on Network and Service Management (CNSM)}, publisher={IEEE}, author={Schneider, Stefan Balthasar and Manzoor, Adnan and Qarawlus, Haydar and Schellenberg, Rafael and Karl, Holger and Khalili, Ramin and Hecker, Artur}, year={2020} }
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 17406
@inproceedings{Becker_Joachim_Koldewey_Reinhold_Dumitrescu_2020, title={Scaling Digital Business Models: A Case from the Automotive Industry}, booktitle={Proceedings of the 2020 ISPIM Innovation Conference (Virtual) Event “Innovating in Times of Crisis”}, publisher={ISPIM Innovation Conference}, author={Becker, Julia-Kristin and Joachim, Klemens and Koldewey, Christian and Reinhold, Jannik and Dumitrescu, Roman}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 7283
@inproceedings{Alshomary_Düsterhus_Wachsmuth_2020, title={Extractive Snippet Generation for Arguments}, booktitle={Proceedings of 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval}, author={Alshomary, Milad and Düsterhus, Nick and Wachsmuth, Henning}, year={2020}, pages={1969–1972} }
LibreCat
| Files available
2020 | Bachelorsthesis | LibreCat-ID: 18637
@book{Schürmann_2020, title={A Group Signature Scheme from Flexible Public Key Signatures and Structure-Preserving Signatures on Equivalence Classes}, publisher={Universität Paderborn}, author={Schürmann, Patrick}, year={2020} }
LibreCat
| Files available
2020 | Mastersthesis | LibreCat-ID: 20221
@book{Yeole_2020, title={Plurality Consensus in Hybrid Networks}, author={Yeole, Paresh Kishor}, year={2020} }
LibreCat
2020 | Journal Article | LibreCat-ID: 16299
@article{Castenow_Fischer_Harbig_Jung_Meyer auf der Heide_2020, title={Gathering Anonymous, Oblivious Robots on a Grid}, volume={815}, DOI={10.1016/j.tcs.2020.02.018}, journal={Theoretical Computer Science}, author={Castenow, Jannik and Fischer, Matthias and Harbig, Jonas and Jung, Daniel and Meyer auf der Heide, Friedhelm}, year={2020}, pages={289–309} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20276
@inproceedings{Beyer_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework}, volume={12476}, DOI={10.1007/978-3-030-61362-4\_8}, booktitle={Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}}, publisher={Springer}, author={Beyer, Dirk and Wehrheim, Heike}, editor={Margaria, Tiziana and Steffen, BernhardEditors}, year={2020}, pages={143–167}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 18276
@inproceedings{Tornede_Wever_Werner_Mohr_Hüllermeier_2020, title={Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis}, booktitle={ACML 2020}, author={Tornede, Alexander and Wever, Marcel Dominik and Werner, Stefan and Mohr, Felix and Hüllermeier, Eyke}, year={2020} }
LibreCat
| Download (ext.)