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.

5164 Publications


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
 

Search

Filter Publications

Display / Sort

Export / Embed