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.
4966 Publications
2016 | Journal Article | IST-REx-ID: 1292 | 
Durst, S., Kegel, M., & Klukas, M. D. (2016). Computing the Thurston–Bennequin invariant in open books. Acta Mathematica Hungarica. Springer. https://doi.org/10.1007/s10474-016-0648-4
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1319
Bächer, M., Hepp, B., Pece, F., Kry, P., Bickel, B., Thomaszewski, B., & Hilliges, O. (2016). DefSense: computational design of customized deformable input devices (pp. 3806–3816). Presented at the CHI: Conference on Human Factors in Computing Systems, San Jose, California, USA: ACM. https://doi.org/10.1145/2858036.2858354
View
| DOI
2016 | Journal Article | IST-REx-ID: 1323 |
Vyleta, N., Borges Merjane, C., & Jonas, P. M. (2016). Plasticity-dependent, full detonation at hippocampal mossy fiber–CA3 pyramidal neuron synapses. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.17977
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1325 |
Brázdil, T., Forejt, V., Kučera, A., & Novotný, P. (2016). Stability in graphs and games (Vol. 59). Presented at the CONCUR: Concurrency Theory, Quebec City, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2016.10
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1320
Lang, M., & Sontag, E. (2016). Scale-invariant systems realize nonlinear differential operators (Vol. 2016–July). Presented at the ACC: American Control Conference, Boston, MA, USA: IEEE. https://doi.org/10.1109/ACC.2016.7526722
[Preprint]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1324
Chatterjee, K., & Chmelik, M. (2016). Indefinite-horizon reachability in Goal-DEC-POMDPs. In Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling (Vol. 2016–January, pp. 88–96). London, United Kingdom: AAAI Press.
View
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 1329 |
Huylmans, A. K., López Ezquerra, A., Parsch, J., & Cordellier, M. (2016). De novo transcriptome assembly and sex-biased gene expression in the cyclical parthenogenetic Daphnia galeata. Genome Biology and Evolution. Oxford University Press. https://doi.org/10.1093/gbe/evw221
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1327 |
Brázdil, T., Chatterjee, K., Chmelik, M., Gupta, A., & Novotný, P. (2016). Stochastic shortest path with energy constraints in POMDPs. In Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (pp. 1465–1466). Singapore: ACM.
[Preprint]
View
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1326 |
Brázdil, T., Kučera, A., & Novotný, P. (2016). Optimizing the expected mean payoff in Energy Markov Decision Processes (Vol. 9938, pp. 32–49). Presented at the ATVA: Automated Technology for Verification and Analysis, Chiba, Japan: Springer. https://doi.org/10.1007/978-3-319-46520-3_3
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1330 |
Akopyan, A., & Balitskiy, A. (2016). Billiards in convex bodies with acute angles. Israel Journal of Mathematics. Springer. https://doi.org/10.1007/s11856-016-1429-z
[Preprint]
View
| DOI
| Download Preprint (ext.)