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.

5349 Publications


2019 | Journal Article | LibreCat-ID: 15250
Numerical Investigation of the Temperature Distribution in PCM-integrated Solar Modules
M. Grabo, D. Weber, A. Paul, T. Klaus, W. Bermpohl, S. Krauter, E. Kenig, Chemical Engineering Transactions (2019) 895–900.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 14822
A Study on Online Source Extraction in the Presence of Changing Speaker Positions
J. Heitkaemper, T. Feher, M. Freitag, R. Haeb-Umbach, in: International Conference on Statistical Language and Speech Processing 2019, Ljubljana, Slovenia, 2019.
LibreCat | Files available
 

2019 | Preprint | LibreCat-ID: 16296
ROM-based multiobjective optimization of elliptic PDEs via numerical continuation
S. Banholzer, B. Gebken, M. Dellnitz, S. Peitz, S. Volkwein, ArXiv:1906.09075 (2019).
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 15921
Ranking on Very Large Knowledge Graphs
A.A. Desouki, M. Röder, A.-C. Ngonga Ngomo, in: Proceedings of the 30th ACM Conference on Hypertext and Social Media  - HT ’19, ACM, 2019, pp. 163–171.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 16361
Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode
H.G. Fischer, F. Rittmeier, T.F. Strothmann, N. Schwenniger, in: C.K. Bosse, K.J. Zink (Eds.), Arbeit 4.0 im Mittelstand, Springer Gabler, Berlin, Heidelberg, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 16215
Verifying Correctness of Persistent Concurrent Data Structures
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, H. Wehrheim, in: M. H. ter Beek, A. McIver, J. N. Oliveira (Eds.), Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, Springer, 2019, pp. 179–195.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 8113
Joint testing and profiling of microservice-based network services using TTCN-3
M. Peuster, C. Dröge, C. Boos, H. Karl, ICT Express (2019).
LibreCat | Files available | DOI | Download (ext.)
 
 

2019 | Conference Paper | LibreCat-ID: 8240
SPRING: Scaling, Placement, and Routing of Heterogeneous Services with Flexible Structures
S. Dräxler, H. Karl, in: 5th IEEE International Conference on Network Softwarization (NetSoft) 2019, n.d.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 8795
A flow handover protocol to support state migration in softwarized networks
M. Peuster, H. Küttner, H. Karl, International Journal of Network Management (2019).
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 13261
Specifying Web Interfaces for Command-line Applications Based on OpenAPI
D. Wolters, J. Kirchhoff, G. Engels, in: S. Yangui, A. Bouguettaya, X. Xue, N. Faci, W. Gaaloul, Q. Yu, Z. Zhou, N. Hernandez, E.Y. Nakagawa (Eds.), Service-Oriented Computing – ICSOC 2019 Workshops, Springer, 2019, pp. 30–41.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 7689
Transparent Acceleration for Heterogeneous Platforms with Compilation to OpenCL
H. Riebler, G.F. Vaz, T. Kenter, C. Plessl, ACM Trans. Archit. Code Optim. (TACO) 16 (2019) 14:1–14:26.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 13259
Unraveling the Search Space of Abusive Language in Wikipedia with Dynamic Lexicon Acquisition
W.-F. Chen, K. Al-Khatib, M. Hagen, H. Wachsmuth, B. Stein, in: Proceedings of the Second Workshop on Natural Language Processing for Internet Freedom, 2019, pp. 76–82.
LibreCat | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 16708
The Numerical Computation of Unstable Manifolds for Infinite Dimensional Dynamical Systems by Embedding Techniques
A. Ziessler, M. Dellnitz, R. Gerlach, SIAM Journal on Applied Dynamical Systems (2019) 1265–1292.
LibreCat | DOI
 

