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.
5711 Publications
2009 | Journal Article | LibreCat-ID: 46418
Trautmann, H., Wagner, T., Naujoks, B., Preuss, M., & Mehnen, J. (2009). Statistical Methods for Convergence Detection of Multi-Objective Evolutionary Algorithms. Evolutionary Computation, 17(4), 493–509. https://doi.org/10.1162/evco.2009.17.4.17403
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 46417
Trautmann, H., & Mehnen, J. (2009). Preference-based Pareto optimization in certain and noisy environments. Engineering Optimization, 41(1), 23–38. https://doi.org/10.1080/03052150802347926
LibreCat
| DOI
2008 | Report | LibreCat-ID: 2513
Biermann, T., Dannewitz, C., & Karl, H. (2008). Extended Results on an Adaptive Resource/Performance Trade-Off for Resolving Complex Queries in P2P Networks.
LibreCat
| Files available
2008 | Dissertation | LibreCat-ID: 19615
Schomaker, G. (2008). Distributed Resource Allocation and Management in Heterogeneous Networks (Vol. 259). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
2008 | Conference Paper | LibreCat-ID: 19686
Briest, P. (2008). Uniform Budgets and the Envy-Free Pricing Problem. In Proceedings of the 35th InternationalColloquium on Automata, Languages and Programming (ICALP). https://doi.org/10.1007/978-3-540-70575-8_66
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19687
Briest, P., Krysta, P., & Babaioff, M. (2008). On the Approximability of Combinatorial Exchange Problems. In Proceedings of the 1st International Symposium on Algorithmic Game Theory (SAGT). Cham. https://doi.org/10.1007/978-3-540-79309-0_9
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19812
Schindelhauer, C., & Mahlmann, P. (2008). Random Graphs for Peer-to-Peer Overlays. The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS), Proceedings of the Final Workshop, 222, 1–22.
LibreCat
2008 | Conference Paper | LibreCat-ID: 19813
Ooi, C. C., & Schindelhauer, C. (2008). 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. https://doi.org/10.1007/978-0-387-84839-6_6
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19832
Ooi, C. C., & Schindelhauer, C. (2008). 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). https://doi.org/10.1007/978-3-642-00644-9_4
LibreCat
| DOI
2008 | Mastersthesis | LibreCat-ID: 19950
Pietrzyk, P. (2008). Lokale Strategien zur Optimierung von Kommunikationsketten.
LibreCat
| Files available
2008 | Dissertation | LibreCat-ID: 20262
Hamann, H. (2008). Space-Time Continuous Models of Swarm Robotic Systems. https://doi.org/10.1007/978-3-642-13377-0
LibreCat
| DOI
2008 | Preprint | LibreCat-ID: 26235
Ziegler, M., & Koolen, W. M. (2008). Kolmogorov Complexity Theory over the Reals. In arXiv:0802.2027.
LibreCat
2008 | Conference Paper | LibreCat-ID: 26243
Köhler, S., & Ziegler, M. (2008). On the Stability of Fast Polynomial Arithmetic. Proc. 8th Conference on Real Numbers and Computers, 147–156.
LibreCat
2008 | Book Chapter | LibreCat-ID: 26262
Ziegler, M. (2008). A Meta-Theory of Physics and Computation. In Verhandlungen der Deutschen Physikalischen Gesellschaft (p. 145). Deutsche Physikalische Gesellschaft (DPG).
LibreCat
2008 | Journal Article | LibreCat-ID: 26280
Meer, K., & Ziegler, M. (2008). An explicit solution to Post’s Problem over the reals. Journal of Complexity, 3–15. https://doi.org/10.1016/j.jco.2006.09.004
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3203
Wehrheim, H. (2008). Refinement in the Presence of Unknowns. Electr. Notes Theor. Comput. Sci., 255--264. https://doi.org/10.1016/j.entcs.2008.02.023
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3204
Estler, H. .-}Christian, & Wehrheim, H. (2008). Alloy as a Refactoring Checker? Electr. Notes Theor. Comput. Sci., 331--357. https://doi.org/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. (2008). Integrating a formal method into a software engineering process with {UML} and Java. Formal Asp. Comput., (2), 161--204. https://doi.org/10.1007/s00165-007-0042-7
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3206
Brückner, I., Dräger, K., Finkbeiner, B., & Wehrheim, H. (2008). Slicing Abstractions. Fundam. Inform., (4), 369--392.
LibreCat
2008 | Conference Paper | LibreCat-ID: 3207
Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim, H. (2008). From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In I. Schieferdecker & A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings (pp. 94--109). https://doi.org/10.1007/978-3-540-69100-6_7
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3208
Derrick, J., Schellhorn, G., & Wehrheim, H. (2008). Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In G. Barthe & F. S. de Boer (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 (pp. 78--95). https://doi.org/10.1007/978-3-540-68863-1_6
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3209
Metzler, B., Wehrheim, H., & Wonisch, D. (2008). Decomposition for Compositional Verification. In S. Liu, T. S. E. Maibaum, & K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings (pp. 105--125). https://doi.org/10.1007/978-3-540-88194-0_9
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3210
Wehrheim, H. (2008). Bounded Model Checking for Partial Kripke Structures. In J. S. Fitzgerald, A. Elisabeth Haxthausen, & H. Yenig{\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings (pp. 380--394). https://doi.org/10.1007/978-3-540-85762-4_26
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3001
Stern, C., Adelt, P., Krummel, V., & Ackermann, M. R. (2008). Reliable Evidence of Data Integrity from an Untrusted Storage Service. In Fourth International Conference on Networking and Services (icns 2008). IEEE. https://doi.org/10.1109/icns.2008.28
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3143
Gajek, S., Jager, T., Manulis, M., & Schwenk, J. (2008). 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 (pp. 115--129). https://doi.org/10.1007/978-3-540-88313-5_8
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3144
Altmann, K., Jager, T., & Rupp, A. (2008). 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 (pp. 437--448). https://doi.org/10.1007/978-3-540-70583-3_36
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3145
Jager, T., & Schwenk, J. (2008). On the Equivalence of Generic Group Models. In Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings (pp. 200--209). https://doi.org/10.1007/978-3-540-88733-1_14
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3146
Jager, T., Jäkel, H., & Schwenk, J. (2008). Nutzung von selbstsignierten Client-Zertifikaten zur Authentifikation bei SSL/TLS. In Sicherheit 2008: Sicherheit, Schutz und Zuverlässigkeit. Konferenzband der 4. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 2.-4. April 2008 im Saarbrücker Schloss. (pp. 127--136).
LibreCat
2008 | Conference Paper | LibreCat-ID: 20938
Tichy, M., Henkler, S., Meyer, M., & von Detten, M. (2008). Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse. Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20957
Kindler, E., & Schmelter, D. (2008). Aspect-oriented modelling from a different angle. Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08. https://doi.org/10.1145/1404920.1404922
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 20964
Holtmann, J., & Tichy, M. (2008). Component Story Diagrams in Fujaba4Eclipse. Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, 44–47.
LibreCat
2008 | Mastersthesis | LibreCat-ID: 20965
Holtmann, J. (2008). Graphtransformationen für komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20966
Tichy, M., Henkler, S., Holtmann, J., & Oberthür, S. (2008). Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems. Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, 236, 27–38.
LibreCat
2008 | Mastersthesis | LibreCat-ID: 20968
Holtmann, J. (2008). Graphtransformationen für komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn.
LibreCat
2008 | Conference Paper | LibreCat-ID: 17416
Suess, T., Huber, D., Fischer, M., Laroque, C., & Dangelmaier, W. (2008). A System for Aggregated Visualization of Multiple Parallel Discrete Event Simulations. IEEE International Symposium on Parallel and Distributed Processing with Applications. https://doi.org/10.1109/ispa.2008.30
LibreCat
| DOI
2008 | Book | LibreCat-ID: 17566
Meyer auf der Heide, F. (2008). The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS) (Vol. 222). Paderborn: Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn.
LibreCat
2008 | Conference Paper | LibreCat-ID: 17868
Dangelmaier, W., Fischer, M., Huber, D., Laroque, C., & Suess, T. (2008). Aggregated 3D-visualization of a distributed simulation experiment of a queuing system. 2008 Winter Simulation Conference, 2012–2020. https://doi.org/10.1109/wsc.2008.4736296
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19003
Degener, B., Gehweiler, J., & Lammersen, C. (2008). The Kinetic Facility Location Problem. In Proceedings of the 11th Scandinavian Workshop on Algorithm Theory (SWAT) (pp. 378–389). https://doi.org/10.1007/978-3-540-69903-3_34
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19004
Gehweiler, J., Lammersen, C., & Degener, B. (2008). The Kinetic Facility Location Problem. In Proceedings of the 24th European Workshop on Computational Geometry (pp. 251–254).
LibreCat
2008 | Conference Paper | LibreCat-ID: 1926
Scheideler, C., W. Richa, A., & Santi, P. (2008). An O(log n) dominating set protocol for wireless ad-hoc networks under the physical interference model. In Proceedings of the 9th {ACM} Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2008, Hong Kong, China, May 26-30, 2008 (pp. 91--100). ACM. https://doi.org/10.1145/1374618.1374632
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 1937
Scheideler, C. (2008). Algorithms for Overlay Networks. Bulletin of the EATCS, 130--152.
LibreCat
2008 | Conference Paper | LibreCat-ID: 1938
Awerbuch, B., W. Richa, A., & Scheideler, C. (2008). A jamming-resistant MAC protocol for single-hop wireless networks. In Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, PODC 2008, Toronto, Canada, August 18-21, 2008 (pp. 45--54). ACM. https://doi.org/10.1145/1400751.1400759
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 1940 | 
Mense, M., & Scheideler, C. (2008). SPREAD: an adaptive scheme for redundant and fair storage in dynamic heterogeneous storage systems. In Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2008, San Francisco, California, USA, January 20-22, 2008 (pp. 1135--1144). SIAM.
LibreCat
| Files available
2008 | Conference Paper | LibreCat-ID: 1941
Clouser, T., Nesterenko, M., & Scheideler, C. (2008). Tiara: A Self-stabilizing Deterministic Skip List. In Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings (Vol. 5340, pp. 124--140). Springer. https://doi.org/10.1007/978-3-540-89335-6_12
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 1942
Scheideler, C. (2008). Broadcasting: Wie verbreite ich schnell Informationen? In Taschenbuch der Algorithmen (pp. 229--236). Springer. https://doi.org/10.1007/978-3-540-76394-9_22
LibreCat
| DOI
2008 | Conference (Editor) | LibreCat-ID: 1943
Hegering, H.-G., Lehmann, A., Jürgen Ohlbach, H., & Scheideler, C. (Eds.). (2008). INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 1, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 8. - 13. September, in München, Deutschland (Vol. 133).
LibreCat
2008 | Book | LibreCat-ID: 1945
Vöcking, B., Alt, H., Dietzfelbinger, M., Reischuk, R., Scheideler, C., Vollmer, H., & Wagner, D. (2008). Taschenbuch der Algorithmen.
LibreCat
| Download (ext.)
2008 | Conference Paper | LibreCat-ID: 2356
Brinkmann, A., Gudenkauf, S., Hasselbring, W., Höing, A., Karl, H., Kao, O., … Scherp, G. (2008). Employing WS-BPEL Design Patterns for Grid Service Orchestration using a Standard WS-BPEL Engine and a Grid Middleware. In Proc. Cracow Grid Workshop (CGW) (pp. 103–110).
LibreCat