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
2010 | Conference Paper | LibreCat-ID: 3141
Haralambiev, K., Jager, T., Kiltz, E., & Shoup, V. (2010). Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model. In Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings (pp. 1--18). https://doi.org/10.1007/978-3-642-13013-7_1
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3189
Derrick, J., & Wehrheim, H. (2010). Model transformations across views. Sci. Comput. Program., (3), 192--210. https://doi.org/10.1016/j.scico.2009.11.004
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3191
Schäfer, W., & Wehrheim, H. (2010). Model-Driven Development with Mechatronic {UML}. In G. Engels, C. Lewerentz, W. Sch{\"{a}}fer, A. Sch{\"{u}}rr, & B. Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday (pp. 533--554). https://doi.org/10.1007/978-3-642-17322-6_23
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3193
Timm, N., & Wehrheim, H. (2010). On Symmetries and Spotlights - Verifying Parameterised Systems. In J. Song Dong & H. Zhu (Eds.), Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings (pp. 534--548). https://doi.org/10.1007/978-3-642-16901-4_35
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3194
Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim, H. (2010). Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques. In D. M{\’{e}}ry & S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings (pp. 183--198). https://doi.org/10.1007/978-3-642-16265-7_14
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 27159
Samara, S., & Schomaker, G. (2010). Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip. 2010 10th IEEE International Conference on Computer and Information Technology. https://doi.org/10.1109/cit.2010.304
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20934
von Detten, M., Meyer, M., & Travkin, D. (2010). Reverse Engineering with the Reclipse Tool Suite. Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, 2, 299–300.
LibreCat
2010 | Report | LibreCat-ID: 20935
von Detten, M., Meyer, M., & Travkin, D. (2010). Reclipse - A Reverse Engineering Tool Suite.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20936
Löffler, R., Meyer, M., & Gottschalk, M. (2010). Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications. Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, 57–67.
LibreCat
2010 | Book Chapter | LibreCat-ID: 20961
Seebach, H., Nafz, F., Holtmann, J., Meyer, J., Tichy, M., Reif, W., & Schäfer, W. (2010). Designing Self-healing in Automotive Systems. In Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-16576-4_4
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 20962
Holtmann, J. (2010). Mit Satzmustern von textuellen Anforderungen zu Modellen. OBJEKTspektrum, RE/2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20963
Meyer, J., Holtmann, J., Schäfer, W., & Nickel, U. A. (2010). Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie. Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium), P-160.
LibreCat
2010 | Conference Paper | LibreCat-ID: 17422
Fischer, M., Renken, H., Laroque, C., Schaumann, G., & Dangelmaier, W. (2010). Automated 3D-motion planning for ramps and stairs in intra-logistics material flow simulations. In Proceedings of the 2010 Winter Simulation Conference. https://doi.org/10.1109/wsc.2010.5678906
LibreCat
| DOI
2010 | Report | LibreCat-ID: 17462
Gehweiler, J., Meyer auf der Heide, F., & Schroeder, U.-P. (2010). A Large-Scale Distributed Environment for Peer-to-Peer Services. Paderborn: Heinz Nixdorf Institut.
LibreCat
| Files available
2010 | Report | LibreCat-ID: 17464
Blesa, M. J., Blum, C., de Caro, A., Degener, B., Kempkes, B., Leone, P., … Mylonas, G. (2010). Adapting a sensor net to the dynamic environment in a wildlife scenario - a case study.
LibreCat
| Files available
2010 | Preprint | LibreCat-ID: 17586
Brandes, P., Degener, B., Kempkes, B., & Meyer auf der Heide, F. (2010). Building short chains of mobile robots locally with a bounded stepwidth.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 17665
Bar-Yehuda, R., Polevoy, G., & Rawitz, D. (2010). Bandwidth allocation in cellular networks with multiple interferences. In DIALM-PODC (pp. 33–42).
LibreCat
2010 | Book Chapter | LibreCat-ID: 18761
Hamann, H., Schmickl, T., Stradner, J., Crailsheim, K., Levi, P., & Kernbach, S. (2010). Hormone-based Control for Multi-modular Robotics. In Symbiotic Multi-Robot Organisms: Reliability, Adaptability, Evolution (pp. 240--263). Springer.
LibreCat
2010 | Dissertation | LibreCat-ID: 18910
Bienkowski, M. (2010). Page migration in dynamic networks (Vol. 282). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
2010 | Dissertation | LibreCat-ID: 18927
Dynia, M. (2010). Collective graph exploration (Vol. 284). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
2010 | Journal Article | LibreCat-ID: 19011
Degener, B., Gehweiler, J., & Lammersen, C. (2010). Kinetic Facility Location. Algorithmica, 57(3), 562–584. https://doi.org/10.1007/s00453-008-9250-7
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19013
Gehweiler, J., & Meyerhenke, H. (2010). A distributed diffusive heuristic for clustering a virtual P2P supercomputer. In Proceeedings of 24th International Parallel and Distributed Processing Symposium (IPDPS, HPGC). https://doi.org/10.1109/ipdpsw.2010.5470922
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19016
Gehweiler, J., & Meyerhenke, H. (2010). On Dynamic Graph Partitioning and Graph Clustering using Diffusion. In Dagstuhl Seminar Proceedings 10261: Algorithm Engineering.
LibreCat
| Files available
2010 | Report | LibreCat-ID: 19018
Thies, M., & Gehweiler, J. (2010). Thread Migration and Checkpointing in Java.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 19023
Kernbach, S., Schmickl, T., Hamann, H., Stradner, J., Schlachter, F., Schwarzer, C. s. F., … Matthias, R. (2010). Adaptive Action Selection Mechanisms for Evolutionary Multimodular Robotics. In Artificial Life XII (ALife XII) (pp. 781–788). MIT Press.
LibreCat
2010 | Conference Paper | LibreCat-ID: 19029
Briest, P., Chalermsook, P., Khanna, S., Laekhanukit, B., & Nanongkai, D. (2010). Improved Hardness of Approximation for Stackelberg Shortest-Path Pricing. In Workshop on Internet and Network Economics (WINE). https://doi.org/10.1007/978-3-642-17572-5_37
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 1903
Meyer auf der Heide, F., & Scheideler, C. (2010). Algorithmische Grundlagen verteilter Speichersysteme. Informatik Spektrum, (5), 468--474. https://doi.org/10.1007/s00287-010-0470-2
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19033
Briest, P., Chawla, S., Kleinberg, R., & Weinberg, S. M. (2010). Pricing Randomized Allocations. In Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms. https://doi.org/10.1137/1.9781611973075.49
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 1904
Gavoille, C., Patt-Shamir, B., & Scheideler, C. (2010). Foreword. Theory of Computing Systems, (4), 809--810. https://doi.org/10.1007/s00224-010-9284-5
LibreCat
| DOI
2010 | Dissertation | LibreCat-ID: 19041
Mahlmann, P. (2010). Peer-to-peer networks based on random graphs (Vol. 283). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
2010 | Dissertation | LibreCat-ID: 19042
Degener, B. (2010). Local, distributed approximation algorithms for geometric assignment problems (Vol. 278). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 1905
Gall, D., Jacob, R., W. Richa, A., Scheideler, C., Schmid, S., & Täubig, H. (2010). Time Complexity of Distributed Topological Self-stabilization: The Case of Graph Linearization. In LATIN 2010: Theoretical Informatics, 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings (Vol. 6034, pp. 294--305). Springer. https://doi.org/10.1007/978-3-642-12200-2_27
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1906
Richa, A. W., Zhang, J., Scheideler, C., & Schmid, S. (2010). Brief announcement: towards robust medium access in multi-hop networks. In Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010 (pp. 114--115). ACM. https://doi.org/10.1145/1835698.1835726
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1907
Richa, A. W., Scheideler, C., Schmid, S., & Zhang, J. (2010). A Jamming-Resistant MAC Protocol for Multi-Hop Wireless Networks. In Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings (Vol. 6343, pp. 179--193). Springer. https://doi.org/10.1007/978-3-642-15763-9_17
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1908
Doerr, B., Ann Goldberg, L., Minder, L., Sauerwald, T., & Scheideler, C. (2010). Brief Announcement: Stabilizing Consensus with the Power of Two Choices. In Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings (Vol. 6343, pp. 528--530). Springer. https://doi.org/10.1007/978-3-642-15763-9_50
LibreCat
| DOI
2010 | Conference (Editor) | LibreCat-ID: 1909
Scheideler, C. (Ed.). (2010). Algorithms for Sensor Systems - 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers. https://doi.org/10.1007/978-3-642-16988-5
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 1915
Savorić, M., Karl, H., & Wolisz, A. (2010). Selected properties of a joint congestion controller for TCP connections. In Providing Quality of Service in Heterogeneous Environments, Proceedings of the 18th International Teletraffic Congress - ITC-18 (pp. 861–870). Elsevier. https://doi.org/10.1016/s1388-3437(03)80235-4
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1916
Karl, H., & MENGESHA, S. (2010). ANALYSING CAPACITY IMPROVEMENTS IN WIRELESS NETWORKS BY RELAYING. In Wireless LANs and Home Networks. WORLD SCIENTIFIC. https://doi.org/10.1142/9789812799562_0031
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1810
Oberthür, S., Zaremba, L., & Lichte, H. S. (2010). Flexible Resource Management for Self-X Systems: An Evaluation. In 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. IEEE. https://doi.org/10.1109/isorcw.2010.30
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1811
Dannewitz, C., Golic, J., Ohlman, B., & Ahlgren, B. (2010). Secure Naming for a Network of Information. In 2010 INFOCOM IEEE Conference on Computer Communications Workshops. IEEE. https://doi.org/10.1109/infcomw.2010.5466661
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 18136
Fischer, M., Jähn, C., & Suess, T. (2010). Asynchronous Parallel Reliefboard Computation for Scene Object Approximation. Eurographics Symposium on Parallel Graphics and Visualization (EGPGV), 43–51. https://doi.org/10.2312/EGPGV/EGPGV10/043-051
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 18289
Suess, T., Wiesemann, T., & Fischer, M. (2010). Evaluation of a c-Load-Collision-Protocol for Load-Balancing in Interactive Environments. 2010 IEEE Fifth International Conference on Networking, Architecture, and Storage, 448–456. https://doi.org/10.1109/nas.2010.52
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 18290
Suess, T., Wiesemann, T., & Fischer, M. (2010). Gewichtetes c-Collision-Protokoll zur Balancierung eines parallelen Out-of-Core-Renderingsystems. In Augmented & Virtual Reality in der Produktentstehung (pp. 39–52).
LibreCat
2010 | Journal Article | LibreCat-ID: 1831
Valentin, S., & Karl, H. (2010). Cooperative feedback to improve capacity and error rate in multiuser diversity systems - an OFDM case study. European Transactions on Telecommunications, 21(8), 714–724. https://doi.org/10.1002/ett.1454
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 22940
Gausemeier, J., Dumitrescu, R., & Gaukstern, T. (2010). Integrative Konzipierung von MID-Produkt und MID-Produktionssystem. In J. Gausemeier (Ed.), Frühzeitige Zuverlässigkeitsanalyse mechatronischer Systeme. Carl Hanser Verlag.
LibreCat
2010 | Conference Paper | LibreCat-ID: 21771
Domik, G., & Fischer, G. (2010). Coping with Complex Real-World Problems: Strategies for Developing the Competency of Transdisciplinary Collaboration. In N. Reynolds & M. Turcsànyi-Szabò (Eds.), Key Competencies in the Knowledge Society (pp. 90–101). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-15378-5_9
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 21772
Arens, S., & Domik, G. (2010). A Survey of Transfer Functions Suitable for Volume Rendering. In R. Westermann & G. Kindlmann (Eds.), IEEE/ EG Symposium on Volume Graphics (pp. 77–83). The Eurographics Association. https://doi.org/10.2312/VG/VG10/077-083
LibreCat
| DOI
2010 | Conference (Editor) | LibreCat-ID: 7770
Engels, G., Lewerentz, C., Schäfer, W., Schürr, A., & Westfechtel, B. (Eds.). (2010). Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday (Vol. 5765). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-642-17322-6
LibreCat
| DOI
2010 | Conference (Editor) | LibreCat-ID: 7771
Engels, G., Luckey, M., Pretschner, A., & H. Reussner, R. (Eds.). (2010). Software Engineering 2010 - Workshop Proceedings (inkl. Doktoranden Symposium), Paderborn (Germany) (Vol. P-160). Bonn: Gesellschaft für Informatik (GI).
LibreCat
2010 | Conference (Editor) | LibreCat-ID: 7772
Engels, G., Luckey, M., & Schäfer, W. (Eds.). (2010). Software Engineering 2010 - Proceedings, Paderborn (Germany) (Vol. P-159). Bonn: Gesellschaft für Informatik (GI).
LibreCat