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.
5685 Publications
2010 | Conference Paper | LibreCat-ID: 2993
Schrieb, Jonas. Efficient and Compact CCA Security from Partitioned IBKEM. 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2994
Schäfer, Wilhelm, et al. “Engineering Self-Coordinating Software Intensive Systems.” Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10, ACM Press, 2010, doi:10.1145/1882362.1882428.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3139
Jager, Tibor, et al. “Generic Compilers for Authenticated Key Exchange.” Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings, 2010, pp. 232--249, doi:10.1007/978-3-642-17373-8_14.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3140
Jager, Tibor, and Andy Rupp. “The Semi-Generic Group Model and Applications to Pairing-Based Cryptography.” Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings, 2010, pp. 539--556, doi:10.1007/978-3-642-17373-8_31.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3141
Haralambiev, Kristiyan, et al. “Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model.” Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings, 2010, pp. 1--18, doi:10.1007/978-3-642-13013-7_1.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3189
Derrick, John, and Heike Wehrheim. “Model Transformations across Views.” Sci. Comput. Program., no. 3, 2010, pp. 192--210, doi:10.1016/j.scico.2009.11.004.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3191
Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic {UML}.” Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, edited by Gregor Engels et al., 2010, pp. 533--554, doi:10.1007/978-3-642-17322-6_23.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3193
Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.” Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, edited by Jin Song Dong and Huibiao Zhu, 2010, pp. 534--548, doi:10.1007/978-3-642-16901-4_35.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3194
Hülsbusch, Mathias, et al. “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques.” Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M{\’{e}}ry and Stephan Merz, 2010, pp. 183--198, doi:10.1007/978-3-642-16265-7_14.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 27159
Samara, Sufyan, and Gunnar Schomaker. “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, 2010, doi:10.1109/cit.2010.304.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20934
von Detten, Markus, et al. “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, vol. 2, ACM Press, 2010, pp. 299–300.
LibreCat
2010 | Report | LibreCat-ID: 20935
von Detten, Markus, et al. Reclipse - A Reverse Engineering Tool Suite. 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20936
Löffler, Renate, et al. “Formal Scenario-Based Requirements Specification and Test Case Generation in Healthcare Applications.” Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, ACM, 2010, pp. 57–67.
LibreCat
2010 | Book Chapter | LibreCat-ID: 20961
Seebach, Hella, et al. “Designing Self-Healing in Automotive Systems.” Lecture Notes in Computer Science, 2010, doi:10.1007/978-3-642-16576-4_4.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 20962
Holtmann, Jörg. “Mit Satzmustern von Textuellen Anforderungen Zu Modellen.” OBJEKTspektrum, no. RE/2010, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20963
Meyer, Jan, et al. “Eine Erweiterte Systemmodellierung Zur Entwicklung von Softwareintensiven Anwendungen in Der Automobilindustrie.” Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium), vol. P-160, Bonner Koellen Verlag, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 17422
Fischer, Matthias, et al. “Automated 3D-Motion Planning for Ramps and Stairs in Intra-Logistics Material Flow Simulations.” Proceedings of the 2010 Winter Simulation Conference, 2010, doi:10.1109/wsc.2010.5678906.
LibreCat
| DOI
2010 | Report | LibreCat-ID: 17462
Gehweiler, Joachim, et al. A Large-Scale Distributed Environment for Peer-to-Peer Services. Heinz Nixdorf Institut, 2010.
LibreCat
| Files available
2010 | Report | LibreCat-ID: 17464
Blesa, Maria J., et al. Adapting a Sensor Net to the Dynamic Environment in a Wildlife Scenario - a Case Study. 2010.
LibreCat
| Files available
2010 | Preprint | LibreCat-ID: 17586
Brandes, Philipp, et al. Building Short Chains of Mobile Robots Locally with a Bounded Stepwidth. 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 17665
Bar-Yehuda, Reuven, et al. “Bandwidth Allocation in Cellular Networks with Multiple Interferences.” DIALM-PODC, 2010, pp. 33–42.
LibreCat
2010 | Book Chapter | LibreCat-ID: 18761
Hamann, Heiko, et al. “Hormone-Based Control for Multi-Modular Robotics.” Symbiotic Multi-Robot Organisms: Reliability, Adaptability, Evolution, Springer, 2010, pp. 240--263.
LibreCat
2010 | Dissertation | LibreCat-ID: 18910
Bienkowski, Marcin. Page Migration in Dynamic Networks. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Dissertation | LibreCat-ID: 18927
Dynia, Miroslaw. Collective Graph Exploration. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Journal Article | LibreCat-ID: 19011
Degener, Bastian, et al. “Kinetic Facility Location.” Algorithmica, vol. 57, no. 3, 2010, pp. 562–84, doi:10.1007/s00453-008-9250-7.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19013
Gehweiler, Joachim, and Henning Meyerhenke. “A Distributed Diffusive Heuristic for Clustering a Virtual P2P Supercomputer.” Proceeedings of 24th International Parallel and Distributed Processing Symposium (IPDPS, HPGC), 2010, doi:10.1109/ipdpsw.2010.5470922.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19016
Gehweiler, Joachim, and Henning Meyerhenke. “On Dynamic Graph Partitioning and Graph Clustering Using Diffusion.” Dagstuhl Seminar Proceedings 10261: Algorithm Engineering, 2010.
LibreCat
| Files available
2010 | Report | LibreCat-ID: 19018
Thies, Michael, and Joachim Gehweiler. Thread Migration and Checkpointing in Java. 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 19023
Kernbach, Serge, et al. “Adaptive Action Selection Mechanisms for Evolutionary Multimodular Robotics.” Artificial Life XII (ALife XII), MIT Press, 2010, pp. 781–88.
LibreCat
2010 | Conference Paper | LibreCat-ID: 19029
Briest, Patrick, et al. “Improved Hardness of Approximation for Stackelberg Shortest-Path Pricing.” Workshop on Internet and Network Economics (WINE), 2010, doi:10.1007/978-3-642-17572-5_37.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 1903
Meyer auf der Heide, Friedhelm, and Christian Scheideler. “Algorithmische Grundlagen Verteilter Speichersysteme.” Informatik Spektrum, no. 5, 2010, pp. 468--474, doi:10.1007/s00287-010-0470-2.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19033
Briest, Patrick, et al. “Pricing Randomized Allocations.” Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, 2010, doi:10.1137/1.9781611973075.49.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 1904
Gavoille, Cyril, et al. “Foreword.” Theory of Computing Systems, no. 4, 2010, pp. 809--810, doi:10.1007/s00224-010-9284-5.
LibreCat
| DOI
2010 | Dissertation | LibreCat-ID: 19041
Mahlmann, Peter. Peer-to-Peer Networks Based on Random Graphs. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Dissertation | LibreCat-ID: 19042
Degener, Bastian. Local, Distributed Approximation Algorithms for Geometric Assignment Problems. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 1905
Gall, Dominik, et al. “Time Complexity of Distributed Topological Self-Stabilization: The Case of Graph Linearization.” LATIN 2010: Theoretical Informatics, 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings, vol. 6034, Springer, 2010, pp. 294--305, doi:10.1007/978-3-642-12200-2_27.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1906
Richa, Andrea W., et al. “Brief Announcement: Towards Robust Medium Access in Multi-Hop Networks.” Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, ACM, 2010, pp. 114--115, doi:10.1145/1835698.1835726.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1907
Richa, Andrea W., et al. “A Jamming-Resistant MAC Protocol for Multi-Hop Wireless Networks.” Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings, vol. 6343, Springer, 2010, pp. 179--193, doi:10.1007/978-3-642-15763-9_17.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1908
Doerr, Benjamin, et al. “Brief Announcement: Stabilizing Consensus with the Power of Two Choices.” Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings, vol. 6343, Springer, 2010, pp. 528--530, doi:10.1007/978-3-642-15763-9_50.
LibreCat
| DOI
2010 | Conference (Editor) | LibreCat-ID: 1909
Scheideler, Christian, editor. 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. 2010, doi:10.1007/978-3-642-16988-5.
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 1915
Savorić, Michael, et al. “Selected Properties of a Joint Congestion Controller for TCP Connections.” Providing Quality of Service in Heterogeneous Environments, Proceedings of the 18th International Teletraffic Congress - ITC-18, Elsevier, 2010, pp. 861–70, doi:10.1016/s1388-3437(03)80235-4.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1916
Karl, Holger, and S. MENGESHA. “ANALYSING CAPACITY IMPROVEMENTS IN WIRELESS NETWORKS BY RELAYING.” Wireless LANs and Home Networks, WORLD SCIENTIFIC, 2010, doi:10.1142/9789812799562_0031.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1810
Oberthür, Simon, et al. “Flexible Resource Management for Self-X Systems: An Evaluation.” 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, IEEE, 2010, doi:10.1109/isorcw.2010.30.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1811
Dannewitz, Christian, et al. “Secure Naming for a Network of Information.” 2010 INFOCOM IEEE Conference on Computer Communications Workshops, IEEE, 2010, doi:10.1109/infcomw.2010.5466661.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 18136
Fischer, Matthias, et al. “Asynchronous Parallel Reliefboard Computation for Scene Object Approximation.” Eurographics Symposium on Parallel Graphics and Visualization (EGPGV), The Eurographics Association, 2010, pp. 43–51, doi:10.2312/EGPGV/EGPGV10/043-051.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 18289
Suess, Tim, et al. “Evaluation of a C-Load-Collision-Protocol for Load-Balancing in Interactive Environments.” 2010 IEEE Fifth International Conference on Networking, Architecture, and Storage, 2010, pp. 448–56, doi:10.1109/nas.2010.52.
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 18290
Suess, Tim, et al. “Gewichtetes C-Collision-Protokoll Zur Balancierung Eines Parallelen Out-of-Core-Renderingsystems.” Augmented & Virtual Reality in Der Produktentstehung, 2010, pp. 39–52.
LibreCat
2010 | Journal Article | LibreCat-ID: 1831
Valentin, Stefan, and Holger Karl. “Cooperative Feedback to Improve Capacity and Error Rate in Multiuser Diversity Systems - an OFDM Case Study.” European Transactions on Telecommunications, vol. 21, no. 8, Wiley-Blackwell, 2010, pp. 714–24, doi:10.1002/ett.1454.
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 22940
Gausemeier, Jürgen, et al. “Integrative Konzipierung von MID-Produkt und MID-Produktionssystem.” Frühzeitige Zuverlässigkeitsanalyse mechatronischer Systeme, edited by Jürgen Gausemeier, Carl Hanser Verlag, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 21771
Domik, Gitta, and Gerhard Fischer. “Coping with Complex Real-World Problems: Strategies for Developing the Competency of Transdisciplinary Collaboration.” Key Competencies in the Knowledge Society, edited by Nicholas Reynolds and Màrta Turcsànyi-Szabò, Springer Berlin Heidelberg, 2010, pp. 90–101, doi:10.1007/978-3-642-15378-5_9.
LibreCat
| DOI