Please note that ISTA 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.
7353 Publications
2013 | Published | 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.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Henzinger, M. Joglekar, N. Shah, Formal Methods in System Design 42 (2013) 301–327.
2013 | Published | Conference Paper | IST-REx-ID: 2820
Automated analysis of real-time scheduling using graph games
K. Chatterjee, A. Kößler, U. Schmid, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, ACM, 2013, pp. 163–172.
View
| Files available
| DOI
K. Chatterjee, A. Kößler, U. Schmid, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, ACM, 2013, pp. 163–172.
2013 | Published | 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).
[Published Version]
View
| Files available
| DOI
S. Tragust, L.V. Ugelvig, M. Chapuisat, J. Heinze, S. Cremer, BMC Evolutionary Biology 13 (2013).
2013 | Published | Journal Article | IST-REx-ID: 2926
Ants disinfect fungus-exposed brood by oral uptake and spread of their poison
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, Current Biology 23 (2013) 76–82.
View
| Files available
| DOI
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, Current Biology 23 (2013) 76–82.
2013 | Published | 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 | Published | Conference Paper | IST-REx-ID: 10897
Persistent homology in image processing
H. Edelsbrunner, in:, Graph-Based Representations in Pattern Recognition, Springer Nature, Berlin, Heidelberg, 2013, pp. 182–183.
View
| DOI
H. Edelsbrunner, in:, Graph-Based Representations in Pattern Recognition, Springer Nature, Berlin, Heidelberg, 2013, pp. 182–183.
2013 | Published | Conference Paper | IST-REx-ID: 10898
Distributed queues in shared memory: Multicore performance and scalability through quantitative relaxation
A. Haas, M. Lippautz, T.A. Henzinger, H. Payer, A. Sokolova, C.M. Kirsch, A. Sezgin, in:, Proceedings of the ACM International Conference on Computing Frontiers - CF ’13, ACM, 2013.
View
| DOI
A. Haas, M. Lippautz, T.A. Henzinger, H. Payer, A. Sokolova, C.M. Kirsch, A. Sezgin, in:, Proceedings of the ACM International Conference on Computing Frontiers - CF ’13, ACM, 2013.
2013 | Published | Technical Report | IST-REx-ID: 5410 |
Automatic generation of alternative starting positions for traditional board games
U. Ahmed, K. Chatterjee, S. Gulwani, Automatic Generation of Alternative Starting Positions for Traditional Board Games, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
U. Ahmed, K. Chatterjee, S. Gulwani, Automatic Generation of Alternative Starting Positions for Traditional Board Games, IST Austria, 2013.
2013 | Published | Journal Article | IST-REx-ID: 5920 |
Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals
C.J. Hillar, A. Martin del Campo Sanchez, Journal of Symbolic Computation 50 (2013) 314–334.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
C.J. Hillar, A. Martin del Campo Sanchez, Journal of Symbolic Computation 50 (2013) 314–334.
2013 | Published | 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 for Industrial and Applied Mathematics, 2013, pp. 70–77.
[Submitted Version]
View
| Files available
| DOI
M. Kerber, H. Edelsbrunner, in:, 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments, Society for Industrial and Applied Mathematics, 2013, pp. 70–77.
2013 | Published | Journal Article | IST-REx-ID: 2909 |
Modelling evolution in a spatial continuum
N.H. Barton, A. Etheridge, A. Véber, Journal of Statistical Mechanics Theory and Experiment 2013 (2013).
[Submitted Version]
View
| Files available
| DOI
N.H. Barton, A. Etheridge, A. Véber, Journal of Statistical Mechanics Theory and Experiment 2013 (2013).
2013 | Published | Book Chapter | IST-REx-ID: 2413
Neuronal oscillations scale up and scale down the brain dynamics
M. Valderrama, V. Botella Soler, M. Le Van Quyen, in:, M. Meyer, Z. Pesenson (Eds.), Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain, Wiley, 2013.
View
| DOI
M. Valderrama, V. Botella Soler, M. Le Van Quyen, in:, M. Meyer, Z. Pesenson (Eds.), Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain, Wiley, 2013.
2013 | Published | Journal Article | IST-REx-ID: 2861
Lyapunov exponent and topological entropy plateaus in piecewise linear maps
V. Botella Soler, J. Oteo, J. Ros, P. Glendinning, Journal of Physics A: Mathematical and Theoretical 46 (2013).
View
| DOI
V. Botella Soler, J. Oteo, J. Ros, P. Glendinning, Journal of Physics A: Mathematical and Theoretical 46 (2013).
2013 | Published | Conference Paper | IST-REx-ID: 2329 |
Hyperplane separation technique for multidimensional mean-payoff games
K. Chatterjee, Y. Velner, 8052 (2013) 500–515.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, Y. Velner, 8052 (2013) 500–515.
2013 | Published | 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.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, 8242 (2013) 472–483.
2013 | Published | Conference Paper | IST-REx-ID: 2819 |
Quantitative timed simulation functions and refinement metrics for real-time systems
K. Chatterjee, V. Prabhu, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Springer, 2013, pp. 273–282.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, V. Prabhu, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Springer, 2013, pp. 273–282.
2013 | Published | Conference Paper | IST-REx-ID: 2886 |
Controllable-choice message sequence graphs
M. Chmelik, V. Řehák, 7721 (2013) 118–130.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
M. Chmelik, V. Řehák, 7721 (2013) 118–130.
2013 | Published | Conference Paper | IST-REx-ID: 2279 |
Looking at mean-payoff and total-payoff through windows
K. Chatterjee, L. Doyen, M. Randour, J. Raskin, 8172 (2013) 118–132.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. Doyen, M. Randour, J. Raskin, 8172 (2013) 118–132.
2013 | Published | Journal Article | IST-REx-ID: 2913 |
Retinal metric: a stimulus distance measure derived from population neural responses
G. Tkačik, E. Granot Atedgi, R. Segev, E. Schneidman, Physical Review Letters 110 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Tkačik, E. Granot Atedgi, R. Segev, E. Schneidman, Physical Review Letters 110 (2013).
2013 | Published | 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.
[Submitted Version]
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.