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.
9812 Publications
2017 | Mastersthesis | LibreCat-ID: 700
A Self-Stabilizing Protocol for Graphs of Diameter Two
T. Knollmann, A Self-Stabilizing Protocol for Graphs of Diameter Two, Universität Paderborn, 2017.
LibreCat
T. Knollmann, A Self-Stabilizing Protocol for Graphs of Diameter Two, Universität Paderborn, 2017.
2017 | Mastersthesis | LibreCat-ID: 701
Self-Stabilizing Spanners for Tree Metrics
T. Götte, Self-Stabilizing Spanners for Tree Metrics, Universität Paderborn, 2017.
LibreCat
T. Götte, Self-Stabilizing Spanners for Tree Metrics, Universität Paderborn, 2017.
2017 | Journal Article | LibreCat-ID: 7011
Deep Learning Assisted Heuristic Tree Search for the Container Pre-marshalling Problem
A. Hottung, S. Tanaka, K. Tierney, CoRR Abs/1709.09972 (2017).
LibreCat
A. Hottung, S. Tanaka, K. Tierney, CoRR Abs/1709.09972 (2017).
2017 | Journal Article | LibreCat-ID: 7012
Towards DevOps in Multi-provider Projects
M. Fazal-Baqaie, B. Güldali, S. Oberthür, CSE@SE 2017 (2017) 18–21.
LibreCat
M. Fazal-Baqaie, B. Güldali, S. Oberthür, CSE@SE 2017 (2017) 18–21.
2017 | Dissertation | LibreCat-ID: 703
Local Algorithms for the Continuous Gathering Problem
P. Podlipyan, Local Algorithms for the Continuous Gathering Problem, Universität Paderborn, 2017.
LibreCat
| Files available
| DOI
P. Podlipyan, Local Algorithms for the Continuous Gathering Problem, Universität Paderborn, 2017.
2017 | Dissertation | LibreCat-ID: 704
Scheduling with Scarce Resources
S. Riechers, Scheduling with Scarce Resources, Universität Paderborn, 2017.
LibreCat
| Files available
| DOI
S. Riechers, Scheduling with Scarce Resources, Universität Paderborn, 2017.
2017 | Journal Article | LibreCat-ID: 706
Cost-efficient Scheduling on Machines from the Cloud
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, Journal of Combinatorial Optimization 36 (2017) 1168–1194.
LibreCat
| Files available
| DOI
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, Journal of Combinatorial Optimization 36 (2017) 1168–1194.
2017 | Dissertation | LibreCat-ID: 707
Knowledge-based Verification of Service Compositions
S. Walther, Knowledge-Based Verification of Service Compositions, Universität Paderborn, 2017.
LibreCat
| DOI
S. Walther, Knowledge-Based Verification of Service Compositions, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 708
Minimizing downtimes: Using dynamic reconfiguration and state management in SDN
A. Schwabe, E. Rojas, H. Karl, in: 2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 2017, pp. 1--5.
LibreCat
| DOI
A. Schwabe, E. Rojas, H. Karl, in: 2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 2017, pp. 1--5.
2017 | Conference Paper | LibreCat-ID: 71
Predicting Rankings of Software Verification Tools
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 3rd International Workshop on Software Analytics, 2017, pp. 23–26.
LibreCat
| Files available
| DOI
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 3rd International Workshop on Software Analytics, 2017, pp. 23–26.
2017 | Conference Paper | LibreCat-ID: 717 | 
SONATA: Service programming and orchestration for virtualized software networks
S. Dräxler, H. Karl, M. Peuster, H. Razzaghi Kouchaksaraei, M. Bredel, J. Lessmann, T. Soenen, W. Tavernier, S. Mendel-Brin, G. Xilouris, in: 2017 IEEE International Conference on Communications Workshops (ICC Workshops), IEEE, 2017.
LibreCat
| Files available
| DOI
| Download (ext.)
S. Dräxler, H. Karl, M. Peuster, H. Razzaghi Kouchaksaraei, M. Bredel, J. Lessmann, T. Soenen, W. Tavernier, S. Mendel-Brin, G. Xilouris, in: 2017 IEEE International Conference on Communications Workshops (ICC Workshops), IEEE, 2017.
2017 | Report | LibreCat-ID: 72
Predicting Rankings of Software Verification Competitions
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Predicting Rankings of Software Verification Competitions, 2017.
LibreCat
| Files available
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Predicting Rankings of Software Verification Competitions, 2017.
2017 | Conference Paper | LibreCat-ID: 723 |
A flexible multi-pop infrastructure emulator for carrier-grade MANO systems
M. Peuster, S. Dräxler, H. Razzaghi Kouchaksaraei, S. van Rossem, W. Tavernier, H. Karl, in: IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 2017, pp. 1--3.
LibreCat
| Files available
| DOI
M. Peuster, S. Dräxler, H. Razzaghi Kouchaksaraei, S. van Rossem, W. Tavernier, H. Karl, in: IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 2017, pp. 1--3.
2017 | Mastersthesis | LibreCat-ID: 74
OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten
C. Knorr, OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten, Universität Paderborn, 2017.
LibreCat
C. Knorr, OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 8559
Perceived Competence and Incompetence in the First Year of Mathematics Studies: Forms and Situations
M. Liebendörfer, R. Hochmuth, in: R. Göller, R. Biehler, R. Hochmuth, H.-G. Rück (Eds.), Didactics of Mathematics in Higher Education as a Scientific Discipline - Conference Proceedings, Universität Kassel, Kassel, 2017, pp. 286–293.
LibreCat
M. Liebendörfer, R. Hochmuth, in: R. Göller, R. Biehler, R. Hochmuth, H.-G. Rück (Eds.), Didactics of Mathematics in Higher Education as a Scientific Discipline - Conference Proceedings, Universität Kassel, Kassel, 2017, pp. 286–293.
2017 | Journal Article | LibreCat-ID: 8564
Interest development during the first year at university: do mathematical beliefs predict interest in mathematics?
M. Liebendörfer, S. Schukajlow, ZDM 49 (2017) 355–366.
LibreCat
| DOI
M. Liebendörfer, S. Schukajlow, ZDM 49 (2017) 355–366.
2017 | Conference Paper | LibreCat-ID: 87 |
Joint Optimization of Scaling and Placement of Virtual Network Services
S. Dräxler, H. Karl, Z.A. Mann, in: Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2017), 2017.
LibreCat
| Files available
| DOI
S. Dräxler, H. Karl, Z.A. Mann, in: Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2017), 2017.
2017 | Conference Paper | LibreCat-ID: 8752
Gradient-Based Multiobjective Optimization with Uncertainties
S. Peitz, M. Dellnitz, in: NEO 2016, Cham, 2017, pp. 159–182.
LibreCat
| DOI
S. Peitz, M. Dellnitz, in: NEO 2016, Cham, 2017, pp. 159–182.
2017 | Bachelorsthesis | LibreCat-ID: 88
Instantiating a Predicate Encryption Scheme via Pair Encodings
A. Ganesh Athreya, Instantiating a Predicate Encryption Scheme via Pair Encodings, Universität Paderborn, 2017.
LibreCat
A. Ganesh Athreya, Instantiating a Predicate Encryption Scheme via Pair Encodings, Universität Paderborn, 2017.
2017 | Misc | LibreCat-ID: 8843
Presentation: Framework for Constructing Context-Specific Migration Methods for Test Cases
I. Jovanovikj, Presentation: Framework for Constructing Context-Specific Migration Methods for Test Cases, Berlin, 2017.
LibreCat
I. Jovanovikj, Presentation: Framework for Constructing Context-Specific Migration Methods for Test Cases, Berlin, 2017.
2017 | Journal Article | LibreCat-ID: 9607
Optimal Security Proofs for Full Domain Hash, Revisited
S. Kakvi, E. Kiltz, Journal of Cryptology (2017) 276–306.
LibreCat
| DOI
| Download (ext.)
S. Kakvi, E. Kiltz, Journal of Cryptology (2017) 276–306.
2017 | Conference Paper | LibreCat-ID: 97
From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process
L. van Rooijen, F.S. Bäumer, M.C. Platenius, M. Geierhos, H. Hamann, G. Engels, in: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), IEEE, Piscataway, NJ, USA, 2017, pp. 379–385.
LibreCat
| Files available
| DOI
L. van Rooijen, F.S. Bäumer, M.C. Platenius, M. Geierhos, H. Hamann, G. Engels, in: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), IEEE, Piscataway, NJ, USA, 2017, pp. 379–385.
2017 | Conference Paper | LibreCat-ID: 981 |
Profile Your Chains, Not Functions. Automated Network Service Profiling in DevOps Environments
M. Peuster, H. Karl, in: IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN), Berlin, 2017.
LibreCat
| Files available
| DOI
M. Peuster, H. Karl, in: IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN), Berlin, 2017.
2017 | Conference Paper | LibreCat-ID: 983
Assessing Genetic Algorithms for Placing Flow Processing-aware Control Applications
S. Auroux, S. Scholz, H. Karl, in: Proc. European Wireless, 2017.
LibreCat
| Download (ext.)
S. Auroux, S. Scholz, H. Karl, in: Proc. European Wireless, 2017.
2017 | Journal Article | LibreCat-ID: 9919
Three-Stage Power System Restoration Methodology Considering Renewable Energies
C. Shen, P. Kaufmann, M. Braun, Elsevier International Journal of Electrical Power and Energy Systems (IJEPES) 94 (2017) 287–299.
LibreCat
| DOI
C. Shen, P. Kaufmann, M. Braun, Elsevier International Journal of Electrical Power and Energy Systems (IJEPES) 94 (2017) 287–299.
2017 | Conference Paper | LibreCat-ID: 5204
IDEal: Efficient and Precise Alias-aware Dataflow Analysis
J. Späth, K. Ali, E. Bodden, in: 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH), ACM Press, 2017.
LibreCat
| Files available
| Download (ext.)
J. Späth, K. Ali, E. Bodden, in: 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH), ACM Press, 2017.
2017 | Journal Article | LibreCat-ID: 5209
Computation on Encrypted Data using Data Flow Authentication
A. Fischer, B. Fuhry, F. Kerschbaum, E. Bodden, CoRR abs/1710.00390 (2017).
LibreCat
| Files available
| Download (ext.)
A. Fischer, B. Fuhry, F. Kerschbaum, E. Bodden, CoRR abs/1710.00390 (2017).
2017 | Conference Paper | LibreCat-ID: 55
The Mobile Server Problem
B. Feldkord, F. Meyer auf der Heide, in: Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2017, pp. 313–319.
LibreCat
| Files available
| DOI
B. Feldkord, F. Meyer auf der Heide, in: Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2017, pp. 313–319.
2017 | Conference Paper | LibreCat-ID: 65
reMinMin: A Novel Static Energy-Centric List Scheduling Approach Based on Real Measurements
A. Lösch, M. Platzner, in: Proceedings of the 28th Annual IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP), 2017.
LibreCat
| Files available
| DOI
A. Lösch, M. Platzner, in: Proceedings of the 28th Annual IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP), 2017.
2017 | Journal Article | LibreCat-ID: 6552
Viskoelastizität und Anisotropie von Kunststoffen: Ultraschallbasierte Methoden zur Materialparameterbestimmung
F. Bause, L. Claes, M. Webersen, S. Johannesmann, B. Henning, Tm - Technisches Messen 84 (2017).
LibreCat
| DOI
F. Bause, L. Claes, M. Webersen, S. Johannesmann, B. Henning, Tm - Technisches Messen 84 (2017).
2017 | Conference Paper | LibreCat-ID: 6556
A Spectral Approach to Acoustic Absorption Measurement
L. Claes, R.S. Chatwell, J. Vrabec, B. Henning, in: PROCEEDINGS -- AMA Conferences 2017, AMA Service GmbH, 2017, pp. 304–309.
LibreCat
| DOI
L. Claes, R.S. Chatwell, J. Vrabec, B. Henning, in: PROCEEDINGS -- AMA Conferences 2017, AMA Service GmbH, 2017, pp. 304–309.
2017 | Conference Paper | LibreCat-ID: 6557
Acoustic Material Characterization of Additively Manufactured Components
L. Claes, A. Jäger, S. Johannesmann, M. Webersen, M. Kupnik, B. Henning, in: PROCEEDINGS -- AMA Conferences 2017, AMA Service GmbH, 2017, pp. 605–610.
LibreCat
| DOI
L. Claes, A. Jäger, S. Johannesmann, M. Webersen, M. Kupnik, B. Henning, in: PROCEEDINGS -- AMA Conferences 2017, AMA Service GmbH, 2017, pp. 605–610.
2017 | Conference Paper | LibreCat-ID: 6559
Additively manufactured acoustic diffuser structures for ultrasonic measurement applications
L. Claes, H. Zeipert, P. Koppa, T. Tröster, B. Henning, in: Proceedings of Meetings on Acoustics, Honolulu, 2017, p. 030004.
LibreCat
| DOI
L. Claes, H. Zeipert, P. Koppa, T. Tröster, B. Henning, in: Proceedings of Meetings on Acoustics, Honolulu, 2017, p. 030004.
2017 | Conference Paper | LibreCat-ID: 6565
Evaluating the Influence of 3D-Printing Parameters on Acoustic Material Properties
A. Jäger, S. Johannesmann, L. Claes, M. Webersen, B. Henning, M. Kupnik, in: 2017 IEEE IUS~Proceedings, 2017.
LibreCat
A. Jäger, S. Johannesmann, L. Claes, M. Webersen, B. Henning, M. Kupnik, in: 2017 IEEE IUS~Proceedings, 2017.
2017 | Conference Paper | LibreCat-ID: 6566
Inverser Ansatz zur akustischen Charakterisierung plattenförmiger Materialproben
S. Johannesmann, L. Claes, M. Webersen, B. Henning, in: Fortschritte Der Akustik - DAGA 2017, Deutsche Gesellschaft für Akustik e.V. 2017, 2017, pp. 999–1002.
LibreCat
S. Johannesmann, L. Claes, M. Webersen, B. Henning, in: Fortschritte Der Akustik - DAGA 2017, Deutsche Gesellschaft für Akustik e.V. 2017, 2017, pp. 999–1002.
2017 | Conference Paper | LibreCat-ID: 6572
Material parameter determination of a piezoelectric disc with triple-ring-electrodes for increased sensitivity
B. Jurgelucks, N. Feldmann, L. Claes, B. Henning, A. Walther, in: Proceedings of Meetings on Acoustics, Honolulu, 2017, p. 030010.
LibreCat
| DOI
B. Jurgelucks, N. Feldmann, L. Claes, B. Henning, A. Walther, in: Proceedings of Meetings on Acoustics, Honolulu, 2017, p. 030010.
2017 | Conference Paper | LibreCat-ID: 6575
Ultrasonic measurements in the characterization of viscoelasticity and aging of polymers
F. Bause, L. Claes, M. Webersen, B. Henning, in: PROCEEDINGS -- AMA Conferences 2017, 2017, p. 414.
LibreCat
| DOI
F. Bause, L. Claes, M. Webersen, B. Henning, in: PROCEEDINGS -- AMA Conferences 2017, 2017, p. 414.
2017 | Conference Paper | LibreCat-ID: 6583
Determining fractional Zener model parameters from low frequency DMA measurements
N. Feldmann, F. Bause, B. Henning, in: Proceedings – AMA Conferences 2017, Nürnberg, 2017.
LibreCat
| DOI
N. Feldmann, F. Bause, B. Henning, in: Proceedings – AMA Conferences 2017, Nürnberg, 2017.
2017 | Misc | LibreCat-ID: 6591
Spektrale Verfahren zur Bestimmung der akustischen Absorption in fluiden Medien
L. Claes, N. Feldmann, B. Henning, Spektrale Verfahren Zur Bestimmung Der Akustischen Absorption in Fluiden Medien, Workshop “Schallfeldbasierte Messverfahren”, Drübeck, 2017.
LibreCat
L. Claes, N. Feldmann, B. Henning, Spektrale Verfahren Zur Bestimmung Der Akustischen Absorption in Fluiden Medien, Workshop “Schallfeldbasierte Messverfahren”, Drübeck, 2017.
2017 | Conference Paper | LibreCat-ID: 66
Pure Nash Equilibria in Restricted Budget Games
M. Drees, M. Feldotto, S. Riechers, A. Skopalik, in: Proceedings of the 23rd International Computing and Combinatorics Conference (COCOON), 2017, pp. 175--187.
LibreCat
| Files available
| DOI
M. Drees, M. Feldotto, S. Riechers, A. Skopalik, in: Proceedings of the 23rd International Computing and Combinatorics Conference (COCOON), 2017, pp. 175--187.
2017 | Conference Paper | LibreCat-ID: 6631
Start-up factory Ghana: Creating an enabling environment for the dissemination of renewable energies
T. Klaus, I. Nkrumah, M.K.. Donkor, R.Y. Tamakloe, F.K. Ampong, S. Krauter, in: Proceedings of the ISES Solar World Congress 2017, Abu Dhabi (United Arab Emirates - UAE), 2017.
LibreCat
T. Klaus, I. Nkrumah, M.K.. Donkor, R.Y. Tamakloe, F.K. Ampong, S. Krauter, in: Proceedings of the ISES Solar World Congress 2017, Abu Dhabi (United Arab Emirates - UAE), 2017.
2017 | Journal Article | LibreCat-ID: 6632
Minimizing storage costs by substituting centralized electrical storage by thermal storage at the end user, also suppling balancing power for grid operation
S. Krauter, D. Prior, Energy Procedia 135 (2017) 210–226.
LibreCat
| DOI
S. Krauter, D. Prior, Energy Procedia 135 (2017) 210–226.
2017 | Conference Paper | LibreCat-ID: 6633
Performance of MERRA2 Data Compared to Floating LiDAR
J. Bendfeld, S. Balluff, S. Wübbeke, S. Krauter, in: Proceedings of the DEWEK 2017, Bremen, 2017.
LibreCat
J. Bendfeld, S. Balluff, S. Wübbeke, S. Krauter, in: Proceedings of the DEWEK 2017, Bremen, 2017.
2017 | Conference Paper | LibreCat-ID: 6634
Short-term wind speed and power prediction for offshore wind farms using neural networks
J. Bendfeld, S. Balluff, J. Krüger, S. Krauter, in: Proceedings of the DEWEK 2017, Bremen, 2017.
LibreCat
J. Bendfeld, S. Balluff, J. Krüger, S. Krauter, in: Proceedings of the DEWEK 2017, Bremen, 2017.
2017 | Conference Paper | LibreCat-ID: 6635
Update on rankings of conversion efficiencies and energy yield of micro-inverters, including inverters for two PV modules
J. Bendfeld, S. Krauter, in: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1477–1481, 2017.
LibreCat
J. Bendfeld, S. Krauter, in: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1477–1481, 2017.
2017 | Conference Paper | LibreCat-ID: 6636
Long-term performance of PV micro-inverters
J. Bendfeld, S. Krauter, in: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1836–1840, 2017.
LibreCat
J. Bendfeld, S. Krauter, in: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1836–1840, 2017.
2017 | Conference Paper | LibreCat-ID: 6637
Advanced PV Module Hot Spot Characterisation
S. Krauter, S. Wendlandt, L. Süthoff, S. Berendes, J. Teubner, L. Podlowski, J. Berghold, P. Grunow, in: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, Amsterdam, 2017.
LibreCat
S. Krauter, S. Wendlandt, L. Süthoff, S. Berendes, J. Teubner, L. Podlowski, J. Berghold, P. Grunow, in: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, Amsterdam, 2017.
2017 | Conference Paper | LibreCat-ID: 6638
Comparison of Conversion Efficiencies and Energy Yields of Micro-Inverters for Photovoltaic Modules
S. Krauter, in: VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017., Hamburg, 2017.
LibreCat
S. Krauter, in: VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017., Hamburg, 2017.
2017 | Conference Paper | LibreCat-ID: 6639
Smart Charging Management System of Plugged-in EVs for Optimal Operation of Future Power Systems.
S. Krauter, A. Ameli, in: VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017., Hamburg, 2017.
LibreCat
S. Krauter, A. Ameli, in: VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017., Hamburg, 2017.
2017 | Conference Paper | LibreCat-ID: 6640
Minimizing storage costs: Simple and effective methods to match PV with grid load, including shift of holiday period
S. Krauter, in: Proceedings of the 11th International Conference for Renewable Energy Storage, 14-16 March 2017, Düsseldorf, Germany., Düsseldorf, 2017.
LibreCat
S. Krauter, in: Proceedings of the 11th International Conference for Renewable Energy Storage, 14-16 March 2017, Düsseldorf, Germany., Düsseldorf, 2017.
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
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.
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
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.
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
M. Jürgens, Provably Secure Key-Derivation-Functions for Certain Types of Applications, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 6721 |
WSDM Cup 2017: Vandalism Detection and Triple Scoring
S. Heindorf, M. Potthast, H. Bast, B. Buchhold, E. Haussmann, in: WSDM, ACM, 2017, pp. 827–828.
LibreCat
| Download (ext.)
S. Heindorf, M. Potthast, H. Bast, B. Buchhold, E. Haussmann, in: WSDM, ACM, 2017, pp. 827–828.
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
W. Czerwinski, W. Martens, L. van Rooijen, M. Zeitoun, G. Zetzsche, Discrete Mathematics & Theoretical Computer Science 19 (2017).
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
D. Wolters, C. Gerth, G. Engels, Computer Science and Information Systems (ComSIS) 14 (2017) 517–536.
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
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.
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
T. Isenberg, M. Platzner, H. Wehrheim, T. Wiersema, ACM Transactions on Design Automation of Electronic Systems (2017) 61:1--61:23.
2017 | Journal Article | LibreCat-ID: 680 |
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
M. Peter, A. Hildebrandt, C. Schlickriede, K. Gharib, T. Zentgraf, J. Förstner, S. Linden, Nano Letters 17 (2017) 4178–4183.
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
M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring, Universität Paderborn, 2017.
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
M.-C. Jakobs, H. Wehrheim, ACM Transactions on Programming Languages and Systems (2017) 7:1-7:56.
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
J. Nowack, On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen, Universität Paderborn, 2017.
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
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.
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
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.
2017 | Journal Article | LibreCat-ID: 16540
Sensing and control in symmetric networks
M. Dellnitz, S. Klus, Dynamical Systems (2017) 61–79.
LibreCat
| DOI
M. Dellnitz, S. Klus, Dynamical Systems (2017) 61–79.
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
M. Dellnitz, S. Klus, A. Ziessler, SIAM Journal on Applied Dynamical Systems (2017) 120–138.
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
S. Peitz, K. Schäfer, S. Ober-Blöbaum, J. Eckstein, U. Köhler, M. Dellnitz, IFAC-PapersOnLine (2017) 8674–8679.
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
D. Diemert, EAX - An Authenticated Encryption Mode for Block Ciphers, Universität Paderborn, 2017.
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
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.
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
J. Fürnkranz, E. Hüllermeier, in: Encyclopedia of Machine Learning and Data Mining, 2017, pp. 1000–1005.
2017 | Dissertation | LibreCat-ID: 10594 |
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.)
S. Peitz, Exploiting Structure in Multiobjective Optimization and Optimal Control, 2017.
2017 | Journal Article | LibreCat-ID: 10600
The First 25 Years of the FPL Conference – Significant Papers
P. H.W. Leong, H. Amano, J. Anderson, K. Bertels, J. M.P. Cardoso, O. Diessel, G. Gogniat, M. Hutton, J. Lee, W. Luk, P. Lysaght, M. Platzner, V. K. Prasanna, T. Rissa, C. Silvano, H. So, Y. Wang, ACM Transactions on Reconfigurable Technology and Systems (2017).
LibreCat
| DOI
P. H.W. Leong, H. Amano, J. Anderson, K. Bertels, J. M.P. Cardoso, O. Diessel, G. Gogniat, M. Hutton, J. Lee, W. Luk, P. Lysaght, M. Platzner, V. K. Prasanna, T. Rissa, C. Silvano, H. So, Y. Wang, ACM Transactions on Reconfigurable Technology and Systems (2017).
2017 | Journal Article | LibreCat-ID: 10601
Innovation in Reconfigurable Computing Fabrics: from Devices to Architectures (guest editorial)
R. F. DeMara, M. Platzner, M. Ottavi, IEEE Transactions on Computers and IEEE Transactions on Emerging Topics in Computing (2017).
LibreCat
| DOI
R. F. DeMara, M. Platzner, M. Ottavi, IEEE Transactions on Computers and IEEE Transactions on Emerging Topics in Computing (2017).
2017 | Journal Article | LibreCat-ID: 10611
Evaluating fault-tolerance of redundant FPGA structures using Boolean difference calculus
J. Anwer, M. Platzner, Microprocessors and Microsystems (2017) 160–172.
LibreCat
| DOI
J. Anwer, M. Platzner, Microprocessors and Microsystems (2017) 160–172.
2017 | Bachelorsthesis | LibreCat-ID: 10613
An AR-based Training and Assessment System for Myoelectrical Prosthetic Control
C. Kaltschmidt, An AR-Based Training and Assessment System for Myoelectrical Prosthetic Control, Paderborn University, 2017.
LibreCat
C. Kaltschmidt, An AR-Based Training and Assessment System for Myoelectrical Prosthetic Control, Paderborn University, 2017.
2017 | Conference Paper | LibreCat-ID: 10630
A Zynq-based dynamically reconfigurable high density myoelectric prosthesis controller
A. Boschmann, G. Thombansen, L.M. Witschen, A. Wiens, M. Platzner, in: Design, Automation and Test in Europe (DATE), 2017.
LibreCat
| DOI
A. Boschmann, G. Thombansen, L.M. Witschen, A. Wiens, M. Platzner, in: Design, Automation and Test in Europe (DATE), 2017.
2017 | Mastersthesis | LibreCat-ID: 10666
Acceleration of Industrial Analytics Functions on a Platform FPGA
U. Riaz, Acceleration of Industrial Analytics Functions on a Platform FPGA, Paderborn University, 2017.
LibreCat
U. Riaz, Acceleration of Industrial Analytics Functions on a Platform FPGA, Paderborn University, 2017.
2017 | Conference Paper | LibreCat-ID: 10672
Accurate Private/Shared Classification of Memory Accesses: a Run-time Analysis System for the LEON3 Multi-core Processor
N. Ho, I.I. Ashraf, P. Kaufmann, M. Platzner, in: Proc. Design, Automation and Test in Europe Conf. (DATE), 2017.
LibreCat
| DOI
N. Ho, I.I. Ashraf, P. Kaufmann, M. Platzner, in: Proc. Design, Automation and Test in Europe Conf. (DATE), 2017.
2017 | Conference Paper | LibreCat-ID: 10676
Evolvable caches: Optimization of reconfigurable cache mappings for a LEON3/Linux-based multi-core processor
N. Ho, P. Kaufmann, M. Platzner, in: 2017 International Conference on Field Programmable Technology (ICFPT), 2017, pp. 215–218.
LibreCat
| DOI
N. Ho, P. Kaufmann, M. Platzner, in: 2017 International Conference on Field Programmable Technology (ICFPT), 2017, pp. 215–218.
2017 | Journal Article | LibreCat-ID: 10692
Three-Stage Power System Restoration Methodology Considering Renewable Energies
C. Shen, P. Kaufmann, M. Braun, Elsevier International Journal of Electrical Power and Energy Systems (IJEPES) (2017).
LibreCat
C. Shen, P. Kaufmann, M. Braun, Elsevier International Journal of Electrical Power and Energy Systems (IJEPES) (2017).
2017 | Mastersthesis | LibreCat-ID: 10708
Reconfigurable Cryptographic Services
A. Dietrich, Reconfigurable Cryptographic Services, Paderborn University, 2017.
LibreCat
A. Dietrich, Reconfigurable Cryptographic Services, Paderborn University, 2017.
2017 | Bachelorsthesis | LibreCat-ID: 1073
Sortieren dynamischer Daten
S. Nachtigall, Sortieren dynamischer Daten, Universität Paderborn, 2017.
LibreCat
S. Nachtigall, Sortieren dynamischer Daten, Universität Paderborn, 2017.
2017 | Bachelorsthesis | LibreCat-ID: 1074
Robuste Optimierung in Congestion Games
S. Pukrop, Robuste Optimierung in Congestion Games, Universität Paderborn, 2017.
LibreCat
S. Pukrop, Robuste Optimierung in Congestion Games, Universität Paderborn, 2017.
2017 | Journal Article | LibreCat-ID: 10740
Fast Network Restoration by Partitioning of Parallel Black Start Zones
C. Shen, P. Kaufmann, M. Braun, The Journal of Engineering (2017) 19pp.
LibreCat
| DOI
C. Shen, P. Kaufmann, M. Braun, The Journal of Engineering (2017) 19pp.
2017 | Book | LibreCat-ID: 10759
Applications of Evolutionary Computation - 20th European Conference, EvoApplications
G. Squillero, P. Burelli, A. M. Mora, A. Agapitos, W. S. Bush, S. Cagnoni, C. Cotta, I. De Falco, A. Della Cioppa, F. Divina, A.E. Eiben, A. I. Esparcia-Alc{\’a}zar, F. Fern{\’a}ndez de Vega, K. Glette, E. Haasdijk, J. Ignacio Hidalgo, M. Kampouridis, P. Kaufmann, M. Mavrovouniotis, T. Thanh Nguyen, R. Schaefer, K. Sim, E. Tarantino, N. Urquhart, M. Zhang (editors), Applications of Evolutionary Computation - 20th European Conference, EvoApplications, Springer, 2017.
LibreCat
G. Squillero, P. Burelli, A. M. Mora, A. Agapitos, W. S. Bush, S. Cagnoni, C. Cotta, I. De Falco, A. Della Cioppa, F. Divina, A.E. Eiben, A. I. Esparcia-Alc{\’a}zar, F. Fern{\’a}ndez de Vega, K. Glette, E. Haasdijk, J. Ignacio Hidalgo, M. Kampouridis, P. Kaufmann, M. Mavrovouniotis, T. Thanh Nguyen, R. Schaefer, K. Sim, E. Tarantino, N. Urquhart, M. Zhang (editors), Applications of Evolutionary Computation - 20th European Conference, EvoApplications, Springer, 2017.
2017 | Conference Paper | LibreCat-ID: 10760
Parametrizing Cartesian Genetic Programming: An Empirical Study
P. Kaufmann, R. Kalkreuth, in: KI 2017: Advances in Artificial Intelligence: 40th Annual German Conference on AI, Springer International Publishing, 2017.
LibreCat
| DOI
P. Kaufmann, R. Kalkreuth, in: KI 2017: Advances in Artificial Intelligence: 40th Annual German Conference on AI, Springer International Publishing, 2017.
2017 | Conference Paper | LibreCat-ID: 10761
Evaluation Methodology for Complex Non-deterministic Functions: A Case Study in Metaheuristic Optimization of Caches
P. Kaufmann, N. Ho, M. Platzner, in: Adaptive Hardware and Systems (AHS), IEEE, 2017.
LibreCat
| DOI
P. Kaufmann, N. Ho, M. Platzner, in: Adaptive Hardware and Systems (AHS), IEEE, 2017.
2017 | Conference Paper | LibreCat-ID: 10762
An Empirical Study on the Parametrization of Cartesian Genetic Programming
P. Kaufmann, R. Kalkreuth, in: Genetic and Evolutionary Computation (GECCO), Compendium, ACM, 2017.
LibreCat
| DOI
P. Kaufmann, R. Kalkreuth, in: Genetic and Evolutionary Computation (GECCO), Compendium, ACM, 2017.
2017 | Conference Paper | LibreCat-ID: 10780
Computational self-awareness as design approach for visual sensor nodes
Z. Guettatfi, P. Hübner, M. Platzner, B. Rinner, in: 12th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2017, pp. 1–8.
LibreCat
| DOI
Z. Guettatfi, P. Hübner, M. Platzner, B. Rinner, in: 12th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2017, pp. 1–8.
2017 | Book Chapter | LibreCat-ID: 10784
Preference Learning
J. Fürnkranz, E. Hüllermeier, in: C. Sammut, G.I. Webb (Eds.), Encyclopedia of Machine Learning and Data Mining, Springer, 2017, pp. 1000–1005.
LibreCat
J. Fürnkranz, E. Hüllermeier, in: C. Sammut, G.I. Webb (Eds.), Encyclopedia of Machine Learning and Data Mining, Springer, 2017, pp. 1000–1005.
2017 | Mastersthesis | LibreCat-ID: 1080
Complexity of Signalling in Routing Games under Uncertainty
J. Bürmann, Complexity of Signalling in Routing Games under Uncertainty, Universität Paderborn, 2017.
LibreCat
J. Bürmann, Complexity of Signalling in Routing Games under Uncertainty, Universität Paderborn, 2017.
2017 | Mastersthesis | LibreCat-ID: 1081
Bounding the Inefficiency of Equilibria in Congestion Games under Taxation
V.R. Vijayalakshmi, Bounding the Inefficiency of Equilibria in Congestion Games under Taxation, Universität Paderborn, 2017.
LibreCat
V.R. Vijayalakshmi, Bounding the Inefficiency of Equilibria in Congestion Games under Taxation, Universität Paderborn, 2017.
2017 | Mastersthesis | LibreCat-ID: 109 |
Cooperative static analysis of Android applications
F. Pauck, Cooperative Static Analysis of Android Applications, Universität Paderborn, 2017.
LibreCat
| Files available
F. Pauck, Cooperative Static Analysis of Android Applications, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 1094
Making Gamification Easy for the Professor: Decoupling Game and Content with the StudyNow Mobile App
M. Feldotto, T. John, D. Kundisch, P. Hemsen, K. Klingsieck, A. Skopalik, in: Proceedings of the 12th International Conference on Design Science Research in Information Systems and Technology (DESRIST), 2017, pp. 462–467.
LibreCat
| Files available
| DOI
M. Feldotto, T. John, D. Kundisch, P. Hemsen, K. Klingsieck, A. Skopalik, in: Proceedings of the 12th International Conference on Design Science Research in Information Systems and Technology (DESRIST), 2017, pp. 462–467.
2017 | Conference Paper | LibreCat-ID: 1095 |
Towards a Lean Approach for Gamifying Education
T. John, M. Feldotto, P. Hemsen, K. Klingsieck, D. Kundisch, M. Langendorf, in: Proceedings of the 25th European Conference on Information Systems (ECIS), 2017, pp. 2970–2979.
LibreCat
| Files available
| Download (ext.)
T. John, M. Feldotto, P. Hemsen, K. Klingsieck, D. Kundisch, M. Langendorf, in: Proceedings of the 25th European Conference on Information Systems (ECIS), 2017, pp. 2970–2979.
2017 | Journal Article | LibreCat-ID: 110
Continuous Speed Scaling with Variability: A Simple and Direct Approach
A. Antoniadis, P. Kling, S. Ott, S. Riechers, Theoretical Computer Science (2017) 1–13.
LibreCat
| Files available
| DOI
A. Antoniadis, P. Kling, S. Ott, S. Riechers, Theoretical Computer Science (2017) 1–13.
2017 | Mastersthesis | LibreCat-ID: 117
Attribute-based Signatures using Structure Preserving Signatures
P. Bemmann, Attribute-Based Signatures Using Structure Preserving Signatures, Universität Paderborn, 2017.
LibreCat
P. Bemmann, Attribute-Based Signatures Using Structure Preserving Signatures, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 11717 |
A Study on Transfer Learning for Acoustic Event Detection in a Real Life Scenario
P. Arora, R. Haeb-Umbach, in: IEEE 19th International Workshop on Multimedia Signal Processing (MMSP), 2017.
LibreCat
| Files available
| Download (ext.)
P. Arora, R. Haeb-Umbach, in: IEEE 19th International Workshop on Multimedia Signal Processing (MMSP), 2017.
2017 | Report | LibreCat-ID: 11735 |
On the Computation of Complex-valued Gradients with Application to Statistically Optimum Beamforming
C. Boeddeker, P. Hanebrink, L. Drude, J. Heymann, R. Haeb-Umbach, On the Computation of Complex-Valued Gradients with Application to Statistically Optimum Beamforming, 2017.
LibreCat
| Download (ext.)
C. Boeddeker, P. Hanebrink, L. Drude, J. Heymann, R. Haeb-Umbach, On the Computation of Complex-Valued Gradients with Application to Statistically Optimum Beamforming, 2017.
2017 | Conference Paper | LibreCat-ID: 11736 |
Optimizing Neural-Network Supported Acoustic Beamforming by Algorithmic Differentiation
C. Boeddeker, P. Hanebrink, L. Drude, J. Heymann, R. Haeb-Umbach, in: Proc. IEEE Intl. Conf. on Acoustics, Speech and Signal Processing (ICASSP), 2017.
LibreCat
| Download (ext.)
C. Boeddeker, P. Hanebrink, L. Drude, J. Heymann, R. Haeb-Umbach, in: Proc. IEEE Intl. Conf. on Acoustics, Speech and Signal Processing (ICASSP), 2017.