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.
10630 Publications
2012 | Conference Paper | LibreCat-ID: 585
Proxy Re-Encryption in a Privacy-Preserving Cloud Computing DRM Scheme
R. Petrlic, in: Proceedings of 4th International Symposium on Cyberspace Safety and Security (CSS), 2012, pp. 194–211.
LibreCat
| Files available
| DOI
R. Petrlic, in: Proceedings of 4th International Symposium on Cyberspace Safety and Security (CSS), 2012, pp. 194–211.
2012 | Dissertation | LibreCat-ID: 586 | 
Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security
S. Drzevitzky, Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security, Universität Paderborn, 2012.
LibreCat
| Files available
| Download (ext.)
S. Drzevitzky, Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security, Universität Paderborn, 2012.
2012 | Conference Paper | LibreCat-ID: 590
Predicate Analysis with Block-Abstraction Memoization
D. Wonisch, H. Wehrheim, in: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 332–347.
LibreCat
| Files available
| DOI
D. Wonisch, H. Wehrheim, in: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 332–347.
2012 | Mastersthesis | LibreCat-ID: 592
Penny Auctions: Design und Strategisches Verhalten
A. Celik, Penny Auctions: Design und Strategisches Verhalten, Universität Paderborn, 2012.
LibreCat
A. Celik, Penny Auctions: Design und Strategisches Verhalten, Universität Paderborn, 2012.
2012 | Bachelorsthesis | LibreCat-ID: 593
Optimale Zuteilung von Nutzern zu verteilten Cloud-Standorten
T. Rojahn, Optimale Zuteilung von Nutzern zu verteilten Cloud-Standorten, Universität Paderborn, 2012.
LibreCat
T. Rojahn, Optimale Zuteilung von Nutzern zu verteilten Cloud-Standorten, Universität Paderborn, 2012.
2012 | Mastersthesis | LibreCat-ID: 594
Online Parameteroptimierung in P2P-Netzwerken mit Hilfe von Neuronalen Netzen
T. Klerx, Online Parameteroptimierung in P2P-Netzwerken mit Hilfe von Neuronalen Netzen, Universität Paderborn, 2012.
LibreCat
T. Klerx, Online Parameteroptimierung in P2P-Netzwerken mit Hilfe von Neuronalen Netzen, Universität Paderborn, 2012.
2012 | Conference Paper | LibreCat-ID: 596
Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey
M. Becker, M. Luckey, S. Becker, in: Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12), 2012, pp. 117–122.
LibreCat
| Files available
| DOI
M. Becker, M. Luckey, S. Becker, in: Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12), 2012, pp. 117–122.
2012 | Conference Paper | LibreCat-ID: 597
Minimizing Expectation Plus Variance
M. Mavronicolas, B. Monien, in: Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT), 2012, pp. 239–250.
LibreCat
| Files available
| DOI
M. Mavronicolas, B. Monien, in: Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT), 2012, pp. 239–250.
2012 | Bachelorsthesis | LibreCat-ID: 598
Methoden zur Bestimmung von innerbetrieblichen Verrechnungspreisen
F. Mammadov, Methoden zur Bestimmung von innerbetrieblichen Verrechnungspreisen, Universität Paderborn, 2012.
LibreCat
F. Mammadov, Methoden zur Bestimmung von innerbetrieblichen Verrechnungspreisen, Universität Paderborn, 2012.
2012 | Bachelorsthesis | LibreCat-ID: 599
Managerial Delegation and Capacity Choices: An Analysis of the Cournot-Nash Equilibrium
X. Löwen, Managerial Delegation and Capacity Choices: An Analysis of the Cournot-Nash Equilibrium, Universität Paderborn, 2012.
LibreCat
X. Löwen, Managerial Delegation and Capacity Choices: An Analysis of the Cournot-Nash Equilibrium, Universität Paderborn, 2012.
2012 | Bachelorsthesis | LibreCat-ID: 600
Lokale Swaps und überholte Informationen in Basic Network Creation Games
B. Feldkord, Lokale Swaps und überholte Informationen in Basic Network Creation Games, Universität Paderborn, 2012.
LibreCat
B. Feldkord, Lokale Swaps und überholte Informationen in Basic Network Creation Games, Universität Paderborn, 2012.
2012 | Dissertation | LibreCat-ID: 601
Local strategies for robot formation problems
B. Kempkes, Local Strategies for Robot Formation Problems, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2012.
LibreCat
| Files available
B. Kempkes, Local Strategies for Robot Formation Problems, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2012.
2012 | Report | LibreCat-ID: 602
Learning by Trading in Infinite Horizon Strategic Market Games with Default
S. Brangewitz, Learning by Trading in Infinite Horizon Strategic Market Games with Default, Universität Paderborn, 2012.
LibreCat
| Files available
S. Brangewitz, Learning by Trading in Infinite Horizon Strategic Market Games with Default, Universität Paderborn, 2012.
2012 | Report | LibreCat-ID: 603
Introducing feedback to preemptive routing and wavelength assignment algorithms for dynamic traffic scenarios
P. Wette, H. Karl, Introducing Feedback to Preemptive Routing and Wavelength Assignment Algorithms for Dynamic Traffic Scenarios, Universität Paderborn, 2012.
LibreCat
| Files available
P. Wette, H. Karl, Introducing Feedback to Preemptive Routing and Wavelength Assignment Algorithms for Dynamic Traffic Scenarios, Universität Paderborn, 2012.
2012 | Book Chapter | LibreCat-ID: 6057
Evaluation of Technical Communication
P. Menke, in: Handbook of Technical Communication, de Gruyter, 2012, pp. 285–314.
LibreCat
P. Menke, in: Handbook of Technical Communication, de Gruyter, 2012, pp. 285–314.
2012 | Bachelorsthesis | LibreCat-ID: 607
Identitätsbasierte Kryptographie - Implementierung von Paarungen für Körper der Charakteristik 2
T. Haarhoff, Identitätsbasierte Kryptographie - Implementierung von Paarungen für Körper der Charakteristik 2, Universität Paderborn, 2012.
LibreCat
T. Haarhoff, Identitätsbasierte Kryptographie - Implementierung von Paarungen für Körper der Charakteristik 2, Universität Paderborn, 2012.
2012 | Conference Paper | LibreCat-ID: 608
Heuristic-Guided Abstraction Refinement for Concurrent Systems
N. Timm, H. Wehrheim, M. Czech, in: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–363.
LibreCat
| Files available
| DOI
N. Timm, H. Wehrheim, M. Czech, in: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–363.
2012 | Mastersthesis | LibreCat-ID: 610
Generating Prototypes of Adaptive Component-based Software Systems for Performance Analysis
M. Mohr, Generating Prototypes of Adaptive Component-Based Software Systems for Performance Analysis, Universität Paderborn, 2012.
LibreCat
| Files available
M. Mohr, Generating Prototypes of Adaptive Component-Based Software Systems for Performance Analysis, Universität Paderborn, 2012.
2012 | Book | LibreCat-ID: 6138
Einführung in die Betriebswirtschaftslehre
W. Weber, R. Kabst, Einführung in Die Betriebswirtschaftslehre, 8th ed., Wiesbaden, 2012.
LibreCat
W. Weber, R. Kabst, Einführung in Die Betriebswirtschaftslehre, 8th ed., Wiesbaden, 2012.
2012 | Mastersthesis | LibreCat-ID: 614
Empirischer, quantitativer Vergleich von Modelltransformationssprachen
S. Lehrig, Empirischer, quantitativer Vergleich von Modelltransformationssprachen, Universität Paderborn, 2012.
LibreCat
S. Lehrig, Empirischer, quantitativer Vergleich von Modelltransformationssprachen, Universität Paderborn, 2012.