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.

8919 Publications


2016 | Published | Journal Article | IST-REx-ID: 1372 | OA
Pernisová M, Prat T, Grones P, Haruštiaková D, Matonohova M, Spíchal L, Nodzyński T, Friml J, Hejátko J. 2016. Cytokinins influence root gravitropism via differential regulation of auxin transporter expression and localization in Arabidopsis. New Phytologist. 212(2), 497–509.
[Submitted Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1373 | OA
Martin O, Zagórski MP. 2016. Network architectures and operating principles. Reply to comments on "Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function" Physics of Life Reviews. 17, 168–171.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1377 | OA
Kolmogorov V, Pock T, Rolinek M. 2016. Total variation on a tree. SIAM Journal on Imaging Sciences. 9(2), 605–636.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Published | Conference Paper | IST-REx-ID: 1378 | OA
Dotterrer D, Kaufman T, Wagner U. 2016. On expansion and topological overlap. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51, 35.1-35.10.
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1379 | OA
Burton B, de Mesmay AN, Wagner U. 2016. Finding non-orientable surfaces in 3-manifolds. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51, 24.1-24.15.
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1380 | OA
Chonev VK, Ouaknine J, Worrell J. 2016. On the complexity of the orbit problem. Journal of the ACM. 63(3), 23.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Published | Conference Paper | IST-REx-ID: 1381 | OA
Mabillard I, Wagner U. 2016. Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51, 51.1-51.12.
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1382
Ellis T, Field D. 2016. Repeated gains in yellow and anthocyanin pigmentation in flower colour transitions in the Antirrhineae. Annals of Botany. 117(7), 1133–1140.
View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1386 | OA
Chatterjee K, Fu H, Goharshady AK. 2016. Termination analysis of probabilistic programs through Positivstellensatz’s. CAV: Computer Aided Verification, LNCS, vol. 9779, 3–22.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2016 | Published | Conference Paper | IST-REx-ID: 1389 | OA
Chonev VK, Ouaknine J, Worrell J. 2016. On recurrent reachability for continuous linear dynamical systems. LICS ’16. LICS: Logic in Computer Science, 515–524.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Published | Conference Paper | IST-REx-ID: 1390
D’Antoni L, Samanta R, Singh R. 2016. QLOSE: Program repair with quantitative objectives. CAV: Computer Aided Verification, LNCS, vol. 9780, 383–401.
View | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1391 | OA
Daca P, Henzinger TA, Kupriyanov A. 2016. Array folds logic. CAV: Computer Aided Verification, LNCS, vol. 9780, 230–248.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1394 | OA
De Martino D, Capuani F, De Martino A. 2016. Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli. Physical Biology. 13(3), 036005.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Published | Thesis | PhD | IST-REx-ID: 1396 | OA
Mishra RK. 2016. Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus. Institute of Science and Technology Austria.
[Published Version] View | Files available
 

2016 | Published | Thesis | PhD | IST-REx-ID: 1397
Chmelik M. 2016. Algorithms for partially observable markov decision processes. Institute of Science and Technology Austria.
View
 

2016 | Published | Thesis | PhD | IST-REx-ID: 1398 | OA
Ellis T. 2016. The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 14010 | OA
Huppert M, Jordan I, Baykusheva DR, von Conta A, Wörner HJ. 2016. Attosecond delays in molecular photoionization. Physical Review Letters. 117(9), 093001.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 14011
Baykusheva DR, Ahsan MS, Lin N, Wörner HJ. 2016. Bicircular high-harmonic spectroscopy reveals dynamical symmetries of atoms and molecules. Physical Review Letters. 116(12), 123001.
View | DOI | PubMed | Europe PMC
 

2016 | Published | Journal Article | IST-REx-ID: 14012 | OA
Rajeev R, Hellwagner J, Schumacher A, Jordan I, Huppert M, Tehlar A, Niraghatam BR, Baykusheva DR, Lin N, von Conta A, Wörner HJ. 2016. In situ frequency gating and beam splitting of vacuum- and extreme-ultraviolet pulses. Light: Science & Applications. 5(11), e16170–e16170.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Published | Journal Article | IST-REx-ID: 1408 | OA
Franek P, Krcál M. 2016. On computability and triviality of well groups. Discrete & Computational Geometry. 56(1), 126–164.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed