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.
3059 Publications
2014 | Journal Article | IST-REx-ID: 979 |

Symmetry breaking and Landau quantization in topological crystalline insulators
M. Serbyn, L. Fu, Physical Review B - Condensed Matter and Materials Physics 90 (2014).
View
| DOI
| Download (ext.)
M. Serbyn, L. Fu, Physical Review B - Condensed Matter and Materials Physics 90 (2014).
2014 | Journal Article | IST-REx-ID: 98 |

Hole spin coherence in a Ge/Si heterostructure nanowire
A.P. Higginbotham, T. Larsen, J. Yao, H. Yan, C. Lieber, C. Marcus, F. Kuemmeth, Nano Letters 14 (2014) 3582–3586.
View
| DOI
| Download Preprint (ext.)
| arXiv
A.P. Higginbotham, T. Larsen, J. Yao, H. Yan, C. Lieber, C. Marcus, F. Kuemmeth, Nano Letters 14 (2014) 3582–3586.
2014 | Journal Article | IST-REx-ID: 980 |

Quantum quenches in the many-body localized phase
M. Serbyn, Z. Papić, D. Abanin, Physical Review B - Condensed Matter and Materials Physics 90 (2014).
View
| DOI
| Download (ext.)
M. Serbyn, Z. Papić, D. Abanin, Physical Review B - Condensed Matter and Materials Physics 90 (2014).
2014 | Journal Article | IST-REx-ID: 1912 |

The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ
J. Compagnon, V. Barone, S. Rajshekar, R. Kottmeier, K. Pranjic-Ferscha, M. Behrndt, C.-P.J. Heisenberg, Developmental Cell 31 (2014) 774–783.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Compagnon, V. Barone, S. Rajshekar, R. Kottmeier, K. Pranjic-Ferscha, M. Behrndt, C.-P.J. Heisenberg, Developmental Cell 31 (2014) 774–783.
2014 | Journal Article | IST-REx-ID: 7598 |

Casein kinase 1 regulates ethylene synthesis by phosphorylating and promoting the turnover of ACS5
S. Tan, H.-W. Xue, Cell Reports 9 (2014) 1692–1702.
View
| Files available
| DOI
S. Tan, H.-W. Xue, Cell Reports 9 (2014) 1692–1702.
2014 | Journal Article | IST-REx-ID: 8021 |

Activity-dependent dendritic spine neck changes are correlated with synaptic strength
R. Araya, T.P. Vogels, R. Yuste, Proceedings of the National Academy of Sciences 111 (2014) E2895–E2904.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R. Araya, T.P. Vogels, R. Yuste, Proceedings of the National Academy of Sciences 111 (2014) E2895–E2904.
2014 | Journal Article | IST-REx-ID: 8022 |

Optimal control of transient dynamics in balanced networks supports generation of complex movements
G. Hennequin, T.P. Vogels, W. Gerstner, Neuron 82 (2014) 1394–1406.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
G. Hennequin, T.P. Vogels, W. Gerstner, Neuron 82 (2014) 1394–1406.
2014 | Journal Article | IST-REx-ID: 8023 |

Connection-type-specific biases make uniform random network models consistent with cortical recordings
C. Tomm, M. Avermann, C. Petersen, W. Gerstner, T.P. Vogels, Journal of Neurophysiology 112 (2014) 1801–1814.
View
| Files available
| DOI
| PubMed | Europe PMC
C. Tomm, M. Avermann, C. Petersen, W. Gerstner, T.P. Vogels, Journal of Neurophysiology 112 (2014) 1801–1814.
2013 | Conference Paper | IST-REx-ID: 1374 |

Infinite-state games with finitary conditions
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
View
| Files available
| DOI
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
2013 | Conference Paper | IST-REx-ID: 1385 |

Synthesizing multiple boolean functions using interpolation on a single proof
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
2013 | Conference Paper | IST-REx-ID: 1387 |

Nondeterminism in the presence of a diverse or unknown future
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
View
| Files available
| DOI
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
2013 | Journal Article | IST-REx-ID: 1442 |

