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.

14344 Publications

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

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

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

2010 | Conference Paper | LibreCat-ID: 3139
Generic Compilers for Authenticated Key Exchange
T. Jager, F. Kohlar, S. Schäge, J. Schwenk, 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: 3141
Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model
K. Haralambiev, T. Jager, E. Kiltz, V. Shoup, 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 | Journal Article | LibreCat-ID: 3189
Model transformations across views
J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.
LibreCat | DOI

2010 | Conference Paper | LibreCat-ID: 3191
Model-Driven Development with Mechatronic {UML}
W. Schäfer, H. Wehrheim, 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, 2010, pp. 533--554.
LibreCat | DOI

2010 | Conference Paper | LibreCat-ID: 3196
{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems
K. Dräger, A. Kupriyanov, B. Finkbeiner, H. Wehrheim, in: J. Esparza, R. Majumdar (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, 2010, pp. 271--274.
LibreCat | DOI

2010 | Journal Article | LibreCat-ID: 2648
Einfluss der Finanzierung auf die Steuerbarkeit und Vorteilhaftigkeit von Investitionen
D. Kundisch, G. Satzger, Der Betrieb 63 (2010) 569–576.

2010 | Journal Article | LibreCat-ID: 2605
Lebenszyklusorientierte Investitionsplanung
S. Betz, Der Betrieb 63 (2010) 912–916.


Filter Publications

Display / Sort

Citation Style: Default

Export / Embed