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.

5186 Publications


2013 | Journal Article | IST-REx-ID: 245   OA
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.)
 

2013 | Journal Article | IST-REx-ID: 2468   OA
Liquid surface tracking with error compensation
M. Bojsen-Hansen, C.J. Wojtan, ACM Transactions on Graphics 32 (2013).
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2470   OA
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
 

2013 | Conference Paper | IST-REx-ID: 2444   OA
Faster algorithms for Markov decision processes with low treewidth
K. Chatterjee, J. Ła̧Cki, 8044 (2013) 543–558.
View | DOI | Download (ext.) | arXiv
 

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
 

2013 | Journal Article | IST-REx-ID: 2829   OA
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
 

2013 | Journal Article | IST-REx-ID: 2831   OA
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 | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2836   OA
Assume-guarantee synthesis for digital contract signing
K. Chatterjee, V. Raman, Formal Aspects of Computing 26 (2013) 825–859.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2780   OA
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.)
 

2013 | Journal Article | IST-REx-ID: 2805
Lagrangian approach to laminar-turbulent interfaces in transitional pipe flow
M. Holzner, B. Song, M. Avila, B. Hof, Journal of Fluid Mechanics 723 (2013) 140–162.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2850   OA
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).
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2812   OA
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.)
 

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
 

2013 | Journal Article | IST-REx-ID: 2817   OA
Density games
S. Novak, K. Chatterjee, M. Nowak, Journal of Theoretical Biology 334 (2013) 26–34.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2862   OA
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
 

2013 | Journal Article | IST-REx-ID: 2881   OA
Cytokinin signaling regulates pavement cell morphogenesis in Arabidopsis
H. Li, T. Xu, D. Lin, M. Wen, M. Xie, J. Duclercq, A. Bielach, J. Kim, G.V. Reddy, J. Zuo, E. Benková, J. Friml, H. Guo, Z. Yang, Cell Research 23 (2013) 290–299.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2886   OA
Controllable-choice message sequence graphs
M. Chmelik, V. Řehák, 7721 (2013) 118–130.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2901   OA
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.)
 

2013 | Conference Paper | IST-REx-ID: 2906   OA
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
 

2013 | Journal Article | IST-REx-ID: 2913   OA
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.)
 

Search

Filter Publications

Display / Sort

Export / Embed