Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5735 Publications
2013 | Published | Technical Report | IST-REx-ID: 5410 | 
Ahmed, Umair, et al. Automatic Generation of Alternative Starting Positions for Traditional Board Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-146-v1-1.
[Published Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2906 |
Kerber, Michael, and Herbert Edelsbrunner. “3D Kinetic Alpha Complexes and Their Implementation.” 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments, Society for Industrial and Applied Mathematics, 2013, pp. 70–77, doi:10.1137/1.9781611972931.6.
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2909 |
Barton, Nicholas H., et al. “Modelling Evolution in a Spatial Continuum.” Journal of Statistical Mechanics Theory and Experiment, vol. 2013, no. 1, IOP Publishing, 2013, doi:10.1088/1742-5468/2013/01/P01002.
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Book Chapter | IST-REx-ID: 2413
Valderrama, Mario, et al. “Neuronal Oscillations Scale up and Scale down the Brain Dynamics .” Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain, edited by Misha Meyer and Z. Pesenson, Wiley, 2013, doi:10.1002/9783527671632.ch08.
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2861
Botella Soler, Vicente, et al. “Lyapunov Exponent and Topological Entropy Plateaus in Piecewise Linear Maps.” Journal of Physics A: Mathematical and Theoretical, vol. 46, no. 12, 125101, IOP Publishing, 2013, doi:10.1088/1751-8113/46/12/125101.
View
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2329 |
Chatterjee, Krishnendu, and Yaron Velner. Hyperplane Separation Technique for Multidimensional Mean-Payoff Games. Vol. 8052, Springer, 2013, pp. 500–15, doi:10.1007/978-3-642-40184-8_35.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 2244 |
Matoušek, Jiří, et al. Untangling Two Systems of Noncrossing Curves. Vol. 8242, Springer, 2013, pp. 472–83, doi:10.1007/978-3-319-03841-4_41.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 2819 |
Chatterjee, Krishnendu, and Vinayak Prabhu. “Quantitative Timed Simulation Functions and Refinement Metrics for Real-Time Systems.” Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, vol. 1, Springer, 2013, pp. 273–82, doi:10.1145/2461328.2461370.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 2886 |
Chmelik, Martin, and Vojtěch Řehák. Controllable-Choice Message Sequence Graphs. Vol. 7721, Springer, 2013, pp. 118–30, doi:10.1007/978-3-642-36046-6_12.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 2279 |
Chatterjee, Krishnendu, et al. Looking at Mean-Payoff and Total-Payoff through Windows. Vol. 8172, Springer, 2013, pp. 118–32, doi:10.1007/978-3-319-02444-8_10.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv