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.
6034 Publications
2008 | Conference Paper | LibreCat-ID: 19813
Ooi, Chia Ching, and Christian Schindelhauer. “Detours Save Energy in Mobile Wireless Networks.” 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, Chia Ching, and Christian Schindelhauer. “Energy-Efficient Distributed Target Tracking Using Wireless Relay Robots.” 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, Peter. Lokale Strategien Zur Optimierung von Kommunikationsketten. 2008.
LibreCat
| Files available
2008 | Dissertation | LibreCat-ID: 20262
Hamann, Heiko. 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, Martin, and Wouter M. Koolen. “Kolmogorov Complexity Theory over the Reals.” ArXiv:0802.2027, 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 26243
Köhler, Sven, and Martin Ziegler. “On the Stability of Fast Polynomial Arithmetic.” Proc. 8th Conference on Real Numbers and Computers, 2008, pp. 147–56.
LibreCat
2008 | Book Chapter | LibreCat-ID: 26262
Ziegler, Martin. “A Meta-Theory of Physics and Computation.” Verhandlungen Der Deutschen Physikalischen Gesellschaft, Deutsche Physikalische Gesellschaft (DPG), 2008, p. 145.
LibreCat
2008 | Journal Article | LibreCat-ID: 26280
Meer, Klaus, and Martin Ziegler. “An Explicit Solution to Post’s Problem over the Reals.” Journal of Complexity, 2008, pp. 3–15, doi:10.1016/j.jco.2006.09.004.
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3203
Wehrheim, Heike. “Refinement in the Presence of Unknowns.” Electr. Notes Theor. Comput. Sci., 2008, pp. 255--264, doi:10.1016/j.entcs.2008.02.023.
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3204
Estler, H. .. }Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?” Electr. Notes Theor. Comput. Sci., 2008, pp. 331--357, doi:10.1016/j.entcs.2008.06.015.
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3205
Möller, Michael, et al. “Integrating a Formal Method into a Software Engineering Process with {UML} and Java.” Formal Asp. Comput., no. 2, 2008, pp. 161--204, doi:10.1007/s00165-007-0042-7.
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3206
Brückner, Ingo, et al. “Slicing Abstractions.” Fundam. Inform., no. 4, 2008, pp. 369--392.
LibreCat
2008 | Conference Paper | LibreCat-ID: 3207
Engels, Gregor, et al. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations.” Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, edited by Ina Schieferdecker and Alan Hartman, 2008, pp. 94--109, doi:10.1007/978-3-540-69100-6_7.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3208
Derrick, John, et al. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.” Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings, edited by Gilles Barthe and Frank S. de Boer, 2008, pp. 78--95, doi:10.1007/978-3-540-68863-1_6.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3209
Metzler, Björn, et al. “Decomposition for Compositional Verification.” Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, edited by Shaoying Liu et al., 2008, pp. 105--125, doi:10.1007/978-3-540-88194-0_9.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3210
Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.” Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald et al., 2008, pp. 380--394, doi:10.1007/978-3-540-85762-4_26.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3001
Stern, Claudius, et al. “Reliable Evidence of Data Integrity from an Untrusted Storage Service.” 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, Sebastian, et al. “A Browser-Based Kerberos Authentication Scheme.” Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings, 2008, pp. 115--129, doi:10.1007/978-3-540-88313-5_8.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3144
Altmann, Kristina, et al. “On Black-Box Ring Extraction and Integer Factorization.” 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, pp. 437--448, doi:10.1007/978-3-540-70583-3_36.
LibreCat
| DOI