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.

15596 Publications


2007 | Book Chapter | LibreCat-ID: 2028
Overlay Networks for Peer-to-Peer Networks
A. W. Richa, C. Scheideler, in: Handbook of Approximation Algorithms and Metaheuristics., 2007.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 1842
Optimizing sleeping intervals in preamble sampling MAC for WSNs
H. Karl, in: Communication in Distributed Systems (KiVS), 2007 ITG-GI Conference, Bern / Switzerland, 2007.
LibreCat
 

2007 | Journal Article | LibreCat-ID: 2496
A note on the paradox of smaller coalitions
D. Dimitrov, C.-J. Haake, Social Choice and Welfare 30 (2007) 571–579.
LibreCat | Files available | DOI
 

2007 | Book Chapter | LibreCat-ID: 2600
Standortplanung
S. Betz, in: H.-U. Küpper (Ed.), Handwörterbuch der Betriebswirtschaft, 6th ed., Stuttgart, 2007, pp. 1660–1669.
LibreCat
 

2007 | Book Chapter | LibreCat-ID: 3002
Analysis of Countermeasures Against Access Driven Cache Attacks on AES
J. Blömer, V. Krummel, in: Selected Areas in Cryptography, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 96–109.
LibreCat | DOI | Download (ext.)
 

2007 | Book Chapter | LibreCat-ID: 3019
Cryptanalysis of Unbalanced RSA with Small CRT-Exponent
A. May, in: Advances in Cryptology — CRYPTO 2002, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 242–256.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 3021
Key Revocation with Interval Cover Families
J. Blömer, A. May, in: Selected Areas in Cryptography, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 325–341.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 3026
A Probabilistic Zero-Test for Expressions Involving Roots of Rational Numbers
J. Blömer, in: Algorithms — ESA’ 98, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 151–162.
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 3211
On using data abstractions for model checking refinements
J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3216
Refactoring Object-Oriented Specifications with Data and Processes
T. Ruhroth, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 236--251.
LibreCat | DOI
 

Filters and Search Terms

department=44

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed