---
_id: '50'
abstract:
- lang: eng
text: The Wnt/planar cell polarity (Wnt/PCP) pathway determines planar polarity
of epithelial cells in both vertebrates and invertebrates. The role that Wnt/PCP
signaling plays in mesenchymal contexts, however, is only poorly understood. While
previous studies have demonstrated the capacity of Wnt/PCP signaling to polarize
and guide directed migration of mesenchymal cells, it remains unclear whether
endogenous Wnt/PCP signaling performs these functions instructively, as it does
in epithelial cells. Here we developed a light-switchable version of the Wnt/PCP
receptor Frizzled 7 (Fz7) to unambiguously distinguish between an instructive
and a permissive role of Wnt/PCP signaling for the directional collective migration
of mesendoderm progenitor cells during zebrafish gastrulation. We show that prechordal
plate (ppl) cell migration is defective in maternal-zygotic fz7a and fz7b (MZ
fz7a,b) double mutant embryos, and that Fz7 functions cell-autonomously in this
process by promoting ppl cell protrusion formation and directed migration. We
further show that local activation of Fz7 can direct ppl cell migration both in
vitro and in vivo. Surprisingly, however, uniform Fz7 activation is sufficient
to fully rescue the ppl cell migration defect in MZ fz7a,b mutant embryos, indicating
that Wnt/PCP signaling functions permissively rather than instructively in directed
mesendoderm cell migration during zebrafish gastrulation.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Daniel
full_name: Capek, Daniel
id: 31C42484-F248-11E8-B48F-1D18A9856A87
last_name: Capek
orcid: 0000-0001-5199-9940
citation:
ama: Capek D. Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling
in directed mesenchymal cell migration. 2018. doi:10.15479/AT:ISTA:TH_1031
apa: Capek, D. (2018). Optogenetic Frizzled 7 reveals a permissive function of
Wnt/PCP signaling in directed mesenchymal cell migration. Institute of Science
and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH_1031
chicago: Capek, Daniel. “Optogenetic Frizzled 7 Reveals a Permissive Function of
Wnt/PCP Signaling in Directed Mesenchymal Cell Migration.” Institute of Science
and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:TH_1031.
ieee: D. Capek, “Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP
signaling in directed mesenchymal cell migration,” Institute of Science and Technology
Austria, 2018.
ista: Capek D. 2018. Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP
signaling in directed mesenchymal cell migration. Institute of Science and Technology
Austria.
mla: Capek, Daniel. Optogenetic Frizzled 7 Reveals a Permissive Function of Wnt/PCP
Signaling in Directed Mesenchymal Cell Migration. Institute of Science and
Technology Austria, 2018, doi:10.15479/AT:ISTA:TH_1031.
short: D. Capek, Optogenetic Frizzled 7 Reveals a Permissive Function of Wnt/PCP
Signaling in Directed Mesenchymal Cell Migration, Institute of Science and Technology
Austria, 2018.
date_created: 2018-12-11T11:44:21Z
date_published: 2018-06-22T00:00:00Z
date_updated: 2023-09-07T12:48:16Z
day: '22'
ddc:
- '570'
- '591'
- '596'
degree_awarded: PhD
department:
- _id: CaHe
doi: 10.15479/AT:ISTA:TH_1031
file:
- access_level: open_access
checksum: d3eca3dcacb67bffdde6e6609c31cdd0
content_type: application/pdf
creator: dernst
date_created: 2019-04-08T13:42:26Z
date_updated: 2021-02-11T11:17:17Z
embargo: 2019-06-25
file_id: '6238'
file_name: 2018_Thesis_Capek.pdf
file_size: 31576521
relation: main_file
- access_level: closed
checksum: 876deb14067e638aba65d209668bd821
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: dernst
date_created: 2019-04-08T13:42:27Z
date_updated: 2021-02-11T23:30:21Z
embargo_to: open_access
file_id: '6239'
file_name: 2018_Thesis_Capek_source.docx
file_size: 38992956
relation: source_file
file_date_updated: 2021-02-11T23:30:21Z
has_accepted_license: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: '95'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '8004'
pubrep_id: '1031'
related_material:
record:
- id: '1100'
relation: part_of_dissertation
status: public
- id: '661'
relation: part_of_dissertation
status: public
- id: '676'
relation: part_of_dissertation
status: public
status: public
supervisor:
- 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
title: Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in
directed mesenchymal cell migration
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...
---
_id: '26'
abstract:
- lang: eng
text: Expression of genes is a fundamental molecular phenotype that is subject to
evolution by different types of mutations. Both the rate and the effect of mutations
may depend on the DNA sequence context of a particular gene or a particular promoter
sequence. In this thesis I investigate the nature of this dependence using simple
genetic systems in Escherichia coli. With these systems I explore the evolution
of constitutive gene expression from random starting sequences at different loci
on the chromosome and at different locations in sequence space. First, I dissect
chromosomal neighborhood effects that underlie locus-dependent differences in
the potential of a gene under selection to become more highly expressed. Next,
I find that the effects of point mutations in promoter sequences are dependent
on sequence context, and that an existing energy matrix model performs poorly
in predicting relative expression of unrelated sequences. Finally, I show that
a substantial fraction of random sequences contain functional promoters and I
present an extended thermodynamic model that predicts promoter strength in full
sequence space. Taken together, these results provide new insights and guides
on how to integrate information on sequence context to improve our qualitative
and quantitative understanding of bacterial gene expression, with implications
for rapid evolution of drug resistance, de novo evolution of genes, and horizontal
gene transfer.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Magdalena
full_name: Steinrück, Magdalena
id: 2C023F40-F248-11E8-B48F-1D18A9856A87
last_name: Steinrück
orcid: 0000-0003-1229-9719
citation:
ama: Steinrück M. The influence of sequence context on the evolution of bacterial
gene expression. 2018. doi:10.15479/AT:ISTA:th1059
apa: Steinrück, M. (2018). The influence of sequence context on the evolution
of bacterial gene expression. Institute of Science and Technology Austria.
https://doi.org/10.15479/AT:ISTA:th1059
chicago: Steinrück, Magdalena. “The Influence of Sequence Context on the Evolution
of Bacterial Gene Expression.” Institute of Science and Technology Austria, 2018.
https://doi.org/10.15479/AT:ISTA:th1059.
ieee: M. Steinrück, “The influence of sequence context on the evolution of bacterial
gene expression,” Institute of Science and Technology Austria, 2018.
ista: Steinrück M. 2018. The influence of sequence context on the evolution of bacterial
gene expression. Institute of Science and Technology Austria.
mla: Steinrück, Magdalena. The Influence of Sequence Context on the Evolution
of Bacterial Gene Expression. Institute of Science and Technology Austria,
2018, doi:10.15479/AT:ISTA:th1059.
short: M. Steinrück, The Influence of Sequence Context on the Evolution of Bacterial
Gene Expression, Institute of Science and Technology Austria, 2018.
date_created: 2018-12-11T11:44:14Z
date_published: 2018-10-30T00:00:00Z
date_updated: 2023-09-07T12:48:43Z
day: '30'
ddc:
- '576'
- '579'
degree_awarded: PhD
department:
- _id: CaGu
doi: 10.15479/AT:ISTA:th1059
file:
- access_level: closed
checksum: 413cbce1cd1debeae3abe2a25dbc70d1
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: dernst
date_created: 2019-02-08T10:51:22Z
date_updated: 2020-07-14T12:45:43Z
embargo_to: open_access
file_id: '5941'
file_name: Thesis_Steinrueck_final.docx
file_size: 9190845
relation: source_file
- access_level: open_access
checksum: 3def8b7854c8b42d643597ce0215efac
content_type: application/pdf
creator: dernst
date_created: 2019-02-08T10:51:22Z
date_updated: 2021-02-11T11:17:14Z
embargo: 2019-11-02
file_id: '5942'
file_name: Thesis_Steinrueck_final.pdf
file_size: 7521973
relation: main_file
file_date_updated: 2021-02-11T11:17:14Z
has_accepted_license: '1'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: '109'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '8029'
pubrep_id: '1059'
related_material:
record:
- id: '704'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Calin C
full_name: Guet, Calin C
id: 47F8433E-F248-11E8-B48F-1D18A9856A87
last_name: Guet
orcid: 0000-0001-6220-2052
title: The influence of sequence context on the evolution of bacterial gene expression
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...
---
_id: '5816'
abstract:
- lang: eng
text: Solid-state qubit manipulation and read-out fidelities are reaching fault-tolerance,
but quantum error correction requires millions of physical qubits and therefore
a scalable quantum computer architecture. To solve signal-line bandwidth and fan-out
problems, microwave sources required for qubit manipulation might be embedded
close to the qubit chip, typically operating at temperatures below 4 K. Here,
we perform the first low temperature measurements of a 130 nm BiCMOS based SiGe
voltage controlled oscillator at cryogenic temperature. We determined the frequency
and output power dependence on temperature and magnetic field up to 5 T and measured
the temperature influence on its noise performance. The device maintains its full
functionality from 300 K to 4 K. The carrier frequency at 4 K increases by 3%
with respect to the carrier frequency at 300 K, and the output power at 4 K increases
by 10 dB relative to the output power at 300 K. The frequency tuning range of
approximately 20% remains unchanged between 300 K and 4 K. In an in-plane magnetic
field of 5 T, the carrier frequency shifts by only 0.02% compared to the frequency
at zero magnetic field.
article_number: '114701'
article_processing_charge: No
author:
- first_name: Arne
full_name: Hollmann, Arne
last_name: Hollmann
- first_name: Daniel
full_name: Jirovec, Daniel
id: 4C473F58-F248-11E8-B48F-1D18A9856A87
last_name: Jirovec
orcid: 0000-0002-7197-4801
- first_name: Maciej
full_name: Kucharski, Maciej
last_name: Kucharski
- first_name: Dietmar
full_name: Kissinger, Dietmar
last_name: Kissinger
- first_name: Gunter
full_name: Fischer, Gunter
last_name: Fischer
- first_name: Lars R.
full_name: Schreiber, Lars R.
last_name: Schreiber
citation:
ama: Hollmann A, Jirovec D, Kucharski M, Kissinger D, Fischer G, Schreiber LR. 30
GHz-voltage controlled oscillator operating at 4 K. Review of Scientific Instruments.
2018;89(11). doi:10.1063/1.5038258
apa: Hollmann, A., Jirovec, D., Kucharski, M., Kissinger, D., Fischer, G., &
Schreiber, L. R. (2018). 30 GHz-voltage controlled oscillator operating at 4 K.
Review of Scientific Instruments. AIP Publishing. https://doi.org/10.1063/1.5038258
chicago: Hollmann, Arne, Daniel Jirovec, Maciej Kucharski, Dietmar Kissinger, Gunter
Fischer, and Lars R. Schreiber. “30 GHz-Voltage Controlled Oscillator Operating
at 4 K.” Review of Scientific Instruments. AIP Publishing, 2018. https://doi.org/10.1063/1.5038258.
ieee: A. Hollmann, D. Jirovec, M. Kucharski, D. Kissinger, G. Fischer, and L. R.
Schreiber, “30 GHz-voltage controlled oscillator operating at 4 K,” Review
of Scientific Instruments, vol. 89, no. 11. AIP Publishing, 2018.
ista: Hollmann A, Jirovec D, Kucharski M, Kissinger D, Fischer G, Schreiber LR.
2018. 30 GHz-voltage controlled oscillator operating at 4 K. Review of Scientific
Instruments. 89(11), 114701.
mla: Hollmann, Arne, et al. “30 GHz-Voltage Controlled Oscillator Operating at 4
K.” Review of Scientific Instruments, vol. 89, no. 11, 114701, AIP Publishing,
2018, doi:10.1063/1.5038258.
short: A. Hollmann, D. Jirovec, M. Kucharski, D. Kissinger, G. Fischer, L.R. Schreiber,
Review of Scientific Instruments 89 (2018).
date_created: 2019-01-10T14:22:23Z
date_published: 2018-11-01T00:00:00Z
date_updated: 2024-03-28T23:30:27Z
day: '01'
department:
- _id: GeKa
doi: 10.1063/1.5038258
external_id:
arxiv:
- '1804.09522'
isi:
- '000451735700054'
intvolume: ' 89'
isi: 1
issue: '11'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1804.09522
month: '11'
oa: 1
oa_version: Preprint
publication: Review of Scientific Instruments
publication_identifier:
issn:
- '00346748'
publication_status: published
publisher: AIP Publishing
quality_controlled: '1'
related_material:
record:
- id: '10058'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: 30 GHz-voltage controlled oscillator operating at 4 K
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 89
year: '2018'
...
---
_id: '6263'
abstract:
- lang: eng
text: 'Antibiotic resistance can emerge spontaneously through genomic mutation and render
treatment ineffective. To counteract this process, in addition to the discovery and
description of resistance mechanisms,a deeper understanding of resistanceevolvabilityand
its determinantsis needed. To address this challenge, this thesisuncoversnew genetic
determinants of resistance evolvability using a customized robotic setup,
exploressystematic ways in which resistance evolution is perturbed due to
dose-responsecharacteristics of drugs and mutation rate differences,and mathematically investigates
the evolutionary fate of one specific type of evolvability modifier -a stress-induced
mutagenesis allele.We find severalgenes which strongly inhibit or potentiate resistance evolution. In order
to identify them, we first developedan automated high-throughput feedback-controlled
protocol whichkeeps the population size and selection pressure approximately constant
for hundreds of cultures by dynamically re-diluting the cultures and adjusting the antibiotic
concentration. We implementedthis protocol on a customized liquid handling robot and
propagated 100 different gene deletion strains of Escherichia coliin triplicate for over 100
generations in tetracycline and in chloramphenicol, and comparedtheir adaptation rates.We find a diminishing returns pattern, where initially sensitive strains adapted more
compared to less sensitive ones. Our data uncover that deletions of certain genes
which do not affect mutation rate,including efflux pump components, a chaperone and
severalstructural and regulatory genes can strongly and reproducibly alterresistance evolution.
Sequencing analysis of evolved populations indicates that epistasis with resistance
mutations is the most likelyexplanation. This work could inspire treatment strategies in
which targeted inhibitors of evolvability mechanisms will be given alongside antibiotics to
slow down resistance evolution and extend theefficacy of antibiotics.We implemented astochasticpopulation genetics model,
toverifyways in which general properties, namely, dose-response characteristics of drugs and mutation rates, influence
evolutionary dynamics. In particular, under the exposure to antibiotics with shallow dose-response curves,bacteria have narrower distributions of fitness effects of new mutations.
We show that in silicothis also leads to slower resistance evolution. We
see and confirm with experiments that increased mutation rates, apart from speeding
up evolution, also leadto high reproducibility of phenotypic adaptation in a context
of continually strong selection pressure.Knowledge of these patterns can aid in predicting the dynamics of antibiotic
resistance evolutionand adapting treatment schemes accordingly.Focusing on a previously described type of evolvability modifier
–a stress-induced mutagenesis allele –we find conditions under which it can persist in a population under
periodic selectionakin to clinical treatment. We set up a deterministic
infinite populationcontinuous time model tracking the frequencies of a mutator and resistance allele and
evaluate various treatment schemes in how well they maintain a stress-induced
mutator allele. In particular,a high diversity of stresses is crucial for the persistence
of the mutator allele. This leads to a general trade-off where exactly those
diversifying treatment schemes which are likely to decrease levels of resistance could lead to stronger selection of highly
evolvable genotypes.In the long run, this work will lead to a deeper understanding of the genetic and cellular
mechanisms involved in antibiotic resistance evolution and could inspire new strategies
for slowing down its rate. '
acknowledged_ssus:
- _id: M-Shop
- _id: LifeSc
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Marta
full_name: Lukacisinova, Marta
id: 4342E402-F248-11E8-B48F-1D18A9856A87
last_name: Lukacisinova
orcid: 0000-0002-2519-8004
citation:
ama: Lukacisinova M. Genetic determinants of antibiotic resistance evolution. 2018.
doi:10.15479/AT:ISTA:th1072
apa: Lukacisinova, M. (2018). Genetic determinants of antibiotic resistance evolution.
Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th1072
chicago: Lukacisinova, Marta. “Genetic Determinants of Antibiotic Resistance Evolution.”
Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:th1072.
ieee: M. Lukacisinova, “Genetic determinants of antibiotic resistance evolution,”
Institute of Science and Technology Austria, 2018.
ista: Lukacisinova M. 2018. Genetic determinants of antibiotic resistance evolution.
Institute of Science and Technology Austria.
mla: Lukacisinova, Marta. Genetic Determinants of Antibiotic Resistance Evolution.
Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:th1072.
short: M. Lukacisinova, Genetic Determinants of Antibiotic Resistance Evolution,
Institute of Science and Technology Austria, 2018.
date_created: 2019-04-09T13:57:15Z
date_published: 2018-12-28T00:00:00Z
date_updated: 2023-09-22T09:20:37Z
day: '28'
ddc:
- '570'
- '576'
- '579'
degree_awarded: PhD
department:
- _id: ToBo
doi: 10.15479/AT:ISTA:th1072
file:
- access_level: open_access
checksum: fc60585c9eaad868ac007004ef130908
content_type: application/pdf
creator: dernst
date_created: 2019-04-09T13:49:24Z
date_updated: 2021-02-11T11:17:17Z
embargo: 2020-01-25
file_id: '6264'
file_name: 2018_Thesis_Lukacisinova.pdf
file_size: 5656866
relation: main_file
- access_level: closed
checksum: 264057ec0a92ab348cc83b41f021ba92
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: dernst
date_created: 2019-04-09T13:49:23Z
date_updated: 2020-07-14T12:47:25Z
embargo_to: open_access
file_id: '6265'
file_name: 2018_Thesis_Lukacisinova_source.docx
file_size: 5168054
relation: source_file
file_date_updated: 2021-02-11T11:17:17Z
has_accepted_license: '1'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: '91'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '1619'
relation: part_of_dissertation
status: public
- id: '696'
relation: part_of_dissertation
status: public
- id: '1027'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Tobias
full_name: Bollenbach, Tobias
id: 3E6DB97A-F248-11E8-B48F-1D18A9856A87
last_name: Bollenbach
orcid: 0000-0003-4398-476X
title: Genetic determinants of antibiotic resistance evolution
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...
---
_id: '544'
abstract:
- lang: eng
text: Drosophila melanogaster plasmatocytes, the phagocytic cells among hemocytes,
are essential for immune responses, but also play key roles from early development
to death through their interactions with other cell types. They regulate homeostasis
and signaling during development, stem cell proliferation, metabolism, cancer,
wound responses and aging, displaying intriguing molecular and functional conservation
with vertebrate macrophages. Given the relative ease of genetics in Drosophila
compared to vertebrates, tools permitting visualization and genetic manipulation
of plasmatocytes and surrounding tissues independently at all stages would greatly
aid in fully understanding these processes, but are lacking. Here we describe
a comprehensive set of transgenic lines that allow this. These include extremely
brightly fluorescing mCherry-based lines that allow GAL4-independent visualization
of plasmatocyte nuclei, cytoplasm or actin cytoskeleton from embryonic Stage 8
through adulthood in both live and fixed samples even as heterozygotes, greatly
facilitating screening. These lines allow live visualization and tracking of embryonic
plasmatocytes, as well as larval plasmatocytes residing at the body wall or flowing
with the surrounding hemolymph. With confocal imaging, interactions of plasmatocytes
and inner tissues can be seen in live or fixed embryos, larvae and adults. They
permit efficient GAL4-independent FACS analysis/sorting of plasmatocytes throughout
life. To facilitate genetic analysis of reciprocal signaling, we have also made
a plasmatocyte-expressing QF2 line that in combination with extant GAL4 drivers
allows independent genetic manipulation of both plasmatocytes and surrounding
tissues, and a GAL80 line that blocks GAL4 drivers from affecting plasmatocytes,
both of which function from the early embryo to the adult.
acknowledged_ssus:
- _id: LifeSc
acknowledgement: ' A. Ratheesh also by Marie Curie IIF GA-2012-32950BB:DICJI, Marko
Roblek by the provincial government of Lower Austria, K. Valoskova and S. Wachner
by DOC Fellowships from the Austrian Academy of Sciences, '
article_processing_charge: No
author:
- first_name: Attila
full_name: György, Attila
id: 3BCEDBE0-F248-11E8-B48F-1D18A9856A87
last_name: György
orcid: 0000-0002-1819-198X
- first_name: Marko
full_name: Roblek, Marko
id: 3047D808-F248-11E8-B48F-1D18A9856A87
last_name: Roblek
orcid: 0000-0001-9588-1389
- first_name: Aparna
full_name: Ratheesh, Aparna
id: 2F064CFE-F248-11E8-B48F-1D18A9856A87
last_name: Ratheesh
orcid: 0000-0001-7190-0776
- first_name: Katarina
full_name: Valosková, Katarina
id: 46F146FC-F248-11E8-B48F-1D18A9856A87
last_name: Valosková
- first_name: Vera
full_name: Belyaeva, Vera
id: 47F080FE-F248-11E8-B48F-1D18A9856A87
last_name: Belyaeva
- first_name: Stephanie
full_name: Wachner, Stephanie
id: 2A95E7B0-F248-11E8-B48F-1D18A9856A87
last_name: Wachner
- first_name: Yutaka
full_name: Matsubayashi, Yutaka
last_name: Matsubayashi
- first_name: Besaiz
full_name: Sanchez Sanchez, Besaiz
last_name: Sanchez Sanchez
- first_name: Brian
full_name: Stramer, Brian
last_name: Stramer
- first_name: Daria E
full_name: Siekhaus, Daria E
id: 3D224B9E-F248-11E8-B48F-1D18A9856A87
last_name: Siekhaus
orcid: 0000-0001-8323-8353
citation:
ama: 'György A, Roblek M, Ratheesh A, et al. Tools allowing independent visualization
and genetic manipulation of Drosophila melanogaster macrophages and surrounding
tissues. G3: Genes, Genomes, Genetics. 2018;8(3):845-857. doi:10.1534/g3.117.300452'
apa: 'György, A., Roblek, M., Ratheesh, A., Valosková, K., Belyaeva, V., Wachner,
S., … Siekhaus, D. E. (2018). Tools allowing independent visualization and genetic
manipulation of Drosophila melanogaster macrophages and surrounding tissues. G3:
Genes, Genomes, Genetics. Genetics Society of America. https://doi.org/10.1534/g3.117.300452'
chicago: 'György, Attila, Marko Roblek, Aparna Ratheesh, Katarina Valosková, Vera
Belyaeva, Stephanie Wachner, Yutaka Matsubayashi, Besaiz Sanchez Sanchez, Brian
Stramer, and Daria E Siekhaus. “Tools Allowing Independent Visualization and Genetic
Manipulation of Drosophila Melanogaster Macrophages and Surrounding Tissues.”
G3: Genes, Genomes, Genetics. Genetics Society of America, 2018. https://doi.org/10.1534/g3.117.300452.'
ieee: 'A. György et al., “Tools allowing independent visualization and genetic
manipulation of Drosophila melanogaster macrophages and surrounding tissues,”
G3: Genes, Genomes, Genetics, vol. 8, no. 3. Genetics Society of America,
pp. 845–857, 2018.'
ista: 'György A, Roblek M, Ratheesh A, Valosková K, Belyaeva V, Wachner S, Matsubayashi
Y, Sanchez Sanchez B, Stramer B, Siekhaus DE. 2018. Tools allowing independent
visualization and genetic manipulation of Drosophila melanogaster macrophages
and surrounding tissues. G3: Genes, Genomes, Genetics. 8(3), 845–857.'
mla: 'György, Attila, et al. “Tools Allowing Independent Visualization and Genetic
Manipulation of Drosophila Melanogaster Macrophages and Surrounding Tissues.”
G3: Genes, Genomes, Genetics, vol. 8, no. 3, Genetics Society of America,
2018, pp. 845–57, doi:10.1534/g3.117.300452.'
short: 'A. György, M. Roblek, A. Ratheesh, K. Valosková, V. Belyaeva, S. Wachner,
Y. Matsubayashi, B. Sanchez Sanchez, B. Stramer, D.E. Siekhaus, G3: Genes, Genomes,
Genetics 8 (2018) 845–857.'
date_created: 2018-12-11T11:47:05Z
date_published: 2018-03-01T00:00:00Z
date_updated: 2024-03-28T23:30:30Z
day: '01'
ddc:
- '570'
department:
- _id: DaSi
doi: 10.1534/g3.117.300452
ec_funded: 1
external_id:
isi:
- '000426693300011'
file:
- access_level: open_access
checksum: 7d9d28b915159078a4ca7add568010e8
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:48Z
date_updated: 2020-07-14T12:46:56Z
file_id: '4905'
file_name: IST-2018-990-v1+1_2018_Gyoergy_Tools_allowing.pdf
file_size: 2251222
relation: main_file
file_date_updated: 2020-07-14T12:46:56Z
has_accepted_license: '1'
intvolume: ' 8'
isi: 1
issue: '3'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '03'
oa: 1
oa_version: Published Version
page: 845 - 857
project:
- _id: 253B6E48-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P29638
name: Drosophila TNFa´s Funktion in Immunzellen
- _id: 253B6E48-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P29638
name: The role of Drosophila TNF alpha in immune cell invasion
- _id: 2637E9C0-B435-11E9-9278-68D0E5697425
grant_number: 'LSC16-021 '
name: Investigating the role of the novel major superfamily facilitator transporter
family member MFSD1 in metastasis
- _id: 2536F660-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '334077'
name: Investigating the role of transporters in invasive migration through junctions
publication: 'G3: Genes, Genomes, Genetics'
publication_status: published
publisher: Genetics Society of America
publist_id: '7271'
pubrep_id: '990'
quality_controlled: '1'
related_material:
record:
- id: '6530'
relation: research_paper
- id: '6543'
relation: research_paper
- id: '11193'
relation: dissertation_contains
status: public
- id: '6546'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Tools allowing independent visualization and genetic manipulation of Drosophila
melanogaster macrophages and surrounding tissues
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 8
year: '2018'
...
---
_id: '612'
abstract:
- lang: eng
text: Metabotropic GABAB receptors mediate slow inhibitory effects presynaptically
and postsynaptically through the modulation of different effector signalling pathways.
Here, we analysed the distribution of GABAB receptors using highly sensitive SDS-digested
freeze-fracture replica labelling in mouse cerebellar Purkinje cells. Immunoreactivity
for GABAB1 was observed on presynaptic and, more abundantly, on postsynaptic compartments,
showing both scattered and clustered distribution patterns. Quantitative analysis
of immunoparticles revealed a somato-dendritic gradient, with the density of immunoparticles
increasing 26-fold from somata to dendritic spines. To understand the spatial
relationship of GABAB receptors with two key effector ion channels, the G protein-gated
inwardly rectifying K+ (GIRK/Kir3) channel and the voltage-dependent Ca2+ channel,
biochemical and immunohistochemical approaches were performed. Co-immunoprecipitation
analysis demonstrated that GABAB receptors co-assembled with GIRK and CaV2.1 channels
in the cerebellum. Using double-labelling immunoelectron microscopic techniques,
co-clustering between GABAB1 and GIRK2 was detected in dendritic spines, whereas
they were mainly segregated in the dendritic shafts. In contrast, co-clustering
of GABAB1 and CaV2.1 was detected in dendritic shafts but not spines. Presynaptically,
although no significant co-clustering of GABAB1 and GIRK2 or CaV2.1 channels was
detected, inter-cluster distance for GABAB1 and GIRK2 was significantly smaller
in the active zone than in the dendritic shafts, and that for GABAB1 and CaV2.1
was significantly smaller in the active zone than in the dendritic shafts and
spines. Thus, GABAB receptors are associated with GIRK and CaV2.1 channels in
different subcellular compartments. These data provide a better framework for
understanding the different roles played by GABAB receptors and their effector
ion channels in the cerebellar network.
article_processing_charge: No
article_type: original
author:
- first_name: Rafael
full_name: Luján, Rafael
last_name: Luján
- first_name: Carolina
full_name: Aguado, Carolina
last_name: Aguado
- first_name: Francisco
full_name: Ciruela, Francisco
last_name: Ciruela
- first_name: Javier
full_name: Cózar, Javier
last_name: Cózar
- first_name: David
full_name: Kleindienst, David
id: 42E121A4-F248-11E8-B48F-1D18A9856A87
last_name: Kleindienst
- first_name: Luis
full_name: De La Ossa, Luis
last_name: De La Ossa
- first_name: Bernhard
full_name: Bettler, Bernhard
last_name: Bettler
- first_name: Kevin
full_name: Wickman, Kevin
last_name: Wickman
- first_name: Masahiko
full_name: Watanabe, Masahiko
last_name: Watanabe
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Yugo
full_name: Fukazawa, Yugo
last_name: Fukazawa
citation:
ama: Luján R, Aguado C, Ciruela F, et al. Differential association of GABAB receptors
with their effector ion channels in Purkinje cells. Brain Structure and Function.
2018;223(3):1565-1587. doi:10.1007/s00429-017-1568-y
apa: Luján, R., Aguado, C., Ciruela, F., Cózar, J., Kleindienst, D., De La Ossa,
L., … Fukazawa, Y. (2018). Differential association of GABAB receptors with their
effector ion channels in Purkinje cells. Brain Structure and Function.
Springer. https://doi.org/10.1007/s00429-017-1568-y
chicago: Luján, Rafael, Carolina Aguado, Francisco Ciruela, Javier Cózar, David
Kleindienst, Luis De La Ossa, Bernhard Bettler, et al. “Differential Association
of GABAB Receptors with Their Effector Ion Channels in Purkinje Cells.” Brain
Structure and Function. Springer, 2018. https://doi.org/10.1007/s00429-017-1568-y.
ieee: R. Luján et al., “Differential association of GABAB receptors with
their effector ion channels in Purkinje cells,” Brain Structure and Function,
vol. 223, no. 3. Springer, pp. 1565–1587, 2018.
ista: Luján R, Aguado C, Ciruela F, Cózar J, Kleindienst D, De La Ossa L, Bettler
B, Wickman K, Watanabe M, Shigemoto R, Fukazawa Y. 2018. Differential association
of GABAB receptors with their effector ion channels in Purkinje cells. Brain Structure
and Function. 223(3), 1565–1587.
mla: Luján, Rafael, et al. “Differential Association of GABAB Receptors with Their
Effector Ion Channels in Purkinje Cells.” Brain Structure and Function,
vol. 223, no. 3, Springer, 2018, pp. 1565–87, doi:10.1007/s00429-017-1568-y.
short: R. Luján, C. Aguado, F. Ciruela, J. Cózar, D. Kleindienst, L. De La Ossa,
B. Bettler, K. Wickman, M. Watanabe, R. Shigemoto, Y. Fukazawa, Brain Structure
and Function 223 (2018) 1565–1587.
date_created: 2018-12-11T11:47:29Z
date_published: 2018-04-01T00:00:00Z
date_updated: 2024-03-28T23:30:31Z
day: '01'
ddc:
- '571'
department:
- _id: RySh
doi: 10.1007/s00429-017-1568-y
ec_funded: 1
external_id:
isi:
- '000428419500030'
file:
- access_level: open_access
checksum: a55b3103476ecb5f4f983d8801807e8b
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:15:36Z
date_updated: 2020-07-14T12:47:20Z
file_id: '5157'
file_name: IST-2018-1013-v1+1_2018_Kleindienst_Differential.pdf
file_size: 5542926
relation: main_file
file_date_updated: 2020-07-14T12:47:20Z
has_accepted_license: '1'
intvolume: ' 223'
isi: 1
issue: '3'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 1565 - 1587
project:
- _id: 25CBA828-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '720270'
name: Human Brain Project Specific Grant Agreement 1 (HBP SGA 1)
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Brain Structure and Function
publication_status: published
publisher: Springer
publist_id: '7192'
pubrep_id: '1013'
quality_controlled: '1'
related_material:
record:
- id: '9562'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Differential association of GABAB receptors with their effector ion channels
in Purkinje cells
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 223
year: '2018'
...
---
_id: '21'
abstract:
- lang: eng
text: Parvalbumin-positive (PV+) GABAergic interneurons in hippocampal microcircuits
are thought to play a key role in several higher network functions, such as feedforward
and feedback inhibition, network oscillations, and pattern separation. Fast lateral
inhibition mediated by GABAergic interneurons may implement a winner-takes-all
mechanism in the hippocampal input layer. However, it is not clear whether the
functional connectivity rules of granule cells (GCs) and interneurons in the dentate
gyrus are consistent with such a mechanism. Using simultaneous patch-clamp recordings
from up to seven GCs and up to four PV+ interneurons in the dentate gyrus, we
find that connectivity is structured in space, synapse-specific, and enriched
in specific disynaptic motifs. In contrast to the neocortex, lateral inhibition
in the dentate gyrus (in which a GC inhibits neighboring GCs via a PV+ interneuron)
is ~ 10-times more abundant than recurrent inhibition (in which a GC inhibits
itself). Thus, unique connectivity rules may enable the dentate gyrus to perform
specific higher-order computations
acknowledgement: This project received funding from the European Research Council
(ERC) under the European Union’s Horizon 2020 research and innovation programme
(grant agreement No 692692) and the Fond zur Förderung der Wissenschaftlichen Forschung
(Z 312-B27, Wittgenstein award), both to P.J..
article_number: '4605'
article_processing_charge: No
article_type: original
author:
- first_name: 'Claudia '
full_name: 'Espinoza Martinez, Claudia '
id: 31FFEE2E-F248-11E8-B48F-1D18A9856A87
last_name: Espinoza Martinez
orcid: 0000-0003-4710-2082
- first_name: José
full_name: Guzmán, José
id: 30CC5506-F248-11E8-B48F-1D18A9856A87
last_name: Guzmán
orcid: 0000-0003-2209-5242
- first_name: Xiaomin
full_name: Zhang, Xiaomin
id: 423EC9C2-F248-11E8-B48F-1D18A9856A87
last_name: Zhang
- first_name: Peter M
full_name: Jonas, Peter M
id: 353C1B58-F248-11E8-B48F-1D18A9856A87
last_name: Jonas
orcid: 0000-0001-5001-4804
citation:
ama: Espinoza Martinez C, Guzmán J, Zhang X, Jonas PM. Parvalbumin+ interneurons
obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit
in dentate gyrus. Nature Communications. 2018;9(1). doi:10.1038/s41467-018-06899-3
apa: Espinoza Martinez, C., Guzmán, J., Zhang, X., & Jonas, P. M. (2018). Parvalbumin+
interneurons obey unique connectivity rules and establish a powerful lateral-inhibition
microcircuit in dentate gyrus. Nature Communications. Nature Publishing
Group. https://doi.org/10.1038/s41467-018-06899-3
chicago: Espinoza Martinez, Claudia , José Guzmán, Xiaomin Zhang, and Peter M Jonas.
“Parvalbumin+ Interneurons Obey Unique Connectivity Rules and Establish a Powerful
Lateral-Inhibition Microcircuit in Dentate Gyrus.” Nature Communications.
Nature Publishing Group, 2018. https://doi.org/10.1038/s41467-018-06899-3.
ieee: C. Espinoza Martinez, J. Guzmán, X. Zhang, and P. M. Jonas, “Parvalbumin+
interneurons obey unique connectivity rules and establish a powerful lateral-inhibition
microcircuit in dentate gyrus,” Nature Communications, vol. 9, no. 1. Nature
Publishing Group, 2018.
ista: Espinoza Martinez C, Guzmán J, Zhang X, Jonas PM. 2018. Parvalbumin+ interneurons
obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit
in dentate gyrus. Nature Communications. 9(1), 4605.
mla: Espinoza Martinez, Claudia, et al. “Parvalbumin+ Interneurons Obey Unique Connectivity
Rules and Establish a Powerful Lateral-Inhibition Microcircuit in Dentate Gyrus.”
Nature Communications, vol. 9, no. 1, 4605, Nature Publishing Group, 2018,
doi:10.1038/s41467-018-06899-3.
short: C. Espinoza Martinez, J. Guzmán, X. Zhang, P.M. Jonas, Nature Communications
9 (2018).
date_created: 2018-12-11T11:44:12Z
date_published: 2018-11-02T00:00:00Z
date_updated: 2024-03-28T23:30:31Z
day: '02'
ddc:
- '570'
department:
- _id: PeJo
doi: 10.1038/s41467-018-06899-3
ec_funded: 1
external_id:
isi:
- '000449069700009'
file:
- access_level: open_access
checksum: 9fe2a63bd95a5067d896c087d07998f3
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T15:41:57Z
date_updated: 2020-07-14T12:45:28Z
file_id: '5715'
file_name: 2018_NatureComm_Espinoza.pdf
file_size: 4651930
relation: main_file
file_date_updated: 2020-07-14T12:45:28Z
has_accepted_license: '1'
intvolume: ' 9'
isi: 1
issue: '1'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
project:
- _id: 25B7EB9E-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '692692'
name: Biophysics and circuit function of a giant cortical glumatergic synapse
- _id: 25C5A090-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z00312
name: The Wittgenstein Prize
publication: Nature Communications
publication_status: published
publisher: Nature Publishing Group
publist_id: '8034'
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/lateral-inhibition-keeps-similar-memories-apart/
record:
- id: '6363'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful
lateral-inhibition microcircuit in dentate gyrus
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 9
year: '2018'
...
---
_id: '66'
abstract:
- lang: eng
text: 'Crypto-currencies are digital assets designed to work as a medium of exchange,
e.g., Bitcoin, but they are susceptible to attacks (dishonest behavior of participants).
A framework for the analysis of attacks in crypto-currencies requires (a) modeling
of game-theoretic aspects to analyze incentives for deviation from honest behavior;
(b) concurrent interactions between participants; and (c) analysis of long-term
monetary gains. Traditional game-theoretic approaches for the analysis of security
protocols consider either qualitative temporal properties such as safety and termination,
or the very special class of one-shot (stateless) games. However, to analyze general
attacks on protocols for crypto-currencies, both stateful analysis and quantitative
objectives are necessary. In this work our main contributions are as follows:
(a) we show how a class of concurrent mean-payo games, namely ergodic games, can
model various attacks that arise naturally in crypto-currencies; (b) we present
the first practical implementation of algorithms for ergodic games that scales
to model realistic problems for crypto-currencies; and (c) we present experimental
results showing that our framework can handle games with thousands of states and
millions of transitions.'
alternative_title:
- LIPIcs
article_number: '11'
article_processing_charge: No
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Amir
full_name: Goharshady, Amir
id: 391365CE-F248-11E8-B48F-1D18A9856A87
last_name: Goharshady
orcid: 0000-0003-1702-6584
- first_name: Rasmus
full_name: Ibsen-Jensen, Rasmus
id: 3B699956-F248-11E8-B48F-1D18A9856A87
last_name: Ibsen-Jensen
orcid: 0000-0003-4783-0389
- first_name: Yaron
full_name: Velner, Yaron
last_name: Velner
citation:
ama: 'Chatterjee K, Goharshady AK, Ibsen-Jensen R, Velner Y. Ergodic mean-payoff
games for the analysis of attacks in crypto-currencies. In: Vol 118. Schloss Dagstuhl
- Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPIcs.CONCUR.2018.11'
apa: 'Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Velner, Y. (2018).
Ergodic mean-payoff games for the analysis of attacks in crypto-currencies (Vol.
118). Presented at the CONCUR: Conference on Concurrency Theory, Beijing, China:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2018.11'
chicago: Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen,
and Yaron Velner. “Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies,”
Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. https://doi.org/10.4230/LIPIcs.CONCUR.2018.11.
ieee: 'K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and Y. Velner, “Ergodic
mean-payoff games for the analysis of attacks in crypto-currencies,” presented
at the CONCUR: Conference on Concurrency Theory, Beijing, China, 2018, vol. 118.'
ista: 'Chatterjee K, Goharshady AK, Ibsen-Jensen R, Velner Y. 2018. Ergodic mean-payoff
games for the analysis of attacks in crypto-currencies. CONCUR: Conference on
Concurrency Theory, LIPIcs, vol. 118, 11.'
mla: Chatterjee, Krishnendu, et al. Ergodic Mean-Payoff Games for the Analysis
of Attacks in Crypto-Currencies. Vol. 118, 11, Schloss Dagstuhl - Leibniz-Zentrum
für Informatik, 2018, doi:10.4230/LIPIcs.CONCUR.2018.11.
short: K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, Y. Velner, in:, Schloss
Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
conference:
end_date: 2018-09-07
location: Beijing, China
name: 'CONCUR: Conference on Concurrency Theory'
start_date: 2018-09-04
date_created: 2018-12-11T11:44:27Z
date_published: 2018-09-01T00:00:00Z
date_updated: 2024-03-28T23:30:34Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.4230/LIPIcs.CONCUR.2018.11
ec_funded: 1
external_id:
arxiv:
- '1806.03108'
file:
- access_level: open_access
checksum: 68a055b1aaa241cc38375083cf832a7d
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T12:08:00Z
date_updated: 2020-07-14T12:47:34Z
file_id: '5696'
file_name: 2018_CONCUR_Chatterjee.pdf
file_size: 1078309
relation: main_file
file_date_updated: 2020-07-14T12:47:34Z
has_accepted_license: '1'
intvolume: ' 118'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
project:
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 266EEEC0-B435-11E9-9278-68D0E5697425
name: Quantitative Game-theoretic Analysis of Blockchain Applications and Smart
Contracts
publication_identifier:
isbn:
- 978-3-95977-087-3
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '7988'
quality_controlled: '1'
related_material:
record:
- id: '8934'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Ergodic mean-payoff games for the analysis of attacks in crypto-currencies
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 118
year: '2018'
...
---
_id: '311'
abstract:
- lang: eng
text: 'Smart contracts are computer programs that are executed by a network of mutually
distrusting agents, without the need of an external trusted authority. Smart contracts
handle and transfer assets of considerable value (in the form of crypto-currency
like Bitcoin). Hence, it is crucial that their implementation is bug-free. We
identify the utility (or expected payoff) of interacting with such smart contracts
as the basic and canonical quantitative property for such contracts. We present
a framework for such quantitative analysis of smart contracts. Such a formal framework
poses new and novel research challenges in programming languages, as it requires
modeling of game-theoretic aspects to analyze incentives for deviation from honest
behavior and modeling utilities which are not specified as standard temporal properties
such as safety and termination. While game-theoretic incentives have been analyzed
in the security community, their analysis has been restricted to the very special
case of stateless games. However, to analyze smart contracts, stateful analysis
is required as it must account for the different program states of the protocol.
Our main contributions are as follows: we present (i)~a simplified programming
language for smart contracts; (ii)~an automatic translation of the programs to
state-based games; (iii)~an abstraction-refinement approach to solve such games;
and (iv)~experimental results on real-world-inspired smart contracts.'
acknowledgement: 'The research was partially supported by Vienna Science and Technology
Fund (WWTF) Project ICT15-003, Austrian Science Fund (FWF) NFN Grant No S11407-N23
(RiSE/SHiNE), and ERC Starting grant (279307: Graph Games).'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Amir
full_name: Goharshady, Amir
id: 391365CE-F248-11E8-B48F-1D18A9856A87
last_name: Goharshady
orcid: 0000-0003-1702-6584
- first_name: Yaron
full_name: Velner, Yaron
last_name: Velner
citation:
ama: 'Chatterjee K, Goharshady AK, Velner Y. Quantitative analysis of smart contracts.
In: Vol 10801. Springer; 2018:739-767. doi:10.1007/978-3-319-89884-1_26'
apa: 'Chatterjee, K., Goharshady, A. K., & Velner, Y. (2018). Quantitative analysis
of smart contracts (Vol. 10801, pp. 739–767). Presented at the ESOP: European
Symposium on Programming, Thessaloniki, Greece: Springer. https://doi.org/10.1007/978-3-319-89884-1_26'
chicago: Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Yaron Velner. “Quantitative
Analysis of Smart Contracts,” 10801:739–67. Springer, 2018. https://doi.org/10.1007/978-3-319-89884-1_26.
ieee: 'K. Chatterjee, A. K. Goharshady, and Y. Velner, “Quantitative analysis of
smart contracts,” presented at the ESOP: European Symposium on Programming, Thessaloniki,
Greece, 2018, vol. 10801, pp. 739–767.'
ista: 'Chatterjee K, Goharshady AK, Velner Y. 2018. Quantitative analysis of smart
contracts. ESOP: European Symposium on Programming, LNCS, vol. 10801, 739–767.'
mla: Chatterjee, Krishnendu, et al. Quantitative Analysis of Smart Contracts.
Vol. 10801, Springer, 2018, pp. 739–67, doi:10.1007/978-3-319-89884-1_26.
short: K. Chatterjee, A.K. Goharshady, Y. Velner, in:, Springer, 2018, pp. 739–767.
conference:
end_date: 2018-04-19
location: Thessaloniki, Greece
name: 'ESOP: European Symposium on Programming'
start_date: 2018-04-16
date_created: 2018-12-11T11:45:45Z
date_published: 2018-04-01T00:00:00Z
date_updated: 2024-03-28T23:30:33Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-319-89884-1_26
ec_funded: 1
file:
- access_level: open_access
checksum: 9c8a8338c571903b599b6ca93abd2cce
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T15:45:49Z
date_updated: 2020-07-14T12:46:00Z
file_id: '5716'
file_name: 2018_ESOP_Chatterjee.pdf
file_size: 1394993
relation: main_file
file_date_updated: 2020-07-14T12:46:00Z
has_accepted_license: '1'
intvolume: ' 10801'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 739 - 767
project:
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
publication_status: published
publisher: Springer
publist_id: '7554'
quality_controlled: '1'
related_material:
record:
- id: '8934'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Quantitative analysis of smart contracts
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10801
year: '2018'
...
---
_id: '6340'
abstract:
- lang: eng
text: We present a secure approach for maintaining andreporting credit history records on the Blockchain. Our ap-proach removes third-parties such as credit reporting agen-cies from the lending process and replaces them with smartcontracts. This allows customers to interact directly with thelenders or banks while ensuring the integrity, unmalleabilityand privacy of their credit data. Additionally, each customerhas full control over complete or selective disclosure of hercredit
records, eliminating the risk of privacy violations or databreaches. Moreover,
our approach provides strong guaranteesfor the lenders as well. A lender can check
both correctness andcompleteness of the credit data disclosed to her. This is
the firstapproach that can perform all credit reporting tasks withouta central authority or changing the financial mechanisms*.
article_processing_charge: No
author:
- first_name: Amir Kafshdar
full_name: Goharshady, Amir Kafshdar
id: 391365CE-F248-11E8-B48F-1D18A9856A87
last_name: Goharshady
orcid: 0000-0003-1702-6584
- first_name: Ali
full_name: Behrouz, Ali
last_name: Behrouz
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
citation:
ama: 'Goharshady AK, Behrouz A, Chatterjee K. Secure Credit Reporting on the Blockchain.
In: Proceedings of the IEEE International Conference on Blockchain. IEEE;
2018:1343-1348. doi:10.1109/Cybermatics_2018.2018.00231'
apa: 'Goharshady, A. K., Behrouz, A., & Chatterjee, K. (2018). Secure Credit
Reporting on the Blockchain. In Proceedings of the IEEE International Conference
on Blockchain (pp. 1343–1348). Halifax, Canada: IEEE. https://doi.org/10.1109/Cybermatics_2018.2018.00231'
chicago: Goharshady, Amir Kafshdar, Ali Behrouz, and Krishnendu Chatterjee. “Secure
Credit Reporting on the Blockchain.” In Proceedings of the IEEE International
Conference on Blockchain, 1343–48. IEEE, 2018. https://doi.org/10.1109/Cybermatics_2018.2018.00231.
ieee: A. K. Goharshady, A. Behrouz, and K. Chatterjee, “Secure Credit Reporting
on the Blockchain,” in Proceedings of the IEEE International Conference on
Blockchain, Halifax, Canada, 2018, pp. 1343–1348.
ista: Goharshady AK, Behrouz A, Chatterjee K. 2018. Secure Credit Reporting on the
Blockchain. Proceedings of the IEEE International Conference on Blockchain. IEEE
International Conference on Blockchain, 1343–1348.
mla: Goharshady, Amir Kafshdar, et al. “Secure Credit Reporting on the Blockchain.”
Proceedings of the IEEE International Conference on Blockchain, IEEE, 2018,
pp. 1343–48, doi:10.1109/Cybermatics_2018.2018.00231.
short: A.K. Goharshady, A. Behrouz, K. Chatterjee, in:, Proceedings of the IEEE
International Conference on Blockchain, IEEE, 2018, pp. 1343–1348.
conference:
end_date: 2018-08-03
location: Halifax, Canada
name: IEEE International Conference on Blockchain
start_date: 2018-07-30
date_created: 2019-04-18T10:37:35Z
date_published: 2018-09-01T00:00:00Z
date_updated: 2024-03-28T23:30:34Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1109/Cybermatics_2018.2018.00231
ec_funded: 1
external_id:
arxiv:
- '1805.09104'
isi:
- '000481634500196'
file:
- access_level: open_access
checksum: b25c9bb7cf6e7e6634e692d26d41ead8
content_type: application/pdf
creator: akafshda
date_created: 2019-04-18T10:36:39Z
date_updated: 2020-07-14T12:47:27Z
file_id: '6341'
file_name: blockchain2018.pdf
file_size: 624338
relation: main_file
file_date_updated: 2020-07-14T12:47:27Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '09'
oa: 1
oa_version: Submitted Version
page: 1343-1348
project:
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
- _id: 266EEEC0-B435-11E9-9278-68D0E5697425
name: Quantitative Game-theoretic Analysis of Blockchain Applications and Smart
Contracts
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication: Proceedings of the IEEE International Conference on Blockchain
publication_identifier:
isbn:
- '978-1-5386-7975-3 '
publication_status: published
publisher: IEEE
quality_controlled: '1'
related_material:
record:
- id: '8934'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Secure Credit Reporting on the Blockchain
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...