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.
10457 Publications
2010 | Conference Paper | LibreCat-ID: 3139
T. Jager, F. Kohlar, S. Schäge, and J. 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, 2010, pp. 232--249.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3140
T. Jager and A. 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, 2010, pp. 539--556.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3141
K. Haralambiev, T. Jager, E. Kiltz, and V. 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, 2010, pp. 1--18.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3193
N. Timm and H. 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, 2010, pp. 534--548.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3194
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. 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, 2010, pp. 183--198.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 27159
S. Samara and G. Schomaker, “Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip,” 2010, doi: 10.1109/cit.2010.304.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20934
M. von Detten, M. Meyer, and D. 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, 2010, vol. 2, pp. 299–300.
LibreCat
2010 | Report | LibreCat-ID: 20935
M. von Detten, M. Meyer, and D. Travkin, Reclipse - A Reverse Engineering Tool Suite. 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20936
R. Löffler, M. Meyer, and M. 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, 2010, pp. 57–67.
LibreCat
2010 | Journal Article | LibreCat-ID: 20962
J. Holtmann, “Mit Satzmustern von textuellen Anforderungen zu Modellen,” OBJEKTspektrum, no. RE/2010, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20963
J. Meyer, J. Holtmann, W. Schäfer, and U. A. Nickel, “Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie,” in Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium), 2010, vol. P-160.
LibreCat
2010 | Report | LibreCat-ID: 17462
J. Gehweiler, F. Meyer auf der Heide, and U.-P. Schroeder, A Large-Scale Distributed Environment for Peer-to-Peer Services. Paderborn: Heinz Nixdorf Institut, 2010.
LibreCat
| Files available
2010 | Report | LibreCat-ID: 17464
M. J. Blesa et al., Adapting a sensor net to the dynamic environment in a wildlife scenario - a case study. 2010.
LibreCat
| Files available
2010 | Preprint | LibreCat-ID: 17586
P. Brandes, B. Degener, B. Kempkes, and F. Meyer auf der Heide, “Building short chains of mobile robots locally with a bounded stepwidth.” 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 17665
R. Bar-Yehuda, G. Polevoy, and D. Rawitz, “Bandwidth allocation in cellular networks with multiple interferences,” in DIALM-PODC, 2010, pp. 33–42.
LibreCat
2010 | Book Chapter | LibreCat-ID: 18761
H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, P. Levi, and S. Kernbach, “Hormone-based Control for Multi-modular Robotics,” in Symbiotic Multi-Robot Organisms: Reliability, Adaptability, Evolution, Springer, 2010, pp. 240--263.
LibreCat