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.

14346 Publications

2010 | Conference Paper | LibreCat-ID: 2237
Niehörster O, Brinkmann A, Fels G, Krüger J, Simon J. Enforcing SLAs in Scientific Clouds. In: Proc. Int. Conf. on Cluster Computing (CLUSTER). IEEE; 2010:178-187. doi:10.1109/CLUSTER.2010.42
LibreCat | DOI

2010 | Journal Article | LibreCat-ID: 2016
Krimphove D. Das Gesamtgesellschaftliche Phänomen “Arbeit” in kultur- und rechtstheoretischer Perspektive. Rechtstheorie. 2010;(Jg. 41, Heft 1):53 – 72.

2010 | Journal Article | LibreCat-ID: 1676
Krimphove D. Im Überblick: Die Beteiligungsrechte des Betriebsrats . Der Betriebsrat. 2010;(Heft 7):28 f.

2010 | Conference Paper | LibreCat-ID: 1811
Dannewitz C, Golic J, Ohlman B, Ahlgren B. Secure Naming for a Network of Information. In: 2010 INFOCOM IEEE Conference on Computer Communications Workshops. IEEE; 2010. doi:10.1109/infcomw.2010.5466661
LibreCat | DOI

2010 | Journal Article | LibreCat-ID: 16673
Tantardini M, Fantino E, Ren Y, Pergola P, Gómez G, Masdemont JJ. Spacecraft trajectories to the L3 point of the Sun–Earth three-body problem. Celestial Mechanics and Dynamical Astronomy. 2010:215-232. doi:10.1007/s10569-010-9299-x
LibreCat | DOI

2010 | Conference Paper | LibreCat-ID: 3139
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 | DOI

2010 | Conference Paper | LibreCat-ID: 3141
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 | DOI

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

2010 | Conference Paper | LibreCat-ID: 3191
Schäfer W, Wehrheim H. Model-Driven Development with Mechatronic {UML}. In: Engels G, Lewerentz C, Sch{\"{a}}fer W, Sch{\"{u}}rr 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 | DOI

2010 | Conference Paper | LibreCat-ID: 3196
Dräger K, Kupriyanov A, Finkbeiner B, Wehrheim H. {SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems. In: Esparza J, Majumdar R, eds. Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Lecture Notes in Computer Science. ; 2010:271--274. doi:10.1007/978-3-642-12002-2_22
LibreCat | DOI


Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed