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.

8680 Publications


2009 | Journal Article | LibreCat-ID: 2999
Blömer, Johannes, and Stefanie Naewe. “Sampling Methods for Shortest Vectors, Closest Vectors and Successive Minima.” Theoretical Computer Science, no. 18, 2009, pp. 1648–65, doi:10.1016/j.tcs.2008.12.045.
LibreCat | DOI
 

2009 | Book Chapter | LibreCat-ID: 3000
Schrieb, Jonas, et al. “Three-Valued Spotlight Abstractions.” FM 2009: Formal Methods, Springer Berlin Heidelberg, 2009, pp. 106–22, doi:10.1007/978-3-642-05089-3_8.
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 3199
Wehrheim, Heike, and Daniel Wonisch. “Compositional {CSP} Traces Refinement Checking.” Electr. Notes Theor. Comput. Sci., no. 2, 2009, pp. 135--151, doi:10.1016/j.entcs.2009.08.022.
LibreCat | DOI
 

2009 | Conference (Editor) | LibreCat-ID: 3202
Leuschel, Michael, and Heike Wehrheim, editors. Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings. 2009, doi:10.1007/978-3-642-00255-7.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 1011
Volkhausen, Tobias, et al. “Improving Network Coded Cooperation by Soft Information.” Sensor, Mesh and Ad Hoc Communications and Networks Workshops, 2009. SECON Workshops’ 09. 6th Annual IEEE Communications Society Conference On, 2009, pp. 1--6.
LibreCat | Download (ext.)
 

2009 | Journal Article | LibreCat-ID: 1674
Krimphove, Dieter. “Kompensation Der „Banken-Krise“ Durch Das Anlageberatungsrecht.” Finanz Betrieb , no. Heft 6, 2009, p. 324 ff.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 1833
Ahlgren, Bengt, et al. “Design Considerations for a Network of Information.” Proceedings of the 2008 ACM CoNEXT Conference on - CONEXT ’08, ACM Press, 2009, doi:10.1145/1544012.1544078.
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 1927
Awerbuch, Baruch, and Christian Scheideler. “Towards a Scalable and Robust DHT.” Theory Comput. Syst., no. 2, 2009, pp. 234--260, doi:10.1007/s00224-008-9099-9.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 1934
Gall, Dominik, et al. “Brief Announcement: On the Time Complexity of Distributed Topological Self-Stabilization.” Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, vol. 5873, Springer, 2009, pp. 781--782, doi:10.1007/978-3-642-05118-0_58.
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 1996
Krimphove, Dieter. “Gefühltes Recht – Über Die Hirnorganische Evolution von Recht.” Rechtstheorie, no. Jg. 40, Heft 1, Dunker und Humblot, 2009, pp. 99 – 124.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed