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.
5989 Publications
2016 | Published | Conference Paper | IST-REx-ID: 1090 | 
K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted limit-average automata of bounded width,” presented at the MFCS: Mathematical Foundations of Computer Science, Krakow; Poland, 2016, vol. 58.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 8094 |
G. S. Martius, R. Hostettler, A. Knoll, and R. Der, “Self-organized control of an tendon driven arm by differential extrinsic plasticity,” in 15th International Conference on the Synthesis and Simulation of Living Systems, Cancun, Mexico, 2016, vol. 28, pp. 142–143.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1379 |
B. Burton, A. N. de Mesmay, and U. Wagner, “Finding non-orientable surfaces in 3-manifolds,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 24.1-24.15.
[Published Version]
View
| Files available
| DOI
2016 | Published | Technical Report | IST-REx-ID: 5449 |
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Amplification on undirected population structures: Comets beat stars. IST Austria, 2016.
[Updated Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1705 |
S. Bogomolov et al., “Guided search for hybrid systems based on coarse-grained space abstractions,” International Journal on Software Tools for Technology Transfer, vol. 18, no. 4. Springer, pp. 449–467, 2016.
[Published Version]
View
| Files available
| DOI
| WoS