Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5750 Publications
2014 | Published | Journal Article | IST-REx-ID: 1862 | 
Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules
X. Chen, L. Grandont, H. Li, R. Hauschild, S. Paque, A. Abuzeineh, H. Rakusova, E. Benková, C. Perrot Rechenmann, J. Friml, Nature 516 (2014) 90–93.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
X. Chen, L. Grandont, H. Li, R. Hauschild, S. Paque, A. Abuzeineh, H. Rakusova, E. Benková, C. Perrot Rechenmann, J. Friml, Nature 516 (2014) 90–93.
2014 | Published | Journal Article | IST-REx-ID: 1893 |
SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis
P. Marhavá, S. Hirsch, E. Feraru, R. Tejos, R. Van Wijk, T. Viaene, M. Heilmann, J. Lerche, R. De Rycke, M. Feraru, P. Grones, M. Van Montagu, I. Heilmann, T. Munnik, J. Friml, PNAS 111 (2014) 2818–2823.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
P. Marhavá, S. Hirsch, E. Feraru, R. Tejos, R. Van Wijk, T. Viaene, M. Heilmann, J. Lerche, R. De Rycke, M. Feraru, P. Grones, M. Van Montagu, I. Heilmann, T. Munnik, J. Friml, PNAS 111 (2014) 2818–2823.
2014 | Published | Journal Article | IST-REx-ID: 1921 |
Bipolar plasma membrane distribution of phosphoinositides and their requirement for auxin-mediated cell polarity and patterning in Arabidopsis
R. Tejos, M. Sauer, S. Vanneste, M. Palacios-Gomez, H. Li, M. Heilmann, R. Van Wijk, J. Vermeer, I. Heilmann, T. Munnik, J. Friml, Plant Cell 26 (2014) 2114–2128.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
R. Tejos, M. Sauer, S. Vanneste, M. Palacios-Gomez, H. Li, M. Heilmann, R. Van Wijk, J. Vermeer, I. Heilmann, T. Munnik, J. Friml, Plant Cell 26 (2014) 2114–2128.
2014 | Published | Journal Article | IST-REx-ID: 1915
Rho-GTPase-regulated vesicle trafficking in plant cell polarity
X. Chen, J. Friml, Biochemical Society Transactions 42 (2014) 212–218.
View
| DOI
| PubMed | Europe PMC
X. Chen, J. Friml, Biochemical Society Transactions 42 (2014) 212–218.
2014 | Published | Journal Article | IST-REx-ID: 1994
Directional auxin transport mechanisms in early diverging land plants
T. Viaene, K. Landberg, M. Thelander, E. Medvecka, E. Pederson, E. Feraru, E. Cooper, M. Karimi, C. Delwiche, K. Ljung, M. Geisler, E. Sundberg, J. Friml, Current Biology 24 (2014) 2786–2791.
View
| DOI
T. Viaene, K. Landberg, M. Thelander, E. Medvecka, E. Pederson, E. Feraru, E. Cooper, M. Karimi, C. Delwiche, K. Ljung, M. Geisler, E. Sundberg, J. Friml, Current Biology 24 (2014) 2786–2791.
2014 | Published | Conference Paper | IST-REx-ID: 1643 |
Constrained Verifiable Random Functions
G. Fuchsbauer, in:, M. Abdalla, R. De Prisco (Eds.), SCN 2014, Springer, 2014, pp. 95–114.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
G. Fuchsbauer, in:, M. Abdalla, R. De Prisco (Eds.), SCN 2014, Springer, 2014, pp. 95–114.
2014 | Published | Conference Paper | IST-REx-ID: 2045 |
Enhanced chosen-ciphertext security and applications
D. Dachman Soled, G. Fuchsbauer, P. Mohassel, A. O’Neill, in:, H. Krawczyk (Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 329–344.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
D. Dachman Soled, G. Fuchsbauer, P. Mohassel, A. O’Neill, in:, H. Krawczyk (Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 329–344.
2014 | Published | Conference Paper | IST-REx-ID: 2046 |
Policy-based signatures
M. Bellare, G. Fuchsbauer, in:, H. Krawczyk (Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 520–537.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M. Bellare, G. Fuchsbauer, in:, H. Krawczyk (Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 520–537.
2014 | Published | Conference Paper | IST-REx-ID: 2082 |
The exact PRF-security of NMAC and HMAC
P. Gazi, K.Z. Pietrzak, M. Rybar, in:, J. Garay, R. Gennaro (Eds.), Springer, 2014, pp. 113–130.
[Submitted Version]
View
| Files available
| DOI
P. Gazi, K.Z. Pietrzak, M. Rybar, in:, J. Garay, R. Gennaro (Eds.), Springer, 2014, pp. 113–130.
2014 | Published | Conference Paper | IST-REx-ID: 10884 |
Parameterized model checking of token-passing systems
B. Aminof, S. Jacobs, A. Khalimov, S. Rubin, in:, Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 262–281.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Aminof, S. Jacobs, A. Khalimov, S. Rubin, in:, Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 262–281.
2014 | Published | Technical Report | IST-REx-ID: 5426 |
Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications, IST Austria, 2014.
2014 | Published | Technical Report | IST-REx-ID: 5424 |
Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications, IST Austria, 2014.
2014 | Published | Journal Article | IST-REx-ID: 2716 |
Strategy synthesis for multi-dimensional quantitative objectives
K. Chatterjee, M. Randour, J. Raskin, Acta Informatica 51 (2014) 129–163.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Randour, J. Raskin, Acta Informatica 51 (2014) 129–163.
2014 | Published | Journal Article | IST-REx-ID: 1375 |
Approximating the minimum cycle mean
K. Chatterjee, M. Henzinger, S. Krinninger, V. Loitzenbauer, M. Raskin, Theoretical Computer Science 547 (2014) 104–116.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Henzinger, S. Krinninger, V. Loitzenbauer, M. Raskin, Theoretical Computer Science 547 (2014) 104–116.
2014 | Published | Journal Article | IST-REx-ID: 535 |
Polynomial-time algorithms for energy games with special weight structures
K. Chatterjee, M. Henzinger, S. Krinninger, D. Nanongkai, Algorithmica 70 (2014) 457–492.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Henzinger, S. Krinninger, D. Nanongkai, Algorithmica 70 (2014) 457–492.
2014 | Published | Journal Article | IST-REx-ID: 2039 |
The time scale of evolutionary innovation
K. Chatterjee, A. Pavlogiannis, B. Adlam, M. Nowak, PLoS Computational Biology 10 (2014).
[Published Version]
View
| Files available
| DOI
K. Chatterjee, A. Pavlogiannis, B. Adlam, M. Nowak, PLoS Computational Biology 10 (2014).
2014 | Published | Conference Paper | IST-REx-ID: 1903
Partial-observation stochastic reachability and parity games
K. Chatterjee, in:, Springer, 2014, pp. 1–4.
View
| Files available
| DOI
K. Chatterjee, in:, Springer, 2014, pp. 1–4.
2014 | Research Data Reference | IST-REx-ID: 9739
Detailed proofs for “The time scale of evolutionary innovation”
K. Chatterjee, A. Pavlogiannis, B. Adlam, M. Novak, (2014).
[Published Version]
View
| Files available
| DOI
K. Chatterjee, A. Pavlogiannis, B. Adlam, M. Novak, (2014).
2014 | Published | Conference Paper | IST-REx-ID: 2162 |
The complexity of ergodic mean payoff games
K. Chatterjee, R. Ibsen-Jensen, in:, Springer, 2014, pp. 122–133.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, R. Ibsen-Jensen, in:, Springer, 2014, pp. 122–133.
2014 | Published | Conference Paper | IST-REx-ID: 2163 |
Games with a weak adversary
K. Chatterjee, L. Doyen, in:, Lecture Notes in Computer Science, Springer, 2014, pp. 110–121.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. Doyen, in:, Lecture Notes in Computer Science, Springer, 2014, pp. 110–121.