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.
1624 Publications
2019 |Published| Journal Article | IST-REx-ID: 6102 | 
A full vectorial mapping of nanophotonic light fields
B. Le Feber, J.E. Sipe, M. Wulf, L. Kuipers, N. Rotenberg, Light: Science and Applications 8 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
B. Le Feber, J.E. Sipe, M. Wulf, L. Kuipers, N. Rotenberg, Light: Science and Applications 8 (2019).
2019 |Published| Journal Article | IST-REx-ID: 6297 |
An integrated assay to probe endothelial glycocalyx-blood cell interactions under flow in mechanically and biochemically well-defined environments
H.S. Davies, N.S. Baranova, N. El Amri, L. Coche-Guérente, C. Verdier, L. Bureau, R.P. Richter, D. Débarre, Matrix Biology 78–79 (2019) 47–59.
[Submitted Version]
View
| Files available
| DOI
| WoS
H.S. Davies, N.S. Baranova, N. El Amri, L. Coche-Guérente, C. Verdier, L. Bureau, R.P. Richter, D. Débarre, Matrix Biology 78–79 (2019) 47–59.
2019 |Published| Conference Paper | IST-REx-ID: 6428 |
Interface-aware signal temporal logic
T. Ferrere, D. Nickovic, A. Donzé, H. Ito, J. Kapinski, in:, Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66.
[Submitted Version]
View
| Files available
| DOI
| WoS
T. Ferrere, D. Nickovic, A. Donzé, H. Ito, J. Kapinski, in:, Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66.
2019 |Published| Conference Paper | IST-REx-ID: 6462 |
Run-time optimization for learned controllers through quantitative games
G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649.
[Published Version]
View
| Files available
| DOI
| WoS
G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649.
2019 |Published| Conference Paper | IST-REx-ID: 6493 |
Membership-based synthesis of linear hybrid automata
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
[Published Version]
View
| Files available
| DOI
| WoS
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
2019 |Published| Conference Poster | IST-REx-ID: 6485
Lock-free channels for programming via communicating sequential processes
N. Koval, D.-A. Alistarh, R. Elizarov, Lock-Free Channels for Programming via Communicating Sequential Processes, ACM Press, 2019.
View
| DOI
| WoS
N. Koval, D.-A. Alistarh, R. Elizarov, Lock-Free Channels for Programming via Communicating Sequential Processes, ACM Press, 2019.
2019 |Published| Journal Article | IST-REx-ID: 6756 |
Unexpected topology of the temperature fluctuations in the cosmic microwave background
P. Pranav, R.J. Adler, T. Buchert, H. Edelsbrunner, B.J.T. Jones, A. Schwartzman, H. Wagner, R. Van De Weygaert, Astronomy and Astrophysics 627 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
P. Pranav, R.J. Adler, T. Buchert, H. Edelsbrunner, B.J.T. Jones, A. Schwartzman, H. Wagner, R. Van De Weygaert, Astronomy and Astrophysics 627 (2019).
2019 |Published| Journal Article | IST-REx-ID: 6832
Active cell migration is critical for steady-state epithelial turnover in the gut
D. Krndija, F.E. Marjou, B. Guirao, S. Richon, O. Leroy, Y. Bellaiche, E.B. Hannezo, D.M. Vignjevic, Science 365 (2019) 705–710.
View
| DOI
| WoS
| PubMed | Europe PMC
D. Krndija, F.E. Marjou, B. Guirao, S. Richon, O. Leroy, Y. Bellaiche, E.B. Hannezo, D.M. Vignjevic, Science 365 (2019) 705–710.
2019 |Published| Journal Article | IST-REx-ID: 6837
Migrasomes take center stage
S. Tavano, C.-P.J. Heisenberg, Nature Cell Biology 21 (2019) 918–920.
View
| DOI
| WoS
| PubMed | Europe PMC
S. Tavano, C.-P.J. Heisenberg, Nature Cell Biology 21 (2019) 918–920.
2019 | Research Data Reference | IST-REx-ID: 9900 |
Additional file 5 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
2019 |Published| Journal Article | IST-REx-ID: 6972 |
Self-stabilising Byzantine clock synchronisation is almost as easy as consensus
C. Lenzen, J. Rybicki, Journal of the ACM 66 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
C. Lenzen, J. Rybicki, Journal of the ACM 66 (2019).
2019 |Published| Conference Paper | IST-REx-ID: 6942 |
Strategy representation by decision trees with linear classifiers
P. Ashok, T. Brázdil, K. Chatterjee, J. Křetínský, C. Lampert, V. Toman, in:, 16th International Conference on Quantitative Evaluation of Systems, Springer Nature, 2019, pp. 109–128.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Ashok, T. Brázdil, K. Chatterjee, J. Křetínský, C. Lampert, V. Toman, in:, 16th International Conference on Quantitative Evaluation of Systems, Springer Nature, 2019, pp. 109–128.
2019 |Published| Journal Article | IST-REx-ID: 6259 |
TMK1-mediated auxin signalling regulates differential growth of the apical hook
M. Cao, R. Chen, P. Li, Y. Yu, R. Zheng, D. Ge, W. Zheng, X. Wang, Y. Gu, Z. Gelová, J. Friml, H. Zhang, R. Liu, J. He, T. Xu, Nature 568 (2019) 240–243.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Cao, R. Chen, P. Li, Y. Yu, R. Zheng, D. Ge, W. Zheng, X. Wang, Y. Gu, Z. Gelová, J. Friml, H. Zhang, R. Liu, J. He, T. Xu, Nature 568 (2019) 240–243.
2019 |Published| Book Chapter | IST-REx-ID: 6987 |
Emergence of embryo shape during cleavage divisions
A. McDougall, J. Chenevert, B.G. Godard, R. Dumollard, in:, W. Tworzydlo, S.M. Bilinski (Eds.), Evo-Devo: Non-Model Species in Cell and Developmental Biology, Springer Nature, 2019, pp. 127–154.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. McDougall, J. Chenevert, B.G. Godard, R. Dumollard, in:, W. Tworzydlo, S.M. Bilinski (Eds.), Evo-Devo: Non-Model Species in Cell and Developmental Biology, Springer Nature, 2019, pp. 127–154.
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| Journal Article | IST-REx-ID: 7108 |
Shellability is NP-complete
X. Goaoc, P. Patak, Z. Patakova, M. Tancer, U. Wagner, Journal of the ACM 66 (2019).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
X. Goaoc, P. Patak, Z. Patakova, M. Tancer, U. Wagner, Journal of the ACM 66 (2019).
2019 |Published| Conference Paper | IST-REx-ID: 7147
Transient memory in gene regulation
C.C. Guet, T.A. Henzinger, C. Igler, T. Petrov, A. Sezgin, in:, 17th International Conference on Computational Methods in Systems Biology, Springer Nature, 2019, pp. 155–187.
View
| DOI
| WoS
C.C. Guet, T.A. Henzinger, C. Igler, T. Petrov, A. Sezgin, in:, 17th International Conference on Computational Methods in Systems Biology, Springer Nature, 2019, pp. 155–187.
2019 |Published| Conference Paper | IST-REx-ID: 7159
Shape expressions for specifying and extracting signal features
D. Ničković, X. Qin, T. Ferrere, C. Mateis, J. Deshmukh, in:, 19th International Conference on Runtime Verification, Springer Nature, 2019, pp. 292–309.
View
| DOI
| WoS
D. Ničković, X. Qin, T. Ferrere, C. Mateis, J. Deshmukh, in:, 19th International Conference on Runtime Verification, Springer Nature, 2019, pp. 292–309.
2019 |Published| Conference Paper | IST-REx-ID: 7183 |
Deciding fast termination for probabilistic VASS with nondeterminism
T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, D. Velan, in:, International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2019, pp. 462–478.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, D. Velan, in:, International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2019, pp. 462–478.
2019 |Published| Journal Article | IST-REx-ID: 7179 |
Localization of group II and III metabotropic glutamate receptors at pre- and postsynaptic sites of inner hair cell ribbon synapses
L. Klotz, O. Wendler, R. Frischknecht, R. Shigemoto, H. Schulze, R. Enz, FASEB Journal 33 (2019) 13734–13746.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L. Klotz, O. Wendler, R. Frischknecht, R. Shigemoto, H. Schulze, R. Enz, FASEB Journal 33 (2019) 13734–13746.