Positivity for Kac polynomials and DT-invariants of quivers
T. Hausel, E. Letellier, F. Rodríguez Villegas, Annals of Mathematics 177 (2013) 1147–1168.
View
| DOI
| Download (ext.)
T. Hausel, E. Letellier, F. Rodríguez Villegas, Annals of Mathematics 177 (2013) 1147–1168.
2013 | Book Chapter | IST-REx-ID: 1443 |

Global topology of the Hitchin system
T. Hausel, in:, Handbook of Moduli: Volume II, International Press, 2013, pp. 29–70.
View
| Download (ext.)
T. Hausel, in:, Handbook of Moduli: Volume II, International Press, 2013, pp. 29–70.
2013 | Journal Article | IST-REx-ID: 1470 |

Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces
M. De Cataldo, T. Hausel, L. Migliorini, Journal of Singularities 7 (2013) 23–38.
View
| DOI
| Download (ext.)
M. De Cataldo, T. Hausel, L. Migliorini, Journal of Singularities 7 (2013) 23–38.
2013 | Journal Article | IST-REx-ID: 1759 |

Nature of tunable hole g factors in quantum dots
N. Ares, V. Golovach, G. Katsaros, M. Stoffel, F. Fournel, L. Glazman, O. Schmidt, S. De Franceschi, Physical Review Letters 110 (2013).
View
| DOI
| Download (ext.)
N. Ares, V. Golovach, G. Katsaros, M. Stoffel, F. Fournel, L. Glazman, O. Schmidt, S. De Franceschi, Physical Review Letters 110 (2013).
2013 | Journal Article | IST-REx-ID: 1760 |

SiGe quantum dots for fast hole spin Rabi oscillations
N. Ares, G. Katsaros, V. Golovach, J. Zhang, A. Prager, L. Glazman, O. Schmidt, S. De Franceschi, Applied Physics Letters 103 (2013).
View
| DOI
| Download (ext.)
N. Ares, G. Katsaros, V. Golovach, J. Zhang, A. Prager, L. Glazman, O. Schmidt, S. De Franceschi, Applied Physics Letters 103 (2013).
2013 | Journal Article | IST-REx-ID: 1786 |

Collective suppression of linewidths in circuit QED
F. Nissen, J.M. Fink, J. Mlynek, A. Wallraff, J. Keeling, Physical Review Letters 110 (2013).
View
| DOI
| Download (ext.)
F. Nissen, J.M. Fink, J. Mlynek, A. Wallraff, J. Keeling, Physical Review Letters 110 (2013).
2013 | Journal Article | IST-REx-ID: 2009 |

