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.
5786 Publications
2008 | Conference Paper | LibreCat-ID: 19687
@inproceedings{Briest_Krysta_Babaioff_2008, place={Cham}, title={On the Approximability of Combinatorial Exchange Problems}, DOI={https://doi.org/10.1007/978-3-540-79309-0_9}, booktitle={Proceedings of the 1st International Symposium on Algorithmic Game Theory (SAGT)}, author={Briest, Patrick and Krysta, Piotr and Babaioff, Moshe}, year={2008} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19812
@inproceedings{Schindelhauer_Mahlmann_2008, title={Random Graphs for Peer-to-Peer Overlays}, number={222}, booktitle={The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS), Proceedings of the Final Workshop}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Schindelhauer, Christian and Mahlmann, Peter}, year={2008}, pages={1–22} }
LibreCat
2008 | Conference Paper | LibreCat-ID: 19813
@inproceedings{Ooi_Schindelhauer_2008, title={Detours Save Energy in Mobile Wireless Networks}, DOI={10.1007/978-0-387-84839-6_6}, booktitle={MWCN’08: Proc. of IFIP Joint Conference on Mobile Wireless Communications Networks (MWCN 2008) and Personal Wireless Communications (PWC 2008)}, publisher={Springer}, author={Ooi, Chia Ching and Schindelhauer, Christian}, year={2008} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19832
@inproceedings{Ooi_Schindelhauer_2008, title={Energy-Efficient Distributed Target Tracking Using Wireless Relay Robots}, DOI={10.1007/978-3-642-00644-9_4}, booktitle={ARS’08: Proc. of the 9th International Symposium on Distributed Autonomous Robotic Systems (DARS 2008)}, author={Ooi, Chia Ching and Schindelhauer, Christian}, year={2008} }
LibreCat
| DOI
2008 | Mastersthesis | LibreCat-ID: 19950
@book{Pietrzyk_2008, title={Lokale Strategien zur Optimierung von Kommunikationsketten}, author={Pietrzyk, Peter}, year={2008} }
LibreCat
| Files available
2008 | Dissertation | LibreCat-ID: 20262
@book{Hamann_2008, title={Space-Time Continuous Models of Swarm Robotic Systems}, DOI={10.1007/978-3-642-13377-0}, author={Hamann, Heiko}, year={2008} }
LibreCat
| DOI
2008 | Preprint | LibreCat-ID: 26235
@article{Ziegler_Koolen_2008, title={Kolmogorov Complexity Theory over the Reals}, journal={arXiv:0802.2027}, author={Ziegler, Martin and Koolen, Wouter M.}, year={2008} }
LibreCat
2008 | Conference Paper | LibreCat-ID: 26243
@inproceedings{Köhler_Ziegler_2008, title={On the Stability of Fast Polynomial Arithmetic}, booktitle={Proc. 8th Conference on Real Numbers and Computers}, author={Köhler, Sven and Ziegler, Martin}, year={2008}, pages={147–156} }
LibreCat
2008 | Book Chapter | LibreCat-ID: 26262
@inbook{Ziegler_2008, title={A Meta-Theory of Physics and Computation}, booktitle={Verhandlungen der Deutschen Physikalischen Gesellschaft}, publisher={Deutsche Physikalische Gesellschaft (DPG)}, author={Ziegler, Martin}, year={2008}, pages={145} }
LibreCat
2008 | Journal Article | LibreCat-ID: 26280
@article{Meer_Ziegler_2008, title={An explicit solution to Post’s Problem over the reals}, DOI={10.1016/j.jco.2006.09.004}, journal={Journal of Complexity}, author={Meer, Klaus and Ziegler, Martin}, year={2008}, pages={3–15} }
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3203
@article{Wehrheim_2008, title={Refinement in the Presence of Unknowns}, DOI={10.1016/j.entcs.2008.02.023}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={2008}, pages={255--264} }
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3204
@article{Estler_Wehrheim_2008, title={Alloy as a Refactoring Checker?}, DOI={10.1016/j.entcs.2008.06.015}, journal={Electr. Notes Theor. Comput. Sci.}, author={Estler, H.{-}Christian and Wehrheim, Heike}, year={2008}, pages={331--357} }
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3205
@article{Möller_Olderog_Rasch_Wehrheim_2008, title={Integrating a formal method into a software engineering process with {UML} and Java}, DOI={10.1007/s00165-007-0042-7}, number={2}, journal={Formal Asp. Comput.}, author={Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}, year={2008}, pages={161--204} }
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3206
@article{Brückner_Dräger_Finkbeiner_Wehrheim_2008, title={Slicing Abstractions}, number={4}, journal={Fundam. Inform.}, author={Brückner, Ingo and Dräger, Klaus and Finkbeiner, Bernd and Wehrheim, Heike}, year={2008}, pages={369--392} }
LibreCat
2008 | Conference Paper | LibreCat-ID: 3207
@inproceedings{Engels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations}, DOI={10.1007/978-3-540-69100-6_7}, booktitle={Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}, author={Engels, Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, editor={Schieferdecker, Ina and Hartman, AlanEditors}, year={2008}, pages={94--109}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3208
@inproceedings{Derrick_Schellhorn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack}, DOI={10.1007/978-3-540-68863-1_6}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Barthe, Gilles and S. de Boer, FrankEditors}, year={2008}, pages={78--95}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3209
@inproceedings{Metzler_Wehrheim_Wonisch_2008, series={Lecture Notes in Computer Science}, title={Decomposition for Compositional Verification}, DOI={10.1007/978-3-540-88194-0_9}, booktitle={Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings}, author={Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel}, editor={Liu, Shaoying and S. E. Maibaum, T. and Araki, KeijiroEditors}, year={2008}, pages={105--125}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3210
@inproceedings{Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Bounded Model Checking for Partial Kripke Structures}, DOI={10.1007/978-3-540-85762-4_26}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}, author={Wehrheim, Heike}, editor={S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig{\"{u}}n, H{\"{u}}sn{\"{u}}Editors}, year={2008}, pages={380--394}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI