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.
4838 Publications
2019 | Journal Article | LibreCat-ID: 12890
Drude, Lukas, and Reinhold Haeb-Umbach. “Integration of Neural Networks and Probabilistic Spatial Models for Acoustic Blind Source Separation.” IEEE Journal of Selected Topics in Signal Processing, 2019, doi:10.1109/JSTSP.2019.2912565.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 13874
Isenberg, Tobias, et al. “When Are Software Verification Results Valid for Approximate Hardware?” Tests and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, 2019, pp. 3–20, doi:10.1007/978-3-030-31157-5\_1.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13937
Meyer auf der Heide, Friedhelm. “Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln.” Mathematische Semesterberichte, vol. 66, no. 2, 2019, pp. 259–60, doi:10.1007/s00591-019-00249-0.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13557
Blömer, Johannes, and Nils Löken. “Dynamic Searchable Encryption with Access Control.” 12th International Symposium on Foundations and Practice of Security, FPS 2019, vol. 12056, Springer, 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 15332
Schlichtig, Michael, et al. “Understanding Artificial Intelligence – A Project for the Development of Comprehensive Teaching Material.” ISSEP 2019 - 12th International Conference on Informatics in Schools: Situation, Evaluation and Perspectives, Local Proceedings, edited by Eglė Jasutė and Sergei Pozdniakov, vol. 12, 2019, pp. 65–73.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 15375
Müller, Marcel, et al. “Putting NFV into Reality: Physical Smart Manufacturing Testbed.” IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), IEEE, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 14896
Dann, Andreas, et al. “ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules.” IEEE Transactions on Software Engineering, 2019, pp. 1–1, doi:10.1109/tse.2019.2931331.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 15488
Thiel, Christian, et al. “P2.9 Comparison of Deep Feature Extraction Techniques for Varying-Length Time Series from an Industrial Piercing Press.” 20. GMA/ITG-Fachtagung. Sensoren Und Messsysteme 2019, edited by AMA Service GmbH, 2019, doi:10.5162/SENSOREN2019/P2.9.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 15003
Mortier, Thomas, et al. “Set-Valued Prediction in Multi-Class Classification.” Proceedings of the 31st Benelux Conference on Artificial Intelligence {(BNAIC} 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), Brussels, Belgium, November 6-8, 2019, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 15015
Henzgen, Sascha, and Eyke Hüllermeier. “Mining Rank Data.” ACM Transactions on Knowledge Discovery from Data, 2019, pp. 1–36, doi:10.1145/3363572.
LibreCat
| DOI
2019 | Conference Abstract | LibreCat-ID: 15248
Grabo, Matti, et al. Numerische Untersuchung der Temperaturverteilung in PCM-integrierten Solarmodulen. 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 15250
Grabo, Matti, et al. “Numerical Investigation of the Temperature Distribution in PCM-Integrated Solar Modules.” Chemical Engineering Transactions, 2019, pp. 895–900, doi:10.3303/CET1976150.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14822
Heitkaemper, Jens, et al. “A Study on Online Source Extraction in the Presence of Changing Speaker Positions.” International Conference on Statistical Language and Speech Processing 2019, Ljubljana, Slovenia, 2019.
LibreCat
| Files available
2019 | Preprint | LibreCat-ID: 16296
Banholzer, Stefan, et al. “ROM-Based Multiobjective Optimization of Elliptic PDEs via Numerical Continuation.” ArXiv:1906.09075, 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 15921
Desouki, Abdelmoneim Amer, et al. “Ranking on Very Large Knowledge Graphs.” Proceedings of the 30th ACM Conference on Hypertext and Social Media - HT ’19, ACM, 2019, pp. 163–71, doi:10.1145/3342220.3343660.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 16361
Fischer, Holger Gerhard, et al. “Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode.” Arbeit 4.0 im Mittelstand, edited by Christian K. Bosse and Klaus J. Zink, Springer Gabler, 2019, doi:10.1007/978-3-662-59474-2_11.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 16215
Derrick, John, et al. “Verifying Correctness of Persistent Concurrent Data Structures.” Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, edited by Maurice H. ter Beek et al., vol. 11800, Springer, 2019, pp. 179–95, doi:10.1007/978-3-030-30942-8\_12.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 8113
Peuster, Manuel, et al. “Joint Testing and Profiling of Microservice-Based Network Services Using TTCN-3.” ICT Express, Elsevier BV, 2019, doi:10.1016/j.icte.2019.02.001.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 8543
Strothmann, Thim Frederik. “Förderung von Kreativität in Studentischen Kleingruppenprojekten in Der Informatik – Ein Prototyping-Basierter Ansatz.” Die Hochschullehre, 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 8240
Dräxler, Sevil, and Holger Karl. “SPRING: Scaling, Placement, and Routing of Heterogeneous Services with Flexible Structures.” 5th IEEE International Conference on Network Softwarization (NetSoft) 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 8795
Peuster, Manuel, et al. “A Flow Handover Protocol to Support State Migration in Softwarized Networks.” International Journal of Network Management, e2067, 2019, doi:10.1002/nem.2067.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13261
Wolters, Dennis, et al. “Specifying Web Interfaces for Command-Line Applications Based on OpenAPI.” Service-Oriented Computing – ICSOC 2019 Workshops, edited by Sami Yangui et al., vol. 12019, Springer, 2019, pp. 30–41, doi:10.1007/978-3-030-45989-5\_3.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 7689
Riebler, Heinrich, et al. “Transparent Acceleration for Heterogeneous Platforms with Compilation to OpenCL.” ACM Trans. Archit. Code Optim. (TACO), vol. 16, no. 2, ACM, 2019, pp. 14:1–14:26, doi:10.1145/3319423.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 13259
Chen, Wei-Fan, et al. “Unraveling the Search Space of Abusive Language in Wikipedia with Dynamic Lexicon Acquisition.” Proceedings of the Second Workshop on Natural Language Processing for Internet Freedom, 2019, pp. 76–82.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 17403
Koldewey, Christian, et al. “Development Process for Smart Service Strategies.” Proceedings of The XXX ISPIM INNOVATION CONFERENCE, edited by Ian Bitran et al., vol. 93, ISPIM Innovation Conference, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 16708
Ziessler, Adrian, et al. “The Numerical Computation of Unstable Manifolds for Infinite Dimensional Dynamical Systems by Embedding Techniques.” SIAM Journal on Applied Dynamical Systems, 2019, pp. 1265–92, doi:10.1137/18m1204395.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17395
Koldewey, Christian, et al. “Gestaltung hybrider Wertschöpfung und Arbeit im Kontext von Smart Services.” ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb, 2019, pp. 380–84, doi:10.3139/104.112113.
LibreCat
| DOI
2019 | Dissertation | LibreCat-ID: 18975
Malatyali, Manuel. Big Data: Sublinear Algorithms for Distributed Data Streams. 2019, doi:10.17619/UNIPB/1-766.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10232
Wever, Marcel Dominik, et al. Automating Multi-Label Classification Extending ML-Plan. 2019.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 10011
Fränzle, Martin, et al. “Editorial.” Formal Asp. Comput., vol. 31, no. 1, 2019, p. 1, doi:10.1007/s00165-018-00477-6.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10042
Johannesmann, Sarah, et al. “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN.” Fortschritte der Akustik - DAGA 2019, edited by Deutsche Gesellschaft für Akustik e.V., vol. 45, Deutsche Gesellschaft für Akustik, 2019, pp. 1055–58.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10092
Doherty, Simon, et al. “Verifying C11 Programs Operationally.” Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, edited by Jeffrey K. Hollingsworth and Idit Keidar, {ACM}, 2019, pp. 355–65, doi:10.1145/3293883.3295702.
LibreCat
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann, Jan. Analyzing Data Usage in Array Programs. 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 10578
Tagne, V. K., et al. “Choice Functions Generated by Mallows and Plackett–Luce Relations.” New Mathematics and Natural Computation, vol. 15, no. 2, 2019, pp. 191–213.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10597
Hanke, Soren, et al. “Finite-Control-Set Model Predictive Control for a Permanent Magnet Synchronous Motor Application with Online Least Squares System Identification.” 2019 IEEE International Symposium on Predictive Control of Electrical Drives and Power Electronics (PRECEDE), 2019, doi:10.1109/precede.2019.8753313.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 11709
Potthast, Martin, et al. “Argument Search: Assessing Argument Relevance.” 42nd International ACM Conference on Research and Development in Information Retrieval (SIGIR 2019), ACM, 2019, pp. 1117–20, doi:10.1145/3331184.3331327.
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13142
Weidmann, Nils, et al. “Incremental Bidirectional Model Transformation with EMoflon::IBeX.” Proceedings of the 8th International Workshop on Bidirectional Transformations Co-Located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia, PA, USA, June 4, 2019., 2019, pp. 45–55.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13123
Afifi, Haitham, et al. “A Genetic Algorithm Framework for Solving Wireless Virtual Network Embedding.” 2019 International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) (WiMob 2019), 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 13128
Bröcher, Henrik. Rational Secure Multiparty Computation. 2019.
LibreCat
| Files available
2019 | Book Chapter | LibreCat-ID: 12043
Reinold, Peter, et al. “Verkehrssimulation Im Hardware-in-the-Loop-Steuergerätetest.” Proceedings, 2019, doi:10.1007/978-3-658-25294-6_15.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 12889
Yigitbas, Enes, et al. “A Model-Based Framework for Context-Aware Augmented Reality Applications .” Handling Security, Usability, User Experience and Reliability in User-Centered Development Processes (IFIP WG 13.2 & WG 13.5 International Workshop @ INTERACT2019), 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 14025
Weidmann, Nils, et al. “A Feature-Based Classification of Triple Graph Grammar Variants.” Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019, 2019, doi:10.1145/3357766.3359529.
LibreCat
| DOI
2019 | Patent | LibreCat-ID: 14032
Göllner, Thomas, et al. Verteiltes Warenwirtschaftssystem [Distributed Warehouse System]. 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13647
Claes, Leander, et al. “Quantification of Frequency-Dependent Absorption Phenomena.” 2019 International Congress on Ultrasonics, 2019, doi:10.1121/2.0001043.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14568
Heindorf, Stefan, et al. “Debiasing Vandalism Detection Models at Wikidata (Extended Abstract).” INFORMATIK, 2019, pp. 289–90, doi:10.18420/inf2019_48.
LibreCat
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 14830
Gmyr, Robert, et al. “Self-Stabilizing Metric Graphs.” Theory Comput. Syst., vol. 63, no. 2, 2019, pp. 177–99, doi:10.1007/s00224-017-9823-4.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 15794
Ebbers, Janek, and Reinhold Haeb-Umbach. “Convolutional Recurrent Neural Network and Data Augmentation for Audio Tagging with Noisy Labels and Minimal Supervision.” DCASE2019 Workshop, New York, USA, 2019.
LibreCat
| Files available
2019 | Bachelorsthesis | LibreCat-ID: 15819
Leutnant, Matthias. Experimentelle Untersuchung Des SEM-Algorithmus. 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 15838
Pauck, Felix, and Shikun Zhang. “Android App Merging for Benchmark Speed-Up and Analysis Lift-Up.” 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2019, doi:10.1109/asew.2019.00019.
LibreCat
| Files available
| DOI
2019 | Conference Abstract | LibreCat-ID: 15186
Dunst, Alexander, and Rita Hartel. “Quantifying Complexity in Multimodal Media: AlanMoore and the ‘Density’ of the Graphic Novel.” Digital Humanities, DH 2019, 2019.
LibreCat