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.
10457 Publications
2010 | Conference Paper | LibreCat-ID: 19796
Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks
M. Mense, C. Schindelhauer, in: Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2010, pp. 624--639.
LibreCat
| DOI
M. Mense, C. Schindelhauer, in: Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2010, pp. 624--639.
2010 | Conference Paper | LibreCat-ID: 19824
A Self-Stabilizing Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs
T. Janson, P. Mahlmann, C. Schindelhauer, in: Proceedings of the 16th International Conference on Parallel and Distributed Systems, 2010.
LibreCat
| DOI
T. Janson, P. Mahlmann, C. Schindelhauer, in: Proceedings of the 16th International Conference on Parallel and Distributed Systems, 2010.
2010 | Conference Paper | LibreCat-ID: 19829
Coverage-hole trap model in target tracking using distributed relay-robot network
H. Miao, C.C. Ooi, X. Wu, C. Schindelhauer, in: Proceedings of the 2010 ACM Symposium on Applied Computing - SAC ’10, 2010, pp. 1299–1304.
LibreCat
| DOI
H. Miao, C.C. Ooi, X. Wu, C. Schindelhauer, in: Proceedings of the 2010 ACM Symposium on Applied Computing - SAC ’10, 2010, pp. 1299–1304.
2010 | Conference Paper | LibreCat-ID: 19933
Distributed and dynamic resource management for self-optimizing mechatronic systems
G. Schomaker, S. Oberthur, M. Kortenjan, in: 8th IEEE International Conference on Industrial Informatics (INDIN’2010), 2010.
LibreCat
| DOI
G. Schomaker, S. Oberthur, M. Kortenjan, in: 8th IEEE International Conference on Industrial Informatics (INDIN’2010), 2010.
2010 | Book | LibreCat-ID: 20182
Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming
H. Hamann, Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming, Springer, Berlin, Germany, 2010.
LibreCat
| DOI
H. Hamann, Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming, Springer, Berlin, Germany, 2010.
2010 | Conference Paper | LibreCat-ID: 20220
A Hormone-Based Controller for Evolutionary Multi-Modular Robotics: From Single Modules to Gait Learning
H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, in: Proceedings of the IEEE Congress on Evolutionary Computation (CEC’10), 2010, pp. 244--251.
LibreCat
| DOI
H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, in: Proceedings of the IEEE Congress on Evolutionary Computation (CEC’10), 2010, pp. 244--251.
2010 | Conference Paper | LibreCat-ID: 20222
Complex Taxis-Behaviour in a Novel Bio-Inspired Robot Controller
T. Schmickl, H. Hamann, J. Stradner, R. Mayet, K. Crailsheim, in: Proc. of the ALife XII Conference, MIT Press, 2010, pp. 648--655.
LibreCat
T. Schmickl, H. Hamann, J. Stradner, R. Mayet, K. Crailsheim, in: Proc. of the ALife XII Conference, MIT Press, 2010, pp. 648--655.
2010 | Conference Paper | LibreCat-ID: 20223
Artificial Hormone Reaction Networks: Towards Higher Evolvability in Evolutionary Multi-Modular Robotics
H. Hamann, J. Stradner, T. Schmickl, K. Crailsheim, in: Artificial Life XII (ALife XII), Odense, Denmark, MIT Press, 2010, pp. 773–780.
LibreCat
| arXiv
H. Hamann, J. Stradner, T. Schmickl, K. Crailsheim, in: Artificial Life XII (ALife XII), Odense, Denmark, MIT Press, 2010, pp. 773–780.
2010 | Conference Paper | LibreCat-ID: 20226
A Model of Symmetry Breaking in Collective Decision-Making
H. Hamann, B. Meyer, T. Schmickl, K. Crailsheim, in: From Animals to Animats 11, Springer, 2010, pp. 639–648.
LibreCat
| DOI
H. Hamann, B. Meyer, T. Schmickl, K. Crailsheim, in: From Animals to Animats 11, Springer, 2010, pp. 639–648.
2010 | Conference Paper | LibreCat-ID: 20258
On Adaptive Self-Organization in Artificial Robot Organisms
S. Kernbach, H. Hamann, J. Stradner, R. Thenius, T. Schmickl, K. Crailsheim, A.C. van Rossum, M. Sebag, N. Bredeche, Y. Yao, G. Baele, Y.V. de Peer, J. Timmis, M. Mohktar, A. Tyrrell, A.E. Eiben, S.P. McKibbin, W. Liu, A.F.T. Winfield, in: 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns, 2010.
LibreCat
| DOI
S. Kernbach, H. Hamann, J. Stradner, R. Thenius, T. Schmickl, K. Crailsheim, A.C. van Rossum, M. Sebag, N. Bredeche, Y. Yao, G. Baele, Y.V. de Peer, J. Timmis, M. Mohktar, A. Tyrrell, A.E. Eiben, S.P. McKibbin, W. Liu, A.F.T. Winfield, in: 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns, 2010.
2010 | Journal Article | LibreCat-ID: 24282
Robust Undetectable Interference Watermarks
R. Grza̧ślewicz, J. Kutyłowski, M. Kutyłowski, W. Pietkiewicz, ICCSA’05: Proceedings of the 2005 International Conference on Computational Science and Its Applications (2010).
LibreCat
| DOI
R. Grza̧ślewicz, J. Kutyłowski, M. Kutyłowski, W. Pietkiewicz, ICCSA’05: Proceedings of the 2005 International Conference on Computational Science and Its Applications (2010).
2010 | Conference Paper | LibreCat-ID: 3195
A {CSP} Approach to Control in Event-B
S. Schneider, H. Treharne, H. Wehrheim, in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 260--274.
LibreCat
| DOI
S. Schneider, H. Treharne, H. Wehrheim, in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 260--274.
2010 | Conference Paper | LibreCat-ID: 3196
{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems
K. Dräger, A. Kupriyanov, B. Finkbeiner, H. Wehrheim, in: J. Esparza, R. Majumdar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, 2010, pp. 271--274.
LibreCat
| DOI
K. Dräger, A. Kupriyanov, B. Finkbeiner, H. Wehrheim, in: J. Esparza, R. Majumdar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, 2010, pp. 271--274.
2010 | Journal Article | LibreCat-ID: 3198
Towards {A} Shape Analysis for Graph Transformation Systems
D. Steenken, H. Wehrheim, D. Wonisch, CoRR (2010).
LibreCat
D. Steenken, H. Wehrheim, D. Wonisch, CoRR (2010).
2010 | Conference Paper | LibreCat-ID: 3810
Efficient Statement Identification for Automatic Market Forecasting
H. Wachsmuth, P. Prettenhofer, B. Stein, in: Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010), 2010, pp. 1128–1136.
LibreCat
| Download (ext.)
H. Wachsmuth, P. Prettenhofer, B. Stein, in: Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010), 2010, pp. 1128–1136.
2010 | Book Chapter | LibreCat-ID: 2988
Bregman Clustering for Separable Instances
M.R. Ackermann, J. Blömer, in: SWAT 2010, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 212–223.
LibreCat
| DOI
M.R. Ackermann, J. Blömer, in: SWAT 2010, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 212–223.
2010 | Journal Article | LibreCat-ID: 2990
Clustering for Metric and Nonmetric Distance Measures
M.R. Ackermann, J. Blömer, C. Sohler, ACM Trans. Algorithms (2010) 59:1--59:26.
LibreCat
| DOI
M.R. Ackermann, J. Blömer, C. Sohler, ACM Trans. Algorithms (2010) 59:1--59:26.
2010 | Journal Article | LibreCat-ID: 2991
On the initialization of dynamic models for speech features
A. Krueger, V. Leutnant, R. Haeb-Umbach, M. Ackermann, J. Blömer, Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany (2010).
LibreCat
A. Krueger, V. Leutnant, R. Haeb-Umbach, M. Ackermann, J. Blömer, Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany (2010).
2010 | Conference Paper | LibreCat-ID: 2993
Efficient and Compact CCA Security from Partitioned IBKEM
J. Schrieb, (2010).
LibreCat
J. Schrieb, (2010).
2010 | Conference Paper | LibreCat-ID: 2994
Engineering self-coordinating software intensive systems
W. Schäfer, A. Trächtler, M. Birattari, J. Blömer, M. Dorigo, G. Engels, R. O’Grady, M. Platzner, F. Rammig, W. Reif, in: Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10, ACM Press, 2010.
LibreCat
| DOI
W. Schäfer, A. Trächtler, M. Birattari, J. Blömer, M. Dorigo, G. Engels, R. O’Grady, M. Platzner, F. Rammig, W. Reif, in: Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10, ACM Press, 2010.