2019 | Dissertation | LibreCat-ID: 18975
Big Data: Sublinear Algorithms for Distributed Data Streams
M. Malatyali, Big Data: Sublinear Algorithms for Distributed Data Streams, Universität Paderborn, 2019.
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 17395
Gestaltung hybrider Wertschöpfung und Arbeit im Kontext von Smart Services
C. Koldewey, J. Reinhold, R. Dumitrescu, M. Frank, T. Schweppe, A. Melzer, ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb (2019) 380–384.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 17403
Development Process for Smart Service Strategies
C. Koldewey, H.H. Evers, R. Dumitrescu, M. Frank, J. Gausemeier, J. Reinhold, in: I. Bitran, S. Conn, C. Gernreich, M. Heber, K.R.E. Huizingh, O. Kokshagina, M. Torkkeli, M. Tynnhammar (Eds.), Proceedings of The XXX ISPIM INNOVATION CONFERENCE, ISPIM Innovation Conference, 2019.
LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 10344
Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine
S. Pukrop, Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine, Universität Paderborn, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 17667
Approaches for Collaborative Security Defences in Multi Network Environments
R. Koning, G. Polevoy, L. Meijer, C. de Laat, P. Grosso, in: 2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom), 2019, pp. 113–123.
LibreCat | DOI | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 20533
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, IEEE Transactions on Software Engineering (2019) 1–1.
LibreCat | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 20538
ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware
S. Albert Gorski Iii, B. Andow, A. Nadkarni, S. Manandhar, W. Enck, E. Bodden, A. Bartel, in: ACM Conference on Data and Application Security and Privacy (CODASPY 2019), 2019.
LibreCat | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 12908
Oblique quasi-lossless excitation of a thin silicon slab waveguide: a guided-wave variant of an anti-reflection coating
M. Hammer, L. Ebers, J. Förstner, Journal of the Optical Society of America B 36 (2019) 2395.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 20759
Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures
C. Gerking, D. Schubert, in: International Conference on Software Architecture (ICSA 2019), 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 13141
Incremental (Unidirectional) Model Transformation with eMoflon::IBeX
N. Weidmann, A. Anjorin, P. Robrecht, G. Varró, in: E. Guerra, F. Orejas (Eds.), Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, Springer, 2019, pp. 131–140.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 21524
Inductive Locating Method to Locate Miniaturized Wireless Sensors within Inhomogeneous Dielectrics
S. Lange, D. Schröder, C. Hedayat, T. Otto, U. Hilleringmann, in: 2019 17th IEEE International New Circuits and Systems Conference (NEWCAS), 2019.
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 10232
Automating Multi-Label Classification Extending ML-Plan
M.D. Wever, F. Mohr, A. Tornede, E. Hüllermeier, in: 2019.
LibreCat | Files available
 

2019 | Journal Article | LibreCat-ID: 10011
Editorial
M. Fränzle, D. Kapur, H. Wehrheim, N. Zhan, Formal Asp. Comput. 31 (2019) 1.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10042
Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN
S. Johannesmann, D. Springer, C. Thiel, B. Henning, in: D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2019, Deutsche Gesellschaft für Akustik, Rostock, 2019, pp. 1055–1058.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10092
Verifying C11 programs operationally
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: J. K. Hollingsworth, I. Keidar (Eds.), Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, {ACM}, 2019, pp. 355–365.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 10578
Choice Functions Generated by Mallows and Plackett–Luce Relations
V.K. Tagne, S. Fotso, L.A. Fono, E. Hüllermeier, New Mathematics and Natural Computation 15 (2019) 191–213.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10597
Finite-Control-Set Model Predictive Control for a Permanent Magnet Synchronous Motor Application with Online Least Squares System Identification
S. Hanke, S. Peitz, O. Wallscheid, J. Böcker, M. Dellnitz, in: 2019 IEEE International Symposium on Predictive Control of Electrical Drives and Power Electronics (PRECEDE), 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 11709
Argument Search: Assessing Argument Relevance
M. Potthast, L. Gienapp, F. Euchner, N. Heilenkötter, N. Weidmann, H. Wachsmuth, B. Stein, M. Hagen, in: 42nd International ACM Conference on Research and Development in Information Retrieval (SIGIR 2019), ACM, 2019, pp. 1117–1120.
LibreCat | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 13123
A Genetic Algorithm Framework for Solving Wireless Virtual Network Embedding
H. Afifi, K. Horbach, H. Karl, in: 2019 International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) (WiMob 2019), Barcelona, Spain, 2019.
LibreCat
 

