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.
9935 Publications
2011 | Journal Article | LibreCat-ID: 45932
@article{Kovács_2011, title={A comparison of some efficient numerical methods for a nonlinear elliptic problem}, volume={10}, DOI={10.2478/s11533-011-0071-6}, number={1}, journal={Central European Journal of Mathematics}, publisher={Walter de Gruyter GmbH}, author={Kovács, Balázs}, year={2011}, pages={217–230} }
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 48326
@inbook{Prediger_Wessel_2011, place={Münster}, title={Darstellen–Deuten–Darstellungen vernetzen: Ein fach-und sprachintegrierter Förderansatz für mehrsprachige Lernende im Mathematikunterricht}, booktitle={Mathematiklernen unter Bedingungen der Mehrsprachigkeit–Stand und Perspektiven der Forschung und Entwicklung. Münster ua: Waxmann}, publisher={Waxmann}, author={Prediger, Susanne and Wessel, Lena}, editor={Prediger, Susanne and Özil, E.}, year={2011}, pages={163–184} }
LibreCat
2011 | Book Chapter | LibreCat-ID: 48415
@inbook{Prediger_Wessel_2011, place={Sao Paulo, Brazil}, title={Relating registers for fractions–multilingual students on their way to conceptual understanding}, booktitle={Proceedings of the ICMI Study 21 - Mathematics and Language Diversity}, author={Prediger, Susanne and Wessel, Lena}, editor={Setati, M. and Nkambule, T. and Goosen, L.}, year={2011}, pages={324–333} }
LibreCat
| Download (ext.)
2011 | Book (Editor) | LibreCat-ID: 53580
@book{Müller_Petrot_2011, title={Proceedings of the 1st International QEMU Users’ Forum}, year={2011} }
LibreCat
2011 | Journal Article | LibreCat-ID: 54323
@article{Hesse_2011, title={Complexity of numerical integration over spherical caps in a Sobolev space setting}, volume={27}, journal={Journal of Complexity}, author={Hesse, Kerstin}, year={2011}, pages={383–403} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 19678
@inproceedings{Briest_Röglin_2010, series={Lecture Notes in Computer Science}, title={The Power of Uncertainty: Bundle-Pricing for Unit-Demand Customers}, volume={6534}, DOI={10.1007/978-3-642-18318-8_5}, booktitle={Workshop on Approximation and Online Algorithms (WAOA)}, publisher={Springer}, author={Briest, Patrick and Röglin, Heiko}, year={2010}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19711
@inproceedings{Degener_Pietrzyk_Kempkes_2010, title={A local, distributed constant-factor approximation algorithm for the dynamic facility location problem }, DOI={10.1109/IPDPS.2010.5470349}, booktitle={International Parallel & Distributed Processing Symposium (IPDPS)}, author={Degener, Bastian and Pietrzyk, Peter and Kempkes, Barbara}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19796
@inproceedings{Mense_Schindelhauer_2010, series={Lecture Notes in Computer Science}, title={Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks}, volume={5873}, DOI={10.1007/978-3-642-05118-0_43}, booktitle={Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems}, author={Mense, Mario and Schindelhauer, Christian}, year={2010}, pages={624--639}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19824
@inproceedings{Janson_Mahlmann_Schindelhauer_2010, title={A Self-Stabilizing Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs}, DOI={10.1109/icpads.2010.42}, booktitle={Proceedings of the 16th International Conference on Parallel and Distributed Systems}, author={Janson, Thomas and Mahlmann, Peter and Schindelhauer, Christian}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19829
@inproceedings{Miao_Ooi_Wu_Schindelhauer_2010, title={Coverage-hole trap model in target tracking using distributed relay-robot network}, DOI={10.1145/1774088.1774365}, booktitle={Proceedings of the 2010 ACM Symposium on Applied Computing - SAC ’10}, author={Miao, Huawei and Ooi, Chia Ching and Wu, Xiaowen and Schindelhauer, Christian}, year={2010}, pages={1299–1304} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19933
@inproceedings{Schomaker_Oberthur_Kortenjan_2010, title={Distributed and dynamic resource management for self-optimizing mechatronic systems}, DOI={10.1109/indin.2010.5549647}, booktitle={8th IEEE International Conference on Industrial Informatics (INDIN’2010)}, author={Schomaker, Gunnar and Oberthur, Simon and Kortenjan, Michael}, year={2010} }
LibreCat
| DOI
2010 | Book | LibreCat-ID: 20182
@book{Hamann_2010, place={Berlin, Germany}, title={Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming}, DOI={10.1007/978-3-642-13377-0}, publisher={Springer}, author={Hamann, Heiko}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20220
@inproceedings{Hamann_Schmickl_Stradner_Crailsheim_2010, title={A Hormone-Based Controller for Evolutionary Multi-Modular Robotics: From Single Modules to Gait Learning}, DOI={10.1109/CEC.2010.5585994}, booktitle={Proceedings of the IEEE Congress on Evolutionary Computation (CEC’10)}, author={Hamann, Heiko and Schmickl, Thomas and Stradner, Jürgen and Crailsheim, Karl}, year={2010}, pages={244--251} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20222
@inproceedings{Schmickl_Hamann_Stradner_Mayet_Crailsheim_2010, title={Complex Taxis-Behaviour in a Novel Bio-Inspired Robot Controller}, booktitle={Proc. of the ALife XII Conference}, publisher={MIT Press}, author={Schmickl, Thomas and Hamann, Heiko and Stradner, Jürgen and Mayet, Ralf and Crailsheim, Karl}, year={2010}, pages={648--655} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 20223
@inproceedings{Hamann_Stradner_Schmickl_Crailsheim_2010, title={Artificial Hormone Reaction Networks: Towards Higher Evolvability in Evolutionary Multi-Modular Robotics}, booktitle={Artificial Life XII (ALife XII), Odense, Denmark}, publisher={MIT Press}, author={Hamann, Heiko and Stradner, Jürgen and Schmickl, Thomas and Crailsheim, Karl}, year={2010}, pages={773–780} }
LibreCat
| arXiv
2010 | Conference Paper | LibreCat-ID: 20226
@inproceedings{Hamann_Meyer_Schmickl_Crailsheim_2010, title={A Model of Symmetry Breaking in Collective Decision-Making}, volume={6226}, DOI={10.1007/978-3-642-15193-4_60}, booktitle={From Animals to Animats 11}, publisher={Springer}, author={Hamann, Heiko and Meyer, Bernd and Schmickl, Thomas and Crailsheim, Karl}, year={2010}, pages={639–648} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20258
@inproceedings{Kernbach_Hamann_Stradner_Thenius_Schmickl_Crailsheim_Rossum_Sebag_Bredeche_Yao_et al._2010, title={On Adaptive Self-Organization in Artificial Robot Organisms}, DOI={10.1109/computationworld.2009.9}, booktitle={2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns}, author={Kernbach, Serge and Hamann, Heiko and Stradner, Jürgen and Thenius, Ronald and Schmickl, Thomas and Crailsheim, Karl and Rossum, A.C. van and Sebag, Michele and Bredeche, Nicolas and Yao, Yao and et al.}, year={2010} }
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 24282
@article{Grza̧ślewicz_Kutyłowski_Kutyłowski_Pietkiewicz_2010, title={Robust Undetectable Interference Watermarks}, DOI={10.1007/11424826_55}, journal={ICCSA’05: Proceedings of the 2005 international conference on Computational Science and Its Applications}, author={Grza̧ślewicz, Ryszard and Kutyłowski, Jarosław and Kutyłowski, Mirosław and Pietkiewicz, Wojciech}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3195
@inproceedings{Schneider_Treharne_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={A {CSP} Approach to Control in Event-B}, DOI={10.1007/978-3-642-16265-7_19}, booktitle={Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike}, editor={M{\’{e}}ry, Dominique and Merz, StephanEditors}, year={2010}, pages={260--274}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3196
@inproceedings{Dräger_Kupriyanov_Finkbeiner_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems}, DOI={10.1007/978-3-642-12002-2_22}, booktitle={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}, author={Dräger, Klaus and Kupriyanov, Andrey and Finkbeiner, Bernd and Wehrheim, Heike}, editor={Esparza, Javier and Majumdar, RupakEditors}, year={2010}, pages={271--274}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI