---
_id: '3971'
abstract:
- lang: eng
text: The Reeb graph is a useful tool in visualizing real-valued data obtained from
computational simulations of physical processes. We characterize the evolution
of the Reeb graph of a time-varying continuous function defined in three-dimensional
space. We show how to maintain the Reeb graph over time and compress the entire
sequence of Reeb graphs into a single, partially persistent data structure, and
augment this data structure with Betti numbers to describe the topology of level
sets and with path seeds to assist in the fast extraction of level sets for visualization.
author:
- first_name: Herbert
full_name: Herbert Edelsbrunner
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: John
full_name: Harer, John
last_name: Harer
- first_name: Ajith
full_name: Mascarenhas, Ajith
last_name: Mascarenhas
- first_name: Valerio
full_name: Pascucci, Valerio
last_name: Pascucci
- first_name: Jack
full_name: Snoeyink, Jack
last_name: Snoeyink
citation:
ama: 'Edelsbrunner H, Harer J, Mascarenhas A, Pascucci V, Snoeyink J. Time-varying
Reeb graphs for continuous space-time data. Computational Geometry: Theory
and Applications. 2008;41(3):149-166. doi:10.1016/j.comgeo.2007.11.001'
apa: 'Edelsbrunner, H., Harer, J., Mascarenhas, A., Pascucci, V., & Snoeyink,
J. (2008). Time-varying Reeb graphs for continuous space-time data. Computational
Geometry: Theory and Applications. Elsevier. https://doi.org/10.1016/j.comgeo.2007.11.001'
chicago: 'Edelsbrunner, Herbert, John Harer, Ajith Mascarenhas, Valerio Pascucci,
and Jack Snoeyink. “Time-Varying Reeb Graphs for Continuous Space-Time Data.”
Computational Geometry: Theory and Applications. Elsevier, 2008. https://doi.org/10.1016/j.comgeo.2007.11.001.'
ieee: 'H. Edelsbrunner, J. Harer, A. Mascarenhas, V. Pascucci, and J. Snoeyink,
“Time-varying Reeb graphs for continuous space-time data,” Computational Geometry:
Theory and Applications, vol. 41, no. 3. Elsevier, pp. 149–166, 2008.'
ista: 'Edelsbrunner H, Harer J, Mascarenhas A, Pascucci V, Snoeyink J. 2008. Time-varying
Reeb graphs for continuous space-time data. Computational Geometry: Theory and
Applications. 41(3), 149–166.'
mla: 'Edelsbrunner, Herbert, et al. “Time-Varying Reeb Graphs for Continuous Space-Time
Data.” Computational Geometry: Theory and Applications, vol. 41, no. 3,
Elsevier, 2008, pp. 149–66, doi:10.1016/j.comgeo.2007.11.001.'
short: 'H. Edelsbrunner, J. Harer, A. Mascarenhas, V. Pascucci, J. Snoeyink, Computational
Geometry: Theory and Applications 41 (2008) 149–166.'
date_created: 2018-12-11T12:06:12Z
date_published: 2008-11-01T00:00:00Z
date_updated: 2021-01-12T07:53:34Z
day: '01'
doi: 10.1016/j.comgeo.2007.11.001
extern: 1
intvolume: ' 41'
issue: '3'
month: '11'
page: 149 - 166
publication: 'Computational Geometry: Theory and Applications'
publication_status: published
publisher: Elsevier
publist_id: '2158'
quality_controlled: 0
status: public
title: Time-varying Reeb graphs for continuous space-time data
type: journal_article
volume: 41
year: '2008'
...
---
_id: '3974'
abstract:
- lang: eng
text: Generalizing the concept of a Reeb graph, the Reeb space of a multivariate
continuous mapping identifies points of the domain that belong to a common component
of the preimage of a point in the range. We study the local and global structure
of this space for generic, piecewise linear mappings on a combinatorial manifold.
author:
- first_name: Herbert
full_name: Herbert Edelsbrunner
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: John
full_name: Harer, John
last_name: Harer
- first_name: Amit
full_name: Amit Patel
id: 34A254A0-F248-11E8-B48F-1D18A9856A87
last_name: Patel
citation:
ama: 'Edelsbrunner H, Harer J, Patel A. Reeb spaces of piecewise linear mappings.
In: ACM; 2008:242-250. doi:10.1145/1377676.1377720'
apa: 'Edelsbrunner, H., Harer, J., & Patel, A. (2008). Reeb spaces of piecewise
linear mappings (pp. 242–250). Presented at the SCG: Symposium on Computational
Geometry, ACM. https://doi.org/10.1145/1377676.1377720'
chicago: Edelsbrunner, Herbert, John Harer, and Amit Patel. “Reeb Spaces of Piecewise
Linear Mappings,” 242–50. ACM, 2008. https://doi.org/10.1145/1377676.1377720.
ieee: 'H. Edelsbrunner, J. Harer, and A. Patel, “Reeb spaces of piecewise linear
mappings,” presented at the SCG: Symposium on Computational Geometry, 2008, pp.
242–250.'
ista: 'Edelsbrunner H, Harer J, Patel A. 2008. Reeb spaces of piecewise linear mappings.
SCG: Symposium on Computational Geometry, 242–250.'
mla: Edelsbrunner, Herbert, et al. Reeb Spaces of Piecewise Linear Mappings.
ACM, 2008, pp. 242–50, doi:10.1145/1377676.1377720.
short: H. Edelsbrunner, J. Harer, A. Patel, in:, ACM, 2008, pp. 242–250.
conference:
name: 'SCG: Symposium on Computational Geometry'
date_created: 2018-12-11T12:06:13Z
date_published: 2008-01-01T00:00:00Z
date_updated: 2021-01-12T07:53:35Z
day: '01'
doi: 10.1145/1377676.1377720
extern: 1
month: '01'
page: 242 - 250
publication_status: published
publisher: ACM
publist_id: '2155'
quality_controlled: 0
status: public
title: Reeb spaces of piecewise linear mappings
type: conference
year: '2008'
...
---
_id: '4135'
abstract:
- lang: eng
text: There have been several attempts to build a unified framework for macroecological
patterns. However, these have mostly been based either on questionable assumptions
or have had to be parameterized to obtain realistic predictions. Here, we propose
a new model explicitly considering patterns of aggregated species distributions
on multiple spatial scales, the property which lies behind all spatial macroecological
patterns, using the idea we term ‘generalized fractals’. Species’ spatial distributions
were modelled by a random hierarchical process in which the original ‘habitat’
patches were randomly replaced by sets of smaller patches nested within them,
and the statistical properties of modelled species assemblages were compared with
macroecological patterns in observed bird data. Without parameterization based
on observed patterns, this simple model predicts realistic patterns of species
abundance, distribution and diversity, including fractal-like spatial distributions,
the frequency distribution of species occupancies/abundances and the species–area
relationship. Although observed macroecological patterns may differ in some quantitative
properties, our concept of random hierarchical aggregation can be considered as
an appropriate null model of fundamental macroecological patterns which can potentially
be modified to accommodate ecologically important variables.
article_processing_charge: No
author:
- first_name: D.
full_name: Storch, D.
last_name: Storch
- first_name: A.
full_name: Šizling, A.
last_name: Šizling
- first_name: J.
full_name: Reif, J.
last_name: Reif
- first_name: Jitka
full_name: Polechova, Jitka
id: 3BBFB084-F248-11E8-B48F-1D18A9856A87
last_name: Polechova
orcid: 0000-0003-0951-3112
- first_name: E.
full_name: Šizlingová, E.
last_name: Šizlingová
- first_name: K.
full_name: Gaston, K.
last_name: Gaston
citation:
ama: 'Storch D, Šizling A, Reif J, Polechova J, Šizlingová E, Gaston K. The quest
for a null model for macroecological patterns: Geometry of species distributions
at multiple spatial scales. Ecology Letters. 2008;11(8):771-784. doi:10.1111/j.1461-0248.2008.01206.x'
apa: 'Storch, D., Šizling, A., Reif, J., Polechova, J., Šizlingová, E., & Gaston,
K. (2008). The quest for a null model for macroecological patterns: Geometry of
species distributions at multiple spatial scales. Ecology Letters. Wiley.
https://doi.org/10.1111/j.1461-0248.2008.01206.x'
chicago: 'Storch, D., A. Šizling, J. Reif, Jitka Polechova, E. Šizlingová, and K.
Gaston. “The Quest for a Null Model for Macroecological Patterns: Geometry of
Species Distributions at Multiple Spatial Scales.” Ecology Letters. Wiley,
2008. https://doi.org/10.1111/j.1461-0248.2008.01206.x.'
ieee: 'D. Storch, A. Šizling, J. Reif, J. Polechova, E. Šizlingová, and K. Gaston,
“The quest for a null model for macroecological patterns: Geometry of species
distributions at multiple spatial scales,” Ecology Letters, vol. 11, no.
8. Wiley, pp. 771–784, 2008.'
ista: 'Storch D, Šizling A, Reif J, Polechova J, Šizlingová E, Gaston K. 2008. The
quest for a null model for macroecological patterns: Geometry of species distributions
at multiple spatial scales. Ecology Letters. 11(8), 771–784.'
mla: 'Storch, D., et al. “The Quest for a Null Model for Macroecological Patterns:
Geometry of Species Distributions at Multiple Spatial Scales.” Ecology Letters,
vol. 11, no. 8, Wiley, 2008, pp. 771–84, doi:10.1111/j.1461-0248.2008.01206.x.'
short: D. Storch, A. Šizling, J. Reif, J. Polechova, E. Šizlingová, K. Gaston, Ecology
Letters 11 (2008) 771–784.
date_created: 2018-12-11T12:07:09Z
date_published: 2008-08-01T00:00:00Z
date_updated: 2025-07-02T05:52:43Z
day: '01'
doi: 10.1111/j.1461-0248.2008.01206.x
extern: '1'
intvolume: ' 11'
issue: '8'
language:
- iso: eng
month: '08'
oa_version: None
page: 771 - 784
publication: Ecology Letters
publication_status: published
publisher: Wiley
publist_id: '1985'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'The quest for a null model for macroecological patterns: Geometry of species
distributions at multiple spatial scales'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 11
year: '2008'
...
---
_id: '4141'
abstract:
- lang: eng
text: The zyxin-related LPP protein is localized at focal adhesions and cell-cell
contacts and is involved in the regulation of smooth muscle cell migration. A
known interaction partner of LPP in human is the tumor suppressor protein SCRIB.
Knocking down scrib expression c uring zebrafish embryonic development results
in defects of convergence and extension (C&E) movements, which occur during
gastrulation and mediate elongation of the anterior-posterior body axis. Mediolateral
cell polarization underlying C&E is regulated by a noncanonical Writ signaling
pathway constituting the vertebrate planar cell polarity (PCP) pathway. Here,
we investigated the role of Lpp during early zebrafish development. We show that
morpholino knockdown of Ipp results in defects of C&E, phenocopying noncanonical
Wnt signaling mutants. Time-lapse analysis associates the defective dorsal convergence
movements with a reduced ability to migrate along straight paths. In addition,
expression of Lpp is significantly reduced in Wnt11 morphants and in embryos overexpressing
Wnt11 or a dominant-negative form of Rho kinase 2, which is a downstream effector
of Wnt11, Suggesting that Lpp expression is dependent on noncanonical Wnt signaling.
Finally, we demonstrate that Lpp interacts with the PCP protein Scrib in zebrafish,
and that Lpp and Scrib cooperate for the mediation of C&E. (C) 2008 Elsevier
Inc. All rights reserved.
article_processing_charge: No
author:
- first_name: Hilke
full_name: Vervenne, Hilke
last_name: Vervenne
- first_name: Koen
full_name: Crombez, Koen
last_name: Crombez
- first_name: Kathleen
full_name: Lambaerts, Kathleen
last_name: Lambaerts
- first_name: Lara
full_name: Carvalho, Lara
last_name: Carvalho
- first_name: Mathias
full_name: Köppen, Mathias
last_name: Köppen
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
- first_name: Wim
full_name: Van De Ven, Wim
last_name: Van De Ven
- first_name: Marleen
full_name: Petit, Marleen
last_name: Petit
citation:
ama: Vervenne H, Crombez K, Lambaerts K, et al. Lpp is involved in Wnt/PCP signaling
and acts together with Scrib to mediate convergence and extension movements during
zebrafish gastrulation. Developmental Biology. 2008;320(1):267-277. doi:10.1016/j.ydbio.2008.05.529
apa: Vervenne, H., Crombez, K., Lambaerts, K., Carvalho, L., Köppen, M., Heisenberg,
C.-P. J., … Petit, M. (2008). Lpp is involved in Wnt/PCP signaling and acts together
with Scrib to mediate convergence and extension movements during zebrafish gastrulation.
Developmental Biology. Elsevier. https://doi.org/10.1016/j.ydbio.2008.05.529
chicago: Vervenne, Hilke, Koen Crombez, Kathleen Lambaerts, Lara Carvalho, Mathias
Köppen, Carl-Philipp J Heisenberg, Wim Van De Ven, and Marleen Petit. “Lpp Is
Involved in Wnt/PCP Signaling and Acts Together with Scrib to Mediate Convergence
and Extension Movements during Zebrafish Gastrulation.” Developmental Biology.
Elsevier, 2008. https://doi.org/10.1016/j.ydbio.2008.05.529.
ieee: H. Vervenne et al., “Lpp is involved in Wnt/PCP signaling and acts
together with Scrib to mediate convergence and extension movements during zebrafish
gastrulation,” Developmental Biology, vol. 320, no. 1. Elsevier, pp. 267–277,
2008.
ista: Vervenne H, Crombez K, Lambaerts K, Carvalho L, Köppen M, Heisenberg C-PJ,
Van De Ven W, Petit M. 2008. Lpp is involved in Wnt/PCP signaling and acts together
with Scrib to mediate convergence and extension movements during zebrafish gastrulation.
Developmental Biology. 320(1), 267–277.
mla: Vervenne, Hilke, et al. “Lpp Is Involved in Wnt/PCP Signaling and Acts Together
with Scrib to Mediate Convergence and Extension Movements during Zebrafish Gastrulation.”
Developmental Biology, vol. 320, no. 1, Elsevier, 2008, pp. 267–77, doi:10.1016/j.ydbio.2008.05.529.
short: H. Vervenne, K. Crombez, K. Lambaerts, L. Carvalho, M. Köppen, C.-P.J. Heisenberg,
W. Van De Ven, M. Petit, Developmental Biology 320 (2008) 267–277.
date_created: 2018-12-11T12:07:11Z
date_published: 2008-08-01T00:00:00Z
date_updated: 2021-01-12T07:54:48Z
day: '01'
doi: 10.1016/j.ydbio.2008.05.529
extern: '1'
intvolume: ' 320'
issue: '1'
language:
- iso: eng
month: '08'
oa_version: None
page: 267 - 277
publication: Developmental Biology
publication_status: published
publisher: Elsevier
publist_id: '1978'
status: public
title: Lpp is involved in Wnt/PCP signaling and acts together with Scrib to mediate
convergence and extension movements during zebrafish gastrulation
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 320
year: '2008'
...
---
_id: '4150'
abstract:
- lang: eng
text: This study provides direct functional evidence that differential adhesion,
measurable as quantitative differences in tissue surface tension, influences spatial
positioning between zebrafish germ layer tissues. We show that embryonic ectodermal
and mesendodermal tissues generated by mRNA-overexpression behave on long-time
scales like immiscible fluids. When mixed in hanging drop culture, their cells
segregate into discrete phases with ectoderm adopting an internal position relative
to the mesendoderm. The position adopted directly correlates with differences
in tissue surface tension. We also show that germ layer tissues from untreated
embryos, when extirpated and placed in culture, adopt a configuration similar
to those of their mRNA-overexpressing counterparts. Down-regulating E-cadherin
expression in the ectoderm leads to reduced surface tension and results in phase
reversal with E-cadherin-depleted ectoderm cells now adopting an external position
relative to the mesendoderm. These results show that in vitro cell sorting of
zebrafish mesendoderm and ectoderm tissues is specified by tissue interfacial
tensions. We perform a mathematical analysis indicating that tissue interfacial
tension between actively motile cells contributes to the spatial organization
and dynamics of these zebrafish germ layers in vivo.
article_processing_charge: No
author:
- first_name: Eva
full_name: Schötz, Eva
last_name: Schötz
- first_name: Rebecca
full_name: Burdine, Rebecca
last_name: Burdine
- first_name: Frank
full_name: Julicher, Frank
last_name: Julicher
- first_name: Malcolm
full_name: Steinberg, Malcolm
last_name: Steinberg
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
- first_name: Ramsey
full_name: Foty, Ramsey
last_name: Foty
citation:
ama: Schötz E, Burdine R, Julicher F, Steinberg M, Heisenberg C-PJ, Foty R. Quantitative
differences in tissue surface tension influence zebrafish germ layer positioning.
HFSP Journal. 2008;2(1):42-56. doi:10.2976/1.2834817
apa: Schötz, E., Burdine, R., Julicher, F., Steinberg, M., Heisenberg, C.-P. J.,
& Foty, R. (2008). Quantitative differences in tissue surface tension influence
zebrafish germ layer positioning. HFSP Journal. HFSP Publishing. https://doi.org/10.2976/1.2834817
chicago: Schötz, Eva, Rebecca Burdine, Frank Julicher, Malcolm Steinberg, Carl-Philipp
J Heisenberg, and Ramsey Foty. “Quantitative Differences in Tissue Surface Tension
Influence Zebrafish Germ Layer Positioning.” HFSP Journal. HFSP Publishing,
2008. https://doi.org/10.2976/1.2834817.
ieee: E. Schötz, R. Burdine, F. Julicher, M. Steinberg, C.-P. J. Heisenberg, and
R. Foty, “Quantitative differences in tissue surface tension influence zebrafish
germ layer positioning,” HFSP Journal, vol. 2, no. 1. HFSP Publishing,
pp. 42–56, 2008.
ista: Schötz E, Burdine R, Julicher F, Steinberg M, Heisenberg C-PJ, Foty R. 2008.
Quantitative differences in tissue surface tension influence zebrafish germ layer
positioning. HFSP Journal. 2(1), 42–56.
mla: Schötz, Eva, et al. “Quantitative Differences in Tissue Surface Tension Influence
Zebrafish Germ Layer Positioning.” HFSP Journal, vol. 2, no. 1, HFSP Publishing,
2008, pp. 42–56, doi:10.2976/1.2834817.
short: E. Schötz, R. Burdine, F. Julicher, M. Steinberg, C.-P.J. Heisenberg, R.
Foty, HFSP Journal 2 (2008) 42–56.
date_created: 2018-12-11T12:07:14Z
date_published: 2008-02-01T00:00:00Z
date_updated: 2021-01-12T07:54:52Z
day: '01'
doi: 10.2976/1.2834817
extern: '1'
intvolume: ' 2'
issue: '1'
language:
- iso: eng
month: '02'
oa_version: None
page: 42 - 56
publication: HFSP Journal
publication_status: published
publisher: HFSP Publishing
publist_id: '1969'
status: public
title: Quantitative differences in tissue surface tension influence zebrafish germ
layer positioning
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2
year: '2008'
...
---
_id: '4161'
abstract:
- lang: eng
text: Handedness of the vertebrate body plan critically depends on transient embryonic
structures/ organs that generate cilia-dependent leftward fluid flow within constrained
extracellular environments. Although the function of ciliated organs in laterality
determination has been extensively studied, how they are formed during embryogenesis
is still poorly understood. Here we show that Kupffer's vesicle (KV), the zebrafish
organ of laterality, arises from a surface epithelium previously thought to adopt
exclusively extra-embryonic fates. Live multi-photon confocal imaging reveals
that surface epithelial cells undergo Nodal/TGF beta signalling-dependent ingression
at the dorsal germ ring margin prior to gastrulation, to give rise to dorsal forerunner
cells (DFCs), the precursors of KV. DFCs then migrate attached to the overlying
surface epithelium and rearrange into rosette-like epithelial structures at the
end of gastrulation. During early somitogenesis, these epithelial rosettes coalesce
into a single rosette that differentiates into the KV with a ciliated lumen at
its apical centre. Our results provide novel insights into the morphogenetic transformations
that shape the laterality organ in zebrafish and suggest a conserved progenitor
role of the surface epithelium during laterality organ formation in vertebrates.
article_processing_charge: No
author:
- first_name: Pablo
full_name: Oteíza, Pablo
last_name: Oteíza
- first_name: Mathias
full_name: Köppen, Mathias
last_name: Köppen
- first_name: Miguel
full_name: Concha, Miguel
last_name: Concha
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
citation:
ama: Oteíza P, Köppen M, Concha M, Heisenberg C-PJ. Origin and shaping of the laterality
organ in zebrafish. Development. 2008;135(16):2807-2813. doi:10.1242/dev.022228
apa: Oteíza, P., Köppen, M., Concha, M., & Heisenberg, C.-P. J. (2008). Origin
and shaping of the laterality organ in zebrafish. Development. Company
of Biologists. https://doi.org/10.1242/dev.022228
chicago: Oteíza, Pablo, Mathias Köppen, Miguel Concha, and Carl-Philipp J Heisenberg.
“Origin and Shaping of the Laterality Organ in Zebrafish.” Development.
Company of Biologists, 2008. https://doi.org/10.1242/dev.022228.
ieee: P. Oteíza, M. Köppen, M. Concha, and C.-P. J. Heisenberg, “Origin and shaping
of the laterality organ in zebrafish,” Development, vol. 135, no. 16. Company
of Biologists, pp. 2807–2813, 2008.
ista: Oteíza P, Köppen M, Concha M, Heisenberg C-PJ. 2008. Origin and shaping of
the laterality organ in zebrafish. Development. 135(16), 2807–2813.
mla: Oteíza, Pablo, et al. “Origin and Shaping of the Laterality Organ in Zebrafish.”
Development, vol. 135, no. 16, Company of Biologists, 2008, pp. 2807–13,
doi:10.1242/dev.022228.
short: P. Oteíza, M. Köppen, M. Concha, C.-P.J. Heisenberg, Development 135 (2008)
2807–2813.
date_created: 2018-12-11T12:07:19Z
date_published: 2008-08-15T00:00:00Z
date_updated: 2021-01-12T07:54:57Z
day: '15'
doi: 10.1242/dev.022228
extern: '1'
intvolume: ' 135'
issue: '16'
language:
- iso: eng
month: '08'
oa_version: None
page: 2807 - 2813
publication: Development
publication_status: published
publisher: Company of Biologists
publist_id: '1956'
status: public
title: Origin and shaping of the laterality organ in zebrafish
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 135
year: '2008'
...
---
_id: '4180'
abstract:
- lang: eng
text: '(Figure Presented) The name''s Bond: Separated cells form membranous nanotubes
whose tips are tethered by adhesive bonds (see picture). The lifetime of receptor-ligand
interactions can be measured by using membrane nanotubes of living cells as constant
force actuators. Because the nanotubes are extruded from living cells at conditions
approaching the physiological, cellular processes can be both studied and utilized. '
article_processing_charge: No
author:
- first_name: Michael
full_name: Krieg, Michael
last_name: Krieg
- first_name: Jonne
full_name: Helenius, Jonne
last_name: Helenius
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
- first_name: Daniel
full_name: Mueller, Daniel
last_name: Mueller
citation:
ama: 'Krieg M, Helenius J, Heisenberg C-PJ, Mueller D. A Bond for a Lifetime: Employing
Membrane Nanotubes from Living Cells to Determine Receptor-Ligand Kinetics. Angewandte
Chemie - International Edition. 2008;47(50):9775-9777. doi:10.1002/anie.200803552'
apa: 'Krieg, M., Helenius, J., Heisenberg, C.-P. J., & Mueller, D. (2008). A
Bond for a Lifetime: Employing Membrane Nanotubes from Living Cells to Determine
Receptor-Ligand Kinetics. Angewandte Chemie - International Edition. Wiley-Blackwell.
https://doi.org/10.1002/anie.200803552'
chicago: 'Krieg, Michael, Jonne Helenius, Carl-Philipp J Heisenberg, and Daniel
Mueller. “A Bond for a Lifetime: Employing Membrane Nanotubes from Living Cells
to Determine Receptor-Ligand Kinetics.” Angewandte Chemie - International Edition.
Wiley-Blackwell, 2008. https://doi.org/10.1002/anie.200803552.'
ieee: 'M. Krieg, J. Helenius, C.-P. J. Heisenberg, and D. Mueller, “A Bond for a
Lifetime: Employing Membrane Nanotubes from Living Cells to Determine Receptor-Ligand
Kinetics,” Angewandte Chemie - International Edition, vol. 47, no. 50.
Wiley-Blackwell, pp. 9775–9777, 2008.'
ista: 'Krieg M, Helenius J, Heisenberg C-PJ, Mueller D. 2008. A Bond for a Lifetime:
Employing Membrane Nanotubes from Living Cells to Determine Receptor-Ligand Kinetics.
Angewandte Chemie - International Edition. 47(50), 9775–9777.'
mla: 'Krieg, Michael, et al. “A Bond for a Lifetime: Employing Membrane Nanotubes
from Living Cells to Determine Receptor-Ligand Kinetics.” Angewandte Chemie
- International Edition, vol. 47, no. 50, Wiley-Blackwell, 2008, pp. 9775–77,
doi:10.1002/anie.200803552.'
short: M. Krieg, J. Helenius, C.-P.J. Heisenberg, D. Mueller, Angewandte Chemie
- International Edition 47 (2008) 9775–9777.
date_created: 2018-12-11T12:07:26Z
date_published: 2008-12-01T00:00:00Z
date_updated: 2021-01-12T07:55:06Z
day: '01'
doi: 10.1002/anie.200803552
extern: '1'
intvolume: ' 47'
issue: '50'
language:
- iso: eng
month: '12'
oa_version: None
page: 9775 - 9777
publication: Angewandte Chemie - International Edition
publication_status: published
publisher: Wiley-Blackwell
publist_id: '1939'
status: public
title: 'A Bond for a Lifetime: Employing Membrane Nanotubes from Living Cells to Determine
Receptor-Ligand Kinetics'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 47
year: '2008'
...
---
_id: '4181'
abstract:
- lang: eng
text: Understanding the factors that direct tissue organization during development
is one of the most fundamental goals in developmental biology. Various hypotheses
explain cell sorting and tissue organization on the basis of the adhesive and
mechanical properties of the constituent cells(1). However, validating these hypotheses
has been difficult due to the lack of appropriate tools to measure these parameters.
Here we use atomic force microscopy ( AFM) to quantify the adhesive and mechanical
properties of individual ectoderm, mesoderm and endoderm progenitor cells from
gastrulating zebrafish embryos. Combining these data with tissue self-assembly
in vitro and the sorting behaviour of progenitors in vivo, we have shown that
differential actomyosin-dependent cell-cortex tension, regulated by Nodal/ TGF
beta-signalling ( transforming growth factor beta), constitutes a key factor that
directs progenitor-cell sorting. These results demonstrate a previously unrecognized
role for Nodal-controlled cell-cortex tension in germ-layer organization during
gastrulation.
article_processing_charge: No
author:
- first_name: Michael
full_name: Krieg, Michael
last_name: Krieg
- first_name: Yohanna
full_name: Arboleda Estudillo, Yohanna
last_name: Arboleda Estudillo
- first_name: Pierre
full_name: Puech, Pierre
last_name: Puech
- first_name: Jos
full_name: Käfer, Jos
last_name: Käfer
- first_name: François
full_name: Graner, François
last_name: Graner
- first_name: Daniel
full_name: Mueller, Daniel
last_name: Mueller
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
citation:
ama: Krieg M, Arboleda Estudillo Y, Puech P, et al. Tensile forces govern germ-layer
organization in zebrafish. Nature Cell Biology. 2008;10(4):429-436. doi:10.1038/ncb1705
apa: Krieg, M., Arboleda Estudillo, Y., Puech, P., Käfer, J., Graner, F., Mueller,
D., & Heisenberg, C.-P. J. (2008). Tensile forces govern germ-layer organization
in zebrafish. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb1705
chicago: Krieg, Michael, Yohanna Arboleda Estudillo, Pierre Puech, Jos Käfer, François
Graner, Daniel Mueller, and Carl-Philipp J Heisenberg. “Tensile Forces Govern
Germ-Layer Organization in Zebrafish.” Nature Cell Biology. Nature Publishing
Group, 2008. https://doi.org/10.1038/ncb1705.
ieee: M. Krieg et al., “Tensile forces govern germ-layer organization in
zebrafish,” Nature Cell Biology, vol. 10, no. 4. Nature Publishing Group,
pp. 429–436, 2008.
ista: Krieg M, Arboleda Estudillo Y, Puech P, Käfer J, Graner F, Mueller D, Heisenberg
C-PJ. 2008. Tensile forces govern germ-layer organization in zebrafish. Nature
Cell Biology. 10(4), 429–436.
mla: Krieg, Michael, et al. “Tensile Forces Govern Germ-Layer Organization in Zebrafish.”
Nature Cell Biology, vol. 10, no. 4, Nature Publishing Group, 2008, pp.
429–36, doi:10.1038/ncb1705.
short: M. Krieg, Y. Arboleda Estudillo, P. Puech, J. Käfer, F. Graner, D. Mueller,
C.-P.J. Heisenberg, Nature Cell Biology 10 (2008) 429–436.
date_created: 2018-12-11T12:07:26Z
date_published: 2008-03-23T00:00:00Z
date_updated: 2021-01-12T07:55:07Z
day: '23'
doi: 10.1038/ncb1705
extern: '1'
intvolume: ' 10'
issue: '4'
language:
- iso: eng
month: '03'
oa_version: None
page: 429 - 436
publication: Nature Cell Biology
publication_status: published
publisher: Nature Publishing Group
publist_id: '1938'
status: public
title: Tensile forces govern germ-layer organization in zebrafish
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10
year: '2008'
...
---
_id: '4190'
abstract:
- lang: eng
text: During vertebrate gastrulation, cells forming the prechordal plate undergo
directed migration as a cohesive cluster. Recent studies revealed that E-cadherin-mediated
coherence between these cells plays an important role in effective anterior migration,
and that platelet-derived growth factor (Pdgf) appears to act as a guidance cue
in this process. However, the mechanisms underlying this process at the individual
cell level remain poorly understood. We have identified miles apart (mil) as a
suppressor of defective anterior migration of the prospective prechordal plate
in silberblick (slb)/wnt11 mutant embryos, in which E-cadherin-mediated coherence
of cell movement is reduced. mil encodes Edg5, a sphingosine-1-phosphate (S1P)
receptor belonging to a family of five G-protein-coupled receptors (S1PRs). S1P
is a lipid signalling molecule that has been implicated in regulating cytoskeletal
rearrangements, cell motility and cell adhesion in a variety of cell types. We
examined the roles of Mil in anterior migration of prechordal plate progenitor
cells and found that, in slb embryos injected with mil-MO, cells migrate with
increased motility but decreased directionality, without restoring the coherence
of cell migration. This indicates that prechordal plate progenitor cells can migrate
effectively as individuals, as well as in a coherent cluster of cells. Moreover,
we demonstrate that Mil regulates cell motility and polarisation through Pdgf
and its intracellular effecter PI3K, but modulates cell coherence independently
of the Pdgf/PI3K pathway, thus co-ordinating cell motility and coherence. These
results suggest that the net migration of prechordal plate progenitors is determined
by different parameters, including motility, persistence and coherence.
article_processing_charge: No
author:
- first_name: Masatake
full_name: Kai, Masatake
last_name: Kai
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
- first_name: Masazumi
full_name: Tada, Masazumi
last_name: Tada
citation:
ama: Kai M, Heisenberg C-PJ, Tada M. Sphingosine-1-phosphate receptors regulate
individual cell behaviours underlying the directed migration of prechordal plate
progenitor cells during zebrafish gastrulation. Development. 2008;135(18):3043-3051.
doi:10.1242/dev.020396
apa: Kai, M., Heisenberg, C.-P. J., & Tada, M. (2008). Sphingosine-1-phosphate
receptors regulate individual cell behaviours underlying the directed migration
of prechordal plate progenitor cells during zebrafish gastrulation. Development.
Company of Biologists. https://doi.org/10.1242/dev.020396
chicago: Kai, Masatake, Carl-Philipp J Heisenberg, and Masazumi Tada. “Sphingosine-1-Phosphate
Receptors Regulate Individual Cell Behaviours Underlying the Directed Migration
of Prechordal Plate Progenitor Cells during Zebrafish Gastrulation.” Development.
Company of Biologists, 2008. https://doi.org/10.1242/dev.020396.
ieee: M. Kai, C.-P. J. Heisenberg, and M. Tada, “Sphingosine-1-phosphate receptors
regulate individual cell behaviours underlying the directed migration of prechordal
plate progenitor cells during zebrafish gastrulation,” Development, vol.
135, no. 18. Company of Biologists, pp. 3043–3051, 2008.
ista: Kai M, Heisenberg C-PJ, Tada M. 2008. Sphingosine-1-phosphate receptors regulate
individual cell behaviours underlying the directed migration of prechordal plate
progenitor cells during zebrafish gastrulation. Development. 135(18), 3043–3051.
mla: Kai, Masatake, et al. “Sphingosine-1-Phosphate Receptors Regulate Individual
Cell Behaviours Underlying the Directed Migration of Prechordal Plate Progenitor
Cells during Zebrafish Gastrulation.” Development, vol. 135, no. 18, Company
of Biologists, 2008, pp. 3043–51, doi:10.1242/dev.020396.
short: M. Kai, C.-P.J. Heisenberg, M. Tada, Development 135 (2008) 3043–3051.
date_created: 2018-12-11T12:07:29Z
date_published: 2008-09-15T00:00:00Z
date_updated: 2021-01-12T07:55:11Z
day: '15'
doi: 10.1242/dev.020396
extern: '1'
intvolume: ' 135'
issue: '18'
language:
- iso: eng
month: '09'
oa_version: None
page: 3043 - 3051
publication: Development
publication_status: published
publisher: Company of Biologists
publist_id: '1928'
status: public
title: Sphingosine-1-phosphate receptors regulate individual cell behaviours underlying
the directed migration of prechordal plate progenitor cells during zebrafish gastrulation
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 135
year: '2008'
...
---
_id: '4193'
abstract:
- lang: eng
text: The controlled adhesion of cells to each other and to the extracellular matrix
is crucial for tissue development and maintenance. Numerous assays have been developed
to quantify cell adhesion. Among these, the use of atomic force microscopy (AFM)
for single-cell force spectroscopy (SCFS) has recently been established. This
assay permits the adhesion of living cells to be studied in near-physiological
conditions. This implementation of AFM allows unrivaled spatial and temporal control
of cells, as well as highly quantitative force actuation and force measurement
that is sufficiently sensitive to characterize the interaction of single molecules.
Therefore, not only overall cell adhesion but also the properties of single adhesion-receptor-ligand
interactions can be studied. Here we describe current implementations and applications
of SCFS, as well as potential pitfalls, and outline how developments will provide
insight into the forces, energetics and kinetics of cell-adhesion processes.
article_processing_charge: No
author:
- first_name: Jonne
full_name: Helenius, Jonne
last_name: Helenius
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
- first_name: Hermann
full_name: Gaub, Hermann
last_name: Gaub
- first_name: Daniel
full_name: Mueller, Daniel
last_name: Mueller
citation:
ama: Helenius J, Heisenberg C-PJ, Gaub H, Mueller D. Single-cell force spectroscopy.
Journal of Cell Science. 2008;121(11):1785-1791. doi:10.1242/jcs.030999
apa: Helenius, J., Heisenberg, C.-P. J., Gaub, H., & Mueller, D. (2008). Single-cell
force spectroscopy. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.030999
chicago: Helenius, Jonne, Carl-Philipp J Heisenberg, Hermann Gaub, and Daniel Mueller.
“Single-Cell Force Spectroscopy.” Journal of Cell Science. Company of Biologists,
2008. https://doi.org/10.1242/jcs.030999.
ieee: J. Helenius, C.-P. J. Heisenberg, H. Gaub, and D. Mueller, “Single-cell force
spectroscopy,” Journal of Cell Science, vol. 121, no. 11. Company of Biologists,
pp. 1785–1791, 2008.
ista: Helenius J, Heisenberg C-PJ, Gaub H, Mueller D. 2008. Single-cell force spectroscopy.
Journal of Cell Science. 121(11), 1785–1791.
mla: Helenius, Jonne, et al. “Single-Cell Force Spectroscopy.” Journal of Cell
Science, vol. 121, no. 11, Company of Biologists, 2008, pp. 1785–91, doi:10.1242/jcs.030999.
short: J. Helenius, C.-P.J. Heisenberg, H. Gaub, D. Mueller, Journal of Cell Science
121 (2008) 1785–1791.
date_created: 2018-12-11T12:07:30Z
date_published: 2008-06-01T00:00:00Z
date_updated: 2021-01-12T07:55:12Z
day: '01'
doi: 10.1242/jcs.030999
extern: '1'
intvolume: ' 121'
issue: '11'
language:
- iso: eng
month: '06'
oa_version: None
page: 1785 - 1791
publication: Journal of Cell Science
publication_status: published
publisher: Company of Biologists
publist_id: '1924'
status: public
title: Single-cell force spectroscopy
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 121
year: '2008'
...
---
_id: '4198'
abstract:
- lang: eng
text: Animal body plan arises during gastrulation and organogenesis by the coordination
of inductive events and cell movements. Several signaling pathways, such as BMP,
FGF, Hedgehog, Nodal, and Wnt have well-recognized instructive roles in cell fate
specification during vertebrate embryogenesis. Growing evidence indicates that
BMP, Nodal, and FGF signaling also regulate cell movements, and that they do so
through mechanisms distinct from those that specify cell fates. Moreover, pathways
controlling cell movements can also indirectly influence cell fate specification
by regulating dimensions and relative positions of interacting tissues. The current
challenge is to delineate the molecular mechanisms via which the major signaling
pathways regulate cell fate specification and movements, and how these two processes
are coordinated to ensure normal development.
article_processing_charge: No
author:
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
- first_name: Lilianna
full_name: Solnica Krezel, Lilianna
last_name: Solnica Krezel
citation:
ama: Heisenberg C-PJ, Solnica Krezel L. Back and forth between cell fate specification
and movement during vertebrate gastrulation. Current Opinion in Genetics &
Development. 2008;18(4):311-316. doi:10.1016/j.gde.2008.07.011
apa: Heisenberg, C.-P. J., & Solnica Krezel, L. (2008). Back and forth between
cell fate specification and movement during vertebrate gastrulation. Current
Opinion in Genetics & Development. Elsevier. https://doi.org/10.1016/j.gde.2008.07.011
chicago: Heisenberg, Carl-Philipp J, and Lilianna Solnica Krezel. “Back and Forth
between Cell Fate Specification and Movement during Vertebrate Gastrulation.”
Current Opinion in Genetics & Development. Elsevier, 2008. https://doi.org/10.1016/j.gde.2008.07.011.
ieee: C.-P. J. Heisenberg and L. Solnica Krezel, “Back and forth between cell fate
specification and movement during vertebrate gastrulation,” Current Opinion
in Genetics & Development, vol. 18, no. 4. Elsevier, pp. 311–316, 2008.
ista: Heisenberg C-PJ, Solnica Krezel L. 2008. Back and forth between cell fate
specification and movement during vertebrate gastrulation. Current Opinion in
Genetics & Development. 18(4), 311–316.
mla: Heisenberg, Carl-Philipp J., and Lilianna Solnica Krezel. “Back and Forth between
Cell Fate Specification and Movement during Vertebrate Gastrulation.” Current
Opinion in Genetics & Development, vol. 18, no. 4, Elsevier, 2008, pp.
311–16, doi:10.1016/j.gde.2008.07.011.
short: C.-P.J. Heisenberg, L. Solnica Krezel, Current Opinion in Genetics &
Development 18 (2008) 311–316.
date_created: 2018-12-11T12:07:32Z
date_published: 2008-01-01T00:00:00Z
date_updated: 2021-01-12T07:55:14Z
day: '01'
doi: 10.1016/j.gde.2008.07.011
extern: '1'
intvolume: ' 18'
issue: '4'
language:
- iso: eng
month: '01'
oa_version: None
page: 311 - 316
publication: Current Opinion in Genetics & Development
publication_status: published
publisher: Elsevier
publist_id: '1918'
status: public
title: Back and forth between cell fate specification and movement during vertebrate
gastrulation
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 18
year: '2008'
...
---
_id: '4227'
abstract:
- lang: eng
text: 'Morphogen concentration gradients provide positional information by activating
target genes in a concentration-dependent manner. Recent reports show that the
gradient of the syncytial morphogen Bicoid seems to provide precise positional
information to determine target gene domains. For secreted morphogenetic ligands,
the precision of the gradients, the signal transduction and the reliability of
target gene expression domains have not been studied. Here we investigate these
issues for the TGF-beta-type morphogen Dpp. We first studied theoretically how
cell-to-cell variability in the source, the target tissue, or both, contribute
to the variations of the gradient. Fluctuations in the source and target generate
a local maximum of precision at a finite distance to the source. We then determined
experimentally in the wing epithelium: (1) the precision of the Dpp concentration
gradient; (2) the precision of the Dpp signaling activity profile; and (3) the
precision of activation of the Dpp target gene spalt. As captured by our theoretical
description, the Dpp gradient provides positional information with a maximal precision
a few cells away from the source. This maximal precision corresponds to a positional
uncertainly of about a single cell diameter. The precision of the Dpp gradient
accounts for the precision of the spalt expression range, implying that Dpp can
act as a morphogen to coarsely determine the expression pattern of target genes.'
author:
- first_name: Tobias
full_name: Bollenbach, Tobias
last_name: Bollenbach
- first_name: Periklis
full_name: Pantazis, Periklis
last_name: Pantazis
- first_name: Anna
full_name: Anna Kicheva
id: 3959A2A0-F248-11E8-B48F-1D18A9856A87
last_name: Kicheva
orcid: 0000-0003-4509-4998
- first_name: Christian
full_name: Bokel, Christian
last_name: Bokel
- first_name: Marcos
full_name: González-Gaitán, Marcos
last_name: González Gaitán
- first_name: Frank
full_name: Julicher, Frank
last_name: Julicher
citation:
ama: Bollenbach T, Pantazis P, Kicheva A, Bokel C, González Gaitán M, Julicher F.
Precision of the Dpp gradient. Development. 2008;135(6):1137-1146. doi:10.1242/dev.012062
apa: Bollenbach, T., Pantazis, P., Kicheva, A., Bokel, C., González Gaitán, M.,
& Julicher, F. (2008). Precision of the Dpp gradient. Development.
Company of Biologists. https://doi.org/10.1242/dev.012062
chicago: Bollenbach, Tobias, Periklis Pantazis, Anna Kicheva, Christian Bokel, Marcos
González Gaitán, and Frank Julicher. “Precision of the Dpp Gradient.” Development.
Company of Biologists, 2008. https://doi.org/10.1242/dev.012062.
ieee: T. Bollenbach, P. Pantazis, A. Kicheva, C. Bokel, M. González Gaitán, and
F. Julicher, “Precision of the Dpp gradient,” Development, vol. 135, no.
6. Company of Biologists, pp. 1137–1146, 2008.
ista: Bollenbach T, Pantazis P, Kicheva A, Bokel C, González Gaitán M, Julicher
F. 2008. Precision of the Dpp gradient. Development. 135(6), 1137–1146.
mla: Bollenbach, Tobias, et al. “Precision of the Dpp Gradient.” Development,
vol. 135, no. 6, Company of Biologists, 2008, pp. 1137–46, doi:10.1242/dev.012062.
short: T. Bollenbach, P. Pantazis, A. Kicheva, C. Bokel, M. González Gaitán, F.
Julicher, Development 135 (2008) 1137–1146.
date_created: 2018-12-11T12:07:42Z
date_published: 2008-03-15T00:00:00Z
date_updated: 2021-01-12T07:55:27Z
day: '15'
doi: 10.1242/dev.012062
extern: 1
intvolume: ' 135'
issue: '6'
month: '03'
page: 1137 - 1146
publication: Development
publication_status: published
publisher: Company of Biologists
publist_id: '1889'
quality_controlled: 0
status: public
title: Precision of the Dpp gradient
type: journal_article
volume: 135
year: '2008'
...
---
_id: '4244'
abstract:
- lang: eng
text: This paper presents a new approach to optimization of an energy-constrained
modulation scheme for wireless sensor networks by taking advantage of a novel
bio-inspired optimization algorithm. The algorithm is inspired by Wrightpsilas
shifting balance theory (SBT) of evolution in population genetics. The total energy
consumption of an energy-constrained modulation scheme is minimized by using the
new SBT-based optimization algorithm. The results obtained by this new algorithm
are compared with other popular optimization algorithms. Numerical experiments
are performed to demonstrate that the SBT-based algorithm could be used as an
efficient optimizer for solving the optimization problems arising from currently
emerging energy-efficient wireless sensor networks.
author:
- first_name: Erfu
full_name: Yang, Erfu
last_name: Yang
- first_name: Nicholas H
full_name: Nicholas Barton
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: Tughrul
full_name: Arslan, Tughrul
last_name: Arslan
- first_name: Ahmet
full_name: Erdogan, Ahmet T
last_name: Erdogan
citation:
ama: 'Yang E, Barton NH, Arslan T, Erdogan A. A novel shifting balance theory-based
approach to optimization of an energy-constrained modulation scheme for wireless
sensor networks. In: IEEE; 2008:2749-2756. doi:10.1109/CEC.2008.4631167'
apa: 'Yang, E., Barton, N. H., Arslan, T., & Erdogan, A. (2008). A novel shifting
balance theory-based approach to optimization of an energy-constrained modulation
scheme for wireless sensor networks (pp. 2749–2756). Presented at the WCCI: IEEE
World Congress on Computational Intelligence, IEEE. https://doi.org/10.1109/CEC.2008.4631167'
chicago: Yang, Erfu, Nicholas H Barton, Tughrul Arslan, and Ahmet Erdogan. “A Novel
Shifting Balance Theory-Based Approach to Optimization of an Energy-Constrained
Modulation Scheme for Wireless Sensor Networks,” 2749–56. IEEE, 2008. https://doi.org/10.1109/CEC.2008.4631167.
ieee: 'E. Yang, N. H. Barton, T. Arslan, and A. Erdogan, “A novel shifting balance
theory-based approach to optimization of an energy-constrained modulation scheme
for wireless sensor networks,” presented at the WCCI: IEEE World Congress on Computational
Intelligence, 2008, pp. 2749–2756.'
ista: 'Yang E, Barton NH, Arslan T, Erdogan A. 2008. A novel shifting balance theory-based
approach to optimization of an energy-constrained modulation scheme for wireless
sensor networks. WCCI: IEEE World Congress on Computational Intelligence, 2749–2756.'
mla: Yang, Erfu, et al. A Novel Shifting Balance Theory-Based Approach to Optimization
of an Energy-Constrained Modulation Scheme for Wireless Sensor Networks. IEEE,
2008, pp. 2749–56, doi:10.1109/CEC.2008.4631167.
short: E. Yang, N.H. Barton, T. Arslan, A. Erdogan, in:, IEEE, 2008, pp. 2749–2756.
conference:
name: 'WCCI: IEEE World Congress on Computational Intelligence'
date_created: 2018-12-11T12:07:49Z
date_published: 2008-09-23T00:00:00Z
date_updated: 2021-01-12T07:55:34Z
day: '23'
doi: 10.1109/CEC.2008.4631167
extern: 1
month: '09'
page: 2749 - 2756
publication_status: published
publisher: IEEE
publist_id: '1861'
quality_controlled: 0
status: public
title: A novel shifting balance theory-based approach to optimization of an energy-constrained
modulation scheme for wireless sensor networks
type: conference
year: '2008'
...
---
_id: '4245'
abstract:
- lang: eng
text: Sex allocation theory has proved extremely successful at predicting when individuals
should adjust the sex of their offspring in response to environmental conditions.
However, we know rather little about the underlying genetics of sex ratio or how
genetic architecture might constrain adaptive sex-ratio behavior. We examined
how mutation influenced genetic variation in the sex ratios produced by the parasitoid
wasp Nasonia vitripennis. In a mutation accumulation experiment, we determined
the mutability of sex ratio, and compared this with the amount of genetic variation
observed in natural populations. We found that the mutability (h2m) ranges from
0.001 to 0.002, similar to estimates for life-history traits in other organisms.
These estimates suggest one mutation every 5–60 generations, which shift the sex
ratio by approximately 0.01 (proportion males). In this and other studies, the
genetic variation in N. vitripennis sex ratio ranged from 0.02 to 0.17 (broad-sense
heritability, H2). If sex ratio is maintained by mutation–selection balance, a
higher genetic variance would be expected given our mutational parameters. Instead,
the observed genetic variance perhaps suggests additional selection against sex-ratio
mutations with deleterious effects on other fitness traits as well as sex ratio
(i.e., pleiotropy), as has been argued to be the case more generally.
author:
- first_name: Bart
full_name: Pannebakker, Bart A
last_name: Pannebakker
- first_name: Daniel
full_name: Halligan, Daniel
last_name: Halligan
- first_name: K Tracy
full_name: Reynolds, K Tracy
last_name: Reynolds
- first_name: Gavin
full_name: Ballantyne, Gavin A
last_name: Ballantyne
- first_name: David
full_name: Shuker, David M
last_name: Shuker
- first_name: Nicholas H
full_name: Nicholas Barton
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: Stuart
full_name: West, Stuart A
last_name: West
citation:
ama: Pannebakker B, Halligan D, Reynolds KT, et al. Effects of spontaneous mutation
accumulation on sex ratio traits. Evolution; International Journal of Organic
Evolution. 2008;62(8):1921-1935. doi:10.1111/j.1558-5646.2008.00434.x
apa: Pannebakker, B., Halligan, D., Reynolds, K. T., Ballantyne, G., Shuker, D.,
Barton, N. H., & West, S. (2008). Effects of spontaneous mutation accumulation
on sex ratio traits. Evolution; International Journal of Organic Evolution.
Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.2008.00434.x
chicago: Pannebakker, Bart, Daniel Halligan, K Tracy Reynolds, Gavin Ballantyne,
David Shuker, Nicholas H Barton, and Stuart West. “Effects of Spontaneous Mutation
Accumulation on Sex Ratio Traits.” Evolution; International Journal of Organic
Evolution. Wiley-Blackwell, 2008. https://doi.org/10.1111/j.1558-5646.2008.00434.x.
ieee: B. Pannebakker et al., “Effects of spontaneous mutation accumulation
on sex ratio traits,” Evolution; International Journal of Organic Evolution,
vol. 62, no. 8. Wiley-Blackwell, pp. 1921–1935, 2008.
ista: Pannebakker B, Halligan D, Reynolds KT, Ballantyne G, Shuker D, Barton NH,
West S. 2008. Effects of spontaneous mutation accumulation on sex ratio traits.
Evolution; International Journal of Organic Evolution. 62(8), 1921–1935.
mla: Pannebakker, Bart, et al. “Effects of Spontaneous Mutation Accumulation on
Sex Ratio Traits.” Evolution; International Journal of Organic Evolution,
vol. 62, no. 8, Wiley-Blackwell, 2008, pp. 1921–35, doi:10.1111/j.1558-5646.2008.00434.x.
short: B. Pannebakker, D. Halligan, K.T. Reynolds, G. Ballantyne, D. Shuker, N.H.
Barton, S. West, Evolution; International Journal of Organic Evolution 62 (2008)
1921–1935.
date_created: 2018-12-11T12:07:49Z
date_published: 2008-08-01T00:00:00Z
date_updated: 2021-01-12T07:55:34Z
day: '01'
doi: 10.1111/j.1558-5646.2008.00434.x
extern: 1
intvolume: ' 62'
issue: '8'
month: '08'
page: 1921 - 1935
publication: Evolution; International Journal of Organic Evolution
publication_status: published
publisher: Wiley-Blackwell
publist_id: '1860'
quality_controlled: 0
status: public
title: Effects of spontaneous mutation accumulation on sex ratio traits
type: journal_article
volume: 62
year: '2008'
...
---
_id: '4366'
abstract:
- lang: eng
text: Termination of a heap-manipulating program generally depends on preconditions
that express heap assumptions (i.e., assertions describing reachability, aliasing,
separation and sharing in the heap). We present an algorithm for the inference
of such preconditions. The algorithm exploits a unique interplay between counterexample-producing
abstract termination checker and shape analysis. The shape analysis produces heap
assumptions on demand to eliminate counterexamples, i.e., non-terminating abstract
computations. The experiments with our prototype implementation indicate its practical
potential.
alternative_title:
- LNCS
author:
- first_name: Andreas
full_name: Podelski,Andreas
last_name: Podelski
- first_name: Andrey
full_name: Rybalchenko, Andrey
last_name: Rybalchenko
- first_name: Thomas
full_name: Thomas Wies
id: 447BFB88-F248-11E8-B48F-1D18A9856A87
last_name: Wies
citation:
ama: 'Podelski A, Rybalchenko A, Wies T. Heap Assumptions on Demand. In: Vol 5123.
Springer; 2008:314-327. doi:10.1007/978-3-540-70545-1_31'
apa: 'Podelski, A., Rybalchenko, A., & Wies, T. (2008). Heap Assumptions on
Demand (Vol. 5123, pp. 314–327). Presented at the CAV: Computer Aided Verification,
Springer. https://doi.org/10.1007/978-3-540-70545-1_31'
chicago: Podelski, Andreas, Andrey Rybalchenko, and Thomas Wies. “Heap Assumptions
on Demand,” 5123:314–27. Springer, 2008. https://doi.org/10.1007/978-3-540-70545-1_31.
ieee: 'A. Podelski, A. Rybalchenko, and T. Wies, “Heap Assumptions on Demand,” presented
at the CAV: Computer Aided Verification, 2008, vol. 5123, pp. 314–327.'
ista: 'Podelski A, Rybalchenko A, Wies T. 2008. Heap Assumptions on Demand. CAV:
Computer Aided Verification, LNCS, vol. 5123, 314–327.'
mla: Podelski, Andreas, et al. Heap Assumptions on Demand. Vol. 5123, Springer,
2008, pp. 314–27, doi:10.1007/978-3-540-70545-1_31.
short: A. Podelski, A. Rybalchenko, T. Wies, in:, Springer, 2008, pp. 314–327.
conference:
name: 'CAV: Computer Aided Verification'
date_created: 2018-12-11T12:08:29Z
date_published: 2008-01-01T00:00:00Z
date_updated: 2021-01-12T07:56:26Z
day: '01'
doi: 10.1007/978-3-540-70545-1_31
extern: 1
intvolume: ' 5123'
month: '01'
page: 314 - 327
publication_status: published
publisher: Springer
publist_id: '1091'
quality_controlled: 0
status: public
title: Heap Assumptions on Demand
type: conference
volume: 5123
year: '2008'
...
---
_id: '4371'
abstract:
- lang: eng
text: We survey some of the problems associated with checking whether a given behavior
(a sequence, a Boolean signal or a continuous signal) satisfies a property specified
in an appropriate temporal logic and describe two such monitoring algorithms for
the real-time logic MITL.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Oded
full_name: Maler, Oded
last_name: Maler
- first_name: Dejan
full_name: Nickovic, Dejan
id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87
last_name: Nickovic
- first_name: Amir
full_name: Pnueli, Amir
last_name: Pnueli
citation:
ama: 'Maler O, Nickovic D, Pnueli A. Checking Temporal Properties of Discrete, Timed
and Continuous Behaviors. In: Pillars of Computer Science: Essays Dedicated
To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Springer;
2008:475-505. doi:10.1007/978-3-540-78127-1_26'
apa: 'Maler, O., Nickovic, D., & Pnueli, A. (2008). Checking Temporal Properties
of Discrete, Timed and Continuous Behaviors. In Pillars of Computer science:
Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
(pp. 475–505). Springer. https://doi.org/10.1007/978-3-540-78127-1_26'
chicago: 'Maler, Oded, Dejan Nickovic, and Amir Pnueli. “Checking Temporal Properties
of Discrete, Timed and Continuous Behaviors.” In Pillars of Computer Science:
Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday,
475–505. Springer, 2008. https://doi.org/10.1007/978-3-540-78127-1_26.'
ieee: 'O. Maler, D. Nickovic, and A. Pnueli, “Checking Temporal Properties of Discrete,
Timed and Continuous Behaviors,” in Pillars of Computer science: Essays Dedicated
To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer,
2008, pp. 475–505.'
ista: 'Maler O, Nickovic D, Pnueli A. 2008.Checking Temporal Properties of Discrete,
Timed and Continuous Behaviors. In: Pillars of Computer science: Essays Dedicated
To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. LNCS, , 475–505.'
mla: 'Maler, Oded, et al. “Checking Temporal Properties of Discrete, Timed and Continuous
Behaviors.” Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot
on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505, doi:10.1007/978-3-540-78127-1_26.'
short: 'O. Maler, D. Nickovic, A. Pnueli, in:, Pillars of Computer Science: Essays
Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer,
2008, pp. 475–505.'
date_created: 2018-12-11T12:08:30Z
date_published: 2008-03-11T00:00:00Z
date_updated: 2023-02-14T10:42:38Z
day: '11'
doi: 10.1007/978-3-540-78127-1_26
extern: '1'
language:
- iso: eng
month: '03'
oa_version: None
page: 475 - 505
publication: 'Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot
on the Occasion of His 85th Birthday'
publication_identifier:
isbn:
- '9783540781264'
publication_status: published
publisher: Springer
publist_id: '1087'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2008'
...
---
_id: '4384'
abstract:
- lang: eng
text: |-
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memory. We show that, under certain conditions, the verification problem can be reduced to a finite-state problem, and we illustrate the use of the method by proving the correctness of several STMs, including two-phase locking, DSTM, TL2, and optimistic concurrency control. The safety properties we consider include strict serializability and opacity; the liveness properties include obstruction freedom, livelock freedom, and wait freedom.
Our main contribution lies in the structure of the proofs, which are largely automated and not restricted to the STMs mentioned above. In a first step we show that every STM that enjoys certain structural properties either violates a safety or liveness requirement on some program with two threads and two shared variables, or satisfies the requirement on all programs. In the second step we use a model checker to prove the requirement for the STM applied to a most general program with two threads and two variables. In the safety case, the model checker constructs a simulation relation between two carefully constructed finite-state transition systems, one representing the given STM applied to a most general program, and the other representing a most liberal safe STM applied to the same program. In the liveness case, the model checker analyzes fairness conditions on the given STM transition system.
author:
- first_name: Rachid
full_name: Guerraoui, Rachid
last_name: Guerraoui
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Barbara
full_name: Jobstmann, Barbara
last_name: Jobstmann
- first_name: Vasu
full_name: Vasu Singh
id: 4DAE2708-F248-11E8-B48F-1D18A9856A87
last_name: Singh
citation:
ama: 'Guerraoui R, Henzinger TA, Jobstmann B, Singh V. Model checking transactional
memories. In: ACM; 2008:372-382. doi:10.1145/1375581.1375626'
apa: 'Guerraoui, R., Henzinger, T. A., Jobstmann, B., & Singh, V. (2008). Model
checking transactional memories (pp. 372–382). Presented at the PLDI: Programming
Languages Design and Implementation, ACM. https://doi.org/10.1145/1375581.1375626'
chicago: Guerraoui, Rachid, Thomas A Henzinger, Barbara Jobstmann, and Vasu Singh.
“Model Checking Transactional Memories,” 372–82. ACM, 2008. https://doi.org/10.1145/1375581.1375626.
ieee: 'R. Guerraoui, T. A. Henzinger, B. Jobstmann, and V. Singh, “Model checking
transactional memories,” presented at the PLDI: Programming Languages Design and
Implementation, 2008, pp. 372–382.'
ista: 'Guerraoui R, Henzinger TA, Jobstmann B, Singh V. 2008. Model checking transactional
memories. PLDI: Programming Languages Design and Implementation, 372–382.'
mla: Guerraoui, Rachid, et al. Model Checking Transactional Memories. ACM,
2008, pp. 372–82, doi:10.1145/1375581.1375626.
short: R. Guerraoui, T.A. Henzinger, B. Jobstmann, V. Singh, in:, ACM, 2008, pp.
372–382.
conference:
name: 'PLDI: Programming Languages Design and Implementation'
date_created: 2018-12-11T12:08:34Z
date_published: 2008-01-01T00:00:00Z
date_updated: 2021-01-12T07:56:34Z
day: '01'
doi: 10.1145/1375581.1375626
extern: 1
file:
- access_level: open_access
checksum: 1238258a27f212fc1a2050a9a246da20
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:14:05Z
date_updated: 2020-07-14T12:46:28Z
file_id: '5054'
file_name: IST-2012-74-v1+1_Model_checking_transactional_memories.pdf
file_size: 201583
relation: main_file
file_date_updated: 2020-07-14T12:46:28Z
main_file_link:
- open_access: '0'
url: http://pub.ist.ac.at/%7Etah/Publications/model_checking_transactional_memories.pdf
month: '01'
oa: 1
page: 372 - 382
publication_status: published
publisher: ACM
publist_id: '1073'
quality_controlled: 0
status: public
title: Model checking transactional memories
type: conference
year: '2008'
...
---
_id: '4386'
abstract:
- lang: eng
text: We introduce the notion of permissiveness in transactional memories (TM).
Intuitively, a TM is permissive if it never aborts a transaction when it need
not. More specifically, a TM is permissive with respect to a safety property p
if the TM accepts every history that satisfies p. Permissiveness, like safety
and liveness, can be used as a metric to compare TMs. We illustrate that it is
impractical to achieve permissiveness deterministically, and then show how randomization
can be used to achieve permissiveness efficiently. We introduce Adaptive Validation
STM (AVSTM), which is probabilistically permissive with respect to opacity; that
is, every opaque history is accepted by AVSTM with positive probability. Moreover,
AVSTM guarantees lock freedom. Owing to its permissiveness, AVSTM outperforms
other STMs by up to 40% in read dominated workloads in high contention scenarios.
But, in low contention scenarios, the book-keeping done by AVSTM to achieve permissiveness
makes AVSTM, on average, 20-30% worse than existing STMs.
acknowledgement: This research was supported by the Swiss National Science Foundation.
alternative_title:
- LNCS
author:
- first_name: Rachid
full_name: Guerraoui, Rachid
last_name: Guerraoui
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Vasu
full_name: Vasu Singh
id: 4DAE2708-F248-11E8-B48F-1D18A9856A87
last_name: Singh
citation:
ama: 'Guerraoui R, Henzinger TA, Singh V. Permissiveness in transactional memories.
In: Vol 5218. Springer; 2008:305-319. doi:10.1007/978-3-540-87779-0_21'
apa: 'Guerraoui, R., Henzinger, T. A., & Singh, V. (2008). Permissiveness in
transactional memories (Vol. 5218, pp. 305–319). Presented at the DISC: Distributed
Computing, Springer. https://doi.org/10.1007/978-3-540-87779-0_21'
chicago: Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Permissiveness
in Transactional Memories,” 5218:305–19. Springer, 2008. https://doi.org/10.1007/978-3-540-87779-0_21.
ieee: 'R. Guerraoui, T. A. Henzinger, and V. Singh, “Permissiveness in transactional
memories,” presented at the DISC: Distributed Computing, 2008, vol. 5218, pp.
305–319.'
ista: 'Guerraoui R, Henzinger TA, Singh V. 2008. Permissiveness in transactional
memories. DISC: Distributed Computing, LNCS, vol. 5218, 305–319.'
mla: Guerraoui, Rachid, et al. Permissiveness in Transactional Memories.
Vol. 5218, Springer, 2008, pp. 305–19, doi:10.1007/978-3-540-87779-0_21.
short: R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2008, pp. 305–319.
conference:
name: 'DISC: Distributed Computing'
date_created: 2018-12-11T12:08:35Z
date_published: 2008-09-10T00:00:00Z
date_updated: 2021-01-12T07:56:35Z
day: '10'
doi: 10.1007/978-3-540-87779-0_21
extern: 1
intvolume: ' 5218'
main_file_link:
- open_access: '0'
url: http://pub.ist.ac.at/%7Etah/Publications/permissiveness_in_transactional_memories.pdf
month: '09'
page: 305 - 319
publication_status: published
publisher: Springer
publist_id: '1072'
quality_controlled: 0
status: public
title: Permissiveness in transactional memories
type: conference
volume: 5218
year: '2008'
...
---
_id: '4387'
abstract:
- lang: eng
text: Software transactional memory (STM) offers a disciplined concurrent programming
model for exploiting the parallelism of modern processor architectures. This paper
presents the first deterministic specification automata for strict serializability
and opacity in STMs. Using an antichain-based tool, we show our deterministic
specifications to be equivalent to more intuitive, nondeterministic specification
automata (which are too large to be determinized automatically). Using deterministic
specification automata, we obtain a complete verification tool for STMs. We also
show how to model and verify contention management within STMs. We automatically
check the opacity of popular STM algorithms, such as TL2 and DSTM, with a universal
contention manager. The universal contention manager is nondeterministic and establishes
correctness for all possible contention management schemes.
acknowledgement: This research was supported by the Swiss National Science Foundation.
alternative_title:
- LNCS
author:
- first_name: Rachid
full_name: Guerraoui, Rachid
last_name: Guerraoui
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Vasu
full_name: Vasu Singh
id: 4DAE2708-F248-11E8-B48F-1D18A9856A87
last_name: Singh
citation:
ama: 'Guerraoui R, Henzinger TA, Singh V. Completeness and nondeterminism in model
checking transactional memories. In: Vol 5201. Schloss Dagstuhl - Leibniz-Zentrum
für Informatik; 2008:21-35. doi:10.1007/978-3-540-85361-9_6'
apa: 'Guerraoui, R., Henzinger, T. A., & Singh, V. (2008). Completeness and
nondeterminism in model checking transactional memories (Vol. 5201, pp. 21–35).
Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum
für Informatik. https://doi.org/10.1007/978-3-540-85361-9_6'
chicago: Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Completeness and
Nondeterminism in Model Checking Transactional Memories,” 5201:21–35. Schloss
Dagstuhl - Leibniz-Zentrum für Informatik, 2008. https://doi.org/10.1007/978-3-540-85361-9_6.
ieee: 'R. Guerraoui, T. A. Henzinger, and V. Singh, “Completeness and nondeterminism
in model checking transactional memories,” presented at the CONCUR: Concurrency
Theory, 2008, vol. 5201, pp. 21–35.'
ista: 'Guerraoui R, Henzinger TA, Singh V. 2008. Completeness and nondeterminism
in model checking transactional memories. CONCUR: Concurrency Theory, LNCS, vol.
5201, 21–35.'
mla: Guerraoui, Rachid, et al. Completeness and Nondeterminism in Model Checking
Transactional Memories. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für
Informatik, 2008, pp. 21–35, doi:10.1007/978-3-540-85361-9_6.
short: R. Guerraoui, T.A. Henzinger, V. Singh, in:, Schloss Dagstuhl - Leibniz-Zentrum
für Informatik, 2008, pp. 21–35.
conference:
name: 'CONCUR: Concurrency Theory'
date_created: 2018-12-11T12:08:35Z
date_published: 2008-07-30T00:00:00Z
date_updated: 2021-01-12T07:56:35Z
day: '30'
doi: 10.1007/978-3-540-85361-9_6
extern: 1
intvolume: ' 5201'
main_file_link:
- open_access: '0'
url: http://pub.ist.ac.at/%7Etah/Publications/completeness_and_nondeterminism_in_model_checking_transactional_memories.pdf
month: '07'
page: 21 - 35
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '1071'
quality_controlled: 0
status: public
title: Completeness and nondeterminism in model checking transactional memories
type: conference
volume: 5201
year: '2008'
...
---
_id: '4397'
alternative_title:
- LNCS 5123
author:
- first_name: Dirk
full_name: Beyer, Dirk
last_name: Beyer
- first_name: Damien
full_name: Damien Zufferey
id: 4397AC76-F248-11E8-B48F-1D18A9856A87
last_name: Zufferey
orcid: 0000-0002-3197-8736
- first_name: Ritankar
full_name: Majumdar, Ritankar S
last_name: Majumdar
citation:
ama: 'Beyer D, Zufferey D, Majumdar R. CSIsat: Interpolation for LA+EUF. In: Springer;
2008:304-308.'
apa: 'Beyer, D., Zufferey, D., & Majumdar, R. (2008). CSIsat: Interpolation
for LA+EUF (pp. 304–308). Presented at the CAV: Computer Aided Verification, Springer.'
chicago: 'Beyer, Dirk, Damien Zufferey, and Ritankar Majumdar. “CSIsat: Interpolation
for LA+EUF,” 304–8. Springer, 2008.'
ieee: 'D. Beyer, D. Zufferey, and R. Majumdar, “CSIsat: Interpolation for LA+EUF,”
presented at the CAV: Computer Aided Verification, 2008, pp. 304–308.'
ista: 'Beyer D, Zufferey D, Majumdar R. 2008. CSIsat: Interpolation for LA+EUF.
CAV: Computer Aided Verification, LNCS 5123, , 304–308.'
mla: 'Beyer, Dirk, et al. CSIsat: Interpolation for LA+EUF. Springer, 2008,
pp. 304–08.'
short: D. Beyer, D. Zufferey, R. Majumdar, in:, Springer, 2008, pp. 304–308.
conference:
name: 'CAV: Computer Aided Verification'
date_created: 2018-12-11T12:08:38Z
date_published: 2008-01-01T00:00:00Z
date_updated: 2021-01-12T07:56:40Z
day: '01'
extern: 1
month: '01'
page: 304 - 308
publication_status: published
publisher: Springer
publist_id: '1060'
quality_controlled: 0
status: public
title: 'CSIsat: Interpolation for LA+EUF'
type: conference
year: '2008'
...