Privacy-preserving data sharing for genome-wide association studies
C. Uhler, A. Slavkovic, S. Fienberg, Journal of Privacy and Confidentiality 5 (2013) 137–166.
View
| DOI
| Download Published Version (ext.)
C. Uhler, A. Slavkovic, S. Fienberg, Journal of Privacy and Confidentiality 5 (2013) 137–166.
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 Published Version (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: 2117 |

Poisson stochastic integration in Banach spaces
S. Dirksen, J. Maas, J. Van Neerven, Electronic Journal of Probability 18 (2013).
View
| DOI
| Download (ext.)
S. Dirksen, J. Maas, J. Van Neerven, Electronic Journal of Probability 18 (2013).
2013 | Journal Article | IST-REx-ID: 2129 |

Gromov-Hausdorff convergence of discrete transportation metrics
N. Gigli, J. Maas, SIAM Journal on Mathematical Analysis 45 (2013) 879–899.
View
| DOI
| Download (ext.)
N. Gigli, J. Maas, SIAM Journal on Mathematical Analysis 45 (2013) 879–899.
2013 | Journal Article | IST-REx-ID: 2139 |

Manipulating scattering of ultracold atoms with light-induced dissipation
M. Lemeshko, Frontiers Physics 1 (2013).
View
| DOI
| Download (ext.)
M. Lemeshko, Frontiers Physics 1 (2013).
2013 | Journal Article | IST-REx-ID: 2152 |

Erratum: Quantum phases of quadrupolar fermi gases in optical lattices
S. Bhongale, L. Mathey, E. Zhao, S. Yelin, M. Lemeshko, Physical Review Letters 111 (2013).
View
| DOI
| Download (ext.)
S. Bhongale, L. Mathey, E. Zhao, S. Yelin, M. Lemeshko, Physical Review Letters 111 (2013).
2013 | Conference Paper | IST-REx-ID: 2181 |

Quantitative relaxation of concurrent data structures
T.A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, A. Sokolova, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–328.
View
| Files available
| DOI
T.A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, A. Sokolova, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–328.
2013 | Journal Article | IST-REx-ID: 2204 |

Quantum phases of quadrupolar fermi gases in optical lattices
S. Bhongale, L. Mathey, E. Zhao, S. Yelin, M. Lemeshko, Physical Review Letters 110 (2013).
View
| DOI
| Download (ext.)
S. Bhongale, L. Mathey, E. Zhao, S. Yelin, M. Lemeshko, Physical Review Letters 110 (2013).
2013 | Book Review | IST-REx-ID: 2205 |

Manipulation of molecules with electromagnetic fields
M. Lemeshko, R. Krems, J. Doyle, S. Kais, Molecular Physics 111 (2013) 1648–1682.
View
| DOI
| Download (ext.)
M. Lemeshko, R. Krems, J. Doyle, S. Kais, Molecular Physics 111 (2013) 1648–1682.
2013 | Journal Article | IST-REx-ID: 2206 |

Controllable quantum spin glasses with magnetic impurities embedded in quantum solids
M. Lemeshko, N. Yao, A. Gorshkov, H. Weimer, S. Bennett, T. Momose, S. Gopalakrishnan, Physical Review B - Condensed Matter and Materials Physics 88 (2013).
View
| DOI
| Download (ext.)
M. Lemeshko, N. Yao, A. Gorshkov, H. Weimer, S. Bennett, T. Momose, S. Gopalakrishnan, Physical Review B - Condensed Matter and Materials Physics 88 (2013).
2013 | Journal Article | IST-REx-ID: 2207 |

Dissipative binding of atoms by non-conservative forces
M. Lemeshko, H. Weimer, Nature Communications 4 (2013).
View
| DOI
| Download (ext.)
M. Lemeshko, H. Weimer, Nature Communications 4 (2013).
2013 | Conference Paper | IST-REx-ID: 2210 |

Reconstructing polygons from embedded straight skeletons
T. Biedl, M. Held, S. Huber, in:, 29th European Workshop on Computational Geometry, TU Braunschweig, 2013, pp. 95–98.
View
| Download Submitted Version (ext.)
T. Biedl, M. Held, S. Huber, in:, 29th European Workshop on Computational Geometry, TU Braunschweig, 2013, pp. 95–98.
2013 | Conference Paper | IST-REx-ID: 2237 |

Tree interpolation in Vampire
R. Blanc, A. Gupta, L. Kovács, B. Kragl, 8312 (2013) 173–181.
View
| Files available
| DOI
R. Blanc, A. Gupta, L. Kovács, B. Kragl, 8312 (2013) 173–181.
2013 | Conference Paper | IST-REx-ID: 2243 |

Elementary modal logics over transitive structures
J. Michaliszyn, J. Otop, 23 (2013) 563–577.
View
| Files available
| DOI
J. Michaliszyn, J. Otop, 23 (2013) 563–577.
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: 2244 |

Untangling two systems of noncrossing curves
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, 8242 (2013) 472–483.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, 8242 (2013) 472–483.
2013 | Conference Paper | IST-REx-ID: 2258 |

Digital signatures with minimal overhead from indifferentiable random invertible functions
E. Kiltz, K.Z. Pietrzak, M. Szegedy, 8042 (2013) 571–588.
View
| Files available
| DOI
E. Kiltz, K.Z. Pietrzak, M. Szegedy, 8042 (2013) 571–588.
2013 | Conference Paper | IST-REx-ID: 2259 |

Learning with rounding, revisited: New reduction properties and applications
J.F. Alwen, S. Krenn, K.Z. Pietrzak, D. Wichs, 8042 (2013) 57–74.
View
| Files available
| DOI
J.F. Alwen, S. Krenn, K.Z. Pietrzak, D. Wichs, 8042 (2013) 57–74.
2013 | Conference Paper | IST-REx-ID: 2260 |

Efficient signatures of knowledge and DAA in the standard model
D. Bernhard, G. Fuchsbauer, E. Ghadafi, 7954 (2013) 518–533.
View
| DOI
| Download Submitted Version (ext.)
D. Bernhard, G. Fuchsbauer, E. Ghadafi, 7954 (2013) 518–533.
2013 | Journal Article | IST-REx-ID: 2264 |

Neural development is dependent on the function of specificity protein 2 in cell cycle progression
H. Liang, G. Xiao, H. Yin, S. Hippenmeyer, J. Horowitz, T. Ghashghaei, Development 140 (2013) 552–561.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
H. Liang, G. Xiao, H. Yin, S. Hippenmeyer, J. Horowitz, T. Ghashghaei, Development 140 (2013) 552–561.
2013 | Conference Paper | IST-REx-ID: 2270 |

Optimal Coalition Structures in Cooperative Graph Games
Y. Bachrach, P. Kohli, V. Kolmogorov, M. Zadimoghaddam, in:, AAAI Press, 2013, pp. 81–87.
View
| Download None (ext.)
| arXiv
Y. Bachrach, P. Kohli, V. Kolmogorov, M. Zadimoghaddam, in:, AAAI Press, 2013, pp. 81–87.
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 | Conference Paper | IST-REx-ID: 2276 |

Potts model, parametric maxflow and k-submodular functions
I. Gridchyn, V. Kolmogorov, in:, IEEE, 2013, pp. 2320–2327.
View
| DOI
| Download Preprint (ext.)
| arXiv
I. Gridchyn, V. Kolmogorov, in:, IEEE, 2013, pp. 2320–2327.
2013 | Journal Article | IST-REx-ID: 2277 |

Transformation of stimulus correlations by the retina
K. Simmons, J. Prentice, G. Tkačik, J. Homann, H. Yee, S. Palmer, P. Nelson, V. Balasubramanian, PLoS Computational Biology 9 (2013).
View
| Files available
| DOI
K. Simmons, J. Prentice, G. Tkačik, J. Homann, H. Yee, S. Palmer, P. Nelson, V. Balasubramanian, PLoS Computational Biology 9 (2013).
2013 | Journal Article | IST-REx-ID: 2256 |

Linked (Open) Data - Bibliographische Daten im Semantic Web
P. Danowski, D. Goldfarb, V. Schaffner, W. Seidler, VÖB Mitteilungen 66 (2013) 559–587.
View
| Files available
P. Danowski, D. Goldfarb, V. Schaffner, W. Seidler, VÖB Mitteilungen 66 (2013) 559–587.
2013 | Conference Paper | IST-REx-ID: 2272 |

Inference algorithms for pattern-based CRFs on sequence data
R. Takhanov, V. Kolmogorov, in:, ICML’13 Proceedings of the 30th International Conference on International, International Machine Learning Society, 2013, pp. 145–153.
View
| Files available
| Download Submitted Version (ext.)
R. Takhanov, V. Kolmogorov, in:, ICML’13 Proceedings of the 30th International Conference on International, International Machine Learning Society, 2013, pp. 145–153.
2013 | Report | IST-REx-ID: 2273 |

Reweighted message passing revisited
V. Kolmogorov, Reweighted Message Passing Revisited, IST Austria, 2013.
View
| Download (ext.)
V. Kolmogorov, Reweighted Message Passing Revisited, IST Austria, 2013.
2013 | Journal Article | IST-REx-ID: 2282 |

Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly
P. Campinho, M. Behrndt, J. Ranft, T. Risler, N. Minc, C.-P.J. Heisenberg, Nature Cell Biology 15 (2013) 1405–1414.
View
| Files available
| DOI
| Download Submitted Version (ext.)
P. Campinho, M. Behrndt, J. Ranft, T. Risler, N. Minc, C.-P.J. Heisenberg, Nature Cell Biology 15 (2013) 1405–1414.
2013 | Journal Article | IST-REx-ID: 2284 |

Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies
S. Tragust, L.V. Ugelvig, M. Chapuisat, J. Heinze, S. Cremer, BMC Evolutionary Biology 13 (2013).
View
| Files available
| DOI
S. Tragust, L.V. Ugelvig, M. Chapuisat, J. Heinze, S. Cremer, BMC Evolutionary Biology 13 (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 Submitted Version (ext.)
| PubMed | Europe PMC
P. Campinho, C.-P.J. Heisenberg, EMBO Journal 32 (2013) 2783–2784.
2013 | Journal Article | IST-REx-ID: 2287 |

The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant
M. Pickup, S. Barrett, Ecology and Evolution 3 (2013) 629–639.
View
| Files available
| DOI
M. Pickup, S. Barrett, Ecology and Evolution 3 (2013) 629–639.
2013 | Journal Article | IST-REx-ID: 2289 |

Quantitative reactive modeling and verification
T.A. Henzinger, Computer Science Research and Development 28 (2013) 331–344.
View
| Files available
| DOI
T.A. Henzinger, Computer Science Research and Development 28 (2013) 331–344.
2013 | Journal Article | IST-REx-ID: 2290 |

ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation
Y. Boutté, K. Jonsson, H. Mcfarlane, E. Johnson, D. Gendre, R. Swarup, J. Friml, L. Samuels, S. Robert, R. Bhalerao, PNAS 110 (2013) 16259–16264.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
Y. Boutté, K. Jonsson, H. Mcfarlane, E. Johnson, D. Gendre, R. Swarup, J. Friml, L. Samuels, S. Robert, R. Bhalerao, PNAS 110 (2013) 16259–16264.
2013 | Conference Paper | IST-REx-ID: 2291 |

Cryptographically enforced RBAC
A. Ferrara, G. Fuchsbauer, B. Warinschi, in:, IEEE, 2013, pp. 115–129.
View
| DOI
| Download Submitted Version (ext.)
A. Ferrara, G. Fuchsbauer, B. Warinschi, in:, IEEE, 2013, pp. 115–129.
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 Submitted Version (ext.)
V. Sharmanska, N. Quadrianto, C. Lampert, in:, IEEE, 2013, pp. 825–832.
2013 | Conference Paper | IST-REx-ID: 2294 |

Drosophila Embryo Stage Annotation using Label Propagation
T. Kazmar, E. Kvon, A. Stark, C. Lampert, in:, IEEE, 2013.
View
| DOI
| Download Submitted Version (ext.)
T. Kazmar, E. Kvon, A. Stark, C. Lampert, in:, IEEE, 2013.
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 Preprint (ext.)
| arXiv
A. Giuliani, É. Lieb, R. Seiringer, Physical Review B 88 (2013).
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 Preprint (ext.)
| arXiv
R. Seiringer, Japanese Journal of Mathematics 8 (2013) 185–232.
2013 | Conference Paper | IST-REx-ID: 2298 |

Local shape analysis for overlaid data structures
C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2013, pp. 150–171.
View
| Files available
| DOI
C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2013, pp. 150–171.
2013 | Journal Article | IST-REx-ID: 2299 |

Synthesis of AMBA AHB from formal specification: A case study
Y. Godhal, K. Chatterjee, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 15 (2013) 585–601.
View
| Files available
| DOI
Y. Godhal, K. Chatterjee, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 15 (2013) 585–601.
2013 | Journal Article | IST-REx-ID: 2280 |

Packing ellipsoids with overlap
C. Uhler, S. Wright, SIAM Review 55 (2013) 671–706.
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Uhler, S. Wright, SIAM Review 55 (2013) 671–706.
2013 | Journal Article | IST-REx-ID: 2404 |

A positive density analogue of the Lieb-Thirring inequality
R. Frank, M. Lewin, É. Lieb, R. Seiringer, Duke Mathematical Journal 162 (2013) 435–495.
View
| DOI
| Download (ext.)
R. Frank, M. Lewin, É. Lieb, R. Seiringer, Duke Mathematical Journal 162 (2013) 435–495.
2013 | Journal Article | IST-REx-ID: 2405 |

Symmetry of bipolaron bound states for small Coulomb repulsion
R. Frank, É. Lieb, R. Seiringer, Communications in Mathematical Physics 319 (2013) 557–573.
View
| DOI
| Download (ext.)
R. Frank, É. Lieb, R. Seiringer, Communications in Mathematical Physics 319 (2013) 557–573.
2013 | Journal Article | IST-REx-ID: 2408 |

The excitation spectrum for weakly interacting Bosons in a trap
P. Grech, R. Seiringer, Communications in Mathematical Physics 322 (2013) 559–591.
View
| DOI
| Download (ext.)
P. Grech, R. Seiringer, Communications in Mathematical Physics 322 (2013) 559–591.
2013 | Journal Article | IST-REx-ID: 2410 |

Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis
R.A. Fernandes Redondo, A. Kupczok, G. Stift, J.P. Bollback, Genome Announcements 1 (2013).
View
| Files available
| DOI
R.A. Fernandes Redondo, A. Kupczok, G. Stift, J.P. Bollback, Genome Announcements 1 (2013).
2013 | Journal Article | IST-REx-ID: 2412 |

Probabilistic models for CRISPR spacer content evolution
A. Kupczok, J.P. Bollback, BMC Evolutionary Biology 13 (2013) 54–54.
View
| Files available
| DOI
A. Kupczok, J.P. Bollback, BMC Evolutionary Biology 13 (2013) 54–54.
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 Preprint (ext.)
| arXiv
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, in:, 28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–340.
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 | Conference Paper | IST-REx-ID: 2315 |

Disordered Bose-Einstein condensates with interaction
R. Seiringer, J. Yngvason, V. Zagrebnov, in:, World Scientific Publishing, 2013, pp. 610–619.
View
| DOI
| Download None (ext.)
| arXiv
R. Seiringer, J. Yngvason, V. Zagrebnov, in:, World Scientific Publishing, 2013, pp. 610–619.
2013 | Conference Paper | IST-REx-ID: 2319 |

Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction
R. Frank, C. Hainzl, R. Seiringer, J. Solovej, in:, Springer, 2013, pp. 57–88.
View
| DOI
| Download (ext.)
R. Frank, C. Hainzl, R. Seiringer, J. Solovej, in:, Springer, 2013, pp. 57–88.
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 Preprint (ext.)
| arXiv
K. Chatterjee, J. Ła̧Cki, 8044 (2013) 543–558.
2013 | Conference Paper | IST-REx-ID: 2328 |

Aspect-oriented linearizability proofs
T.A. Henzinger, A. Sezgin, V. Vafeiadis, 8052 (2013) 242–256.
View
| Files available
| DOI
T.A. Henzinger, A. Sezgin, V. Vafeiadis, 8052 (2013) 242–256.
2013 | Conference Paper | IST-REx-ID: 2445 |

Efficient synthesis for concurrency by semantics-preserving transformations
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2013, pp. 951–967.
View
| Files available
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2013, pp. 951–967.
2013 | Conference Paper | IST-REx-ID: 2446 |

Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis
K. Chatterjee, A. Gaiser, J. Kretinsky, 8044 (2013) 559–575.
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, A. Gaiser, J. Kretinsky, 8044 (2013) 559–575.
2013 | Conference Paper | IST-REx-ID: 2447 |

Automating separation logic using SMT
R. Piskac, T. Wies, D. Zufferey, 8044 (2013) 773–789.
View
| Files available
| DOI
R. Piskac, T. Wies, D. Zufferey, 8044 (2013) 773–789.
2013 | Journal Article | IST-REx-ID: 2448 |

ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip
E. Remy, P. Baster, J. Friml, P. Duque, Plant Signaling & Behavior 8 (2013).
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
E. Remy, P. Baster, J. Friml, P. Duque, Plant Signaling & Behavior 8 (2013).
2013 | Journal Article | IST-REx-ID: 245 |

Inhomogeneous cubic congruences and rational points on del Pezzo surfaces
S. Baier, T.D. Browning, Journal Fur Die Reine Und Angewandte Mathematik (2013) 69–151.
View
| DOI
| Download (ext.)
S. Baier, T.D. Browning, Journal Fur Die Reine Und Angewandte Mathematik (2013) 69–151.
2013 | Journal Article | IST-REx-ID: 2466 |

Highly adaptive liquid simulations on tetrahedral meshes
R. Ando, N. Thuerey, C.J. Wojtan, ACM Transactions on Graphics 32 (2013).
View
| Files available
| DOI
R. Ando, N. Thuerey, C.J. Wojtan, ACM Transactions on Graphics 32 (2013).
2013 | Journal Article | IST-REx-ID: 2467 |

Putting holes in holey geometry: Topology change for arbitrary surfaces
G. Bernstein, C.J. Wojtan, ACM Transactions on Graphics 32 (2013).
View
| Files available
| DOI
G. Bernstein, C.J. Wojtan, ACM Transactions on Graphics 32 (2013).
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: 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: 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: 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 | Journal Article | IST-REx-ID: 2472 |

Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development
C. Cazzonelli, M. Vanstraelen, S. Simon, K. Yin, A. Carron Arthur, N. Nisar, G. Tarle, A. Cuttriss, I. Searle, E. Benková, U. Mathesius, J. Masle, J. Friml, B. Pogson, PLoS One 8 (2013).
View
| Files available
| DOI
C. Cazzonelli, M. Vanstraelen, S. Simon, K. Yin, A. Carron Arthur, N. Nisar, G. Tarle, A. Cuttriss, I. Searle, E. Benková, U. Mathesius, J. Masle, J. Friml, B. Pogson, PLoS One 8 (2013).
2013 | Journal Article | IST-REx-ID: 2473 |

Genetic hitch-hiking in spatially extended populations
N.H. Barton, A. Etheridge, J. Kelleher, A. Véber, Theoretical Population Biology 87 (2013) 75–89.
View
| Files available
| DOI
N.H. Barton, A. Etheridge, J. Kelleher, A. Véber, Theoretical Population Biology 87 (2013) 75–89.
2013 | Journal Article | IST-REx-ID: 250 |

Density of Châtelet surfaces failing the Hasse principle
R. De La Bretèche, T.D. Browning, Proceedings of the London Mathematical Society 108 (2013) 1030–1078.
View
| DOI
| Download (ext.)
R. De La Bretèche, T.D. Browning, Proceedings of the London Mathematical Society 108 (2013) 1030–1078.
2013 | Conference Paper | IST-REx-ID: 2517 |

Formalizing and reasoning about quality
S. Almagor, U. Boker, O. Kupferman, 7966 (2013) 15–27.
View
| Files available
| DOI
S. Almagor, U. Boker, O. Kupferman, 7966 (2013) 15–27.
2013 | Conference Paper | IST-REx-ID: 2518 |

The power of linear programming for finite-valued CSPs: A constructive characterization
V. Kolmogorov, in:, Springer, 2013, pp. 625–636.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, in:, Springer, 2013, pp. 625–636.
2013 | Conference Paper | IST-REx-ID: 2520 |

The supervised IBP: Neighbourhood preserving infinite latent feature models
N. Quadrianto, V. Sharmanska, D. Knowles, Z. Ghahramani, in:, Proceedings of the 29th Conference Uncertainty in Artificial Intelligence, AUAI Press, 2013, pp. 527–536.
View
| Files available
N. Quadrianto, V. Sharmanska, D. Knowles, Z. Ghahramani, in:, Proceedings of the 29th Conference Uncertainty in Artificial Intelligence, AUAI Press, 2013, pp. 527–536.
2013 | Conference Paper | IST-REx-ID: 2718 |

Can quantitative and population genetics help us understand evolutionary computation?
N.H. Barton, T. Paixao, in:, Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 1573–1580.
View
| Files available
| DOI
N.H. Barton, T. Paixao, in:, Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 1573–1580.
2013 | Journal Article | IST-REx-ID: 2720 |

Accumulation of spontaneous mutations in the ciliate Tetrahymena thermophila
H. Long, T. Paixao, R. Azevedo, R. Zufall, Genetics 195 (2013) 527–540.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
H. Long, T. Paixao, R. Azevedo, R. Zufall, Genetics 195 (2013) 527–540.
2013 | Journal Article | IST-REx-ID: 2697 |

Delocalization and diffusion profile for random band matrices
L. Erdös, A. Knowles, H. Yau, J. Yin, Communications in Mathematical Physics 323 (2013) 367–416.
View
| DOI
| Download (ext.)
L. Erdös, A. Knowles, H. Yau, J. Yin, Communications in Mathematical Physics 323 (2013) 367–416.
2013 | Journal Article | IST-REx-ID: 2698 |

Stability and semiclassics in self-generated fields
L. Erdös, S. Fournais, J. Solovej, Journal of the European Mathematical Society 15 (2013) 2093–2113.
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Erdös, S. Fournais, J. Solovej, Journal of the European Mathematical Society 15 (2013) 2093–2113.
2013 | Journal Article | IST-REx-ID: 2780 |

Averaging fluctuations in resolvents of random band matrices
L. Erdös, A. Knowles, H. Yau, Annales Henri Poincare 14 (2013) 1837–1926.
View
| DOI
| Download (ext.)
L. Erdös, A. Knowles, H. Yau, Annales Henri Poincare 14 (2013) 1837–1926.
2013 | Journal Article | IST-REx-ID: 2781 |

Spectral statistics of Erdős-Rényi graphs I: Local semicircle law
L. Erdös, A. Knowles, H. Yau, J. Yin, Annals of Probability 41 (2013) 2279–2375.
View
| DOI
| Download (ext.)
L. Erdös, A. Knowles, H. Yau, J. Yin, Annals of Probability 41 (2013) 2279–2375.
2013 | Journal Article | IST-REx-ID: 2782 |

Local eigenvalue density for general MANOVA matrices
L. Erdös, B. Farrell, Journal of Statistical Physics 152 (2013) 1003–1032.
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Erdös, B. Farrell, Journal of Statistical Physics 152 (2013) 1003–1032.
2013 | Conference Paper | IST-REx-ID: 2807 |

Extending continuous maps: Polynomiality and undecidability
M. Čadek, M. Krcál, J. Matoušek, L. Vokřínek, U. Wagner, in:, 45th Annual ACM Symposium on Theory of Computing, ACM, 2013, pp. 595–604.
View
| Files available
| DOI
M. Čadek, M. Krcál, J. Matoušek, L. Vokřínek, U. Wagner, in:, 45th Annual ACM Symposium on Theory of Computing, ACM, 2013, pp. 595–604.
2013 | Journal Article | IST-REx-ID: 2808 |

The moss physcomitrella patens reproductive organ development is highly organized, affected by the two SHI/STY genes and by the level of active auxin in the SHI/STY expression domain
K. Landberg, E. Pederson, T. Viaene, B. Bozorg, J. Friml, H. Jönsson, M. Thelander, E. Sundberg, Plant Physiology 162 (2013) 1406–1419.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
K. Landberg, E. Pederson, T. Viaene, B. Bozorg, J. Friml, H. Jönsson, M. Thelander, E. Sundberg, Plant Physiology 162 (2013) 1406–1419.
2013 | Journal Article | IST-REx-ID: 2810 |

Environmental dependence of genetic constraint
M. de Vos, F. Poelwijk, N. Battich, J. Ndika, S. Tans, PLoS Genetics 9 (2013).
View
| Files available
| DOI
M. de Vos, F. Poelwijk, N. Battich, J. Ndika, S. Tans, PLoS Genetics 9 (2013).
2013 | Journal Article | IST-REx-ID: 2811 |

Nature of laminar-turbulence intermittency in shear flows
M. Avila, B. Hof, Physical Review E 87 (2013).
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Avila, B. Hof, Physical Review E 87 (2013).
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 Submitted Version (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 | 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 Submitted Version (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: 2814 |

The complexity of coverage
K. Chatterjee, L. Alfaro, R. Majumdar, International Journal of Foundations of Computer Science 24 (2013) 165–185.
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. Alfaro, R. Majumdar, International Journal of Foundations of Computer Science 24 (2013) 165–185.