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.
7577 Publications
2012 | Conference Paper | LibreCat-ID: 3136
Hofheinz D, Jager T, Knapp E. Waters Signatures with Optimal Security Reduction. In: Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings. ; 2012:66--83. doi:10.1007/978-3-642-30057-8_5
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3182
Schellhorn G, Wehrheim H, Derrick J. How to Prove Algorithms Linearisable. In: Madhusudan P, A. Seshia S, eds. Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. Lecture Notes in Computer Science. ; 2012:243--259. doi:10.1007/978-3-642-31424-7_21
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 1884
Monien B, Scheideler C. Selfish Distributed Optimization. In: Euro-Par 2012 Parallel Processing - 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings. Vol 7484. Lecture Notes in Computer Science. Springer; 2012:1--2. doi:10.1007/978-3-642-32820-6_1
LibreCat
| DOI
2012 | Dissertation | LibreCat-ID: 19379
Teutenberg D. Entwicklung einer Vorgehensweise zur Abschätzung der Einflüsse konstruktions- und fertigungsbedingter Toleranzen auf die mechanischen Eigenschaften von Klebverbindungen unter zyklischer Belastung. Aachen: Shaker Verlag; 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 20914
Fockel M, Heidl P, Höfflinger J, et al. Application and Evaluation in the Automotive Domain. In: Model-Based Engineering of Embedded Systems. ; 2012. doi:10.1007/978-3-642-34614-9_12
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 18087
Meister DM. Vermittlungswissenschaft in der Wissensgesellschaft. In: Erwägen Wissen Ethik. Jg. 23/2012 (Heft 3). . Vol Heft 3. JG 23/2012. Stuttgart: Lucius & Lucius Verlagsges. mbH; 2012:379-380.
LibreCat
2012 | Book | LibreCat-ID: 22367
Lessmeier C, Piantsop Mbo’o C, Coenen I, Zimmer D, Hameyer K. Untersuchung von Bauteilschäden Elektrischer Antriebsstränge Im Belastungsprüfstand Mittels Statorstromanalyse. Vol 81. Aachener Schriften zur Rohstoff- und Entsorgungstechnik des Instituts für Maschinentechnik der Rohstoffindustrie; 2012:509-521.
LibreCat
2012 | Book | LibreCat-ID: 22372
Zimmer D. Elektromechanische Antriebe. Carl Hanser Verlag; 2012:237-267.
LibreCat
2012 | Journal Article | LibreCat-ID: 2176
Herres-Pawlis S, Birkenheuer G, Brinkmann A, et al. Workflow-enhanced conformational analysis of guanidine zinc complexes via a science gateway. Studies in Health Technology and Informatics. 2012;175:142-151. doi:10.3233/978-1-61499-054-3-142
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 786
Künsemöller J, Karl H. On Local Separation of Processing and Storage in Infrastructure-as-a-Service. In: Economics of Grids, Clouds, Systems, and Services - 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings. ; 2012:125--138. doi:10.1007/978-3-642-35194-5_10
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 8056
Huma Z, Gerth C, Engels G, Juwig O. Towards an Automatic Service Discovery for UML-based Rich Service Descriptions. In: Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MODELS’12). Vol 7590. LNCS. Berlin/Heidelberg: Springer-Verlag; 2012:709-725. doi:http://dx.doi.org/10.1007/978-3-642-33666-9_45
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 568
Jungmann A, Kleinjohann B. Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition. In: Proceedings of the 9th IEEE International Conference on Service Computing (SCC). ; 2012:701-702. doi:10.1109/SCC.2012.76
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 569
Becker S, Heinzemann C, Priesterjahn C. Towards Modeling Reconfiguration in Hierarchical Component Architectures. In: Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE). ; 2012:23--28. doi:10.1145/2304736.2304742
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 571
Jungmann A, Kleinjohann B. Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition. In: Proceedings of the 4th International Conferences on Advanced Service Computing (SERVICE COMPUTATION). ; 2012:43-47.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 572
Huma Z, Gerth C, Engels G, Juwig O. Towards an Automatic Service Discovery for UML-based Rich Service Descriptions. In: Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS). LNCS. ; 2012:709--725. doi:10.1007/978-3-642-33666-9_45
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 573
Arifulina S. Towards a Framework for the Integration of Modeling Languages. In: W. Eisenecker U, Bucholdt C, eds. Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)). CEUR Workshop Proceedings. ; 2012:23--26.
LibreCat
| Files available
2012 | Conference (Editor) | LibreCat-ID: 577
Richa AW, Scheideler C, eds. Stabilization, Safety, and Security of Distributed Systems.; 2012. doi:10.1007/978-3-642-33536-5
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 580
Cord-Landwehr A, Kling P, Mallmann Trenn F. Slow Down & Sleep for Profit in Online Deadline Scheduling. In: Even G, Rawitz D, eds. Proceedings of the 1st Mediterranean Conference on Algorithms (MedAlg). LNCS. ; 2012:218-231. doi:10.1007/978-3-642-34862-4_17
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 585
Petrlic R. Proxy Re-Encryption in a Privacy-Preserving Cloud Computing DRM Scheme. In: Proceedings of 4th International Symposium on Cyberspace Safety and Security (CSS). LNCS. ; 2012:194-211. doi:10.1007/978-3-642-35362-8_16
LibreCat
| Files available
| DOI
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.)