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.
1558 Publications
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 | Misc | LibreCat-ID: 587
Programming models for reconfigurable heterogeneous multi-cores
C. Plessl, M. Platzner, A. Agne, M. Happe, E. Lübbers, Programming Models for Reconfigurable Heterogeneous Multi-Cores, Awareness Magazine, 2012.
LibreCat
| Files available
C. Plessl, M. Platzner, A. Agne, M. Happe, E. Lübbers, Programming Models for Reconfigurable Heterogeneous Multi-Cores, Awareness Magazine, 2012.
2012 | Conference Paper | LibreCat-ID: 588
Privacy-Preserving DRM for Cloud Computing
R. Petrlic, C. Sorge, in: Proceedings of the 26th IEEE International Conference on Advanced Information Networking and Applications (AINA), 2012, pp. 1286–1291.
LibreCat
| Files available
| DOI
R. Petrlic, C. Sorge, in: Proceedings of the 26th IEEE International Conference on Advanced Information Networking and Applications (AINA), 2012, pp. 1286–1291.
2012 | Conference Paper | LibreCat-ID: 589
Privacy-Preserving Digital Rights Management in a Trusted Cloud Environment
R. Petrlic, in: Proceedings of the 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 2012, pp. 958–963.
LibreCat
| Files available
| DOI
R. Petrlic, in: Proceedings of the 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 2012, pp. 958–963.
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 | Bachelorsthesis | LibreCat-ID: 595
On scheduling with multi-core and multi-speed processors using power down
F. Mallmann Trenn, On Scheduling with Multi-Core and Multi-Speed Processors Using Power Down, Universität Paderborn, 2012.
LibreCat
F. Mallmann Trenn, On Scheduling with Multi-Core and Multi-Speed Processors Using Power Down, 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 | Mastersthesis | LibreCat-ID: 604
Implementierung eines Branch-and-Bound-Algorithmus für nichtkonvexe gemischt-ganzzahlige Optimierungsprobleme mit quadratischen Nebenbedingungen
H. Seier, Implementierung eines Branch-and-Bound-Algorithmus für nichtkonvexe gemischt-ganzzahlige Optimierungsprobleme mit quadratischen Nebenbedingungen, Universität Paderborn, 2012.
LibreCat
H. Seier, Implementierung eines Branch-and-Bound-Algorithmus für nichtkonvexe gemischt-ganzzahlige Optimierungsprobleme mit quadratischen Nebenbedingungen, Universität Paderborn, 2012.
2012 | Mastersthesis | LibreCat-ID: 605
Implementierung eines adaptiven Verfahrens zur Linearisierung von nicht-konvexen, nichtlinearen Wassernetzmodellen mit Hilfe einer Fehlerabschätzung
F. Isenberg, Implementierung eines adaptiven Verfahrens zur Linearisierung von nicht-konvexen, nichtlinearen Wassernetzmodellen mit Hilfe einer Fehlerabschätzung, Universität Paderborn, 2012.
LibreCat
F. Isenberg, Implementierung eines adaptiven Verfahrens zur Linearisierung von nicht-konvexen, nichtlinearen Wassernetzmodellen mit Hilfe einer Fehlerabschätzung, Universität Paderborn, 2012.
2012 | Journal Article | LibreCat-ID: 6055
Assessing cognitive alignment in different types of dialog by means of a network model
A. Mehler, A. Lücking, P. Menke, Neural Networks 32 (2012) 159–164.
LibreCat
| DOI
A. Mehler, A. Lücking, P. Menke, Neural Networks 32 (2012) 159–164.