2019 | Book Chapter | LibreCat-ID: 12043
Verkehrssimulation im Hardware-in-the-Loop-Steuergerätetest
P. Reinold, N. Meyer, D. Buse, F. Klingler, C. Sommer, F. Dressler, M. Eisenbarth, J. Andert, in: Proceedings, Wiesbaden, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 12889
A Model-based Framework for Context-aware Augmented Reality Applications
E. Yigitbas, I. Jovanovikj, S. Sauer, G. Engels, in: 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 | Patent | LibreCat-ID: 14032
Verteiltes Warenwirtschaftssystem [Distributed Warehouse System]
T. Göllner, J.-H. Schwarz, S. Gottschalk, S. Sauer, (2019).
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 13647
Quantification of frequency-dependent absorption phenomena
L. Claes, S. Johannesmann, E. Baumhögger, B. Henning, in: 2019 International Congress on Ultrasonics, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 14568
Debiasing Vandalism Detection Models at Wikidata (Extended Abstract)
S. Heindorf, Y. Scholten, G. Engels, M. Potthast, in: INFORMATIK, 2019, pp. 289–290.
LibreCat | DOI | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 14830
Self-Stabilizing Metric Graphs
R. Gmyr, J. Lefevre, C. Scheideler, Theory Comput. Syst. 63 (2019) 177–199.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15794 LibreCat | Files available
 

2019 | Bachelorsthesis | LibreCat-ID: 15819
Experimentelle Untersuchung des SEM-Algorithmus
M. Leutnant, Experimentelle Untersuchung Des SEM-Algorithmus, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 15838
Android App Merging for Benchmark Speed-Up and Analysis Lift-Up
F. Pauck, S. Zhang, in: 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2019.
LibreCat | Files available | DOI
 

2019 | Conference Abstract | LibreCat-ID: 15186 LibreCat
 

2019 | Conference Paper | LibreCat-ID: 15237
Unsupervised Learning of a Disentangled Speech Representation for Voice Conversion
T. Gburrek, T. Glarner, J. Ebbers, R. Haeb-Umbach, P. Wagner, in: Proc. 10th ISCA Speech Synthesis Workshop, 2019, pp. 81–86.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 15369
5G as Key Technology for Networked Factories: Application of Vertical-specific Network Services for Enabling Flexible Smart Manufacturing
M. Müller, D. Behnke, P.-B. Bök, M. Peuster, S.B. Schneider, H. Karl, in: IEEE 17th International Conference on Industrial Informatics (IEEE-INDIN), IEEE, Helsinki, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 15371
The Softwarised Network Data Zoo
M. Peuster, S.B. Schneider, H. Karl, in: IEEE/IFIP 15th International Conference on Network and Service Management (CNSM), IEEE/IFIP, Halifax, 2019.
LibreCat | Files available | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 15376
NFV-driven intrusion detection for smart manufacturing
D. Behnke, M. Müller, P.-B. Bök, S.B. Schneider, M. Peuster, H. Karl, in: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), IEEE, Dallas, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 15643
Developing Teaching Materials on Artificial Intelligence by Using a Simulation Game (Work in Progress)
S.A. Opel, M. Schlichtig, C. Schulte, in: WiPSCE, ACM, 2019, pp. 11:1-11:2.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 15720
Critical Incidents for Technology Enhanced Learning in Vocational Education and Training
A. Wilke, J. Magenheim, in: IEEE Global Engineering Education Conference, EDUCON 2019, Dubai, United Arab Emirates, April 8-11, 2019, 2019, pp. 892–899.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15080
How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics
R. Hartel, A. Dunst, in: International Conference on Multimedia Modeling, MMM, Springer, 2019, pp. 662–671.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15578
Program Comprehension: Identifying Learning Trajectories for Novice Programmers
C. Izu, C. Schulte, A. Aggarwal, Q. I. Cutts, R. Duran, M. Gutica, B. Heinemann, E. Kraemer, V. Lonati, C. Mirolo, R. Weeda, in: Proceedings of the 2019 (ACM) Conference on Innovation and Technology in Computer Science Education, Aberdeen, Scotland, UK, July 15-17, 2019, 2019, pp. 261–262.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 15004
Feature Selection for Analogy-Based Learning to Rank
M. Ahmadi Fahandar, E. Hüllermeier, in: Discovery Science, Cham, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15009
Influence of Cruise Control on Driver Guidance - a Comparison between System Generations and Countries
N. Epple, S. Dari, L. Drees, V. Protschky, A. Riener, in: 2019 IEEE Intelligent Vehicles Symposium (IV), 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15422
Optimization of Application-specific L1 Cache Translation Functions of the LEON3 Processor
N. Ho, P. Kaufmann, M. Platzner, in: World Congress on Nature and Biologically Inspired Computing (NaBIC), Springer, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 14897
SootDiff: bytecode comparison across different Java compilers
A. Dann, B. Hermann, E. Bodden, in: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019, 2019.
LibreCat | DOI | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 16216
Editorial
A. Russo, A. Schürr, H. Wehrheim, Formal Asp. Comput. 31 (2019) 457–458.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 16709
Continuous relaxations for the traveling salesman problem
T. Sahai, A. Ziessler, S. Klus, M. Dellnitz, Nonlinear Dynamics (2019).
LibreCat | DOI
 

