---
OA_place: publisher
_id: '6435'
abstract:
- lang: eng
text: "Social insect colonies tend to have numerous members which function together
like a single organism in such harmony that the term ``super-organism'' is often
used. In this analogy the reproductive caste is analogous to the primordial germ\r\ncells
of a metazoan, while the sterile worker caste corresponds to somatic cells. The
worker castes, like tissues, are\r\nin charge of all functions of a living being,
besides reproduction. The establishment of new super-organismal units\r\n(i.e.
new colonies) is accomplished by the co-dependent castes. The term oftentimes
goes beyond a metaphor. We invoke it when we speak about the metabolic rate, thermoregulation,
nutrient regulation and gas exchange of a social insect colony. Furthermore, we
assert that the super-organism has an immune system, and benefits from ``social
immunity''.\r\n\r\nSocial immunity was first summoned by evolutionary biologists
to resolve the apparent discrepancy between the expected high frequency of disease
outbreak amongst numerous, closely related tightly-interacting hosts, living in
stable and microbially-rich environments, against the exceptionally scarce epidemic
accounts in natural populations. Social\r\nimmunity comprises a multi-layer assembly
of behaviours which have evolved to effectively keep the pathogenic enemies of
a colony at bay. The field of social immunity has drawn interest, as it becomes
increasingly urgent to stop\r\nthe collapse of pollinator species and curb the
growth of invasive pests. In the past decade, several mechanisms of\r\nsocial
immune responses have been dissected, but many more questions remain open.\r\n\r\nI
present my work in two experimental chapters. In the first, I use invasive garden
ants (*Lasius neglectus*) to study how pathogen load and its distribution among
nestmates affect the grooming response of the group. Any given group of ants will
carry out the same total grooming work, but will direct their grooming effort
towards individuals\r\ncarrying a relatively higher spore load. Contrary to expectation,
the highest risk of transmission does not stem from grooming highly contaminated
ants, but instead, we suggest that the grooming response likely minimizes spore
loss to the environment, reducing contamination from inadvertent pickup from the
substrate.\r\n\r\nThe second is a comparative developmental approach. I follow
black garden ant queens (*Lasius niger*) and their colonies from mating flight,
through hibernation for a year. Colonies which grow fast from the start, have
a lower chance of survival through hibernation, and those which survive grow at
a lower pace later. This is true for colonies of naive\r\nand challenged queens.
Early pathogen exposure of the queens changes colony dynamics in an unexpected
way: colonies from exposed queens are more likely to grow slowly and recover in
numbers only after they survive hibernation.\r\n\r\nIn addition to the two experimental
chapters, this thesis includes a co-authored published review on organisational\r\nimmunity,
where we enlist the experimental evidence and theoretical framework on which this
hypothesis is built,\r\nidentify the caveats and underline how the field is ripe
to overcome them. In a final chapter, I describe my part in\r\ntwo collaborative
efforts, one to develop an image-based tracker, and the second to develop a classifier
for ant\r\nbehaviour."
acknowledged_ssus:
- _id: Bio
- _id: ScienComp
- _id: M-Shop
- _id: LifeSc
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Barbara E
full_name: Casillas Perez, Barbara E
id: 351ED2AA-F248-11E8-B48F-1D18A9856A87
last_name: Casillas Perez
citation:
ama: Casillas Perez BE. Collective defenses of garden ants against a fungal pathogen.
2019. doi:10.15479/AT:ISTA:6435
apa: Casillas Perez, B. E. (2019). Collective defenses of garden ants against
a fungal pathogen. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6435
chicago: Casillas Perez, Barbara E. “Collective Defenses of Garden Ants against
a Fungal Pathogen.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6435.
ieee: B. E. Casillas Perez, “Collective defenses of garden ants against a fungal
pathogen,” Institute of Science and Technology Austria, 2019.
ista: Casillas Perez BE. 2019. Collective defenses of garden ants against a fungal
pathogen. Institute of Science and Technology Austria.
mla: Casillas Perez, Barbara E. Collective Defenses of Garden Ants against a
Fungal Pathogen. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6435.
short: B.E. Casillas Perez, Collective Defenses of Garden Ants against a Fungal
Pathogen, Institute of Science and Technology Austria, 2019.
corr_author: '1'
date_created: 2019-05-13T08:58:35Z
date_published: 2019-05-07T00:00:00Z
date_updated: 2026-04-08T14:02:12Z
day: '07'
ddc:
- '570'
- '006'
- '578'
- '592'
degree_awarded: PhD
department:
- _id: SyCr
doi: 10.15479/AT:ISTA:6435
ec_funded: 1
file:
- access_level: open_access
checksum: 6daf2d2086111aa8fd3fbc919a3e2833
content_type: application/pdf
creator: casillas
date_created: 2019-05-13T09:16:20Z
date_updated: 2021-02-11T11:17:15Z
embargo: 2020-05-08
file_id: '6438'
file_name: tesisDoctoradoBC.pdf
file_size: 3895187
relation: main_file
- access_level: closed
checksum: 3d221aaff7559a7060230a1ff610594f
content_type: application/zip
creator: casillas
date_created: 2019-05-13T09:16:20Z
date_updated: 2020-07-14T12:47:30Z
embargo_to: open_access
file_id: '6439'
file_name: tesisDoctoradoBC.zip
file_size: 7365118
relation: source_file
file_date_updated: 2021-02-11T11:17:15Z
has_accepted_license: '1'
keyword:
- Social Immunity
- Sanitary care
- Social Insects
- Organisational Immunity
- Colony development
- Multi-target tracking
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: '183'
project:
- _id: 2649B4DE-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '771402'
name: Epidemics in ant societies on a chip
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '1999'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Sylvia M
full_name: Cremer, Sylvia M
id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
last_name: Cremer
orcid: 0000-0002-2193-3868
title: Collective defenses of garden ants against a fungal pathogen
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2019'
...
---
OA_place: publisher
_id: '6849'
abstract:
- lang: eng
text: 'Brain function is mediated by complex dynamical interactions between excitatory
and inhibitory cell types. The Cholecystokinin-expressing inhibitory cells (CCK-interneurons)
are one of the least studied types, despite being suspected to play important
roles in cognitive processes. We studied the network effects of optogenetic silencing
of CCK-interneurons in the CA1 hippocampal area during exploration and sleep states.
The cell firing pattern in response to light pulses allowed us to classify the
recorded neurons in 5 classes, including disinhibited and non-responsive pyramidal
cell and interneurons, and the inhibited interneurons corresponding to the CCK
group. The light application, which inhibited the activity of CCK interneurons
triggered wider changes in the firing dynamics of cells. We observed rate changes
(i.e. remapping) of pyramidal cells during the exploration session in which the
light was applied relative to the previous control session that was not restricted
neither in time nor space to the light delivery. Also, the disinhibited pyramidal
cells had higher increase in bursting than in single spike firing rate as a result
of CCK silencing. In addition, the firing activity patterns during exploratory
periods were more weakly reactivated in sleep for those periods in which CCK-interneuron
were silenced than in the unaffected periods. Furthermore, light pulses during
sleep disrupted the reactivation of recent waking patterns. Hence, silencing CCK
neurons during exploration suppressed the reactivation of waking firing patterns
in sleep and CCK interneuron activity was also required during sleep for the normal
reactivation of waking patterns. These findings demonstrate the involvement of
CCK cells in reactivation-related memory consolidation. An important part of our
analysis was to test the relationship of the identified CCKinterneurons to brain
oscillations. Our findings showed that these cells exhibited different oscillatory
behaviour during anaesthesia and natural waking and sleep conditions. We showed
that: 1) Contrary to the past studies performed under anaesthesia, the identified
CCKinterneurons fired on the descending portion of the theta phase in waking exploration.
2) CCKinterneuron preferred phases around the trough of gamma oscillations. 3)
Contrary to anaesthesia conditions, the average firing rate of the CCK-interneurons
increased around the peak activity of the sharp-wave ripple (SWR) events in natural
sleep, which is congruent with new reports about their functional connectivity.
We also found that light driven CCK-interneuron silencing altered the dynamics
on the CA1 network oscillatory activity: 1) Pyramidal cells negatively shifted
their preferred theta phases when the light was applied, while interneurons responses
were less consistent. 2) As a population, pyramidal cells negatively shifted their
preferred activity during gamma oscillations, albeit we did not find gamma modulation
differences related to the light application when pyramidal cells were subdivided
into the disinhibited and unaffected groups. 3) During the peak of SWR events,
all but the CCK-interneurons had a reduction in their relative firing rate change
during the light application as compared to the change observed at SWR initiation.
Finally, regarding to the place field activity of the recorded pyramidal neurons,
we showed that the disinhibited pyramidal cells had reduced place field similarity,
coherence and spatial information, but only during the light application. The
mechanisms behind such observed behaviours might involve eCB signalling and plastic
changes in CCK-interneuron synapses. In conclusion, the observed changes related
to the light-mediated silencing of CCKinterneurons have unravelled characteristics
of this interneuron subpopulation that might change the understanding not only
of their particular network interactions, but also of the current theories about
the emergence of certain cognitive processes such as place coding needed for navigation
or hippocampus-dependent memory consolidation. '
acknowledged_ssus:
- _id: Bio
- _id: PreCl
- _id: M-Shop
alternative_title:
- ISTA Thesis
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
citation:
ama: Rangel Guerrero DK. The role of CCK-interneurons in regulating hippocampal
network dynamics. 2019. doi:10.15479/AT:ISTA:6849
apa: Rangel Guerrero, D. K. (2019). The role of CCK-interneurons in regulating
hippocampal network dynamics. Institute of Science and Technology Austria.
https://doi.org/10.15479/AT:ISTA:6849
chicago: Rangel Guerrero, Dámaris K. “The Role of CCK-Interneurons in Regulating
Hippocampal Network Dynamics.” Institute of Science and Technology Austria, 2019.
https://doi.org/10.15479/AT:ISTA:6849.
ieee: D. K. Rangel Guerrero, “The role of CCK-interneurons in regulating hippocampal
network dynamics,” Institute of Science and Technology Austria, 2019.
ista: Rangel Guerrero DK. 2019. The role of CCK-interneurons in regulating hippocampal
network dynamics. Institute of Science and Technology Austria.
mla: Rangel Guerrero, Dámaris K. The Role of CCK-Interneurons in Regulating Hippocampal
Network Dynamics. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6849.
short: D.K. Rangel Guerrero, The Role of CCK-Interneurons in Regulating Hippocampal
Network Dynamics, Institute of Science and Technology Austria, 2019.
corr_author: '1'
date_created: 2019-09-06T06:54:16Z
date_published: 2019-09-09T00:00:00Z
date_updated: 2026-04-08T13:56:53Z
day: '09'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: JoCs
doi: 10.15479/AT:ISTA:6849
file:
- access_level: closed
checksum: 244dc4f74dbfc94f414156092298831f
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: drangel
date_created: 2019-09-09T13:09:45Z
date_updated: 2021-02-10T23:30:09Z
embargo_to: open_access
file_id: '6865'
file_name: Thesis_Damaris_Rangel_source.docx
file_size: 18253100
relation: source_file
- access_level: open_access
checksum: 59c73be40eeaa1c4db24067270151555
content_type: application/pdf
creator: drangel
date_created: 2019-09-09T13:09:52Z
date_updated: 2020-09-11T22:30:04Z
embargo: 2020-09-10
file_id: '6866'
file_name: Thesis_Damaris_Rangel_pdfa.pdf
file_size: 2160109
relation: main_file
request_a_copy: 0
file_date_updated: 2021-02-10T23:30:09Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: '97'
publication_identifier:
isbn:
- 978-3-99078-003-9
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '5914'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Jozsef L
full_name: Csicsvari, Jozsef L
id: 3FA14672-F248-11E8-B48F-1D18A9856A87
last_name: Csicsvari
orcid: 0000-0002-5193-4036
title: The role of CCK-interneurons in regulating hippocampal network dynamics
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2019'
...
---
_id: '6848'
abstract:
- lang: eng
text: Proton-translocating transhydrogenase (also known as nicotinamide nucleotide
transhydrogenase (NNT)) is found in the plasma membranes of bacteria and the inner
mitochondrial membranes of eukaryotes. NNT catalyses the transfer of a hydride
between NADH and NADP+, coupled to the translocation of one proton across the
membrane. Its main physiological function is the generation of NADPH, which is
a substrate in anabolic reactions and a regulator of oxidative status; however,
NNT may also fine-tune the Krebs cycle1,2. NNT deficiency causes familial glucocorticoid
deficiency in humans and metabolic abnormalities in mice, similar to those observed
in type II diabetes3,4. The catalytic mechanism of NNT has been proposed to involve
a rotation of around 180° of the entire NADP(H)-binding domain that alternately
participates in hydride transfer and proton-channel gating. However, owing to
the lack of high-resolution structures of intact NNT, the details of this process
remain unclear5,6. Here we present the cryo-electron microscopy structure of intact
mammalian NNT in different conformational states. We show how the NADP(H)-binding
domain opens the proton channel to the opposite sides of the membrane, and we
provide structures of these two states. We also describe the catalytically important
interfaces and linkers between the membrane and the soluble domains and their
roles in nucleotide exchange. These structures enable us to propose a revised
mechanism for a coupling process in NNT that is consistent with a large body of
previous biochemical work. Our results are relevant to the development of currently
unavailable NNT inhibitors, which may have therapeutic potential in ischaemia
reperfusion injury, metabolic syndrome and some cancers7,8,9.
acknowledged_ssus:
- _id: ScienComp
acknowledgement: " We thank R. Thompson, G. Effantin and V.-V. Hodirnau for their
assistance with collecting NADP+, NADPH and apo datasets, respectively. Data processing
was performed at the IST high-performance computing cluster.\r\nThis project has
received funding from the European Union’s Horizon 2020 research and innovation
programme under the Marie Skłodowska-Curie Grant Agreement no. 665385."
article_processing_charge: No
article_type: letter_note
author:
- first_name: Domen
full_name: Kampjut, Domen
id: 37233050-F248-11E8-B48F-1D18A9856A87
last_name: Kampjut
orcid: 0000-0002-6018-3422
- first_name: Leonid A
full_name: Sazanov, Leonid A
id: 338D39FE-F248-11E8-B48F-1D18A9856A87
last_name: Sazanov
orcid: 0000-0002-0977-7989
citation:
ama: Kampjut D, Sazanov LA. Structure and mechanism of mitochondrial proton-translocating
transhydrogenase. Nature. 2019;573(7773):291–295. doi:10.1038/s41586-019-1519-2
apa: Kampjut, D., & Sazanov, L. A. (2019). Structure and mechanism of mitochondrial
proton-translocating transhydrogenase. Nature. Springer Nature. https://doi.org/10.1038/s41586-019-1519-2
chicago: Kampjut, Domen, and Leonid A Sazanov. “Structure and Mechanism of Mitochondrial
Proton-Translocating Transhydrogenase.” Nature. Springer Nature, 2019.
https://doi.org/10.1038/s41586-019-1519-2.
ieee: D. Kampjut and L. A. Sazanov, “Structure and mechanism of mitochondrial proton-translocating
transhydrogenase,” Nature, vol. 573, no. 7773. Springer Nature, pp. 291–295,
2019.
ista: Kampjut D, Sazanov LA. 2019. Structure and mechanism of mitochondrial proton-translocating
transhydrogenase. Nature. 573(7773), 291–295.
mla: Kampjut, Domen, and Leonid A. Sazanov. “Structure and Mechanism of Mitochondrial
Proton-Translocating Transhydrogenase.” Nature, vol. 573, no. 7773, Springer
Nature, 2019, pp. 291–295, doi:10.1038/s41586-019-1519-2.
short: D. Kampjut, L.A. Sazanov, Nature 573 (2019) 291–295.
date_created: 2019-09-04T06:21:41Z
date_published: 2019-09-12T00:00:00Z
date_updated: 2026-05-17T22:30:57Z
day: '12'
ddc:
- '572'
department:
- _id: LeSa
doi: 10.1038/s41586-019-1519-2
ec_funded: 1
external_id:
isi:
- '000485415400061'
pmid:
- '31462775'
file:
- access_level: open_access
checksum: 52728cda5210a3e9b74cc204e8aed3d5
content_type: application/pdf
creator: lsazanov
date_created: 2020-11-26T16:33:44Z
date_updated: 2020-11-26T16:33:44Z
file_id: '8821'
file_name: Manuscript_final_acc_withFigs_SI_opt_red.pdf
file_size: 3066206
relation: main_file
success: 1
file_date_updated: 2020-11-26T16:33:44Z
has_accepted_license: '1'
intvolume: ' 573'
isi: 1
issue: '7773'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Submitted Version
page: 291–295
pmid: 1
project:
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication: Nature
publication_identifier:
eissn:
- 1476-4687
issn:
- 0028-0836
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
link:
- description: News on IST Website
relation: press_release
url: https://ist.ac.at/en/news/high-end-microscopy-reveals-structure-and-function-of-crucial-metabolic-enzyme/
record:
- id: '8340'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Structure and mechanism of mitochondrial proton-translocating transhydrogenase
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 573
year: '2019'
...
---
OA_place: publisher
_id: '6269'
abstract:
- lang: eng
text: 'Clathrin-Mediated Endocytosis (CME) is an aspect of cellular trafficking
that is constantly regulated for mediating developmental and physiological responses.
The main aim of my thesis is to decipher the basic mechanisms of CME and post-endocytic
trafficking in the whole multicellular organ systems of Arabidopsis. The first
chapter of my thesis describes the search for new components involved in CME.
Tandem affinity purification was conducted using CLC and its interacting partners
were identified. Amongst the identified proteins were the Auxilin-likes1 and 2
(Axl1/2), putative uncoating factors, for which we made a full functional analysis.
Over-expression of Axl1/2 causes extreme modifications in the dynamics of the
machinery proteins and inhibition of endocytosis altogether. However the loss
of function of the axl1/2 did not present any cellular or physiological phenotype,
meaning Auxilin-likes do not form the major uncoating machinery. The second chapter
of my thesis describes the establishment/utilisation of techniques to capture
the dynamicity and the complexity of CME and post-endocytic trafficking. We have
studied the development of endocytic pits at the PM – specifically, the mode of
membrane remodeling during pit development and the role of actin in it, given
plant cells possess high turgor pressure. Utilizing the improved z-resolution
of TIRF and VAEM techniques, we captured the time-lapse of the endocytic events
at the plasma membrane; and using particle detection software, we quantitatively
analysed all the endocytic trajectories in an unbiased way to obtain the endocytic
rate of the system. This together with the direct analysis of cargo internalisation
from the PM provided an estimate on the endocytic potential of the cell. We also
developed a methodology for ultrastructural analysis of different populations
of Clathrin-Coated Structures (CCSs) in both PM and endomembranes in unroofed
protoplasts. Structural analysis, together with the intensity profile of CCSs
at the PM show that the mode of CCP development at the PM follows ‘Constant curvature
model’; meaning that clathrin polymerisation energy is a major contributing factor
of membrane remodeling. In addition, other analyses clearly show that actin is
not required for membrane remodeling during invagination or any other step of
CCP development, despite the prevalent high turgor pressure. However, actin is
essential in orchestrating the post-endocytic trafficking of CCVs facilitating
the EE formation. We also observed that the uncoating process post-endocytosis
is not immediate; an alternative mechanism of uncoating – Sequential multi-step
process – functions in the cell. Finally we also looked at one of the important
physiological stimuli modulating the process – hormone, auxin. auxin has been
known to influence CME before. We have made a detailed study on the concentration-time
based effect of auxin on the machinery proteins, CCP development, and the specificity
of cargoes endocytosed. To this end, we saw no general effect of auxin on CME
at earlier time points. However, very low concentration of IAA, such as 50nM,
accelerates endocytosis of specifically PIN2 through CME. Such a tight regulatory
control with high specificity to PIN2 could be essential in modulating its polarity. '
acknowledged_ssus:
- _id: Bio
- _id: EM-Fac
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Madhumitha
full_name: Narasimhan, Madhumitha
id: 44BF24D0-F248-11E8-B48F-1D18A9856A87
last_name: Narasimhan
orcid: 0000-0002-8600-0671
citation:
ama: Narasimhan M. Clathrin-Mediated endocytosis, post-endocytic trafficking and
their regulatory controls in plants . 2019. doi:10.15479/at:ista:th1075
apa: Narasimhan, M. (2019). Clathrin-Mediated endocytosis, post-endocytic trafficking
and their regulatory controls in plants . Institute of Science and Technology
Austria. https://doi.org/10.15479/at:ista:th1075
chicago: Narasimhan, Madhumitha. “Clathrin-Mediated Endocytosis, Post-Endocytic
Trafficking and Their Regulatory Controls in Plants .” Institute of Science and
Technology Austria, 2019. https://doi.org/10.15479/at:ista:th1075.
ieee: M. Narasimhan, “Clathrin-Mediated endocytosis, post-endocytic trafficking
and their regulatory controls in plants ,” Institute of Science and Technology
Austria, 2019.
ista: Narasimhan M. 2019. Clathrin-Mediated endocytosis, post-endocytic trafficking
and their regulatory controls in plants . Institute of Science and Technology
Austria.
mla: Narasimhan, Madhumitha. Clathrin-Mediated Endocytosis, Post-Endocytic Trafficking
and Their Regulatory Controls in Plants . Institute of Science and Technology
Austria, 2019, doi:10.15479/at:ista:th1075.
short: M. Narasimhan, Clathrin-Mediated Endocytosis, Post-Endocytic Trafficking
and Their Regulatory Controls in Plants , Institute of Science and Technology
Austria, 2019.
corr_author: '1'
date_created: 2019-04-09T14:37:06Z
date_published: 2019-02-04T00:00:00Z
date_updated: 2026-04-08T14:00:24Z
day: '04'
ddc:
- '575'
degree_awarded: PhD
department:
- _id: JiFr
doi: 10.15479/at:ista:th1075
file:
- access_level: open_access
checksum: c958f27dd752712886e7e2638b847a3c
content_type: video/x-msvideo
creator: dernst
date_created: 2019-04-09T14:35:18Z
date_updated: 2021-02-11T23:30:15Z
embargo: 2020-02-11
file_id: '6270'
file_name: Supplementary_movie_1.avi
file_size: 5402078
relation: main_file
- access_level: open_access
checksum: 8786fdc29c62987c0aad3c866a4d3691
content_type: video/x-msvideo
creator: dernst
date_created: 2019-04-09T14:35:18Z
date_updated: 2021-02-11T23:30:15Z
embargo: 2020-02-11
file_id: '6271'
file_name: 3.7_supplementary_movie_10.avi
file_size: 5927736
relation: main_file
- access_level: open_access
checksum: 25f784c5159d6f4d966b2f9b371ebaf6
content_type: video/x-msvideo
creator: dernst
date_created: 2019-04-09T14:35:18Z
date_updated: 2021-02-11T23:30:15Z
embargo: 2020-02-11
file_id: '6272'
file_name: 3.7_supplementary_movie_9.avi
file_size: 9570210
relation: main_file
- access_level: open_access
checksum: 917069272a7a08d1f38224d5e12765d6
content_type: video/x-msvideo
creator: dernst
date_created: 2019-04-09T14:35:18Z
date_updated: 2021-02-11T23:30:15Z
embargo: 2020-02-11
file_id: '6273'
file_name: 3.7_supplementary_movie_8.avi
file_size: 2827360
relation: main_file
- access_level: open_access
checksum: 81e74f5ca0ad70050504f18192236dc0
content_type: video/x-msvideo
creator: dernst
date_created: 2019-04-09T14:35:18Z
date_updated: 2021-02-11T23:30:15Z
embargo: 2020-02-11
file_id: '6274'
file_name: 3.7_supplementary_movie_7.avi
file_size: 5771410
relation: main_file
- access_level: open_access
checksum: 47eb37b27a2930252713924307ea8c6f
content_type: video/x-msvideo
creator: dernst
date_created: 2019-04-09T14:35:18Z
date_updated: 2021-02-11T23:30:15Z
embargo: 2020-02-11
file_id: '6275'
file_name: 3.7_supplementary_movie_6.avi
file_size: 1113486
relation: main_file
- access_level: open_access
checksum: f68f66721041ce84e331959c9a5779c3
content_type: video/x-msvideo
creator: dernst
date_created: 2019-04-09T14:35:18Z
date_updated: 2021-02-11T23:30:15Z
embargo: 2020-02-11
file_id: '6276'
file_name: 3.7_supplementary_movie_5.avi
file_size: 1057232
relation: main_file
- access_level: open_access
checksum: 67c01cefab51b363c5e214fe4cd671f3
content_type: video/x-msvideo
creator: dernst
date_created: 2019-04-09T14:35:23Z
date_updated: 2021-02-11T23:30:15Z
embargo: 2020-02-11
file_id: '6277'
file_name: 3.7_supplementary_movie_3.avi
file_size: 127472916
relation: main_file
- access_level: open_access
checksum: e5a397edbee05b8821e2b19b3c1a9260
content_type: video/x-msvideo
creator: dernst
date_created: 2019-04-09T14:35:19Z
date_updated: 2021-02-11T23:30:15Z
embargo: 2020-02-11
file_id: '6278'
file_name: 3.7_supplementary_movie_4.avi
file_size: 3181238
relation: main_file
- access_level: open_access
checksum: 32d92b2a9277f956fdb0b42351d07c0b
content_type: video/x-msvideo
creator: dernst
date_created: 2019-04-09T14:35:19Z
date_updated: 2021-02-11T23:30:15Z
embargo: 2020-02-11
file_id: '6279'
file_name: 3.7_supplementary_movie_2.avi
file_size: 5970952
relation: main_file
- access_level: open_access
checksum: efe7001f5d9a8c61e631e12d5f324ade
content_type: video/x-msvideo
creator: dernst
date_created: 2019-04-09T14:35:21Z
date_updated: 2021-02-11T23:30:15Z
embargo: 2020-02-11
file_id: '6280'
file_name: 3.7_Supplementary_movie_1.avi
file_size: 39835236
relation: main_file
- access_level: open_access
checksum: eeb0a5603c6449c5f34eacd5ff0b3a16
content_type: video/x-msvideo
creator: dernst
date_created: 2019-04-09T14:35:21Z
date_updated: 2021-02-11T23:30:15Z
embargo: 2020-02-11
file_id: '6281'
file_name: 2.5_Suppl_Movie_4_AP2A1_TagRFP.avi
file_size: 3696740
relation: main_file
- access_level: open_access
checksum: 8e7c00ef6223bf0e177deb168338af13
content_type: video/x-msvideo
creator: dernst
date_created: 2019-04-09T14:35:21Z
date_updated: 2021-02-11T23:30:15Z
embargo: 2020-02-11
file_id: '6282'
file_name: 2.5_Suppl_Movie_3_TPLATE_GFP.avi
file_size: 6741232
relation: main_file
- access_level: open_access
checksum: 3636006a7cb709a7543d6581e359b28d
content_type: video/x-msvideo
creator: dernst
date_created: 2019-04-09T14:35:22Z
date_updated: 2021-02-11T23:30:15Z
embargo: 2020-02-11
file_id: '6283'
file_name: 2.5_Suppl_Movie_2_CLC_GFP.avi
file_size: 2445946
relation: main_file
- access_level: open_access
checksum: 39ca5519a6e9a38356e7b3704004fea7
content_type: video/x-msvideo
creator: dernst
date_created: 2019-04-09T14:35:22Z
date_updated: 2021-02-11T23:30:15Z
embargo: 2020-02-11
file_id: '6284'
file_name: 2.5_Suppl_Movie_1_CLC_GFPxAxl1_mcherry.avi
file_size: 58594
relation: main_file
- access_level: open_access
checksum: 4fcdaa3a6c645514a3b3205f0f69dc76
content_type: application/pdf
creator: dernst
date_created: 2019-04-09T14:35:33Z
date_updated: 2021-02-11T11:17:15Z
embargo: 2020-02-11
file_id: '6285'
file_name: 2019_Thesis_Narasimhan.pdf
file_size: 10553937
relation: main_file
- access_level: closed
checksum: 268f0b6bad21d5f0d671e5d4b88104a7
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: dernst
date_created: 2019-04-09T14:35:36Z
date_updated: 2020-07-14T12:47:26Z
embargo_to: open_access
file_id: '6286'
file_name: 2019_Thesis_Narasimhan_source.docx
file_size: 135291990
relation: source_file
file_date_updated: 2021-02-11T23:30:15Z
has_accepted_license: '1'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '02'
oa: 1
oa_version: Published Version
page: '138'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '412'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Jiří
full_name: Friml, Jiří
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
title: 'Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory
controls in plants '
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: '2019'
...
---
OA_place: publisher
_id: '6825'
abstract:
- lang: eng
text: "The solving of complex tasks requires the functions of more than one brain
area and their interaction. Whilst spatial navigation and memory is dependent
on the hippocampus, flexible behavior relies on the medial prefrontal cortex (mPFC).
To further examine the roles of the hippocampus and mPFC, we recorded their neural
activity during a task that depends on both of these brain regions.\r\nWith tetrodes,
we recorded the extracellular activity of dorsal hippocampal CA1 (HPC) and mPFC
neurons in Long-Evans rats performing a rule-switching task on the plus-maze.
The plus-maze task had a spatial component since it required navigation along
one of the two start arms and at the maze center a choice between one of the two
goal arms. Which goal contained a reward depended on the rule currently in place.
After an uncued rule change the animal had to abandon the old strategy and switch
to the new rule, testing cognitive flexibility. Investigating the coordination
of activity between the HPC and mPFC allows determination during which task stages
their interaction is required. Additionally, comparing neural activity patterns
in these two brain regions allows delineation of the specialized functions of
the HPC and mPFC in this task. We analyzed neural activity in the HPC and mPFC
in terms of oscillatory interactions, rule coding and replay.\r\nWe found that
theta coherence between the HPC and mPFC is increased at the center and goals
of the maze, both when the rule was stable or has changed. Similar results were
found for locking of HPC and mPFC neurons to HPC theta oscillations. However,
no differences in HPC-mPFC theta coordination were observed between the spatially-
and cue-guided rule. Phase locking of HPC and mPFC neurons to HPC gamma oscillations
was not modulated by\r\nmaze position or rule type. We found that the HPC coded
for the two different rules with cofiring relationships between\r\ncell pairs.
However, we could not find conclusive evidence for rule coding in the mPFC. Spatially-selective
firing in the mPFC generalized between the two start and two goal arms. With Bayesian
positional decoding, we found that the mPFC reactivated non-local positions during
awake immobility periods. Replay of these non-local positions could represent
entire behavioral trajectories resembling trajectory replay of the HPC. Furthermore,
mPFC\r\ntrajectory-replay at the goal positively correlated with rule-switching
performance. \r\nFinally, HPC and mPFC trajectory replay occurred independently
of each other. These results show that the mPFC can replay ordered patterns of
activity during awake immobility, possibly underlying its role in flexible behavior. "
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Karola
full_name: Käfer, Karola
id: 2DAA49AA-F248-11E8-B48F-1D18A9856A87
last_name: Käfer
citation:
ama: Käfer K. The hippocampus and medial prefrontal cortex during flexible behavior.
2019. doi:10.15479/AT:ISTA:6825
apa: Käfer, K. (2019). The hippocampus and medial prefrontal cortex during flexible
behavior. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6825
chicago: Käfer, Karola. “The Hippocampus and Medial Prefrontal Cortex during Flexible
Behavior.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6825.
ieee: K. Käfer, “The hippocampus and medial prefrontal cortex during flexible behavior,”
Institute of Science and Technology Austria, 2019.
ista: Käfer K. 2019. The hippocampus and medial prefrontal cortex during flexible
behavior. Institute of Science and Technology Austria.
mla: Käfer, Karola. The Hippocampus and Medial Prefrontal Cortex during Flexible
Behavior. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6825.
short: K. Käfer, The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior,
Institute of Science and Technology Austria, 2019.
corr_author: '1'
date_created: 2019-08-21T15:00:57Z
date_published: 2019-08-24T00:00:00Z
date_updated: 2026-04-08T13:56:14Z
day: '24'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: JoCs
- _id: GradSch
doi: 10.15479/AT:ISTA:6825
file:
- access_level: open_access
checksum: 2664420e332a33338568f4f3bfc59287
content_type: application/pdf
creator: kkaefer
date_created: 2019-09-03T08:07:13Z
date_updated: 2020-09-06T22:30:03Z
embargo: 2020-09-05
file_id: '6846'
file_name: Thesis_Kaefer_PDFA.pdf
file_size: 3205202
relation: main_file
request_a_copy: 0
- access_level: closed
checksum: 9a154eab6f07aa590a3d2651dc0d926a
content_type: application/zip
creator: kkaefer
date_created: 2019-09-03T08:07:17Z
date_updated: 2024-04-10T22:30:48Z
embargo_to: open_access
file_id: '6847'
file_name: Thesis_Kaefer.zip
file_size: 2506835
relation: source_file
file_date_updated: 2024-04-10T22:30:48Z
has_accepted_license: '1'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
page: '89'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '5949'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Jozsef L
full_name: Csicsvari, Jozsef L
id: 3FA14672-F248-11E8-B48F-1D18A9856A87
last_name: Csicsvari
orcid: 0000-0002-5193-4036
title: The hippocampus and medial prefrontal cortex during flexible behavior
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2019'
...
---
_id: '5949'
abstract:
- lang: eng
text: Aberrant proteostasis of protein aggregation may lead to behavior disorders
including chronic mental illnesses (CMI). Furthermore, the neuronal activity alterations
that underlie CMI are not well understood. We recorded the local field potential
and single-unit activity of the hippocampal CA1 region in vivo in rats transgenically
overexpressing the Disrupted-in-Schizophrenia 1 (DISC1) gene (tgDISC1), modeling
sporadic CMI. These tgDISC1 rats have previously been shown to exhibit DISC1 protein
aggregation, disturbances in the dopaminergic system and attention-related deficits.
Recordings were performed during exploration of familiar and novel open field
environments and during sleep, allowing investigation of neuronal abnormalities
in unconstrained behavior. Compared to controls, tgDISC1 place cells exhibited
smaller place fields and decreased speed-modulation of their firing rates, demonstrating
altered spatial coding and deficits in encoding location-independent sensory inputs.
Oscillation analyses showed that tgDISC1 pyramidal neurons had higher theta phase
locking strength during novelty, limiting their phase coding ability. However,
their mean theta phases were more variable at the population level, reducing oscillatory
network synchronization. Finally, tgDISC1 pyramidal neurons showed a lack of novelty-induced
shift in their preferred theta and gamma firing phases, indicating deficits in
coding of novel environments with oscillatory firing. By combining single cell
and neuronal population analyses, we link DISC1 protein pathology with abnormal
hippocampal neural coding and network synchrony, and thereby gain a more comprehensive
understanding of CMI mechanisms.
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Karola
full_name: Käfer, Karola
id: 2DAA49AA-F248-11E8-B48F-1D18A9856A87
last_name: Käfer
- first_name: Hugo
full_name: Malagon-Vina, Hugo
last_name: Malagon-Vina
- first_name: Desiree
full_name: Dickerson, Desiree
id: 444EB89E-F248-11E8-B48F-1D18A9856A87
last_name: Dickerson
- first_name: Joseph
full_name: O'Neill, Joseph
last_name: O'Neill
- first_name: Svenja V.
full_name: Trossbach, Svenja V.
last_name: Trossbach
- first_name: Carsten
full_name: Korth, Carsten
last_name: Korth
- first_name: Jozsef L
full_name: Csicsvari, Jozsef L
id: 3FA14672-F248-11E8-B48F-1D18A9856A87
last_name: Csicsvari
orcid: 0000-0002-5193-4036
citation:
ama: Käfer K, Malagon-Vina H, Dickerson D, et al. Disrupted-in-schizophrenia 1 overexpression
disrupts hippocampal coding and oscillatory synchronization. Hippocampus.
2019;29(9):802-816. doi:10.1002/hipo.23076
apa: Käfer, K., Malagon-Vina, H., Dickerson, D., O’Neill, J., Trossbach, S. V.,
Korth, C., & Csicsvari, J. L. (2019). Disrupted-in-schizophrenia 1 overexpression
disrupts hippocampal coding and oscillatory synchronization. Hippocampus.
Wiley. https://doi.org/10.1002/hipo.23076
chicago: Käfer, Karola, Hugo Malagon-Vina, Desiree Dickerson, Joseph O’Neill, Svenja
V. Trossbach, Carsten Korth, and Jozsef L Csicsvari. “Disrupted-in-Schizophrenia
1 Overexpression Disrupts Hippocampal Coding and Oscillatory Synchronization.”
Hippocampus. Wiley, 2019. https://doi.org/10.1002/hipo.23076.
ieee: K. Käfer et al., “Disrupted-in-schizophrenia 1 overexpression disrupts
hippocampal coding and oscillatory synchronization,” Hippocampus, vol.
29, no. 9. Wiley, pp. 802–816, 2019.
ista: Käfer K, Malagon-Vina H, Dickerson D, O’Neill J, Trossbach SV, Korth C, Csicsvari
JL. 2019. Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding
and oscillatory synchronization. Hippocampus. 29(9), 802–816.
mla: Käfer, Karola, et al. “Disrupted-in-Schizophrenia 1 Overexpression Disrupts
Hippocampal Coding and Oscillatory Synchronization.” Hippocampus, vol.
29, no. 9, Wiley, 2019, pp. 802–16, doi:10.1002/hipo.23076.
short: K. Käfer, H. Malagon-Vina, D. Dickerson, J. O’Neill, S.V. Trossbach, C. Korth,
J.L. Csicsvari, Hippocampus 29 (2019) 802–816.
date_created: 2019-02-10T22:59:18Z
date_published: 2019-09-01T00:00:00Z
date_updated: 2026-05-17T22:31:00Z
day: '01'
ddc:
- '570'
department:
- _id: JoCs
doi: 10.1002/hipo.23076
ec_funded: 1
external_id:
isi:
- '000480635400003'
file:
- access_level: open_access
checksum: 5e8de271ca04aef92a5de42d6aac4404
content_type: application/pdf
creator: dernst
date_created: 2019-02-11T10:42:51Z
date_updated: 2020-07-14T12:47:13Z
file_id: '5950'
file_name: 2019_Hippocampus_Kaefer.pdf
file_size: 2132893
relation: main_file
file_date_updated: 2020-07-14T12:47:13Z
has_accepted_license: '1'
intvolume: ' 29'
isi: 1
issue: '9'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: 802-816
project:
- _id: 257BBB4C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '607616'
name: inter-and intracellular signalling in schizophrenia
publication: Hippocampus
publication_status: published
publisher: Wiley
quality_controlled: '1'
related_material:
record:
- id: '6825'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and
oscillatory synchronization
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 29
year: '2019'
...
---
OA_place: publisher
_id: '6371'
abstract:
- lang: eng
text: "Decades of studies have revealed the mechanisms of gene regulation in molecular
detail. We make use of such well-described regulatory systems to explore how the
molecular mechanisms of protein-protein and protein-DNA interactions shape the
dynamics and evolution of gene regulation. \r\n\r\ni) We uncover how the biophysics
of protein-DNA binding determines the potential of regulatory networks to evolve
and adapt, which can be captured using a simple mathematical model. \r\nii) The
evolution of regulatory connections can lead to a significant amount of crosstalk
between binding proteins. We explore the effect of crosstalk on gene expression
from a target promoter, which seems to be modulated through binding competition
at non-specific DNA sites. \r\niii) We investigate how the very same biophysical
characteristics as in i) can generate significant fitness costs for cells through
global crosstalk, meaning non-specific DNA binding across the genomic background.
\r\niv) Binding competition between proteins at a target promoter is a prevailing
regulatory feature due to the prevalence of co-regulation at bacterial promoters.
However, the dynamics of these systems are not always straightforward to determine
even if the molecular mechanisms of regulation are known. A detailed model of
the biophysical interactions reveals that interference between the regulatory
proteins can constitute a new, generic form of system memory that records the
history of the input signals at the promoter. \r\n\r\nWe demonstrate how the biophysics
of protein-DNA binding can be harnessed to investigate the principles that shape
and ultimately limit cellular gene regulation. These results provide a basis for
studies of higher-level functionality, which arises from the underlying regulation.
\ \r\n"
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Claudia
full_name: Igler, Claudia
id: 46613666-F248-11E8-B48F-1D18A9856A87
last_name: Igler
orcid: 0000-0001-7777-546X
citation:
ama: Igler C. On the nature of gene regulatory design - The biophysics of transcription
factor binding shapes gene regulation. 2019. doi:10.15479/AT:ISTA:6371
apa: Igler, C. (2019). On the nature of gene regulatory design - The biophysics
of transcription factor binding shapes gene regulation. Institute of Science
and Technology Austria. https://doi.org/10.15479/AT:ISTA:6371
chicago: Igler, Claudia. “On the Nature of Gene Regulatory Design - The Biophysics
of Transcription Factor Binding Shapes Gene Regulation.” Institute of Science
and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6371.
ieee: C. Igler, “On the nature of gene regulatory design - The biophysics of transcription
factor binding shapes gene regulation,” Institute of Science and Technology Austria,
2019.
ista: Igler C. 2019. On the nature of gene regulatory design - The biophysics of
transcription factor binding shapes gene regulation. Institute of Science and
Technology Austria.
mla: Igler, Claudia. On the Nature of Gene Regulatory Design - The Biophysics
of Transcription Factor Binding Shapes Gene Regulation. Institute of Science
and Technology Austria, 2019, doi:10.15479/AT:ISTA:6371.
short: C. Igler, On the Nature of Gene Regulatory Design - The Biophysics of Transcription
Factor Binding Shapes Gene Regulation, Institute of Science and Technology Austria,
2019.
corr_author: '1'
date_created: 2019-05-03T11:55:51Z
date_published: 2019-05-03T00:00:00Z
date_updated: 2026-04-08T13:56:27Z
day: '03'
ddc:
- '576'
- '579'
degree_awarded: PhD
department:
- _id: CaGu
doi: 10.15479/AT:ISTA:6371
file:
- access_level: open_access
checksum: c0085d47c58c9cbcab1b0a783480f6da
content_type: application/pdf
creator: cigler
date_created: 2019-05-03T11:54:52Z
date_updated: 2021-02-11T11:17:13Z
embargo: 2020-05-02
file_id: '6373'
file_name: IglerClaudia_OntheNatureofGeneRegulatoryDesign.pdf
file_size: 12597663
relation: main_file
- access_level: closed
checksum: 2eac954de1c8bbf7e6fb35ed0221ae8c
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: cigler
date_created: 2019-05-03T11:54:54Z
date_updated: 2020-07-14T12:47:28Z
embargo_to: open_access
file_id: '6374'
file_name: IglerClaudia_OntheNatureofGeneRegulatoryDesign.docx
file_size: 34644426
relation: source_file
file_date_updated: 2021-02-11T11:17:13Z
has_accepted_license: '1'
keyword:
- gene regulation
- biophysics
- transcription factor binding
- bacteria
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: '152'
project:
- _id: 251EE76E-B435-11E9-9278-68D0E5697425
grant_number: '24573'
name: Design principles underlying genetic switch architecture
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '67'
relation: part_of_dissertation
status: public
- id: '5585'
relation: popular_science
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: On the nature of gene regulatory design - The biophysics of transcription factor
binding shapes gene regulation
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2019'
...
---
OA_place: publisher
_id: '6947'
abstract:
- lang: eng
text: Lymph nodes are es s ential organs of the immune s ys tem where adaptive
immune responses originate, and consist of various leukocyte populations and a
stromal backbone. Fibroblastic reticular cells (FRCs) are the main stromal cells
and form a sponge-like extracellular matrix network, called conduits , which they thems
elves enwrap and contract. Lymph, containing s oluble antigens , arrive
in lymph nodes via afferent lymphatic vessels that connect to the s ubcaps
ular s inus and conduit network. According to the current paradigm, the conduit network dis
tributes afferent lymph through lymph nodes and thus provides acces
s for immune cells to lymph-borne antigens. An elas tic caps ule s urrounds the organ and confines the
immune cells and FRC network. Lymph nodes are completely packed with lymphocytes and lymphocyte numbers directly dictates the
size of the organ. Although lymphocytes cons tantly enter and leave the lymph node, its s
ize remains remarkedly s table under homeostatic conditions. It is only
partly known how the cellularity and s ize of the lymph node is regulated and how the lymph node is
able to swell in inflammation. The role of the FRC network in lymph node s
welling and trans fer of fluids are inves tigated in this thes is. Furthermore, we s
tudied what trafficking routes are us ed by cancer cells in lymph nodes to form distal
metastases.We examined the role of a mechanical feedback in regulation of lymph node
swelling. Using parallel plate compression and UV-las er cutting experiments we dis
s ected the mechanical force dynamics of the whole lymph node, and individually
for FRCs and the caps ule. Physical forces generated by packed lymphocytes directly affect the tens
ion on the FRC network and capsule, which increases its resistance to swelling. This implies a feedback mechanism between tis
s ue pres s ure and ability of lymphocytes to enter the organ. Following inflammation, the lymph node swells
∼10 fold in two weeks . Yet, what is the role for tens ion on the FRC network and caps
ule, and how are lymphocytes able to enter in conditions that resist
swelling remain open ques tions . We s how that tens ion on the FRC network is important
to limit the swelling rate of the organ so that the FRC network can grow in a coordinated fashion.
This is illustrated by interfering with FRC contractility, which leads to faster
swelling rates and a dis organized FRC network in the inflamed lymph node.
Growth of the FRC network in turn is expected to releas e tens ion on thes
e s tructures and lowers the res is tance to swelling, thereby allowing
more lymphocytes to enter the organ and drive more swelling. Halt of swelling
coincides with a thickening of the caps ule, which forms a thick res
is tant band around the organ and lowers tens ion on the FRC network to form
a new force equilibrium.The FRC and conduit network are further believed to be a privileged s
ite of s oluble information within the lymph node, although many details remain uns
olved. We s how by 3D ultra-recons truction that FRCs and antigen pres
enting cells cover the s urface of conduit s ys tem for more than 99%
and we dis cus s the implications for s oluble information exchangeat the conduit
level.Finally, there is an ongoing debate in the cancer field whether and how
cancer cells in lymph nodes s eed dis tal metas tas es . We s how that cancer cells infus
ed into the lymph node can utilize trafficking routes of immune cells and rapidly migrate to blood vessels.
Once in the blood circulation, these cells are able to form metastases in
distal tissues.
acknowledged_ssus:
- _id: Bio
- _id: PreCl
- _id: EM-Fac
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Frank P
full_name: Assen, Frank P
id: 3A8E7F24-F248-11E8-B48F-1D18A9856A87
last_name: Assen
orcid: 0000-0003-3470-6119
citation:
ama: 'Assen FP. Lymph node mechanics: Deciphering the interplay between stroma contractility,
morphology and lymphocyte trafficking. 2019. doi:10.15479/AT:ISTA:6947'
apa: 'Assen, F. P. (2019). Lymph node mechanics: Deciphering the interplay between
stroma contractility, morphology and lymphocyte trafficking. Institute of
Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6947'
chicago: 'Assen, Frank P. “Lymph Node Mechanics: Deciphering the Interplay between
Stroma Contractility, Morphology and Lymphocyte Trafficking.” Institute of Science
and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6947.'
ieee: 'F. P. Assen, “Lymph node mechanics: Deciphering the interplay between stroma
contractility, morphology and lymphocyte trafficking,” Institute of Science and
Technology Austria, 2019.'
ista: 'Assen FP. 2019. Lymph node mechanics: Deciphering the interplay between stroma
contractility, morphology and lymphocyte trafficking. Institute of Science and
Technology Austria.'
mla: 'Assen, Frank P. Lymph Node Mechanics: Deciphering the Interplay between
Stroma Contractility, Morphology and Lymphocyte Trafficking. Institute of
Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6947.'
short: 'F.P. Assen, Lymph Node Mechanics: Deciphering the Interplay between Stroma
Contractility, Morphology and Lymphocyte Trafficking, Institute of Science and
Technology Austria, 2019.'
corr_author: '1'
date_created: 2019-10-14T16:54:52Z
date_published: 2019-10-09T00:00:00Z
date_updated: 2026-04-08T14:01:50Z
day: '09'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: MiSi
doi: 10.15479/AT:ISTA:6947
file:
- access_level: closed
checksum: 53a739752a500f84d0f8ec953cbbd0b6
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: fassen
date_created: 2019-11-06T12:30:02Z
date_updated: 2020-11-07T23:30:03Z
embargo_to: open_access
file_id: '6990'
file_name: PhDthesis_FrankAssen_revised2.docx
file_size: 214172667
relation: source_file
- access_level: open_access
checksum: 8c156b65d9347bb599623a4b09f15d15
content_type: application/pdf
creator: fassen
date_created: 2019-11-06T12:30:57Z
date_updated: 2020-11-07T23:30:03Z
embargo: 2020-11-06
file_id: '6991'
file_name: PhDthesis_FrankAssen_revised2.pdf
file_size: 83637532
relation: main_file
file_date_updated: 2020-11-07T23:30:03Z
has_accepted_license: '1'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: '142'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '402'
relation: part_of_dissertation
status: public
- id: '664'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
title: 'Lymph node mechanics: Deciphering the interplay between stroma contractility,
morphology and lymphocyte trafficking'
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2019'
...
---
_id: '6187'
abstract:
- lang: eng
text: Aberrant display of the truncated core1 O-glycan T-antigen is a common feature
of human cancer cells that correlates with metastasis. Here we show that T-antigen
in Drosophila melanogaster macrophages is involved in their developmentally programmed
tissue invasion. Higher macrophage T-antigen levels require an atypical major
facilitator superfamily (MFS) member that we named Minerva which enables macrophage
dissemination and invasion. We characterize for the first time the T and Tn glycoform
O-glycoproteome of the Drosophila melanogaster embryo, and determine that Minerva
increases the presence of T-antigen on proteins in pathways previously linked
to cancer, most strongly on the sulfhydryl oxidase Qsox1 which we show is required
for macrophage tissue entry. Minerva’s vertebrate ortholog, MFSD1, rescues the
minerva mutant’s migration and T-antigen glycosylation defects. We thus identify
a key conserved regulator that orchestrates O-glycosylation on a protein subset
to activate a program governing migration steps important for both development
and cancer metastasis.
acknowledged_ssus:
- _id: LifeSc
article_number: e41801
article_processing_charge: No
author:
- first_name: Katarina
full_name: Valosková, Katarina
id: 46F146FC-F248-11E8-B48F-1D18A9856A87
last_name: Valosková
orcid: 0000-0002-7926-0221
- first_name: Julia
full_name: Biebl, Julia
id: 3CCBB46E-F248-11E8-B48F-1D18A9856A87
last_name: Biebl
- first_name: Marko
full_name: Roblek, Marko
id: 3047D808-F248-11E8-B48F-1D18A9856A87
last_name: Roblek
orcid: 0000-0001-9588-1389
- first_name: Shamsi
full_name: Emtenani, Shamsi
id: 49D32318-F248-11E8-B48F-1D18A9856A87
last_name: Emtenani
orcid: 0000-0001-6981-6938
- 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: Michaela
full_name: Misova, Michaela
id: 495A3C32-F248-11E8-B48F-1D18A9856A87
last_name: Misova
orcid: 0000-0003-2427-6856
- first_name: Aparna
full_name: Ratheesh, Aparna
id: 2F064CFE-F248-11E8-B48F-1D18A9856A87
last_name: Ratheesh
orcid: 0000-0001-7190-0776
- first_name: Patricia
full_name: Dos Reis Rodrigues, Patricia
id: 26E95904-5160-11E9-9C0B-C5B0DC97E90F
last_name: Dos Reis Rodrigues
orcid: 0000-0003-1681-508X
- first_name: Katerina
full_name: Shkarina, Katerina
last_name: Shkarina
- first_name: Ida Signe Bohse
full_name: Larsen, Ida Signe Bohse
last_name: Larsen
- first_name: Sergey Y
full_name: Vakhrushev, Sergey Y
last_name: Vakhrushev
- first_name: Henrik
full_name: Clausen, Henrik
last_name: Clausen
- 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: Valosková K, Bicher J, Roblek M, et al. A conserved major facilitator superfamily
member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion.
eLife. 2019;8. doi:10.7554/elife.41801
apa: Valosková, K., Bicher, J., Roblek, M., Emtenani, S., György, A., Misova, M.,
… Siekhaus, D. E. (2019). A conserved major facilitator superfamily member orchestrates
a subset of O-glycosylation to aid macrophage tissue invasion. ELife. eLife
Sciences Publications. https://doi.org/10.7554/elife.41801
chicago: Valosková, Katarina, Julia Bicher, Marko Roblek, Shamsi Emtenani, Attila
György, Michaela Misova, Aparna Ratheesh, et al. “A Conserved Major Facilitator
Superfamily Member Orchestrates a Subset of O-Glycosylation to Aid Macrophage
Tissue Invasion.” ELife. eLife Sciences Publications, 2019. https://doi.org/10.7554/elife.41801.
ieee: K. Valosková et al., “A conserved major facilitator superfamily member
orchestrates a subset of O-glycosylation to aid macrophage tissue invasion,” eLife,
vol. 8. eLife Sciences Publications, 2019.
ista: Valosková K, Bicher J, Roblek M, Emtenani S, György A, Misova M, Ratheesh
A, Dos Reis Rodrigues P, Shkarina K, Larsen ISB, Vakhrushev SY, Clausen H, Siekhaus
DE. 2019. A conserved major facilitator superfamily member orchestrates a subset
of O-glycosylation to aid macrophage tissue invasion. eLife. 8, e41801.
mla: Valosková, Katarina, et al. “A Conserved Major Facilitator Superfamily Member
Orchestrates a Subset of O-Glycosylation to Aid Macrophage Tissue Invasion.” ELife,
vol. 8, e41801, eLife Sciences Publications, 2019, doi:10.7554/elife.41801.
short: K. Valosková, J. Bicher, M. Roblek, S. Emtenani, A. György, M. Misova, A.
Ratheesh, P. Dos Reis Rodrigues, K. Shkarina, I.S.B. Larsen, S.Y. Vakhrushev,
H. Clausen, D.E. Siekhaus, ELife 8 (2019).
date_created: 2019-03-28T13:37:45Z
date_published: 2019-03-26T00:00:00Z
date_updated: 2026-05-17T22:31:01Z
day: '26'
ddc:
- '570'
department:
- _id: DaSi
doi: 10.7554/elife.41801
ec_funded: 1
external_id:
isi:
- '000462530200001'
file:
- access_level: open_access
checksum: cc0d1a512559d52e7e7cb0e9b9854b40
content_type: application/pdf
creator: dernst
date_created: 2019-03-28T14:00:41Z
date_updated: 2020-07-14T12:47:23Z
file_id: '6188'
file_name: 2019_eLife_Valoskova.pdf
file_size: 4496017
relation: main_file
file_date_updated: 2020-07-14T12:47:23Z
has_accepted_license: '1'
intvolume: ' 8'
isi: 1
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
project:
- _id: 253CDE40-B435-11E9-9278-68D0E5697425
grant_number: '24283'
name: Examination of the role of a MFS transporter in the migration of Drosophila
immune cells
- _id: 253B6E48-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P29638
name: The role of Drosophila TNF alpha in immune cell invasion
- _id: 2536F660-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '334077'
name: Investigating the role of transporters in invasive migration through junctions
- _id: 25388084-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '329540'
name: 'Breaking barriers: Investigating the junctional and mechanobiological changes
underlying the ability of Drosophila immune cells to invade an epithelium'
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication: eLife
publication_identifier:
issn:
- 2050-084X
publication_status: published
publisher: eLife Sciences Publications
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/new-gene-potentially-involved-in-metastasis-identified/
record:
- id: '6530'
relation: dissertation_contains
- id: '8983'
relation: dissertation_contains
status: public
- id: '6546'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation
to aid macrophage tissue invasion
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: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 8
year: '2019'
...
---
OA_place: publisher
_id: '6546'
abstract:
- lang: eng
text: "Invasive migration plays a crucial role not only during development and homeostasis
but also in pathological states, such as tumor metastasis. Drosophila macrophage
migration into the extended germband is an interesting system to study invasive
migration. It carries similarities to immune cell transmigration and cancer cell
invasion, therefore studying this process could also bring new understanding of
invasion in higher organisms. In our work, we uncover a highly conserved member
of the major facilitator family that plays a role in tissue invasion through regulation
of glycosylation on a subgroup of proteins and/or by aiding the precise timing
of DN-Cadherin downregulation. \r\n\r\nAberrant display of the truncated core1
O-glycan T-antigen is a common feature of human cancer cells that correlates with
metastasis. Here we show that T-antigen in Drosophila melanogaster macrophages
is involved in their developmentally programmed tissue invasion. Higher macrophage
T-antigen levels require an atypical major facilitator superfamily (MFS) member
that we named Minerva which enables macrophage dissemination and invasion. We
characterize for the first time the T and Tn glycoform O-glycoproteome of the
Drosophila melanogaster embryo, and determine that Minerva increases the presence
of T-antigen on proteins in pathways previously linked to cancer, most strongly
on the sulfhydryl oxidase Qsox1 which we show is required for macrophage tissue
entry. Minerva’s vertebrate ortholog, MFSD1, rescues the minerva mutant’s migration
and T-antigen glycosylation defects. We thus identify \r\na key conserved regulator
that orchestrates O-glycosylation on a protein subset to activate \r\na program
governing migration steps important for both development and cancer metastasis.
\r\n"
acknowledged_ssus:
- _id: Bio
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Katarina
full_name: Valosková, Katarina
id: 46F146FC-F248-11E8-B48F-1D18A9856A87
last_name: Valosková
orcid: 0000-0002-7926-0221
citation:
ama: Valosková K. The role of a highly conserved major facilitator superfamily member
in Drosophila embryonic macrophage migration. 2019. doi:10.15479/AT:ISTA:6546
apa: Valosková, K. (2019). The role of a highly conserved major facilitator superfamily
member in Drosophila embryonic macrophage migration. Institute of Science
and Technology Austria. https://doi.org/10.15479/AT:ISTA:6546
chicago: Valosková, Katarina. “The Role of a Highly Conserved Major Facilitator
Superfamily Member in Drosophila Embryonic Macrophage Migration.” Institute of
Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6546.
ieee: K. Valosková, “The role of a highly conserved major facilitator superfamily
member in Drosophila embryonic macrophage migration,” Institute of Science and
Technology Austria, 2019.
ista: Valosková K. 2019. The role of a highly conserved major facilitator superfamily
member in Drosophila embryonic macrophage migration. Institute of Science and
Technology Austria.
mla: Valosková, Katarina. The Role of a Highly Conserved Major Facilitator Superfamily
Member in Drosophila Embryonic Macrophage Migration. Institute of Science
and Technology Austria, 2019, doi:10.15479/AT:ISTA:6546.
short: K. Valosková, The Role of a Highly Conserved Major Facilitator Superfamily
Member in Drosophila Embryonic Macrophage Migration, Institute of Science and
Technology Austria, 2019.
corr_author: '1'
date_created: 2019-06-07T12:49:19Z
date_published: 2019-06-07T00:00:00Z
date_updated: 2026-04-08T13:58:36Z
day: '07'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: DaSi
doi: 10.15479/AT:ISTA:6546
file:
- access_level: closed
checksum: 68949c2d96210b45b981a23e9c9cd93c
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: khribikova
date_created: 2019-06-07T13:00:04Z
date_updated: 2020-07-14T12:47:33Z
embargo_to: open_access
file_id: '6549'
file_name: Katarina Valoskova_PhD thesis_final version.docx
file_size: 14110626
relation: source_file
- access_level: open_access
checksum: 555329cd76e196c96f5278c480ee2e6e
content_type: application/pdf
creator: khribikova
date_created: 2019-06-07T13:00:08Z
date_updated: 2021-02-11T11:17:14Z
embargo: 2020-06-07
file_id: '6550'
file_name: Katarina Valoskova_PhD thesis_final version.pdf
file_size: 10054156
relation: main_file
file_date_updated: 2021-02-11T11:17:14Z
has_accepted_license: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: '141'
project:
- _id: 253CDE40-B435-11E9-9278-68D0E5697425
grant_number: '24283'
name: Examination of the role of a MFS transporter in the migration of Drosophila
immune cells
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '544'
relation: part_of_dissertation
status: public
- id: '6187'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Daria E
full_name: Siekhaus, Daria E
id: 3D224B9E-F248-11E8-B48F-1D18A9856A87
last_name: Siekhaus
orcid: 0000-0001-8323-8353
title: The role of a highly conserved major facilitator superfamily member in Drosophila
embryonic macrophage migration
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2019'
...
---
OA_place: publisher
_id: '6363'
abstract:
- lang: eng
text: "Distinguishing between similar experiences is achieved by the brain
\ in a process called pattern separation. In the hippocampus, pattern
\ separation reduces the interference of memories and increases the storage
capacity by decorrelating similar inputs patterns of neuronal activity into
\ non-overlapping output firing patterns. Winners-take-all (WTA) mechanism
\ is a theoretical model for pattern separation in which a \"winner\"
\ cell suppresses the activity of the neighboring neurons through feedback
inhibition. However, if the network properties of the dentate gyrus support WTA
as a biologically conceivable model remains unknown. Here, we showed that the
connectivity rules of PV+interneurons and their synaptic properties are optimizedfor
efficient pattern separation. We found using multiple whole-cell in vitrorecordings
that PV+interneurons mainly connect to granule cells (GC) through lateral inhibition,
a form of feedback inhibition in which a GC inhibits other GCs but not
\ itself through the activation of PV+interneurons. Thus, lateral inhibition
between GC–PV+interneurons was ~10 times more abundant than recurrent connections.
Furthermore, the GC–PV+interneuron connectivity was more spatially confined
\ but less abundant than PV+interneurons–GC connectivity, leading to an
\ asymmetrical distribution of excitatory and inhibitory connectivity. Our
network model of the dentate gyrus with incorporated real connectivity rules efficiently
decorrelates neuronal activity patterns using WTA as the primary mechanism.
\ This process relied on lateral inhibition, fast-signaling properties of
\ PV+interneurons and the asymmetrical distribution of excitatory and inhibitory
connectivity. Finally, we found that silencing the activity of PV+interneurons
in vivoleads to acute deficits in discrimination between similar environments,
suggesting that PV+interneuron networks are necessary for behavioral relevant
computations. Our results demonstrate that PV+interneurons possess unique
connectivity and fast signaling properties that confer to the dentate
\ gyrus network properties that allow the emergence of pattern separation. Thus,
our results contribute to the knowledge of how specific forms of network organization
underlie sophisticated types of information processing. \r\n"
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: 'Claudia '
full_name: 'Espinoza Martinez, Claudia '
id: 31FFEE2E-F248-11E8-B48F-1D18A9856A87
last_name: Espinoza Martinez
orcid: 0000-0003-4710-2082
citation:
ama: Espinoza Martinez C. Parvalbumin+ interneurons enable efficient pattern separation
in hippocampal microcircuits. 2019. doi:10.15479/AT:ISTA:6363
apa: Espinoza Martinez, C. (2019). Parvalbumin+ interneurons enable efficient
pattern separation in hippocampal microcircuits. Institute of Science and
Technology Austria. https://doi.org/10.15479/AT:ISTA:6363
chicago: Espinoza Martinez, Claudia . “Parvalbumin+ Interneurons Enable Efficient
Pattern Separation in Hippocampal Microcircuits.” Institute of Science and Technology
Austria, 2019. https://doi.org/10.15479/AT:ISTA:6363.
ieee: C. Espinoza Martinez, “Parvalbumin+ interneurons enable efficient pattern
separation in hippocampal microcircuits,” Institute of Science and Technology
Austria, 2019.
ista: Espinoza Martinez C. 2019. Parvalbumin+ interneurons enable efficient pattern
separation in hippocampal microcircuits. Institute of Science and Technology Austria.
mla: Espinoza Martinez, Claudia. Parvalbumin+ Interneurons Enable Efficient Pattern
Separation in Hippocampal Microcircuits. Institute of Science and Technology
Austria, 2019, doi:10.15479/AT:ISTA:6363.
short: C. Espinoza Martinez, Parvalbumin+ Interneurons Enable Efficient Pattern
Separation in Hippocampal Microcircuits, Institute of Science and Technology Austria,
2019.
corr_author: '1'
date_created: 2019-04-30T11:56:10Z
date_published: 2019-04-30T00:00:00Z
date_updated: 2026-04-08T13:57:19Z
day: '30'
ddc:
- '570'
degree_awarded: PhD
department:
- _id: PeJo
doi: 10.15479/AT:ISTA:6363
file:
- access_level: open_access
checksum: 77c6c05cfe8b58c8abcf1b854375d084
content_type: application/pdf
creator: cespinoza
date_created: 2019-05-07T16:00:39Z
date_updated: 2021-02-11T11:17:15Z
embargo: 2020-05-09
file_id: '6389'
file_name: Espinozathesis_all2.pdf
file_size: 13966891
relation: main_file
- access_level: closed
checksum: f6aa819f127691a2b0fc21c76eb09746
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: cespinoza
date_created: 2019-05-07T16:00:48Z
date_updated: 2020-07-14T12:47:28Z
embargo_to: open_access
file_id: '6390'
file_name: Espinoza_Thesis.docx
file_size: 11159900
relation: source_file
file_date_updated: 2021-02-11T11:17:15Z
has_accepted_license: '1'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: '140'
publication_identifier:
isbn:
- 978-3-99078-000-8
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '21'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Peter M
full_name: Jonas, Peter M
id: 353C1B58-F248-11E8-B48F-1D18A9856A87
last_name: Jonas
orcid: 0000-0001-5001-4804
title: Parvalbumin+ interneurons enable efficient pattern separation in hippocampal
microcircuits
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2019'
...
---
OA_place: publisher
_id: '7132'
abstract:
- lang: eng
text: "A major challenge in neuroscience research is to dissect the circuits that
orchestrate behavior in health and disease. Proteins from a wide range of non-mammalian
species, such as microbial opsins, have been successfully transplanted to specific
neuronal targets to override their natural communication patterns. The goal of
our work is to manipulate synaptic communication in a manner that closely incorporates
the functional intricacies of synapses by preserving temporal encoding (i.e. the
firing pattern of the presynaptic neuron) and connectivity (i.e. target specific
synapses rather than specific neurons). Our strategy to achieve this goal builds
on the use of non-mammalian transplants to create a synthetic synapse. The mode
of modulation comes from pre-synaptic uptake of a synthetic neurotransmitter (SN)
into synaptic vesicles by means of a genetically targeted transporter selective
for the SN. Upon natural vesicular release, exposure of the SN to the synaptic
cleft will modify the post-synaptic potential through an orthogonal ligand gated
ion channel. To achieve this goal we have functionally characterized a mixed cationic
methionine-gated ion channel from Arabidopsis thaliana, designed a method to functionally
characterize a synthetic transporter in isolated synaptic vesicles without the
need for transgenic animals, identified and extracted multiple prokaryotic uptake
systems that are substrate specific for methionine (Met), and established a primary/cell
line co-culture system that would allow future combinatorial testing of this orthogonal
transmitter-transporter-channel trifecta.\r\nSynthetic synapses will provide a
unique opportunity to manipulate synaptic communication while maintaining the
electrophysiological integrity of the pre-synaptic cell. In this way, information
may be preserved that was generated in upstream circuits and that could be essential
for concerted function and information processing."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Catherine
full_name: Mckenzie, Catherine
id: 3EEDE19A-F248-11E8-B48F-1D18A9856A87
last_name: Mckenzie
citation:
ama: Mckenzie C. Design and characterization of methods and biological components
to realize synthetic neurotransmission. 2019. doi:10.15479/at:ista:7132
apa: Mckenzie, C. (2019). Design and characterization of methods and biological
components to realize synthetic neurotransmission. Institute of Science and
Technology Austria. https://doi.org/10.15479/at:ista:7132
chicago: Mckenzie, Catherine. “Design and Characterization of Methods and Biological
Components to Realize Synthetic Neurotransmission.” Institute of Science and Technology
Austria, 2019. https://doi.org/10.15479/at:ista:7132.
ieee: C. Mckenzie, “Design and characterization of methods and biological components
to realize synthetic neurotransmission,” Institute of Science and Technology Austria,
2019.
ista: Mckenzie C. 2019. Design and characterization of methods and biological components
to realize synthetic neurotransmission. Institute of Science and Technology Austria.
mla: Mckenzie, Catherine. Design and Characterization of Methods and Biological
Components to Realize Synthetic Neurotransmission. Institute of Science and
Technology Austria, 2019, doi:10.15479/at:ista:7132.
short: C. Mckenzie, Design and Characterization of Methods and Biological Components
to Realize Synthetic Neurotransmission, Institute of Science and Technology Austria,
2019.
corr_author: '1'
date_created: 2019-11-27T09:07:14Z
date_published: 2019-06-27T00:00:00Z
date_updated: 2026-05-17T22:31:06Z
day: '27'
ddc:
- '571'
- '573'
degree_awarded: PhD
department:
- _id: HaJa
doi: 10.15479/at:ista:7132
file:
- access_level: closed
checksum: 34d0fe0f6e0af97b5937205a3e350423
content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document
creator: dernst
date_created: 2019-11-27T09:06:10Z
date_updated: 2020-07-14T12:47:50Z
file_id: '7133'
file_name: McKenzie PhD Thesis August 2018 - Corrected Final.docx
file_size: 5054633
relation: source_file
- access_level: open_access
checksum: 140dfb5e3df7edca34f4b6fcc55d876f
content_type: application/pdf
creator: dernst
date_created: 2019-11-27T09:06:10Z
date_updated: 2020-07-14T12:47:50Z
file_id: '7134'
file_name: McKenzie PhD Thesis August 2018 - Corrected Final.pdf
file_size: 3231837
relation: main_file
file_date_updated: 2020-07-14T12:47:50Z
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
related_material:
record:
- id: '6266'
relation: old_edition
status: public
status: public
supervisor:
- first_name: Harald L
full_name: Janovjak, Harald L
id: 33BA6C30-F248-11E8-B48F-1D18A9856A87
last_name: Janovjak
orcid: 0000-0002-8023-9315
title: Design and characterization of methods and biological components to realize
synthetic neurotransmission
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2019'
...
---
_id: '6189'
abstract:
- lang: eng
text: 'Suspended particles can alter the properties of fluids and in particular
also affect the transition fromlaminar to turbulent flow. An earlier study [Mataset
al.,Phys. Rev. Lett.90, 014501 (2003)] reported howthe subcritical (i.e., hysteretic)
transition to turbulent puffs is affected by the addition of particles. Here weshow
that in addition to this known transition, with increasing concentration a supercritical
(i.e.,continuous) transition to a globally fluctuating state is found. At the
same time the Newtonian-typetransition to puffs is delayed to larger Reynolds
numbers. At even higher concentration only the globallyfluctuating state is found.
The dynamics of particle laden flows are hence determined by two competinginstabilities
that give rise to three flow regimes: Newtonian-type turbulence at low, a particle
inducedglobally fluctuating state at high, and a coexistence state at intermediate
concentrations.'
article_number: '114502'
article_processing_charge: No
arxiv: 1
author:
- first_name: Nishchal
full_name: Agrawal, Nishchal
id: 469E6004-F248-11E8-B48F-1D18A9856A87
last_name: Agrawal
- first_name: George H
full_name: Choueiri, George H
id: 448BD5BC-F248-11E8-B48F-1D18A9856A87
last_name: Choueiri
- first_name: Björn
full_name: Hof, Björn
id: 3A374330-F248-11E8-B48F-1D18A9856A87
last_name: Hof
orcid: 0000-0003-2057-2754
citation:
ama: Agrawal N, Choueiri GH, Hof B. Transition to turbulence in particle laden flows.
Physical Review Letters. 2019;122(11). doi:10.1103/PhysRevLett.122.114502
apa: Agrawal, N., Choueiri, G. H., & Hof, B. (2019). Transition to turbulence
in particle laden flows. Physical Review Letters. American Physical Society.
https://doi.org/10.1103/PhysRevLett.122.114502
chicago: Agrawal, Nishchal, George H Choueiri, and Björn Hof. “Transition to Turbulence
in Particle Laden Flows.” Physical Review Letters. American Physical Society,
2019. https://doi.org/10.1103/PhysRevLett.122.114502.
ieee: N. Agrawal, G. H. Choueiri, and B. Hof, “Transition to turbulence in particle
laden flows,” Physical Review Letters, vol. 122, no. 11. American Physical
Society, 2019.
ista: Agrawal N, Choueiri GH, Hof B. 2019. Transition to turbulence in particle
laden flows. Physical Review Letters. 122(11), 114502.
mla: Agrawal, Nishchal, et al. “Transition to Turbulence in Particle Laden Flows.”
Physical Review Letters, vol. 122, no. 11, 114502, American Physical Society,
2019, doi:10.1103/PhysRevLett.122.114502.
short: N. Agrawal, G.H. Choueiri, B. Hof, Physical Review Letters 122 (2019).
date_created: 2019-03-31T21:59:12Z
date_published: 2019-03-22T00:00:00Z
date_updated: 2026-05-17T22:31:10Z
day: '22'
department:
- _id: BjHo
doi: 10.1103/PhysRevLett.122.114502
external_id:
arxiv:
- '1809.06358'
isi:
- '000461922000006'
pmid:
- '30951357'
intvolume: ' 122'
isi: 1
issue: '11'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1809.06358
month: '03'
oa: 1
oa_version: Preprint
pmid: 1
publication: Physical Review Letters
publication_identifier:
eissn:
- 1079-7114
issn:
- 0031-9007
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
related_material:
record:
- id: '9728'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Transition to turbulence in particle laden flows
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 122
year: '2019'
...
---
_id: '6830'
article_processing_charge: No
article_type: letter_note
author:
- first_name: Ximena
full_name: Contreras, Ximena
id: 475990FE-F248-11E8-B48F-1D18A9856A87
last_name: Contreras
- first_name: Simon
full_name: Hippenmeyer, Simon
id: 37B36620-F248-11E8-B48F-1D18A9856A87
last_name: Hippenmeyer
orcid: 0000-0003-2279-1061
citation:
ama: Contreras X, Hippenmeyer S. Memo1 tiles the radial glial cell grid. Neuron.
2019;103(5):750-752. doi:10.1016/j.neuron.2019.08.021
apa: Contreras, X., & Hippenmeyer, S. (2019). Memo1 tiles the radial glial cell
grid. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2019.08.021
chicago: Contreras, Ximena, and Simon Hippenmeyer. “Memo1 Tiles the Radial Glial
Cell Grid.” Neuron. Elsevier, 2019. https://doi.org/10.1016/j.neuron.2019.08.021.
ieee: X. Contreras and S. Hippenmeyer, “Memo1 tiles the radial glial cell grid,”
Neuron, vol. 103, no. 5. Elsevier, pp. 750–752, 2019.
ista: Contreras X, Hippenmeyer S. 2019. Memo1 tiles the radial glial cell grid.
Neuron. 103(5), 750–752.
mla: Contreras, Ximena, and Simon Hippenmeyer. “Memo1 Tiles the Radial Glial Cell
Grid.” Neuron, vol. 103, no. 5, Elsevier, 2019, pp. 750–52, doi:10.1016/j.neuron.2019.08.021.
short: X. Contreras, S. Hippenmeyer, Neuron 103 (2019) 750–752.
date_created: 2019-08-25T22:00:50Z
date_published: 2019-09-04T00:00:00Z
date_updated: 2026-05-17T22:31:12Z
day: '04'
department:
- _id: SiHi
doi: 10.1016/j.neuron.2019.08.021
external_id:
isi:
- '000484400200002'
pmid:
- '31487522'
intvolume: ' 103'
isi: 1
issue: '5'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1016/j.neuron.2019.08.021
month: '09'
oa: 1
oa_version: Published Version
page: 750-752
pmid: 1
publication: Neuron
publication_identifier:
eissn:
- 1097-4199
issn:
- 0896-6273
publication_status: published
publisher: Elsevier
quality_controlled: '1'
related_material:
record:
- id: '7902'
relation: part_of_dissertation
status: public
scopus_import: '1'
status: public
title: Memo1 tiles the radial glial cell grid
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 103
year: '2019'
...
---
_id: '6780'
abstract:
- lang: eng
text: "In this work, we consider the almost-sure termination problem for probabilistic
programs that asks whether a\r\ngiven probabilistic program terminates with probability
1. Scalable approaches for program analysis often\r\nrely on modularity as their
theoretical basis. In non-probabilistic programs, the classical variant rule (V-rule)\r\nof
Floyd-Hoare logic provides the foundation for modular analysis. Extension of this
rule to almost-sure\r\ntermination of probabilistic programs is quite tricky,
and a probabilistic variant was proposed in [16]. While the\r\nproposed probabilistic
variant cautiously addresses the key issue of integrability, we show that the
proposed\r\nmodular rule is still not sound for almost-sure termination of probabilistic
programs.\r\nBesides establishing unsoundness of the previous rule, our contributions
are as follows: First, we present a\r\nsound modular rule for almost-sure termination
of probabilistic programs. Our approach is based on a novel\r\nnotion of descent
supermartingales. Second, for algorithmic approaches, we consider descent supermartingales\r\nthat
are linear and show that they can be synthesized in polynomial time. Finally,
we present experimental\r\nresults on a variety of benchmarks and several natural
examples that model various types of nested while\r\nloops in probabilistic programs
and demonstrate that our approach is able to efficiently prove their almost-sure\r\ntermination
property"
article_number: '129'
article_processing_charge: No
arxiv: 1
author:
- first_name: Mingzhang
full_name: Huang, Mingzhang
last_name: Huang
- first_name: Hongfei
full_name: Fu, Hongfei
last_name: Fu
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Amir Kafshdar
full_name: Goharshady, Amir Kafshdar
id: 391365CE-F248-11E8-B48F-1D18A9856A87
last_name: Goharshady
orcid: 0000-0003-1702-6584
citation:
ama: 'Huang M, Fu H, Chatterjee K, Goharshady AK. Modular verification for almost-sure
termination of probabilistic programs. In: Proceedings of the 34th ACM International
Conference on Object-Oriented Programming, Systems, Languages, and Applications
. Vol 3. ACM; 2019. doi:10.1145/3360555'
apa: 'Huang, M., Fu, H., Chatterjee, K., & Goharshady, A. K. (2019). Modular
verification for almost-sure termination of probabilistic programs. In Proceedings
of the 34th ACM International Conference on Object-Oriented Programming, Systems,
Languages, and Applications (Vol. 3). Athens, Greece: ACM. https://doi.org/10.1145/3360555'
chicago: Huang, Mingzhang, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar
Goharshady. “Modular Verification for Almost-Sure Termination of Probabilistic
Programs.” In Proceedings of the 34th ACM International Conference on Object-Oriented
Programming, Systems, Languages, and Applications , Vol. 3. ACM, 2019. https://doi.org/10.1145/3360555.
ieee: M. Huang, H. Fu, K. Chatterjee, and A. K. Goharshady, “Modular verification
for almost-sure termination of probabilistic programs,” in Proceedings of the
34th ACM International Conference on Object-Oriented Programming, Systems, Languages,
and Applications , Athens, Greece, 2019, vol. 3.
ista: 'Huang M, Fu H, Chatterjee K, Goharshady AK. 2019. Modular verification for
almost-sure termination of probabilistic programs. Proceedings of the 34th ACM
International Conference on Object-Oriented Programming, Systems, Languages, and
Applications . OOPSLA: Object-oriented Programming, Systems, Languages and Applications
vol. 3, 129.'
mla: Huang, Mingzhang, et al. “Modular Verification for Almost-Sure Termination
of Probabilistic Programs.” Proceedings of the 34th ACM International Conference
on Object-Oriented Programming, Systems, Languages, and Applications , vol.
3, 129, ACM, 2019, doi:10.1145/3360555.
short: M. Huang, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Proceedings of the
34th ACM International Conference on Object-Oriented Programming, Systems, Languages,
and Applications , ACM, 2019.
conference:
end_date: 2019-10-25
location: Athens, Greece
name: 'OOPSLA: Object-oriented Programming, Systems, Languages and Applications'
start_date: 2019-10-23
date_created: 2019-08-09T09:54:20Z
date_published: 2019-10-01T00:00:00Z
date_updated: 2026-05-17T22:31:15Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1145/3360555
ec_funded: 1
external_id:
arxiv:
- '1901.06087'
file:
- access_level: open_access
checksum: 3482d8ace6fb4991eb7810e3b70f1b9f
content_type: application/pdf
creator: akafshda
date_created: 2019-08-12T15:40:57Z
date_updated: 2020-07-14T12:47:40Z
file_id: '6807'
file_name: oopsla-2019.pdf
file_size: 1024643
relation: main_file
- access_level: open_access
checksum: 4e5a6fb2b59a75222a4e8335a5a60eac
content_type: application/pdf
creator: dernst
date_created: 2020-05-12T15:15:14Z
date_updated: 2020-07-14T12:47:40Z
file_id: '7821'
file_name: 2019_ACM_Huang.pdf
file_size: 538579
relation: main_file
file_date_updated: 2020-07-14T12:47:40Z
has_accepted_license: '1'
intvolume: ' 3'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc/4.0/
month: '10'
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: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 267066CE-B435-11E9-9278-68D0E5697425
name: Quantitative Analysis of Probabilistic Systems with a focus on Crypto-Currencies
- _id: 266EEEC0-B435-11E9-9278-68D0E5697425
name: Quantitative Game-theoretic Analysis of Blockchain Applications and Smart
Contracts
publication: 'Proceedings of the 34th ACM International Conference on Object-Oriented
Programming, Systems, Languages, and Applications '
publication_status: published
publisher: ACM
quality_controlled: '1'
related_material:
record:
- id: '8934'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Modular verification for almost-sure termination of probabilistic programs
tmp:
image: /images/cc_by_nc.png
legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
short: CC BY-NC (4.0)
type: conference
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 3
year: '2019'
...
---
_id: '6490'
abstract:
- lang: eng
text: "Smart contracts are programs that are stored and executed on the Blockchain
and can receive, manage and transfer money (cryptocurrency units). Two important
problems regarding smart contracts are formal analysis and compiler optimization.
Formal analysis is extremely important, because smart contracts hold funds worth
billions of dollars and their code is immutable after deployment. Hence, an undetected
bug can cause significant financial losses. Compiler optimization is also crucial,
because every action of a smart contract has to be executed by every node in the
Blockchain network. Therefore, optimizations in compiling smart contracts can
lead to significant savings in computation, time and energy.\r\n\r\nTwo classical
approaches in program analysis and compiler optimization are intraprocedural and
interprocedural analysis. In intraprocedural analysis, each function is analyzed
separately, while interprocedural analysis considers the entire program. In both
cases, the analyses are usually reduced to graph problems over the control flow
graph (CFG) of the program. These graph problems are often computationally expensive.
Hence, there has been ample research on exploiting structural properties of CFGs
for efficient algorithms. One such well-studied property is the treewidth, which
is a measure of tree-likeness of graphs. It is known that intraprocedural CFGs
of structured programs have treewidth at most 6, whereas the interprocedural treewidth
cannot be bounded. This result has been used as a basis for many efficient intraprocedural
analyses.\r\n\r\nIn this paper, we explore the idea of exploiting the treewidth
of smart contracts for formal analysis and compiler optimization. First, similar
to classical programs, we show that the intraprocedural treewidth of structured
Solidity and Vyper smart contracts is at most 9. Second, for global analysis,
we prove that the interprocedural treewidth of structured smart contracts is bounded
by 10 and, in sharp contrast with classical programs, treewidth-based algorithms
can be easily applied for interprocedural analysis. Finally, we supplement our
theoretical results with experiments using a tool we implemented for computing
treewidth of smart contracts and show that the treewidth is much lower in practice.
We use 36,764 real-world Ethereum smart contracts as benchmarks and find that
they have an average treewidth of at most 3.35 for the intraprocedural case and
3.65 for the interprocedural case.\r\n"
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 Kafshdar
full_name: Goharshady, Amir Kafshdar
id: 391365CE-F248-11E8-B48F-1D18A9856A87
last_name: Goharshady
orcid: 0000-0003-1702-6584
- first_name: Ehsan Kafshdar
full_name: Goharshady, Ehsan Kafshdar
last_name: Goharshady
citation:
ama: 'Chatterjee K, Goharshady AK, Goharshady EK. The treewidth of smart contracts.
In: Proceedings of the 34th ACM Symposium on Applied Computing. Vol Part
F147772. ACM; 2019:400-408. doi:10.1145/3297280.3297322'
apa: 'Chatterjee, K., Goharshady, A. K., & Goharshady, E. K. (2019). The treewidth
of smart contracts. In Proceedings of the 34th ACM Symposium on Applied Computing
(Vol. Part F147772, pp. 400–408). Limassol, Cyprus: ACM. https://doi.org/10.1145/3297280.3297322'
chicago: Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady.
“The Treewidth of Smart Contracts.” In Proceedings of the 34th ACM Symposium
on Applied Computing, Part F147772:400–408. ACM, 2019. https://doi.org/10.1145/3297280.3297322.
ieee: K. Chatterjee, A. K. Goharshady, and E. K. Goharshady, “The treewidth of smart
contracts,” in Proceedings of the 34th ACM Symposium on Applied Computing,
Limassol, Cyprus, 2019, vol. Part F147772, pp. 400–408.
ista: 'Chatterjee K, Goharshady AK, Goharshady EK. 2019. The treewidth of smart
contracts. Proceedings of the 34th ACM Symposium on Applied Computing. SAC: Symposium
on Applied Computing vol. Part F147772, 400–408.'
mla: Chatterjee, Krishnendu, et al. “The Treewidth of Smart Contracts.” Proceedings
of the 34th ACM Symposium on Applied Computing, vol. Part F147772, ACM, 2019,
pp. 400–08, doi:10.1145/3297280.3297322.
short: K. Chatterjee, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the
34th ACM Symposium on Applied Computing, ACM, 2019, pp. 400–408.
conference:
end_date: 2019-04-12
location: Limassol, Cyprus
name: 'SAC: Symposium on Applied Computing'
start_date: 2019-04-08
corr_author: '1'
date_created: 2019-05-26T21:59:15Z
date_published: 2019-04-01T00:00:00Z
date_updated: 2026-05-17T22:31:15Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1145/3297280.3297322
external_id:
isi:
- '000474685800052'
file:
- access_level: open_access
checksum: dddc20f6d9881f23b8755eb720ec9d6f
content_type: application/pdf
creator: dernst
date_created: 2020-05-14T09:50:11Z
date_updated: 2020-07-14T12:47:32Z
file_id: '7827'
file_name: 2019_ACM_Chatterjee.pdf
file_size: 6937138
relation: main_file
file_date_updated: 2020-07-14T12:47:32Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Submitted Version
page: 400-408
publication: Proceedings of the 34th ACM Symposium on Applied Computing
publication_identifier:
isbn:
- '9781450359337'
publication_status: published
publisher: ACM
pubrep_id: '1070'
quality_controlled: '1'
related_material:
record:
- id: '8934'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: The treewidth of smart contracts
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: Part F147772
year: '2019'
...
---
_id: '6378'
abstract:
- lang: eng
text: 'In today''s cryptocurrencies, Hashcash proof of work is the most commonly-adopted
approach to mining. In Hashcash, when a miner decides to add a block to the chain,
she has to solve the difficult computational puzzle of inverting a hash function.
While Hashcash has been successfully adopted in both Bitcoin and Ethereum, it
has attracted significant and harsh criticism due to its massive waste of electricity,
its carbon footprint and environmental effects, and the inherent lack of usefulness
in inverting a hash function. Various other mining protocols have been suggested,
including proof of stake, in which a miner''s chance of adding the next block
is proportional to her current balance. However, such protocols lead to a higher
entry cost for new miners who might not still have any stake in the cryptocurrency,
and can in the worst case lead to an oligopoly, where the rich have complete control
over mining. In this paper, we propose Hybrid Mining: a new mining protocol that
combines solving real-world useful problems with Hashcash. Our protocol allows
new miners to join the network by taking part in Hashcash mining without having
to own an initial stake. It also allows nodes of the network to submit hard computational
problems whose solutions are of interest in the real world, e.g.~protein folding
problems. Then, miners can choose to compete in solving these problems, in lieu
of Hashcash, for adding a new block. Hence, Hybrid Mining incentivizes miners
to solve useful problems, such as hard computational problems arising in biology,
in a distributed manner. It also gives researchers in other areas an easy-to-use
tool to outsource their hard computations to the blockchain network, which has
enormous computational power, by paying a reward to the miner who solves the problem
for them. Moreover, our protocol provides strong security guarantees and is at
least as resilient to double spending as Bitcoin.'
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 Kafshdar
full_name: Goharshady, Amir Kafshdar
id: 391365CE-F248-11E8-B48F-1D18A9856A87
last_name: Goharshady
orcid: 0000-0003-1702-6584
- first_name: Arash
full_name: Pourdamghani, Arash
last_name: Pourdamghani
citation:
ama: 'Chatterjee K, Goharshady AK, Pourdamghani A. Hybrid Mining: Exploiting blockchain’s
computational power for distributed problem solving. In: Proceedings of the
34th ACM Symposium on Applied Computing. Vol Part F147772. ACM; 2019:374-381.
doi:10.1145/3297280.3297319'
apa: 'Chatterjee, K., Goharshady, A. K., & Pourdamghani, A. (2019). Hybrid Mining:
Exploiting blockchain’s computational power for distributed problem solving. In
Proceedings of the 34th ACM Symposium on Applied Computing (Vol. Part F147772,
pp. 374–381). Limassol, Cyprus: ACM. https://doi.org/10.1145/3297280.3297319'
chicago: 'Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Arash Pourdamghani.
“Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem
Solving.” In Proceedings of the 34th ACM Symposium on Applied Computing,
Part F147772:374–81. ACM, 2019. https://doi.org/10.1145/3297280.3297319.'
ieee: 'K. Chatterjee, A. K. Goharshady, and A. Pourdamghani, “Hybrid Mining: Exploiting
blockchain’s computational power for distributed problem solving,” in Proceedings
of the 34th ACM Symposium on Applied Computing, Limassol, Cyprus, 2019, vol.
Part F147772, pp. 374–381.'
ista: 'Chatterjee K, Goharshady AK, Pourdamghani A. 2019. Hybrid Mining: Exploiting
blockchain’s computational power for distributed problem solving. Proceedings
of the 34th ACM Symposium on Applied Computing. ACM Symposium on Applied Computing
vol. Part F147772, 374–381.'
mla: 'Chatterjee, Krishnendu, et al. “Hybrid Mining: Exploiting Blockchain’s Computational
Power for Distributed Problem Solving.” Proceedings of the 34th ACM Symposium
on Applied Computing, vol. Part F147772, ACM, 2019, pp. 374–81, doi:10.1145/3297280.3297319.'
short: K. Chatterjee, A.K. Goharshady, A. Pourdamghani, in:, Proceedings of the
34th ACM Symposium on Applied Computing, ACM, 2019, pp. 374–381.
conference:
end_date: 2019-04-12
location: Limassol, Cyprus
name: ACM Symposium on Applied Computing
start_date: 2019-04-08
date_created: 2019-05-06T12:11:36Z
date_published: 2019-04-01T00:00:00Z
date_updated: 2026-05-17T22:31:16Z
day: '01'
ddc:
- '004'
department:
- _id: KrCh
doi: 10.1145/3297280.3297319
ec_funded: 1
external_id:
isi:
- '000474685800049'
file:
- access_level: open_access
checksum: fbfbcd5a0c7a743862bfc3045539a614
content_type: application/pdf
creator: dernst
date_created: 2019-05-06T12:09:27Z
date_updated: 2020-07-14T12:47:29Z
file_id: '6379'
file_name: 2019_ACM_Chatterjee.pdf
file_size: 1023934
relation: main_file
file_date_updated: 2020-07-14T12:47:29Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Submitted Version
page: 374-381
project:
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _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
publication: Proceedings of the 34th ACM Symposium on Applied Computing
publication_identifier:
isbn:
- '9781450359337'
publication_status: published
publisher: ACM
pubrep_id: '1069'
quality_controlled: '1'
related_material:
record:
- id: '8934'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: 'Hybrid Mining: Exploiting blockchain’s computational power for distributed
problem solving'
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: Part F147772
year: '2019'
...
---
_id: '6175'
abstract:
- lang: eng
text: "We consider the problem of expected cost analysis over nondeterministic probabilistic
programs,\r\nwhich aims at automated methods for analyzing the resource-usage
of such programs.\r\nPrevious approaches for this problem could only handle nonnegative
bounded costs.\r\nHowever, in many scenarios, such as queuing networks or analysis
of cryptocurrency protocols,\r\nboth positive and negative costs are necessary
and the costs are unbounded as well.\r\n\r\nIn this work, we present a sound and
efficient approach to obtain polynomial bounds on the\r\nexpected accumulated
cost of nondeterministic probabilistic programs.\r\nOur approach can handle (a)
general positive and negative costs with bounded updates in\r\nvariables; and
(b) nonnegative costs with general updates to variables.\r\nWe show that several
natural examples which could not be\r\nhandled by previous approaches are captured
in our framework.\r\n\r\nMoreover, our approach leads to an efficient polynomial-time
algorithm, while no\r\nprevious approach for cost analysis of probabilistic programs
could guarantee polynomial runtime.\r\nFinally, we show the effectiveness of our
approach using experimental results on a variety of programs for which we efficiently
synthesize tight resource-usage bounds."
article_processing_charge: No
arxiv: 1
author:
- first_name: Peixin
full_name: Wang, Peixin
last_name: Wang
- first_name: Hongfei
full_name: Fu, Hongfei
id: 3AAD03D6-F248-11E8-B48F-1D18A9856A87
last_name: Fu
- 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: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Xudong
full_name: Qin, Xudong
last_name: Qin
- first_name: Wenjun
full_name: Shi, Wenjun
last_name: Shi
citation:
ama: 'Wang P, Fu H, Goharshady AK, Chatterjee K, Qin X, Shi W. Cost analysis of
nondeterministic probabilistic programs. In: PLDI 2019: Proceedings of the
40th ACM SIGPLAN Conference on Programming Language Design and Implementation.
Association for Computing Machinery; 2019:204-220. doi:10.1145/3314221.3314581'
apa: 'Wang, P., Fu, H., Goharshady, A. K., Chatterjee, K., Qin, X., & Shi, W.
(2019). Cost analysis of nondeterministic probabilistic programs. In PLDI 2019:
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design
and Implementation (pp. 204–220). Phoenix, AZ, United States: Association
for Computing Machinery. https://doi.org/10.1145/3314221.3314581'
chicago: 'Wang, Peixin, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee,
Xudong Qin, and Wenjun Shi. “Cost Analysis of Nondeterministic Probabilistic Programs.”
In PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming
Language Design and Implementation, 204–20. Association for Computing Machinery,
2019. https://doi.org/10.1145/3314221.3314581.'
ieee: 'P. Wang, H. Fu, A. K. Goharshady, K. Chatterjee, X. Qin, and W. Shi, “Cost
analysis of nondeterministic probabilistic programs,” in PLDI 2019: Proceedings
of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Phoenix, AZ, United States, 2019, pp. 204–220.'
ista: 'Wang P, Fu H, Goharshady AK, Chatterjee K, Qin X, Shi W. 2019. Cost analysis
of nondeterministic probabilistic programs. PLDI 2019: Proceedings of the 40th
ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI:
Conference on Programming Language Design and Implementation, 204–220.'
mla: 'Wang, Peixin, et al. “Cost Analysis of Nondeterministic Probabilistic Programs.”
PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language
Design and Implementation, Association for Computing Machinery, 2019, pp.
204–20, doi:10.1145/3314221.3314581.'
short: 'P. Wang, H. Fu, A.K. Goharshady, K. Chatterjee, X. Qin, W. Shi, in:, PLDI
2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design
and Implementation, Association for Computing Machinery, 2019, pp. 204–220.'
conference:
end_date: 2019-06-26
location: Phoenix, AZ, United States
name: 'PLDI: Conference on Programming Language Design and Implementation'
start_date: 2019-06-22
date_created: 2019-03-25T10:13:25Z
date_published: 2019-06-08T00:00:00Z
date_updated: 2026-05-17T22:31:16Z
day: '08'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1145/3314221.3314581
ec_funded: 1
external_id:
arxiv:
- '1902.04659'
isi:
- '000523190300014'
file:
- access_level: open_access
checksum: 703a5e9b8c8587f2a44085ffd9a4db64
content_type: application/pdf
creator: akafshda
date_created: 2019-03-25T10:11:22Z
date_updated: 2020-07-14T12:47:20Z
file_id: '6176'
file_name: paper.pdf
file_size: 4051066
relation: main_file
file_date_updated: 2020-07-14T12:47:20Z
has_accepted_license: '1'
isi: 1
keyword:
- Program Cost Analysis
- Program Termination
- Probabilistic Programs
- Martingales
language:
- iso: eng
month: '06'
oa: 1
oa_version: Submitted Version
page: 204-220
project:
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _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'
- _id: 266EEEC0-B435-11E9-9278-68D0E5697425
name: Quantitative Game-theoretic Analysis of Blockchain Applications and Smart
Contracts
publication: 'PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming
Language Design and Implementation'
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
related_material:
record:
- id: '5457'
relation: earlier_version
status: public
- id: '8934'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Cost analysis of nondeterministic probabilistic programs
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2019'
...
---
_id: '7158'
abstract:
- lang: eng
text: "Interprocedural analysis is at the heart of numerous applications in programming
languages, such as alias analysis, constant propagation, and so on. Recursive
state machines (RSMs) are standard models for interprocedural analysis. We consider
a general framework with RSMs where the transitions are labeled from a semiring
and path properties are algebraic with semiring operations. RSMs with algebraic
path properties can model interprocedural dataflow analysis problems, the shortest
path problem, the most probable path problem, and so on. The traditional algorithms
for interprocedural analysis focus on path properties where the starting point
is fixed as the entry point of a specific method. In this work, we consider possible
multiple queries as required in many applications such as in alias analysis. The
study of multiple queries allows us to bring in an important algorithmic distinction
between the resource usage of the one-time preprocessing vs for each individual
query. The second aspect we consider is that the control flow graphs for most
programs have constant treewidth.\r\n\r\nOur main contributions are simple and
implementable algorithms that support multiple queries for algebraic path properties
for RSMs that have constant treewidth. Our theoretical results show that our algorithms
have small additional one-time preprocessing but can answer subsequent queries
significantly faster as compared to the current algorithmic solutions for interprocedural
dataflow analysis. We have also implemented our algorithms and evaluated their
performance for performing on-demand interprocedural dataflow analysis on various
domains, such as for live variable analysis and reaching definitions, on a standard
benchmark set. Our experimental results align with our theoretical statements
and show that after a lightweight preprocessing, on-demand queries are answered
much faster than the standard existing algorithmic approaches.\r\n"
article_number: '23'
article_processing_charge: No
article_type: original
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 Kafshdar
full_name: Goharshady, Amir Kafshdar
id: 391365CE-F248-11E8-B48F-1D18A9856A87
last_name: Goharshady
orcid: 0000-0003-1702-6584
- first_name: Prateesh
full_name: Goyal, Prateesh
last_name: Goyal
- 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: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
citation:
ama: Chatterjee K, Goharshady AK, Goyal P, Ibsen-Jensen R, Pavlogiannis A. Faster
algorithms for dynamic algebraic queries in basic RSMs with constant treewidth.
ACM Transactions on Programming Languages and Systems. 2019;41(4). doi:10.1145/3363525
apa: Chatterjee, K., Goharshady, A. K., Goyal, P., Ibsen-Jensen, R., & Pavlogiannis,
A. (2019). Faster algorithms for dynamic algebraic queries in basic RSMs with
constant treewidth. ACM Transactions on Programming Languages and Systems.
ACM. https://doi.org/10.1145/3363525
chicago: Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus
Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Dynamic Algebraic
Queries in Basic RSMs with Constant Treewidth.” ACM Transactions on Programming
Languages and Systems. ACM, 2019. https://doi.org/10.1145/3363525.
ieee: K. Chatterjee, A. K. Goharshady, P. Goyal, R. Ibsen-Jensen, and A. Pavlogiannis,
“Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth,”
ACM Transactions on Programming Languages and Systems, vol. 41, no. 4.
ACM, 2019.
ista: Chatterjee K, Goharshady AK, Goyal P, Ibsen-Jensen R, Pavlogiannis A. 2019.
Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth.
ACM Transactions on Programming Languages and Systems. 41(4), 23.
mla: Chatterjee, Krishnendu, et al. “Faster Algorithms for Dynamic Algebraic Queries
in Basic RSMs with Constant Treewidth.” ACM Transactions on Programming Languages
and Systems, vol. 41, no. 4, 23, ACM, 2019, doi:10.1145/3363525.
short: K. Chatterjee, A.K. Goharshady, P. Goyal, R. Ibsen-Jensen, A. Pavlogiannis,
ACM Transactions on Programming Languages and Systems 41 (2019).
date_created: 2019-12-09T08:33:33Z
date_published: 2019-11-01T00:00:00Z
date_updated: 2026-05-17T22:31:15Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1145/3363525
ec_funded: 1
external_id:
isi:
- '000564108400004'
file:
- access_level: open_access
checksum: 291cc86a07bd010d4815e177dac57b70
content_type: application/pdf
creator: dernst
date_created: 2020-10-08T12:58:10Z
date_updated: 2020-10-08T12:58:10Z
file_id: '8632'
file_name: 2019_ACMTransactions_Chatterjee.pdf
file_size: 667357
relation: main_file
success: 1
file_date_updated: 2020-10-08T12:58:10Z
has_accepted_license: '1'
intvolume: ' 41'
isi: 1
issue: '4'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Submitted Version
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _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: ACM
quality_controlled: '1'
related_material:
record:
- id: '8934'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Faster algorithms for dynamic algebraic queries in basic RSMs with constant
treewidth
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 41
year: '2019'
...
---
_id: '7014'
abstract:
- lang: eng
text: "We study the problem of developing efficient approaches for proving\r\nworst-case
bounds of non-deterministic recursive programs. Ranking functions\r\nare sound
and complete for proving termination and worst-case bounds of\r\nnonrecursive
programs. First, we apply ranking functions to recursion,\r\nresulting in measure
functions. We show that measure functions provide a sound\r\nand complete approach
to prove worst-case bounds of non-deterministic recursive\r\nprograms. Our second
contribution is the synthesis of measure functions in\r\nnonpolynomial forms.
We show that non-polynomial measure functions with\r\nlogarithm and exponentiation
can be synthesized through abstraction of\r\nlogarithmic or exponentiation terms,
Farkas' Lemma, and Handelman's Theorem\r\nusing linear programming. While previous
methods obtain worst-case polynomial\r\nbounds, our approach can synthesize bounds
of the form $\\mathcal{O}(n\\log n)$\r\nas well as $\\mathcal{O}(n^r)$ where $r$
is not an integer. We present\r\nexperimental results to demonstrate that our
approach can obtain efficiently\r\nworst-case bounds of classical recursive algorithms
such as (i) Merge-Sort, the\r\ndivide-and-conquer algorithm for the Closest-Pair
problem, where we obtain\r\n$\\mathcal{O}(n \\log n)$ worst-case bound, and (ii)
Karatsuba's algorithm for\r\npolynomial multiplication and Strassen's algorithm
for matrix multiplication,\r\nwhere we obtain $\\mathcal{O}(n^r)$ bound such that
$r$ is not an integer and\r\nclose to the best-known bounds for the respective
algorithms."
article_number: '20'
article_processing_charge: No
article_type: original
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
last_name: Fu
- first_name: Amir Kafshdar
full_name: Goharshady, Amir Kafshdar
id: 391365CE-F248-11E8-B48F-1D18A9856A87
last_name: Goharshady
orcid: 0000-0003-1702-6584
citation:
ama: Chatterjee K, Fu H, Goharshady AK. Non-polynomial worst-case analysis of recursive
programs. ACM Transactions on Programming Languages and Systems. 2019;41(4).
doi:10.1145/3339984
apa: Chatterjee, K., Fu, H., & Goharshady, A. K. (2019). Non-polynomial worst-case
analysis of recursive programs. ACM Transactions on Programming Languages and
Systems. ACM. https://doi.org/10.1145/3339984
chicago: Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Non-Polynomial
Worst-Case Analysis of Recursive Programs.” ACM Transactions on Programming
Languages and Systems. ACM, 2019. https://doi.org/10.1145/3339984.
ieee: K. Chatterjee, H. Fu, and A. K. Goharshady, “Non-polynomial worst-case analysis
of recursive programs,” ACM Transactions on Programming Languages and Systems,
vol. 41, no. 4. ACM, 2019.
ista: Chatterjee K, Fu H, Goharshady AK. 2019. Non-polynomial worst-case analysis
of recursive programs. ACM Transactions on Programming Languages and Systems.
41(4), 20.
mla: Chatterjee, Krishnendu, et al. “Non-Polynomial Worst-Case Analysis of Recursive
Programs.” ACM Transactions on Programming Languages and Systems, vol.
41, no. 4, 20, ACM, 2019, doi:10.1145/3339984.
short: K. Chatterjee, H. Fu, A.K. Goharshady, ACM Transactions on Programming Languages
and Systems 41 (2019).
date_created: 2019-11-13T08:33:43Z
date_published: 2019-10-01T00:00:00Z
date_updated: 2026-05-17T22:31:16Z
day: '01'
department:
- _id: KrCh
doi: 10.1145/3339984
ec_funded: 1
external_id:
arxiv:
- '1705.00317'
isi:
- '000564108400001'
intvolume: ' 41'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1705.00317
month: '10'
oa: 1
oa_version: Preprint
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'
- _id: 267066CE-B435-11E9-9278-68D0E5697425
name: Quantitative Analysis of Probabilistic Systems with a focus on Crypto-Currencies
- _id: 266EEEC0-B435-11E9-9278-68D0E5697425
name: Quantitative Game-theoretic Analysis of Blockchain Applications and Smart
Contracts
publication: ACM Transactions on Programming Languages and Systems
publication_status: published
publisher: ACM
quality_controlled: '1'
related_material:
record:
- id: '639'
relation: earlier_version
status: public
- id: '8934'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Non-polynomial worst-case analysis of recursive programs
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 41
year: '2019'
...