---
_id: '449'
abstract:
- lang: eng
text: Auxin is unique among plant hormones due to its directional transport that
is mediated by the polarly distributed PIN auxin transporters at the plasma membrane.
The canalization hypothesis proposes that the auxin feedback on its polar flow
is a crucial, plant-specific mechanism mediating multiple self-organizing developmental
processes. Here, we used the auxin effect on the PIN polar localization in Arabidopsis
thaliana roots as a proxy for the auxin feedback on the PIN polarity during canalization.
We performed microarray experiments to find regulators of this process that act
downstream of auxin. We identified genes that were transcriptionally regulated
by auxin in an AXR3/IAA17- and ARF7/ARF19-dependent manner. Besides the known
components of the PIN polarity, such as PID and PIP5K kinases, a number of potential
new regulators were detected, among which the WRKY23 transcription factor, which
was characterized in more detail. Gain- and loss-of-function mutants confirmed
a role for WRKY23 in mediating the auxin effect on the PIN polarity. Accordingly,
processes requiring auxin-mediated PIN polarity rearrangements, such as vascular
tissue development during leaf venation, showed a higher WRKY23 expression and
required the WRKY23 activity. Our results provide initial insights into the auxin
transcriptional network acting upstream of PIN polarization and, potentially,
canalization-mediated plant development.
article_processing_charge: Yes
author:
- first_name: Tomas
full_name: Prat, Tomas
id: 3DA3BFEE-F248-11E8-B48F-1D18A9856A87
last_name: Prat
- first_name: Jakub
full_name: Hajny, Jakub
id: 4800CC20-F248-11E8-B48F-1D18A9856A87
last_name: Hajny
orcid: 0000-0003-2140-7195
- first_name: Wim
full_name: Grunewald, Wim
last_name: Grunewald
- first_name: Mina K
full_name: Vasileva, Mina K
id: 3407EB18-F248-11E8-B48F-1D18A9856A87
last_name: Vasileva
- first_name: Gergely
full_name: Molnar, Gergely
id: 34F1AF46-F248-11E8-B48F-1D18A9856A87
last_name: Molnar
- first_name: Ricardo
full_name: Tejos, Ricardo
last_name: Tejos
- first_name: Markus
full_name: Schmid, Markus
last_name: Schmid
- first_name: Michael
full_name: Sauer, Michael
last_name: Sauer
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
citation:
ama: Prat T, Hajny J, Grunewald W, et al. WRKY23 is a component of the transcriptional
network mediating auxin feedback on PIN polarity. PLoS Genetics. 2018;14(1).
doi:10.1371/journal.pgen.1007177
apa: Prat, T., Hajny, J., Grunewald, W., Vasileva, M. K., Molnar, G., Tejos, R.,
… Friml, J. (2018). WRKY23 is a component of the transcriptional network mediating
auxin feedback on PIN polarity. PLoS Genetics. Public Library of Science.
https://doi.org/10.1371/journal.pgen.1007177
chicago: Prat, Tomas, Jakub Hajny, Wim Grunewald, Mina K Vasileva, Gergely Molnar,
Ricardo Tejos, Markus Schmid, Michael Sauer, and Jiří Friml. “WRKY23 Is a Component
of the Transcriptional Network Mediating Auxin Feedback on PIN Polarity.” PLoS
Genetics. Public Library of Science, 2018. https://doi.org/10.1371/journal.pgen.1007177.
ieee: T. Prat et al., “WRKY23 is a component of the transcriptional network
mediating auxin feedback on PIN polarity,” PLoS Genetics, vol. 14, no.
1. Public Library of Science, 2018.
ista: Prat T, Hajny J, Grunewald W, Vasileva MK, Molnar G, Tejos R, Schmid M, Sauer
M, Friml J. 2018. WRKY23 is a component of the transcriptional network mediating
auxin feedback on PIN polarity. PLoS Genetics. 14(1).
mla: Prat, Tomas, et al. “WRKY23 Is a Component of the Transcriptional Network Mediating
Auxin Feedback on PIN Polarity.” PLoS Genetics, vol. 14, no. 1, Public
Library of Science, 2018, doi:10.1371/journal.pgen.1007177.
short: T. Prat, J. Hajny, W. Grunewald, M.K. Vasileva, G. Molnar, R. Tejos, M. Schmid,
M. Sauer, J. Friml, PLoS Genetics 14 (2018).
corr_author: '1'
date_created: 2018-12-11T11:46:32Z
date_published: 2018-01-29T00:00:00Z
date_updated: 2026-08-04T22:30:59Z
day: '29'
ddc:
- '581'
department:
- _id: JiFr
doi: 10.1371/journal.pgen.1007177
ec_funded: 1
external_id:
isi:
- '000423718600034'
file:
- access_level: open_access
checksum: 0276d66788ec076f4924164a39e6a712
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:10:52Z
date_updated: 2020-07-14T12:46:30Z
file_id: '4843'
file_name: IST-2018-967-v1+1_journal.pgen.1007177.pdf
file_size: 24709062
relation: main_file
file_date_updated: 2020-07-14T12:46:30Z
has_accepted_license: '1'
intvolume: ' 14'
isi: 1
issue: '1'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '01'
oa: 1
oa_version: Published Version
project:
- _id: 25716A02-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '282300'
name: Polarity and subcellular dynamics in plants
publication: PLoS Genetics
publication_status: published
publisher: Public Library of Science
publist_id: '7373'
pubrep_id: '967'
quality_controlled: '1'
related_material:
record:
- id: '7172'
relation: dissertation_contains
status: public
- id: '1127'
relation: dissertation_contains
status: public
- id: '8822'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: WRKY23 is a component of the transcriptional network mediating auxin feedback
on PIN polarity
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: 14
year: '2018'
...
---
_id: '191'
abstract:
- lang: eng
text: Intercellular distribution of the plant hormone auxin largely depends on the
polar subcellular distribution of the plasma membrane PIN-FORMED (PIN) auxin transporters.
PIN polarity switches in response to different developmental and environmental
signals have been shown to redirect auxin fluxes mediating certain developmental
responses. PIN phosphorylation at different sites and by different kinases is
crucial for PIN function. Here we investigate the role of PIN phosphorylation
during gravitropic response. Loss- and gain-of-function mutants in PINOID and
related kinases but not in D6PK kinase as well as mutations mimicking constitutive
dephosphorylated or phosphorylated status of two clusters of predicted phosphorylation
sites partially disrupted PIN3 phosphorylation and caused defects in gravitropic
bending in roots and hypocotyls. In particular, they impacted PIN3 polarity rearrangements
in response to gravity and during feed-back regulation by auxin itself. Thus PIN
phosphorylation, besides regulating transport activity and apical-basal targeting,
is also important for the rapid polarity switches in response to environmental
and endogenous signals.
article_number: '10279'
article_processing_charge: No
author:
- first_name: Peter
full_name: Grones, Peter
id: 399876EC-F248-11E8-B48F-1D18A9856A87
last_name: Grones
- first_name: Melinda F
full_name: Abas, Melinda F
id: 3CFB3B1C-F248-11E8-B48F-1D18A9856A87
last_name: Abas
- first_name: Jakub
full_name: Hajny, Jakub
id: 4800CC20-F248-11E8-B48F-1D18A9856A87
last_name: Hajny
orcid: 0000-0003-2140-7195
- first_name: Angharad
full_name: Jones, Angharad
last_name: Jones
- first_name: Sascha
full_name: Waidmann, Sascha
last_name: Waidmann
- first_name: Jürgen
full_name: Kleine Vehn, Jürgen
last_name: Kleine Vehn
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
citation:
ama: Grones P, Abas MF, Hajny J, et al. PID/WAG-mediated phosphorylation of the
Arabidopsis PIN3 auxin transporter mediates polarity switches during gravitropism.
Scientific Reports. 2018;8(1). doi:10.1038/s41598-018-28188-1
apa: Grones, P., Abas, M. F., Hajny, J., Jones, A., Waidmann, S., Kleine Vehn, J.,
& Friml, J. (2018). PID/WAG-mediated phosphorylation of the Arabidopsis PIN3
auxin transporter mediates polarity switches during gravitropism. Scientific
Reports. Springer. https://doi.org/10.1038/s41598-018-28188-1
chicago: Grones, Peter, Melinda F Abas, Jakub Hajny, Angharad Jones, Sascha Waidmann,
Jürgen Kleine Vehn, and Jiří Friml. “PID/WAG-Mediated Phosphorylation of the Arabidopsis
PIN3 Auxin Transporter Mediates Polarity Switches during Gravitropism.” Scientific
Reports. Springer, 2018. https://doi.org/10.1038/s41598-018-28188-1.
ieee: P. Grones et al., “PID/WAG-mediated phosphorylation of the Arabidopsis
PIN3 auxin transporter mediates polarity switches during gravitropism,” Scientific
Reports, vol. 8, no. 1. Springer, 2018.
ista: Grones P, Abas MF, Hajny J, Jones A, Waidmann S, Kleine Vehn J, Friml J. 2018.
PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter mediates
polarity switches during gravitropism. Scientific Reports. 8(1), 10279.
mla: Grones, Peter, et al. “PID/WAG-Mediated Phosphorylation of the Arabidopsis
PIN3 Auxin Transporter Mediates Polarity Switches during Gravitropism.” Scientific
Reports, vol. 8, no. 1, 10279, Springer, 2018, doi:10.1038/s41598-018-28188-1.
short: P. Grones, M.F. Abas, J. Hajny, A. Jones, S. Waidmann, J. Kleine Vehn, J.
Friml, Scientific Reports 8 (2018).
date_created: 2018-12-11T11:45:06Z
date_published: 2018-07-06T00:00:00Z
date_updated: 2026-08-04T22:30:59Z
day: '06'
ddc:
- '581'
department:
- _id: JiFr
- _id: EvBe
doi: 10.1038/s41598-018-28188-1
ec_funded: 1
external_id:
isi:
- '000437673200053'
file:
- access_level: open_access
checksum: 266b03f4fb8198e83141617aaa99dcab
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T15:38:56Z
date_updated: 2020-07-14T12:45:20Z
file_id: '5714'
file_name: 2018_ScientificReports_Grones.pdf
file_size: 2413876
relation: main_file
file_date_updated: 2020-07-14T12:45:20Z
has_accepted_license: '1'
intvolume: ' 8'
isi: 1
issue: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
project:
- _id: 25716A02-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '282300'
name: Polarity and subcellular dynamics in plants
- _id: 261099A6-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '742985'
name: Tracing Evolution of Auxin Transport and Polarity in Plants
publication: Scientific Reports
publication_status: published
publisher: Springer
publist_id: '7729'
quality_controlled: '1'
related_material:
record:
- id: '8822'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter
mediates polarity switches during gravitropism
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: '5914'
abstract:
- lang: eng
text: With the advent of optogenetics, it became possible to change the activity
of a targeted population of neurons in a temporally controlled manner. To combine
the advantages of 60-channel in vivo tetrode recording and laser-based optogenetics,
we have developed a closed-loop recording system that allows for the actual electrophysiological
signal to be used as a trigger for the laser light mediating the optogenetic intervention.
We have optimized the weight, size, and shape of the corresponding implant to
make it compatible with the size, force, and movements of a behaving mouse, and
we have shown that the system can efficiently block sharp wave ripple (SWR) events
using those events themselves as a trigger. To demonstrate the full potential
of the optogenetic recording system we present a pilot study addressing the contribution
of SWR events to learning in a complex behavioral task.
article_number: e0087
article_processing_charge: No
author:
- first_name: Dámaris K
full_name: Rangel Guerrero, Dámaris K
id: 4871BCE6-F248-11E8-B48F-1D18A9856A87
last_name: Rangel Guerrero
orcid: 0000-0002-8602-4374
- first_name: James G.
full_name: Donnett, James G.
last_name: Donnett
- first_name: Jozsef L
full_name: Csicsvari, Jozsef L
id: 3FA14672-F248-11E8-B48F-1D18A9856A87
last_name: Csicsvari
orcid: 0000-0002-5193-4036
- first_name: Krisztián
full_name: Kovács, Krisztián
id: 2AB5821E-F248-11E8-B48F-1D18A9856A87
last_name: Kovács
orcid: 0000-0001-6251-1007
citation:
ama: 'Rangel Guerrero DK, Donnett JG, Csicsvari JL, Kovács K. Tetrode recording
from the hippocampus of behaving mice coupled with four-point-irradiation closed-loop
optogenetics: A technique to study the contribution of Hippocampal SWR events
to learning. eNeuro. 2018;5(4). doi:10.1523/ENEURO.0087-18.2018'
apa: 'Rangel Guerrero, D. K., Donnett, J. G., Csicsvari, J. L., & Kovács, K.
(2018). Tetrode recording from the hippocampus of behaving mice coupled with four-point-irradiation
closed-loop optogenetics: A technique to study the contribution of Hippocampal
SWR events to learning. ENeuro. Society for Neuroscience. https://doi.org/10.1523/ENEURO.0087-18.2018'
chicago: 'Rangel Guerrero, Dámaris K, James G. Donnett, Jozsef L Csicsvari, and
Krisztián Kovács. “Tetrode Recording from the Hippocampus of Behaving Mice Coupled
with Four-Point-Irradiation Closed-Loop Optogenetics: A Technique to Study the
Contribution of Hippocampal SWR Events to Learning.” ENeuro. Society for
Neuroscience, 2018. https://doi.org/10.1523/ENEURO.0087-18.2018.'
ieee: 'D. K. Rangel Guerrero, J. G. Donnett, J. L. Csicsvari, and K. Kovács, “Tetrode
recording from the hippocampus of behaving mice coupled with four-point-irradiation
closed-loop optogenetics: A technique to study the contribution of Hippocampal
SWR events to learning,” eNeuro, vol. 5, no. 4. Society for Neuroscience,
2018.'
ista: 'Rangel Guerrero DK, Donnett JG, Csicsvari JL, Kovács K. 2018. Tetrode recording
from the hippocampus of behaving mice coupled with four-point-irradiation closed-loop
optogenetics: A technique to study the contribution of Hippocampal SWR events
to learning. eNeuro. 5(4), e0087.'
mla: 'Rangel Guerrero, Dámaris K., et al. “Tetrode Recording from the Hippocampus
of Behaving Mice Coupled with Four-Point-Irradiation Closed-Loop Optogenetics:
A Technique to Study the Contribution of Hippocampal SWR Events to Learning.”
ENeuro, vol. 5, no. 4, e0087, Society for Neuroscience, 2018, doi:10.1523/ENEURO.0087-18.2018.'
short: D.K. Rangel Guerrero, J.G. Donnett, J.L. Csicsvari, K. Kovács, ENeuro 5 (2018).
date_created: 2019-02-03T22:59:16Z
date_published: 2018-07-27T00:00:00Z
date_updated: 2026-08-04T22:31:00Z
day: '27'
ddc:
- '570'
department:
- _id: JoCs
doi: 10.1523/ENEURO.0087-18.2018
ec_funded: 1
external_id:
isi:
- '000443994700007'
file:
- access_level: open_access
checksum: f4915d45fc7ad4648b7b7a13fdecca01
content_type: application/pdf
creator: dernst
date_created: 2019-02-05T12:48:36Z
date_updated: 2020-07-14T12:47:13Z
file_id: '5921'
file_name: 2018_ENeuro_Guerrero.pdf
file_size: 3746884
relation: main_file
file_date_updated: 2020-07-14T12:47:13Z
has_accepted_license: '1'
intvolume: ' 5'
isi: 1
issue: '4'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
- _id: 257D4372-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: I2072-B27
name: Interneuron plasticity during spatial learning
publication: eNeuro
publication_status: published
publisher: Society for Neuroscience
quality_controlled: '1'
related_material:
record:
- id: '6849'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: 'Tetrode recording from the hippocampus of behaving mice coupled with four-point-irradiation
closed-loop optogenetics: A technique to study the contribution of Hippocampal SWR
events to learning'
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 5
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
arxiv: 1
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: 2026-08-04T22:31:02Z
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: 2026-08-04T22:31:02Z
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
arxiv: 1
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: 2026-08-04T22:31:03Z
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'
...
---
_id: '6009'
abstract:
- lang: eng
text: "We study algorithmic questions wrt algebraic path properties in concurrent
systems, where the transitions of the system are labeled from a complete, closed
semiring. The algebraic path properties can model dataflow analysis problems,
the shortest path problem, and many other natural problems that arise in program
analysis. We consider that each component of the concurrent system is a graph
with constant treewidth, a property satisfied by the controlflow graphs of most
programs. We allow for multiple possible queries, which arise naturally in demand
driven dataflow analysis. The study of multiple queries allows us to consider
the tradeoff between the resource usage of the one-time preprocessing and for
each individual query. The traditional approach constructs the product graph of
all components and applies the best-known graph algorithm on the product. In this
approach, even the answer to a single query requires the transitive closure (i.e.,
the results of all possible queries), which provides no room for tradeoff between
preprocessing and query time.\r\nOur main contributions are algorithms that significantly
improve the worst-case running time of the traditional approach, and provide various
tradeoffs depending on the number of queries. For example, in a concurrent system
of two components, the traditional approach requires hexic time in the worst case
for answering one query as well as computing the transitive closure, whereas we
show that with one-time preprocessing in almost cubic time, each subsequent query
can be answered in at most linear time, and even the transitive closure can be
computed in almost quartic time. Furthermore, we establish conditional optimality
results showing that the worst-case running time of our algorithms cannot be improved
without achieving major breakthroughs in graph algorithms (i.e., improving the
worst-case bound for the shortest path problem in general graphs). Preliminary
experimental results show that our algorithms perform favorably on several benchmarks.\r\n"
article_number: '9'
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- 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: Amir Kafshdar
full_name: Goharshady, Amir Kafshdar
id: 391365CE-F248-11E8-B48F-1D18A9856A87
last_name: Goharshady
orcid: 0000-0003-1702-6584
- first_name: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
citation:
ama: Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. Algorithms for
algebraic path properties in concurrent systems of constant treewidth components.
ACM Transactions on Programming Languages and Systems. 2018;40(3). doi:10.1145/3210257
apa: Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K., & Pavlogiannis, A.
(2018). Algorithms for algebraic path properties in concurrent systems of constant
treewidth components. ACM Transactions on Programming Languages and Systems.
Association for Computing Machinery. https://doi.org/10.1145/3210257
chicago: Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady,
and Andreas Pavlogiannis. “Algorithms for Algebraic Path Properties in Concurrent
Systems of Constant Treewidth Components.” ACM Transactions on Programming
Languages and Systems. Association for Computing Machinery, 2018. https://doi.org/10.1145/3210257.
ieee: K. Chatterjee, R. Ibsen-Jensen, A. K. Goharshady, and A. Pavlogiannis, “Algorithms
for algebraic path properties in concurrent systems of constant treewidth components,”
ACM Transactions on Programming Languages and Systems, vol. 40, no. 3.
Association for Computing Machinery, 2018.
ista: Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. 2018. Algorithms
for algebraic path properties in concurrent systems of constant treewidth components.
ACM Transactions on Programming Languages and Systems. 40(3), 9.
mla: Chatterjee, Krishnendu, et al. “Algorithms for Algebraic Path Properties in
Concurrent Systems of Constant Treewidth Components.” ACM Transactions on Programming
Languages and Systems, vol. 40, no. 3, 9, Association for Computing Machinery,
2018, doi:10.1145/3210257.
short: K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, A. Pavlogiannis, ACM Transactions
on Programming Languages and Systems 40 (2018).
corr_author: '1'
date_created: 2019-02-14T14:31:52Z
date_published: 2018-08-01T00:00:00Z
date_updated: 2026-08-04T22:31:03Z
day: '01'
department:
- _id: KrCh
doi: 10.1145/3210257
ec_funded: 1
external_id:
arxiv:
- '1510.07565'
isi:
- '000444694800001'
intvolume: ' 40'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1510.07565
month: '08'
oa: 1
oa_version: Preprint
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal 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: ACM Transactions on Programming Languages and Systems
publication_identifier:
issn:
- 0164-0925
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
related_material:
record:
- id: '5441'
relation: earlier_version
status: public
- id: '5442'
relation: earlier_version
status: public
- id: '1437'
relation: earlier_version
status: public
- id: '8934'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Algorithms for algebraic path properties in concurrent systems of constant
treewidth components
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 40
year: '2018'
...
---
_id: '5977'
abstract:
- lang: eng
text: 'We consider the stochastic shortest path (SSP)problem for succinct Markov
decision processes(MDPs), where the MDP consists of a set of vari-ables, and a
set of nondeterministic rules that up-date the variables. First, we show that
several ex-amples from the AI literature can be modeled assuccinct MDPs. Then
we present computationalapproaches for upper and lower bounds for theSSP problem:
(a) for computing upper bounds, ourmethod is polynomial-time in the implicit descrip-tion
of the MDP; (b) for lower bounds, we present apolynomial-time (in the size of
the implicit descrip-tion) reduction to quadratic programming. Our ap-proach is
applicable even to infinite-state MDPs.Finally, we present experimental results
to demon-strate the effectiveness of our approach on severalclassical examples
from the AI literature.'
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Hongfei
full_name: Fu, Hongfei
id: 3AAD03D6-F248-11E8-B48F-1D18A9856A87
last_name: Fu
- first_name: Amir
full_name: Goharshady, Amir
id: 391365CE-F248-11E8-B48F-1D18A9856A87
last_name: Goharshady
orcid: 0000-0003-1702-6584
- first_name: Nastaran
full_name: Okati, Nastaran
last_name: Okati
citation:
ama: 'Chatterjee K, Fu H, Goharshady AK, Okati N. Computational approaches for stochastic
shortest path on succinct MDPs. In: Proceedings of the Twenty-Seventh International
Joint Conference on Artificial Intelligence. Vol 2018. IJCAI; 2018:4700-4707.
doi:10.24963/ijcai.2018/653'
apa: 'Chatterjee, K., Fu, H., Goharshady, A. K., & Okati, N. (2018). Computational
approaches for stochastic shortest path on succinct MDPs. In Proceedings of
the Twenty-Seventh International Joint Conference on Artificial Intelligence
(Vol. 2018, pp. 4700–4707). Stockholm, Sweden: IJCAI. https://doi.org/10.24963/ijcai.2018/653'
chicago: Chatterjee, Krishnendu, Hongfei Fu, Amir Kafshdar Goharshady, and Nastaran
Okati. “Computational Approaches for Stochastic Shortest Path on Succinct MDPs.”
In Proceedings of the Twenty-Seventh International Joint Conference on Artificial
Intelligence, 2018:4700–4707. IJCAI, 2018. https://doi.org/10.24963/ijcai.2018/653.
ieee: K. Chatterjee, H. Fu, A. K. Goharshady, and N. Okati, “Computational approaches
for stochastic shortest path on succinct MDPs,” in Proceedings of the Twenty-Seventh
International Joint Conference on Artificial Intelligence, Stockholm, Sweden,
2018, vol. 2018, pp. 4700–4707.
ista: 'Chatterjee K, Fu H, Goharshady AK, Okati N. 2018. Computational approaches
for stochastic shortest path on succinct MDPs. Proceedings of the Twenty-Seventh
International Joint Conference on Artificial Intelligence. IJCAI: International
Joint Conference on Artificial Intelligence vol. 2018, 4700–4707.'
mla: Chatterjee, Krishnendu, et al. “Computational Approaches for Stochastic Shortest
Path on Succinct MDPs.” Proceedings of the Twenty-Seventh International Joint
Conference on Artificial Intelligence, vol. 2018, IJCAI, 2018, pp. 4700–07,
doi:10.24963/ijcai.2018/653.
short: K. Chatterjee, H. Fu, A.K. Goharshady, N. Okati, in:, Proceedings of the
Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI,
2018, pp. 4700–4707.
conference:
end_date: 2018-07-19
location: Stockholm, Sweden
name: 'IJCAI: International Joint Conference on Artificial Intelligence'
start_date: 2018-07-13
date_created: 2019-02-13T13:26:27Z
date_published: 2018-07-17T00:00:00Z
date_updated: 2026-08-04T22:31:03Z
day: '17'
department:
- _id: KrCh
doi: 10.24963/ijcai.2018/653
ec_funded: 1
external_id:
arxiv:
- '1804.08984'
isi:
- '000764175404118'
intvolume: ' 2018'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1804.08984
month: '07'
oa: 1
oa_version: Preprint
page: 4700-4707
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: Proceedings of the Twenty-Seventh International Joint Conference on Artificial
Intelligence
publication_identifier:
isbn:
- '9780999241127'
issn:
- 1045-0823
publication_status: published
publisher: IJCAI
quality_controlled: '1'
related_material:
record:
- id: '8934'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Computational approaches for stochastic shortest path on succinct MDPs
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2018
year: '2018'
...
---
_id: '402'
abstract:
- lang: eng
text: During metastasis, malignant cells escape the primary tumor, intravasate lymphatic
vessels, and reach draining sentinel lymph nodes before they colonize distant
organs via the blood circulation. Although lymph node metastasis in cancer patients
correlates with poor prognosis, evidence is lacking as to whether and how tumor
cells enter the bloodstream via lymph nodes. To investigate this question, we
delivered carcinoma cells into the lymph nodes of mice by microinfusing the cells
into afferent lymphatic vessels. We found that tumor cells rapidly infiltrated
the lymph node parenchyma, invaded blood vessels, and seeded lung metastases without
involvement of the thoracic duct. These results suggest that the lymph node blood
vessels can serve as an exit route for systemic dissemination of cancer cells
in experimental mouse models. Whether this form of tumor cell spreading occurs
in cancer patients remains to be determined.
acknowledged_ssus:
- _id: Bio
acknowledgement: "M.B. was supported by the Cell Communication in Health and Disease
graduate study program of the Austrian Science Fund (FWF) and the Medical University
of Vienna. M.S. was supported by the European Research Council (grant ERC GA 281556)
and an FWF START award.\r\nWe thank C. Moussion for establishing the intralymphatic
injection at IST Austria and for providing anti-PNAd hybridoma supernatant, R. Förster
and A. Braun for sharing the intralymphatic injection technology, K. Vaahtomeri
for the lentiviral constructs, M. Hons for establishing in vivo multiphoton imaging,
the Sixt lab for intellectual input, M. Schunn for help with the design of the in
vivo experiments, F. Langer for technical assistance with the in vivo experiments,
the bioimaging facility of IST Austria for support, and R. Efferl for providing
the CT26 cell line."
article_processing_charge: No
article_type: original
author:
- first_name: Markus
full_name: Brown, Markus
id: 3DAB9AFC-F248-11E8-B48F-1D18A9856A87
last_name: Brown
- first_name: Frank P
full_name: Assen, Frank P
id: 3A8E7F24-F248-11E8-B48F-1D18A9856A87
last_name: Assen
orcid: 0000-0003-3470-6119
- first_name: Alexander F
full_name: Leithner, Alexander F
id: 3B1B77E4-F248-11E8-B48F-1D18A9856A87
last_name: Leithner
orcid: 0000-0002-1073-744X
- first_name: Jun
full_name: Abe, Jun
last_name: Abe
- first_name: Helga
full_name: Schachner, Helga
last_name: Schachner
- first_name: Gabriele
full_name: Asfour, Gabriele
last_name: Asfour
- first_name: Zsuzsanna
full_name: Bagó Horváth, Zsuzsanna
last_name: Bagó Horváth
- first_name: Jens
full_name: Stein, Jens
last_name: Stein
- first_name: Pavel
full_name: Uhrin, Pavel
last_name: Uhrin
- 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: Dontscho
full_name: Kerjaschki, Dontscho
last_name: Kerjaschki
citation:
ama: Brown M, Assen FP, Leithner AF, et al. Lymph node blood vessels provide exit
routes for metastatic tumor cell dissemination in mice. Science. 2018;359(6382):1408-1411.
doi:10.1126/science.aal3662
apa: Brown, M., Assen, F. P., Leithner, A. F., Abe, J., Schachner, H., Asfour, G.,
… Kerjaschki, D. (2018). Lymph node blood vessels provide exit routes for metastatic
tumor cell dissemination in mice. Science. American Association for the
Advancement of Science. https://doi.org/10.1126/science.aal3662
chicago: Brown, Markus, Frank P Assen, Alexander F Leithner, Jun Abe, Helga Schachner,
Gabriele Asfour, Zsuzsanna Bagó Horváth, et al. “Lymph Node Blood Vessels Provide
Exit Routes for Metastatic Tumor Cell Dissemination in Mice.” Science.
American Association for the Advancement of Science, 2018. https://doi.org/10.1126/science.aal3662.
ieee: M. Brown et al., “Lymph node blood vessels provide exit routes for
metastatic tumor cell dissemination in mice,” Science, vol. 359, no. 6382.
American Association for the Advancement of Science, pp. 1408–1411, 2018.
ista: Brown M, Assen FP, Leithner AF, Abe J, Schachner H, Asfour G, Bagó Horváth
Z, Stein J, Uhrin P, Sixt MK, Kerjaschki D. 2018. Lymph node blood vessels provide
exit routes for metastatic tumor cell dissemination in mice. Science. 359(6382),
1408–1411.
mla: Brown, Markus, et al. “Lymph Node Blood Vessels Provide Exit Routes for Metastatic
Tumor Cell Dissemination in Mice.” Science, vol. 359, no. 6382, American
Association for the Advancement of Science, 2018, pp. 1408–11, doi:10.1126/science.aal3662.
short: M. Brown, F.P. Assen, A.F. Leithner, J. Abe, H. Schachner, G. Asfour, Z.
Bagó Horváth, J. Stein, P. Uhrin, M.K. Sixt, D. Kerjaschki, Science 359 (2018)
1408–1411.
corr_author: '1'
date_created: 2018-12-11T11:46:16Z
date_published: 2018-03-23T00:00:00Z
date_updated: 2026-08-04T22:31:04Z
day: '23'
ddc:
- '570'
department:
- _id: MiSi
doi: 10.1126/science.aal3662
ec_funded: 1
external_id:
isi:
- '000428043600047'
pmid:
- '29567714'
intvolume: ' 359'
isi: 1
issue: '6382'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1126/science.aal3662
month: '03'
oa: 1
oa_version: Published Version
page: 1408 - 1411
pmid: 1
project:
- _id: 25A8E5EA-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Y 564-B12
name: Cytoskeletal force generation and force transduction of migrating leukocytes
- _id: 25A603A2-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '281556'
name: Cytoskeletal force generation and force transduction of migrating leukocytes
publication: Science
publication_status: published
publisher: American Association for the Advancement of Science
publist_id: '7428'
quality_controlled: '1'
related_material:
record:
- id: '6947'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination
in mice
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 359
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: 2026-08-04T22:31:09Z
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
- _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'
...
---
OA_place: publisher
_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.
corr_author: '1'
date_created: 2019-04-09T13:57:15Z
date_published: 2018-12-28T00:00:00Z
date_updated: 2026-07-30T14:47:59Z
day: '28'
ddc:
- '570'
- '576'
- '579'
degree_awarded: PhD
department:
- _id: ToBo
- _id: GradSch
doi: 10.15479/AT:ISTA:th1072
doi_confirm: '1'
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: '1027'
relation: part_of_dissertation
status: public
- id: '696'
relation: part_of_dissertation
status: public
- id: '1619'
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: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2018'
...
---
OA_place: publisher
_id: '51'
abstract:
- lang: eng
text: Asymmetries have long been known about in the central nervous system. From
gross anatomical differences, such as the presence of the parapineal organ in
only one hemisphere of the developing zebrafish, to more subtle differences in
activity between both hemispheres, as seen in freely roaming animals or human
participants under PET and fMRI imaging analysis. The presence of asymmetries
has been demonstrated to have huge behavioural implications, with their disruption
often leading to the generation of neurological disorders, memory problems, changes
in personality, and in an organism's health and well-being. For my Ph.D. work
I aimed to tackle two important avenues of research. The first being the process
of input-side dependency in the hippocampus, with the goal of finding a key gene
responsible for its development (Gene X). The second project was to do with experience-induced
laterality formation in the hippocampus. Specifically, how laterality in the synapse
density of the CA1 stratum radiatum (s.r.) could be induced purely through environmental
enrichment. Through unilateral tracer injections into the CA3, I was able to selectively
measure the properties of synapses within the CA1 and investigate how they differed
based upon which hemisphere the presynaptic neurone originated. Having found the
existence of a previously unreported reversed (left-isomerism) i.v. mutant, through
morpholocal examination of labelled terminals in the CA1 s.r., I aimed to elucidate
a key gene responsible for the process of left or right determination of inputs
to the CA1 s.r.. This work relates to the previous finding of input-side dependent
asymmetry in the wild-type rodent, where the origin of the projecting neurone
to the CA1 will determine the morphology of a synapse, to a greater degree than
the hemisphere in which the projection terminates. Using left- and right-isomerism
i.v. mice, in combination with whole genome sequence analysis, I highlight Ena/VASP-like
(Evl) as a potential target for Gene X. In relation to this topic, I also highlight
my work in the recently published paper of how knockout of PirB can lead to a
lack of input-side dependency in the murine hippocampus. For the second question,
I show that the environmental enrichment paradigm will lead to an asymmetry in
the synapse densities in the hippocampus of mice. I also highlight that the nature
of the enrichment is of less consequence than the process of enrichment itself.
I demonstrate that the CA3 region will dramatically alter its projection targets,
in relation to environmental stimulation, with the asymmetry in synaptic density,
caused by enrichment, relying heavily on commissural fibres. I also highlight
the vital importance of input-side dependent asymmetry, as a necessary component
of experience-dependent laterality formation in the CA1 s.r.. However, my results
suggest that it isn't the only cause, as there appears to be a CA1 dependent mechanism
also at play. Upon further investigation, I highlight the significant, and highly
important, finding that the changes seen in the CA1 s.r. were predominantly caused
through projections from the left-CA3, with the right-CA3 having less involvement
in this mechanism.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Matthew J
full_name: Case, Matthew J
id: 44B7CA5A-F248-11E8-B48F-1D18A9856A87
last_name: Case
citation:
ama: 'Case MJ. From the left to the right: A tale of asymmetries, environments,
and hippocampal development. 2018. doi:10.15479/AT:ISTA:th_1032'
apa: 'Case, M. J. (2018). From the left to the right: A tale of asymmetries,
environments, and hippocampal development. Institute of Science and Technology
Austria. https://doi.org/10.15479/AT:ISTA:th_1032'
chicago: 'Case, Matthew J. “From the Left to the Right: A Tale of Asymmetries, Environments,
and Hippocampal Development.” Institute of Science and Technology Austria, 2018.
https://doi.org/10.15479/AT:ISTA:th_1032.'
ieee: 'M. J. Case, “From the left to the right: A tale of asymmetries, environments,
and hippocampal development,” Institute of Science and Technology Austria, 2018.'
ista: 'Case MJ. 2018. From the left to the right: A tale of asymmetries, environments,
and hippocampal development. Institute of Science and Technology Austria.'
mla: 'Case, Matthew J. From the Left to the Right: A Tale of Asymmetries, Environments,
and Hippocampal Development. Institute of Science and Technology Austria,
2018, doi:10.15479/AT:ISTA:th_1032.'
short: 'M.J. Case, From the Left to the Right: A Tale of Asymmetries, Environments,
and Hippocampal Development, Institute of Science and Technology Austria, 2018.'
corr_author: '1'
date_created: 2018-12-11T11:44:22Z
date_published: 2018-06-27T00:00:00Z
date_updated: 2026-07-31T09:40:17Z
day: '27'
ddc:
- '571'
- '576'
degree_awarded: PhD
department:
- _id: RySh
- _id: GradSch
doi: 10.15479/AT:ISTA:th_1032
doi_confirm: '1'
file:
- access_level: closed
checksum: dcc7b55619d8509dd62b8e99d6cdee44
content_type: application/msword
creator: dernst
date_created: 2019-04-09T07:16:26Z
date_updated: 2021-02-11T23:30:13Z
embargo_to: open_access
file_id: '6251'
file_name: 2018_Thesis_Case_Source.doc
file_size: 141270528
relation: source_file
- access_level: open_access
checksum: f69fdd5c8709c4e618aa8c1a1221153d
content_type: application/pdf
creator: dernst
date_created: 2019-04-09T07:16:23Z
date_updated: 2021-02-11T11:17:14Z
embargo: 2019-07-05
file_id: '6252'
file_name: 2018_Thesis_Case.pdf
file_size: 15193621
relation: main_file
file_date_updated: 2021-02-11T23:30:13Z
has_accepted_license: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: '186'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '8003'
pubrep_id: '1032'
related_material:
record:
- id: '682'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
title: 'From the left to the right: A tale of asymmetries, environments, and hippocampal
development'
type: dissertation
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2018'
...
---
OA_place: publisher
_id: '10'
abstract:
- lang: eng
text: Genomic imprinting is an epigenetic process that leads to parent of origin-specific
gene expression in a subset of genes. Imprinted genes are essential for brain
development, and deregulation of imprinting is associated with neurodevelopmental
diseases and the pathogenesis of psychiatric disorders. However, the cell-type
specificity of imprinting at single cell resolution, and how imprinting and thus
gene dosage regulates neuronal circuit assembly is still largely unknown. Here,
MADM (Mosaic Analysis with Double Markers) technology was employed to assess genomic
imprinting at single cell level. By visualizing MADM-induced uniparental disomies
(UPDs) in distinct colors at single cell level in genetic mosaic animals, this
experimental paradigm provides a unique quantitative platform to systematically
assay the UPD-mediated imbalances in imprinted gene expression at unprecedented
resolution. An experimental pipeline based on FACS, RNA-seq and bioinformatics
analysis was established and applied to systematically map cell-type-specific
‘imprintomes’ in the mouse brain. The results revealed that parental-specific
expression of imprinted genes per se is rarely cell-type-specific even at the
individual cell level. Conversely, when we extended the comparison to downstream
responses resulting from imbalanced imprinted gene expression, we discovered an
unexpectedly high degree of cell-type specificity. Furthermore, we determined
a novel function of genomic imprinting in cortical astrocyte production and in
olfactory bulb (OB) granule cell generation. These results suggest important functional
implication of genomic imprinting for generating cell-type diversity in the brain.
In addition, MADM provides a powerful tool to study candidate genes by concomitant
genetic manipulation and fluorescent labelling of single cells. MADM-based candidate
gene approach was utilized to identify potential imprinted genes involved in the
generation of cortical astrocytes and OB granule cells. We investigated p57Kip2,
a maternally expressed gene and known cell cycle regulator. Although we found
that p57Kip2 does not play a role in these processes, we detected an unexpected
function of the paternal allele previously thought to be silent. Finally, we took
advantage of a key property of MADM which is to allow unambiguous investigation
of environmental impact on single cells. The experimental pipeline based on FACS
and RNA-seq analysis of MADM-labeled cells was established to probe the functional
differences of single cell loss of gene function compared to global loss of function
on a transcriptional level. With this method, both common and distinct responses
were isolated due to cell-autonomous and non-autonomous effects acting on genotypically
identical cells. As a result, transcriptional changes were identified which result
solely from the surrounding environment. Using the MADM technology to study genomic
imprinting at single cell resolution, we have identified cell-type-specific gene
expression, novel gene function and the impact of environment on single cell transcriptomes.
Together, these provide important insights to the understanding of mechanisms
regulating cell-type specificity and thus diversity in the brain.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Susanne
full_name: Laukoter, Susanne
id: 2D6B7A9A-F248-11E8-B48F-1D18A9856A87
last_name: Laukoter
orcid: 0000-0002-7903-3010
citation:
ama: Laukoter S. Role of genomic imprinting in cerebral cortex development. 2018:1-139.
doi:10.15479/AT:ISTA:th1057
apa: Laukoter, S. (2018). Role of genomic imprinting in cerebral cortex development.
Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th1057
chicago: Laukoter, Susanne. “Role of Genomic Imprinting in Cerebral Cortex Development.”
Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:th1057.
ieee: S. Laukoter, “Role of genomic imprinting in cerebral cortex development,”
Institute of Science and Technology Austria, 2018.
ista: Laukoter S. 2018. Role of genomic imprinting in cerebral cortex development.
Institute of Science and Technology Austria.
mla: Laukoter, Susanne. Role of Genomic Imprinting in Cerebral Cortex Development.
Institute of Science and Technology Austria, 2018, pp. 1–139, doi:10.15479/AT:ISTA:th1057.
short: S. Laukoter, Role of Genomic Imprinting in Cerebral Cortex Development, Institute
of Science and Technology Austria, 2018.
corr_author: '1'
date_created: 2018-12-11T11:44:08Z
date_published: 2018-11-21T00:00:00Z
date_updated: 2026-07-29T13:40:27Z
day: '21'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: SiHi
- _id: GradSch
doi: 10.15479/AT:ISTA:th1057
doi_confirm: '1'
file:
- access_level: closed
checksum: 41fdbf5fdce312802935d88a8ad9932c
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: dernst
date_created: 2019-05-10T07:47:04Z
date_updated: 2019-11-23T23:30:03Z
embargo_to: open_access
file_id: '6396'
file_name: Thesis_LaukoterSusanne_FINAL.docx
file_size: 17949175
relation: source_file
- access_level: open_access
checksum: 53001a9a0c9e570e598d861bb0af28aa
content_type: application/pdf
creator: dernst
date_created: 2019-05-10T07:47:04Z
date_updated: 2021-02-11T11:17:16Z
embargo: 2019-11-21
file_id: '6397'
file_name: Thesis_LaukoterSusanne_FINAL.pdf
file_size: 21187245
relation: main_file
file_date_updated: 2021-02-11T11:17:16Z
has_accepted_license: '1'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
page: 1 - 139
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '8046'
pubrep_id: '1057'
status: public
supervisor:
- first_name: Beatriz
full_name: Vicoso, Beatriz
id: 49E1C5C6-F248-11E8-B48F-1D18A9856A87
last_name: Vicoso
orcid: 0000-0002-4579-8306
title: Role of genomic imprinting in cerebral cortex development
type: dissertation
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2018'
...
---
OA_place: publisher
_id: '539'
abstract:
- lang: eng
text: The whole life cycle of plants as well as their responses to environmental
stimuli is governed by a complex network of hormonal regulations. A number of
studies have demonstrated an essential role of both auxin and cytokinin in the
regulation of many aspects of plant growth and development including embryogenesis,
postembryonic organogenic processes such as root, and shoot branching, root and
shoot apical meristem activity and phyllotaxis. Over the last decades essential
knowledge on the key molecular factors and pathways that spatio-temporally define
auxin and cytokinin activities in the plant body has accumulated. However, how
both hormonal pathways are interconnected by a complex network of interactions
and feedback circuits that determines the final outcome of the individual hormone
actions is still largely unknown. Root system architecture establishment and in
particular formation of lateral organs is prime example of developmental process
at whose regulation both auxin and cytokinin pathways converge. To dissect convergence
points and pathways that tightly balance auxin - cytokinin antagonistic activities
that determine the root branching pattern transcriptome profiling was applied.
Genome wide expression analyses of the xylem pole pericycle, a tissue giving rise
to lateral roots, led to identification of genes that are highly responsive to
combinatorial auxin and cytokinin treatments and play an essential function in
the auxin-cytokinin regulated root branching. SYNERGISTIC AUXIN CYTOKININ 1 (SYAC1)
gene, which encodes for a protein of unknown function, was detected among the
top candidate genes of which expression was synergistically up-regulated by simultaneous
hormonal treatment. Plants with modulated SYAC1 activity exhibit severe defects
in the root system establishment and attenuate developmental responses to both
auxin and cytokinin. To explore the biological function of the SYAC1, we employed
different strategies including expression pattern analysis, subcellular localization
and phenotypic analyses of the syac1 loss-of-function and gain-of-function transgenic
lines along with the identification of the SYAC1 interaction partners. Detailed
functional characterization revealed that SYAC1 acts as a developmentally specific
regulator of the secretory pathway to control deposition of cell wall components
and thereby rapidly fine tune elongation growth.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Andrej
full_name: Hurny, Andrej
id: 4DC4AF46-F248-11E8-B48F-1D18A9856A87
last_name: Hurny
orcid: 0000-0003-3638-1426
citation:
ama: Hurny A. Identification and characterization of novel auxin-cytokinin cross-talk
components. 2018. doi:10.15479/AT:ISTA:th_930
apa: Hurny, A. (2018). Identification and characterization of novel auxin-cytokinin
cross-talk components. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_930
chicago: Hurny, Andrej. “Identification and Characterization of Novel Auxin-Cytokinin
Cross-Talk Components.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_930.
ieee: A. Hurny, “Identification and characterization of novel auxin-cytokinin cross-talk
components,” Institute of Science and Technology Austria, 2018.
ista: Hurny A. 2018. Identification and characterization of novel auxin-cytokinin
cross-talk components. Institute of Science and Technology Austria.
mla: Hurny, Andrej. Identification and Characterization of Novel Auxin-Cytokinin
Cross-Talk Components. Institute of Science and Technology Austria, 2018,
doi:10.15479/AT:ISTA:th_930.
short: A. Hurny, Identification and Characterization of Novel Auxin-Cytokinin Cross-Talk
Components, Institute of Science and Technology Austria, 2018.
corr_author: '1'
date_created: 2018-12-11T11:47:03Z
date_published: 2018-01-01T00:00:00Z
date_updated: 2026-07-29T13:30:01Z
day: '01'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: EvBe
- _id: GradSch
doi: 10.15479/AT:ISTA:th_930
doi_confirm: '1'
file:
- access_level: closed
checksum: 0c9d6d1c80d9857e6e545213467bbcb2
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: dernst
date_created: 2019-04-05T09:37:56Z
date_updated: 2020-12-02T23:30:08Z
embargo_to: open_access
file_id: '6226'
file_name: 2018_Hurny_thesis_source.docx
file_size: 28112114
relation: source_file
- access_level: open_access
checksum: ecbe481a1413d270bd501b872c7ed54f
content_type: application/pdf
creator: dernst
date_created: 2019-04-05T09:37:55Z
date_updated: 2020-12-02T09:52:16Z
embargo: 2019-07-10
file_id: '6227'
file_name: 2018_Hurny_thesis.pdf
file_size: 12524427
relation: main_file
file_date_updated: 2020-12-02T23:30:08Z
has_accepted_license: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: '147'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '7277'
pubrep_id: '930'
related_material:
record:
- id: '1024'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Eva
full_name: Benková, Eva
id: 38F4F166-F248-11E8-B48F-1D18A9856A87
last_name: Benková
orcid: 0000-0002-8510-9739
title: Identification and characterization of novel auxin-cytokinin cross-talk components
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: dissertation
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2018'
...
---
OA_place: publisher
_id: '149'
abstract:
- lang: eng
text: The eigenvalue density of many large random matrices is well approximated
by a deterministic measure, the self-consistent density of states. In the present
work, we show this behaviour for several classes of random matrices. In fact,
we establish that, in each of these classes, the self-consistent density of states
approximates the eigenvalue density of the random matrix on all scales slightly
above the typical eigenvalue spacing. For large classes of random matrices, the
self-consistent density of states exhibits several universal features. We prove
that, under suitable assumptions, random Gram matrices and Hermitian random matrices
with decaying correlations have a 1/3-Hölder continuous self-consistent density
of states ρ on R, which is analytic, where it is positive, and has either a square
root edge or a cubic root cusp, where it vanishes. We, thus, extend the validity
of the corresponding result for Wigner-type matrices from [4, 5, 7]. We show that
ρ is determined as the inverse Stieltjes transform of the normalized trace of
the unique solution m(z) to the Dyson equation −m(z) −1 = z − a + S[m(z)] on C
N×N with the constraint Im m(z) ≥ 0. Here, z lies in the complex upper half-plane,
a is a self-adjoint element of C N×N and S is a positivity-preserving operator
on C N×N encoding the first two moments of the random matrix. In order to analyze
a possible limit of ρ for N → ∞ and address some applications in free probability
theory, we also consider the Dyson equation on infinite dimensional von Neumann
algebras. We present two applications to random matrices. We first establish that,
under certain assumptions, large random matrices with independent entries have
a rotationally symmetric self-consistent density of states which is supported
on a centered disk in C. Moreover, it is infinitely often differentiable apart
from a jump on the boundary of this disk. Second, we show edge universality at
all regular (not necessarily extreme) spectral edges for Hermitian random matrices
with decaying correlations.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Johannes
full_name: Alt, Johannes
id: 36D3D8B6-F248-11E8-B48F-1D18A9856A87
last_name: Alt
citation:
ama: Alt J. Dyson equation and eigenvalue statistics of random matrices. 2018. doi:10.15479/AT:ISTA:TH_1040
apa: Alt, J. (2018). Dyson equation and eigenvalue statistics of random matrices.
Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH_1040
chicago: Alt, Johannes. “Dyson Equation and Eigenvalue Statistics of Random Matrices.”
Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:TH_1040.
ieee: J. Alt, “Dyson equation and eigenvalue statistics of random matrices,” Institute
of Science and Technology Austria, 2018.
ista: Alt J. 2018. Dyson equation and eigenvalue statistics of random matrices.
Institute of Science and Technology Austria.
mla: Alt, Johannes. Dyson Equation and Eigenvalue Statistics of Random Matrices.
Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:TH_1040.
short: J. Alt, Dyson Equation and Eigenvalue Statistics of Random Matrices, Institute
of Science and Technology Austria, 2018.
corr_author: '1'
date_created: 2018-12-11T11:44:53Z
date_published: 2018-07-12T00:00:00Z
date_updated: 2026-08-05T08:14:16Z
day: '12'
ddc:
- '515'
- '519'
degree_awarded: PhD
department:
- _id: LaEr
doi: 10.15479/AT:ISTA:TH_1040
ec_funded: 1
file:
- access_level: open_access
checksum: d4dad55a7513f345706aaaba90cb1bb8
content_type: application/pdf
creator: dernst
date_created: 2019-04-08T13:55:20Z
date_updated: 2020-07-14T12:44:57Z
file_id: '6241'
file_name: 2018_thesis_Alt.pdf
file_size: 5801709
relation: main_file
- access_level: closed
checksum: d73fcf46300dce74c403f2b491148ab4
content_type: application/zip
creator: dernst
date_created: 2019-04-08T13:55:20Z
date_updated: 2020-07-14T12:44:57Z
file_id: '6242'
file_name: 2018_thesis_Alt_source.zip
file_size: 3802059
relation: source_file
file_date_updated: 2020-07-14T12:44:57Z
has_accepted_license: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: '456'
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '338804'
name: Random matrices, universality and disordered quantum systems
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '7772'
pubrep_id: '1040'
related_material:
record:
- id: '6184'
relation: part_of_dissertation
status: public
- id: '6183'
relation: part_of_dissertation
status: public
- id: '1010'
relation: part_of_dissertation
status: public
- id: '550'
relation: part_of_dissertation
status: public
- id: '1677'
relation: part_of_dissertation
status: public
- id: '6240'
relation: part_of_dissertation
status: public
- id: '566'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
title: Dyson equation and eigenvalue statistics of random matrices
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: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2018'
...
---
_id: '566'
abstract:
- lang: eng
text: "We consider large random matrices X with centered, independent entries which
have comparable but not necessarily identical variances. Girko's circular law
asserts that the spectrum is supported in a disk and in case of identical variances,
the limiting density is uniform. In this special case, the local circular law
by Bourgade et. al. [11,12] shows that the empirical density converges even locally
on scales slightly above the typical eigenvalue spacing. In the general case,
the limiting density is typically inhomogeneous and it is obtained via solving
a system of deterministic equations. Our main result is the local inhomogeneous
circular law in the bulk spectrum on the optimal scale for a general variance
profile of the entries of X. \r\n\r\n"
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Johannes
full_name: Alt, Johannes
id: 36D3D8B6-F248-11E8-B48F-1D18A9856A87
last_name: Alt
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
- first_name: Torben H
full_name: Krüger, Torben H
id: 3020C786-F248-11E8-B48F-1D18A9856A87
last_name: Krüger
orcid: 0000-0002-4821-3297
citation:
ama: Alt J, Erdös L, Krüger TH. Local inhomogeneous circular law. Annals of Applied
Probability. 2018;28(1):148-203. doi:10.1214/17-AAP1302
apa: Alt, J., Erdös, L., & Krüger, T. H. (2018). Local inhomogeneous circular
law. Annals of Applied Probability. Institute of Mathematical Statistics.
https://doi.org/10.1214/17-AAP1302
chicago: Alt, Johannes, László Erdös, and Torben H Krüger. “Local Inhomogeneous
Circular Law.” Annals of Applied Probability. Institute of Mathematical
Statistics, 2018. https://doi.org/10.1214/17-AAP1302.
ieee: J. Alt, L. Erdös, and T. H. Krüger, “Local inhomogeneous circular law,” Annals
of Applied Probability, vol. 28, no. 1. Institute of Mathematical Statistics,
pp. 148–203, 2018.
ista: Alt J, Erdös L, Krüger TH. 2018. Local inhomogeneous circular law. Annals
of Applied Probability. 28(1), 148–203.
mla: Alt, Johannes, et al. “Local Inhomogeneous Circular Law.” Annals of Applied
Probability, vol. 28, no. 1, Institute of Mathematical Statistics, 2018, pp.
148–203, doi:10.1214/17-AAP1302.
short: J. Alt, L. Erdös, T.H. Krüger, Annals of Applied Probability 28 (2018) 148–203.
corr_author: '1'
das_tickbox: '1'
date_created: 2018-12-11T11:47:13Z
date_published: 2018-03-03T00:00:00Z
date_updated: 2026-08-05T08:14:17Z
day: '03'
department:
- _id: LaEr
doi: 10.1214/17-AAP1302
ec_funded: 1
external_id:
arxiv:
- '1612.07776 '
isi:
- '000431721800005'
intvolume: ' 28'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: 'https://arxiv.org/abs/1612.07776 '
month: '03'
oa: 1
oa_version: Preprint
page: 148-203
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '338804'
name: Random matrices, universality and disordered quantum systems
publication: Annals of Applied Probability
publication_status: published
publisher: Institute of Mathematical Statistics
quality_controlled: '1'
related_material:
record:
- id: '149'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Local inhomogeneous circular law
type: journal_article
user_id: 9947682f-b9fa-11ee-9c4a-b3ffaafe6614
volume: 28
year: '2018'
...