2019 | Preprint | LibreCat-ID: 16711 LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 15883
Incremental learning with Support Vector Machine on embedded platforms
S. Kumar Jeyakumar, Incremental Learning with Support Vector Machine on Embedded Platforms, 2019.
LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 15946
Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Recon􏰃gurable System-on-Chip
J. Mehta, Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Recon􏰃gurable System-on-Chip, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 16076
Evolutionary algorithm for the design of passive electric matching networks for ultrasonic transducers
T. Hetkämper, L. Claes, B. Henning, in: 2019 International Congress on Ultrasonics, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 6860
Power Allocation with a Wireless Multi-cast Aware Routing for Virtual Network Embedding
H. Afifi, H. Karl, in: 2019 16th IEEE Annual Consumer Communications & Networking Conference (CCNC2019), IEEE, Las Vegas, n.d.
LibreCat | Files available
 

2019 | Conference Paper | LibreCat-ID: 7635
Testing Machine Learning Algorithms for Balanced Data Usage
A. Sharma, H. Wehrheim, in: IEEE International Conference on Software Testing, Verification and Validation (ICST), IEEE, Xi’an, China, 2019, pp. 125--135.
LibreCat | Files available
 

2019 | Conference Paper | LibreCat-ID: 8835
Modular Construction of Context-Specific Test Case Migration Methods
I. Jovanovikj, E. Yigitbas, M. Grieger, S. Sauer, G. Engels, in: Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, SciTePress, 2019, pp. 536–543.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 8861
Consistent Runtime Adaptation of User Interfaces
A. Anjorin, E. Yigitbas, H. Kaindl, in: Proceedings of the 8th International Workshop on Bidirectional Transformations (Bx 2019), CEUR-WS.org, 2019, pp. 61–65.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 8866
Scheduling on (Un-)Related Machines with Setup Times
K. Jansen, M. Maack, A. Mäcker, in: Proceedings of the 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS), IEEE, 2019, pp. 145–154.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 8880
Towards Model-based Development of Context-aware Augmented Reality Applications
E. Yigitbas, I. Jovanovikj, S. Sauer, G. Engels, Softwaretechnik-Trends, Proceedings of the 21st Workshop Software-Reengineering & Evolution (WSRE) & 10th Workshop Design for Future (DFF) 39 (2019) 39–40.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 8638
WindCORES - Digital Transformation with Renewable Energy
E. Yigitbas, G. Schomaker, International Tube Association (ITAtube) Journal (2019).
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 9270
Putting 5G into Production: Realizing a Smart Manufacturing Vertical Scenario
S.B. Schneider, M. Peuster, D. Behnke, M. Marcel, P.-B. Bök, H. Karl, in: European Conference on Networks and Communications (EuCNC), IEEE, Valencia, Spain, 2019.
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 9275
Business Models of Store-Oriented Software Ecosystems: A Variability Modeling Approach
S. Gottschalk, F. Rittmeier, G. Engels, in: B. Shishkov (Ed.), Business Modeling and Software Design, Springer International Publishing, 2019, pp. 153–169.
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 9939
On-the-fly Usability Evaluation of Mobile Adaptive UIs through Instant User Feedback
E. Yigitbas, I. Jovanovikj, K. Josifovska, S. Sauer, G. Engels, in: Proceedings of the 17th IFIP TC.13 International Conference on Human-Computer Interaction (INTERACT 2019), Springer, LNCS, 2019, pp. 563–567.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 9718
Characterization of the linear-acoustic material behavior of fiber-reinforced composites using lamb waves
S. Johannesmann, M. Webersen, J. Düchting, L. Claes, B. Henning, in: 45th Annual Review of Progress in Quantitative Nondestructive Evaluation , 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15011
Algorithm Selection as Recommendation: From Collaborative Filtering to Dyad Ranking
A. Tornede, M.D. Wever, E. Hüllermeier, in: F. Hoffmann, E. Hüllermeier, R. Mikut (Eds.), Proceedings - 29. Workshop Computational Intelligence, Dortmund, 28. - 29. November 2019, KIT Scientific Publishing, Karlsruhe, 2019, pp. 135–146.
LibreCat | Files available
 

