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.
5786 Publications
2010 | Journal Article | LibreCat-ID: 2991
Krueger, Alexander, Volker Leutnant, Reinhold Haeb-Umbach, Marcel Ackermann, and Johannes Blömer. “On the Initialization of Dynamic Models for Speech Features.” Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2993
Schrieb, Jonas. “Efficient and Compact CCA Security from Partitioned IBKEM.” Proceedings of the 3rd Western European Workshop on Research in Cryptology, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2994
Schäfer, Wilhelm, Ansgar Trächtler, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O’Grady, Marco Platzner, Franz Rammig, and Wolfgang Reif. “Engineering Self-Coordinating Software Intensive Systems.” In Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10. ACM Press, 2010. https://doi.org/10.1145/1882362.1882428.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3139
Jager, Tibor, Florian Kohlar, Sven Schäge, and Jörg Schwenk. “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, 232--249, 2010. https://doi.org/10.1007/978-3-642-17373-8_14.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3140
Jager, Tibor, and Andy Rupp. “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, 539--556, 2010. https://doi.org/10.1007/978-3-642-17373-8_31.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3141
Haralambiev, Kristiyan, Tibor Jager, Eike Kiltz, and Victor Shoup. “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, 1--18, 2010. https://doi.org/10.1007/978-3-642-13013-7_1.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3189
Derrick, John, and Heike Wehrheim. “Model Transformations across Views.” Sci. Comput. Program., no. 3 (2010): 192--210. https://doi.org/10.1016/j.scico.2009.11.004.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3191
Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic {UML}.” In Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, edited by Gregor Engels, Claus Lewerentz, Wilhelm Sch{\"{a}}fer, Andy Sch{\"{u}}rr, and Bernhard Westfechtel, 533--554. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-17322-6_23.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3193
Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.” In Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, edited by Jin Song Dong and Huibiao Zhu, 534--548. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16901-4_35.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3194
Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques.” In Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M{\’{e}}ry and Stephan Merz, 183--198. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16265-7_14.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 27159
Samara, Sufyan, and Gunnar Schomaker. “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. https://doi.org/10.1109/cit.2010.304.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20934
Detten, Markus von, Matthias Meyer, and Dietrich Travkin. “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, 2:299–300. New York, NY, USA: ACM Press, 2010.
LibreCat
2010 | Report | LibreCat-ID: 20935
Detten, Markus von, Matthias Meyer, and Dietrich Travkin. Reclipse - A Reverse Engineering Tool Suite, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20936
Löffler, Renate, Matthias Meyer, and Matthias Gottschalk. “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, 57–67. New York, NY, USA: ACM, 2010.
LibreCat
2010 | Book Chapter | LibreCat-ID: 20961
Seebach, Hella, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, and Wilhelm Schäfer. “Designing Self-Healing in Automotive Systems.” In Lecture Notes in Computer Science. Berlin, Heidelberg, 2010. https://doi.org/10.1007/978-3-642-16576-4_4.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 20962
Holtmann, Jörg. “Mit Satzmustern von Textuellen Anforderungen Zu Modellen.” OBJEKTspektrum, no. RE/2010 (2010).
LibreCat
2010 | Conference Paper | LibreCat-ID: 20963
Meyer, Jan, Jörg Holtmann, Wilhelm Schäfer, and Ulrich A. Nickel. “Eine Erweiterte Systemmodellierung Zur Entwicklung von Softwareintensiven Anwendungen in Der Automobilindustrie.” In Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium), Vol. P-160. GI-Edition - Lecture Notes in Informatics (LNI). Bonner Koellen Verlag, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 17422
Fischer, Matthias, Hendrik Renken, Christoph Laroque, Guido Schaumann, and Wilhelm Dangelmaier. “Automated 3D-Motion Planning for Ramps and Stairs in Intra-Logistics Material Flow Simulations.” In Proceedings of the 2010 Winter Simulation Conference, 2010. https://doi.org/10.1109/wsc.2010.5678906.
LibreCat
| DOI
2010 | Report | LibreCat-ID: 17462
Gehweiler, Joachim, Friedhelm Meyer auf der Heide, and Ulf-Peter Schroeder. A Large-Scale Distributed Environment for Peer-to-Peer Services. Paderborn: Heinz Nixdorf Institut, 2010.
LibreCat
| Files available
2010 | Report | LibreCat-ID: 17464
Blesa, Maria J., Christian Blum, Angelo de Caro, Bastian Degener, Barbara Kempkes, Piere Leone, Giuseppe Persiano, Friedhelm Meyer auf der Heide, and Georgios Mylonas. Adapting a Sensor Net to the Dynamic Environment in a Wildlife Scenario - a Case Study, 2010.
LibreCat
| Files available