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
2013 |Published| Conference Paper | IST-REx-ID: 2948 | 
Beyond dataset bias: Multi-task unaligned shared knowledge transfer
T. Tommasi, N. Quadrianto, B. Caputo, C. Lampert, 7724 (2013) 1–15.
[Submitted Version]
View
| Files available
| DOI
T. Tommasi, N. Quadrianto, B. Caputo, C. Lampert, 7724 (2013) 1–15.
2013 |Published| Conference Paper | IST-REx-ID: 2973 |
Bringing Zero-Knowledge Proofs of Knowledge to Practice
E. Bangerter, S. Barzan, S. Krenn, A. Sadeghi, T. Schneider, J. Tsay, in:, B. Christianson, J. Malcolm, V. Matyas, M. Roe (Eds.), Springer, 2013, pp. 51–62.
View
| DOI
| Download (ext.)
E. Bangerter, S. Barzan, S. Krenn, A. Sadeghi, T. Schneider, J. Tsay, in:, B. Christianson, J. Malcolm, V. Matyas, M. Roe (Eds.), Springer, 2013, pp. 51–62.
2013 |Published| Journal Article | IST-REx-ID: 3116
Code aware resource management
K. Chatterjee, L. De Alfaro, M. Faella, R. Majumdar, V. Raman, Formal Methods in System Design 42 (2013) 142–174.
View
| DOI
K. Chatterjee, L. De Alfaro, M. Faella, R. Majumdar, V. Raman, Formal Methods in System Design 42 (2013) 142–174.
2013 |Published| Journal Article | IST-REx-ID: 352
Organic ligand displacement by metal salts to enhance nanoparticle functionality: Thermoelectric properties of Ag inf 2 inf Te
D. Cadavid, M. Ibáñez, A. Shavel, O. Durá, M. López De La Torre, A. Cabot, Journal of Materials Chemistry A 1 (2013) 4864–4870.
View
| DOI
D. Cadavid, M. Ibáñez, A. Shavel, O. Durá, M. López De La Torre, A. Cabot, Journal of Materials Chemistry A 1 (2013) 4864–4870.
2013 |Published| Journal Article | IST-REx-ID: 501 |
A new species of tapir from the Amazon
M. Cozzuol, C. Clozato, E. Holanda, F. Rodrigues, S. Nienow, B. De Thoisy, R.A. Fernandes Redondo, F. Santos, Journal of Mammalogy 94 (2013) 1331–1345.
[Published Version]
View
| Files available
| DOI
M. Cozzuol, C. Clozato, E. Holanda, F. Rodrigues, S. Nienow, B. De Thoisy, R.A. Fernandes Redondo, F. Santos, Journal of Mammalogy 94 (2013) 1331–1345.
2013 |Published| Journal Article | IST-REx-ID: 502
Short blind signatures
O. Blazy, G. Fuchsbauer, D. Pointcheval, D. Vergnaud, Journal of Computer Security 21 (2013) 627–661.
View
| DOI
O. Blazy, G. Fuchsbauer, D. Pointcheval, D. Vergnaud, Journal of Computer Security 21 (2013) 627–661.
2013 |Published| Journal Article | IST-REx-ID: 507 |
Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis
S. Kim, Z. Xu, K. Song, D. Kim, H. Kang, I. Reichardt, E. Sohn, J. Friml, G. Juergens, I. Hwang, Plant Cell 25 (2013) 2970–2985.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
S. Kim, Z. Xu, K. Song, D. Kim, H. Kang, I. Reichardt, E. Sohn, J. Friml, G. Juergens, I. Hwang, Plant Cell 25 (2013) 2970–2985.
2013 |Published| Journal Article | IST-REx-ID: 511 |
Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid
A. Pěnčík, B. Simonovik, S. Petersson, E. Henyková, S. Simon, K. Greenham, Y. Zhang, M. Kowalczyk, M. Estelle, E. Zažímalová, O. Novák, G. Sandberg, K. Ljung, Plant Cell 25 (2013) 3858–3870.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Pěnčík, B. Simonovik, S. Petersson, E. Henyková, S. Simon, K. Greenham, Y. Zhang, M. Kowalczyk, M. Estelle, E. Zažímalová, O. Novák, G. Sandberg, K. Ljung, Plant Cell 25 (2013) 3858–3870.
2013 |Published| Conference Paper | IST-REx-ID: 2279 |
Looking at mean-payoff and total-payoff through windows
K. Chatterjee, L. Doyen, M. Randour, J. Raskin, 8172 (2013) 118–132.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, L. Doyen, M. Randour, J. Raskin, 8172 (2013) 118–132.
2013 |Published| Journal Article | IST-REx-ID: 528
Local auxin sources orient the apical basal axis in arabidopsis embryos
H. Robert, P. Grones, A. Stepanova, L. Robles, A. Lokerse, J. Alonso, D. Weijers, J. Friml, Current Biology 23 (2013) 2506–2512.
View
| DOI
H. Robert, P. Grones, A. Stepanova, L. Robles, A. Lokerse, J. Alonso, D. Weijers, J. Friml, Current Biology 23 (2013) 2506–2512.
2013 |Published| Technical Report | IST-REx-ID: 5403 |
Qualitative analysis of concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, Qualitative Analysis of Concurrent Mean-Payoff Games, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, Qualitative Analysis of Concurrent Mean-Payoff Games, IST Austria, 2013.
2013 |Published| Technical Report | IST-REx-ID: 5404 |
The complexity of ergodic games
K. Chatterjee, R. Ibsen-Jensen, The Complexity of Ergodic Games, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, The Complexity of Ergodic Games, IST Austria, 2013.
2013 |Published| Conference Paper | IST-REx-ID: 1376
Distributed synthesis for LTL fragments
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, in:, 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, in:, 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25.
2013 |Published| Technical Report | IST-REx-ID: 5406 |
Distributed synthesis for LTL Fragments
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, Distributed Synthesis for LTL Fragments, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, Distributed Synthesis for LTL Fragments, IST Austria, 2013.
2013 |Published| Conference Paper | IST-REx-ID: 2327 |
From model checking to model measuring
T.A. Henzinger, J. Otop, 8052 (2013) 273–287.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, J. Otop, 8052 (2013) 273–287.
2013 |Published| Journal Article | IST-REx-ID: 6370
Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations
T.-C. Lin, J.M. Cole, A.P. Higginbotham, A.J. Edwards, R.O. Piltz, J. Pérez-Moreno, J.-Y. Seo, S.-C. Lee, K. Clays, O.-P. Kwon, The Journal of Physical Chemistry C 117 (2013) 9416–9430.
View
| DOI
T.-C. Lin, J.M. Cole, A.P. Higginbotham, A.J. Edwards, R.O. Piltz, J. Pérez-Moreno, J.-Y. Seo, S.-C. Lee, K. Clays, O.-P. Kwon, The Journal of Physical Chemistry C 117 (2013) 9416–9430.
2013 |Published| Conference Paper | IST-REx-ID: 2329 |
Hyperplane separation technique for multidimensional mean-payoff games
K. Chatterjee, Y. Velner, 8052 (2013) 500–515.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, Y. Velner, 8052 (2013) 500–515.
2013 |Published| Journal Article | IST-REx-ID: 7595
Arabidopsis inositol 1,3,4-trisphosphate 5/6 kinase 2 is required for seed coat development
Y. Tang, S. Tan, H. Xue, Acta Biochimica et Biophysica Sinica 45 (2013) 549–560.
View
| DOI
| PubMed | Europe PMC
Y. Tang, S. Tan, H. Xue, Acta Biochimica et Biophysica Sinica 45 (2013) 549–560.
2013 |Published| Journal Article | IST-REx-ID: 7775
Stability of jammed packings II: The transverse length scale
S.S. Schoenholz, C.P. Goodrich, O. Kogan, A.J. Liu, S.R. Nagel, Soft Matter 9 (2013).
View
| DOI
S.S. Schoenholz, C.P. Goodrich, O. Kogan, A.J. Liu, S.R. Nagel, Soft Matter 9 (2013).
2013 |Published| Journal Article | IST-REx-ID: 812
Arp2/3 complex is essential for actin network treadmilling as well as for targeting of capping protein and cofilin
S. Koestler, A. Steffen, M. Nemethova, M. Winterhoff, N. Luo, J. Holleboom, J. Krupp, S. Jacob, M. Vinzenz, F.K. Schur, K. Schlüter, P. Gunning, C. Winkler, C. Schmeiser, J. Faix, T. Stradal, J. Small, K. Rottner, Molecular Biology of the Cell 24 (2013) 2861–2875.
View
| DOI
S. Koestler, A. Steffen, M. Nemethova, M. Winterhoff, N. Luo, J. Holleboom, J. Krupp, S. Jacob, M. Vinzenz, F.K. Schur, K. Schlüter, P. Gunning, C. Winkler, C. Schmeiser, J. Faix, T. Stradal, J. Small, K. Rottner, Molecular Biology of the Cell 24 (2013) 2861–2875.