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.
1621 Publications
2013 |Published| Conference Paper | IST-REx-ID: 2886 |
Chmelik M, Řehák V. 2013. Controllable-choice message sequence graphs. 7721, 118–130.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2013 |Published| Conference Paper | IST-REx-ID: 2940 |
Krenn S, Pietrzak KZ, Wadia A. 2013. A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it. TCC: Theory of Cryptography Conference, LNCS, vol. 7785, 23–39.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2948 |
Tommasi T, Quadrianto N, Caputo B, Lampert C. 2013. Beyond dataset bias: Multi-task unaligned shared knowledge transfer. 7724, 1–15.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2973 |
Bangerter E, Barzan S, Krenn S, Sadeghi A, Schneider T, Tsay J. 2013. Bringing Zero-Knowledge Proofs of Knowledge to Practice. SPW: Security Protocols Workshop, LNCS, vol. 7028, 51–62.
View
| DOI
| Download (ext.)
2013 |Published| Journal Article | IST-REx-ID: 501 |
Cozzuol M, Clozato C, Holanda E, Rodrigues F, Nienow S, De Thoisy B, Fernandes Redondo RA, Santos F. 2013. A new species of tapir from the Amazon. Journal of Mammalogy. 94(6), 1331–1345.
[Published Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 507 |
Kim S, Xu Z, Song K, Kim D, Kang H, Reichardt I, Sohn E, Friml J, Juergens G, Hwang I. 2013. Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis. Plant Cell. 25(8), 2970–2985.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 511 |
Pěnčík A, Simonovik B, Petersson S, Henyková E, Simon S, Greenham K, Zhang Y, Kowalczyk M, Estelle M, Zažímalová E, Novák O, Sandberg G, Ljung K. 2013. Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid. Plant Cell. 25(10), 3858–3870.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 |Published| Conference Paper | IST-REx-ID: 2279 |
Chatterjee K, Doyen L, Randour M, Raskin J. 2013. Looking at mean-payoff and total-payoff through windows. 8172, 118–132.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2013 |Published| Technical Report | IST-REx-ID: 5403 |
Chatterjee K, Ibsen-Jensen R. 2013. Qualitative analysis of concurrent mean-payoff games, IST Austria, 33p.
[Published Version]
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5404 |
Chatterjee K, Ibsen-Jensen R. 2013. The complexity of ergodic games, IST Austria, 29p.
[Published Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 1376
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL fragments. 13th International Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 18–25.
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5406 |
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL Fragments, IST Austria, 11p.
[Published Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2327 |
Henzinger TA, Otop J. 2013. From model checking to model measuring. 8052, 273–287.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 6370
Lin T-C, Cole JM, Higginbotham AP, Edwards AJ, Piltz RO, Pérez-Moreno J, Seo J-Y, Lee S-C, Clays K, Kwon O-P. 2013. Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations. The Journal of Physical Chemistry C. 117(18), 9416–9430.
View
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2329 |
Chatterjee K, Velner Y. 2013. Hyperplane separation technique for multidimensional mean-payoff games. 8052, 500–515.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Journal Article | IST-REx-ID: 812
Koestler S, Steffen A, Nemethova M, Winterhoff M, Luo N, Holleboom J, Krupp J, Jacob S, Vinzenz M, Schur FK, Schlüter K, Gunning P, Winkler C, Schmeiser C, Faix J, Stradal T, Small J, Rottner K. 2013. Arp2/3 complex is essential for actin network treadmilling as well as for targeting of capping protein and cofilin. Molecular Biology of the Cell. 24(18), 2861–2875.
View
| DOI