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.

4999 Publications


2018 | Journal Article | LibreCat-ID: 11990
Guest Editorial: Introduction to the Special Issue on Advances in Smart and Green Transportation for Smart Cities
S. Djahel, C. Sommer, A. Marconi, IEEE Transactions on Intelligent Transportation Systems (2018) 2152–2155.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 12020
A simulative analysis of the performance of IEEE 802.11p and ARIB STD-T109
J. Heinovski, F. Klingler, F. Dressler, C. Sommer, Computer Communications (2018) 84–92.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 15081
RECUT: RE-Compressing partially Unordered Trees
S. Böttcher, R. Hartel, in: 2018 IEEE International Conference on Big Data (Big Data), 2018, pp. 3996–4005.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 15586
Are children perceiving robots as supporting or replacing humans?: first empirical results and classification of preconceptions within a theoretical framework
K. Müller, C. Schulte, in: Proceedings of the 13th Workshop in Primary and Secondary Computing Education, WiPSCE 2018, Potsdam, Germany, October 04-06, 2018, 2018, pp. 10:1-10:4.
LibreCat | DOI
 

2018 | Preprint | LibreCat-ID: 16293 LibreCat | Download (ext.)
 

2018 | Book Chapter | LibreCat-ID: 16938
Gerechtigkeit in flexiblen Arbeits- und Managementprozessen
G. Engels, G.W. Maier, S.K. Ötting, E. Steffen, A. Teetz, in: S. Wischmann, E.A. Hartmann (Eds.), Zukunft Der Arbeit – Eine Praxisnahe Betrachtung, Springer Verlag, Berlin, Heidelberg, 2018, pp. 221–231.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 1796
On the runtime of universal coating for programmable matter
J. J. Daymude, Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler, T.F. Strothmann, Natural Computing (2018) 81--96.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 3153
Causal Linearizability: Compositionality for Partially Ordered Executions
S. Doherty, J. Derrick, B. Dongol, H. Wehrheim, CoRR (2018).
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 2667 LibreCat | Files available | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 2472
Distributed Placement of Virtualized Control Applications in Mobile Backhaul Networks
S. Auroux, H. Karl, in: Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018.
LibreCat | Files available | DOI
 

2018 | Conference Paper | LibreCat-ID: 2484
Fully-Dynamic Bin Packing with Little Repacking
B. Feldkord, M. Feldotto, A. Gupta, G. Guruganesh, A. Kumar, S. Riechers, D. Wajc, in: I. Chatzigiannakis, C. Kaklamanis, D. Marx, D. Sannella (Eds.), 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2018, pp. 51:1-51:24.
LibreCat | Files available | DOI | arXiv
 

2018 | Conference Paper | LibreCat-ID: 2857
Programmatic Task Network Planning
F. Mohr, T. Lettmann, E. Hüllermeier, M.D. Wever, in: Proceedings of the 1st ICAPS Workshop on Hierarchical Planning, AAAI, 2018, pp. 31–39.
LibreCat | Files available | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 2965
Cloud Architectures for Searchable Encryption
J. Blömer, N. Löken, in: Proceedings of the 13th International Conference on Availability, Reliability and Security, ARES 2018, ACM, New York, NY, USA, n.d., pp. 25:1--25:10.
LibreCat | Files available | DOI
 

2018 | Conference (Editor) | LibreCat-ID: 3874
Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures
C. Scheideler, J.T. Fineman, eds., Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures, ACM, 2018.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 3362
Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes
A. Lösch, A. Wiens, M. Platzner, in: Proceedings of the International Conference on Architecture of Computing Systems (ARCS), Springer International Publishing, Cham, 2018, pp. 73–84.
LibreCat | Files available | DOI
 

2018 | Conference Paper | LibreCat-ID: 3552
Reduction Stumps for Multi-Class Classification
F. Mohr, M.D. Wever, E. Hüllermeier, in: Proceedings of the Symposium on Intelligent Data Analysis, ‘s-Hertogenbosch, the Netherlands, n.d.
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 3588
Solving Maxwell's Equations with Modern C++ and SYCL: A Case Study
A. Afzal, C. Schmitt, S. Alhaddad, Y. Grynko, J. Teich, J. Förstner, F. Hannig, in: Proceedings of the 29th Annual IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP), 2018, pp. 49–56.
LibreCat | Files available | DOI
 

2018 | Conference Paper | LibreCat-ID: 4411
A Self-Stabilizing Hashed Patricia Trie
T. Knollmann, C. Scheideler, in: T. Izumi, P. Kuznetsov (Eds.), Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Springer, Cham, 2018.
LibreCat | Files available | DOI | arXiv
 

2018 | Conference Paper | LibreCat-ID: 4579
Oblique Semi-Guided Waves: 2-D Integrated Photonics with Negative Effective Permittivity
M. Hammer, L. Ebers, A. Hildebrandt, S. Alhaddad, J. Förstner, in: 2018 IEEE 17th International Conference on Mathematical Methods in Electromagnetic Theory (MMET), IEEE, 2018.
LibreCat | Files available | DOI
 

2018 | Conference Paper | LibreCat-ID: 4581
Application of the Discontinuous Galerkin Time Domain Method in Nonlinear Nanoplasmonics
Y. Grynko, J. Förstner, in: 2018 IEEE 17th International Conference on Mathematical Methods in Electromagnetic Theory (MMET), IEEE, 2018.
LibreCat | Files available | DOI
 

2018 | Bachelorsthesis | LibreCat-ID: 5426
Implementierung und Analyse von Searchable Encryption
O. von Heißen, Implementierung und Analyse von Searchable Encryption, 2018.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 5438
Practical and Tightly-Secure Digital Signatures and Authenticated Key Exchange
K. Gjøsteen, T. Jager, in: Advances in Cryptology - CRYPTO 2018 - 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2018, Proceedings, Part II, 2018.
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 5469
Simulation leitungsgeführter Störspannungen von DC-DC-Wandlern
T. Baumgarten, P. Scholz, D. Sievers, J. Förstner, in: H. Garbe (Ed.), Elektromagnetische Verträglichkeit - Internationale Fachmesse Und Kongress 2018, 2018, p. 47.
LibreCat
 

2018 | Journal Article | LibreCat-ID: 5736
Test Case Migration: A Reference Process Model and its Instantiation in an Industrial Context
I. Jovanovikj, E. Yigitbas, S. Sauer, Joint Proceedings of the Workshops at Modellierung 2018 Co-Located with Modellierung 2018, Braunschweig, Germany, February 21, 2018. (2018) 153–162.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 5774
Information Flow Certificates
M. Töws, H. Wehrheim, in: Theoretical Aspects of Computing – ICTAC 2018, Springer International Publishing, Cham, 2018, pp. 435–454.
LibreCat | Files available | DOI
 

2018 | Working Paper | LibreCat-ID: 5820
Provably Anonymous Communication Based on Trusted Execution Environments
J. Blömer, J. Bobolz, C. Scheideler, A. Setzer, Provably Anonymous Communication Based on Trusted Execution Environments, n.d.
LibreCat | Files available
 

2018 | Book Chapter | LibreCat-ID: 6253
Assist Users to Straightaway Suggest and Describe Experienced Problems
B. Senft, H.G. Fischer, S. Oberthür, N. Patkar, in: Design, User Experience, and Usability: Theory and Practice, Springer International Publishing, Cham, 2018, pp. 758–770.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 6525 LibreCat
 

2018 | Conference Paper | LibreCat-ID: 6568
Acoustic material characterization of prestressed, plate-shaped specimens
S. Johannesmann, T. Brockschmidt, F. Rump, M. Webersen, L. Claes, B. Henning, in: Sensoren Und Messsysteme, VDE Verlag GmbH, 2018, pp. 231–234.
LibreCat
 

2018 | Journal Article | LibreCat-ID: 6481
Photovoltaic yield prediction using an irradiance forecast model based on multiple neural networks
S.P. DURRANI, S. BALLUFF, L. WURZER, S. Krauter, Journal of Modern Power Systems and Clean Energy 6 (2018) 255–267.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 6967
Model-integrating development of software systems: a flexible component-based approach
M. Derakhshanmanesh, J. Ebert, M. Grieger, G. Engels, Software & Systems Modeling (2018) 1–30.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 6974
A Fully Integrated Multi-Platform NFV SDK
S.B. Schneider, M. Peuster, W. Tavernier, H. Karl, in: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018), IEEE, 2018.
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Journal Article | LibreCat-ID: 6828
Mechanized proofs of opacity: a comparison of two techniques
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, O. Travkin, H. Wehrheim, Formal Asp. Comput. 30 (2018) 597–625.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 6859
MARVELO - A Framework for Signal Processing in Wireless Acoustic Sensor Networks
H. Afifi, J. Schmalenstroeer, J. Ullmann, R. Haeb-Umbach, H. Karl, in: Speech Communication; 13th ITG-Symposium, 2018, pp. 1–5.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 8160
The Complexity of Simulating Local Measurements on Quantum Systems
S. Gharibian, J. Yirka, in: M. Wilde (Ed.), 12th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2017), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2018, pp. 2:1-2:17.
LibreCat | DOI | Download (ext.) | arXiv
 

2018 | Book Chapter | LibreCat-ID: 8754
Set-Oriented Multiobjective Optimal Control of PDEs Using Proper Orthogonal Decomposition
D. Beermann, M. Dellnitz, S. Peitz, S. Volkwein, in: Reduced-Order Modeling (ROM) for Simulation and Optimization, Cham, 2018, pp. 47–72.
LibreCat | DOI
 

2018 | Book Chapter | LibreCat-ID: 8569
Verbundprojekt WiGeMath: Wirkung und Gelingensbedingungen von Unterstützungsmaßnahmen für mathematikbezogenes Lernen in der Studieneingangsphase
R. Biehler, R. Hochmuth, N. Schaper, C. Kuklinski, E. Lankeit, E. Leis, M. Liebendörfer, M. Schürmann, in: A. Hanft, F. Bischoff, S. Kretschmer (Eds.), 3. Auswertungsworkshop Der Begleitforschung. Dokumentation Der Projektbeiträge., Carl von Ossietzky Universität Oldenburg, Oldenburg, 2018, pp. 32–41.
LibreCat
 

2018 | Journal Article | LibreCat-ID: 8571
Minisymposium CAS in der Hochschullehre - ein Blick in die Praxis
A. Frühbis-Krüger, M. Liebendörfer, Computeralgebra-Rundbrief (2018).
LibreCat
 

2018 | Book | LibreCat-ID: 8576
Motivationsentwicklung im Mathematikstudium
M. Liebendörfer, Motivationsentwicklung Im Mathematikstudium, Springer Fachmedien Wiesbaden, Wiesbaden, 2018.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 9606
How to build time-lock encryption
J. Liu, T. Jager, S. Kakvi, B. Warinschi, Designs, Codes and Cryptography (2018) 2549–2586.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 14886
We Like, We Post: A Joint User-Post Approach for Facebook Post Stance Labeling
W.-F. Chen, L.-W. Ku, IEEE Transactions on Knowledge and Data Engineering 30 (2018) 2013–2023.
LibreCat | Download (ext.)
 

2018 | Journal Article | LibreCat-ID: 19937
Symplectic integration of boundary value problems
R.I. McLachlan, C. Offen, Numerical Algorithms (2018) 1219–1233.
LibreCat | DOI | Download (ext.)
 

2018 | Misc | LibreCat-ID: 6594
Additiv gefertigte, akustische Diffusor-Strukturen für Ultraschallanwendungen
L. Claes, H. Zeipert, P. Koppa, T. Tröster, B. Henning, Additiv Gefertigte, Akustische Diffusor-Strukturen Für Ultraschallanwendungen, 2018.
LibreCat
 

2018 | Bachelorsthesis | LibreCat-ID: 5368
Monotone Suchbarkeit bei den selbststabilisierenden Protokollen Build-List und Build-Multilist mit systemverlassenden Knoten
M. Jochmaring, Monotone Suchbarkeit Bei Den Selbststabilisierenden Protokollen Build-List Und Build-Multilist Mit Systemverlassenden Knoten, Universität Paderborn, 2018.
LibreCat
 

