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.
1850 Publications
2016 |Published| Journal Article | IST-REx-ID: 1292 | 
Durst S, Kegel M, Klukas MD. 2016. Computing the Thurston–Bennequin invariant in open books. Acta Mathematica Hungarica. 150(2), 441–455.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1326 |
Brázdil T, Kučera A, Novotný P. 2016. Optimizing the expected mean payoff in Energy Markov Decision Processes. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 9938, 32–49.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1331 |
Zwack P, De Clercq I, Howton T, Hallmark HT, Hurny A, Keshishian E, Parish A, Benková E, Mukhtar MS, Van Breusegem F, Rashotte A. 2016. Cytokinin response factor 6 represses cytokinin-associated genes during oxidative stress. Plant Physiology. 172(2), 1249–1258.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1335 |
Chatterjee K, Henzinger TA, Otop J. 2016. Quantitative monitor automata. SAS: Static Analysis Symposium, LNCS, vol. 9837, 23–38.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1340 |
Hansen K, Ibsen-Jensen R, Koucký M. 2016. The big match in small space. SAGT: Symposium on Algorithmic Game Theory, LNCS, vol. 9928, 64–76.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1348 |
Fulek R. 2016. Bounded embeddings of graphs in the plane. IWOCA: International Workshop on Combinatorial Algorithms, LNCS, vol. 9843, 31–42.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1365 |
Alwen JF, Blocki J. 2016. Efficiently computing data-independent memory-hard functions. CRYPTO: International Cryptology Conference, LNCS, vol. 9815, 241–271.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1366 |
Gazi P, Tessaro S. 2016. Provably robust sponge-based PRNGs and KDFs. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 9665, 87–116.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1372 |
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| Conference Paper | IST-REx-ID: 1369 |
Kolesnikov A, Lampert C. 2016. Seed, expand and constrain: Three principles for weakly-supervised image segmentation. ECCV: European Conference on Computer Vision, LNCS, vol. 9908, 695–711.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1381 |
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: 1394 |
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| Journal Article | IST-REx-ID: 1434 |
Bao Z, Erdös L, Schnelli K. 2016. Local stability of the free additive convolution. Journal of Functional Analysis. 271(3), 672–719.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1478 |
Seiringer R, Warzel S. 2016. Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas. New Journal of Physics. 18(3), 035002.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1524 |
Beica A, Guet CC, Petrov T. 2016. Efficient reduction of kappa models by static inspection of the rule-set. HSB: Hybrid Systems Biology, LNCS, vol. 9271, 173–191.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1522 |
Avvakumov S. 2016. The classification of certain linked 3-manifolds in 6-space. Moscow Mathematical Journal. 16(1), 1–25.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 1526 |
Henzinger TA, Otop J, Samanta R. 2016. Lipschitz robustness of timed I/O systems. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 9583, 250–267.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1164 |
Fulek R, Pelsmajer M, Schaefer M. 2016. Hanani-Tutte for radial planarity II. GD: Graph Drawing and Network Visualization, LNCS, vol. 9801, 468–481.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv