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.

8959 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): 1648–65. https://doi.org/10.1016/j.tcs.2008.12.045.
LibreCat | DOI
 

2009 | Book Chapter | LibreCat-ID: 3000
Schrieb, Jonas, Heike Wehrheim, and Daniel Wonisch. “Three-Valued Spotlight Abstractions.” In FM 2009: Formal Methods, 106–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. https://doi.org/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): 135--151. https://doi.org/10.1016/j.entcs.2009.08.022.
LibreCat | DOI
 

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

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

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

2009 | Conference Paper | LibreCat-ID: 1833
Ahlgren, Bengt, Vinicio Vercellone, Matteo D’Ambrosio, Marco Marchisio, Ian Marsh, Christian Dannewitz, Börje Ohlman, Kostas Pentikousis, Ove Strandberg, and René Rembarz. “Design Considerations for a Network of Information.” In Proceedings of the 2008 ACM CoNEXT Conference on - CONEXT ’08. ACM Press, 2009. https://doi.org/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): 234--260. https://doi.org/10.1007/s00224-008-9099-9.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 1934
Gall, Dominik, Riko Jacob, Andrea W. Richa, Christian Scheideler, Stefan Schmid, and Hanjo Täubig. “Brief Announcement: On the Time Complexity of Distributed Topological Self-Stabilization.” In Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, 5873:781--782. Lecture Notes in Computer Science. Springer, 2009. https://doi.org/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 (2009): 99 – 124.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed