en
Please note that IST 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.
2761 Publications
2013 | Journal Article | IST-REx-ID: 2297 
Hot topics in cold gases: A mathematical physics perspective
R. Seiringer, Japanese Journal of Mathematics 8 (2013) 185–232.
View
| DOI
| Download (ext.)
| arXiv
R. Seiringer, Japanese Journal of Mathematics 8 (2013) 185–232.
2013 | Journal Article | IST-REx-ID: 2300
Realization of stripes and slabs in two and three dimensions
A. Giuliani, É. Lieb, R. Seiringer, Physical Review B 88 (2013).
View
| DOI
| Download (ext.)
| arXiv
A. Giuliani, É. Lieb, R. Seiringer, Physical Review B 88 (2013).
2013 | Journal Article | IST-REx-ID: 2449
Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function in Arabidopsis
T. Nodzyński, M. Feraru, S. Hirsch, R. De Rycke, C. Nicuales, J. Van Leene, G. De Jaeger, S. Vanneste, J. Friml, Molecular Plant 6 (2013) 1849–1862.
View
| DOI
T. Nodzyński, M. Feraru, S. Hirsch, R. De Rycke, C. Nicuales, J. Van Leene, G. De Jaeger, S. Vanneste, J. Friml, Molecular Plant 6 (2013) 1849–1862.
2013 | Journal Article | IST-REx-ID: 2468
Liquid surface tracking with error compensation
M. Bojsen-Hansen, C.J. Wojtan, ACM Transactions on Graphics 32 (2013).
View
| Files available
| DOI
M. Bojsen-Hansen, C.J. Wojtan, ACM Transactions on Graphics 32 (2013).
2013 | Journal Article | IST-REx-ID: 2470
Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells
M. Čovanová, M. Sauer, J. Rychtář, J. Friml, J. Petrášek, E. Zažímalová, PLoS One 8 (2013).
View
| Files available
| DOI
M. Čovanová, M. Sauer, J. Rychtář, J. Friml, J. Petrášek, E. Zažímalová, PLoS One 8 (2013).
2013 | Journal Article | IST-REx-ID: 2862
Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle
H. Tay, S. Schulze, J. Compagnon, F. Foley, C.-P.J. Heisenberg, H.J. Yost, S. Abdelilah Seyfried, J. Amack, Development 140 (2013) 1550–1559.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
H. Tay, S. Schulze, J. Compagnon, F. Foley, C.-P.J. Heisenberg, H.J. Yost, S. Abdelilah Seyfried, J. Amack, Development 140 (2013) 1550–1559.
2013 | Conference Paper | IST-REx-ID: 2901
Computing the M most probable modes of a graphical model
C. Chen, V. Kolmogorov, Z. Yan, D. Metaxas, C. Lampert, in:, JMLR, 2013, pp. 161–169.
View
| Download (ext.)
C. Chen, V. Kolmogorov, Z. Yan, D. Metaxas, C. Lampert, in:, JMLR, 2013, pp. 161–169.
2013 | Conference Paper | IST-REx-ID: 2906
3D kinetic alpha complexes and their implementation
M. Kerber, H. Edelsbrunner, in:, 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments, Society of Industrial and Applied Mathematics, 2013, pp. 70–77.
View
| Files available
| DOI
M. Kerber, H. Edelsbrunner, in:, 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments, Society of Industrial and Applied Mathematics, 2013, pp. 70–77.
2013 | Journal Article | IST-REx-ID: 2913
Retinal metric: a stimulus distance measure derived from population neural responses
G. Tkacik, E. Granot Atedgi, R. Segev, E. Schneidman, Physical Review Letters 110 (2013).
View
| DOI
| Download (ext.)
G. Tkacik, E. Granot Atedgi, R. Segev, E. Schneidman, Physical Review Letters 110 (2013).
2013 | Journal Article | IST-REx-ID: 2829
Scale invariance at the onset of turbulence in couette flow
L. Shi, M. Avila, B. Hof, Physical Review Letters 110 (2013).
View
| DOI
| Download (ext.)
| arXiv
L. Shi, M. Avila, B. Hof, Physical Review Letters 110 (2013).
2013 | Journal Article | IST-REx-ID: 2855
Mosaic analysis with double markers reveals cell type specific paternal growth dominance
S. Hippenmeyer, R. Johnson, L. Luo, Cell Reports 3 (2013) 960–967.
View
| Files available
| DOI
S. Hippenmeyer, R. Johnson, L. Luo, Cell Reports 3 (2013) 960–967.
2013 | Conference Paper | IST-REx-ID: 2812
Homological reconstruction and simplification in R3
D. Attali, U. Bauer, O. Devillers, M. Glisse, A. Lieutier, in:, Proceedings of the 29th Annual Symposium on Computational Geometry, ACM, 2013, pp. 117–125.
View
| Files available
| DOI
| Download (ext.)
D. Attali, U. Bauer, O. Devillers, M. Glisse, A. Lieutier, in:, Proceedings of the 29th Annual Symposium on Computational Geometry, ACM, 2013, pp. 117–125.
2013 | Conference Paper | IST-REx-ID: 2843
Stable length estimates of tube-like shapes
H. Edelsbrunner, F. Pausinger, in:, 17th IAPR International Conference on Discrete Geometry for Computer Imagery, Springer, 2013, pp. XV–XIX.
View
| Files available
| DOI
H. Edelsbrunner, F. Pausinger, in:, 17th IAPR International Conference on Discrete Geometry for Computer Imagery, Springer, 2013, pp. XV–XIX.
2013 | Journal Article | IST-REx-ID: 2944
Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates.
S. Aeschbacher, A. Futschik, M. Beaumont, Molecular Ecology 22 (2013) 987–1002.
View
| DOI
S. Aeschbacher, A. Futschik, M. Beaumont, Molecular Ecology 22 (2013) 987–1002.
2013 | Journal Article | IST-REx-ID: 2920
Neurulation coordinating cell polarisation and lumen formation
J. Compagnon, C.-P.J. Heisenberg, EMBO Journal 32 (2013) 1–3.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
J. Compagnon, C.-P.J. Heisenberg, EMBO Journal 32 (2013) 1–3.
2013 | Journal Article | IST-REx-ID: 2918
Anthrax toxin receptor 2a controls mitotic spindle positioning
I. Castanon, L. Abrami, L. Holtzer, C.-P.J. Heisenberg, F. Van Der Goot, M. González Gaitán, Nature Cell Biology 15 (2013) 28–39.
View
| DOI
I. Castanon, L. Abrami, L. Holtzer, C.-P.J. Heisenberg, F. Van Der Goot, M. González Gaitán, Nature Cell Biology 15 (2013) 28–39.
2013 | Journal Article | IST-REx-ID: 500
Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza
M. Ward, S. Lycett, D. Avila, J.P. Bollback, A. Leigh Brown, BMC Evolutionary Biology 13 (2013).
View
| Files available
| DOI
M. Ward, S. Lycett, D. Avila, J.P. Bollback, A. Leigh Brown, BMC Evolutionary Biology 13 (2013).
2013 | Journal Article | IST-REx-ID: 505
Banning toxic heavy-metal catalysts from paints: Enzymatic cross-linking of alkyd resins
K. Greimel, V. Perz, K. Koren, R. Feola, A. Temel, C. Sohar, E. Herrero Acero, I. Klimant, G. Guebitz, Green Chemistry 15 (2013) 381–388.
View
| DOI
K. Greimel, V. Perz, K. Koren, R. Feola, A. Temel, C. Sohar, E. Herrero Acero, I. Klimant, G. Guebitz, Green Chemistry 15 (2013) 381–388.
2013 | Journal Article | IST-REx-ID: 827
Cytokinin cross talking during biotic and abiotic stress responses
J. O’Brien, E. Benková, Frontiers in Plant Science 4 (2013).
View
| Files available
| DOI
J. O’Brien, E. Benková, Frontiers in Plant Science 4 (2013).
2013 | 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 | Journal Article | IST-REx-ID: 2247
Forgiver triumphs in alternating prisoner's dilemma
B. Zagorsky, J. Reiter, K. Chatterjee, M. Nowak, PLoS One 8 (2013).
View
| Files available
| DOI
B. Zagorsky, J. Reiter, K. Chatterjee, M. Nowak, PLoS One 8 (2013).
2013 | Conference Paper | IST-REx-ID: 2305
Trading performance for stability in Markov decision processes
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, in:, 28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–340.
View
| Files available
| DOI
| Download (ext.)
| arXiv
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, in:, 28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–340.
2013 | Technical Report | IST-REx-ID: 5405
Perfect-information stochastic mean-payoff parity games
K. Chatterjee, L. Doyen, H. Gimbert, Y. Oualhadj, Perfect-Information Stochastic Mean-Payoff Parity Games, IST Austria, 2013.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, H. Gimbert, Y. Oualhadj, Perfect-Information Stochastic Mean-Payoff Parity Games, IST Austria, 2013.
2013 | Technical Report | IST-REx-ID: 5400
What is decidable about partially observable Markov decision processes with ω-regular objectives
K. Chatterjee, M. Chmelik, M. Tracol, What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives, IST Austria, 2013.
View
| Files available
| DOI
K. Chatterjee, M. Chmelik, M. Tracol, What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives, IST Austria, 2013.
2013 | Conference Paper | IST-REx-ID: 2444
Faster algorithms for Markov decision processes with low treewidth
K. Chatterjee, J. Ła̧Cki, 8044 (2013) 543–558.
View
| DOI
| Download (ext.)
| arXiv
K. Chatterjee, J. Ła̧Cki, 8044 (2013) 543–558.
2013 | Journal Article | IST-REx-ID: 2824
Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems
K. Chatterjee, V. Prabhu, Information and Computation 228–229 (2013) 83–119.
View
| DOI
K. Chatterjee, V. Prabhu, Information and Computation 228–229 (2013) 83–119.
2013 | Journal Article | IST-REx-ID: 2836
Assume-guarantee synthesis for digital contract signing
K. Chatterjee, V. Raman, Formal Aspects of Computing 26 (2013) 825–859.
View
| DOI
| Download (ext.)
| arXiv
K. Chatterjee, V. Raman, Formal Aspects of Computing 26 (2013) 825–859.
2013 | Journal Article | IST-REx-ID: 2817
Density games
S. Novak, K. Chatterjee, M. Nowak, Journal of Theoretical Biology 334 (2013) 26–34.
View
| Files available
| DOI
S. Novak, K. Chatterjee, M. Nowak, Journal of Theoretical Biology 334 (2013) 26–34.
2013 | Conference Paper | IST-REx-ID: 2886
Controllable-choice message sequence graphs
M. Chmelik, V. Řehák, 7721 (2013) 118–130.
View
| DOI
| Download (ext.)
M. Chmelik, V. Řehák, 7721 (2013) 118–130.
2013 | Conference Paper | IST-REx-ID: 2329
Hyperplane separation technique for multidimensional mean-payoff games
K. Chatterjee, Y. Velner, 8052 (2013) 500–515.
View
| Files available
| DOI
| Download (ext.)
| arXiv
K. Chatterjee, Y. Velner, 8052 (2013) 500–515.
2013 | Journal Article | IST-REx-ID: 2831
Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
K. Chatterjee, M. Henzinger, M. Joglekar, N. Shah, Formal Methods in System Design 42 (2013) 301–327.
View
| Files available
| DOI
| Download (ext.)
| arXiv
K. Chatterjee, M. Henzinger, M. Joglekar, N. Shah, Formal Methods in System Design 42 (2013) 301–327.
2013 | Journal Article | IST-REx-ID: 2850
The simplest maximum entropy model for collective behavior in a neural network
G. Tkacik, O. Marre, T. Mora, D. Amodei, M. Berry, W. Bialek, Journal of Statistical Mechanics Theory and Experiment 2013 (2013) P03011.
View
| DOI
| Download (ext.)
| arXiv
G. Tkacik, O. Marre, T. Mora, D. Amodei, M. Berry, W. Bialek, Journal of Statistical Mechanics Theory and Experiment 2013 (2013) P03011.
2013 | Journal Article | IST-REx-ID: 2010
Geometry of the faithfulness assumption in causal inference
C. Uhler, G. Raskutti, P. Bühlmann, B. Yu, The Annals of Statistics 41 (2013) 436–463.
View
| DOI
| Download (ext.)
| arXiv
C. Uhler, G. Raskutti, P. Bühlmann, B. Yu, The Annals of Statistics 41 (2013) 436–463.
2013 | Journal Article | IST-REx-ID: 2469
Three functions of cadherins in cell adhesion
J.-L. Maître, C.-P.J. Heisenberg, Current Biology 23 (2013) R626–R633.
View
| Files available
| DOI
| PubMed | Europe PMC
J.-L. Maître, C.-P.J. Heisenberg, Current Biology 23 (2013) R626–R633.
2013 | Journal Article | IST-REx-ID: 2471
Mechanism of protein kinetic stabilization by engineered disulfide crosslinks
I. Sanchez Romero, A. Ariza, K. Wilson, M. Skjøt, J. Vind, L. De Maria, L. Skov, J. Sánchez Ruiz, PLoS One 8 (2013).
View
| Files available
| DOI
I. Sanchez Romero, A. Ariza, K. Wilson, M. Skjøt, J. Vind, L. De Maria, L. Skov, J. Sánchez Ruiz, PLoS One 8 (2013).
2013 | Book | IST-REx-ID: 2306
(Open) Linked Data in Bibliotheken
P. Danowski, A. Pohl, (Open) Linked Data in Bibliotheken, De Gruyter, 2013.
View
| Files available
| DOI
P. Danowski, A. Pohl, (Open) Linked Data in Bibliotheken, De Gruyter, 2013.
2013 | Journal Article | IST-REx-ID: 2286
The force and effect of cell proliferation
P. Campinho, C.-P.J. Heisenberg, EMBO Journal 32 (2013) 2783–2784.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
P. Campinho, C.-P.J. Heisenberg, EMBO Journal 32 (2013) 2783–2784.
2013 | Conference Paper | IST-REx-ID: 2293
Learning to rank using privileged information
V. Sharmanska, N. Quadrianto, C. Lampert, in:, IEEE, 2013, pp. 825–832.
View
| DOI
| Download (ext.)
V. Sharmanska, N. Quadrianto, C. Lampert, in:, IEEE, 2013, pp. 825–832.
2013 | Report | IST-REx-ID: 2274
Proofs of Space
S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, Proofs of Space, IST Austria, 2013.
View
| Files available
S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, Proofs of Space, IST Austria, 2013.
2013 | Journal Article | IST-REx-ID: 2806
High-precision Taylor-Couette experiment to study subcritical transitions and the role of boundary conditions and size effects
K. Avila, B. Hof, Review of Scientific Instruments 84 (2013).
View
| DOI
K. Avila, B. Hof, Review of Scientific Instruments 84 (2013).
2013 | Journal Article | IST-REx-ID: 2813
Elasto-inertial turbulence
D. Samanta, Y. Dubief, M. Holzner, C. Schäfer, A. Morozov, C. Wagner, B. Hof, PNAS 110 (2013) 10557–10562.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
D. Samanta, Y. Dubief, M. Holzner, C. Schäfer, A. Morozov, C. Wagner, B. Hof, PNAS 110 (2013) 10557–10562.
2013 | Journal Article | IST-REx-ID: 2863
Stimulus-dependent maximum entropy models of neural population codes
E. Granot Atedgi, G. Tkacik, R. Segev, E. Schneidman, PLoS Computational Biology 9 (2013).
View
| Files available
| DOI
E. Granot Atedgi, G. Tkacik, R. Segev, E. Schneidman, PLoS Computational Biology 9 (2013).
2013 | Journal Article | IST-REx-ID: 2882
Asymmetric gibberellin signaling regulates vacuolar trafficking of PIN auxin transporters during root gravitropism
C. Löfke, M. Zwiewka, I. Heilmann, M. Van Montagu, T. Teichmann, J. Friml, PNAS 110 (2013) 3627–3632.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
C. Löfke, M. Zwiewka, I. Heilmann, M. Van Montagu, T. Teichmann, J. Friml, PNAS 110 (2013) 3627–3632.
2013 | Book Chapter | IST-REx-ID: 2907
Recombination and sex
N.H. Barton, in:, The Princeton Guide to Evolution, Princeton University Press, 2013, pp. 328–333.
View
| Files available
N.H. Barton, in:, The Princeton Guide to Evolution, Princeton University Press, 2013, pp. 328–333.
2013 | Journal Article | IST-REx-ID: 2914
Statistical thermodynamics of natural images
G. Stephens, T. Mora, G. Tkacik, W. Bialek, Physical Review Letters 110 (2013).
View
| Files available
| DOI
| Download (ext.)
| arXiv
G. Stephens, T. Mora, G. Tkacik, W. Bialek, Physical Review Letters 110 (2013).
2013 | Journal Article | IST-REx-ID: 2832
Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana
H. Tanaka, S. Kitakura, H. Rakusová, T. Uemura, M. Feraru, R. De Rycke, S. Robert, T. Kakimoto, J. Friml, PLoS Genetics 9 (2013).
View
| Files available
| DOI
H. Tanaka, S. Kitakura, H. Rakusová, T. Uemura, M. Feraru, R. De Rycke, S. Robert, T. Kakimoto, J. Friml, PLoS Genetics 9 (2013).
2013 | Journal Article | IST-REx-ID: 2837
The local semicircle law for a general class of random matrices
L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 18 (2013) 1–58.
View
| Files available
| DOI
L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 18 (2013) 1–58.
2013 | Journal Article | IST-REx-ID: 2856
Optical control of metabotropic glutamate receptors
J. Levitz, C. Pantoja, B. Gaub, H.L. Janovjak, A. Reiner, A. Hoagland, D. Schoppik, B. Kane, P. Stawski, A. Schier, D. Trauner, E. Isacoff, Nature Neuroscience 16 (2013) 507–516.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
J. Levitz, C. Pantoja, B. Gaub, H.L. Janovjak, A. Reiner, A. Hoagland, D. Schoppik, B. Kane, P. Stawski, A. Schier, D. Trauner, E. Isacoff, Nature Neuroscience 16 (2013) 507–516.
2013 | Journal Article | IST-REx-ID: 2844
An auxin transport mechanism restricts positive orthogravitropism in lateral roots
M. Rosquete, D. Von Wangenheim, P. Marhavy, E. Barbez, E. Stelzer, E. Benková, A. Maizel, J. Kleine Vehn, Current Biology 23 (2013) 817–822.
View
| DOI
M. Rosquete, D. Von Wangenheim, P. Marhavy, E. Barbez, E. Stelzer, E. Benková, A. Maizel, J. Kleine Vehn, Current Biology 23 (2013) 817–822.
2013 | Journal Article | IST-REx-ID: 2851
A simple method for estimating the entropy of neural activity
M. Berry, G. Tkacik, J. Dubuis, O. Marre, R. Da Silveira, Journal of Statistical Mechanics Theory and Experiment 2013 (2013).
View
| DOI
M. Berry, G. Tkacik, J. Dubuis, O. Marre, R. Da Silveira, Journal of Statistical Mechanics Theory and Experiment 2013 (2013).