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.
9766 Publications
2013 | Conference Paper | LibreCat-ID: 517
Knowledge-Based Verification of Service Compositions - An SMT approach
S. Walther, H. Wehrheim, in: Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2013, pp. 24–32.
LibreCat
| Files available
| DOI
S. Walther, H. Wehrheim, in: Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2013, pp. 24–32.
2013 | Conference Paper | LibreCat-ID: 519
IRIS: A Robust Information System Against Insider DoS-Attacks
M. Eikel, C. Scheideler, in: Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2013, pp. 119–129.
LibreCat
| Files available
| DOI
M. Eikel, C. Scheideler, in: Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2013, pp. 119–129.
2013 | Conference Paper | LibreCat-ID: 520
Incorporating feedback from application layer into routing and wavelength assignment algorithms
P. Wette, H. Karl, in: Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2013, pp. 51–52.
LibreCat
| Files available
| DOI
| Download (ext.)
P. Wette, H. Karl, in: Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2013, pp. 51–52.
2013 | Mastersthesis | LibreCat-ID: 521
Identifikation und Wiederherstellung von kryptographischen Schlüsseln mit FPGAs
H. Riebler, Identifikation und Wiederherstellung von kryptographischen Schlüsseln mit FPGAs, Universität Paderborn, 2013.
LibreCat
H. Riebler, Identifikation und Wiederherstellung von kryptographischen Schlüsseln mit FPGAs, Universität Paderborn, 2013.
2013 | Mastersthesis | LibreCat-ID: 522
HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths
M. Feldotto, HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths, Universität Paderborn, 2013.
LibreCat
M. Feldotto, HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths, Universität Paderborn, 2013.
2013 | Preprint | LibreCat-ID: 524
Hierarchies in Local Distributed Decision
F. Meyer auf der Heide, K. Swirkot, (2013).
LibreCat
| Files available
| arXiv
F. Meyer auf der Heide, K. Swirkot, (2013).
2013 | Bachelorsthesis | LibreCat-ID: 525
Haptics - Hadoop performance testing in concurrent job scenarios
T. Niklas Vinkemeier, Haptics - Hadoop Performance Testing in Concurrent Job Scenarios, Universität Paderborn, 2013.
LibreCat
T. Niklas Vinkemeier, Haptics - Hadoop Performance Testing in Concurrent Job Scenarios, Universität Paderborn, 2013.
2013 | Conference Paper | LibreCat-ID: 527
Fuzzy Service Matching in On-The-Fly Computing
M. Christin Platenius, in: Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2013, pp. 715–718.
LibreCat
| Files available
| DOI
M. Christin Platenius, in: Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2013, pp. 715–718.
2013 | Mastersthesis | LibreCat-ID: 534
Emulating Wavelength Division Multiplexing using Openflow
S. Satya, Emulating Wavelength Division Multiplexing Using Openflow, Universität Paderborn, 2013.
LibreCat
S. Satya, Emulating Wavelength Division Multiplexing Using Openflow, Universität Paderborn, 2013.
2013 | Preprint | LibreCat-ID: 538 |
Direct Chosen-Ciphertext Secure Attribute-Based Key Encapsulations without Random Oracles
J. Blömer, G. Liske, (2013).
LibreCat
| Files available
| Download (ext.)
J. Blömer, G. Liske, (2013).
2013 | Conference Paper | LibreCat-ID: 541
Continuous Gossip-based Aggregation through Dynamic Information Aging
K. Graffi, V. Rapp, in: Proceedings of the International Conference on Computer Communications and Networks (ICCCN’13), 2013, pp. 1–7.
LibreCat
| Files available
| DOI
K. Graffi, V. Rapp, in: Proceedings of the International Conference on Computer Communications and Networks (ICCCN’13), 2013, pp. 1–7.
2013 | Conference Paper | LibreCat-ID: 542
CONE-DHT: A distributed self-stabilizing algorithm for a heterogeneous storage system
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in: Proceedings of the 27th International Symposium on Distributed Computing (DISC), 2013, pp. 537–549.
LibreCat
| Files available
| DOI
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in: Proceedings of the 27th International Symposium on Distributed Computing (DISC), 2013, pp. 537–549.
2013 | Conference Paper | LibreCat-ID: 544
Comparative Evaluation of Peer-to-Peer Systems Using PeerfactSim.KOM
M. Feldotto, K. Graffi, in: Proceedings of the International Conference on High Performance Computing and Simulation (HPCS’13), 2013, pp. 99–106.
LibreCat
| Files available
| DOI
M. Feldotto, K. Graffi, in: Proceedings of the International Conference on High Performance Computing and Simulation (HPCS’13), 2013, pp. 99–106.
2013 | Conference Paper | LibreCat-ID: 546
Ca-Re-Chord: A Churn Resistant Self-stabilizing Chord Overlay Network
K. Graffi, M. Benter, M. Divband, S. Kniesburges, A. Koutsopoulos, in: Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 27–34.
LibreCat
| Files available
| DOI
K. Graffi, M. Benter, M. Divband, S. Kniesburges, A. Koutsopoulos, in: Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 27–34.
2013 | Dissertation | LibreCat-ID: 547
Business Process Models - Change Management
C. Gerth, Business Process Models - Change Management, Universität Paderborn, 2013.
LibreCat
| DOI
C. Gerth, Business Process Models - Change Management, Universität Paderborn, 2013.
2013 | Conference Paper | LibreCat-ID: 548
Bootstrapping Skynet: Calibration and Autonomic Self-Control of Structured Peer-to-Peer Networks
K. Graffi, T. Klerx, in: Proceedings of the International Conference on Peer-to-Peer Computing (P2P’13), 2013, pp. 1–5.
LibreCat
| Files available
| DOI
K. Graffi, T. Klerx, in: Proceedings of the International Conference on Peer-to-Peer Computing (P2P’13), 2013, pp. 1–5.
2013 | Conference Paper | LibreCat-ID: 551
Automated Service Composition for On-the-Fly SOAs
Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13), 2013, pp. 524--532.
LibreCat
| Files available
| DOI
Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13), 2013, pp. 524--532.
2013 | Bachelorsthesis | LibreCat-ID: 553
Attributbasierte Verschlüsselung mittels Gittermethoden - Mathematische Grundlagen, Verfahren und Sicherheitsbeweise
K. Kohn, Attributbasierte Verschlüsselung mittels Gittermethoden - Mathematische Grundlagen, Verfahren und Sicherheitsbeweise, Universität Paderborn, 2013.
LibreCat
K. Kohn, Attributbasierte Verschlüsselung mittels Gittermethoden - Mathematische Grundlagen, Verfahren und Sicherheitsbeweise, Universität Paderborn, 2013.
2013 | Mastersthesis | LibreCat-ID: 555
Approximation Algorithms for the Linear Arrangement of Special Classes of Graphs
A. Setzer, Approximation Algorithms for the Linear Arrangement of Special Classes of Graphs, Universität Paderborn, 2013.
LibreCat
A. Setzer, Approximation Algorithms for the Linear Arrangement of Special Classes of Graphs, Universität Paderborn, 2013.
2013 | Conference (Editor) | LibreCat-ID: 558
Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics
P. Flocchini, J. Gao, E. Kranakis, F. Meyer auf der Heide, eds., Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, Springer, 2013.
LibreCat
| Files available
| DOI
P. Flocchini, J. Gao, E. Kranakis, F. Meyer auf der Heide, eds., Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, Springer, 2013.
2013 | Conference Paper | LibreCat-ID: 559
Adding Capacity-Aware Storage Indirection to Homogeneous Distributed Hash Tables
P. Wette, K. Graffi, in: Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 35–42.
LibreCat
| Files available
| DOI
P. Wette, K. Graffi, in: Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 35–42.
2013 | Conference Paper | LibreCat-ID: 560
A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing
M. Platenius, M. von Detten, S. Becker, W. Schäfer, G. Engels, in: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, 2013, pp. 143–152.
LibreCat
| Files available
| DOI
M. Platenius, M. von Detten, S. Becker, W. Schäfer, G. Engels, in: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, 2013, pp. 143–152.
2013 | Conference Paper | LibreCat-ID: 562
A Local Heuristic for Latency-Optimized Distributed Cloud Deployment
M. Keller, S. Pawlik, P. Pietrzyk, H. Karl, in: Proceedings of the 6th International Conference on Utility and Cloud Computing (UCC) Workshop on Distributed Cloud Computing, 2013, pp. 429–434.
LibreCat
| Files available
| DOI
M. Keller, S. Pawlik, P. Pietrzyk, H. Karl, in: Proceedings of the 6th International Conference on Utility and Cloud Computing (UCC) Workshop on Distributed Cloud Computing, 2013, pp. 429–434.
2013 | Conference Paper | LibreCat-ID: 563
A Distributed Approximation Algorithm for Strongly Connected Dominating-Absorbent Sets in Asymmetric Wireless Ad-Hoc Networks
C. Markarian, F. Meyer auf der Heide, M. Schubert, in: Proceedings of the 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics (ALGOSENSORS), 2013, pp. 217–227.
LibreCat
| Files available
| DOI
C. Markarian, F. Meyer auf der Heide, M. Schubert, in: Proceedings of the 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics (ALGOSENSORS), 2013, pp. 217–227.
2013 | Conference Paper | LibreCat-ID: 564
A Deterministic Worst-Case Message Complexity Optimal Solution for Resource Discovery
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in: Proceedings of 20th International Colloqium on Structural Information and Communication Complexity (SIROCCO), 2013, pp. 165–176.
LibreCat
| Files available
| DOI
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in: Proceedings of 20th International Colloqium on Structural Information and Communication Complexity (SIROCCO), 2013, pp. 165–176.
2013 | Conference Paper | LibreCat-ID: 6573
Influence of angular radiated ultrasound waves on the Schlieren tomogram
S. Olfert, L. Claes, B. Henning, in: Proceedings of the International Conference on Acoustics, DEGA, Berlin, 2013, pp. 477–480.
LibreCat
S. Olfert, L. Claes, B. Henning, in: Proceedings of the International Conference on Acoustics, DEGA, Berlin, 2013, pp. 477–480.
2013 | Journal Article | LibreCat-ID: 6729
Relational semantics for full linear logic
D. Coumans, M. Gehrke, L. van Rooijen, Journal of Applied Logic 12 (2013) 50–66.
LibreCat
| DOI
D. Coumans, M. Gehrke, L. van Rooijen, Journal of Applied Logic 12 (2013) 50–66.
2013 | Conference Paper | LibreCat-ID: 6730
Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages
T. Place, L. van Rooijen, M. Zeitoun, in: Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013, pp. 363--375.
LibreCat
| DOI
T. Place, L. van Rooijen, M. Zeitoun, in: Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013, pp. 363--375.
2013 | Conference Paper | LibreCat-ID: 6732
Separating Regular Languages by Piecewise Testable and Unambiguous Languages
T. Place, L. van Rooijen, M. Zeitoun, in: Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 729–740.
LibreCat
| DOI
T. Place, L. van Rooijen, M. Zeitoun, in: Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 729–740.
2013 | Conference Paper | LibreCat-ID: 6913
Test Sequence Development for Evaluation of Potential Induced Degradation on Thin-Film Modules
T. Weber, J. Berghold, F. Heilmann, M. Roericht, S. Krauter, P. Grunow, in: Proceedings of the 28th European Photovoltaic Solar Energy Conference and Exhibition, Paris (Frankreich, 2013.
LibreCat
T. Weber, J. Berghold, F. Heilmann, M. Roericht, S. Krauter, P. Grunow, in: Proceedings of the 28th European Photovoltaic Solar Energy Conference and Exhibition, Paris (Frankreich, 2013.
2013 | Journal Article | LibreCat-ID: 6915
Energiewende mit Sonnenstrom
S. Krauter, Forschungsforum Paderborn, 16-2013, Februar 2013 (2013) 38–45.
LibreCat
S. Krauter, Forschungsforum Paderborn, 16-2013, Februar 2013 (2013) 38–45.
2013 | Conference Paper | LibreCat-ID: 6916
Technical investigation of a photovoltaic module with integrated improved phase change material
E. Japs, G. Sonnenrein, J. Steube, J. Vrabec, E. Kenig, S. Krauter, in: Proceedings of the 28th European Photovoltaic Solar Energy Conference and Exhibition, Paris (Frankreich), 2013.
LibreCat
E. Japs, G. Sonnenrein, J. Steube, J. Vrabec, E. Kenig, S. Krauter, in: Proceedings of the 28th European Photovoltaic Solar Energy Conference and Exhibition, Paris (Frankreich), 2013.
2013 | Conference Paper | LibreCat-ID: 6917
Foundation Monitoring – An Overview of Methods and Measurement Solutions
J. Bendfeld, J. Krieger, in: WINDFORCE 2013 Bremerhaven, 9. WAB Offshore-Windenergie Konferenz, Juni 2013, 2013.
LibreCat
J. Bendfeld, J. Krieger, in: WINDFORCE 2013 Bremerhaven, 9. WAB Offshore-Windenergie Konferenz, Juni 2013, 2013.
2013 | Misc | LibreCat-ID: 6918
Power to Gas – Eine andere Möglichkeit, Windstrom zu nutzen?
Y. Bouyraaman, Power to Gas – Eine andere Möglichkeit, Windstrom zu nutzen? , Technologiezentrum-Lichtenau, Lichtenau, Germany, 2013.
LibreCat
Y. Bouyraaman, Power to Gas – Eine andere Möglichkeit, Windstrom zu nutzen? , Technologiezentrum-Lichtenau, Lichtenau, Germany, 2013.
2013 | Misc | LibreCat-ID: 6919
Erstellung Klimaschutzkonzept der Stadt Paderborn unter Nutzung Erneuerbarer Energien,
S. Krauter, Erstellung Klimaschutzkonzept Der Stadt Paderborn Unter Nutzung Erneuerbarer Energien, Paderborn, 2013.
LibreCat
S. Krauter, Erstellung Klimaschutzkonzept Der Stadt Paderborn Unter Nutzung Erneuerbarer Energien, Paderborn, 2013.
2013 | Conference Paper | LibreCat-ID: 6920
7 YEARS METEOMAST AMRUMBANK WEST
J. Bendfeld, J. Krieger, in: Europe’s Premier Wind Energy Event – EWEA 2013 Annual Event, Vienna, Austria, February 2013, 2013.
LibreCat
J. Bendfeld, J. Krieger, in: Europe’s Premier Wind Energy Event – EWEA 2013 Annual Event, Vienna, Austria, February 2013, 2013.
2013 | Conference Paper | LibreCat-ID: 6921
FOG MEASURING AND SELECTED OFFSHORE FOG OCCURRENCES FOR THE OFFSHORE WIND ENERGY
J. Bendfeld, S. Balluff, Y. Bouyraaman, jens Krieger, in: Europe’s Premier Wind Energy Event – EWEA 2013 Annual Event, Vienna, Austria, February 2013, 2013.
LibreCat
J. Bendfeld, S. Balluff, Y. Bouyraaman, jens Krieger, in: Europe’s Premier Wind Energy Event – EWEA 2013 Annual Event, Vienna, Austria, February 2013, 2013.
2013 | Conference Paper | LibreCat-ID: 6922
FOUNDATION MONITORING FOR OFFSHORE WINDFARMS
J. Krieger, J. Bendfeld, in: Europe’s Premier Wind Energy Event – EWEA 2013 Annual Event, Vienna, Austria, February 2013, 2013.
LibreCat
J. Krieger, J. Bendfeld, in: Europe’s Premier Wind Energy Event – EWEA 2013 Annual Event, Vienna, Austria, February 2013, 2013.
2013 | Conference Paper | LibreCat-ID: 6923
Optimisation of Offshore Wind farm Feed-in fluctuations via Power to Gas Storage Systems
Y. Bouyraaman, J. Bendfeld, in: Europe’s Premier Wind Energy Event – EWEA 2013 Annual Event, Vienna, Austria, February 2013, 2013.
LibreCat
Y. Bouyraaman, J. Bendfeld, in: Europe’s Premier Wind Energy Event – EWEA 2013 Annual Event, Vienna, Austria, February 2013, 2013.
2013 | Conference Paper | LibreCat-ID: 6924
Measurements for PV-Module outdoor performance
J. Bendfeld, in: Wissenschaftliche Verhandlungen 2013 Der Deutschen Physikalischen Gesellschaft, 2013.
LibreCat
J. Bendfeld, in: Wissenschaftliche Verhandlungen 2013 Der Deutschen Physikalischen Gesellschaft, 2013.
2013 | Conference Paper | LibreCat-ID: 6925
Foundation monitoring for offshore windfarms
J. Krieger, J. Bendfeld, in: Wissenschaftliche Verhandlungen 2013 Der Deutschen Physikalischen Gesellschaft, 2013.
LibreCat
J. Krieger, J. Bendfeld, in: Wissenschaftliche Verhandlungen 2013 Der Deutschen Physikalischen Gesellschaft, 2013.
2013 | Misc | LibreCat-ID: 6926
Photovoltaics: Basics, Applications, Recent Developments
S. Krauter, Photovoltaics: Basics, Applications, Recent Developments, 2013.
LibreCat
S. Krauter, Photovoltaics: Basics, Applications, Recent Developments, 2013.
2013 | Journal Article | LibreCat-ID: 16583
Asynchronous variational Lie group integration for geometrically exact beam dynamics
F. Demoures, F. Gay-Balmaz, T. Leitz, S. Leyendecker, S. Ober-Blöbaum, T.S. Ratiu, PAMM (2013) 45–46.
LibreCat
| DOI
F. Demoures, F. Gay-Balmaz, T. Leitz, S. Leyendecker, S. Ober-Blöbaum, T.S. Ratiu, PAMM (2013) 45–46.
2013 | Conference Paper | LibreCat-ID: 16594
Discretized switching time optimization problems
K. Flasskamp, T. Murphey, S. Ober-Blobaum, in: 2013 European Control Conference (ECC), 2013.
LibreCat
| DOI
K. Flasskamp, T. Murphey, S. Ober-Blobaum, in: 2013 European Control Conference (ECC), 2013.
2013 | Journal Article | LibreCat-ID: 16595
Optimization for discretized switched systems
K. Flaßkamp, T. Murphey, S. Ober-Blöbaum, PAMM (2013) 401–402.
LibreCat
| DOI
K. Flaßkamp, T. Murphey, S. Ober-Blöbaum, PAMM (2013) 401–402.
2013 | Book Chapter | LibreCat-ID: 16599
Markov modelling for random dynamical systems
G. Froyland, in: Equadiff 99, 2013.
LibreCat
| DOI
G. Froyland, in: Equadiff 99, 2013.
2013 | Journal Article | LibreCat-ID: 16608
Computing time investigations for variational multirate integration
T. Gail, S. Leyendecker, S. Ober-Blöbaum, PAMM (2013) 43–44.
LibreCat
| DOI
T. Gail, S. Leyendecker, S. Ober-Blöbaum, PAMM (2013) 43–44.
2013 | Conference Paper | LibreCat-ID: 16643
A multiobjective optimization approach for optimal control problems of mechanical systems with uncertainties
S. Ober-Blöbaum, A. Seifried, in: 2013 European Control Conference (ECC), 2013.
LibreCat
| DOI
S. Ober-Blöbaum, A. Seifried, in: 2013 European Control Conference (ECC), 2013.
2013 | Book Chapter | LibreCat-ID: 16670
Set Oriented Methods for the Numerical Treatment of Multiobjective Optimization Problems
O. Schütze, K. Witting, S. Ober-Blöbaum, M. Dellnitz, in: EVOLVE- A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation, Berlin, Heidelberg, 2013.
LibreCat
| DOI
O. Schütze, K. Witting, S. Ober-Blöbaum, M. Dellnitz, in: EVOLVE- A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation, Berlin, Heidelberg, 2013.
2013 | Conference Paper | LibreCat-ID: 16672
Discrete-time model of an IPMSM based on variational integrators
A. Specht, S. Ober-Blobaum, O. Wallscheid, C. Romaus, J. Bocker, in: 2013 International Electric Machines & Drives Conference, 2013.
LibreCat
| DOI
A. Specht, S. Ober-Blobaum, O. Wallscheid, C. Romaus, J. Bocker, in: 2013 International Electric Machines & Drives Conference, 2013.