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.

9887 Publications


2008 | Conference Paper | LibreCat-ID: 19813
Ooi CC, Schindelhauer C. Detours Save Energy in Mobile Wireless Networks. In: MWCN’08: Proc. of IFIP Joint Conference on Mobile Wireless Communications Networks (MWCN 2008) and Personal Wireless Communications (PWC 2008). Springer; 2008. doi:10.1007/978-0-387-84839-6_6
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 19832
Ooi CC, Schindelhauer C. Energy-Efficient Distributed Target Tracking Using Wireless Relay Robots. In: ARS’08: Proc. of the 9th International Symposium on Distributed Autonomous Robotic Systems (DARS 2008). ; 2008. doi:10.1007/978-3-642-00644-9_4
LibreCat | DOI
 

2008 | Mastersthesis | LibreCat-ID: 19950
Pietrzyk P. Lokale Strategien Zur Optimierung von Kommunikationsketten.; 2008.
LibreCat | Files available
 

2008 | Dissertation | LibreCat-ID: 20262
Hamann H. Space-Time Continuous Models of Swarm Robotic Systems.; 2008. doi:10.1007/978-3-642-13377-0
LibreCat | DOI
 

2008 | Preprint | LibreCat-ID: 26235
Ziegler M, Koolen WM. Kolmogorov Complexity Theory over the Reals. arXiv:08022027. Published online 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 26243
Köhler S, Ziegler M. On the Stability of Fast Polynomial Arithmetic. In: Proc. 8th Conference on Real Numbers and Computers. ; 2008:147-156.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26255
Ziegler M. Physically-Relativized Church-Turing Hypotheses. Applied Mathematics and Computation. Published online 2008.
LibreCat | arXiv
 

2008 | Book Chapter | LibreCat-ID: 26262
Ziegler M. A Meta-Theory of Physics and Computation. In: Verhandlungen Der Deutschen Physikalischen Gesellschaft. Deutsche Physikalische Gesellschaft (DPG); 2008:145.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26280
Meer K, Ziegler M. An explicit solution to Post’s Problem over the reals. Journal of Complexity. Published online 2008:3-15. doi:10.1016/j.jco.2006.09.004
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3203
Wehrheim H. Refinement in the Presence of Unknowns. Electr Notes Theor Comput Sci. 2008:255--264. doi:10.1016/j.entcs.2008.02.023
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3204
Estler H.-}Christian, Wehrheim H. Alloy as a Refactoring Checker? Electr Notes Theor Comput Sci. 2008:331--357. doi:10.1016/j.entcs.2008.06.015
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3205
Möller M, Olderog E-R, Rasch H, Wehrheim H. Integrating a formal method into a software engineering process with {UML} and Java. Formal Asp Comput. 2008;(2):161--204. doi:10.1007/s00165-007-0042-7
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3206
Brückner I, Dräger K, Finkbeiner B, Wehrheim H. Slicing Abstractions. Fundam Inform. 2008;(4):369--392.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3207
Engels G, Kleppe A, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In: Schieferdecker I, Hartman A, eds. Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:94--109. doi:10.1007/978-3-540-69100-6_7
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3208
Derrick J, Schellhorn G, Wehrheim H. Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In: Barthe G, S. de Boer F, eds. Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings. Lecture Notes in Computer Science. ; 2008:78--95. doi:10.1007/978-3-540-68863-1_6
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3209
Metzler B, Wehrheim H, Wonisch D. Decomposition for Compositional Verification. In: Liu S, S. E. Maibaum T, Araki K, eds. Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:105--125. doi:10.1007/978-3-540-88194-0_9
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3210
Wehrheim H. Bounded Model Checking for Partial Kripke Structures. In: S. Fitzgerald J, Elisabeth Haxthausen A, Yenig{\"{u}}n H, eds. Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:380--394. doi:10.1007/978-3-540-85762-4_26
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3001
Stern C, Adelt P, Krummel V, Ackermann MR. Reliable Evidence of Data Integrity from an Untrusted Storage Service. In: Fourth International Conference on Networking and Services (Icns 2008). IEEE; 2008. doi:10.1109/icns.2008.28
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3143
Gajek S, Jager T, Manulis M, Schwenk J. A Browser-Based Kerberos Authentication Scheme. In: Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings. ; 2008:115--129. doi:10.1007/978-3-540-88313-5_8
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3144
Altmann K, Jager T, Rupp A. On Black-Box Ring Extraction and Integer Factorization. In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations. ; 2008:437--448. doi:10.1007/978-3-540-70583-3_36
LibreCat | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed