---
_id: '2198'
author:
- first_name: Mariusz
full_name: Grad, Mariusz
last_name: Grad
- first_name: Christian
full_name: Plessl, Christian
id: '16153'
last_name: Plessl
orcid: 0000-0001-5728-9982
citation:
ama: 'Grad M, Plessl C. Just-in-time Instruction Set Extension – Feasibility and
Limitations for an FPGA-based Reconfigurable ASIP Architecture. In: Proc. Reconfigurable
Architectures Workshop (RAW). IEEE Computer Society; 2011:278-285. doi:10.1109/IPDPS.2011.153'
apa: Grad, M., & Plessl, C. (2011). Just-in-time Instruction Set Extension –
Feasibility and Limitations for an FPGA-based Reconfigurable ASIP Architecture.
Proc. Reconfigurable Architectures Workshop (RAW), 278–285. https://doi.org/10.1109/IPDPS.2011.153
bibtex: '@inproceedings{Grad_Plessl_2011, title={Just-in-time Instruction Set Extension
– Feasibility and Limitations for an FPGA-based Reconfigurable ASIP Architecture},
DOI={10.1109/IPDPS.2011.153},
booktitle={Proc. Reconfigurable Architectures Workshop (RAW)}, publisher={IEEE
Computer Society}, author={Grad, Mariusz and Plessl, Christian}, year={2011},
pages={278–285} }'
chicago: Grad, Mariusz, and Christian Plessl. “Just-in-Time Instruction Set Extension
– Feasibility and Limitations for an FPGA-Based Reconfigurable ASIP Architecture.”
In Proc. Reconfigurable Architectures Workshop (RAW), 278–85. IEEE Computer
Society, 2011. https://doi.org/10.1109/IPDPS.2011.153.
ieee: 'M. Grad and C. Plessl, “Just-in-time Instruction Set Extension – Feasibility
and Limitations for an FPGA-based Reconfigurable ASIP Architecture,” in Proc.
Reconfigurable Architectures Workshop (RAW), 2011, pp. 278–285, doi: 10.1109/IPDPS.2011.153.'
mla: Grad, Mariusz, and Christian Plessl. “Just-in-Time Instruction Set Extension
– Feasibility and Limitations for an FPGA-Based Reconfigurable ASIP Architecture.”
Proc. Reconfigurable Architectures Workshop (RAW), IEEE Computer Society,
2011, pp. 278–85, doi:10.1109/IPDPS.2011.153.
short: 'M. Grad, C. Plessl, in: Proc. Reconfigurable Architectures Workshop (RAW),
IEEE Computer Society, 2011, pp. 278–285.'
date_created: 2018-04-03T15:05:52Z
date_updated: 2023-09-26T13:44:39Z
department:
- _id: '27'
- _id: '518'
- _id: '78'
doi: 10.1109/IPDPS.2011.153
language:
- iso: eng
page: 278-285
publication: Proc. Reconfigurable Architectures Workshop (RAW)
publisher: IEEE Computer Society
quality_controlled: '1'
status: public
title: Just-in-time Instruction Set Extension – Feasibility and Limitations for an
FPGA-based Reconfigurable ASIP Architecture
type: conference
user_id: '15278'
year: '2011'
...
---
_id: '37002'
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.
author:
- first_name: Tao
full_name: Xie, Tao
last_name: Xie
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Florian
full_name: Letombe, Florian
last_name: Letombe
citation:
ama: 'Xie T, Müller W, Letombe F. HDL-Mutation Based Simulation Data Generation
by Propagation Guided Search. In: Proceedings of Euromicro DSD 2011. IEEE;
2011. doi:10.1109/DSD.2011.83'
apa: Xie, T., Müller, W., & Letombe, F. (2011). HDL-Mutation Based Simulation
Data Generation by Propagation Guided Search. Proceedings of Euromicro DSD
2011. https://doi.org/10.1109/DSD.2011.83
bibtex: '@inproceedings{Xie_Müller_Letombe_2011, place={Oulu, Finnland}, title={HDL-Mutation
Based Simulation Data Generation by Propagation Guided Search}, DOI={10.1109/DSD.2011.83},
booktitle={Proceedings of Euromicro DSD 2011}, publisher={IEEE}, author={Xie,
Tao and Müller, Wolfgang and Letombe, Florian}, year={2011} }'
chicago: 'Xie, Tao, Wolfgang Müller, and Florian Letombe. “HDL-Mutation Based Simulation
Data Generation by Propagation Guided Search.” In Proceedings of Euromicro
DSD 2011. Oulu, Finnland: IEEE, 2011. https://doi.org/10.1109/DSD.2011.83.'
ieee: 'T. Xie, W. Müller, and F. Letombe, “HDL-Mutation Based Simulation Data Generation
by Propagation Guided Search,” 2011, doi: 10.1109/DSD.2011.83.'
mla: Xie, Tao, et al. “HDL-Mutation Based Simulation Data Generation by Propagation
Guided Search.” Proceedings of Euromicro DSD 2011, IEEE, 2011, doi:10.1109/DSD.2011.83.
short: 'T. Xie, W. Müller, F. Letombe, in: Proceedings of Euromicro DSD 2011, IEEE,
Oulu, Finnland, 2011.'
date_created: 2023-01-17T09:02:48Z
date_updated: 2025-02-26T14:44:15Z
department:
- _id: '672'
doi: 10.1109/DSD.2011.83
keyword:
- Hardware design languages
- Cost function
- Computational modeling
- Fault detection
- Data models
- Analytical models
- Testing
language:
- iso: eng
place: Oulu, Finnland
publication: Proceedings of Euromicro DSD 2011
publication_identifier:
isbn:
- 978-1-4577-1048-3
publisher: IEEE
status: public
title: HDL-Mutation Based Simulation Data Generation by Propagation Guided Search
type: conference
user_id: '5786'
year: '2011'
...
---
_id: '60461'
abstract:
- lang: eng
text: AbstractEfficient 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.
author:
- first_name: Marcel
full_name: Campen, Marcel
id: '114904'
last_name: Campen
orcid: 0000-0003-2340-3462
- first_name: Leif
full_name: Kobbelt, Leif
last_name: Kobbelt
citation:
ama: 'Campen M, Kobbelt L. Walking On Broken Mesh: Defect‐Tolerant Geodesic Distances
and Parameterizations. Computer Graphics Forum. 2011;30(2):623-632. doi:10.1111/j.1467-8659.2011.01896.x'
apa: 'Campen, M., & Kobbelt, L. (2011). Walking On Broken Mesh: Defect‐Tolerant
Geodesic Distances and Parameterizations. Computer Graphics Forum, 30(2),
623–632. https://doi.org/10.1111/j.1467-8659.2011.01896.x'
bibtex: '@article{Campen_Kobbelt_2011, title={Walking On Broken Mesh: Defect‐Tolerant
Geodesic Distances and Parameterizations}, volume={30}, DOI={10.1111/j.1467-8659.2011.01896.x},
number={2}, journal={Computer Graphics Forum}, publisher={Wiley}, author={Campen,
Marcel and Kobbelt, Leif}, year={2011}, pages={623–632} }'
chicago: 'Campen, Marcel, and Leif Kobbelt. “Walking On Broken Mesh: Defect‐Tolerant
Geodesic Distances and Parameterizations.” Computer Graphics Forum 30,
no. 2 (2011): 623–32. https://doi.org/10.1111/j.1467-8659.2011.01896.x.'
ieee: 'M. Campen and L. Kobbelt, “Walking On Broken Mesh: Defect‐Tolerant Geodesic
Distances and Parameterizations,” Computer Graphics Forum, vol. 30, no.
2, pp. 623–632, 2011, doi: 10.1111/j.1467-8659.2011.01896.x.'
mla: 'Campen, Marcel, and Leif Kobbelt. “Walking On Broken Mesh: Defect‐Tolerant
Geodesic Distances and Parameterizations.” Computer Graphics Forum, vol.
30, no. 2, Wiley, 2011, pp. 623–32, doi:10.1111/j.1467-8659.2011.01896.x.'
short: M. Campen, L. Kobbelt, Computer Graphics Forum 30 (2011) 623–632.
date_created: 2025-06-30T08:14:56Z
date_updated: 2025-07-14T12:35:50Z
department:
- _id: '969'
doi: 10.1111/j.1467-8659.2011.01896.x
extern: '1'
intvolume: ' 30'
issue: '2'
language:
- iso: eng
page: 623-632
publication: Computer Graphics Forum
publication_identifier:
issn:
- 0167-7055
- 1467-8659
publication_status: published
publisher: Wiley
status: public
title: 'Walking On Broken Mesh: Defect‐Tolerant Geodesic Distances and Parameterizations'
type: journal_article
user_id: '117512'
volume: 30
year: '2011'
...
---
_id: '52867'
author:
- first_name: Britta
full_name: Grimme, Britta
last_name: Grimme
- first_name: Susanne
full_name: Fuchs, Susanne
last_name: Fuchs
- first_name: Pascal
full_name: Perrier, Pascal
last_name: Perrier
- first_name: Gregor
full_name: Schöner, Gregor
last_name: Schöner
citation:
ama: 'Grimme B, Fuchs S, Perrier P, Schöner G. Limb versus speech motor control:
A conceptual review. Motor control. 2011;15(1):5–33.'
apa: 'Grimme, B., Fuchs, S., Perrier, P., & Schöner, G. (2011). Limb versus
speech motor control: A conceptual review. Motor Control, 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} }'
chicago: 'Grimme, Britta, Susanne Fuchs, Pascal Perrier, and Gregor Schöner. “Limb
versus Speech Motor Control: A Conceptual Review.” Motor Control 15, no.
1 (2011): 5–33.'
ieee: 'B. Grimme, S. Fuchs, P. Perrier, and G. Schöner, “Limb versus speech motor
control: A conceptual review,” Motor control, vol. 15, no. 1, pp. 5–33,
2011.'
mla: 'Grimme, Britta, et al. “Limb versus Speech Motor Control: A Conceptual Review.”
Motor Control, vol. 15, no. 1, Human Kinetics, Inc., 2011, pp. 5–33.'
short: B. Grimme, S. Fuchs, P. Perrier, G. Schöner, Motor Control 15 (2011) 5–33.
date_created: 2024-03-25T14:55:45Z
date_updated: 2026-03-19T07:49:26Z
department:
- _id: '819'
intvolume: ' 15'
issue: '1'
page: 5–33
publication: Motor control
publisher: Human Kinetics, Inc.
status: public
title: 'Limb versus speech motor control: A conceptual review'
type: journal_article
user_id: '103682'
volume: 15
year: '2011'
...
---
_id: '19678'
author:
- first_name: Patrick
full_name: Briest, Patrick
last_name: Briest
- first_name: Heiko
full_name: Röglin, Heiko
last_name: Röglin
citation:
ama: 'Briest P, Röglin H. The Power of Uncertainty: Bundle-Pricing for Unit-Demand
Customers. In: Workshop on Approximation and Online Algorithms (WAOA).
Vol 6534. Lecture Notes in Computer Science. Springer; 2010. doi:10.1007/978-3-642-18318-8_5'
apa: 'Briest, P., & Röglin, H. (2010). The Power of Uncertainty: Bundle-Pricing
for Unit-Demand Customers. In Workshop on Approximation and Online Algorithms
(WAOA) (Vol. 6534). Springer. https://doi.org/10.1007/978-3-642-18318-8_5'
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={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} }'
chicago: 'Briest, Patrick, and Heiko Röglin. “The Power of Uncertainty: Bundle-Pricing
for Unit-Demand Customers.” In Workshop on Approximation and Online Algorithms
(WAOA), Vol. 6534. Lecture Notes in Computer Science. Springer, 2010. https://doi.org/10.1007/978-3-642-18318-8_5.'
ieee: 'P. Briest and H. Röglin, “The Power of Uncertainty: Bundle-Pricing for Unit-Demand
Customers,” in Workshop on Approximation and Online Algorithms (WAOA),
2010, vol. 6534.'
mla: 'Briest, Patrick, and Heiko Röglin. “The Power of Uncertainty: Bundle-Pricing
for Unit-Demand Customers.” Workshop on Approximation and Online Algorithms
(WAOA), vol. 6534, Springer, 2010, doi:10.1007/978-3-642-18318-8_5.'
short: 'P. Briest, H. Röglin, in: Workshop on Approximation and Online Algorithms
(WAOA), Springer, 2010.'
date_created: 2020-09-24T14:13:19Z
date_updated: 2022-01-06T06:54:09Z
department:
- _id: '63'
doi: 10.1007/978-3-642-18318-8_5
intvolume: ' 6534'
language:
- iso: eng
publication: Workshop on Approximation and Online Algorithms (WAOA)
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: 'The Power of Uncertainty: Bundle-Pricing for Unit-Demand Customers'
type: conference
user_id: '15415'
volume: 6534
year: '2010'
...
---
_id: '19711'
author:
- first_name: Bastian
full_name: Degener, Bastian
last_name: Degener
- first_name: Peter
full_name: Pietrzyk, Peter
last_name: Pietrzyk
- first_name: Barbara
full_name: Kempkes, Barbara
last_name: Kempkes
citation:
ama: 'Degener B, Pietrzyk P, Kempkes B. A local, distributed constant-factor approximation
algorithm for the dynamic facility location problem . In: International Parallel
& Distributed Processing Symposium (IPDPS). ; 2010. doi:10.1109/IPDPS.2010.5470349'
apa: Degener, B., Pietrzyk, P., & Kempkes, B. (2010). A local, distributed constant-factor
approximation algorithm for the dynamic facility location problem . In International
Parallel & Distributed Processing Symposium (IPDPS). https://doi.org/10.1109/IPDPS.2010.5470349
bibtex: '@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}
}'
chicago: Degener, Bastian, Peter Pietrzyk, and Barbara Kempkes. “A Local, Distributed
Constant-Factor Approximation Algorithm for the Dynamic Facility Location Problem
.” In International Parallel & Distributed Processing Symposium (IPDPS),
2010. https://doi.org/10.1109/IPDPS.2010.5470349.
ieee: B. Degener, P. Pietrzyk, and B. Kempkes, “A local, distributed constant-factor
approximation algorithm for the dynamic facility location problem ,” in International
Parallel & Distributed Processing Symposium (IPDPS), 2010.
mla: Degener, Bastian, et al. “A Local, Distributed Constant-Factor Approximation
Algorithm for the Dynamic Facility Location Problem .” International Parallel
& Distributed Processing Symposium (IPDPS), 2010, doi:10.1109/IPDPS.2010.5470349.
short: 'B. Degener, P. Pietrzyk, B. Kempkes, in: International Parallel & Distributed
Processing Symposium (IPDPS), 2010.'
date_created: 2020-09-28T08:25:37Z
date_updated: 2022-01-06T06:54:10Z
department:
- _id: '63'
doi: 10.1109/IPDPS.2010.5470349
language:
- iso: eng
publication: International Parallel & Distributed Processing Symposium (IPDPS)
status: public
title: 'A local, distributed constant-factor approximation algorithm for the dynamic
facility location problem '
type: conference
user_id: '15415'
year: '2010'
...
---
_id: '19796'
abstract:
- lang: eng
text: "We introduce the Read-Write-Coding-System (RWC) \x96 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."
author:
- first_name: Mario
full_name: Mense, Mario
last_name: Mense
- first_name: Christian
full_name: Schindelhauer, Christian
last_name: Schindelhauer
citation:
ama: 'Mense M, Schindelhauer C. Read-Write-Codes: An Erasure Resilient Encoding
System for Flexible Reading and Writing in Storage Networks. In: Proceedings
of 11th International Symposium on Stabilization, Safety, and Security of Distributed
Systems. Vol 5873. Lecture Notes in Computer Science. ; 2010:624--639. doi:10.1007/978-3-642-05118-0_43'
apa: 'Mense, M., & Schindelhauer, C. (2010). Read-Write-Codes: An Erasure Resilient
Encoding System for Flexible Reading and Writing in Storage Networks. In Proceedings
of 11th International Symposium on Stabilization, Safety, and Security of Distributed
Systems (Vol. 5873, pp. 624--639). https://doi.org/10.1007/978-3-642-05118-0_43'
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={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} }'
chicago: 'Mense, Mario, and Christian Schindelhauer. “Read-Write-Codes: An Erasure
Resilient Encoding System for Flexible Reading and Writing in Storage Networks.”
In Proceedings of 11th International Symposium on Stabilization, Safety, and
Security of Distributed Systems, 5873:624--639. Lecture Notes in Computer
Science, 2010. https://doi.org/10.1007/978-3-642-05118-0_43.'
ieee: 'M. Mense and C. Schindelhauer, “Read-Write-Codes: An Erasure Resilient Encoding
System for Flexible Reading and Writing in Storage Networks,” in Proceedings
of 11th International Symposium on Stabilization, Safety, and Security of Distributed
Systems, 2010, vol. 5873, 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.” Proceedings
of 11th International Symposium on Stabilization, Safety, and Security of Distributed
Systems, vol. 5873, 2010, pp. 624--639, doi:10.1007/978-3-642-05118-0_43.'
short: 'M. Mense, C. Schindelhauer, in: Proceedings of 11th International Symposium
on Stabilization, Safety, and Security of Distributed Systems, 2010, pp. 624--639.'
date_created: 2020-09-30T12:12:33Z
date_updated: 2022-01-06T06:54:12Z
department:
- _id: '63'
doi: 10.1007/978-3-642-05118-0_43
intvolume: ' 5873'
language:
- iso: eng
page: 624--639
publication: Proceedings of 11th International Symposium on Stabilization, Safety,
and Security of Distributed Systems
publication_identifier:
isbn:
- '9783642051173'
- '9783642051180'
issn:
- 0302-9743
- 1611-3349
publication_status: published
series_title: Lecture Notes in Computer Science
status: public
title: 'Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading
and Writing in Storage Networks'
type: conference
user_id: '15415'
volume: 5873
year: '2010'
...
---
_id: '19824'
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.
author:
- first_name: Thomas
full_name: Janson, Thomas
last_name: Janson
- first_name: Peter
full_name: Mahlmann, Peter
last_name: Mahlmann
- first_name: Christian
full_name: Schindelhauer, Christian
last_name: Schindelhauer
citation:
ama: 'Janson T, Mahlmann P, Schindelhauer C. A Self-Stabilizing Locality-Aware Peer-to-Peer
Network Combining Random Networks, Search Trees, and DHTs. In: Proceedings
of the 16th International Conference on Parallel and Distributed Systems.
; 2010. doi:10.1109/icpads.2010.42'
apa: Janson, T., Mahlmann, P., & Schindelhauer, C. (2010). A Self-Stabilizing
Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and
DHTs. In Proceedings of the 16th International Conference on Parallel and Distributed
Systems. https://doi.org/10.1109/icpads.2010.42
bibtex: '@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} }'
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 Proceedings of the 16th International Conference on Parallel and
Distributed Systems, 2010. https://doi.org/10.1109/icpads.2010.42.
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 Proceedings
of the 16th International Conference on Parallel and Distributed Systems,
2010.
mla: Janson, Thomas, et al. “A Self-Stabilizing Locality-Aware Peer-to-Peer Network
Combining Random Networks, Search Trees, and DHTs.” Proceedings of the 16th
International Conference on Parallel and Distributed Systems, 2010, doi:10.1109/icpads.2010.42.
short: 'T. Janson, P. Mahlmann, C. Schindelhauer, in: Proceedings of the 16th International
Conference on Parallel and Distributed Systems, 2010.'
date_created: 2020-10-01T09:39:13Z
date_updated: 2022-01-06T06:54:13Z
department:
- _id: '63'
doi: 10.1109/icpads.2010.42
language:
- iso: eng
publication: Proceedings of the 16th International Conference on Parallel and Distributed
Systems
publication_identifier:
isbn:
- '9781424497270'
publication_status: published
status: public
title: A Self-Stabilizing Locality-Aware Peer-to-Peer Network Combining Random Networks,
Search Trees, and DHTs
type: conference
user_id: '15415'
year: '2010'
...
---
_id: '19829'
author:
- first_name: Huawei
full_name: Miao, Huawei
last_name: Miao
- first_name: Chia Ching
full_name: Ooi, Chia Ching
last_name: Ooi
- first_name: Xiaowen
full_name: Wu, Xiaowen
last_name: Wu
- first_name: Christian
full_name: Schindelhauer, Christian
last_name: Schindelhauer
citation:
ama: 'Miao H, Ooi CC, Wu X, Schindelhauer C. Coverage-hole trap model in target
tracking using distributed relay-robot network. In: Proceedings of the 2010
ACM Symposium on Applied Computing - SAC ’10. ; 2010:1299-1304. doi:10.1145/1774088.1774365'
apa: Miao, H., Ooi, C. C., Wu, X., & Schindelhauer, C. (2010). Coverage-hole
trap model in target tracking using distributed relay-robot network. In Proceedings
of the 2010 ACM Symposium on Applied Computing - SAC ’10 (pp. 1299–1304).
https://doi.org/10.1145/1774088.1774365
bibtex: '@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} }'
chicago: Miao, Huawei, Chia Ching Ooi, Xiaowen Wu, and Christian Schindelhauer.
“Coverage-Hole Trap Model in Target Tracking Using Distributed Relay-Robot Network.”
In Proceedings of the 2010 ACM Symposium on Applied Computing - SAC ’10,
1299–1304, 2010. https://doi.org/10.1145/1774088.1774365.
ieee: H. Miao, C. C. Ooi, X. Wu, and C. Schindelhauer, “Coverage-hole trap model
in target tracking using distributed relay-robot network,” in Proceedings of
the 2010 ACM Symposium on Applied Computing - SAC ’10, 2010, pp. 1299–1304.
mla: Miao, Huawei, et al. “Coverage-Hole Trap Model in Target Tracking Using Distributed
Relay-Robot Network.” Proceedings of the 2010 ACM Symposium on Applied Computing
- SAC ’10, 2010, pp. 1299–304, doi:10.1145/1774088.1774365.
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.'
date_created: 2020-10-01T10:00:25Z
date_updated: 2022-01-06T06:54:13Z
department:
- _id: '63'
doi: 10.1145/1774088.1774365
language:
- iso: eng
page: 1299-1304
publication: Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10
publication_identifier:
isbn:
- '9781605586397'
publication_status: published
status: public
title: Coverage-hole trap model in target tracking using distributed relay-robot network
type: conference
user_id: '15415'
year: '2010'
...
---
_id: '19933'
author:
- first_name: Gunnar
full_name: Schomaker, Gunnar
last_name: Schomaker
- first_name: Simon
full_name: Oberthur, Simon
last_name: Oberthur
- first_name: Michael
full_name: Kortenjan, Michael
last_name: Kortenjan
citation:
ama: 'Schomaker G, Oberthur S, Kortenjan M. Distributed and dynamic resource management
for self-optimizing mechatronic systems. In: 8th IEEE International Conference
on Industrial Informatics (INDIN’2010). ; 2010. doi:10.1109/indin.2010.5549647'
apa: Schomaker, G., Oberthur, S., & Kortenjan, M. (2010). Distributed and dynamic
resource management for self-optimizing mechatronic systems. In 8th IEEE International
Conference on Industrial Informatics (INDIN’2010). https://doi.org/10.1109/indin.2010.5549647
bibtex: '@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}
}'
chicago: Schomaker, Gunnar, Simon Oberthur, and Michael Kortenjan. “Distributed
and Dynamic Resource Management for Self-Optimizing Mechatronic Systems.” In 8th
IEEE International Conference on Industrial Informatics (INDIN’2010), 2010.
https://doi.org/10.1109/indin.2010.5549647.
ieee: G. Schomaker, S. Oberthur, and M. Kortenjan, “Distributed and dynamic resource
management for self-optimizing mechatronic systems,” in 8th IEEE International
Conference on Industrial Informatics (INDIN’2010), 2010.
mla: Schomaker, Gunnar, et al. “Distributed and Dynamic Resource Management for
Self-Optimizing Mechatronic Systems.” 8th IEEE International Conference on
Industrial Informatics (INDIN’2010), 2010, doi:10.1109/indin.2010.5549647.
short: 'G. Schomaker, S. Oberthur, M. Kortenjan, in: 8th IEEE International Conference
on Industrial Informatics (INDIN’2010), 2010.'
date_created: 2020-10-06T14:01:21Z
date_updated: 2022-01-06T06:54:14Z
department:
- _id: '63'
- _id: '70'
doi: 10.1109/indin.2010.5549647
language:
- iso: eng
publication: 8th IEEE International Conference on Industrial Informatics (INDIN'2010)
publication_identifier:
isbn:
- '9781424472987'
publication_status: published
status: public
title: Distributed and dynamic resource management for self-optimizing mechatronic
systems
type: conference
user_id: '15415'
year: '2010'
...
---
_id: '20182'
author:
- first_name: Heiko
full_name: Hamann, Heiko
last_name: Hamann
citation:
ama: 'Hamann H. Space-Time Continuous Models of Swarm Robotics Systems: Supporting
Global-to-Local Programming. Berlin, Germany: Springer; 2010. doi:10.1007/978-3-642-13377-0'
apa: 'Hamann, H. (2010). Space-Time Continuous Models of Swarm Robotics Systems:
Supporting Global-to-Local Programming. Berlin, Germany: Springer. https://doi.org/10.1007/978-3-642-13377-0'
bibtex: '@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} }'
chicago: 'Hamann, Heiko. Space-Time Continuous Models of Swarm Robotics Systems:
Supporting Global-to-Local Programming. Berlin, Germany: Springer, 2010. https://doi.org/10.1007/978-3-642-13377-0.'
ieee: 'H. Hamann, Space-Time Continuous Models of Swarm Robotics Systems: Supporting
Global-to-Local Programming. Berlin, Germany: Springer, 2010.'
mla: 'Hamann, Heiko. Space-Time Continuous Models of Swarm Robotics Systems:
Supporting Global-to-Local Programming. Springer, 2010, doi:10.1007/978-3-642-13377-0.'
short: 'H. Hamann, Space-Time Continuous Models of Swarm Robotics Systems: Supporting
Global-to-Local Programming, Springer, Berlin, Germany, 2010.'
date_created: 2020-10-22T12:25:10Z
date_updated: 2022-01-06T06:54:21Z
department:
- _id: '63'
- _id: '238'
doi: 10.1007/978-3-642-13377-0
language:
- iso: eng
place: Berlin, Germany
publisher: Springer
status: public
title: 'Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local
Programming'
type: book
user_id: '15415'
year: '2010'
...
---
_id: '20220'
author:
- first_name: Heiko
full_name: Hamann, Heiko
last_name: Hamann
- first_name: Thomas
full_name: Schmickl, Thomas
last_name: Schmickl
- first_name: Jürgen
full_name: Stradner, Jürgen
last_name: Stradner
- first_name: Karl
full_name: Crailsheim, Karl
last_name: Crailsheim
citation:
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: Proceedings of the IEEE Congress on Evolutionary Computation (CEC’10).
; 2010:244--251. doi:10.1109/CEC.2010.5585994'
apa: 'Hamann, H., Schmickl, T., Stradner, J., & Crailsheim, K. (2010). A Hormone-Based
Controller for Evolutionary Multi-Modular Robotics: From Single Modules to Gait
Learning. In Proceedings of the IEEE Congress on Evolutionary Computation (CEC’10)
(pp. 244--251). https://doi.org/10.1109/CEC.2010.5585994'
bibtex: '@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} }'
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 Proceedings of the IEEE Congress on Evolutionary
Computation (CEC’10), 244--251, 2010. https://doi.org/10.1109/CEC.2010.5585994.'
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 Proceedings of the IEEE Congress on Evolutionary Computation
(CEC’10), 2010, pp. 244--251.'
mla: 'Hamann, Heiko, et al. “A Hormone-Based Controller for Evolutionary Multi-Modular
Robotics: From Single Modules to Gait Learning.” Proceedings of the IEEE Congress
on Evolutionary Computation (CEC’10), 2010, pp. 244--251, doi:10.1109/CEC.2010.5585994.'
short: 'H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, in: Proceedings of the
IEEE Congress on Evolutionary Computation (CEC’10), 2010, pp. 244--251.'
date_created: 2020-10-28T14:37:09Z
date_updated: 2022-01-06T06:54:23Z
department:
- _id: '63'
- _id: '238'
doi: 10.1109/CEC.2010.5585994
language:
- iso: eng
page: 244--251
publication: Proceedings of the IEEE Congress on Evolutionary Computation (CEC'10)
status: public
title: 'A Hormone-Based Controller for Evolutionary Multi-Modular Robotics: From Single
Modules to Gait Learning'
type: conference
user_id: '15415'
year: '2010'
...
---
_id: '20222'
author:
- first_name: Thomas
full_name: Schmickl, Thomas
last_name: Schmickl
- first_name: Heiko
full_name: Hamann, Heiko
last_name: Hamann
- first_name: Jürgen
full_name: Stradner, Jürgen
last_name: Stradner
- first_name: Ralf
full_name: Mayet, Ralf
last_name: Mayet
- first_name: Karl
full_name: Crailsheim, Karl
last_name: Crailsheim
citation:
ama: 'Schmickl T, Hamann H, Stradner J, Mayet R, Crailsheim K. Complex Taxis-Behaviour
in a Novel Bio-Inspired Robot Controller. In: Proc. of the ALife XII Conference.
MIT Press; 2010:648--655.'
apa: Schmickl, T., Hamann, H., Stradner, J., Mayet, R., & Crailsheim, K. (2010).
Complex Taxis-Behaviour in a Novel Bio-Inspired Robot Controller. In Proc.
of the ALife XII Conference (pp. 648--655). MIT Press.
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} }'
chicago: Schmickl, Thomas, Heiko Hamann, Jürgen Stradner, Ralf Mayet, and Karl Crailsheim.
“Complex Taxis-Behaviour in a Novel Bio-Inspired Robot Controller.” In Proc.
of the ALife XII Conference, 648--655. MIT Press, 2010.
ieee: T. Schmickl, H. Hamann, J. Stradner, R. Mayet, and K. Crailsheim, “Complex
Taxis-Behaviour in a Novel Bio-Inspired Robot Controller,” in Proc. of the
ALife XII Conference, 2010, pp. 648--655.
mla: Schmickl, Thomas, et al. “Complex Taxis-Behaviour in a Novel Bio-Inspired Robot
Controller.” Proc. of the ALife XII Conference, MIT Press, 2010, pp. 648--655.
short: 'T. Schmickl, H. Hamann, J. Stradner, R. Mayet, K. Crailsheim, in: Proc.
of the ALife XII Conference, MIT Press, 2010, pp. 648--655.'
date_created: 2020-10-29T14:09:39Z
date_updated: 2022-01-06T06:54:23Z
department:
- _id: '63'
- _id: '238'
language:
- iso: eng
page: 648--655
publication: Proc. of the ALife XII Conference
publisher: MIT Press
status: public
title: Complex Taxis-Behaviour in a Novel Bio-Inspired Robot Controller
type: conference
user_id: '15415'
year: '2010'
...
---
_id: '20223'
abstract:
- lang: eng
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."
author:
- first_name: Heiko
full_name: Hamann, Heiko
last_name: Hamann
- first_name: Jürgen
full_name: Stradner, Jürgen
last_name: Stradner
- first_name: Thomas
full_name: Schmickl, Thomas
last_name: Schmickl
- first_name: Karl
full_name: Crailsheim, Karl
last_name: Crailsheim
citation:
ama: 'Hamann H, Stradner J, Schmickl T, Crailsheim K. Artificial Hormone Reaction
Networks: Towards Higher Evolvability in Evolutionary Multi-Modular Robotics.
In: Artificial Life XII (ALife XII), Odense, Denmark. MIT Press; 2010:773-780.'
apa: 'Hamann, H., Stradner, J., Schmickl, T., & Crailsheim, K. (2010). Artificial
Hormone Reaction Networks: Towards Higher Evolvability in Evolutionary Multi-Modular
Robotics. In Artificial Life XII (ALife XII), Odense, Denmark (pp. 773–780).
MIT Press.'
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 Artificial Life XII (ALife XII), Odense, Denmark,
773–80. MIT Press, 2010.'
ieee: 'H. Hamann, J. Stradner, T. Schmickl, and K. Crailsheim, “Artificial Hormone
Reaction Networks: Towards Higher Evolvability in Evolutionary Multi-Modular
Robotics,” in Artificial Life XII (ALife XII), Odense, Denmark, 2010, pp.
773–780.'
mla: 'Hamann, Heiko, et al. “Artificial Hormone Reaction Networks: Towards Higher
Evolvability in Evolutionary Multi-Modular Robotics.” Artificial Life XII
(ALife XII), Odense, Denmark, MIT Press, 2010, pp. 773–80.'
short: 'H. Hamann, J. Stradner, T. Schmickl, K. Crailsheim, in: Artificial Life
XII (ALife XII), Odense, Denmark, MIT Press, 2010, pp. 773–780.'
date_created: 2020-10-29T14:11:25Z
date_updated: 2022-01-06T06:54:23Z
department:
- _id: '63'
- _id: '238'
external_id:
arxiv:
- '1011.3912'
language:
- iso: eng
page: 773-780
publication: Artificial Life XII (ALife XII), Odense, Denmark
publisher: MIT Press
status: public
title: 'Artificial Hormone Reaction Networks: Towards Higher Evolvability in Evolutionary
Multi-Modular Robotics'
type: conference
user_id: '15415'
year: '2010'
...
---
_id: '20226'
author:
- first_name: Heiko
full_name: Hamann, Heiko
last_name: Hamann
- first_name: Bernd
full_name: Meyer, Bernd
last_name: Meyer
- first_name: Thomas
full_name: Schmickl, Thomas
last_name: Schmickl
- first_name: Karl
full_name: Crailsheim, Karl
last_name: Crailsheim
citation:
ama: 'Hamann H, Meyer B, Schmickl T, Crailsheim K. A Model of Symmetry Breaking
in Collective Decision-Making. In: From Animals to Animats 11. Vol 6226.
Springer; 2010:639-648. doi:10.1007/978-3-642-15193-4_60'
apa: Hamann, H., Meyer, B., Schmickl, T., & Crailsheim, K. (2010). A Model of
Symmetry Breaking in Collective Decision-Making. In From Animals to Animats
11 (Vol. 6226, pp. 639–648). Springer. https://doi.org/10.1007/978-3-642-15193-4_60
bibtex: '@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} }'
chicago: Hamann, Heiko, Bernd Meyer, Thomas Schmickl, and Karl Crailsheim. “A Model
of Symmetry Breaking in Collective Decision-Making.” In From Animals to Animats
11, 6226:639–48. Springer, 2010. https://doi.org/10.1007/978-3-642-15193-4_60.
ieee: H. Hamann, B. Meyer, T. Schmickl, and K. Crailsheim, “A Model of Symmetry
Breaking in Collective Decision-Making,” in From Animals to Animats 11,
2010, vol. 6226, pp. 639–648.
mla: Hamann, Heiko, et al. “A Model of Symmetry Breaking in Collective Decision-Making.”
From Animals to Animats 11, vol. 6226, Springer, 2010, pp. 639–48, doi:10.1007/978-3-642-15193-4_60.
short: 'H. Hamann, B. Meyer, T. Schmickl, K. Crailsheim, in: From Animals to Animats
11, Springer, 2010, pp. 639–648.'
date_created: 2020-10-29T14:22:12Z
date_updated: 2022-01-06T06:54:24Z
department:
- _id: '63'
- _id: '238'
doi: 10.1007/978-3-642-15193-4_60
intvolume: ' 6226'
language:
- iso: eng
page: 639-648
publication: From Animals to Animats 11
publication_identifier:
isbn:
- '9783642151927'
- '9783642151934'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer
status: public
title: A Model of Symmetry Breaking in Collective Decision-Making
type: conference
user_id: '15415'
volume: 6226
year: '2010'
...
---
_id: '20258'
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.
author:
- first_name: Serge
full_name: Kernbach, Serge
last_name: Kernbach
- first_name: Heiko
full_name: Hamann, Heiko
last_name: Hamann
- first_name: Jürgen
full_name: Stradner, Jürgen
last_name: Stradner
- first_name: Ronald
full_name: Thenius, Ronald
last_name: Thenius
- first_name: Thomas
full_name: Schmickl, Thomas
last_name: Schmickl
- first_name: Karl
full_name: Crailsheim, Karl
last_name: Crailsheim
- first_name: A.C. van
full_name: Rossum, A.C. van
last_name: Rossum
- first_name: Michele
full_name: Sebag, Michele
last_name: Sebag
- first_name: Nicolas
full_name: Bredeche, Nicolas
last_name: Bredeche
- first_name: Yao
full_name: Yao, Yao
last_name: Yao
- first_name: Guy
full_name: Baele, Guy
last_name: Baele
- first_name: Yves Van de
full_name: Peer, Yves Van de
last_name: Peer
- first_name: Jon
full_name: Timmis, Jon
last_name: Timmis
- first_name: Maizura
full_name: Mohktar, Maizura
last_name: Mohktar
- first_name: Andy
full_name: Tyrrell, Andy
last_name: Tyrrell
- first_name: A.E.
full_name: Eiben, A.E.
last_name: Eiben
- first_name: S.P.
full_name: McKibbin, S.P.
last_name: McKibbin
- first_name: Wenguo
full_name: Liu, Wenguo
last_name: Liu
- first_name: Alan F.T.
full_name: Winfield, Alan F.T.
last_name: Winfield
citation:
ama: 'Kernbach S, Hamann H, Stradner J, et al. On Adaptive Self-Organization in
Artificial Robot Organisms. In: 2009 Computation World: Future Computing, Service
Computation, Cognitive, Adaptive, Content, Patterns. ; 2010. doi:10.1109/computationworld.2009.9'
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 2009 Computation World: Future Computing, Service Computation,
Cognitive, Adaptive, Content, Patterns. https://doi.org/10.1109/computationworld.2009.9'
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={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}
}'
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 2009 Computation World: Future Computing,
Service Computation, Cognitive, Adaptive, Content, Patterns, 2010. https://doi.org/10.1109/computationworld.2009.9.'
ieee: 'S. Kernbach et al., “On Adaptive Self-Organization in Artificial Robot
Organisms,” 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.” 2009 Computation World: Future Computing, Service Computation,
Cognitive, Adaptive, Content, Patterns, 2010, doi:10.1109/computationworld.2009.9.'
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.'
date_created: 2020-11-02T14:13:10Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '63'
- _id: '238'
doi: 10.1109/computationworld.2009.9
language:
- iso: eng
publication: '2009 Computation World: Future Computing, Service Computation, Cognitive,
Adaptive, Content, Patterns'
publication_identifier:
isbn:
- '9781424451661'
publication_status: published
status: public
title: On Adaptive Self-Organization in Artificial Robot Organisms
type: conference
user_id: '15415'
year: '2010'
...
---
_id: '24282'
author:
- first_name: Ryszard
full_name: Grza̧ślewicz, Ryszard
last_name: Grza̧ślewicz
- first_name: Jarosław
full_name: Kutyłowski, Jarosław
last_name: Kutyłowski
- first_name: Mirosław
full_name: Kutyłowski, Mirosław
last_name: Kutyłowski
- first_name: Wojciech
full_name: Pietkiewicz, Wojciech
last_name: Pietkiewicz
citation:
ama: 'Grza̧ślewicz R, Kutyłowski J, Kutyłowski M, Pietkiewicz W. Robust Undetectable
Interference Watermarks. ICCSA’05: Proceedings of the 2005 international conference
on Computational Science and Its Applications. Published online 2010. doi:10.1007/11424826_55'
apa: 'Grza̧ślewicz, R., Kutyłowski, J., Kutyłowski, M., & Pietkiewicz, W. (2010).
Robust Undetectable Interference Watermarks. ICCSA’05: Proceedings of the 2005
International Conference on Computational Science and Its Applications. https://doi.org/10.1007/11424826_55'
bibtex: '@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} }'
chicago: 'Grza̧ślewicz, Ryszard, Jarosław Kutyłowski, Mirosław Kutyłowski, and Wojciech
Pietkiewicz. “Robust Undetectable Interference Watermarks.” ICCSA’05: Proceedings
of the 2005 International Conference on Computational Science and Its Applications,
2010. https://doi.org/10.1007/11424826_55.'
ieee: 'R. Grza̧ślewicz, J. Kutyłowski, M. Kutyłowski, and W. Pietkiewicz, “Robust
Undetectable Interference Watermarks,” ICCSA’05: Proceedings of the 2005 international
conference on Computational Science and Its Applications, 2010, doi: 10.1007/11424826_55.'
mla: 'Grza̧ślewicz, Ryszard, et al. “Robust Undetectable Interference Watermarks.”
ICCSA’05: Proceedings of the 2005 International Conference on Computational
Science and Its Applications, 2010, doi:10.1007/11424826_55.'
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).'
date_created: 2021-09-13T14:53:37Z
date_updated: 2022-01-06T06:56:17Z
department:
- _id: '63'
doi: 10.1007/11424826_55
language:
- iso: eng
publication: 'ICCSA''05: Proceedings of the 2005 international conference on Computational
Science and Its Applications'
publication_identifier:
issn:
- 0302-9743
- 1611-3349
publication_status: published
status: public
title: Robust Undetectable Interference Watermarks
type: journal_article
user_id: '15415'
year: '2010'
...
---
_id: '3195'
author:
- first_name: Steve
full_name: Schneider, Steve
last_name: Schneider
- first_name: Helen
full_name: Treharne, Helen
last_name: Treharne
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Schneider S, Treharne H, Wehrheim H. A {CSP} Approach to Control in Event-B.
In: M{\’{e}}ry D, Merz S, eds. Integrated Formal Methods - 8th International
Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings. Lecture
Notes in Computer Science. ; 2010:260--274. doi:10.1007/978-3-642-16265-7_19'
apa: Schneider, S., Treharne, H., & Wehrheim, H. (2010). A {CSP} Approach to
Control in Event-B. In D. M{\’{e}}ry & S. Merz (Eds.), Integrated Formal
Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14,
2010. Proceedings (pp. 260--274). https://doi.org/10.1007/978-3-642-16265-7_19
bibtex: '@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} }'
chicago: Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A {CSP} Approach
to Control in Event-B.” In Integrated Formal Methods - 8th International Conference,
{IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique
M{\’{e}}ry and Stephan Merz, 260--274. Lecture Notes in Computer Science, 2010.
https://doi.org/10.1007/978-3-642-16265-7_19.
ieee: S. Schneider, H. Treharne, and H. Wehrheim, “A {CSP} Approach to Control in
Event-B,” in Integrated Formal Methods - 8th International Conference, {IFM}
2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 260--274.
mla: Schneider, Steve, et al. “A {CSP} Approach to Control in Event-B.” 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. 260--274, doi:10.1007/978-3-642-16265-7_19.
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.'
date_created: 2018-06-13T09:20:53Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-642-16265-7_19
editor:
- first_name: Dominique
full_name: M{\'{e}}ry, Dominique
last_name: M{\'{e}}ry
- first_name: Stephan
full_name: Merz, Stephan
last_name: Merz
page: 260--274
publication: Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: A {CSP} Approach to Control in Event-B
type: conference
user_id: '29719'
year: '2010'
...
---
_id: '3196'
author:
- first_name: Klaus
full_name: Dräger, Klaus
last_name: Dräger
- first_name: Andrey
full_name: Kupriyanov, Andrey
last_name: Kupriyanov
- first_name: Bernd
full_name: Finkbeiner, Bernd
last_name: Finkbeiner
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
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.
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.
Lecture Notes in Computer Science. ; 2010:271--274. doi:10.1007/978-3-642-12002-2_22'
apa: Dräger, K., Kupriyanov, A., Finkbeiner, B., & Wehrheim, H. (2010). {SLAB:}
{A} Certifying Model Checker for Infinite-State Concurrent Systems. 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 (pp. 271--274). https://doi.org/10.1007/978-3-642-12002-2_22
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={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} }'
chicago: Dräger, Klaus, Andrey Kupriyanov, Bernd Finkbeiner, and Heike Wehrheim.
“{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems.”
In 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, edited by Javier Esparza and Rupak Majumdar, 271--274.
Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-12002-2_22.
ieee: K. Dräger, A. Kupriyanov, B. Finkbeiner, and H. Wehrheim, “{SLAB:} {A} Certifying
Model Checker for Infinite-State Concurrent Systems,” in 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.” 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, edited by Javier Esparza and Rupak
Majumdar, 2010, pp. 271--274, doi:10.1007/978-3-642-12002-2_22.
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.'
date_created: 2018-06-13T09:22:07Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-642-12002-2_22
editor:
- first_name: Javier
full_name: Esparza, Javier
last_name: Esparza
- first_name: Rupak
full_name: Majumdar, Rupak
last_name: Majumdar
page: 271--274
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
series_title: Lecture Notes in Computer Science
status: public
title: '{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems'
type: conference
user_id: '29719'
year: '2010'
...
---
_id: '3198'
author:
- first_name: Dominik
full_name: Steenken, Dominik
last_name: Steenken
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: Daniel
full_name: Wonisch, Daniel
last_name: Wonisch
citation:
ama: Steenken D, Wehrheim H, Wonisch D. Towards {A} Shape Analysis for Graph Transformation
Systems. CoRR. 2010.
apa: Steenken, D., Wehrheim, H., & Wonisch, D. (2010). Towards {A} Shape Analysis
for Graph Transformation Systems. CoRR.
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} }'
chicago: Steenken, Dominik, Heike Wehrheim, and Daniel Wonisch. “Towards {A} Shape
Analysis for Graph Transformation Systems.” CoRR, 2010.
ieee: D. Steenken, H. Wehrheim, and D. Wonisch, “Towards {A} Shape Analysis for
Graph Transformation Systems,” CoRR, 2010.
mla: Steenken, Dominik, et al. “Towards {A} Shape Analysis for Graph Transformation
Systems.” CoRR, 2010.
short: D. Steenken, H. Wehrheim, D. Wonisch, CoRR (2010).
date_created: 2018-06-13T09:23:16Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
publication: CoRR
status: public
title: Towards {A} Shape Analysis for Graph Transformation Systems
type: journal_article
user_id: '29719'
year: '2010'
...