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.
7115 Publications
2018 | Published | Conference Paper | IST-REx-ID: 143 | 
Efficient algorithms for asymptotic bounds on termination time in VASS
T. Brázdil, K. Chatterjee, A. Kučera, P. Novotný, D. Velan, F. Zuleger, in:, IEEE, 2018, pp. 185–194.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
T. Brázdil, K. Chatterjee, A. Kučera, P. Novotný, D. Velan, F. Zuleger, in:, IEEE, 2018, pp. 185–194.
2018 | Published | Conference Paper | IST-REx-ID: 144
A theory of register monitors
T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.
View
| DOI
| WoS
T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.
2018 | Published | Journal Article | IST-REx-ID: 145 |
Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission
S.M. Truckenbrodt, A. Viplav, S. Jähne, A. Vogts, A. Denker, H. Wildhagen, E. Fornasiero, S. Rizzoli, The EMBO Journal 37 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S.M. Truckenbrodt, A. Viplav, S. Jähne, A. Vogts, A. Denker, H. Wildhagen, E. Fornasiero, S. Rizzoli, The EMBO Journal 37 (2018).
2018 | Published | Journal Article | IST-REx-ID: 146 |
The dynamics of root cap sloughing in Arabidopsis is regulated by peptide signalling
C.L. Shi, D. von Wangenheim, U. Herrmann, M. Wildhagen, I. Kulik, A. Kopf, T. Ishida, V. Olsson, M.K. Anker, M. Albert, M.A. Butenko, G. Felix, S. Sawa, M. Claassen, J. Friml, R.B. Aalen, Nature Plants 4 (2018) 596–604.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C.L. Shi, D. von Wangenheim, U. Herrmann, M. Wildhagen, I. Kulik, A. Kopf, T. Ishida, V. Olsson, M.K. Anker, M. Albert, M.A. Butenko, G. Felix, S. Sawa, M. Claassen, J. Friml, R.B. Aalen, Nature Plants 4 (2018) 596–604.
2018 | Published | Conference Paper | IST-REx-ID: 6031
Fast quantized arithmetic on x86: Trading compute for data movement
A. Stojanov, T.M. Smith, D.-A. Alistarh, M. Puschel, in:, 2018 IEEE International Workshop on Signal Processing Systems, IEEE, 2018.
View
| DOI
| WoS
A. Stojanov, T.M. Smith, D.-A. Alistarh, M. Puschel, in:, 2018 IEEE International Workshop on Signal Processing Systems, IEEE, 2018.
2018 | Published | Journal Article | IST-REx-ID: 606 |
Well-posedness for mean-field evolutions arising in superconductivity
M. Duerinckx, J.L. Fischer, Annales de l’Institut Henri Poincare (C) Non Linear Analysis 35 (2018) 1267–1319.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
M. Duerinckx, J.L. Fischer, Annales de l’Institut Henri Poincare (C) Non Linear Analysis 35 (2018) 1267–1319.
2018 | Published | Journal Article | IST-REx-ID: 607 |
Well posedness and maximum entropy approximation for the dynamics of quantitative traits
K. Bodova, J. Haskovec, P. Markowich, Physica D: Nonlinear Phenomena 376–377 (2018) 108–120.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
K. Bodova, J. Haskovec, P. Markowich, Physica D: Nonlinear Phenomena 376–377 (2018) 108–120.
2018 | Published | Book Chapter | IST-REx-ID: 61 |
There is no strongly regular graph with parameters (460; 153; 32; 60)
A. Bondarenko, A. Mellit, A. Prymak, D. Radchenko, M. Viazovska, in:, Contemporary Computational Mathematics, Springer, 2018, pp. 131–134.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Bondarenko, A. Mellit, A. Prymak, D. Radchenko, M. Viazovska, in:, Contemporary Computational Mathematics, Springer, 2018, pp. 131–134.
2018 | Published | Journal Article | IST-REx-ID: 6109 |
Genetic dissection of neuropeptide cell biology at high and low activity in a defined sensory neuron
P. Laurent, Q. Ch’ng, M. Jospin, C. Chen, R. Lorenzo, M. de Bono, Proceedings of the National Academy of Sciences 115 (2018) E6890–E6899.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
P. Laurent, Q. Ch’ng, M. Jospin, C. Chen, R. Lorenzo, M. de Bono, Proceedings of the National Academy of Sciences 115 (2018) E6890–E6899.
2018 | Published | Journal Article | IST-REx-ID: 6111 |
A neuronal MAP kinase constrains growth of a Caenorhabditis elegans sensory dendrite throughout the life of the organism
I.G. McLachlan, I. Beets, M. de Bono, M.G. Heiman, PLOS Genetics 14 (2018).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
I.G. McLachlan, I. Beets, M. de Bono, M.G. Heiman, PLOS Genetics 14 (2018).
2018 | Published | Conference Paper | IST-REx-ID: 6164
Sphere construction on the FCC grid interpreted as layered hexagonal grids in 3D
G. Koshti, R. Biswas, G. Largeteau-Skapin, R. Zrour, E. Andres, P. Bhowmick, in:, 19th International Workshop, Springer, Cham, 2018, pp. 82–96.
View
| DOI
G. Koshti, R. Biswas, G. Largeteau-Skapin, R. Zrour, E. Andres, P. Bhowmick, in:, 19th International Workshop, Springer, Cham, 2018, pp. 82–96.
2018 | Published | Journal Article | IST-REx-ID: 617 |
Genotype and diet affect resistance, survival, and fecundity but not fecundity tolerance
M. Kutzer, J. Kurtz, S. Armitage, Journal of Evolutionary Biology 31 (2018) 159–171.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
M. Kutzer, J. Kurtz, S. Armitage, Journal of Evolutionary Biology 31 (2018) 159–171.
2018 | Submitted | Preprint | IST-REx-ID: 6183 |
The Dyson equation with linear self-energy: Spectral bands, edges and cusps
J. Alt, L. Erdös, T.H. Krüger, ArXiv (n.d.).
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
J. Alt, L. Erdös, T.H. Krüger, ArXiv (n.d.).
2018 | Published | Conference Paper | IST-REx-ID: 6195
Efficient FEM-based simulation of soft robots modeled as kinematic chains
M. Pozzi, E. Miguel Villalba, R. Deimel, M. Malvezzi, B. Bickel, O. Brock, D. Prattichizzo, in:, IEEE, 2018.
View
| DOI
| WoS
M. Pozzi, E. Miguel Villalba, R. Deimel, M. Malvezzi, B. Bickel, O. Brock, D. Prattichizzo, in:, IEEE, 2018.
2018 | Published | Journal Article | IST-REx-ID: 62 |
Flexible learning-free segmentation and reconstruction of neural volumes
A. Shabazi, J. Kinnison, R. Vescovi, M. Du, R. Hill, M.A. Jösch, M. Takeno, H. Zeng, N. Da Costa, J. Grutzendler, N. Kasthuri, W. Scheirer, Scientific Reports 8 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
A. Shabazi, J. Kinnison, R. Vescovi, M. Du, R. Hill, M.A. Jösch, M. Takeno, H. Zeng, N. Da Costa, J. Grutzendler, N. Kasthuri, W. Scheirer, Scientific Reports 8 (2018).
2018 | Published | Journal Article | IST-REx-ID: 620 |
Distinct roles for plasma membrane PtdIns 4 P and PtdIns 4 5 P2 during yeast receptor mediated endocytosis
W. Yamamoto, S. Wada, M. Nagano, K. Aoshima, D.E. Siekhaus, J. Toshima, J. Toshima, Journal of Cell Science 131 (2018).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
W. Yamamoto, S. Wada, M. Nagano, K. Aoshima, D.E. Siekhaus, J. Toshima, J. Toshima, Journal of Cell Science 131 (2018).
2018 | Published | Journal Article | IST-REx-ID: 63 |
Unusual diversity of sex chromosomes in African cichlid fishes
W.J. Gammerdinger, T. Kocher, Genes 9 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
W.J. Gammerdinger, T. Kocher, Genes 9 (2018).
2018 | Published | Journal Article | IST-REx-ID: 6339 |
Diagrammatic Monte Carlo approach to angular momentum in quantum many-particle systems
G. Bighin, T. Tscherbul, M. Lemeshko, Physical Review Letters 121 (2018).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G. Bighin, T. Tscherbul, M. Lemeshko, Physical Review Letters 121 (2018).
2018 | Published | Journal Article | IST-REx-ID: 6354 |
Platelet migration and bacterial trapping assay under flow
S. Fan, M. Lorenz, S. Massberg, F.R. Gärtner, Bio-Protocol 8 (2018).
[Published Version]
View
| Files available
| DOI
S. Fan, M. Lorenz, S. Massberg, F.R. Gärtner, Bio-Protocol 8 (2018).
2018 | Published | Journal Article | IST-REx-ID: 6355 |
Any cyclic quadrilateral can be inscribed in any closed convex smooth curve
A. Akopyan, S. Avvakumov, Forum of Mathematics, Sigma 6 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Akopyan, S. Avvakumov, Forum of Mathematics, Sigma 6 (2018).