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.

664 Publications


2012 | Journal Article | LibreCat-ID: 574
Clouser T, Nesterenko M, Scheideler C. Tiara: A self-stabilizing deterministic skip list and skip graph. Theoretical Computer Science. 2012:18-35. doi:10.1016/j.tcs.2011.12.079
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 5753
Nagel B, Gerth C, Yigitbas E, Christ F, Engels G. Model-driven specification of adaptive cloud-based systems. In: Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud Computing Co-Located with 15th International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2012), Innsbruck, Austria, October 01 - 05, 2012. ; 2012:4. doi:10.1145/2446224.2446228
LibreCat | DOI
 

2012 | Mastersthesis | LibreCat-ID: 5760
Yigitbas E. Entwicklung Eines Monitoring- Und Adaptionskonzeptes Für Geschäftsprozesse in Service-Orientierten Systemen.; 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 579
Damerow V, Manthey B, Meyer auf der Heide F, et al. Smoothed analysis of left-to-right maxima with applications. Transactions on Algorithms. 2012;(3):30. doi:10.1145/2229163.2229174
LibreCat | Files available | DOI
 

2012 | Journal Article | LibreCat-ID: 5183
Bodden E, Lam P, Hendren L. Partially Evaluating Finite-State Runtime Monitors Ahead of Time. ACM Transactions on Programming Languages and Systems. 2012;34(2):1-52. doi:10.1145/2220365.2220366
LibreCat | Files available | DOI | Download (ext.)
 

2012 | Dissertation | LibreCat-ID: 586
Drzevitzky S. Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security. Universität Paderborn; 2012.
LibreCat | Files available | Download (ext.)
 

2012 | Bachelorsthesis | LibreCat-ID: 593
Rojahn T. Optimale Zuteilung von Nutzern zu verteilten Cloud-Standorten. Universität Paderborn; 2012.
LibreCat
 

2012 | Bachelorsthesis | LibreCat-ID: 598
Mammadov F. Methoden zur Bestimmung von innerbetrieblichen Verrechnungspreisen. Universität Paderborn; 2012.
LibreCat
 

2012 | Bachelorsthesis | LibreCat-ID: 606
Löken N. Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für Signaturen auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas. Universität Paderborn; 2012.
LibreCat
 

2012 | Mastersthesis | LibreCat-ID: 618
Kurras S. Distributed Sampling of Regular Graphs. Universität Paderborn; 2012.
LibreCat
 

Filters and Search Terms

year=2012

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed