Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4839 Publications
2019 |
Published |
Journal Article |
IST-REx-ID: 10874 |
Modular invariants for genus 3 hyperelliptic curves
S. Ionica, P. Kılıçer, K. Lauter, E. Lorenzo García, M.-A. Manzateanu, M. Massierer, C. Vincent, Research in Number Theory 5 (2019).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Ionica, P. Kılıçer, K. Lauter, E. Lorenzo García, M.-A. Manzateanu, M. Massierer, C. Vincent, Research in Number Theory 5 (2019).
2019 |
Published |
Conference Paper |
IST-REx-ID: 10877 |
ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics
G. Frehse, A. Abate, D. Adzkiya, A. Becchi, L. Bu, A. Cimatti, M. Giacobbe, A. Griggio, S. Mover, M.S. Mufid, I. Riouak, S. Tonetta, E. Zaffanella, in:, G. Frehse, M. Althoff (Eds.), ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, EasyChair, 2019, pp. 1–13.
[Published Version]
View
| Files available
| DOI
G. Frehse, A. Abate, D. Adzkiya, A. Becchi, L. Bu, A. Cimatti, M. Giacobbe, A. Griggio, S. Mover, M.S. Mufid, I. Riouak, S. Tonetta, E. Zaffanella, in:, G. Frehse, M. Althoff (Eds.), ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, EasyChair, 2019, pp. 1–13.
2019 |
Published |
Journal Article |
IST-REx-ID: 10878 |
A mean-field model with discontinuous coefficients for neurons with spatial interaction
F. Flandoli, E. Priola, G.A. Zanco, Discrete and Continuous Dynamical Systems 39 (2019) 3037–3067.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
F. Flandoli, E. Priola, G.A. Zanco, Discrete and Continuous Dynamical Systems 39 (2019) 3037–3067.
2019 |
Published |
Journal Article |
IST-REx-ID: 10879 |
Perturbations of continuum random Schrödinger operators with applications to Anderson orthogonality and the spectral shift function
A.M. Dietlein, M. Gebert, P. Müller, Journal of Spectral Theory 9 (2019) 921–965.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A.M. Dietlein, M. Gebert, P. Müller, Journal of Spectral Theory 9 (2019) 921–965.
2019 |
Published |
Conference Abstract |
IST-REx-ID: 11222 |
Functional analysis of the docked vesicle pool in hippocampal mossy fiber terminals by electron microscopy
O. Kim, C. Borges Merjane, P.M. Jonas, in:, Intrinsic Activity, Austrian Pharmacological Society, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
O. Kim, C. Borges Merjane, P.M. Jonas, in:, Intrinsic Activity, Austrian Pharmacological Society, 2019.
2018 |
Published |
Journal Article |
IST-REx-ID: 1215 |
Infinite-dimensional calculus under weak spatial regularity of the processes
F. Flandoli, F. Russo, G.A. Zanco, Journal of Theoretical Probability 31 (2018) 789–826.
[Published Version]
View
| Files available
| DOI
F. Flandoli, F. Russo, G.A. Zanco, Journal of Theoretical Probability 31 (2018) 789–826.
2018 |
Published |
Journal Article |
IST-REx-ID: 13 |
Metamolds: Computational design of silicone molds
T. Alderighi, L. Malomo, D. Giorgi, N. Pietroni, B. Bickel, P. Cignoni, ACM Trans. Graph. 37 (2018).
[Submitted Version]
View
| Files available
| DOI
| WoS
T. Alderighi, L. Malomo, D. Giorgi, N. Pietroni, B. Bickel, P. Cignoni, ACM Trans. Graph. 37 (2018).
2018 |
Research Data Reference |
IST-REx-ID: 13055 |
Social network plasticity decreases disease transmission in a eusocial insect
N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, (2018).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, (2018).
2018 |
Research Data Reference |
IST-REx-ID: 13059 |
Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method
E. Garriga, P. di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, (2018).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
E. Garriga, P. di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, (2018).
2018 |
Published |
Journal Article |
IST-REx-ID: 131 |
Evolution of gene dosage on the Z-chromosome of schistosome parasites
M.A.L. Picard, C. Cosseau, S. Ferré, T. Quack, C. Grevelding, Y. Couté, B. Vicoso, ELife 7 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
M.A.L. Picard, C. Cosseau, S. Ferré, T. Quack, C. Grevelding, Y. Couté, B. Vicoso, ELife 7 (2018).
2018 |
Published |
Journal Article |
IST-REx-ID: 132 |
Defining lineage potential and fate behavior of precursors during pancreas development
M. Sznurkowska, E.B. Hannezo, R. Azzarelli, S. Rulands, S. Nestorowa, C. Hindley, J. Nichols, B. Göttgens, M. Huch, A. Philpott, B. Simons, Developmental Cell 46 (2018) 360–375.
[Published Version]
View
| Files available
| DOI
| WoS
M. Sznurkowska, E.B. Hannezo, R. Azzarelli, S. Rulands, S. Nestorowa, C. Hindley, J. Nichols, B. Göttgens, M. Huch, A. Philpott, B. Simons, Developmental Cell 46 (2018) 360–375.
2018 |
Published |
Conference Paper |
IST-REx-ID: 133 |
Synchronizing the asynchronous
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version]
View
| Files available
| DOI
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 |
Published |
Journal Article |
IST-REx-ID: 82 |
Leaky resistance and the conditions for the existence of lytic bacteriophage
W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta, C.C. Guet, B. Levin, PLoS Biology 16 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta, C.C. Guet, B. Levin, PLoS Biology 16 (2018).
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 83 |
Proof systems for sustainable decentralized cryptocurrencies
H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, Institute of Science and Technology Austria, 2018.
2018 |
Published |
Conference Paper |
IST-REx-ID: 85 |
Snapshot based synchronization: A fast replacement for Hand-over-Hand locking
E. Gilad, T.A. Brown, M. Oskin, Y. Etsion, in:, Springer, 2018, pp. 465–479.
[Preprint]
View
| Files available
| DOI
| WoS
E. Gilad, T.A. Brown, M. Oskin, Y. Etsion, in:, Springer, 2018, pp. 465–479.
2018 |
Submitted |
Preprint |
IST-REx-ID: 8547 |
Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture
A. Llorca, G. Ciceri, R.J. Beattie, F.K. Wong, G. Diana, E. Serafeimidou, M. Fernández-Otero, C. Streicher, S.J. Arnold, M. Meyer, S. Hippenmeyer, M. Maravall, O. Marín, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Llorca, G. Ciceri, R.J. Beattie, F.K. Wong, G. Diana, E. Serafeimidou, M. Fernández-Otero, C. Streicher, S.J. Arnold, M. Meyer, S. Hippenmeyer, M. Maravall, O. Marín, BioRxiv (n.d.).
2018 |
Published |
Book Chapter |
IST-REx-ID: 86 |
Computing average response time
K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.
2018 |
Published |
Journal Article |
IST-REx-ID: 8618 |
Novel reversibly switchable fluorescent proteins for RESOLFT and STED nanoscopy engineered from the bacterial photoreceptor YtvA
C. Gregor, S.C. Sidenstein, M. Andresen, S.J. Sahl, J.G. Danzl, S.W. Hell, Scientific Reports 8 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C. Gregor, S.C. Sidenstein, M. Andresen, S.J. Sahl, J.G. Danzl, S.W. Hell, Scientific Reports 8 (2018).
2018 |
Published |
Journal Article |
IST-REx-ID: 87 |
Random inscribed polytopes have similar radius functions as Poisson-Delaunay mosaics
H. Edelsbrunner, A. Nikitenko, Annals of Applied Probability 28 (2018) 3215–3238.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
H. Edelsbrunner, A. Nikitenko, Annals of Applied Probability 28 (2018) 3215–3238.
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 9 |
Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo
V. Belyaeva, Transcriptional Regulation of Macrophage Migration in the Drosophila Melanogaster Embryo , Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
V. Belyaeva, Transcriptional Regulation of Macrophage Migration in the Drosophila Melanogaster Embryo , Institute of Science and Technology Austria, 2018.