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.
10631 Publications
2012 | Conference Paper | LibreCat-ID: 3136
Waters Signatures with Optimal Security Reduction
D. Hofheinz, T. Jager, E. Knapp, 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, pp. 66--83.
LibreCat
| DOI
D. Hofheinz, T. Jager, E. Knapp, 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, pp. 66--83.
2012 | Conference Paper | LibreCat-ID: 3182
How to Prove Algorithms Linearisable
G. Schellhorn, H. Wehrheim, J. Derrick, in: P. Madhusudan, S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012, pp. 243--259.
LibreCat
| DOI
G. Schellhorn, H. Wehrheim, J. Derrick, in: P. Madhusudan, S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012, pp. 243--259.
2012 | Conference Paper | LibreCat-ID: 27176
Computer science and society as a field of computer science
D. Engbring, H. Selke, 5 (2012) 111–116.
LibreCat
D. Engbring, H. Selke, 5 (2012) 111–116.
2012 | Conference Paper | LibreCat-ID: 21490
Experimentelle Untersuchung und Simulation des Crashverhaltens mechanisch gefügter Verbindungen
D. Hein, G. Meschut, O. Hahn, M. Bier, W. Harder, in: FOSTA, EFB, DVS (Ed.), 2. Fügetechnisches Gemeinschaftskolloquium, 2012.
LibreCat
D. Hein, G. Meschut, O. Hahn, M. Bier, W. Harder, in: FOSTA, EFB, DVS (Ed.), 2. Fügetechnisches Gemeinschaftskolloquium, 2012.
2012 | Book Chapter | LibreCat-ID: 17856
Change in Contemporary English. A Grammatical Study
I. Mindt, G. Leech, M. Hundt, C. Mair, N. Smith, in: Archiv Für Das Studium Der Neueren Sprachen Und Literaturen 164: 249: 2, Cambridge University Press, 2009, Cambridge, 2012, pp. 394–396.
LibreCat
I. Mindt, G. Leech, M. Hundt, C. Mair, N. Smith, in: Archiv Für Das Studium Der Neueren Sprachen Und Literaturen 164: 249: 2, Cambridge University Press, 2009, Cambridge, 2012, pp. 394–396.
2012 | Conference Paper | LibreCat-ID: 1884
Selfish Distributed Optimization
B. Monien, C. Scheideler, in: Euro-Par 2012 Parallel Processing - 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings, Springer, 2012, pp. 1--2.
LibreCat
| DOI
B. Monien, C. Scheideler, in: Euro-Par 2012 Parallel Processing - 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings, Springer, 2012, pp. 1--2.
2012 | Dissertation | LibreCat-ID: 19379
Entwicklung einer Vorgehensweise zur Abschätzung der Einflüsse konstruktions- und fertigungsbedingter Toleranzen auf die mechanischen Eigenschaften von Klebverbindungen unter zyklischer Belastung
D. Teutenberg, Entwicklung einer Vorgehensweise zur Abschätzung der Einflüsse konstruktions- und fertigungsbedingter Toleranzen auf die mechanischen Eigenschaften von Klebverbindungen unter zyklischer Belastung, Shaker Verlag, Aachen, 2012.
LibreCat
D. Teutenberg, Entwicklung einer Vorgehensweise zur Abschätzung der Einflüsse konstruktions- und fertigungsbedingter Toleranzen auf die mechanischen Eigenschaften von Klebverbindungen unter zyklischer Belastung, Shaker Verlag, Aachen, 2012.
2012 | Journal Article | LibreCat-ID: 19380
Analytische Abschätzung des Einflusses von Fertigungstoleranzen auf Klebverbindungseigenschaften unter zyklischer Belastung
D. Teutenberg, O. Hahn, G. Meschut, 2. Doktorandenseminar Klebtechnik 292 (2012).
LibreCat
D. Teutenberg, O. Hahn, G. Meschut, 2. Doktorandenseminar Klebtechnik 292 (2012).
2012 | Book Chapter | LibreCat-ID: 20914
Application and Evaluation in the Automotive Domain
M. Fockel, P. Heidl, J. Höfflinger, H. Hönninger, J. Holtmann, W. Horn, J. Meyer, M. Meyer, J. Schäuffele, in: Model-Based Engineering of Embedded Systems, Berlin, Heidelberg, 2012.
LibreCat
| DOI
M. Fockel, P. Heidl, J. Höfflinger, H. Hönninger, J. Holtmann, W. Horn, J. Meyer, M. Meyer, J. Schäuffele, in: Model-Based Engineering of Embedded Systems, Berlin, Heidelberg, 2012.
2012 | Book Chapter | LibreCat-ID: 18087
Vermittlungswissenschaft in der Wissensgesellschaft
D.M. Meister, in: Erwägen Wissen Ethik. Jg. 23/2012 (Heft 3). , Lucius & Lucius Verlagsges. mbH, Stuttgart, 2012, pp. 379–380.
LibreCat
D.M. Meister, in: Erwägen Wissen Ethik. Jg. 23/2012 (Heft 3). , Lucius & Lucius Verlagsges. mbH, Stuttgart, 2012, pp. 379–380.
2012 | Book | LibreCat-ID: 22367
Untersuchung von Bauteilschäden elektrischer Antriebsstränge im Belastungsprüfstand mittels Statorstromanalyse
C. Lessmeier, C. Piantsop Mbo’o, I. Coenen, D. Zimmer, K. Hameyer, Untersuchung von Bauteilschäden Elektrischer Antriebsstränge Im Belastungsprüfstand Mittels Statorstromanalyse, Aachener Schriften zur Rohstoff- und Entsorgungstechnik des Instituts für Maschinentechnik der Rohstoffindustrie, 2012.
LibreCat
C. Lessmeier, C. Piantsop Mbo’o, I. Coenen, D. Zimmer, K. Hameyer, Untersuchung von Bauteilschäden Elektrischer Antriebsstränge Im Belastungsprüfstand Mittels Statorstromanalyse, Aachener Schriften zur Rohstoff- und Entsorgungstechnik des Instituts für Maschinentechnik der Rohstoffindustrie, 2012.
2012 | Book | LibreCat-ID: 22372
Elektromechanische Antriebe
D. Zimmer, Elektromechanische Antriebe, Carl Hanser Verlag, 2012.
LibreCat
D. Zimmer, Elektromechanische Antriebe, Carl Hanser Verlag, 2012.
2012 | Journal Article | LibreCat-ID: 2172
STIR: Software for Tomographic Image Reconstruction Release 2
K. Thielemans, C. Tsoumpas, S. Mustafovic, T. Beisel, P. Aguiar, N. Dikaios, M. W Jacobson, Physics in Medicine and Biology 57 (2012) 867–883.
LibreCat
| DOI
K. Thielemans, C. Tsoumpas, S. Mustafovic, T. Beisel, P. Aguiar, N. Dikaios, M. W Jacobson, Physics in Medicine and Biology 57 (2012) 867–883.
2012 | Journal Article | LibreCat-ID: 2176
Workflow-enhanced conformational analysis of guanidine zinc complexes via a science gateway
S. Herres-Pawlis, G. Birkenheuer, A. Brinkmann, S. Gesing, R. Grunzke, R. Jäkel, O. Kohlbacher, J. Krüger, I. Dos Santos Vieira, Studies in Health Technology and Informatics 175 (2012) 142–151.
LibreCat
| DOI
S. Herres-Pawlis, G. Birkenheuer, A. Brinkmann, S. Gesing, R. Grunzke, R. Jäkel, O. Kohlbacher, J. Krüger, I. Dos Santos Vieira, Studies in Health Technology and Informatics 175 (2012) 142–151.
2012 | Conference Paper | LibreCat-ID: 786
On Local Separation of Processing and Storage in Infrastructure-as-a-Service
J. Künsemöller, H. Karl, in: Economics of Grids, Clouds, Systems, and Services - 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings, 2012, pp. 125--138.
LibreCat
| DOI
J. Künsemöller, H. Karl, in: Economics of Grids, Clouds, Systems, and Services - 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings, 2012, pp. 125--138.
2012 | Conference Paper | LibreCat-ID: 8056
Towards an Automatic Service Discovery for UML-based Rich Service Descriptions
Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MODELS’12), Springer-Verlag, Berlin/Heidelberg, 2012, pp. 709–725.
LibreCat
| DOI
Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MODELS’12), Springer-Verlag, Berlin/Heidelberg, 2012, pp. 709–725.
2012 | Conference Paper | LibreCat-ID: 568
Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the 9th IEEE International Conference on Service Computing (SCC), 2012, pp. 701–702.
LibreCat
| Files available
| DOI
A. Jungmann, B. Kleinjohann, in: Proceedings of the 9th IEEE International Conference on Service Computing (SCC), 2012, pp. 701–702.
2012 | Conference Paper | LibreCat-ID: 569
Towards Modeling Reconfiguration in Hierarchical Component Architectures
S. Becker, C. Heinzemann, C. Priesterjahn, in: Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE), 2012, pp. 23--28.
LibreCat
| Files available
| DOI
S. Becker, C. Heinzemann, C. Priesterjahn, in: Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE), 2012, pp. 23--28.
2012 | Journal Article | LibreCat-ID: 570
Towards higher-dimensional topological self-stabilization: A distributed algorithm for Delaunay graphs
R. Jacob, S. Ritscher, C. Scheideler, S. Schmid, Theoretical Computer Science (2012) 137–148.
LibreCat
| Files available
| DOI
R. Jacob, S. Ritscher, C. Scheideler, S. Schmid, Theoretical Computer Science (2012) 137–148.
2012 | Conference Paper | LibreCat-ID: 571
Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the 4th International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2012, pp. 43–47.
LibreCat
| Files available
A. Jungmann, B. Kleinjohann, in: Proceedings of the 4th International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2012, pp. 43–47.