2018 | Bachelorsthesis | LibreCat-ID: 18030
Monotone Suchbarkeit bei den selbststabilisierenden Protokollen Build-List und Build-Multilist mit systemverlassenden Knoten
N. N., Monotone Suchbarkeit Bei Den Selbststabilisierenden Protokollen Build-List Und Build-Multilist Mit Systemverlassenden Knoten, Universität Paderborn, 2018.
LibreCat
 

2018 | Mastersthesis | LibreCat-ID: 5414
Study Effects of Approximation on Conjugate Gradient Algorithm and Accelerate it on FPGA Platform
T. Filmwala, Study Effects of Approximation on Conjugate Gradient Algorithm and Accelerate It on FPGA Platform, Universität Paderborn, 2018.
LibreCat
 

2018 | Mastersthesis | LibreCat-ID: 5421
Programmable Programs? - Designing FPGA Overlay Architectures with OpenCL
O. Gadewar, Programmable Programs? - Designing FPGA Overlay Architectures with OpenCL, Universität Paderborn, 2018.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 10145
Learning to Rank Based on Analogical Reasoning
M. Ahmadi Fahandar, E. Hüllermeier, in: Proc. 32 Nd AAAI Conference on Artificial Intelligence (AAAI), 2018, pp. 2951–2958.
LibreCat
 

2018 | Book Chapter | LibreCat-ID: 10152
Learning interpretable rules for multi-label classification
E.L. Mencia, J. Fürnkranz, E. Hüllermeier, M. Rapp, in: H. Jair Escalante, S. Escalera, I. Guyon, X. Baro, Y. Güclüütürk, U. Güclü, M.A.J. van Gerven (Eds.), Explainable and Interpretable Models in Computer Vision and Machine Learning, Springer, 2018, pp. 81–113.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 10575
Extending Aging Monitors for Early Life and Wear-Out Failure Prevention
C. Liu, E. Schneider, M. Kampmann, S. Hellebrand, H.-J. Wunderlich, in: 2018 IEEE 27th Asian Test Symposium (ATS), 2018.
LibreCat | DOI
 

2018 | Bachelorsthesis | LibreCat-ID: 1045
Interactive Data Visualization for Exploded Supergraphs
J.N. Strüwer, Interactive Data Visualization for Exploded Supergraphs, Universität Paderborn, 2018.
LibreCat | Files available
 

2018 | Preprint | LibreCat-ID: 1165
Making the Case for Proof-carrying Approximate Circuits
L.M. Witschen, T. Wiersema, M. Platzner, 4th Workshop On Approximate Computing (WAPCO 2018) (2018).
LibreCat | Files available
 

2018 | Conference Paper | LibreCat-ID: 11838
Efficient Sampling Rate Offset Compensation - An Overlap-Save Based Approach
J. Schmalenstroeer, R. Haeb-Umbach, in: 26th European Signal Processing Conference (EUSIPCO 2018), 2018.
LibreCat | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 12898
Deep Attractor Networks for Speaker Re-Identifikation and Blind Source Separation
L. Drude, T. von Neumann, R. Haeb-Umbach, in: ICASSP 2018, Calgary, Canada, 2018.
LibreCat | Files available | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 12901
Exploring Practical Aspects of Neural Mask-Based Beamforming for Far-Field Speech Recognition
C. Boeddeker, H. Erdogan, T. Yoshioka, R. Haeb-Umbach, in: ICASSP 2018, Calgary, Canada, 2018.
LibreCat | Files available | Download (ext.)
 

2018 | Journal Article | LibreCat-ID: 12007 LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 12033
The Impact of Head of Line Blocking in Highly Dynamic WLANs
F. Klingler, F. Dressler, C. Sommer, IEEE Transactions on Vehicular Technology (2018) 7664–7676.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 1204
Automated Code Acceleration Targeting Heterogeneous OpenCL Devices
H. Riebler, G.F. Vaz, T. Kenter, C. Plessl, in: Proc. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), ACM, 2018.
LibreCat | Files available | DOI
 

2018 | Conference Paper | LibreCat-ID: 12040
On the need for coordinated access control for vehicular visible light communication
A. Memedi, C. Sommer, F. Dressler, in: 2018 14th Annual Conference on Wireless On-Demand Network Systems and Services (WONS), 2018.
LibreCat | DOI
 

2018 | Conference Abstract | LibreCat-ID: 1379
Supporting the Cognitive Process in Annotation Tasks
N. Seemann, M. Geierhos, M.-L. Merten, D. Tophinke, M.D. Wever, E. Hüllermeier, in: K. Eckart, D. Schlechtweg (Eds.), Postersession Computerlinguistik der 40. Jahrestagung der Deutschen Gesellschaft für Sprachwissenschaft, 2018.
LibreCat | Files available | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 15587
The computing repair cafe: a concept for repair cafes in computing edcuation
C. Schulte, J. Krüger, A. Gödecke, A.-K. Schmidt, in: Proceedings of the 13th Workshop in Primary and Secondary Computing Education, WiPSCE 2018, Potsdam, Germany, October 04-06, 2018, 2018, pp. 24:1-24:6.
LibreCat | DOI
 

2018 | Conference Abstract | LibreCat-ID: 15183
Auf dem Weg zur Visuellen Stilometrie:Automatische Genre- und Autorunterscheidung in graphischen Narrativen
A. Dunst, R. Hartel, in: DHd Konferenz 2018, Kritik Der Digitalen Vernunft, DHd 2018, 2018.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 15082
Automated Genre and Author Distinction in Comics: Towards a Stylometry for Visual Narrative
A. Dunst, R. Hartel, in: Digital Humanities 2018: Book of Abstracts/Libro de Resúmenes, Red de Humanidades Digitales AC, 2018, pp. 184–187.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 1588
OpenCL-based FPGA Design to Accelerate the Nodal Discontinuous Galerkin Method for Unstructured Meshes
T. Kenter, G. Mahale, S. Alhaddad, Y. Grynko, C. Schmitt, A. Afzal, F. Hannig, J. Förstner, C. Plessl, in: Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM), IEEE, 2018.
LibreCat | Files available | DOI
 

2018 | Conference Paper | LibreCat-ID: 1590
A Massively Parallel Algorithm for the Approximate Calculation of Inverse p-th Roots of Large Sparse Matrices
M. Lass, S. Mohr, H. Wiebeler, T. Kühne, C. Plessl, in: Proc. Platform for Advanced Scientific Computing (PASC) Conference, ACM, New York, NY, USA, 2018.
LibreCat | DOI | arXiv
 

2018 | Journal Article | LibreCat-ID: 16713
Improved Neural Control of Movements Manifests in Expertise-Related Differences in Force Output and Brain Network Dynamics
C. Gölz, C. Voelcker-Rehage, K. Mora, E.-M. Reuter, B. Godde, M. Dellnitz, C. Reinsberger, S. Vieluf, Frontiers in Physiology (2018).
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 2480
Generating Resource and Performance Models for Service Function Chains: The Video Streaming Case
S. Dräxler, M. Peuster, M. Illian, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), IEEE, 2018, pp. 318--322.
LibreCat | Files available | DOI
 

2018 | Conference Paper | LibreCat-ID: 2485
Online Facility Location with Mobile Facilities
B. Feldkord, F. Meyer auf der Heide, in: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM, 2018, pp. 373–381.
LibreCat | Files available | DOI
 

2018 | Bachelorsthesis | LibreCat-ID: 3851
Congestion Games mit gewichteten Strategien
S. Koop, Congestion Games mit gewichteten Strategien, Universität Paderborn, 2018.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 3414
JMCTest: Automatically Testing Inter-Method Contracts in Java
P. Börding, J.F. Haltermann, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), Springer, 2018, pp. 39--55.
LibreCat | Files available
 

2018 | Journal Article | LibreCat-ID: 3510
ML-Plan: Automated Machine Learning via Hierarchical Planning
F. Mohr, M.D. Wever, E. Hüllermeier, Machine Learning (2018) 1495–1515.
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Bachelorsthesis | LibreCat-ID: 3320
Korrektheitsbeweise für Muster von Servicekompositionen
K. Rautenberg, Korrektheitsbeweise für Muster von Servicekompositionen, Universität Paderborn, 2018.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 3217
DeepCAS: A Deep Reinforcement Learning Algorithm for Control-Aware Scheduling
B. Demirel, A. Ramaswamy, D. Quevedo, H. Karl, in: 2018.
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 4563
Competitive Routing in Hybrid Communication Networks
D. Jung, C. Kolb, C. Scheideler, J. Sundermeier, in: Proceedings of the 14th International Symposium on Algorithms and Experiments for Wireless Networks (ALGOSENSORS) , Springer, 2018.
LibreCat | Files available
 

2018 | Conference Paper | LibreCat-ID: 4575
Tuning Stochastic Space Compaction to Faster-than-at-Speed Test
A. Sprenger, S. Hellebrand, in: 2018 IEEE 21st International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), IEEE, Budapest, 2018.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 5737
Bidirectional Method Patterns for Language Editor Migration
E. Yigitbas, A. Anjorin, E. Leblebici, M. Grieger, in: Modelling Foundations and Applications - 14th European Conference, {ECMFA} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 26-28, 2018, Proceedings, 2018, pp. 97–114.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 5530
Patterns of Store-oriented Software Ecosystems: Detection, Classification, and Analysis of Design Options
B. Jazayeri, O. Zimmermann, J. Küster, G. Engels, D. Kundisch, D. Szopinski, in: The Latin American Conference on Pattern Languages of Programs (SLPLoP), ACM. To appear, Valparaíso, Chile, 2018.
LibreCat | Files available
 

2018 | Conference Paper | LibreCat-ID: 5547
A Highly Accurate Energy Model for Task Execution on Heterogeneous Compute Nodes
A. Lösch, M. Platzner, in: 2018 IEEE 29th International Conference on Application-Specific Systems, Architectures and Processors (ASAP), IEEE, 2018.
LibreCat | Files available | DOI
 

2018 | Journal Article | LibreCat-ID: 5984
Preface
C. Scheideler, Theor. Comput. Sci. 751 (2018) 1.
LibreCat | Files available | DOI
 

2018 | Journal Article | LibreCat-ID: 6571
Optimization of triple-ring electrodes on piezoceramic transducers using algorithmic differentiation
B. Jurgelucks, L. Claes, A. Walther, B. Henning, Optimization Methods and Software (2018) 1–21.
LibreCat | DOI
 

2018 | Book Chapter | LibreCat-ID: 6254
A Canvas Method to Foster Interdisciplinary Discussions on Digital Assistance Systems
H.G. Fischer, B. Senft, F. Rittmeier, S. Sauer, in: A. Marcus, W. Wang (Eds.), Design, User Experience, and Usability: Theory and Practice. Proceedings of the 20th International Conference on Human-Computer Interaktion (HCI International 2018), Springer International Publishing, Cham, 2018, pp. 711–724.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 6761
Context-specific Quality Evaluation of Test Cases
I. Jovanovikj, V. Narasimhan, G. Engels, S. Sauer, in: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, SciTePress, 2018, pp. 594–601.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 6970
Trade-offs in Dynamic Resource Allocation in Network Function Virtualization
S.B. Schneider, S. Dräxler, H. Karl, in: IEEE Global Communications Conference (GLOBECOM 2018), IEEE, 2018.
LibreCat | Files available
 

2018 | Conference Paper | LibreCat-ID: 6836
Making Linearizability Compositional for Partially Ordered Executions
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 8161
Quantum Generalizations of the Polynomial Hierarchy with Applications to QMA(2)
S. Gharibian, M. Santha, J. Sikora, A. Sundaram, J. Yirka, in: I. Potapov, P. Spirakis, J. Worrell (Eds.), 43rd International Symposium on Mathematical Foundations  of Computer Science (MFCS 2018), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2018, pp. 58:1-58:16.
LibreCat | DOI | Download (ext.) | arXiv
 

