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.
1355 Publications
2011 | Conference Paper | LibreCat-ID: 3138
Jager T, Somorovsky J. How to break XML encryption. In: Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011. ; 2011:413--422. doi:10.1145/2046707.2046756
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3183
Schneider S, Treharne H, Wehrheim H. Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study. Electr Notes Theor Comput Sci. 2011:69--80. doi:10.1016/j.entcs.2011.11.019
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3184
Derrick J, Schellhorn G, Wehrheim H. Mechanically verified proof obligations for linearizability. {ACM} Trans Program Lang Syst. 2011;(1):4:1--4:43. doi:10.1145/1889997.1890001
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3185
Ruhroth T, Wehrheim H, Ziegert S. ReL: {A} Generic Refactoring Language for Specification and Execution. In: 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011. ; 2011:83--90. doi:10.1109/SEAA.2011.22
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3186
Derrick J, Schellhorn G, Wehrheim H. Verifying Linearisability with Potential Linearisation Points. In: J. Butler M, Schulte W, eds. {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science. ; 2011:323--337. doi:10.1007/978-3-642-21437-0_25
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3187
Steenken D, Wehrheim H, Wonisch D. Sound and Complete Abstract Graph Transformation. In: da Silva Sim{\~{a}}o A, Morgan C, eds. Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science. ; 2011:92--107. doi:10.1007/978-3-642-25032-3_7
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3188
Schneider S, Treharne H, Wehrheim H. A {CSP} Account of Event-B Refinement. In: Derrick J, A. Boiten E, Reeves S, eds. Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. {EPTCS}. ; 2011:139--154. doi:10.4204/EPTCS.55.9
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 26981
Sondermann-Wölke C, Sextro W, Reinold P, Trächtler A. Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs. In: Technische Zuverlässigkeit TTZ. ; 2011.
LibreCat
2011 | Dissertation | LibreCat-ID: 26982
Krol R. Eine Reduktionsmethode Zur Ableitung Elektromechanischer Ersatzmodelle Für Piezoelektrische Wandler Unter Verwendung Der Finite-Elemente- Methode (FEM). Vol Band 293. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293; 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 27010
Diethelm K, Remer T, Jilani H, Kunz C, Buyken A. Associations between the macronutrient composition of the evening meal and average daily sleep duration in early childhood. Clinical Nutrition. Published online 2011:640-646. doi:10.1016/j.clnu.2011.05.004
LibreCat
| DOI