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.

321 Publications


2016 |Published| Journal Article | IST-REx-ID: 1273 | OA
S. Porco et al., “Lateral root emergence in Arabidopsis is dependent on transcription factor LBD29 regulation of auxin influx carrier LAX3,” Development, vol. 143, no. 18. Company of Biologists, pp. 3340–3349, 2016.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 |Published| Conference Paper | IST-REx-ID: 1389 | OA
V. K. Chonev, J. Ouaknine, and J. Worrell, “On recurrent reachability for continuous linear dynamical systems,” in LICS ’16, New York, NY, USA, 2016, pp. 515–524.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 |Published| Journal Article | IST-REx-ID: 1592
M. Abe, G. Fuchsbauer, J. Groth, K. Haralambiev, and M. Ohkubo, “Structure preserving signatures and commitments to group elements,” Journal of Cryptology, vol. 29, no. 2. Springer, pp. 363–421, 2016.
View | DOI
 

2016 |Published| Book Chapter | IST-REx-ID: 5809
R. Biswas, P. Bhowmick, and V. E. Brimkov, “On the connectivity and smoothness of discrete spherical circles,” in Combinatorial image analysis, vol. 9448, Cham: Springer Nature, 2016, pp. 86–100.
View | DOI
 

2016 |Published| Journal Article | IST-REx-ID: 9140 | OA
P. Drobinski, B. Alonzo, S. Bastin, N. D. Silva, and C. J. Muller, “Scaling of precipitation extremes with temperature in the French Mediterranean region: What explains the hook shape?,” Journal of Geophysical Research: Atmospheres, vol. 121, no. 7. American Geophysical Union, pp. 3100–3119, 2016.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 |Published| Journal Article | IST-REx-ID: 12617 | OA
S. Ragettli, T. Bolch, and F. Pellicciotti, “Heterogeneous glacier thinning patterns over the last 40 years in Langtang Himal, Nepal,” The Cryosphere, vol. 10, no. 5. Copernicus Publications, pp. 2075–2097, 2016.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 |Published| Journal Article | IST-REx-ID: 13478 | OA
Y. L. L. Götberg, M. B. Davies, A. J. Mustill, A. Johansen, and R. P. Church, “Long-term stability of the HR 8799 planetary system without resonant lock,” Astronomy & Astrophysics, vol. 592. EDP Sciences, 2016.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2016 |Published| Journal Article | IST-REx-ID: 1243
M. Pleska et al., “Bacterial autoimmunity due to a restriction-modification system,” Current Biology, vol. 26, no. 3. Cell Press, pp. 404–409, 2016.
View | Files available | DOI
 

2016 |Published| Journal Article | IST-REx-ID: 1794 | OA
V. Kolmogorov and R. Takhanov, “Inference algorithms for pattern-based CRFs on sequence data,” Algorithmica, vol. 76, no. 1. Springer, pp. 17–46, 2016.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 |Published| Conference Paper | IST-REx-ID: 10796
K. Chatterjee and R. Ibsen-Jensen, “The value 1 problem under finite-memory strategies for concurrent mean-payoff games,” in Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, San Diego, CA, United States, 2015, vol. 2015, no. 1, pp. 1018–1029.
[Preprint] View | DOI | arXiv
 

2015 |Published| Journal Article | IST-REx-ID: 11519 | OA
D. Sobral et al., “Evidence for PopIII-like stellar populations in the most luminous Lyα emitters at the epoch of reionisation: Spectroscopic confirmation,” The Astrophysical Journal, vol. 808, no. 2. IOP Publishing, p. 139, 2015.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 |Published| Conference Paper | IST-REx-ID: 11785 | OA
M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Improved algorithms for decremental single-source reachability on directed graphs,” in 42nd International Colloquium on Automata, Languages and Programming, Kyoto, Japan, 2015, vol. 9134, pp. 725–736.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 |Published| Journal Article | IST-REx-ID: 1536
J. Sasse et al., “Asymmetric localizations of the ABC transporter PaPDR1 trace paths of directional strigolactone transport,” Current Biology, vol. 25, no. 5. Cell Press, pp. 647–655, 2015.
View | DOI
 

2015 |Published| Journal Article | IST-REx-ID: 1546 | OA
Y. Nakamura et al., “Nanoscale distribution of presynaptic Ca2+ channels and its impact on vesicular release during development,” Neuron, vol. 85, no. 1. Elsevier, pp. 145–158, 2015.
[Published Version] View | Files available | DOI
 

2015 |Published| Conference Paper | IST-REx-ID: 1541
R. Ray, A. Gurung, B. Das, E. Bartocci, S. Bogomolov, and R. Grosu, “XSpeed: Accelerating reachability analysis on multi-core processors,” vol. 9434. Springer, pp. 3–18, 2015.
View | DOI
 

2015 |Published| Conference Paper | IST-REx-ID: 1606
L. Nguyen, C. Schilling, S. Bogomolov, and T. Johnson, “Runtime verification for hybrid analysis tools,” in 6th International Conference, Vienna, Austria, 2015, vol. 9333, pp. 281–286.
View | DOI
 

2015 |Published| Conference Paper | IST-REx-ID: 1672 | OA
J. F. Alwen, R. Ostrovsky, H. Zhou, and V. Zikas, “Incoercible multi-party computation and universally composable receipt-free voting,” in Advances in Cryptology - CRYPTO 2015, Santa Barbara, CA, United States, 2015, vol. 9216, pp. 763–780.
[Submitted Version] View | Files available | DOI
 

2015 |Published| Technical Report | IST-REx-ID: 5444 | OA
J. Reiter et al., Reconstructing robust phylogenies of metastatic cancers. IST Austria, 2015.
[Published Version] View | Files available | DOI
 

2015 |Published| Journal Article | IST-REx-ID: 8498
V. Kaloshin and K. Zhang, “Arnold diffusion for smooth convex systems of two and a half degrees of freedom,” Nonlinearity, vol. 28, no. 8. IOP Publishing, pp. 2699–2720, 2015.
View | DOI
 

2014 |Published| Conference Paper | IST-REx-ID: 11790
L. Cigler, W. Dvořák, M. H. Henzinger, and M. Starnberger, “Limiting price discrimination when selling products with positive network externalities,” in 10th International Conference of Web and Internet Economics, Beijing, China, 2014, vol. 8877, pp. 44–57.
View | DOI
 

Filters and Search Terms

isbn%3D978-331958770-7

Search

Filter Publications