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.
5685 Publications
2010 | Conference Paper | LibreCat-ID: 2993
Schrieb, J. (2010). Efficient and Compact CCA Security from Partitioned IBKEM.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2994
Schäfer, W., Trächtler, A., Birattari, M., Blömer, J., Dorigo, M., Engels, G., … Reif, W. (2010). Engineering self-coordinating software intensive systems. In Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER ’10. ACM Press. https://doi.org/10.1145/1882362.1882428
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3139
Jager, T., Kohlar, F., Schäge, S., & Schwenk, J. (2010). 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 (pp. 232--249). https://doi.org/10.1007/978-3-642-17373-8_14
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3140
Jager, T., & Rupp, A. (2010). 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 (pp. 539--556). https://doi.org/10.1007/978-3-642-17373-8_31
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3141
Haralambiev, K., Jager, T., Kiltz, E., & Shoup, V. (2010). 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 (pp. 1--18). https://doi.org/10.1007/978-3-642-13013-7_1
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3189
Derrick, J., & Wehrheim, H. (2010). Model transformations across views. Sci. Comput. Program., (3), 192--210. https://doi.org/10.1016/j.scico.2009.11.004
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3191
Schäfer, W., & Wehrheim, H. (2010). Model-Driven Development with Mechatronic {UML}. In G. Engels, C. Lewerentz, W. Sch{\"{a}}fer, A. Sch{\"{u}}rr, & B. Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday (pp. 533--554). https://doi.org/10.1007/978-3-642-17322-6_23
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3193
Timm, N., & Wehrheim, H. (2010). On Symmetries and Spotlights - Verifying Parameterised Systems. In J. Song Dong & H. Zhu (Eds.), Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings (pp. 534--548). https://doi.org/10.1007/978-3-642-16901-4_35
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3194
Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim, H. (2010). Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques. In D. M{\’{e}}ry & S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings (pp. 183--198). https://doi.org/10.1007/978-3-642-16265-7_14
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 27159
Samara, S., & Schomaker, G. (2010). Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip. 2010 10th IEEE International Conference on Computer and Information Technology. https://doi.org/10.1109/cit.2010.304
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20934
von Detten, M., Meyer, M., & Travkin, D. (2010). Reverse Engineering with the Reclipse Tool Suite. Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, 2, 299–300.
LibreCat
2010 | Report | LibreCat-ID: 20935
von Detten, M., Meyer, M., & Travkin, D. (2010). Reclipse - A Reverse Engineering Tool Suite.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20936
Löffler, R., Meyer, M., & Gottschalk, M. (2010). Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications. Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, 57–67.
LibreCat
2010 | Book Chapter | LibreCat-ID: 20961
Seebach, H., Nafz, F., Holtmann, J., Meyer, J., Tichy, M., Reif, W., & Schäfer, W. (2010). Designing Self-healing in Automotive Systems. In Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-16576-4_4
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 20962
Holtmann, J. (2010). Mit Satzmustern von textuellen Anforderungen zu Modellen. OBJEKTspektrum, RE/2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20963
Meyer, J., Holtmann, J., Schäfer, W., & Nickel, U. A. (2010). Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie. Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium), P-160.
LibreCat
2010 | Conference Paper | LibreCat-ID: 17422
Fischer, M., Renken, H., Laroque, C., Schaumann, G., & Dangelmaier, W. (2010). Automated 3D-motion planning for ramps and stairs in intra-logistics material flow simulations. In Proceedings of the 2010 Winter Simulation Conference. https://doi.org/10.1109/wsc.2010.5678906
LibreCat
| DOI
2010 | Report | LibreCat-ID: 17462
Gehweiler, J., Meyer auf der Heide, F., & Schroeder, U.-P. (2010). A Large-Scale Distributed Environment for Peer-to-Peer Services. Paderborn: Heinz Nixdorf Institut.
LibreCat
| Files available
2010 | Report | LibreCat-ID: 17464
Blesa, M. J., Blum, C., de Caro, A., Degener, B., Kempkes, B., Leone, P., … Mylonas, G. (2010). Adapting a sensor net to the dynamic environment in a wildlife scenario - a case study.
LibreCat
| Files available
2010 | Preprint | LibreCat-ID: 17586
Brandes, P., Degener, B., Kempkes, B., & Meyer auf der Heide, F. (2010). Building short chains of mobile robots locally with a bounded stepwidth.
LibreCat
| Files available