---
_id: '3915'
abstract:
- lang: eng
text: "In the ant Cardiocondyla obscurior, wingless males compete with nestmate
males for access to female mating\r\npartners, leading to local mate competition
(LMC). Queen number varies between colonies, resulting in\r\nvariation in the
strength of LMC. Cremer & Heinze (2002, Proceedings of the Royal Society of
London, Series B,\r\n269, 417–422) showed that colonies responded to increasing
queen number by producing a less femalebiased\r\nsex ratio, as predicted by LMC
theory. However, the proximate mechanisms responsible for this\r\nvariation in
the sex ratio could not be determined because the study was restricted to adult
sex ratios.With\r\nLMC, the primary sex ratio (proportion of haploid eggs laid
by the queen) is expected to be female biased,\r\nwhich lowers the conflict between
queens and workers over sex allocation. We compared the primary sex\r\nratios
laid by queens in monogynous and in polygynous experimental colonies of C. obscurior.
The\r\nproportion of haploid eggs laid by queens was significantly lower in single-queen
than in multiple-queen\r\ncolonies. Furthermore, queens rapidly adjusted their
primary sex ratios to changes in colony queen\r\nnumber. This is the first report
of an adaptive adjustment of the primary sex ratio in response to LMC by\r\nant
queens."
author:
- first_name: Ludivine
full_name: De Menten, Ludivine
last_name: De Menten
- first_name: Sylvia
full_name: Cremer, Sylvia
id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
last_name: Cremer
orcid: 0000-0002-2193-3868
- first_name: Jürgen
full_name: Heinze, Jürgen
last_name: Heinze
- first_name: Serge
full_name: Aron, Serge
last_name: Aron
citation:
ama: De Menten L, Cremer S, Heinze J, Aron S. Primary sex ratio adjustment by ant
queens in response to local mate competition. Animal Behaviour. 2005;69(5):1031-1035.
doi:10.1016/j.anbehav.2004.09.005
apa: De Menten, L., Cremer, S., Heinze, J., & Aron, S. (2005). Primary sex ratio
adjustment by ant queens in response to local mate competition. Animal Behaviour.
Elsevier. https://doi.org/10.1016/j.anbehav.2004.09.005
chicago: De Menten, Ludivine, Sylvia Cremer, Jürgen Heinze, and Serge Aron. “Primary
Sex Ratio Adjustment by Ant Queens in Response to Local Mate Competition.” Animal
Behaviour. Elsevier, 2005. https://doi.org/10.1016/j.anbehav.2004.09.005.
ieee: L. De Menten, S. Cremer, J. Heinze, and S. Aron, “Primary sex ratio adjustment
by ant queens in response to local mate competition,” Animal Behaviour,
vol. 69, no. 5. Elsevier, pp. 1031–1035, 2005.
ista: De Menten L, Cremer S, Heinze J, Aron S. 2005. Primary sex ratio adjustment
by ant queens in response to local mate competition. Animal Behaviour. 69(5),
1031–1035.
mla: De Menten, Ludivine, et al. “Primary Sex Ratio Adjustment by Ant Queens in
Response to Local Mate Competition.” Animal Behaviour, vol. 69, no. 5,
Elsevier, 2005, pp. 1031–35, doi:10.1016/j.anbehav.2004.09.005.
short: L. De Menten, S. Cremer, J. Heinze, S. Aron, Animal Behaviour 69 (2005) 1031–1035.
date_created: 2018-12-11T12:05:52Z
date_published: 2005-05-01T00:00:00Z
date_updated: 2021-01-12T07:53:10Z
day: '01'
doi: 10.1016/j.anbehav.2004.09.005
extern: '1'
intvolume: ' 69'
issue: '5'
language:
- iso: eng
month: '05'
oa_version: None
page: 1031 - 1035
publication: Animal Behaviour
publication_status: published
publisher: Elsevier
publist_id: '2237'
status: public
title: Primary sex ratio adjustment by ant queens in response to local mate competition
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 69
year: '2005'
...
---
_id: '3916'
abstract:
- lang: eng
text: Divergent reproductive interests of males and females often cause sexual conflict
[1] and [2]. Males of many species manipulate females by transferring seminal
fluids that boost female short-term fecundity while decreasing their life expectancy
and future reproductivity [3] and [4]. The life history of ants, however, is expected
to reduce sexual conflict; whereas most insect females show repeated phases of
mating and reproduction, antqueens mate only during a short period early in life
and undergo a lifelong commitment to their mates by storing sperm [5]. Furthermore,
sexual offspring can only be reared after a sterile worker force has been built
up [5]. Therefore, the males should also profit from a long female lifespan. In
the antCardiocondyla obscurior, mating indeed has a positive effect on the lifetime
reproductive success of queens. Queens that mated to either one fertile or one
sterilized male lived considerably longer and started laying eggs earlier than
virgin queens. Only queens that received viable sperm from fertile males showed
increased fecundity. The lack of a trade-off between fecundity and longevity is
unexpected, given evolutionary theories of aging [6]. Our data instead reveal
the existence of sexual cooperation in ants.
author:
- first_name: Alexandra
full_name: Schrempf, Alexandra
last_name: Schrempf
- first_name: Jürgen
full_name: Heinze, Jürgen
last_name: Heinze
- first_name: Sylvia
full_name: Cremer, Sylvia
id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
last_name: Cremer
orcid: 0000-0002-2193-3868
citation:
ama: 'Schrempf A, Heinze J, Cremer S. Sexual cooperation: mating increases longevity
in ant queens. Current Biology. 2005;15(3):267-270. doi:10.1016/j.cub.2005.01.036'
apa: 'Schrempf, A., Heinze, J., & Cremer, S. (2005). Sexual cooperation: mating
increases longevity in ant queens. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2005.01.036'
chicago: 'Schrempf, Alexandra, Jürgen Heinze, and Sylvia Cremer. “Sexual Cooperation:
Mating Increases Longevity in Ant Queens.” Current Biology. Cell Press,
2005. https://doi.org/10.1016/j.cub.2005.01.036.'
ieee: 'A. Schrempf, J. Heinze, and S. Cremer, “Sexual cooperation: mating increases
longevity in ant queens,” Current Biology, vol. 15, no. 3. Cell Press,
pp. 267–270, 2005.'
ista: 'Schrempf A, Heinze J, Cremer S. 2005. Sexual cooperation: mating increases
longevity in ant queens. Current Biology. 15(3), 267–270.'
mla: 'Schrempf, Alexandra, et al. “Sexual Cooperation: Mating Increases Longevity
in Ant Queens.” Current Biology, vol. 15, no. 3, Cell Press, 2005, pp.
267–70, doi:10.1016/j.cub.2005.01.036.'
short: A. Schrempf, J. Heinze, S. Cremer, Current Biology 15 (2005) 267–270.
date_created: 2018-12-11T12:05:52Z
date_published: 2005-02-08T00:00:00Z
date_updated: 2021-01-12T07:53:10Z
day: '08'
doi: 10.1016/j.cub.2005.01.036
extern: '1'
intvolume: ' 15'
issue: '3'
language:
- iso: eng
month: '02'
oa_version: None
page: 267 - 270
publication: Current Biology
publication_status: published
publisher: Cell Press
publist_id: '2238'
status: public
title: 'Sexual cooperation: mating increases longevity in ant queens'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 15
year: '2005'
...
---
_id: '3933'
abstract:
- lang: eng
text: Resident dendritic cells (DC) within the T cell area of the lymph node take
up soluble antigens that enter via the afferent lymphatics before antigen carrying
DC arrive from the periphery. The reticular network within the lymph node is a
conduit system forming the infrastructure for the fast delivery of soluble substances
from the afferent lymph to the lumen of high endothelial venules (HEVs). Using
high-resolution light microscopy and 3D reconstruction, we show here that these
conduits are unique basement membrane-like structures ensheathed by fibroblastic
reticular cells with occasional resident DC embedded within this cell layer. Conduit-associated
DC are capable of taking up and processing soluble antigens transported within
the conduits, whereas immigrated mature DC occur remote from the reticular fibers.
The conduit system is, therefore, not a closed compartment that shuttles substances
through the lymph node but represents the morphological equivalent to the filtering
function of the lymph node.
author:
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
- first_name: Nobuo
full_name: Kanazawa, Nobuo
last_name: Kanazawa
- first_name: Manuel
full_name: Selg, Manuel
last_name: Selg
- first_name: Thomas
full_name: Samson, Thomas
last_name: Samson
- first_name: Gunnel
full_name: Roos, Gunnel
last_name: Roos
- first_name: Dieter
full_name: Reinhardt, Dieter
last_name: Reinhardt
- first_name: Reinhard
full_name: Pabst, Reinhard
last_name: Pabst
- first_name: Manfred
full_name: Lutz, Manfred
last_name: Lutz
- first_name: Lydia
full_name: Sorokin, Lydia
last_name: Sorokin
citation:
ama: Sixt MK, Kanazawa N, Selg M, et al. The conduit system transports soluble antigens
from the afferent lymph to resident dendritic cells in the T cell area of the
lymph node. Immunity. 2005;22(1):19-29. doi:10.1016/j.immuni.2004.11.013
apa: Sixt, M. K., Kanazawa, N., Selg, M., Samson, T., Roos, G., Reinhardt, D., …
Sorokin, L. (2005). The conduit system transports soluble antigens from the afferent
lymph to resident dendritic cells in the T cell area of the lymph node. Immunity.
Cell Press. https://doi.org/10.1016/j.immuni.2004.11.013
chicago: Sixt, Michael K, Nobuo Kanazawa, Manuel Selg, Thomas Samson, Gunnel Roos,
Dieter Reinhardt, Reinhard Pabst, Manfred Lutz, and Lydia Sorokin. “The Conduit
System Transports Soluble Antigens from the Afferent Lymph to Resident Dendritic
Cells in the T Cell Area of the Lymph Node.” Immunity. Cell Press, 2005.
https://doi.org/10.1016/j.immuni.2004.11.013.
ieee: M. K. Sixt et al., “The conduit system transports soluble antigens
from the afferent lymph to resident dendritic cells in the T cell area of the
lymph node,” Immunity, vol. 22, no. 1. Cell Press, pp. 19–29, 2005.
ista: Sixt MK, Kanazawa N, Selg M, Samson T, Roos G, Reinhardt D, Pabst R, Lutz
M, Sorokin L. 2005. The conduit system transports soluble antigens from the afferent
lymph to resident dendritic cells in the T cell area of the lymph node. Immunity.
22(1), 19–29.
mla: Sixt, Michael K., et al. “The Conduit System Transports Soluble Antigens from
the Afferent Lymph to Resident Dendritic Cells in the T Cell Area of the Lymph
Node.” Immunity, vol. 22, no. 1, Cell Press, 2005, pp. 19–29, doi:10.1016/j.immuni.2004.11.013.
short: M.K. Sixt, N. Kanazawa, M. Selg, T. Samson, G. Roos, D. Reinhardt, R. Pabst,
M. Lutz, L. Sorokin, Immunity 22 (2005) 19–29.
date_created: 2018-12-11T12:05:58Z
date_published: 2005-01-25T00:00:00Z
date_updated: 2021-01-12T07:53:18Z
day: '25'
doi: 10.1016/j.immuni.2004.11.013
extern: '1'
intvolume: ' 22'
issue: '1'
language:
- iso: eng
month: '01'
oa_version: None
page: 19 - 29
publication: Immunity
publication_status: published
publisher: Cell Press
publist_id: '2195'
status: public
title: The conduit system transports soluble antigens from the afferent lymph to resident
dendritic cells in the T cell area of the lymph node
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 22
year: '2005'
...
---
_id: '3982'
abstract:
- lang: eng
text: We present an efficient algorithm for generating a small set of coarse alignments
between interacting proteins using meaningful features on their surfaces. The
proteins are treated as rigid bodies, but the results are more generally useful
as the produced configurations can serve as input to local improvement algorithms
that allow for protein flexibility. We apply our algorithm to a diverse set of
protein complexes from the Protein Data Bank, demonstrating the effectivity of
our algorithm, both for bound and for unbound protein docking problems.
author:
- first_name: Yusu
full_name: Wang, Yusu
last_name: Wang
- first_name: Pankaj
full_name: Agarwal, Pankaj K
last_name: Agarwal
- first_name: Paul
full_name: Brown, Paul
last_name: Brown
- first_name: Herbert
full_name: Herbert Edelsbrunner
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Johannes
full_name: Rudolph, Johannes
last_name: Rudolph
citation:
ama: 'Wang Y, Agarwal P, Brown P, Edelsbrunner H, Rudolph J. Coarse and reliable
geometric alignment for protein docking. In: World Scientific Publishing; 2005:64-75.
doi:10.1142/9789812702456_0007'
apa: 'Wang, Y., Agarwal, P., Brown, P., Edelsbrunner, H., & Rudolph, J. (2005).
Coarse and reliable geometric alignment for protein docking (pp. 64–75). Presented
at the PSB: Pacific Symposium on Biocomputing, World Scientific Publishing. https://doi.org/10.1142/9789812702456_0007'
chicago: Wang, Yusu, Pankaj Agarwal, Paul Brown, Herbert Edelsbrunner, and Johannes
Rudolph. “Coarse and Reliable Geometric Alignment for Protein Docking,” 64–75.
World Scientific Publishing, 2005. https://doi.org/10.1142/9789812702456_0007.
ieee: 'Y. Wang, P. Agarwal, P. Brown, H. Edelsbrunner, and J. Rudolph, “Coarse and
reliable geometric alignment for protein docking,” presented at the PSB: Pacific
Symposium on Biocomputing, 2005, pp. 64–75.'
ista: 'Wang Y, Agarwal P, Brown P, Edelsbrunner H, Rudolph J. 2005. Coarse and reliable
geometric alignment for protein docking. PSB: Pacific Symposium on Biocomputing,
64–75.'
mla: Wang, Yusu, et al. Coarse and Reliable Geometric Alignment for Protein Docking.
World Scientific Publishing, 2005, pp. 64–75, doi:10.1142/9789812702456_0007.
short: Y. Wang, P. Agarwal, P. Brown, H. Edelsbrunner, J. Rudolph, in:, World Scientific
Publishing, 2005, pp. 64–75.
conference:
name: 'PSB: Pacific Symposium on Biocomputing'
date_created: 2018-12-11T12:06:16Z
date_published: 2005-01-01T00:00:00Z
date_updated: 2021-01-12T07:53:38Z
day: '01'
doi: 10.1142/9789812702456_0007
extern: 1
month: '01'
page: 64 - 75
publication_status: published
publisher: World Scientific Publishing
publist_id: '2143'
quality_controlled: 0
status: public
title: Coarse and reliable geometric alignment for protein docking
type: conference
year: '2005'
...
---
_id: '3983'
abstract:
- lang: eng
text: Cdc25 phosphatases are key activators of the eukaryotic cell cycle and compelling
anticancer targets because their overexpression has been associated with numerous
cancers. However, drug discovery targeting these phosphatases has been hampered
by the lack of structural information about how Cdc25s interact with their native
protein substrates, the cyclin-dependent kinases. Herein, we predict a docked
orientation for Cdc25B with its Cdk2-pTpY-CycA protein substrate by a rigid-body
docking method and refine the docked models with full-scale molecular dynamics
simulations and minimization. We validate the stable ensemble structure experimentally
by a variety of in vitro and in vivo techniques. Specifically, we compare our
model with a crystal structure of the substrate-trapping mutant of Cdc25B. We
identify and validate in vivo a novel hot-spot residue on Cdc25B (Arg492) that
plays a central role in protein substrate recognition. We identify a hot-spot
residue on the Substrate Cdk2 (Asp206) and confirm its interaction with hot-spot
residues on Cdc25 using hot-spot swapping and double mutant cycles to derive interaction
energies. Our experimentally validated model is consistent with previous studies
of Cdk2 and its interaction partners and initiates the opportunity for drug discovery
of inhibitors that target the remote binding sites of this protein-protein interaction.
author:
- first_name: Jungsan
full_name: Sohn, Jungsan
last_name: Sohn
- first_name: Jerry
full_name: Parks, Jerry M
last_name: Parks
- first_name: Gregory
full_name: Buhrman, Gregory
last_name: Buhrman
- first_name: Paul
full_name: Brown, Paul
last_name: Brown
- first_name: Kolbrun
full_name: Kristjánsdóttir, Kolbrun
last_name: Kristjánsdóttir
- first_name: Alexias
full_name: Safi, Alexias
last_name: Safi
- first_name: Herbert
full_name: Herbert Edelsbrunner
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Weitao
full_name: Yang, Weitao T
last_name: Yang
- first_name: Johannes
full_name: Rudolph, Johannes
last_name: Rudolph
citation:
ama: Sohn J, Parks J, Buhrman G, et al. Experimental validation of the docking orientation
of Cdc25 with its Cdk2-CycA protein substrate. Biochemistry. 2005;44(50):16563-16573.
doi:10.1021/bi0516879
apa: Sohn, J., Parks, J., Buhrman, G., Brown, P., Kristjánsdóttir, K., Safi, A.,
… Rudolph, J. (2005). Experimental validation of the docking orientation of Cdc25
with its Cdk2-CycA protein substrate. Biochemistry. ACS. https://doi.org/10.1021/bi0516879
chicago: Sohn, Jungsan, Jerry Parks, Gregory Buhrman, Paul Brown, Kolbrun Kristjánsdóttir,
Alexias Safi, Herbert Edelsbrunner, Weitao Yang, and Johannes Rudolph. “Experimental
Validation of the Docking Orientation of Cdc25 with Its Cdk2-CycA Protein Substrate.”
Biochemistry. ACS, 2005. https://doi.org/10.1021/bi0516879.
ieee: J. Sohn et al., “Experimental validation of the docking orientation
of Cdc25 with its Cdk2-CycA protein substrate,” Biochemistry, vol. 44,
no. 50. ACS, pp. 16563–16573, 2005.
ista: Sohn J, Parks J, Buhrman G, Brown P, Kristjánsdóttir K, Safi A, Edelsbrunner
H, Yang W, Rudolph J. 2005. Experimental validation of the docking orientation
of Cdc25 with its Cdk2-CycA protein substrate. Biochemistry. 44(50), 16563–16573.
mla: Sohn, Jungsan, et al. “Experimental Validation of the Docking Orientation of
Cdc25 with Its Cdk2-CycA Protein Substrate.” Biochemistry, vol. 44, no.
50, ACS, 2005, pp. 16563–73, doi:10.1021/bi0516879.
short: J. Sohn, J. Parks, G. Buhrman, P. Brown, K. Kristjánsdóttir, A. Safi, H.
Edelsbrunner, W. Yang, J. Rudolph, Biochemistry 44 (2005) 16563–16573.
date_created: 2018-12-11T12:06:16Z
date_published: 2005-11-24T00:00:00Z
date_updated: 2021-01-12T07:53:39Z
day: '24'
doi: 10.1021/bi0516879
extern: 1
intvolume: ' 44'
issue: '50'
month: '11'
page: 16563 - 16573
publication: Biochemistry
publication_status: published
publisher: ACS
publist_id: '2144'
quality_controlled: 0
status: public
title: Experimental validation of the docking orientation of Cdc25 with its Cdk2-CycA
protein substrate
type: journal_article
volume: 44
year: '2005'
...
---
_id: '4138'
abstract:
- lang: eng
text: |-
Adaptive dynamics describes the evolution of an asexual population through the successive substitution of mutations of small effect. Waxman & Gavrilets (2005) give an excellent overview of the method and its applications. In this note, we focus on the plausibility of the key assumption that mutations have small effects, and the consequences of relaxing that assumption. We argue that: (i) successful mutations often have large effects; (ii) such mutations generate a qualitatively different evolutionary pattern, which is inherently stochastic; and (iii) in models of competition for a continuous resource, selection becomes very weak once several phenotypes are established. This makes the effects of introducing new mutations unpredictable using the methods of adaptive dynamics.
We should make clear at the outset that our criticism is of methods that rely on local analysis of fitness gradients (eqn 2 of Waxman & Gavrilets, 2005), and not of the broader idea that evolution can be understood by examining the invasion of successive mutations. We use the term ‘adaptive dynamics’ to refer to the former technique, and contrast it with a more general population genetic analysis of probabilities of invasion.
author:
- first_name: Nicholas H
full_name: Nicholas Barton
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: Jitka
full_name: Jitka Polechova
id: 3BBFB084-F248-11E8-B48F-1D18A9856A87
last_name: Polechova
orcid: 0000-0003-0951-3112
citation:
ama: Barton NH, Polechova J. The limitations of adaptive dynamics as a model of
evolution. Journal of Evolutionary Biology. 2005;18(5):1186-1190. doi:10.1111/j.1420-9101.2005.00943.x
apa: Barton, N. H., & Polechova, J. (2005). The limitations of adaptive dynamics
as a model of evolution. Journal of Evolutionary Biology. Wiley-Blackwell.
https://doi.org/10.1111/j.1420-9101.2005.00943.x
chicago: Barton, Nicholas H, and Jitka Polechova. “The Limitations of Adaptive Dynamics
as a Model of Evolution.” Journal of Evolutionary Biology. Wiley-Blackwell,
2005. https://doi.org/10.1111/j.1420-9101.2005.00943.x.
ieee: N. H. Barton and J. Polechova, “The limitations of adaptive dynamics as a
model of evolution,” Journal of Evolutionary Biology, vol. 18, no. 5. Wiley-Blackwell,
pp. 1186–1190, 2005.
ista: Barton NH, Polechova J. 2005. The limitations of adaptive dynamics as a model
of evolution. Journal of Evolutionary Biology. 18(5), 1186–1190.
mla: Barton, Nicholas H., and Jitka Polechova. “The Limitations of Adaptive Dynamics
as a Model of Evolution.” Journal of Evolutionary Biology, vol. 18, no.
5, Wiley-Blackwell, 2005, pp. 1186–90, doi:10.1111/j.1420-9101.2005.00943.x.
short: N.H. Barton, J. Polechova, Journal of Evolutionary Biology 18 (2005) 1186–1190.
date_created: 2018-12-11T12:07:10Z
date_published: 2005-09-01T00:00:00Z
date_updated: 2021-01-12T07:54:47Z
day: '01'
doi: 10.1111/j.1420-9101.2005.00943.x
extern: 1
intvolume: ' 18'
issue: '5'
month: '09'
page: 1186 - 1190
publication: Journal of Evolutionary Biology
publication_status: published
publisher: Wiley-Blackwell
publist_id: '1982'
quality_controlled: 0
status: public
title: The limitations of adaptive dynamics as a model of evolution
type: journal_article
volume: 18
year: '2005'
...
---
_id: '4144'
abstract:
- lang: eng
text: Wnt11 plays a central role in tissue morphogenesis during vertebrate gastrulation,
but the molecular and cellular mechanisms by which Wnt11 exerts its effects remain
poorly understood. Here, we show that Wnt11 functions during zebrafish gastrulation
by regulating the cohesion of mesodermal and endodermal (mesendodermal) progenitor
cells. Importantly, we demonstrate that Wnt11 activity in this process is mediated
by the GTPase Rab5, a key regulator of early endocytosis, as blocking Rab5c activity
in wild-type embryos phenocopies slb/wnt11 mutants, and enhancing Rab5c activity
in slb/wnt11 mutant embryos rescues the mutant phenotype. In addition, we find
that Wnt11 and Rab5c control the endocytosis of E-cadherin and are required in
mesendodermal cells for E-cadherin-mediated cell cohesion. Together, our results
suggest that Wnt11 controls tissue morphogenesis by modulating E-cadherin-mediated
cell cohesion through Rab5c, a novel mechanism of Wnt signaling in gastrulation.
article_processing_charge: No
author:
- first_name: Florian
full_name: Ulrich, Florian
last_name: Ulrich
- first_name: Michael
full_name: Krieg, Michael
last_name: Krieg
- first_name: Eva
full_name: Schötz, Eva
last_name: Schötz
- first_name: Vinzenz
full_name: Link, Vinzenz
last_name: Link
- first_name: Irinka
full_name: Castanon, Irinka
last_name: Castanon
- first_name: Viktor
full_name: Schnabel, Viktor
last_name: Schnabel
- first_name: Anna
full_name: Taubenberger, Anna
last_name: Taubenberger
- first_name: Daniel
full_name: Müller, Daniel
last_name: Müller
- first_name: Pierre
full_name: Puech, Pierre
last_name: Puech
- 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: Ulrich F, Krieg M, Schötz E, et al. Wnt11 functions in gastrulation by controlling
cell cohesion through Rab5c and E-cadherin. Developmental Cell. 2005;9(4):555-564.
doi:10.1016/j.devcel.2005.08.011
apa: Ulrich, F., Krieg, M., Schötz, E., Link, V., Castanon, I., Schnabel, V., …
Heisenberg, C.-P. J. (2005). Wnt11 functions in gastrulation by controlling cell
cohesion through Rab5c and E-cadherin. Developmental Cell. Cell Press.
https://doi.org/10.1016/j.devcel.2005.08.011
chicago: Ulrich, Florian, Michael Krieg, Eva Schötz, Vinzenz Link, Irinka Castanon,
Viktor Schnabel, Anna Taubenberger, Daniel Müller, Pierre Puech, and Carl-Philipp
J Heisenberg. “Wnt11 Functions in Gastrulation by Controlling Cell Cohesion through
Rab5c and E-Cadherin.” Developmental Cell. Cell Press, 2005. https://doi.org/10.1016/j.devcel.2005.08.011.
ieee: F. Ulrich et al., “Wnt11 functions in gastrulation by controlling cell
cohesion through Rab5c and E-cadherin,” Developmental Cell, vol. 9, no.
4. Cell Press, pp. 555–564, 2005.
ista: Ulrich F, Krieg M, Schötz E, Link V, Castanon I, Schnabel V, Taubenberger
A, Müller D, Puech P, Heisenberg C-PJ. 2005. Wnt11 functions in gastrulation by
controlling cell cohesion through Rab5c and E-cadherin. Developmental Cell. 9(4),
555–564.
mla: Ulrich, Florian, et al. “Wnt11 Functions in Gastrulation by Controlling Cell
Cohesion through Rab5c and E-Cadherin.” Developmental Cell, vol. 9, no.
4, Cell Press, 2005, pp. 555–64, doi:10.1016/j.devcel.2005.08.011.
short: F. Ulrich, M. Krieg, E. Schötz, V. Link, I. Castanon, V. Schnabel, A. Taubenberger,
D. Müller, P. Puech, C.-P.J. Heisenberg, Developmental Cell 9 (2005) 555–564.
date_created: 2018-12-11T12:07:12Z
date_published: 2005-10-01T00:00:00Z
date_updated: 2021-01-12T07:54:50Z
day: '01'
doi: 10.1016/j.devcel.2005.08.011
extern: '1'
intvolume: ' 9'
issue: '4'
language:
- iso: eng
month: '10'
oa_version: None
page: 555 - 564
publication: Developmental Cell
publication_status: published
publisher: Cell Press
publist_id: '1977'
status: public
title: Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c
and E-cadherin
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 9
year: '2005'
...
---
_id: '4155'
abstract:
- lang: eng
text: During vertebrate gastrulation, progenitor cells of different germ layers
acquire specific adhesive properties that contribute to germ layer formation and
separation. Wnt signals have been suggested to function in this process by modulating
the different levels of adhesion between the germ layers, however, direct evidence
for this is still lacking. Here we show that Wnt11, a key signal regulating gastrulation
movements, is needed for the adhesion of zebrafish mesendodermal progenitor cells
to fibronectin, an abundant extracellular matrix component during gastrulation.
To measure this effect, we developed an assay to quantify the adhesion of single
zebrafish primary mesendodermal progenitors using atomic-force microscopy (AFM).
We observed significant differences in detachment force and work between cultured
mesendodermal progenitors from wild-type embryos and from slb/wit11 mutant embryos,
which carry a loss-of-function mutation in the wnt11 gene, when tested on fibronectin-coated
substrates. These differences were probably due to reduced adhesion to the fibronectin
substrate as neither the overall cell morphology nor the cell elasticity grossly
differed between wild-type and mutant cells. Furthermore, in the presence of inhibitors
of fibronectin-integrin binding, such as RGD peptides, the adhesion force and
work were strongly decreased, indicating that integrins are involved in the binding
of mesendodermal progenitors in our assay. These findings demonstrate that AFM
can be used to quantitatively determine the substrate-adhesion of cultured primary
gastrulating cells and provide insight into the role of Wnt11 signalling in modulating
cell adhesion at the single cell scale.
article_processing_charge: No
author:
- first_name: Pierre
full_name: Puech, Pierre
last_name: Puech
- first_name: Anna
full_name: Taubenberger, Anna
last_name: Taubenberger
- first_name: Florian
full_name: Ulrich, Florian
last_name: Ulrich
- first_name: Michael
full_name: Krieg, Michael
last_name: Krieg
- 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: Puech P, Taubenberger A, Ulrich F, Krieg M, Mueller D, Heisenberg C-PJ. Measuring
cell adhesion forces of primary gastrulating cells from zebrafish using atomic
force microscopy. Journal of Cell Science. 2005;118(18):4199-4206. doi:10.1242/jcs.02547
apa: Puech, P., Taubenberger, A., Ulrich, F., Krieg, M., Mueller, D., & Heisenberg,
C.-P. J. (2005). Measuring cell adhesion forces of primary gastrulating cells
from zebrafish using atomic force microscopy. Journal of Cell Science.
Company of Biologists. https://doi.org/10.1242/jcs.02547
chicago: Puech, Pierre, Anna Taubenberger, Florian Ulrich, Michael Krieg, Daniel
Mueller, and Carl-Philipp J Heisenberg. “Measuring Cell Adhesion Forces of Primary
Gastrulating Cells from Zebrafish Using Atomic Force Microscopy.” Journal of
Cell Science. Company of Biologists, 2005. https://doi.org/10.1242/jcs.02547.
ieee: P. Puech, A. Taubenberger, F. Ulrich, M. Krieg, D. Mueller, and C.-P. J. Heisenberg,
“Measuring cell adhesion forces of primary gastrulating cells from zebrafish using
atomic force microscopy,” Journal of Cell Science, vol. 118, no. 18. Company
of Biologists, pp. 4199–4206, 2005.
ista: Puech P, Taubenberger A, Ulrich F, Krieg M, Mueller D, Heisenberg C-PJ. 2005.
Measuring cell adhesion forces of primary gastrulating cells from zebrafish using
atomic force microscopy. Journal of Cell Science. 118(18), 4199–4206.
mla: Puech, Pierre, et al. “Measuring Cell Adhesion Forces of Primary Gastrulating
Cells from Zebrafish Using Atomic Force Microscopy.” Journal of Cell Science,
vol. 118, no. 18, Company of Biologists, 2005, pp. 4199–206, doi:10.1242/jcs.02547.
short: P. Puech, A. Taubenberger, F. Ulrich, M. Krieg, D. Mueller, C.-P.J. Heisenberg,
Journal of Cell Science 118 (2005) 4199–4206.
date_created: 2018-12-11T12:07:16Z
date_published: 2005-01-01T00:00:00Z
date_updated: 2021-01-12T07:54:54Z
day: '01'
doi: 10.1242/jcs.02547
extern: '1'
intvolume: ' 118'
issue: '18'
language:
- iso: eng
month: '01'
oa_version: None
page: 4199 - 4206
publication: Journal of Cell Science
publication_status: published
publisher: Company of Biologists
publist_id: '1964'
status: public
title: Measuring cell adhesion forces of primary gastrulating cells from zebrafish
using atomic force microscopy
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 118
year: '2005'
...
---
_id: '4167'
abstract:
- lang: eng
text: In this study, we elucidate the roles of the winged-helix transcription factor
Foxa2 in ventral CNS development in zebrafish. Through cloning of monorail (mol),
which we find encodes the transcription factor Foxa2, and phenotypic analysis
of mol(-/-) embryos, we show that floorplate is induced in the absence of Foxa2
function but fails to further differentiate. In mol(-/-) mutants, expression of
Foxa and Hh family genes is not maintained in floorplate cells and lateral expansion
of the floorplate fails to occur. Our results suggest that this is due to defects
both in the regulation of Hh activity in medial floorplate cells as well as cell-autonomous
requirements for Foxa2 in the prospective laterally positioned floorplate cells
themselves. Foxa2 is also required for induction and/or patterning of several
distinct cell types in the ventral CNS. Serotonergic neurones of the raphe nucleus
and the trochlear motor nucleus are absent in mol(-/-) embryos, and oculomotor
and facial motoneurones ectopically occupy ventral CNS midline positions in the
midbrain and hindbrain. There is also a severe reduction of prospective oligodendrocytes
in the midbrain and hindbrain. Finally, in the absence of Foxa2, at least two
likely Hh pathway target genes are ectopically expressed in more dorsal regions
of the midbrain and hindbrain ventricular neuroepithelium, raising the possibility
that Foxa2 activity may normally be required to limit the range of action of secreted
Hh proteins.
article_processing_charge: No
author:
- first_name: Will
full_name: Norton, Will
last_name: Norton
- first_name: Maryam
full_name: Mangoli, Maryam
last_name: Mangoli
- first_name: Zsolt
full_name: Lele, Zsolt
last_name: Lele
- first_name: Hans
full_name: Pogoda, Hans
last_name: Pogoda
- first_name: Brianne
full_name: Diamond, Brianne
last_name: Diamond
- first_name: Sara
full_name: Mercurio, Sara
last_name: Mercurio
- first_name: Claire
full_name: Russell, Claire
last_name: Russell
- first_name: Hiroki
full_name: Teraoka, Hiroki
last_name: Teraoka
- first_name: Heather
full_name: Stickney, Heather
last_name: Stickney
- first_name: Gerd
full_name: Rauch, Gerd
last_name: Rauch
- 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: Corinne
full_name: Houart, Corinne
last_name: Houart
- first_name: Thomas
full_name: Schilling, Thomas
last_name: Schilling
- first_name: Hans
full_name: Frohnhoefer, Hans
last_name: Frohnhoefer
- first_name: Sepand
full_name: Rastegar, Sepand
last_name: Rastegar
- first_name: Carl
full_name: Neumann, Carl
last_name: Neumann
- first_name: R Mark
full_name: Gardiner, R Mark
last_name: Gardiner
- first_name: Uwe
full_name: Strähle, Uwe
last_name: Strähle
- first_name: Robert
full_name: Geisler, Robert
last_name: Geisler
- first_name: Michelle
full_name: Rees, Michelle
last_name: Rees
- first_name: William
full_name: Talbot, William
last_name: Talbot
- first_name: Stephen
full_name: Wilson, Stephen
last_name: Wilson
citation:
ama: Norton W, Mangoli M, Lele Z, et al. Monorail/Foxa2 regulates floorplate differentiation
and specification of oligodendrocytes, serotonergic raphe neurones and cranial
motoneurones. Development. 2005;132(4):645-658. doi:10.1242/dev.01611
apa: Norton, W., Mangoli, M., Lele, Z., Pogoda, H., Diamond, B., Mercurio, S., …
Wilson, S. (2005). Monorail/Foxa2 regulates floorplate differentiation and specification
of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones. Development.
Company of Biologists. https://doi.org/10.1242/dev.01611
chicago: Norton, Will, Maryam Mangoli, Zsolt Lele, Hans Pogoda, Brianne Diamond,
Sara Mercurio, Claire Russell, et al. “Monorail/Foxa2 Regulates Floorplate Differentiation
and Specification of Oligodendrocytes, Serotonergic Raphe Neurones and Cranial
Motoneurones.” Development. Company of Biologists, 2005. https://doi.org/10.1242/dev.01611.
ieee: W. Norton et al., “Monorail/Foxa2 regulates floorplate differentiation
and specification of oligodendrocytes, serotonergic raphe neurones and cranial
motoneurones,” Development, vol. 132, no. 4. Company of Biologists, pp.
645–658, 2005.
ista: Norton W, Mangoli M, Lele Z, Pogoda H, Diamond B, Mercurio S, Russell C, Teraoka
H, Stickney H, Rauch G, Heisenberg C-PJ, Houart C, Schilling T, Frohnhoefer H,
Rastegar S, Neumann C, Gardiner RM, Strähle U, Geisler R, Rees M, Talbot W, Wilson
S. 2005. Monorail/Foxa2 regulates floorplate differentiation and specification
of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones. Development.
132(4), 645–658.
mla: Norton, Will, et al. “Monorail/Foxa2 Regulates Floorplate Differentiation and
Specification of Oligodendrocytes, Serotonergic Raphe Neurones and Cranial Motoneurones.”
Development, vol. 132, no. 4, Company of Biologists, 2005, pp. 645–58,
doi:10.1242/dev.01611.
short: W. Norton, M. Mangoli, Z. Lele, H. Pogoda, B. Diamond, S. Mercurio, C. Russell,
H. Teraoka, H. Stickney, G. Rauch, C.-P.J. Heisenberg, C. Houart, T. Schilling,
H. Frohnhoefer, S. Rastegar, C. Neumann, R.M. Gardiner, U. Strähle, R. Geisler,
M. Rees, W. Talbot, S. Wilson, Development 132 (2005) 645–658.
date_created: 2018-12-11T12:07:21Z
date_published: 2005-02-15T00:00:00Z
date_updated: 2021-01-12T07:55:00Z
day: '15'
doi: 10.1242/dev.01611
extern: '1'
intvolume: ' 132'
issue: '4'
language:
- iso: eng
month: '02'
oa_version: None
page: 645 - 658
publication: Development
publication_status: published
publisher: Company of Biologists
publist_id: '1952'
status: public
title: Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes,
serotonergic raphe neurones and cranial motoneurones
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 132
year: '2005'
...
---
_id: '4171'
abstract:
- lang: eng
text: During vertebrate gastrulation, the three germ layers, ectoderm, mesoderm
and endoderm are formed, and the resulting progenitor cells are brought into the
positions from which they will later contribute more complex tissues and organs.
A core element in this process is the internalization of mesodermal and endodermal
progenitors at the onset of gastrulation. Although many of the molecules that
induce mesendoderm have been identified, much less is known about the cellular
mechanisms underlying mesendodermal cell internalization and germ layer formation.
Here we show that at the onset of zebrafish gastrulation, mesendodermal progenitors
in dorsal/axial regions of the germ ring internalize by single cell delamination.
Once internalized, mesendodermal progenitors upregulate ECadherin (Cadherin 1)
expression, become increasingly motile and eventually migrate along the overlying
epiblast (ectodermal) cell layer towards the animal pole of the gastrula. When
E-Cadherin function is compromised, mesendodermal progenitors still internalize,
but, with gastrulation proceeding, fail to elongate and efficiently migrate along
the epiblast, whereas epiblast cells themselves exhibit reduced radial cell intercalation
movements. This indicates that cadherin-mediated cell-cell adhesion is needed
within the forming shield for both epiblast cell intercalation, and mesendodermal
progenitor cell elongation and migration during zebrafish gastrulation. Our data
provide insight into the cellular mechanisms underlying mesendodermal progenitor
cell internalization and subsequent migration during zebrafish gastrulation, and
the role of cadherin-mediated cell-cell adhesion in these processes.
article_processing_charge: No
author:
- first_name: Juan
full_name: Montero, Juan
last_name: Montero
- first_name: Lara
full_name: Carvalho, Lara
last_name: Carvalho
- first_name: Michaela
full_name: Wilsch Bräuninger, Michaela
last_name: Wilsch Bräuninger
- first_name: Beate
full_name: Kilian, Beate
last_name: Kilian
- first_name: Chigdem
full_name: Mustafa, Chigdem
last_name: Mustafa
- 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: Montero J, Carvalho L, Wilsch Bräuninger M, Kilian B, Mustafa C, Heisenberg
C-PJ. Shield formation at the onset of zebrafish gastrulation. Development.
2005;132(6):1187-1198. doi:10.1242/dev.01667
apa: Montero, J., Carvalho, L., Wilsch Bräuninger, M., Kilian, B., Mustafa, C.,
& Heisenberg, C.-P. J. (2005). Shield formation at the onset of zebrafish
gastrulation. Development. Company of Biologists. https://doi.org/10.1242/dev.01667
chicago: Montero, Juan, Lara Carvalho, Michaela Wilsch Bräuninger, Beate Kilian,
Chigdem Mustafa, and Carl-Philipp J Heisenberg. “Shield Formation at the Onset
of Zebrafish Gastrulation.” Development. Company of Biologists, 2005. https://doi.org/10.1242/dev.01667.
ieee: J. Montero, L. Carvalho, M. Wilsch Bräuninger, B. Kilian, C. Mustafa, and
C.-P. J. Heisenberg, “Shield formation at the onset of zebrafish gastrulation,”
Development, vol. 132, no. 6. Company of Biologists, pp. 1187–1198, 2005.
ista: Montero J, Carvalho L, Wilsch Bräuninger M, Kilian B, Mustafa C, Heisenberg
C-PJ. 2005. Shield formation at the onset of zebrafish gastrulation. Development.
132(6), 1187–1198.
mla: Montero, Juan, et al. “Shield Formation at the Onset of Zebrafish Gastrulation.”
Development, vol. 132, no. 6, Company of Biologists, 2005, pp. 1187–98,
doi:10.1242/dev.01667.
short: J. Montero, L. Carvalho, M. Wilsch Bräuninger, B. Kilian, C. Mustafa, C.-P.J.
Heisenberg, Development 132 (2005) 1187–1198.
date_created: 2018-12-11T12:07:22Z
date_published: 2005-03-15T00:00:00Z
date_updated: 2021-01-12T07:55:02Z
day: '15'
doi: 10.1242/dev.01667
extern: '1'
intvolume: ' 132'
issue: '6'
language:
- iso: eng
month: '03'
oa_version: None
page: 1187 - 1198
publication: Development
publication_status: published
publisher: Company of Biologists
publist_id: '1947'
status: public
title: Shield formation at the onset of zebrafish gastrulation
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 132
year: '2005'
...
---
_id: '4183'
abstract:
- lang: eng
text: The spreading of an epithelial cell sheet over a substrate is a common process
during embryogenesis. Typical examples include epiboly during zebrafish gastrulation
and Drosophila dorsal closure. We provide evidence that in both cases, actin-based
contraction of the leading edge of the epithelium is of critical importance.
acknowledgement: Poster Abstract
article_processing_charge: No
author:
- first_name: Mathias
full_name: Köppen, Mathias
last_name: Köppen
- first_name: Beatriz
full_name: Fernández, Beatriz
last_name: Fernández
- first_name: Lara
full_name: Carvalho, Lara
last_name: Carvalho
- first_name: António
full_name: Jacinto, António
last_name: Jacinto
- 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: Köppen M, Fernández B, Carvalho L, Jacinto A, Heisenberg C-PJ. Misshapen mediates
actin-based cell contraction during zebrafish epiboly and Drosophila dorsal closure.
Mechanisms of Development. 2005;122(Supplement 1):S112-S113. doi:10.1016/j.mod.2005.06.010
apa: Köppen, M., Fernández, B., Carvalho, L., Jacinto, A., & Heisenberg, C.-P.
J. (2005). Misshapen mediates actin-based cell contraction during zebrafish epiboly
and Drosophila dorsal closure. Mechanisms of Development. Elsevier. https://doi.org/10.1016/j.mod.2005.06.010
chicago: Köppen, Mathias, Beatriz Fernández, Lara Carvalho, António Jacinto, and
Carl-Philipp J Heisenberg. “Misshapen Mediates Actin-Based Cell Contraction during
Zebrafish Epiboly and Drosophila Dorsal Closure.” Mechanisms of Development.
Elsevier, 2005. https://doi.org/10.1016/j.mod.2005.06.010.
ieee: M. Köppen, B. Fernández, L. Carvalho, A. Jacinto, and C.-P. J. Heisenberg,
“Misshapen mediates actin-based cell contraction during zebrafish epiboly and
Drosophila dorsal closure,” Mechanisms of Development, vol. 122, no. Supplement
1. Elsevier, pp. S112–S113, 2005.
ista: Köppen M, Fernández B, Carvalho L, Jacinto A, Heisenberg C-PJ. 2005. Misshapen
mediates actin-based cell contraction during zebrafish epiboly and Drosophila
dorsal closure. Mechanisms of Development. 122(Supplement 1), S112–S113.
mla: Köppen, Mathias, et al. “Misshapen Mediates Actin-Based Cell Contraction during
Zebrafish Epiboly and Drosophila Dorsal Closure.” Mechanisms of Development,
vol. 122, no. Supplement 1, Elsevier, 2005, pp. S112–13, doi:10.1016/j.mod.2005.06.010.
short: M. Köppen, B. Fernández, L. Carvalho, A. Jacinto, C.-P.J. Heisenberg, Mechanisms
of Development 122 (2005) S112–S113.
date_created: 2018-12-11T12:07:27Z
date_published: 2005-01-01T00:00:00Z
date_updated: 2021-01-12T07:55:07Z
day: '01'
doi: 10.1016/j.mod.2005.06.010
extern: '1'
intvolume: ' 122'
issue: Supplement 1
language:
- iso: eng
month: '01'
oa_version: None
page: S112 - S113
publication: Mechanisms of Development
publication_status: published
publisher: Elsevier
publist_id: '1936'
status: public
title: Misshapen mediates actin-based cell contraction during zebrafish epiboly and
Drosophila dorsal closure
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 122
year: '2005'
...
---
_id: '4249'
abstract:
- lang: eng
text: We examined causes of speciation in asexual populations in both sympatry and
parapatry, providing an alternative explanation for the speciation patterns reported
by Dieckmann and Doebeli (1999) and Doebeli and Dieckmann (2003). Both in sympatry
and parapatry, they find that speciation occurs relatively easily. We reveal that
in the sympatric clonal model, the equilibrium distribution is continuous and
the disruptive selection driving evolution of discrete clusters is only transient.
Hence, if discrete phenotypes are to remain stable in the sympatric sexual model,
there should be some source of nontransient disruptive selection that will drive
evolution of assortment. We analyze sexually reproducing populations using the
Bulmer’s infinitesimal model and show that cost-free assortment alone leads to
speciation and disruptive selection only arises when the optimal distribution
cannot be matched—in this example, because the phenotypic range is limited. In
addition, Doebeli and Dieckmann’s analyses assumed a high genetic variance and
a high mutation rate. Thus, these theoretical models do not support the conclusion
that sympatric speciation is a likely outcome of competition for resources. In
their parapatric model (Doebeli and Dieckmann 2003), clustering into distinct
phenotypes is driven by edge effects, rather than by frequency-dependent competition.
author:
- first_name: Jitka
full_name: Jitka Polechova
id: 3BBFB084-F248-11E8-B48F-1D18A9856A87
last_name: Polechova
orcid: 0000-0003-0951-3112
- first_name: Nicholas H
full_name: Nicholas Barton
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
citation:
ama: 'Polechova J, Barton NH. Speciation through competition: A critical review.
Evolution; International Journal of Organic Evolution. 2005;59(6):1194-1210.
doi:10.1111/j.0014-3820.2005.tb01771.x'
apa: 'Polechova, J., & Barton, N. H. (2005). Speciation through competition:
A critical review. Evolution; International Journal of Organic Evolution.
Wiley-Blackwell. https://doi.org/10.1111/j.0014-3820.2005.tb01771.x'
chicago: 'Polechova, Jitka, and Nicholas H Barton. “Speciation through Competition:
A Critical Review.” Evolution; International Journal of Organic Evolution.
Wiley-Blackwell, 2005. https://doi.org/10.1111/j.0014-3820.2005.tb01771.x.'
ieee: 'J. Polechova and N. H. Barton, “Speciation through competition: A critical
review,” Evolution; International Journal of Organic Evolution, vol. 59,
no. 6. Wiley-Blackwell, pp. 1194–1210, 2005.'
ista: 'Polechova J, Barton NH. 2005. Speciation through competition: A critical
review. Evolution; International Journal of Organic Evolution. 59(6), 1194–1210.'
mla: 'Polechova, Jitka, and Nicholas H. Barton. “Speciation through Competition:
A Critical Review.” Evolution; International Journal of Organic Evolution,
vol. 59, no. 6, Wiley-Blackwell, 2005, pp. 1194–210, doi:10.1111/j.0014-3820.2005.tb01771.x.'
short: J. Polechova, N.H. Barton, Evolution; International Journal of Organic Evolution
59 (2005) 1194–1210.
date_created: 2018-12-11T12:07:50Z
date_published: 2005-06-01T00:00:00Z
date_updated: 2021-01-12T07:55:36Z
day: '01'
doi: 10.1111/j.0014-3820.2005.tb01771.x
extern: 1
intvolume: ' 59'
issue: '6'
month: '06'
page: 1194 - 1210
publication: Evolution; International Journal of Organic Evolution
publication_status: published
publisher: Wiley-Blackwell
publist_id: '1849'
quality_controlled: 0
status: public
title: 'Speciation through competition: A critical review'
type: journal_article
volume: 59
year: '2005'
...
---
_id: '4251'
abstract:
- lang: eng
text: In finite populations subject to selection, genetic drift generates negative
linkage disequilibrium, on average, even if selection acts independently (i.e.
multiplicatively) upon all loci. Negative disequilibrium reduces the variance
in fitness and hence, by FISHER's Fundamental Theorem (1930), slows the rate of
increase in mean fitness. Modifiers that increase recombination eliminate the
negative disequilibria that impede selection and consequently increase in frequency
by 'hitch-hiking'. In addition, recombinant progeny are more fit on average than
non-recombinant progeny when there is negative linkage disequilibrium and loci
interact multiplicatively. For both these reasons, stochastic fluctuations in
linkage disequilibrium in finite populations favor the evolution of increased
rates of recombination, even in the absence of epistatic interactions among loci
and even when disequilibrium is initially absent. The method developed within
this paper quantifies the strength of selection on a modifier allele that increases
recombination due to stochastically generated linkage disequilibria. The analysis
indicates that, in a population subject to multiplicative selection, genetic associations
generated by drift do select for increased recombination, a result that is confirmed
by Monte Carlo simulations. Selection for a modifier that increases recombination
is highest when linkage among all loci is tight, when beneficial alleles rise
from low to high frequency, and when the population size is small.
author:
- first_name: Nicholas H
full_name: Nicholas Barton
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: Sarah
full_name: Otto, Sarah P
last_name: Otto
citation:
ama: Barton NH, Otto S. Evolution of recombination due to random drift. Genetics.
2005;169(4):2353-2370. doi:10.1534/genetics.104.032821
apa: Barton, N. H., & Otto, S. (2005). Evolution of recombination due to random
drift. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.104.032821
chicago: Barton, Nicholas H, and Sarah Otto. “Evolution of Recombination Due to
Random Drift.” Genetics. Genetics Society of America, 2005. https://doi.org/10.1534/genetics.104.032821.
ieee: N. H. Barton and S. Otto, “Evolution of recombination due to random drift,”
Genetics, vol. 169, no. 4. Genetics Society of America, pp. 2353–2370,
2005.
ista: Barton NH, Otto S. 2005. Evolution of recombination due to random drift. Genetics.
169(4), 2353–2370.
mla: Barton, Nicholas H., and Sarah Otto. “Evolution of Recombination Due to Random
Drift.” Genetics, vol. 169, no. 4, Genetics Society of America, 2005, pp.
2353–70, doi:10.1534/genetics.104.032821.
short: N.H. Barton, S. Otto, Genetics 169 (2005) 2353–2370.
date_created: 2018-12-11T12:07:51Z
date_published: 2005-03-01T00:00:00Z
date_updated: 2021-01-12T07:55:37Z
day: '01'
doi: 10.1534/genetics.104.032821
extern: 1
intvolume: ' 169'
issue: '4'
month: '03'
page: 2353 - 2370
publication: Genetics
publication_status: published
publisher: Genetics Society of America
publist_id: '1846'
quality_controlled: 0
status: public
title: Evolution of recombination due to random drift
type: journal_article
volume: 169
year: '2005'
...
---
_id: '4252'
abstract:
- lang: eng
text: Empirical studies of quantitative genetic variation have revealed robust patterns
that are observed both across traits and across species. However, these patterns
have no compelling explanation, and some of the observations even appear to be
mutually incompatible. We review and extend a major class of theoretical models,
‘mutation–selection models’, that have been proposed to explain quantitative genetic
variation. We also briefly review an alternative class of ‘balancing selection
models’. We consider to what extent the models are compatible with the general
observations, and argue that a key issue is understanding and modelling pleiotropy.
We discuss some
author:
- first_name: Toby
full_name: Johnson, Toby
last_name: Johnson
- first_name: Nicholas H
full_name: Nicholas Barton
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
citation:
ama: Johnson T, Barton NH. Theoretical models of selection and mutationon quantitative
traits. Philosophical Transactions of the Royal Society of London Series B,
Biological Sciences. 2005;360(1459):1411-1425. doi:10.1098/rstb.2005.1667
apa: Johnson, T., & Barton, N. H. (2005). Theoretical models of selection and
mutationon quantitative traits. Philosophical Transactions of the Royal Society
of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.2005.1667
chicago: Johnson, Toby, and Nicholas H Barton. “Theoretical Models of Selection
and Mutationon Quantitative Traits.” Philosophical Transactions of the Royal
Society of London. Series B, Biological Sciences. Royal Society, The, 2005.
https://doi.org/10.1098/rstb.2005.1667.
ieee: T. Johnson and N. H. Barton, “Theoretical models of selection and mutationon
quantitative traits,” Philosophical Transactions of the Royal Society of London.
Series B, Biological Sciences, vol. 360, no. 1459. Royal Society, The, pp.
1411–1425, 2005.
ista: Johnson T, Barton NH. 2005. Theoretical models of selection and mutationon
quantitative traits. Philosophical Transactions of the Royal Society of London.
Series B, Biological Sciences. 360(1459), 1411–1425.
mla: Johnson, Toby, and Nicholas H. Barton. “Theoretical Models of Selection and
Mutationon Quantitative Traits.” Philosophical Transactions of the Royal Society
of London. Series B, Biological Sciences, vol. 360, no. 1459, Royal Society,
The, 2005, pp. 1411–25, doi:10.1098/rstb.2005.1667.
short: T. Johnson, N.H. Barton, Philosophical Transactions of the Royal Society
of London. Series B, Biological Sciences 360 (2005) 1411–1425.
date_created: 2018-12-11T12:07:51Z
date_published: 2005-07-29T00:00:00Z
date_updated: 2021-01-12T07:55:38Z
day: '29'
doi: 10.1098/rstb.2005.1667
extern: 1
intvolume: ' 360'
issue: '1459'
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1569515/
month: '07'
oa: 1
page: 1411 - 1425
publication: Philosophical Transactions of the Royal Society of London. Series B,
Biological Sciences
publication_status: published
publisher: Royal Society, The
publist_id: '1847'
quality_controlled: 0
status: public
title: Theoretical models of selection and mutationon quantitative traits
type: journal_article
volume: 360
year: '2005'
...
---
_id: '4367'
alternative_title:
- LNCS 3672
author:
- first_name: Andreas
full_name: Podelski,Andreas
last_name: Podelski
- first_name: Thomas
full_name: Thomas Wies
id: 447BFB88-F248-11E8-B48F-1D18A9856A87
last_name: Wies
citation:
ama: 'Podelski A, Wies T. Boolean Heaps. In: Springer; 2005:267-282. doi:1550'
apa: 'Podelski, A., & Wies, T. (2005). Boolean Heaps (pp. 267–282). Presented
at the SAS: Static Analysis Symposium, Springer. https://doi.org/1550'
chicago: Podelski, Andreas, and Thomas Wies. “Boolean Heaps,” 267–82. Springer,
2005. https://doi.org/1550.
ieee: 'A. Podelski and T. Wies, “Boolean Heaps,” presented at the SAS: Static Analysis
Symposium, 2005, pp. 267–282.'
ista: 'Podelski A, Wies T. 2005. Boolean Heaps. SAS: Static Analysis Symposium,
LNCS 3672, , 267–282.'
mla: Podelski, Andreas, and Thomas Wies. Boolean Heaps. Springer, 2005, pp.
267–82, doi:1550.
short: A. Podelski, T. Wies, in:, Springer, 2005, pp. 267–282.
conference:
name: 'SAS: Static Analysis Symposium'
date_created: 2018-12-11T12:08:29Z
date_published: 2005-01-01T00:00:00Z
date_updated: 2021-01-12T07:56:27Z
day: '01'
doi: '1550'
extern: 1
month: '01'
page: 267 - 282
publication_status: published
publisher: Springer
publist_id: '1092'
quality_controlled: 0
status: public
title: Boolean Heaps
type: conference
year: '2005'
...
---
_id: '4404'
author:
- first_name: Rajeev
full_name: Alur, Rajeev
last_name: Alur
- first_name: Pavol
full_name: Pavol Cerny
id: 4DCBEFFE-F248-11E8-B48F-1D18A9856A87
last_name: Cerny
- first_name: P.
full_name: Madhusudan,P.
last_name: Madhusudan
- first_name: Wonhong
full_name: Nam,Wonhong
last_name: Nam
citation:
ama: 'Alur R, Cerny P, Madhusudan P, Nam W. Synthesis of interface specifications
for Java classes. In: ACM; 2005:98-109. doi:1542'
apa: 'Alur, R., Cerny, P., Madhusudan, P., & Nam, W. (2005). Synthesis of interface
specifications for Java classes (pp. 98–109). Presented at the POPL: Principles
of Programming Languages, ACM. https://doi.org/1542'
chicago: Alur, Rajeev, Pavol Cerny, P. Madhusudan, and Wonhong Nam. “Synthesis of
Interface Specifications for Java Classes,” 98–109. ACM, 2005. https://doi.org/1542.
ieee: 'R. Alur, P. Cerny, P. Madhusudan, and W. Nam, “Synthesis of interface specifications
for Java classes,” presented at the POPL: Principles of Programming Languages,
2005, pp. 98–109.'
ista: 'Alur R, Cerny P, Madhusudan P, Nam W. 2005. Synthesis of interface specifications
for Java classes. POPL: Principles of Programming Languages, 98–109.'
mla: Alur, Rajeev, et al. Synthesis of Interface Specifications for Java Classes.
ACM, 2005, pp. 98–109, doi:1542.
short: R. Alur, P. Cerny, P. Madhusudan, W. Nam, in:, ACM, 2005, pp. 98–109.
conference:
name: 'POPL: Principles of Programming Languages'
date_created: 2018-12-11T12:08:41Z
date_published: 2005-01-01T00:00:00Z
date_updated: 2021-01-12T07:56:44Z
day: '01'
doi: '1542'
extern: 1
month: '01'
page: 98 - 109
publication_status: published
publisher: ACM
publist_id: '1053'
quality_controlled: 0
status: public
title: Synthesis of interface specifications for Java classes
type: conference
year: '2005'
...
---
_id: '4412'
abstract:
- lang: eng
text: The periodic resource model for hierarchical, compositional scheduling abstracts
task groups by resource requirements. We study this model in the presence of dataflow
constraints between the tasks within a group (intragroup dependencies), and between
tasks in different groups (inter-group dependencies). We consider two natural
semantics for dataflow constraints, namely, RTW (real-time workshop) semantics
and LET (logical execution time) semantics. We show that while RTW semantics offers
better end-to-end latency on the task group level, LET semantics allows tighter
resource bounds in the abstraction hierarchy and therefore provides better composability
properties. This result holds both for intragroup and intergroup dependencies,
as well as for shared and for distributed resources.
author:
- first_name: Slobodan
full_name: Matic, Slobodan
last_name: Matic
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
ama: 'Matic S, Henzinger TA. Trading end-to-end latency for composability. In: IEEE;
2005:99-110. doi:10.1109/RTSS.2005.43'
apa: 'Matic, S., & Henzinger, T. A. (2005). Trading end-to-end latency for composability
(pp. 99–110). Presented at the RTSS: Real-Time Systems Symposium, IEEE. https://doi.org/10.1109/RTSS.2005.43'
chicago: Matic, Slobodan, and Thomas A Henzinger. “Trading End-to-End Latency for
Composability,” 99–110. IEEE, 2005. https://doi.org/10.1109/RTSS.2005.43.
ieee: 'S. Matic and T. A. Henzinger, “Trading end-to-end latency for composability,”
presented at the RTSS: Real-Time Systems Symposium, 2005, pp. 99–110.'
ista: 'Matic S, Henzinger TA. 2005. Trading end-to-end latency for composability.
RTSS: Real-Time Systems Symposium, 99–110.'
mla: Matic, Slobodan, and Thomas A. Henzinger. Trading End-to-End Latency for
Composability. IEEE, 2005, pp. 99–110, doi:10.1109/RTSS.2005.43.
short: S. Matic, T.A. Henzinger, in:, IEEE, 2005, pp. 99–110.
conference:
name: 'RTSS: Real-Time Systems Symposium'
date_created: 2018-12-11T12:08:43Z
date_published: 2005-01-01T00:00:00Z
date_updated: 2021-01-12T07:56:47Z
day: '01'
doi: 10.1109/RTSS.2005.43
extern: 1
month: '01'
page: 99 - 110
publication_status: published
publisher: IEEE
publist_id: '317'
quality_controlled: 0
status: public
title: Trading end-to-end latency for composability
type: conference
year: '2005'
...
---
_id: '4418'
abstract:
- lang: eng
text: 'We present a new software system architecture for the implementation of hard
real-time applications. The core of the system is a microkernel whose reactivity
(interrupt handling as in synchronous reactive programs) and proactivity (task
scheduling as in traditional RTOSs) are fully programmable. The microkernel, which
we implemented on a StrongARM processor, consists of two interacting domain-specific
virtual machines, a reactive E (Embedded) machine and a proactive S (Scheduling)
machine. The microkernel code (or microcode) that runs on the microkernel is partitioned
into E and S code. E code manages the interaction of the system with the physical
environment: the execution of E code is triggered by environment interrupts, which
signal external events such as the arrival of a message or sensor value, and it
releases application tasks to the S machine. S code manages the interaction of
the system with the processor: the execution of S code is triggered by hardware
interrupts, which signal internal events such as the completion of a task or time
slice, and it dispatches application tasks to the CPU, possibly preempting a running
task. This partition of the system orthogonalizes the two main concerns of real-time
implementations: E code refers to environment time and thus defines the reactivity
of the system in a hardware- and scheduler-independent fashion; S code refers
to CPU time and defines a system scheduler. If both time lines can be reconciled,
then the code is called time safe; violations of time safety are handled again
in a programmable way, by run-time exceptions. The separation of E from S code
permits the independent programming, verification, optimization, composition,
dynamic adaptation, and reuse of both reaction and scheduling mechanisms. Our
measurements show that the system overhead is very acceptable even for large sets
of task, generally in the 0.2--0.3% range.'
author:
- first_name: Christoph
full_name: Kirsch, Christoph M
last_name: Kirsch
- first_name: Marco
full_name: Sanvido, Marco A
last_name: Sanvido
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
ama: 'Kirsch C, Sanvido M, Henzinger TA. A programmable microkernel for real-time
systems. In: ACM; 2005:35-45. doi:10.1145/1064979.1064986'
apa: 'Kirsch, C., Sanvido, M., & Henzinger, T. A. (2005). A programmable microkernel
for real-time systems (pp. 35–45). Presented at the VEE: Virtual Execution Environments,
ACM. https://doi.org/10.1145/1064979.1064986'
chicago: Kirsch, Christoph, Marco Sanvido, and Thomas A Henzinger. “A Programmable
Microkernel for Real-Time Systems,” 35–45. ACM, 2005. https://doi.org/10.1145/1064979.1064986.
ieee: 'C. Kirsch, M. Sanvido, and T. A. Henzinger, “A programmable microkernel for
real-time systems,” presented at the VEE: Virtual Execution Environments, 2005,
pp. 35–45.'
ista: 'Kirsch C, Sanvido M, Henzinger TA. 2005. A programmable microkernel for real-time
systems. VEE: Virtual Execution Environments, 35–45.'
mla: Kirsch, Christoph, et al. A Programmable Microkernel for Real-Time Systems.
ACM, 2005, pp. 35–45, doi:10.1145/1064979.1064986.
short: C. Kirsch, M. Sanvido, T.A. Henzinger, in:, ACM, 2005, pp. 35–45.
conference:
name: 'VEE: Virtual Execution Environments'
date_created: 2018-12-11T12:08:45Z
date_published: 2005-01-01T00:00:00Z
date_updated: 2021-01-12T07:56:49Z
day: '01'
doi: 10.1145/1064979.1064986
extern: 1
month: '01'
page: 35 - 45
publication_status: published
publisher: ACM
publist_id: '311'
quality_controlled: 0
status: public
title: A programmable microkernel for real-time systems
type: conference
year: '2005'
...
---
_id: '4454'
abstract:
- lang: eng
text: We define five increasingly comprehensive classes of infinite-state systems,
called STS1--STS5, whose state spaces have finitary structure. For four of these
classes, we provide examples from hybrid systems.STS1 These are the systems with
finite bisimilarity quotients. They can be analyzed symbolically by iteratively
applying predecessor and Boolean operations on state sets, starting from a finite
number of observable state sets. Any such iteration is guaranteed to terminate
in that only a finite number of state sets can be generated. This enables model
checking of the μ-calculus.STS2 These are the systems with finite similarity quotients.
They can be analyzed symbolically by iterating the predecessor and positive Boolean
operations. This enables model checking of the existential and universal fragments
of the μ-calculus.STS3 These are the systems with finite trace-equivalence quotients.
They can be analyzed symbolically by iterating the predecessor operation and a
restricted form of positive Boolean operations (intersection is restricted to
intersection with observables). This enables model checking of all ω-regular properties,
including linear temporal logic.STS4 These are the systems with finite distance-equivalence
quotients (two states are equivalent if for every distance d, the same observables
can be reached in d transitions). The systems in this class can be analyzed symbolically
by iterating the predecessor operation and terminating when no new state sets
are generated. This enables model checking of the existential conjunction-free
and universal disjunction-free fragments of the μ-calculus.STS5 These are the
systems with finite bounded-reachability quotients (two states are equivalent
if for every distance d, the same observables can be reached in d or fewer transitions).
The systems in this class can be analyzed symbolically by iterating the predecessor
operation and terminating when no new states are encountered (this is a weaker
termination condition than above). This enables model checking of reachability
properties.
author:
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Ritankar
full_name: Majumdar, Ritankar S
last_name: Majumdar
- first_name: Jean
full_name: Raskin, Jean-François
last_name: Raskin
citation:
ama: Henzinger TA, Majumdar R, Raskin J. A classification of symbolic transition
systems. ACM Transactions on Computational Logic (TOCL). 2005;6(1):1-32.
doi:10.1145/1042038.1042039
apa: Henzinger, T. A., Majumdar, R., & Raskin, J. (2005). A classification of
symbolic transition systems. ACM Transactions on Computational Logic (TOCL).
ACM. https://doi.org/10.1145/1042038.1042039
chicago: Henzinger, Thomas A, Ritankar Majumdar, and Jean Raskin. “A Classification
of Symbolic Transition Systems.” ACM Transactions on Computational Logic (TOCL).
ACM, 2005. https://doi.org/10.1145/1042038.1042039.
ieee: T. A. Henzinger, R. Majumdar, and J. Raskin, “A classification of symbolic
transition systems,” ACM Transactions on Computational Logic (TOCL), vol.
6, no. 1. ACM, pp. 1–32, 2005.
ista: Henzinger TA, Majumdar R, Raskin J. 2005. A classification of symbolic transition
systems. ACM Transactions on Computational Logic (TOCL). 6(1), 1–32.
mla: Henzinger, Thomas A., et al. “A Classification of Symbolic Transition Systems.”
ACM Transactions on Computational Logic (TOCL), vol. 6, no. 1, ACM, 2005,
pp. 1–32, doi:10.1145/1042038.1042039.
short: T.A. Henzinger, R. Majumdar, J. Raskin, ACM Transactions on Computational
Logic (TOCL) 6 (2005) 1–32.
date_created: 2018-12-11T12:08:56Z
date_published: 2005-01-01T00:00:00Z
date_updated: 2021-01-12T07:57:05Z
day: '01'
doi: 10.1145/1042038.1042039
extern: 1
intvolume: ' 6'
issue: '1'
month: '01'
page: 1 - 32
publication: ACM Transactions on Computational Logic (TOCL)
publication_status: published
publisher: ACM
publist_id: '272'
quality_controlled: 0
status: public
title: A classification of symbolic transition systems
type: journal_article
volume: 6
year: '2005'
...
---
_id: '4455'
abstract:
- lang: eng
text: We define quantitative similarity functions between timed transition systems
that measure the degree of closeness of two systems as a real, in contrast to
the traditional boolean yes/no approach to timed simulation and language inclusion.
Two systems are close if for each timed trace of one system, there exists a corresponding
timed trace in the other system with the same sequence of events and closely corresponding
event timings. We show that timed CTL is robust with respect to our quantitative
version of bisimilarity, in particular, if a system satisfies a formula, then
every close system satisfies a close formula. We also define a discounted version
of CTL over timed systems, which assigns to every CTL formula a real value that
is obtained by discounting real time. We prove the robustness of discounted CTL
by establishing that close states in the bisimilarity metric have close values
for all discounted CTL formulas.
acknowledgement: This research was supported in part by the AFOSR MURI grant F49620-00-1-0327
and the NSF grants CCR-0208875, CCR-0225610, and CCR-0427202.
alternative_title:
- LNCS
author:
- first_name: Thomas A
full_name: Thomas Henzinger
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Ritankar
full_name: Majumdar, Ritankar S
last_name: Majumdar
- first_name: Vinayak
full_name: Prabhu, Vinayak S
last_name: Prabhu
citation:
ama: 'Henzinger TA, Majumdar R, Prabhu V. Quantifying similarities between timed
systems. In: Vol 3829. Springer; 2005:226-241. doi:10.1007/11603009_18'
apa: 'Henzinger, T. A., Majumdar, R., & Prabhu, V. (2005). Quantifying similarities
between timed systems (Vol. 3829, pp. 226–241). Presented at the FORMATS: Formal
Modeling and Analysis of Timed Systems, Springer. https://doi.org/10.1007/11603009_18'
chicago: Henzinger, Thomas A, Ritankar Majumdar, and Vinayak Prabhu. “Quantifying
Similarities between Timed Systems,” 3829:226–41. Springer, 2005. https://doi.org/10.1007/11603009_18.
ieee: 'T. A. Henzinger, R. Majumdar, and V. Prabhu, “Quantifying similarities between
timed systems,” presented at the FORMATS: Formal Modeling and Analysis of Timed
Systems, 2005, vol. 3829, pp. 226–241.'
ista: 'Henzinger TA, Majumdar R, Prabhu V. 2005. Quantifying similarities between
timed systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol.
3829, 226–241.'
mla: Henzinger, Thomas A., et al. Quantifying Similarities between Timed Systems.
Vol. 3829, Springer, 2005, pp. 226–41, doi:10.1007/11603009_18.
short: T.A. Henzinger, R. Majumdar, V. Prabhu, in:, Springer, 2005, pp. 226–241.
conference:
name: 'FORMATS: Formal Modeling and Analysis of Timed Systems'
date_created: 2018-12-11T12:08:56Z
date_published: 2005-12-13T00:00:00Z
date_updated: 2021-01-12T07:57:05Z
day: '13'
doi: 10.1007/11603009_18
extern: 1
intvolume: ' 3829'
month: '12'
page: 226 - 241
publication_status: published
publisher: Springer
publist_id: '273'
quality_controlled: 0
status: public
title: Quantifying similarities between timed systems
type: conference
volume: 3829
year: '2005'
...