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.
576 Publications
2017 | Published | Conference Paper | IST-REx-ID: 962
Model counting for recursively-defined strings
M. Trinh, D.H. Chu, J. Jaffar, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 399–418.
View
| DOI
| WoS
M. Trinh, D.H. Chu, J. Jaffar, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 399–418.
2017 | Published | Journal Article | IST-REx-ID: 1338 | 
From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.
[Published Version]
View
| Files available
| DOI
| WoS
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.
2017 | Published | Journal Article | IST-REx-ID: 12193 |
Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis
J. Walker, H. Gao, J. Zhang, B. Aldridge, M. Vickers, J.D. Higgins, X. Feng, Nature Genetics 50 (2017) 130–137.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
J. Walker, H. Gao, J. Zhang, B. Aldridge, M. Vickers, J.D. Higgins, X. Feng, Nature Genetics 50 (2017) 130–137.
2017 | Published | Journal Article | IST-REx-ID: 453 |
Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement
T. Fallesen, J. Roostalu, C.F. Düllberg, G. Pruessner, T. Surrey, Biophysical Journal 113 (2017) 2055–2067.
[Published Version]
View
| Files available
| DOI
T. Fallesen, J. Roostalu, C.F. Düllberg, G. Pruessner, T. Surrey, Biophysical Journal 113 (2017) 2055–2067.
2017 | Published | Journal Article | IST-REx-ID: 550 |
Singularities of the density of states of random Gram matrices
J. Alt, Electronic Communications in Probability 22 (2017).
[Published Version]
View
| Files available
| DOI
J. Alt, Electronic Communications in Probability 22 (2017).
2017 | Published | Journal Article | IST-REx-ID: 560 |
On stochastic differential equations with arbitrarily slow convergence rates for strong approximation in two space dimensions
M. Gerencser, A. Jentzen, D. Salimova, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 473 (2017).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M. Gerencser, A. Jentzen, D. Salimova, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 473 (2017).
2017 | Published | Conference Paper | IST-REx-ID: 5801
Fast and Efficient Incremental Algorithms for Circular and Spherical Propagation in Integer Space
S. Dwivedi, A. Gupta, S. Roy, R. Biswas, P. Bhowmick, in:, 20th IAPR International Conference, Springer Nature, Cham, 2017, pp. 347–359.
View
| DOI
S. Dwivedi, A. Gupta, S. Roy, R. Biswas, P. Bhowmick, in:, 20th IAPR International Conference, Springer Nature, Cham, 2017, pp. 347–359.
2017 | Published | Conference Paper | IST-REx-ID: 5802
Digital primitives defined by weighted focal set
E. Andres, R. Biswas, P. Bhowmick, in:, 20th IAPR International Conference, Springer Nature, Cham, 2017, pp. 388–398.
View
| DOI
E. Andres, R. Biswas, P. Bhowmick, in:, 20th IAPR International Conference, Springer Nature, Cham, 2017, pp. 388–398.
2017 | Published | Journal Article | IST-REx-ID: 593
Bell correlations in spin-squeezed states of 500 000 atoms
N. Engelsen, R. Krishnakumar, O. Hosten, M. Kasevich, Physical Review Letters 118 (2017).
View
| DOI
N. Engelsen, R. Krishnakumar, O. Hosten, M. Kasevich, Physical Review Letters 118 (2017).
2017 | Published | Journal Article | IST-REx-ID: 17616 |
Lighthouse in the dust: infrared echoes of periodic emission from massive black hole binaries★
D.J. D’Orazio, Z. Haiman, Monthly Notices of the Royal Astronomical Society 470 (2017) 1198–1217.
[Published Version]
View
| DOI
| Download Published Version (ext.)
D.J. D’Orazio, Z. Haiman, Monthly Notices of the Royal Astronomical Society 470 (2017) 1198–1217.
2017 | Published | Journal Article | IST-REx-ID: 17696 |
What is the maximum mass of a Population III galaxy?
E. Visbal, G.L. Bryan, Z. Haiman, Monthly Notices of the Royal Astronomical Society 469 (2017) 1456–1465.
[Published Version]
View
| DOI
| Download Published Version (ext.)
E. Visbal, G.L. Bryan, Z. Haiman, Monthly Notices of the Royal Astronomical Society 469 (2017) 1456–1465.
2017 | Published | Journal Article | IST-REx-ID: 17707 |
Electromagnetic chirp of a compact binary black hole: A phase template for the gravitational wave inspiral
Z. Haiman, Physical Review D 96 (2017).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Z. Haiman, Physical Review D 96 (2017).
2017 | Published | Journal Article | IST-REx-ID: 9137 |
A survey of precipitation-induced atmospheric cold pools over oceans and their interactions with the larger-scale environment
P. Zuidema, G. Torri, C.J. Muller, A. Chandra, Surveys in Geophysics 38 (2017) 1283–1305.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Zuidema, G. Torri, C.J. Muller, A. Chandra, Surveys in Geophysics 38 (2017) 1283–1305.
2017 | Published | Journal Article | IST-REx-ID: 94 |
Breaking Lorentz reciprocity with frequency conversion and delay
E. Rosenthal, B. Chapman, A.P. Higginbotham, J. Kerckhoff, K. Lehnert, APS Physics, Physical Review Letters 119 (2017).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
E. Rosenthal, B. Chapman, A.P. Higginbotham, J. Kerckhoff, K. Lehnert, APS Physics, Physical Review Letters 119 (2017).
2017 | Research Data Reference | IST-REx-ID: 9860 |
Additional file 5: Table S3. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, (2017).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, (2017).
2017 | Published | Journal Article | IST-REx-ID: 746 |
Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice
E. Aloisi, K. Le Corf, J. Dupuis, P. Zhang, M. Ginger, V. Labrousse, M. Spatuzza, M. Georg Haberl, L. Costa, R. Shigemoto, A. Tappe Theodor, F. Drago, P. Vincenzo Piazza, C. Mulle, L. Groc, L. Ciranna, M. Catania, A. Frick, Nature Communications 8 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
E. Aloisi, K. Le Corf, J. Dupuis, P. Zhang, M. Ginger, V. Labrousse, M. Spatuzza, M. Georg Haberl, L. Costa, R. Shigemoto, A. Tappe Theodor, F. Drago, P. Vincenzo Piazza, C. Mulle, L. Groc, L. Ciranna, M. Catania, A. Frick, Nature Communications 8 (2017).
2017 | Published | Journal Article | IST-REx-ID: 751 |
A moving source of matrix components is essential for De Novo basement membrane formation
Y. Matsubayashi, A. Louani, A. Dragu, B. Sanchez Sanchez, E. Serna Morales, L. Yolland, A. György, G. Vizcay, R. Fleck, J. Heddleston, T. Chew, D.E. Siekhaus, B. Stramer, Current Biology 27 (2017) 3526–3534e.4.
[Published Version]
View
| Files available
| DOI
| WoS
Y. Matsubayashi, A. Louani, A. Dragu, B. Sanchez Sanchez, E. Serna Morales, L. Yolland, A. György, G. Vizcay, R. Fleck, J. Heddleston, T. Chew, D.E. Siekhaus, B. Stramer, Current Biology 27 (2017) 3526–3534e.4.
2017 | Published | Conference Paper | IST-REx-ID: 791 |
The power of choice in priority scheduling
D.-A. Alistarh, J. Kopinsky, J. Li, G. Nadiradze, in:, Proceedings of the ACM Symposium on Principles of Distributed Computing, ACM, 2017, pp. 283–292.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
D.-A. Alistarh, J. Kopinsky, J. Li, G. Nadiradze, in:, Proceedings of the ACM Symposium on Principles of Distributed Computing, ACM, 2017, pp. 283–292.
2017 | Published | Conference Paper | IST-REx-ID: 8301 |
CHAINIAC: Proactive software-update transparency via collectively signed skipchains and verified builds
K. Nikitin, E. Kokoris Kogias, P. Jovanovic, L. Gasser, N. Gailly, I. Khoffi, J. Cappos, B. Ford, in:, Proceedings of the 26th USENIX Conference on Security Symposium, USENIX Association, 2017, pp. 1271–1287.
[Published Version]
View
| Download Published Version (ext.)
K. Nikitin, E. Kokoris Kogias, P. Jovanovic, L. Gasser, N. Gailly, I. Khoffi, J. Cappos, B. Ford, in:, Proceedings of the 26th USENIX Conference on Security Symposium, USENIX Association, 2017, pp. 1271–1287.
2017 | Published | Journal Article | IST-REx-ID: 8445
Slow conformational exchange and overall rocking motion in ubiquitin protein crystals
V. Kurauskas, S.A. Izmailov, O.N. Rogacheva, A. Hessel, I. Ayala, J. Woodhouse, A. Shilova, Y. Xue, T. Yuwen, N. Coquelle, J.-P. Colletier, N.R. Skrynnikov, P. Schanda, Nature Communications 8 (2017).
[Published Version]
View
| DOI
V. Kurauskas, S.A. Izmailov, O.N. Rogacheva, A. Hessel, I. Ayala, J. Woodhouse, A. Shilova, Y. Xue, T. Yuwen, N. Coquelle, J.-P. Colletier, N.R. Skrynnikov, P. Schanda, Nature Communications 8 (2017).