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.

10484 Publications


2017 | Conference Paper | LibreCat-ID: 6641
Introduction of an Advanced Method for Testing of Battery Charge Controllers for Off-Grid PV Systems
A. Khatibi, J. Bendfeld, W. Bermpohl, S. Krauter, in: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, Amsterdam, 2017.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 6642
Testing and Analysis of Battery Charge Controllers for Off-Grid PV Systems
A. Khatibi, J. Bendfeld, W. Bermpohl, S. Krauter, in: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, Amsterdam, 2017.
LibreCat
 

2017 | Bachelorsthesis | LibreCat-ID: 67
Provably Secure Key-Derivation-Functions for Certain Types of Applications
M. Jürgens, Provably Secure Key-Derivation-Functions for Certain Types of Applications, Universität Paderborn, 2017.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 6725
A Characterization for Decidable Separability by Piecewise Testable Languages
W. Czerwinski, W. Martens, L. van Rooijen, M. Zeitoun, G. Zetzsche, Discrete Mathematics & Theoretical Computer Science 19 (2017).
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 6737
Visual Requirements Modeling for Cross-Device Systems
D. Wolters, C. Gerth, G. Engels, Computer Science and Information Systems (ComSIS) 14 (2017) 517–536.
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 6764
Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases
I. Jovanovikj, S. Sauer, Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF) 37 (2017) 50–51.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 68
Proof-Carrying Hardware via Inductive Invariants
T. Isenberg, M. Platzner, H. Wehrheim, T. Wiersema, ACM Transactions on Design Automation of Electronic Systems (2017) 61:1--61:23.
LibreCat | Files available | DOI
 

2017 | Journal Article | LibreCat-ID: 680 | OA
Directional Emission from Dielectric Leaky-Wave Nanoantennas
M. Peter, A. Hildebrandt, C. Schlickriede, K. Gharib, T. Zentgraf, J. Förstner, S. Linden, Nano Letters 17 (2017) 4178–4183.
LibreCat | Files available | DOI
 

2017 | Dissertation | LibreCat-ID: 685
On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring
M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring, Universität Paderborn, 2017.
LibreCat | Files available | DOI
 

2017 | Journal Article | LibreCat-ID: 69
Programs from Proofs: A Framework for the Safe Execution of Untrusted Software
M.-C. Jakobs, H. Wehrheim, ACM Transactions on Programming Languages and Systems (2017) 7:1-7:56.
LibreCat | Files available | DOI
 

2017 | Bachelorsthesis | LibreCat-ID: 695
On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen
J. Nowack, On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen, Universität Paderborn, 2017.
LibreCat
 

2017 | Book | LibreCat-ID: 16444
Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)
J. Gausemeier, E. Bodden, F. Dressler, R. Dumitrescu, F. Meyer auf der Heide, C. Scheytt, A. Trächtler, Wissenschaftsforum Intelligente Technische Systeme (WInTeSys), Paderborn, 2017.
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 16461
Monitoring of Domain-Related Problems in Distributed Data Streams
P. Bemmann, F. Biermeier, J. Bürmann, A. Kemper, T. Knollmann, S. Knorr, N. Kothe, A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, J.S. Schaefer, J. Sundermeier, in: Structural Information and Communication Complexity, Cham, 2017.
LibreCat | DOI | arXiv
 

2017 | Journal Article | LibreCat-ID: 16540
Sensing and control in symmetric networks
M. Dellnitz, S. Klus, Dynamical Systems (2017) 61–79.
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 16581
A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty
M. Dellnitz, S. Klus, A. Ziessler, SIAM Journal on Applied Dynamical Systems (2017) 120–138.
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 16657
A Multiobjective MPC Approach for Autonomously Driven Electric Vehicles * *This research was funded by the German Federal Ministry of Education and Research (BMBF) within the Leading-Edge Cluster Intelligent Technical Systems OstWestfalenLippe (it’s OWL).
S. Peitz, K. Schäfer, S. Ober-Blöbaum, J. Eckstein, U. Köhler, M. Dellnitz, IFAC-PapersOnLine (2017) 8674–8679.
LibreCat | DOI
 

2017 | Bachelorsthesis | LibreCat-ID: 104
EAX - An Authenticated Encryption Mode for Block Ciphers
D. Diemert, EAX - An Authenticated Encryption Mode for Block Ciphers, Universität Paderborn, 2017.
LibreCat
 

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
 

2017 | Encyclopedia Article | LibreCat-ID: 10589
Preference Learning
J. Fürnkranz, E. Hüllermeier, in: Encyclopedia of Machine Learning and Data Mining, 2017, pp. 1000–1005.
LibreCat
 

2017 | Dissertation | LibreCat-ID: 10594 | OA
Exploiting structure in multiobjective optimization and optimal control
S. Peitz,   Exploiting Structure in Multiobjective Optimization and Optimal Control, 2017.
LibreCat | Files available | DOI | Download (ext.)
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Export / Embed