2019 | Journal Article | LibreCat-ID: 17339
Special issue: Selected papers of BPM 2017
J. Carmona, G. Engels, A. Kumar, M. Reichert, Information Systems (2019) 238–239.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 15814
Speech Processing for Digital Home Assistance: Combining Signal Processing With Deep-Learning Techniques
R. Haeb-Umbach, S. Watanabe, T. Nakatani, M. Bacchiani, B. Hoffmeister, M.L. Seltzer, H. Zen, M. Souden, IEEE Signal Processing Magazine 36 (2019) 111–124.
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 19450
Lektionen für Alexa & Co?!
R. Haeb-Umbach, DFG Forschung 1/2019 (2019) 12–15.
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 17391
Gestaltung hybrider Wertschöpfung und Arbeit im Kontext von Smart Services
C. Koldewey, J. Reinhold, R. Dumitrescu, M. Frank, T. Schweppe, A. Melzer, ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb (2019) 380–384.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 17404
Classification-based Planning of Smart Service Portfolios
M. Frank, M. Rabe, C. Koldewey, R. Dumitrescu, J. Gausemeier, N. Hennig-Cardinal von Widdern, J. Reinhold, in: Proceedings of the ISPIM Connects, International Society for Professional Innovation Management (ISPIM), 2019.
LibreCat
 

2019 | Bachelorsthesis | LibreCat-ID: 7628
Modeling Crypto API usages in OpenSSL's EVP library
N. Selbach, Modeling Crypto API Usages in OpenSSL’s EVP Library, Universität Paderborn, 2019.
LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 10105
Analyzing Data Usage in Array Programs
J. Haltermann, Analyzing Data Usage in Array Programs, Universität Paderborn, 2019.
LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 7623
Combining Android Apps for Analysis Purposes
S. Zhang, Combining Android Apps for Analysis Purposes, Universität Paderborn, 2019.
LibreCat
 

2019 | Dissertation | LibreCat-ID: 15333
Vandalism Detection in Crowdsourced Knowledge Bases
S. Heindorf, Vandalism Detection in Crowdsourced Knowledge Bases, Universität Paderborn, 2019.
LibreCat | Files available
 

2019 | Mastersthesis | LibreCat-ID: 13128
Rational Secure Multiparty Computation
H. Bröcher, Rational Secure Multiparty Computation, Universität Paderborn, 2019.
LibreCat | Files available
 

2019 | Dissertation | LibreCat-ID: 20522
A Systematic Analysis and Hardening of the Java Security Architecture
P. Holzinger, A Systematic Analysis and Hardening of the Java Security Architecture, Universität Paderborn, 2019.
LibreCat | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 20539
Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems
J. Späth, K. Ali, E. Bodden, Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages 3 (2019) 48:1-48:29.
LibreCat | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 20527
The Impact of Developer Experience in Using Java Cryptography
M. Hazhirpasand, M. Ghafari, S. Krüger, E. Bodden, O. Nierstrasz, in: 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), 2019, pp. 1–6.
LibreCat | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 20534
Codebase-Adaptive Detection of Security-Relevant Methods
G. Piskachev, L. Nguyen Quang Do, E. Bodden, in: ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2019.
LibreCat | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 8753
Multiobjective Optimal Control Methods for the Navier-Stokes Equations Using Reduced Order Modeling
S. Peitz, S. Ober-Blöbaum, M. Dellnitz, Acta Applicandae Mathematicae 161 (2019) 171–199.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 14025
A feature-based classification of triple graph grammar variants
N. Weidmann, R. Oppermann, P. Robrecht, in: O. Nierstrasz, J. Gray, B. Oliveira (Eds.), Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering  - SLE 2019, ACM, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13142
Incremental Bidirectional Model Transformation with eMoflon::IBeX
N. Weidmann, A. Anjorin, L. Fritsche, G. Varró, A. Schürr, E. Leblebici, in: J. Cheney, H.-S. Ko (Eds.), Proceedings of the 8th International Workshop on Bidirectional Transformations Co-Located with the Philadelphia Logic Week, Bx@PLW 2019, CEUR-WS.org, 2019, pp. 45–55.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 21462
Method of superposing a multiple driven magnetic field to minimize stray fields around the receiver for inductive wireless power transmission
S. Lange, M.-J. Büker, D. Sievers, C. Hedayat, J. Förstner, U. Hilleringmann, T. Otto, in: Smart Systems Integration; 13th International Conference and Exhibition on Integration Issues of Miniaturized Systems, VDE VERLAG GMBH, Berlin · Offenbach, 2019, pp. 1–4.
LibreCat | Files available | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 10093
Combining Verifiers in Conditional Model Checking via Reducers
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, GI, 2019, pp. 151--152.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 10586
On the Complexity of Local Graph Transformations
C. Scheideler, A. Setzer, in: Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, Dagstuhl Publishing, 2019, pp. 150:1--150:14.
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 10593
Koopman operator-based model reduction for switched-system control of PDEs
S. Peitz, S. Klus, Automatica 106 (2019) 184–191.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13143
Acoustic absorption measurement for the determination of the volume viscosity of pure fluids / Messverfahren für die akustischen Absorption zur Bestimmung der Volumenviskosität reiner Fluide
L. Claes, L.M. Hülskämper, E. Baumhögger, N. Feldmann, R.S. Chatwell, J. Vrabec, B. Henning, Tm - Technisches Messen (2019) 2–6.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 12912
Quantitative Analysis of Dynamically Provisioned Heterogeneous Network Services
H. Razzaghi Kouchaksaraei, H. Karl, in: 15th International Conference on Network and Service Management (CNSM), Halifax, Canada, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 12931
Modeling Frames in Argumentation
Y. Ajjour, M. Alshomary, H. Wachsmuth, B. Stein, in: Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and 9th International Joint Conference on Natural Language Processing, 2019, pp. 2915–2925.
LibreCat | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 12967
An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology
T. Hansmeier, M. Platzner, M.J.H. Pantho, D. Andrews, Journal of Signal Processing Systems 91 (2019) 1259–1272.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 11952
A Value-Centered Approach for Unique and Novel Software Applications
B. Senft, F. Rittmeier, H.G. Fischer, S. Oberthür, in: Design, User Experience, and Usability. Practice and Case Studies, Cham, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 12880
Sparse Adaptation of Distributed Blind Source Separation in Acoustic Sensor Networks
M. Guenther, H. Afifi, A. Brendel, H. Karl, W. Kellermann, in: 2019 IEEE Workshop on Applications of Signal Processing to Audio and Acoustics (WASPAA) (WASPAA 2019), New Paltz, USA, 2019.
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Export / Embed