Steenken D, Wehrheim H, Wonisch D. Towards A Shape Analysis for Graph Transformation Systems. CoRR. 2010.
LibreCat: /record/3198

Wachsmuth H, Prettenhofer P, Stein B. Efficient Statement Identification for Automatic Market Forecasting. In: Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010). ; 2010:1128-1136.
LibreCat: /record/3810

Ackermann MR, Blömer J. Bregman Clustering for Separable Instances. In: SWAT 2010. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2010:212-223. doi:10.1007/978-3-642-13731-0_21
LibreCat: /record/2988
DOI: 10.1007/978-3-642-13731-0_21

Ackermann MR, Blömer J, Sohler C. Clustering for Metric and Nonmetric Distance Measures. ACM Trans Algorithms. 2010;(4):59:1--59:26. doi:10.1145/1824777.1824779
LibreCat: /record/2990
DOI: 10.1145/1824777.1824779

Krueger A, Leutnant V, Haeb-Umbach R, Ackermann M, Blömer J. On the initialization of dynamic models for speech features. Proc of ITG Fachtagung Sprachkommunikation ITG, Bochum, Germany. 2010.
LibreCat: /record/2991

Schrieb J. Efficient and Compact CCA Security from Partitioned IBKEM. 2010.
LibreCat: /record/2993

Schäfer W, Trächtler A, Birattari M, et al. Engineering self-coordinating software intensive systems. In: Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10. ACM Press; 2010. doi:10.1145/1882362.1882428
LibreCat: /record/2994
DOI: 10.1145/1882362.1882428

Jager T, Kohlar F, Schäge S, Schwenk J. Generic Compilers for Authenticated Key Exchange. In: Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings. ; 2010:232--249. doi:10.1007/978-3-642-17373-8_14
LibreCat: /record/3139
DOI: 10.1007/978-3-642-17373-8_14

Jager T, Rupp A. The Semi-Generic Group Model and Applications to Pairing-Based Cryptography. In: Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings. ; 2010:539--556. doi:10.1007/978-3-642-17373-8_31
LibreCat: /record/3140
DOI: 10.1007/978-3-642-17373-8_31

Haralambiev K, Jager T, Kiltz E, Shoup V. Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model. In: Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings. ; 2010:1--18. doi:10.1007/978-3-642-13013-7_1
LibreCat: /record/3141
DOI: 10.1007/978-3-642-13013-7_1

Derrick J, Wehrheim H. Model transformations across views. Sci Comput Program. 2010;(3):192--210. doi:10.1016/j.scico.2009.11.004
LibreCat: /record/3189
DOI: 10.1016/j.scico.2009.11.004

Schäfer W, Wehrheim H. Model-Driven Development with Mechatronic UML. In: Engels G, Lewerentz C, Sch\'22afer W, Sch\'22urr A, Westfechtel B, eds. Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday. Lecture Notes in Computer Science. ; 2010:533--554. doi:10.1007/978-3-642-17322-6_23
LibreCat: /record/3191
DOI: 10.1007/978-3-642-17322-6_23

Timm N, Wehrheim H. On Symmetries and Spotlights - Verifying Parameterised Systems. In: Song Dong J, Zhu H, eds. Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. Lecture Notes in Computer Science. ; 2010:534--548. doi:10.1007/978-3-642-16901-4_35
LibreCat: /record/3193
DOI: 10.1007/978-3-642-16901-4_35

Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. In: M\rquote ery D, Merz S, eds. Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Lecture Notes in Computer Science. ; 2010:183--198. doi:10.1007/978-3-642-16265-7_14
LibreCat: /record/3194
DOI: 10.1007/978-3-642-16265-7_14

Samara S, Schomaker G. Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip. In: 2010 10th IEEE International Conference on Computer and Information Technology. ; 2010. doi:10.1109/cit.2010.304
LibreCat: /record/27159
DOI: 10.1109/cit.2010.304

von Detten M, Meyer M, Travkin D. Reverse Engineering with the Reclipse Tool Suite. In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010. Vol 2. ACM Press; 2010:299-300.
LibreCat: /record/20934

von Detten M, Meyer M, Travkin D. Reclipse - A Reverse Engineering Tool Suite.; 2010.
LibreCat: /record/20935

Löffler R, Meyer M, Gottschalk M. Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications. In: Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care. ACM; 2010:57-67.
LibreCat: /record/20936

Seebach H, Nafz F, Holtmann J, et al. Designing Self-healing in Automotive Systems. In: Lecture Notes in Computer Science. ; 2010. doi:10.1007/978-3-642-16576-4_4
LibreCat: /record/20961
DOI: 10.1007/978-3-642-16576-4_4

Holtmann J. Mit Satzmustern von textuellen Anforderungen zu Modellen. OBJEKTspektrum. 2010;(RE/2010).
LibreCat: /record/20962