[{"citation":{"apa":"Grad, M., &#38; Plessl, C. (2011). Just-in-time Instruction Set Extension – Feasibility and Limitations for an FPGA-based Reconfigurable ASIP Architecture. <i>Proc. Reconfigurable Architectures Workshop (RAW)</i>, 278–285. <a href=\"https://doi.org/10.1109/IPDPS.2011.153\">https://doi.org/10.1109/IPDPS.2011.153</a>","ieee":"M. Grad and C. Plessl, “Just-in-time Instruction Set Extension – Feasibility and Limitations for an FPGA-based Reconfigurable ASIP Architecture,” in <i>Proc. Reconfigurable Architectures Workshop (RAW)</i>, 2011, pp. 278–285, doi: <a href=\"https://doi.org/10.1109/IPDPS.2011.153\">10.1109/IPDPS.2011.153</a>.","chicago":"Grad, Mariusz, and Christian Plessl. “Just-in-Time Instruction Set Extension – Feasibility and Limitations for an FPGA-Based Reconfigurable ASIP Architecture.” In <i>Proc. Reconfigurable Architectures Workshop (RAW)</i>, 278–85. IEEE Computer Society, 2011. <a href=\"https://doi.org/10.1109/IPDPS.2011.153\">https://doi.org/10.1109/IPDPS.2011.153</a>.","short":"M. Grad, C. Plessl, in: Proc. Reconfigurable Architectures Workshop (RAW), IEEE Computer Society, 2011, pp. 278–285.","mla":"Grad, Mariusz, and Christian Plessl. “Just-in-Time Instruction Set Extension – Feasibility and Limitations for an FPGA-Based Reconfigurable ASIP Architecture.” <i>Proc. Reconfigurable Architectures Workshop (RAW)</i>, IEEE Computer Society, 2011, pp. 278–85, doi:<a href=\"https://doi.org/10.1109/IPDPS.2011.153\">10.1109/IPDPS.2011.153</a>.","ama":"Grad M, Plessl C. Just-in-time Instruction Set Extension – Feasibility and Limitations for an FPGA-based Reconfigurable ASIP Architecture. In: <i>Proc. Reconfigurable Architectures Workshop (RAW)</i>. IEEE Computer Society; 2011:278-285. doi:<a href=\"https://doi.org/10.1109/IPDPS.2011.153\">10.1109/IPDPS.2011.153</a>","bibtex":"@inproceedings{Grad_Plessl_2011, title={Just-in-time Instruction Set Extension – Feasibility and Limitations for an FPGA-based Reconfigurable ASIP Architecture}, DOI={<a href=\"https://doi.org/10.1109/IPDPS.2011.153\">10.1109/IPDPS.2011.153</a>}, booktitle={Proc. Reconfigurable Architectures Workshop (RAW)}, publisher={IEEE Computer Society}, author={Grad, Mariusz and Plessl, Christian}, year={2011}, pages={278–285} }"},"publication":"Proc. Reconfigurable Architectures Workshop (RAW)","quality_controlled":"1","date_created":"2018-04-03T15:05:52Z","department":[{"_id":"27"},{"_id":"518"},{"_id":"78"}],"type":"conference","author":[{"full_name":"Grad, Mariusz","first_name":"Mariusz","last_name":"Grad"},{"id":"16153","orcid":"0000-0001-5728-9982","last_name":"Plessl","first_name":"Christian","full_name":"Plessl, Christian"}],"year":"2011","title":"Just-in-time Instruction Set Extension – Feasibility and Limitations for an FPGA-based Reconfigurable ASIP Architecture","status":"public","date_updated":"2023-09-26T13:44:39Z","_id":"2198","language":[{"iso":"eng"}],"publisher":"IEEE Computer Society","page":"278-285","user_id":"15278","doi":"10.1109/IPDPS.2011.153"},{"abstract":[{"lang":"eng","text":"HDL-mutation based fault injection and analysis is considered as an important coverage metric for measuring the quality of design simulation processes [20, 3, 1, 2]. In this work, we try to solve the problem of automatic simulation data generation targeting HDL mutation faults. We follow a search based approach and eliminate the need for symbolic execution and mathematical constraint solving from existing work. An objective cost function is defined on the test input space and serves the guidance of search for fault-detecting test data. This is done by first mapping the simulation traces under a test onto a control and data flow graph structure which is extracted from the design. Then the progress of fault detection can be measured quantitatively on this graph to be the cost value. By minimizing this cost we approach the target test data. The effectiveness of the cost function is investigated under an example neighborhood search scheme. Case study with a floating point arithmetic IP design has shown that the cost function is able to guide effectively the search procedure towards a fault-detecting test. The cost calculation time as the search overhead was also observed to be minor compared to the actual design simulation time."}],"publication":"Proceedings of Euromicro DSD 2011","citation":{"ieee":"T. Xie, W. Müller, and F. Letombe, “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search,” 2011, doi: <a href=\"https://doi.org/10.1109/DSD.2011.83\">10.1109/DSD.2011.83</a>.","mla":"Xie, Tao, et al. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” <i>Proceedings of Euromicro DSD 2011</i>, IEEE, 2011, doi:<a href=\"https://doi.org/10.1109/DSD.2011.83\">10.1109/DSD.2011.83</a>.","apa":"Xie, T., Müller, W., &#38; Letombe, F. (2011). HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. <i>Proceedings of Euromicro DSD 2011</i>. <a href=\"https://doi.org/10.1109/DSD.2011.83\">https://doi.org/10.1109/DSD.2011.83</a>","bibtex":"@inproceedings{Xie_Müller_Letombe_2011, place={Oulu, Finnland}, title={HDL-Mutation Based Simulation Data Generation by Propagation Guided Search}, DOI={<a href=\"https://doi.org/10.1109/DSD.2011.83\">10.1109/DSD.2011.83</a>}, booktitle={Proceedings of Euromicro DSD 2011}, publisher={IEEE}, author={Xie, Tao and Müller, Wolfgang and Letombe, Florian}, year={2011} }","ama":"Xie T, Müller W, Letombe F. HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. In: <i>Proceedings of Euromicro DSD 2011</i>. IEEE; 2011. doi:<a href=\"https://doi.org/10.1109/DSD.2011.83\">10.1109/DSD.2011.83</a>","short":"T. Xie, W. Müller, F. Letombe, in: Proceedings of Euromicro DSD 2011, IEEE, Oulu, Finnland, 2011.","chicago":"Xie, Tao, Wolfgang Müller, and Florian Letombe. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” In <i>Proceedings of Euromicro DSD 2011</i>. Oulu, Finnland: IEEE, 2011. <a href=\"https://doi.org/10.1109/DSD.2011.83\">https://doi.org/10.1109/DSD.2011.83</a>."},"type":"conference","keyword":["Hardware design languages","Cost function","Computational modeling","Fault detection","Data models","Analytical models","Testing"],"department":[{"_id":"672"}],"date_created":"2023-01-17T09:02:48Z","place":"Oulu, Finnland","date_updated":"2025-02-26T14:44:15Z","year":"2011","title":"HDL-Mutation Based Simulation Data Generation by Propagation Guided Search","status":"public","publication_identifier":{"isbn":["978-1-4577-1048-3"]},"author":[{"first_name":"Tao","last_name":"Xie","full_name":"Xie, Tao"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"last_name":"Letombe","first_name":"Florian","full_name":"Letombe, Florian"}],"user_id":"5786","doi":"10.1109/DSD.2011.83","_id":"37002","publisher":"IEEE","language":[{"iso":"eng"}]},{"publication_status":"published","date_updated":"2025-07-14T12:35:50Z","intvolume":"        30","title":"Walking On Broken Mesh: Defect‐Tolerant Geodesic Distances and Parameterizations","year":"2011","publication_identifier":{"issn":["0167-7055","1467-8659"]},"author":[{"first_name":"Marcel","last_name":"Campen","orcid":"0000-0003-2340-3462","full_name":"Campen, Marcel","id":"114904"},{"full_name":"Kobbelt, Leif","last_name":"Kobbelt","first_name":"Leif"}],"doi":"10.1111/j.1467-8659.2011.01896.x","language":[{"iso":"eng"}],"extern":"1","abstract":[{"lang":"eng","text":"<jats:title>Abstract</jats:title><jats:p>Efficient methods to compute intrinsic distances and geodesic paths have been presented for various types of surface representations, most importantly polygon meshes. These meshes are usually assumed to be well‐structured and manifold. In practice, however, they often contain defects like holes, gaps, degeneracies, non‐manifold configurations – or they might even be just a soup of polygons. The task of repairing these defects is computationally complex and in many cases exhibits various ambiguities demanding tedious manual efforts. We present a computational framework that enables the computation of meaningful approximate intrinsic distances and geodesic paths on raw meshes in a way which is tolerant to such defects. Holes and gaps are bridged up to a user‐specified tolerance threshold such that distances can be computed plausibly even across multiple connected components of inconsistent meshes. Further, we show ways to locally parameterize a surface based on geodesic distance fields, easily facilitating the application of textures and decals on raw meshes. We do all this without explicitly repairing the input, thereby avoiding the costly additional efforts. In order to enable broad applicability we provide details on two implementation variants, one optimized for performance, the other optimized for memory efficiency. Using the presented framework many applications can readily be extended to deal with imperfect meshes. Since we abstract from the input applicability is not even limited to meshes, other representations can be handled as well.</jats:p>"}],"publication":"Computer Graphics Forum","issue":"2","type":"journal_article","department":[{"_id":"969"}],"date_created":"2025-06-30T08:14:56Z","status":"public","user_id":"117512","volume":30,"page":"623-632","_id":"60461","publisher":"Wiley","citation":{"chicago":"Campen, Marcel, and Leif Kobbelt. “Walking On Broken Mesh: Defect‐Tolerant Geodesic Distances and Parameterizations.” <i>Computer Graphics Forum</i> 30, no. 2 (2011): 623–32. <a href=\"https://doi.org/10.1111/j.1467-8659.2011.01896.x\">https://doi.org/10.1111/j.1467-8659.2011.01896.x</a>.","short":"M. Campen, L. Kobbelt, Computer Graphics Forum 30 (2011) 623–632.","apa":"Campen, M., &#38; Kobbelt, L. (2011). Walking On Broken Mesh: Defect‐Tolerant Geodesic Distances and Parameterizations. <i>Computer Graphics Forum</i>, <i>30</i>(2), 623–632. <a href=\"https://doi.org/10.1111/j.1467-8659.2011.01896.x\">https://doi.org/10.1111/j.1467-8659.2011.01896.x</a>","ieee":"M. Campen and L. Kobbelt, “Walking On Broken Mesh: Defect‐Tolerant Geodesic Distances and Parameterizations,” <i>Computer Graphics Forum</i>, vol. 30, no. 2, pp. 623–632, 2011, doi: <a href=\"https://doi.org/10.1111/j.1467-8659.2011.01896.x\">10.1111/j.1467-8659.2011.01896.x</a>.","ama":"Campen M, Kobbelt L. Walking On Broken Mesh: Defect‐Tolerant Geodesic Distances and Parameterizations. <i>Computer Graphics Forum</i>. 2011;30(2):623-632. doi:<a href=\"https://doi.org/10.1111/j.1467-8659.2011.01896.x\">10.1111/j.1467-8659.2011.01896.x</a>","bibtex":"@article{Campen_Kobbelt_2011, title={Walking On Broken Mesh: Defect‐Tolerant Geodesic Distances and Parameterizations}, volume={30}, DOI={<a href=\"https://doi.org/10.1111/j.1467-8659.2011.01896.x\">10.1111/j.1467-8659.2011.01896.x</a>}, number={2}, journal={Computer Graphics Forum}, publisher={Wiley}, author={Campen, Marcel and Kobbelt, Leif}, year={2011}, pages={623–632} }","mla":"Campen, Marcel, and Leif Kobbelt. “Walking On Broken Mesh: Defect‐Tolerant Geodesic Distances and Parameterizations.” <i>Computer Graphics Forum</i>, vol. 30, no. 2, Wiley, 2011, pp. 623–32, doi:<a href=\"https://doi.org/10.1111/j.1467-8659.2011.01896.x\">10.1111/j.1467-8659.2011.01896.x</a>."}},{"date_created":"2024-03-25T14:55:45Z","department":[{"_id":"819"}],"type":"journal_article","citation":{"mla":"Grimme, Britta, et al. “Limb versus Speech Motor Control: A Conceptual Review.” <i>Motor Control</i>, vol. 15, no. 1, Human Kinetics, Inc., 2011, pp. 5–33.","ama":"Grimme B, Fuchs S, Perrier P, Schöner G. Limb versus speech motor control: A conceptual review. <i>Motor control</i>. 2011;15(1):5–33.","bibtex":"@article{Grimme_Fuchs_Perrier_Schöner_2011, title={Limb versus speech motor control: A conceptual review}, volume={15}, number={1}, journal={Motor control}, publisher={Human Kinetics, Inc.}, author={Grimme, Britta and Fuchs, Susanne and Perrier, Pascal and Schöner, Gregor}, year={2011}, pages={5–33} }","apa":"Grimme, B., Fuchs, S., Perrier, P., &#38; Schöner, G. (2011). Limb versus speech motor control: A conceptual review. <i>Motor Control</i>, <i>15</i>(1), 5–33.","ieee":"B. Grimme, S. Fuchs, P. Perrier, and G. Schöner, “Limb versus speech motor control: A conceptual review,” <i>Motor control</i>, vol. 15, no. 1, pp. 5–33, 2011.","short":"B. Grimme, S. Fuchs, P. Perrier, G. Schöner, Motor Control 15 (2011) 5–33.","chicago":"Grimme, Britta, Susanne Fuchs, Pascal Perrier, and Gregor Schöner. “Limb versus Speech Motor Control: A Conceptual Review.” <i>Motor Control</i> 15, no. 1 (2011): 5–33."},"publication":"Motor control","issue":"1","publisher":"Human Kinetics, Inc.","_id":"52867","page":"5–33","volume":15,"user_id":"103682","author":[{"last_name":"Grimme","first_name":"Britta","full_name":"Grimme, Britta"},{"last_name":"Fuchs","first_name":"Susanne","full_name":"Fuchs, Susanne"},{"first_name":"Pascal","last_name":"Perrier","full_name":"Perrier, Pascal"},{"full_name":"Schöner, Gregor","first_name":"Gregor","last_name":"Schöner"}],"year":"2011","status":"public","title":"Limb versus speech motor control: A conceptual review","intvolume":"        15","date_updated":"2026-03-19T07:49:26Z"},{"date_updated":"2022-01-06T06:54:09Z","intvolume":"      6534","status":"public","title":"The Power of Uncertainty: Bundle-Pricing for Unit-Demand Customers","year":"2010","author":[{"first_name":"Patrick","last_name":"Briest","full_name":"Briest, Patrick"},{"last_name":"Röglin","first_name":"Heiko","full_name":"Röglin, Heiko"}],"user_id":"15415","doi":"10.1007/978-3-642-18318-8_5","volume":6534,"_id":"19678","language":[{"iso":"eng"}],"publisher":"Springer","series_title":"Lecture Notes in Computer Science","publication":"Workshop on Approximation and Online Algorithms (WAOA)","citation":{"ama":"Briest P, Röglin H. The Power of Uncertainty: Bundle-Pricing for Unit-Demand Customers. In: <i>Workshop on Approximation and Online Algorithms (WAOA)</i>. Vol 6534. Lecture Notes in Computer Science. Springer; 2010. doi:<a href=\"https://doi.org/10.1007/978-3-642-18318-8_5\">10.1007/978-3-642-18318-8_5</a>","bibtex":"@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={<a href=\"https://doi.org/10.1007/978-3-642-18318-8_5\">10.1007/978-3-642-18318-8_5</a>}, 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} }","mla":"Briest, Patrick, and Heiko Röglin. “The Power of Uncertainty: Bundle-Pricing for Unit-Demand Customers.” <i>Workshop on Approximation and Online Algorithms (WAOA)</i>, vol. 6534, Springer, 2010, doi:<a href=\"https://doi.org/10.1007/978-3-642-18318-8_5\">10.1007/978-3-642-18318-8_5</a>.","chicago":"Briest, Patrick, and Heiko Röglin. “The Power of Uncertainty: Bundle-Pricing for Unit-Demand Customers.” In <i>Workshop on Approximation and Online Algorithms (WAOA)</i>, Vol. 6534. Lecture Notes in Computer Science. Springer, 2010. <a href=\"https://doi.org/10.1007/978-3-642-18318-8_5\">https://doi.org/10.1007/978-3-642-18318-8_5</a>.","short":"P. Briest, H. Röglin, in: Workshop on Approximation and Online Algorithms (WAOA), Springer, 2010.","apa":"Briest, P., &#38; Röglin, H. (2010). The Power of Uncertainty: Bundle-Pricing for Unit-Demand Customers. In <i>Workshop on Approximation and Online Algorithms (WAOA)</i> (Vol. 6534). Springer. <a href=\"https://doi.org/10.1007/978-3-642-18318-8_5\">https://doi.org/10.1007/978-3-642-18318-8_5</a>","ieee":"P. Briest and H. Röglin, “The Power of Uncertainty: Bundle-Pricing for Unit-Demand Customers,” in <i>Workshop on Approximation and Online Algorithms (WAOA)</i>, 2010, vol. 6534."},"type":"conference","department":[{"_id":"63"}],"date_created":"2020-09-24T14:13:19Z"},{"publication":"International Parallel & Distributed Processing Symposium (IPDPS)","citation":{"short":"B. Degener, P. Pietrzyk, B. Kempkes, in: International Parallel &#38; Distributed Processing Symposium (IPDPS), 2010.","chicago":"Degener, Bastian, Peter Pietrzyk, and Barbara Kempkes. “A Local, Distributed Constant-Factor Approximation Algorithm for the Dynamic Facility Location Problem .” In <i>International Parallel &#38; Distributed Processing Symposium (IPDPS)</i>, 2010. <a href=\"https://doi.org/10.1109/IPDPS.2010.5470349\">https://doi.org/10.1109/IPDPS.2010.5470349</a>.","ieee":"B. Degener, P. Pietrzyk, and B. Kempkes, “A local, distributed constant-factor approximation algorithm for the dynamic facility location problem ,” in <i>International Parallel &#38; Distributed Processing Symposium (IPDPS)</i>, 2010.","apa":"Degener, B., Pietrzyk, P., &#38; Kempkes, B. (2010). A local, distributed constant-factor approximation algorithm for the dynamic facility location problem . In <i>International Parallel &#38; Distributed Processing Symposium (IPDPS)</i>. <a href=\"https://doi.org/10.1109/IPDPS.2010.5470349\">https://doi.org/10.1109/IPDPS.2010.5470349</a>","bibtex":"@inproceedings{Degener_Pietrzyk_Kempkes_2010, title={A local, distributed constant-factor approximation algorithm for the dynamic facility location problem }, DOI={<a href=\"https://doi.org/10.1109/IPDPS.2010.5470349\">10.1109/IPDPS.2010.5470349</a>}, booktitle={International Parallel &#38; Distributed Processing Symposium (IPDPS)}, author={Degener, Bastian and Pietrzyk, Peter and Kempkes, Barbara}, year={2010} }","ama":"Degener B, Pietrzyk P, Kempkes B. A local, distributed constant-factor approximation algorithm for the dynamic facility location problem . In: <i>International Parallel &#38; Distributed Processing Symposium (IPDPS)</i>. ; 2010. doi:<a href=\"https://doi.org/10.1109/IPDPS.2010.5470349\">10.1109/IPDPS.2010.5470349</a>","mla":"Degener, Bastian, et al. “A Local, Distributed Constant-Factor Approximation Algorithm for the Dynamic Facility Location Problem .” <i>International Parallel &#38; Distributed Processing Symposium (IPDPS)</i>, 2010, doi:<a href=\"https://doi.org/10.1109/IPDPS.2010.5470349\">10.1109/IPDPS.2010.5470349</a>."},"type":"conference","department":[{"_id":"63"}],"date_created":"2020-09-28T08:25:37Z","date_updated":"2022-01-06T06:54:10Z","title":"A local, distributed constant-factor approximation algorithm for the dynamic facility location problem ","status":"public","year":"2010","author":[{"last_name":"Degener","first_name":"Bastian","full_name":"Degener, Bastian"},{"full_name":"Pietrzyk, Peter","first_name":"Peter","last_name":"Pietrzyk"},{"last_name":"Kempkes","first_name":"Barbara","full_name":"Kempkes, Barbara"}],"doi":"10.1109/IPDPS.2010.5470349","user_id":"15415","language":[{"iso":"eng"}],"_id":"19711"},{"title":"Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks","year":"2010","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783642051173","9783642051180"]},"author":[{"last_name":"Mense","first_name":"Mario","full_name":"Mense, Mario"},{"full_name":"Schindelhauer, Christian","first_name":"Christian","last_name":"Schindelhauer"}],"publication_status":"published","date_updated":"2022-01-06T06:54:12Z","intvolume":"      5873","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"doi":"10.1007/978-3-642-05118-0_43","publication":"Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems","abstract":[{"text":"We introduce the Read-Write-Coding-System (RWC) – a very flexible class of linear block codes that generate efficient and flexible erasure codes for storage networks. In particular, given a message x of k symbols and a codeword y of n symbols, an RW code defines additional parameters k \\leq r,w \\leq n that offer enhanced possibilities to adjust the fault-tolerance capability of the code. More precisely, an RWC provides linear $\\left(n,k,d\\right)$-codes that have (a) minimum distance d=n-r+1 for any two codewords, and (b) for each codeword there exists a codeword for each other message with distance of at most w. Furthermore, depending on the values r,w and the code alphabet, different block codes such as parity codes (e.g. RAID 4/5) or Reed-Solomon (RS) codes (if r=k and thus, w=n) can be generated. In storage networks in which I/O accesses are very costly and redundancy is crucial, this flexibility has considerable advantages as r and w can optimally be adapted to read or write intensive applications; only w symbols must be updated if the message x changes completely, what is different from other codes which always need to rewrite y completely as x changes. In this paper, we first state a tight lower bound and basic conditions for all RW codes. Furthermore, we introduce special RW codes in which all mentioned parameters are adjustable even online, that is, those RW codes are adaptive to changing demands. At last, we point out some useful properties regarding safety and security of the stored data.","lang":"eng"}],"date_created":"2020-09-30T12:12:33Z","type":"conference","department":[{"_id":"63"}],"status":"public","page":"624--639","_id":"19796","user_id":"15415","volume":5873,"citation":{"apa":"Mense, M., &#38; Schindelhauer, C. (2010). Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks. In <i>Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems</i> (Vol. 5873, pp. 624--639). <a href=\"https://doi.org/10.1007/978-3-642-05118-0_43\">https://doi.org/10.1007/978-3-642-05118-0_43</a>","ieee":"M. Mense and C. Schindelhauer, “Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks,” in <i>Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems</i>, 2010, vol. 5873, pp. 624--639.","chicago":"Mense, Mario, and Christian Schindelhauer. “Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks.” In <i>Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems</i>, 5873:624--639. Lecture Notes in Computer Science, 2010. <a href=\"https://doi.org/10.1007/978-3-642-05118-0_43\">https://doi.org/10.1007/978-3-642-05118-0_43</a>.","short":"M. Mense, C. Schindelhauer, in: Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2010, pp. 624--639.","mla":"Mense, Mario, and Christian Schindelhauer. “Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks.” <i>Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems</i>, vol. 5873, 2010, pp. 624--639, doi:<a href=\"https://doi.org/10.1007/978-3-642-05118-0_43\">10.1007/978-3-642-05118-0_43</a>.","ama":"Mense M, Schindelhauer C. Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks. In: <i>Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems</i>. Vol 5873. Lecture Notes in Computer Science. ; 2010:624--639. doi:<a href=\"https://doi.org/10.1007/978-3-642-05118-0_43\">10.1007/978-3-642-05118-0_43</a>","bibtex":"@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={<a href=\"https://doi.org/10.1007/978-3-642-05118-0_43\">10.1007/978-3-642-05118-0_43</a>}, 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} }"}},{"user_id":"15415","doi":"10.1109/icpads.2010.42","_id":"19824","language":[{"iso":"eng"}],"publication_status":"published","date_updated":"2022-01-06T06:54:13Z","status":"public","year":"2010","title":"A Self-Stabilizing Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs","publication_identifier":{"isbn":["9781424497270"]},"author":[{"first_name":"Thomas","last_name":"Janson","full_name":"Janson, Thomas"},{"first_name":"Peter","last_name":"Mahlmann","full_name":"Mahlmann, Peter"},{"first_name":"Christian","last_name":"Schindelhauer","full_name":"Schindelhauer, Christian"}],"type":"conference","department":[{"_id":"63"}],"date_created":"2020-10-01T09:39:13Z","abstract":[{"lang":"eng","text":"We present 3nuts, a self-stabilizing peer-to-peer (p2p) network supporting range queries and adapting the overlay structure to the underlying physical network. 3nuts combines concepts of structured and unstructured p2p networks to overcome their individual shortcomings while keeping their strengths. This is achieved by combining self maintaining random networks for robustness, a search tree to allow range queries, and DHTs for load balancing. Simple handshake operations with provable guarantees are used for maintenance and self-stabilization. Efficiency of load balancing, fast data access, and robustness are proven by rigorous analysis."}],"publication":"Proceedings of the 16th International Conference on Parallel and Distributed Systems","citation":{"mla":"Janson, Thomas, et al. “A Self-Stabilizing Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs.” <i>Proceedings of the 16th International Conference on Parallel and Distributed Systems</i>, 2010, doi:<a href=\"https://doi.org/10.1109/icpads.2010.42\">10.1109/icpads.2010.42</a>.","bibtex":"@inproceedings{Janson_Mahlmann_Schindelhauer_2010, title={A Self-Stabilizing Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs}, DOI={<a href=\"https://doi.org/10.1109/icpads.2010.42\">10.1109/icpads.2010.42</a>}, booktitle={Proceedings of the 16th International Conference on Parallel and Distributed Systems}, author={Janson, Thomas and Mahlmann, Peter and Schindelhauer, Christian}, year={2010} }","ama":"Janson T, Mahlmann P, Schindelhauer C. A Self-Stabilizing Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs. In: <i>Proceedings of the 16th International Conference on Parallel and Distributed Systems</i>. ; 2010. doi:<a href=\"https://doi.org/10.1109/icpads.2010.42\">10.1109/icpads.2010.42</a>","ieee":"T. Janson, P. Mahlmann, and C. Schindelhauer, “A Self-Stabilizing Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs,” in <i>Proceedings of the 16th International Conference on Parallel and Distributed Systems</i>, 2010.","apa":"Janson, T., Mahlmann, P., &#38; Schindelhauer, C. (2010). A Self-Stabilizing Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs. In <i>Proceedings of the 16th International Conference on Parallel and Distributed Systems</i>. <a href=\"https://doi.org/10.1109/icpads.2010.42\">https://doi.org/10.1109/icpads.2010.42</a>","chicago":"Janson, Thomas, Peter Mahlmann, and Christian Schindelhauer. “A Self-Stabilizing Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs.” In <i>Proceedings of the 16th International Conference on Parallel and Distributed Systems</i>, 2010. <a href=\"https://doi.org/10.1109/icpads.2010.42\">https://doi.org/10.1109/icpads.2010.42</a>.","short":"T. Janson, P. Mahlmann, C. Schindelhauer, in: Proceedings of the 16th International Conference on Parallel and Distributed Systems, 2010."}},{"user_id":"15415","doi":"10.1145/1774088.1774365","page":"1299-1304","_id":"19829","language":[{"iso":"eng"}],"publication_status":"published","date_updated":"2022-01-06T06:54:13Z","status":"public","title":"Coverage-hole trap model in target tracking using distributed relay-robot network","year":"2010","publication_identifier":{"isbn":["9781605586397"]},"author":[{"full_name":"Miao, Huawei","last_name":"Miao","first_name":"Huawei"},{"full_name":"Ooi, Chia Ching","last_name":"Ooi","first_name":"Chia Ching"},{"first_name":"Xiaowen","last_name":"Wu","full_name":"Wu, Xiaowen"},{"last_name":"Schindelhauer","first_name":"Christian","full_name":"Schindelhauer, Christian"}],"type":"conference","department":[{"_id":"63"}],"date_created":"2020-10-01T10:00:25Z","publication":"Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10","citation":{"short":"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.","ama":"Miao H, Ooi CC, Wu X, Schindelhauer C. Coverage-hole trap model in target tracking using distributed relay-robot network. In: <i>Proceedings of the 2010 ACM Symposium on Applied Computing - SAC ’10</i>. ; 2010:1299-1304. doi:<a href=\"https://doi.org/10.1145/1774088.1774365\">10.1145/1774088.1774365</a>","chicago":"Miao, Huawei, Chia Ching Ooi, Xiaowen Wu, and Christian Schindelhauer. “Coverage-Hole Trap Model in Target Tracking Using Distributed Relay-Robot Network.” In <i>Proceedings of the 2010 ACM Symposium on Applied Computing - SAC ’10</i>, 1299–1304, 2010. <a href=\"https://doi.org/10.1145/1774088.1774365\">https://doi.org/10.1145/1774088.1774365</a>.","bibtex":"@inproceedings{Miao_Ooi_Wu_Schindelhauer_2010, title={Coverage-hole trap model in target tracking using distributed relay-robot network}, DOI={<a href=\"https://doi.org/10.1145/1774088.1774365\">10.1145/1774088.1774365</a>}, 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} }","apa":"Miao, H., Ooi, C. C., Wu, X., &#38; Schindelhauer, C. (2010). Coverage-hole trap model in target tracking using distributed relay-robot network. In <i>Proceedings of the 2010 ACM Symposium on Applied Computing - SAC ’10</i> (pp. 1299–1304). <a href=\"https://doi.org/10.1145/1774088.1774365\">https://doi.org/10.1145/1774088.1774365</a>","mla":"Miao, Huawei, et al. “Coverage-Hole Trap Model in Target Tracking Using Distributed Relay-Robot Network.” <i>Proceedings of the 2010 ACM Symposium on Applied Computing - SAC ’10</i>, 2010, pp. 1299–304, doi:<a href=\"https://doi.org/10.1145/1774088.1774365\">10.1145/1774088.1774365</a>.","ieee":"H. Miao, C. C. Ooi, X. Wu, and C. Schindelhauer, “Coverage-hole trap model in target tracking using distributed relay-robot network,” in <i>Proceedings of the 2010 ACM Symposium on Applied Computing - SAC ’10</i>, 2010, pp. 1299–1304."}},{"date_created":"2020-10-06T14:01:21Z","type":"conference","department":[{"_id":"63"},{"_id":"70"}],"publication":"8th IEEE International Conference on Industrial Informatics (INDIN'2010)","citation":{"apa":"Schomaker, G., Oberthur, S., &#38; Kortenjan, M. (2010). Distributed and dynamic resource management for self-optimizing mechatronic systems. In <i>8th IEEE International Conference on Industrial Informatics (INDIN’2010)</i>. <a href=\"https://doi.org/10.1109/indin.2010.5549647\">https://doi.org/10.1109/indin.2010.5549647</a>","ieee":"G. Schomaker, S. Oberthur, and M. Kortenjan, “Distributed and dynamic resource management for self-optimizing mechatronic systems,” in <i>8th IEEE International Conference on Industrial Informatics (INDIN’2010)</i>, 2010.","short":"G. Schomaker, S. Oberthur, M. Kortenjan, in: 8th IEEE International Conference on Industrial Informatics (INDIN’2010), 2010.","chicago":"Schomaker, Gunnar, Simon Oberthur, and Michael Kortenjan. “Distributed and Dynamic Resource Management for Self-Optimizing Mechatronic Systems.” In <i>8th IEEE International Conference on Industrial Informatics (INDIN’2010)</i>, 2010. <a href=\"https://doi.org/10.1109/indin.2010.5549647\">https://doi.org/10.1109/indin.2010.5549647</a>.","mla":"Schomaker, Gunnar, et al. “Distributed and Dynamic Resource Management for Self-Optimizing Mechatronic Systems.” <i>8th IEEE International Conference on Industrial Informatics (INDIN’2010)</i>, 2010, doi:<a href=\"https://doi.org/10.1109/indin.2010.5549647\">10.1109/indin.2010.5549647</a>.","ama":"Schomaker G, Oberthur S, Kortenjan M. Distributed and dynamic resource management for self-optimizing mechatronic systems. In: <i>8th IEEE International Conference on Industrial Informatics (INDIN’2010)</i>. ; 2010. doi:<a href=\"https://doi.org/10.1109/indin.2010.5549647\">10.1109/indin.2010.5549647</a>","bibtex":"@inproceedings{Schomaker_Oberthur_Kortenjan_2010, title={Distributed and dynamic resource management for self-optimizing mechatronic systems}, DOI={<a href=\"https://doi.org/10.1109/indin.2010.5549647\">10.1109/indin.2010.5549647</a>}, booktitle={8th IEEE International Conference on Industrial Informatics (INDIN’2010)}, author={Schomaker, Gunnar and Oberthur, Simon and Kortenjan, Michael}, year={2010} }"},"_id":"19933","language":[{"iso":"eng"}],"user_id":"15415","doi":"10.1109/indin.2010.5549647","status":"public","title":"Distributed and dynamic resource management for self-optimizing mechatronic systems","year":"2010","author":[{"full_name":"Schomaker, Gunnar","last_name":"Schomaker","first_name":"Gunnar"},{"last_name":"Oberthur","first_name":"Simon","full_name":"Oberthur, Simon"},{"first_name":"Michael","last_name":"Kortenjan","full_name":"Kortenjan, Michael"}],"publication_identifier":{"isbn":["9781424472987"]},"publication_status":"published","date_updated":"2022-01-06T06:54:14Z"},{"author":[{"first_name":"Heiko","last_name":"Hamann","full_name":"Hamann, Heiko"}],"title":"Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming","status":"public","year":"2010","date_updated":"2022-01-06T06:54:21Z","_id":"20182","publisher":"Springer","language":[{"iso":"eng"}],"user_id":"15415","doi":"10.1007/978-3-642-13377-0","citation":{"chicago":"Hamann, Heiko. <i>Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming</i>. Berlin, Germany: Springer, 2010. <a href=\"https://doi.org/10.1007/978-3-642-13377-0\">https://doi.org/10.1007/978-3-642-13377-0</a>.","short":"H. Hamann, Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming, Springer, Berlin, Germany, 2010.","ieee":"H. Hamann, <i>Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming</i>. Berlin, Germany: Springer, 2010.","apa":"Hamann, H. (2010). <i>Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming</i>. Berlin, Germany: Springer. <a href=\"https://doi.org/10.1007/978-3-642-13377-0\">https://doi.org/10.1007/978-3-642-13377-0</a>","bibtex":"@book{Hamann_2010, place={Berlin, Germany}, title={Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-13377-0\">10.1007/978-3-642-13377-0</a>}, publisher={Springer}, author={Hamann, Heiko}, year={2010} }","ama":"Hamann H. <i>Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming</i>. Berlin, Germany: Springer; 2010. doi:<a href=\"https://doi.org/10.1007/978-3-642-13377-0\">10.1007/978-3-642-13377-0</a>","mla":"Hamann, Heiko. <i>Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming</i>. Springer, 2010, doi:<a href=\"https://doi.org/10.1007/978-3-642-13377-0\">10.1007/978-3-642-13377-0</a>."},"date_created":"2020-10-22T12:25:10Z","place":"Berlin, Germany","department":[{"_id":"63"},{"_id":"238"}],"type":"book"},{"citation":{"chicago":"Hamann, Heiko, Thomas Schmickl, Jürgen Stradner, and Karl Crailsheim. “A Hormone-Based Controller for Evolutionary Multi-Modular Robotics: From Single Modules to Gait Learning.” In <i>Proceedings of the IEEE Congress on Evolutionary Computation (CEC’10)</i>, 244--251, 2010. <a href=\"https://doi.org/10.1109/CEC.2010.5585994\">https://doi.org/10.1109/CEC.2010.5585994</a>.","ama":"Hamann H, Schmickl T, Stradner J, Crailsheim K. A Hormone-Based Controller for Evolutionary Multi-Modular Robotics: From Single Modules to Gait Learning. In: <i>Proceedings of the IEEE Congress on Evolutionary Computation (CEC’10)</i>. ; 2010:244--251. doi:<a href=\"https://doi.org/10.1109/CEC.2010.5585994\">10.1109/CEC.2010.5585994</a>","short":"H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, in: Proceedings of the IEEE Congress on Evolutionary Computation (CEC’10), 2010, pp. 244--251.","bibtex":"@inproceedings{Hamann_Schmickl_Stradner_Crailsheim_2010, title={A Hormone-Based Controller for Evolutionary Multi-Modular Robotics: From Single Modules to Gait Learning}, DOI={<a href=\"https://doi.org/10.1109/CEC.2010.5585994\">10.1109/CEC.2010.5585994</a>}, 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} }","mla":"Hamann, Heiko, et al. “A Hormone-Based Controller for Evolutionary Multi-Modular Robotics: From Single Modules to Gait Learning.” <i>Proceedings of the IEEE Congress on Evolutionary Computation (CEC’10)</i>, 2010, pp. 244--251, doi:<a href=\"https://doi.org/10.1109/CEC.2010.5585994\">10.1109/CEC.2010.5585994</a>.","apa":"Hamann, H., Schmickl, T., Stradner, J., &#38; Crailsheim, K. (2010). A Hormone-Based Controller for Evolutionary Multi-Modular Robotics: From Single Modules to Gait Learning. In <i>Proceedings of the IEEE Congress on Evolutionary Computation (CEC’10)</i> (pp. 244--251). <a href=\"https://doi.org/10.1109/CEC.2010.5585994\">https://doi.org/10.1109/CEC.2010.5585994</a>","ieee":"H. Hamann, T. Schmickl, J. Stradner, and K. Crailsheim, “A Hormone-Based Controller for Evolutionary Multi-Modular Robotics: From Single Modules to Gait Learning,” in <i>Proceedings of the IEEE Congress on Evolutionary Computation (CEC’10)</i>, 2010, pp. 244--251."},"publication":"Proceedings of the IEEE Congress on Evolutionary Computation (CEC'10)","date_created":"2020-10-28T14:37:09Z","department":[{"_id":"63"},{"_id":"238"}],"type":"conference","author":[{"full_name":"Hamann, Heiko","last_name":"Hamann","first_name":"Heiko"},{"full_name":"Schmickl, Thomas","first_name":"Thomas","last_name":"Schmickl"},{"full_name":"Stradner, Jürgen","last_name":"Stradner","first_name":"Jürgen"},{"first_name":"Karl","last_name":"Crailsheim","full_name":"Crailsheim, Karl"}],"year":"2010","status":"public","title":"A Hormone-Based Controller for Evolutionary Multi-Modular Robotics: From Single Modules to Gait Learning","date_updated":"2022-01-06T06:54:23Z","_id":"20220","language":[{"iso":"eng"}],"page":"244--251","user_id":"15415","doi":"10.1109/CEC.2010.5585994"},{"_id":"20222","publisher":"MIT Press","language":[{"iso":"eng"}],"page":"648--655","user_id":"15415","author":[{"first_name":"Thomas","last_name":"Schmickl","full_name":"Schmickl, Thomas"},{"full_name":"Hamann, Heiko","first_name":"Heiko","last_name":"Hamann"},{"full_name":"Stradner, Jürgen","last_name":"Stradner","first_name":"Jürgen"},{"full_name":"Mayet, Ralf","first_name":"Ralf","last_name":"Mayet"},{"full_name":"Crailsheim, Karl","last_name":"Crailsheim","first_name":"Karl"}],"title":"Complex Taxis-Behaviour in a Novel Bio-Inspired Robot Controller","status":"public","year":"2010","date_updated":"2022-01-06T06:54:23Z","date_created":"2020-10-29T14:09:39Z","department":[{"_id":"63"},{"_id":"238"}],"type":"conference","citation":{"bibtex":"@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} }","ama":"Schmickl T, Hamann H, Stradner J, Mayet R, Crailsheim K. Complex Taxis-Behaviour in a Novel Bio-Inspired Robot Controller. In: <i>Proc. of the ALife XII Conference</i>. MIT Press; 2010:648--655.","mla":"Schmickl, Thomas, et al. “Complex Taxis-Behaviour in a Novel Bio-Inspired Robot Controller.” <i>Proc. of the ALife XII Conference</i>, MIT Press, 2010, pp. 648--655.","chicago":"Schmickl, Thomas, Heiko Hamann, Jürgen Stradner, Ralf Mayet, and Karl Crailsheim. “Complex Taxis-Behaviour in a Novel Bio-Inspired Robot Controller.” In <i>Proc. of the ALife XII Conference</i>, 648--655. MIT Press, 2010.","short":"T. Schmickl, H. Hamann, J. Stradner, R. Mayet, K. Crailsheim, in: Proc. of the ALife XII Conference, MIT Press, 2010, pp. 648--655.","ieee":"T. Schmickl, H. Hamann, J. Stradner, R. Mayet, and K. Crailsheim, “Complex Taxis-Behaviour in a Novel Bio-Inspired Robot Controller,” in <i>Proc. of the ALife XII Conference</i>, 2010, pp. 648--655.","apa":"Schmickl, T., Hamann, H., Stradner, J., Mayet, R., &#38; Crailsheim, K. (2010). Complex Taxis-Behaviour in a Novel Bio-Inspired Robot Controller. In <i>Proc. of the ALife XII Conference</i> (pp. 648--655). MIT Press."},"publication":"Proc. of the ALife XII Conference"},{"author":[{"first_name":"Heiko","last_name":"Hamann","full_name":"Hamann, Heiko"},{"full_name":"Stradner, Jürgen","first_name":"Jürgen","last_name":"Stradner"},{"full_name":"Schmickl, Thomas","first_name":"Thomas","last_name":"Schmickl"},{"last_name":"Crailsheim","first_name":"Karl","full_name":"Crailsheim, Karl"}],"title":"Artificial Hormone Reaction Networks: Towards Higher Evolvability in  Evolutionary Multi-Modular Robotics","status":"public","year":"2010","date_updated":"2022-01-06T06:54:23Z","publisher":"MIT  Press","_id":"20223","language":[{"iso":"eng"}],"page":"773-780","user_id":"15415","citation":{"bibtex":"@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} }","chicago":"Hamann, Heiko, Jürgen Stradner, Thomas Schmickl, and Karl Crailsheim. “Artificial Hormone Reaction Networks: Towards Higher Evolvability in  Evolutionary Multi-Modular Robotics.” In <i>Artificial Life XII (ALife XII), Odense, Denmark</i>, 773–80. MIT  Press, 2010.","ama":"Hamann H, Stradner J, Schmickl T, Crailsheim K. Artificial Hormone Reaction Networks: Towards Higher Evolvability in  Evolutionary Multi-Modular Robotics. In: <i>Artificial Life XII (ALife XII), Odense, Denmark</i>. MIT  Press; 2010:773-780.","short":"H. Hamann, J. Stradner, T. Schmickl, K. Crailsheim, in: Artificial Life XII (ALife XII), Odense, Denmark, MIT  Press, 2010, pp. 773–780.","ieee":"H. Hamann, J. Stradner, T. Schmickl, and K. Crailsheim, “Artificial Hormone Reaction Networks: Towards Higher Evolvability in  Evolutionary Multi-Modular Robotics,” in <i>Artificial Life XII (ALife XII), Odense, Denmark</i>, 2010, pp. 773–780.","mla":"Hamann, Heiko, et al. “Artificial Hormone Reaction Networks: Towards Higher Evolvability in  Evolutionary Multi-Modular Robotics.” <i>Artificial Life XII (ALife XII), Odense, Denmark</i>, MIT  Press, 2010, pp. 773–80.","apa":"Hamann, H., Stradner, J., Schmickl, T., &#38; Crailsheim, K. (2010). Artificial Hormone Reaction Networks: Towards Higher Evolvability in  Evolutionary Multi-Modular Robotics. In <i>Artificial Life XII (ALife XII), Odense, Denmark</i> (pp. 773–780). MIT  Press."},"publication":"Artificial Life XII (ALife XII), Odense, Denmark","abstract":[{"text":"The semi-automatic or automatic synthesis of robot controller software is\r\nboth desirable and challenging. Synthesis of rather simple behaviors such as\r\ncollision avoidance by applying artificial evolution has been shown multiple\r\ntimes. However, the difficulty of this synthesis increases heavily with\r\nincreasing complexity of the task that should be performed by the robot. We try\r\nto tackle this problem of complexity with Artificial Homeostatic Hormone\r\nSystems (AHHS), which provide both intrinsic, homeostatic processes and\r\n(transient) intrinsic, variant behavior. By using AHHS the need for pre-defined\r\ncontroller topologies or information about the field of application is\r\nminimized. We investigate how the principle design of the controller and the\r\nhormone network size affects the overall performance of the artificial\r\nevolution (i.e., evolvability). This is done by comparing two variants of AHHS\r\nthat show different effects when mutated. We evolve a controller for a robot\r\nbuilt from five autonomous, cooperating modules. The desired behavior is a form\r\nof gait resulting in fast locomotion by using the modules' main hinges.","lang":"eng"}],"date_created":"2020-10-29T14:11:25Z","external_id":{"arxiv":["1011.3912"]},"department":[{"_id":"63"},{"_id":"238"}],"type":"conference"},{"page":"639-648","_id":"20226","publisher":"Springer","user_id":"15415","volume":6226,"status":"public","citation":{"chicago":"Hamann, Heiko, Bernd Meyer, Thomas Schmickl, and Karl Crailsheim. “A Model of Symmetry Breaking in Collective Decision-Making.” In <i>From Animals to Animats 11</i>, 6226:639–48. Springer, 2010. <a href=\"https://doi.org/10.1007/978-3-642-15193-4_60\">https://doi.org/10.1007/978-3-642-15193-4_60</a>.","short":"H. Hamann, B. Meyer, T. Schmickl, K. Crailsheim, in: From Animals to Animats 11, Springer, 2010, pp. 639–648.","apa":"Hamann, H., Meyer, B., Schmickl, T., &#38; Crailsheim, K. (2010). A Model of Symmetry Breaking in Collective Decision-Making. In <i>From Animals to Animats 11</i> (Vol. 6226, pp. 639–648). Springer. <a href=\"https://doi.org/10.1007/978-3-642-15193-4_60\">https://doi.org/10.1007/978-3-642-15193-4_60</a>","ieee":"H. Hamann, B. Meyer, T. Schmickl, and K. Crailsheim, “A Model of Symmetry Breaking in Collective Decision-Making,” in <i>From Animals to Animats 11</i>, 2010, vol. 6226, pp. 639–648.","ama":"Hamann H, Meyer B, Schmickl T, Crailsheim K. A Model of Symmetry Breaking in Collective Decision-Making. In: <i>From Animals to Animats 11</i>. Vol 6226. Springer; 2010:639-648. doi:<a href=\"https://doi.org/10.1007/978-3-642-15193-4_60\">10.1007/978-3-642-15193-4_60</a>","bibtex":"@inproceedings{Hamann_Meyer_Schmickl_Crailsheim_2010, title={A Model of Symmetry Breaking in Collective Decision-Making}, volume={6226}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-15193-4_60\">10.1007/978-3-642-15193-4_60</a>}, 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} }","mla":"Hamann, Heiko, et al. “A Model of Symmetry Breaking in Collective Decision-Making.” <i>From Animals to Animats 11</i>, vol. 6226, Springer, 2010, pp. 639–48, doi:<a href=\"https://doi.org/10.1007/978-3-642-15193-4_60\">10.1007/978-3-642-15193-4_60</a>."},"language":[{"iso":"eng"}],"doi":"10.1007/978-3-642-15193-4_60","title":"A Model of Symmetry Breaking in Collective Decision-Making","year":"2010","author":[{"full_name":"Hamann, Heiko","last_name":"Hamann","first_name":"Heiko"},{"full_name":"Meyer, Bernd","last_name":"Meyer","first_name":"Bernd"},{"full_name":"Schmickl, Thomas","first_name":"Thomas","last_name":"Schmickl"},{"full_name":"Crailsheim, Karl","first_name":"Karl","last_name":"Crailsheim"}],"publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783642151927","9783642151934"]},"publication_status":"published","date_updated":"2022-01-06T06:54:24Z","intvolume":"      6226","date_created":"2020-10-29T14:22:12Z","type":"conference","department":[{"_id":"63"},{"_id":"238"}],"publication":"From Animals to Animats 11"},{"type":"conference","department":[{"_id":"63"},{"_id":"238"}],"date_created":"2020-11-02T14:13:10Z","abstract":[{"lang":"eng","text":"Self-organization in natural systems demonstrates very reliable and scalable collective behavior without using any central elements. When providing collective robotic systems with self-organizing principles, we are facing new problems of making self-organization purposeful, self-adapting to changing environments and faster, in order to meet requirements from a technical perspective. This paper describes on-going work of creating such an artificial self-organization within artificial robot organisms, performed in the framework of several European projects."}],"publication":"2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns","citation":{"apa":"Kernbach, S., Hamann, H., Stradner, J., Thenius, R., Schmickl, T., Crailsheim, K., … Winfield, A. F. T. (2010). On Adaptive Self-Organization in Artificial Robot Organisms. In <i>2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns</i>. <a href=\"https://doi.org/10.1109/computationworld.2009.9\">https://doi.org/10.1109/computationworld.2009.9</a>","ieee":"S. Kernbach <i>et al.</i>, “On Adaptive Self-Organization in Artificial Robot Organisms,” in <i>2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns</i>, 2010.","chicago":"Kernbach, Serge, Heiko Hamann, Jürgen Stradner, Ronald Thenius, Thomas Schmickl, Karl Crailsheim, A.C. van Rossum, et al. “On Adaptive Self-Organization in Artificial Robot Organisms.” In <i>2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns</i>, 2010. <a href=\"https://doi.org/10.1109/computationworld.2009.9\">https://doi.org/10.1109/computationworld.2009.9</a>.","short":"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.","mla":"Kernbach, Serge, et al. “On Adaptive Self-Organization in Artificial Robot Organisms.” <i>2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns</i>, 2010, doi:<a href=\"https://doi.org/10.1109/computationworld.2009.9\">10.1109/computationworld.2009.9</a>.","ama":"Kernbach S, Hamann H, Stradner J, et al. On Adaptive Self-Organization in Artificial Robot Organisms. In: <i>2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns</i>. ; 2010. doi:<a href=\"https://doi.org/10.1109/computationworld.2009.9\">10.1109/computationworld.2009.9</a>","bibtex":"@inproceedings{Kernbach_Hamann_Stradner_Thenius_Schmickl_Crailsheim_Rossum_Sebag_Bredeche_Yao_et al._2010, title={On Adaptive Self-Organization in Artificial Robot Organisms}, DOI={<a href=\"https://doi.org/10.1109/computationworld.2009.9\">10.1109/computationworld.2009.9</a>}, 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} }"},"user_id":"15415","doi":"10.1109/computationworld.2009.9","language":[{"iso":"eng"}],"_id":"20258","publication_status":"published","date_updated":"2022-01-06T06:54:25Z","title":"On Adaptive Self-Organization in Artificial Robot Organisms","status":"public","year":"2010","author":[{"last_name":"Kernbach","first_name":"Serge","full_name":"Kernbach, Serge"},{"last_name":"Hamann","first_name":"Heiko","full_name":"Hamann, Heiko"},{"first_name":"Jürgen","last_name":"Stradner","full_name":"Stradner, Jürgen"},{"full_name":"Thenius, Ronald","first_name":"Ronald","last_name":"Thenius"},{"full_name":"Schmickl, Thomas","last_name":"Schmickl","first_name":"Thomas"},{"first_name":"Karl","last_name":"Crailsheim","full_name":"Crailsheim, Karl"},{"full_name":"Rossum, A.C. van","first_name":"A.C. van","last_name":"Rossum"},{"full_name":"Sebag, Michele","last_name":"Sebag","first_name":"Michele"},{"full_name":"Bredeche, Nicolas","first_name":"Nicolas","last_name":"Bredeche"},{"first_name":"Yao","last_name":"Yao","full_name":"Yao, Yao"},{"first_name":"Guy","last_name":"Baele","full_name":"Baele, Guy"},{"last_name":"Peer","first_name":"Yves Van de","full_name":"Peer, Yves Van de"},{"last_name":"Timmis","first_name":"Jon","full_name":"Timmis, Jon"},{"full_name":"Mohktar, Maizura","last_name":"Mohktar","first_name":"Maizura"},{"full_name":"Tyrrell, Andy","first_name":"Andy","last_name":"Tyrrell"},{"full_name":"Eiben, A.E.","last_name":"Eiben","first_name":"A.E."},{"first_name":"S.P.","last_name":"McKibbin","full_name":"McKibbin, S.P."},{"full_name":"Liu, Wenguo","last_name":"Liu","first_name":"Wenguo"},{"last_name":"Winfield","first_name":"Alan F.T.","full_name":"Winfield, Alan F.T."}],"publication_identifier":{"isbn":["9781424451661"]}},{"publication":"ICCSA'05: Proceedings of the 2005 international conference on Computational Science and Its Applications","citation":{"apa":"Grza̧ślewicz, R., Kutyłowski, J., Kutyłowski, M., &#38; Pietkiewicz, W. (2010). Robust Undetectable Interference Watermarks. <i>ICCSA’05: Proceedings of the 2005 International Conference on Computational Science and Its Applications</i>. <a href=\"https://doi.org/10.1007/11424826_55\">https://doi.org/10.1007/11424826_55</a>","ieee":"R. Grza̧ślewicz, J. Kutyłowski, M. Kutyłowski, and W. Pietkiewicz, “Robust Undetectable Interference Watermarks,” <i>ICCSA’05: Proceedings of the 2005 international conference on Computational Science and Its Applications</i>, 2010, doi: <a href=\"https://doi.org/10.1007/11424826_55\">10.1007/11424826_55</a>.","short":"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).","chicago":"Grza̧ślewicz, Ryszard, Jarosław Kutyłowski, Mirosław Kutyłowski, and Wojciech Pietkiewicz. “Robust Undetectable Interference Watermarks.” <i>ICCSA’05: Proceedings of the 2005 International Conference on Computational Science and Its Applications</i>, 2010. <a href=\"https://doi.org/10.1007/11424826_55\">https://doi.org/10.1007/11424826_55</a>.","mla":"Grza̧ślewicz, Ryszard, et al. “Robust Undetectable Interference Watermarks.” <i>ICCSA’05: Proceedings of the 2005 International Conference on Computational Science and Its Applications</i>, 2010, doi:<a href=\"https://doi.org/10.1007/11424826_55\">10.1007/11424826_55</a>.","ama":"Grza̧ślewicz R, Kutyłowski J, Kutyłowski M, Pietkiewicz W. Robust Undetectable Interference Watermarks. <i>ICCSA’05: Proceedings of the 2005 international conference on Computational Science and Its Applications</i>. Published online 2010. doi:<a href=\"https://doi.org/10.1007/11424826_55\">10.1007/11424826_55</a>","bibtex":"@article{Grza̧ślewicz_Kutyłowski_Kutyłowski_Pietkiewicz_2010, title={Robust Undetectable Interference Watermarks}, DOI={<a href=\"https://doi.org/10.1007/11424826_55\">10.1007/11424826_55</a>}, 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} }"},"date_created":"2021-09-13T14:53:37Z","type":"journal_article","department":[{"_id":"63"}],"status":"public","year":"2010","title":"Robust Undetectable Interference Watermarks","publication_identifier":{"issn":["0302-9743","1611-3349"]},"author":[{"first_name":"Ryszard","last_name":"Grza̧ślewicz","full_name":"Grza̧ślewicz, Ryszard"},{"first_name":"Jarosław","last_name":"Kutyłowski","full_name":"Kutyłowski, Jarosław"},{"last_name":"Kutyłowski","first_name":"Mirosław","full_name":"Kutyłowski, Mirosław"},{"last_name":"Pietkiewicz","first_name":"Wojciech","full_name":"Pietkiewicz, Wojciech"}],"date_updated":"2022-01-06T06:56:17Z","publication_status":"published","_id":"24282","language":[{"iso":"eng"}],"doi":"10.1007/11424826_55","user_id":"15415"},{"date_created":"2018-06-13T09:20:53Z","type":"conference","department":[{"_id":"77"}],"publication":"Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings","citation":{"ieee":"S. Schneider, H. Treharne, and H. Wehrheim, “A {CSP} Approach to Control in Event-B,” in <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, 2010, pp. 260--274.","mla":"Schneider, Steve, et al. “A {CSP} Approach to Control in Event-B.” <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, edited by Dominique M{\\’{e}}ry and Stephan Merz, 2010, pp. 260--274, doi:<a href=\"https://doi.org/10.1007/978-3-642-16265-7_19\">10.1007/978-3-642-16265-7_19</a>.","apa":"Schneider, S., Treharne, H., &#38; Wehrheim, H. (2010). A {CSP} Approach to Control in Event-B. In D. M{\\’{e}}ry &#38; S. Merz (Eds.), <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i> (pp. 260--274). <a href=\"https://doi.org/10.1007/978-3-642-16265-7_19\">https://doi.org/10.1007/978-3-642-16265-7_19</a>","bibtex":"@inproceedings{Schneider_Treharne_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={A {CSP} Approach to Control in Event-B}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-16265-7_19\">10.1007/978-3-642-16265-7_19</a>}, 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} }","chicago":"Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A {CSP} Approach to Control in Event-B.” In <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, edited by Dominique M{\\’{e}}ry and Stephan Merz, 260--274. Lecture Notes in Computer Science, 2010. <a href=\"https://doi.org/10.1007/978-3-642-16265-7_19\">https://doi.org/10.1007/978-3-642-16265-7_19</a>.","short":"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.","ama":"Schneider S, Treharne H, Wehrheim H. A {CSP} Approach to Control in Event-B. In: M{\\’{e}}ry D, Merz S, eds. <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>. Lecture Notes in Computer Science. ; 2010:260--274. doi:<a href=\"https://doi.org/10.1007/978-3-642-16265-7_19\">10.1007/978-3-642-16265-7_19</a>"},"page":"260--274","series_title":"Lecture Notes in Computer Science","_id":"3195","doi":"10.1007/978-3-642-16265-7_19","user_id":"29719","editor":[{"last_name":"M{\\'{e}}ry","first_name":"Dominique","full_name":"M{\\'{e}}ry, Dominique"},{"full_name":"Merz, Stephan","last_name":"Merz","first_name":"Stephan"}],"year":"2010","status":"public","title":"A {CSP} Approach to Control in Event-B","author":[{"last_name":"Schneider","first_name":"Steve","full_name":"Schneider, Steve"},{"full_name":"Treharne, Helen","last_name":"Treharne","first_name":"Helen"},{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike","id":"573"}],"date_updated":"2022-01-06T06:59:04Z"},{"status":"public","year":"2010","title":"{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems","author":[{"first_name":"Klaus","last_name":"Dräger","full_name":"Dräger, Klaus"},{"last_name":"Kupriyanov","first_name":"Andrey","full_name":"Kupriyanov, Andrey"},{"full_name":"Finkbeiner, Bernd","first_name":"Bernd","last_name":"Finkbeiner"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}],"date_updated":"2022-01-06T06:59:04Z","page":"271--274","series_title":"Lecture Notes in Computer Science","_id":"3196","doi":"10.1007/978-3-642-12002-2_22","user_id":"29719","editor":[{"first_name":"Javier","last_name":"Esparza","full_name":"Esparza, Javier"},{"full_name":"Majumdar, Rupak","first_name":"Rupak","last_name":"Majumdar"}],"publication":"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","citation":{"ieee":"K. Dräger, A. Kupriyanov, B. Finkbeiner, and H. Wehrheim, “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems,” in <i>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</i>, 2010, pp. 271--274.","apa":"Dräger, K., Kupriyanov, A., Finkbeiner, B., &#38; Wehrheim, H. (2010). {SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems. In J. Esparza &#38; R. Majumdar (Eds.), <i>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</i> (pp. 271--274). <a href=\"https://doi.org/10.1007/978-3-642-12002-2_22\">https://doi.org/10.1007/978-3-642-12002-2_22</a>","chicago":"Dräger, Klaus, Andrey Kupriyanov, Bernd Finkbeiner, and Heike Wehrheim. “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems.” In <i>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</i>, edited by Javier Esparza and Rupak Majumdar, 271--274. Lecture Notes in Computer Science, 2010. <a href=\"https://doi.org/10.1007/978-3-642-12002-2_22\">https://doi.org/10.1007/978-3-642-12002-2_22</a>.","short":"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.","mla":"Dräger, Klaus, et al. “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems.” <i>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</i>, edited by Javier Esparza and Rupak Majumdar, 2010, pp. 271--274, doi:<a href=\"https://doi.org/10.1007/978-3-642-12002-2_22\">10.1007/978-3-642-12002-2_22</a>.","bibtex":"@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={<a href=\"https://doi.org/10.1007/978-3-642-12002-2_22\">10.1007/978-3-642-12002-2_22</a>}, 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} }","ama":"Dräger K, Kupriyanov A, Finkbeiner B, Wehrheim H. {SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems. In: Esparza J, Majumdar R, eds. <i>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</i>. Lecture Notes in Computer Science. ; 2010:271--274. doi:<a href=\"https://doi.org/10.1007/978-3-642-12002-2_22\">10.1007/978-3-642-12002-2_22</a>"},"date_created":"2018-06-13T09:22:07Z","type":"conference","department":[{"_id":"77"}]},{"user_id":"29719","_id":"3198","date_updated":"2022-01-06T06:59:04Z","author":[{"last_name":"Steenken","first_name":"Dominik","full_name":"Steenken, Dominik"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"},{"full_name":"Wonisch, Daniel","last_name":"Wonisch","first_name":"Daniel"}],"year":"2010","status":"public","title":"Towards {A} Shape Analysis for Graph Transformation Systems","department":[{"_id":"77"}],"type":"journal_article","date_created":"2018-06-13T09:23:16Z","citation":{"bibtex":"@article{Steenken_Wehrheim_Wonisch_2010, title={Towards {A} Shape Analysis for Graph Transformation Systems}, journal={CoRR}, author={Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel}, year={2010} }","ama":"Steenken D, Wehrheim H, Wonisch D. Towards {A} Shape Analysis for Graph Transformation Systems. <i>CoRR</i>. 2010.","mla":"Steenken, Dominik, et al. “Towards {A} Shape Analysis for Graph Transformation Systems.” <i>CoRR</i>, 2010.","short":"D. Steenken, H. Wehrheim, D. Wonisch, CoRR (2010).","chicago":"Steenken, Dominik, Heike Wehrheim, and Daniel Wonisch. “Towards {A} Shape Analysis for Graph Transformation Systems.” <i>CoRR</i>, 2010.","ieee":"D. Steenken, H. Wehrheim, and D. Wonisch, “Towards {A} Shape Analysis for Graph Transformation Systems,” <i>CoRR</i>, 2010.","apa":"Steenken, D., Wehrheim, H., &#38; Wonisch, D. (2010). Towards {A} Shape Analysis for Graph Transformation Systems. <i>CoRR</i>."},"publication":"CoRR"}]