2018 | Book Chapter | LibreCat-ID: 8572
CAS in der Hochschullehre - Ein Blick in die Praxis
A. Frühbis-Krüger, G. Kemper, W. Koepf, M. Liebendörfer, in: Beiträge Zum Mathematikunterricht 2018, WTM-Verlag, Münster, 2018, pp. 83–84.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 8750
A Descent Method for Equality and Inequality Constrained Multiobjective Optimization Problems
B. Gebken, S. Peitz, M. Dellnitz, in: Numerical and Evolutionary Optimization – NEO 2017, Cham, 2018.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 8755
Tensor-based dynamic mode decomposition
S. Klus, P. Gelß, S. Peitz, C. Schütte, Nonlinearity 31 (2018) 3359–3380.
LibreCat | DOI
 

2018 | Misc | LibreCat-ID: 8844
Presentation: Who Guards the Guards? On the Validation of Test Case Migration
I. Jovanovikj, B. Güldali, Presentation: Who Guards the Guards? On the Validation of Test Case Migration, User Conference on Advanced Automated Testing (UCAAT 2018), Paris, 2018.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 3806
Before Name-Calling: Dynamics and Triggers of Ad Hominem Fallacies in Web Argumentation
I. Habernal, H. Wachsmuth, I. Gurevych, B. Stein, in: Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers), 2018, pp. 386–396.
LibreCat | Download (ext.)
 

2018 | Journal Article | LibreCat-ID: 14887
Application of Sentiment Analysis to Language Learning
M.-H. Chen, W.-F. Chen, L.-W. Ku, IEEE Access 6 (2018) 24433–24442.
LibreCat | Download (ext.)
 

2018 | Bachelorsthesis | LibreCat-ID: 18031
Gathering Strategien für mobile Roboterschwärme im Gitternetz
N. N., Gathering Strategien Für Mobile Roboterschwärme Im Gitternetz, 2018.
LibreCat
 

2018 | Dissertation | LibreCat-ID: 1209
Local Strategies for Swarm Formations on a Grid
D. Jung, Local Strategies for Swarm Formations on a Grid, Universität Paderborn, 2018.
LibreCat | Files available | DOI
 

2018 | Conference Paper | LibreCat-ID: 11876
The RWTH/UPB System Combination for the CHiME 2018 Workshop
M. Kitza, W. Michel, C. Boeddeker, J. Heitkaemper, T. Menne, R. Schlüter, H. Ney, J. Schmalenstroeer, L. Drude, J. Heymann, R. Haeb-Umbach, in: Proc. CHiME 2018 Workshop on Speech Processing in Everyday Environments, Hyderabad, India, 2018.
LibreCat | Download (ext.)
 

2018 | Preprint | LibreCat-ID: 19940 LibreCat | Download (ext.)
 

2018 | Misc | LibreCat-ID: 6595
Vollständige Charakterisierung von piezoelektrischen Scheiben mit Ringelektroden
N. Feldmann, B. Jurgelucks, L. Claes, B. Henning, Vollständige Charakterisierung von Piezoelektrischen Scheiben Mit Ringelektroden, 2018.
LibreCat
 

2018 | Bachelorsthesis | LibreCat-ID: 5693
Ranking of Classification Algorithms in AutoML
H. Graf, Ranking of Classification Algorithms in AutoML, Universität Paderborn, 2018.
LibreCat
 

2018 | Bachelorsthesis | LibreCat-ID: 5403
Mobile Facility Leasing
M. Geromel, Mobile Facility Leasing, Universität Paderborn, 2018.
LibreCat
 

2018 | Journal Article | LibreCat-ID: 3402 LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 105
Distributed Monitoring of Network Properties: The Power of Hybrid Networks
R. Gmyr, K. Hinnenthal, C. Scheideler, C. Sohler, in: Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP), 2017, pp. 137:1--137:15.
LibreCat | Files available | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Export / Embed