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.
5041 Publications
2014 |Published| Technical Report | IST-REx-ID: 5417 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger, T. A., & Otop, J. (2014). From model checking to model measuring. IST Austria. https://doi.org/10.15479/AT:IST-2014-172-v1-1
[Published Version]
View
| Files available
| DOI
2014 |Published| Technical Report | IST-REx-ID: 5416 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger, T. A., & Otop, J. (2014). Model measuring for hybrid systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-171-v1-1
[Published Version]
View
| Files available
| DOI
2014 |Published| Technical Report | IST-REx-ID: 5418 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, K., & Doyen, L. (2014). Games with a weak adversary. IST Austria. https://doi.org/10.15479/AT:IST-2014-176-v1-1
[Published Version]
View
| Files available
| DOI
2014 |Published| Technical Report | IST-REx-ID: 5420 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, K., & Ibsen-Jensen, R. (2014). The value 1 problem for concurrent mean-payoff games. IST Austria. https://doi.org/10.15479/AT:IST-2014-191-v1-1
[Published Version]
View
| Files available
| DOI
2014 | Report | IST-REx-ID: 5422 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Porsche, J. (2014). Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none.
View
| Files available
2014 |Published| Technical Report | IST-REx-ID: 5424 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2014). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria. https://doi.org/10.15479/AT:IST-2014-305-v1-1
[Published Version]
View
| Files available
| DOI
2014 |Published| Technical Report | IST-REx-ID: 5426 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2014). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria. https://doi.org/10.15479/AT:IST-2014-305-v2-1
[Published Version]
View
| Files available
| DOI
2014 |Published| Technical Report | IST-REx-ID: 5423 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, K., Kössler, A., Pavlogiannis, A., & Schmid, U. (2014). A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. IST Austria. https://doi.org/10.15479/AT:IST-2014-300-v1-1
[Published Version]
View
| Files available
| DOI
2014 |Published| Technical Report | IST-REx-ID: 5427 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2014). Optimal tree-decomposition balancing and reachability on low treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-314-v1-1
[Published Version]
View
| Files available
| DOI
2014 |Published| Technical Report | IST-REx-ID: 5425 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Anonymous, 1, Anonymous, 2, Anonymous, 3, & Anonymous, 4. (2014). Optimal cost almost-sure reachability in POMDPs. IST Austria.
[Published Version]
View
| Files available
2014 |Published| Technical Report | IST-REx-ID: 5415 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, K., Henzinger, T. A., & Otop, J. (2014). Nested weighted automata. IST Austria. https://doi.org/10.15479/AT:IST-2014-170-v1-1
[Published Version]
View
| Files available
| DOI
2014 |Published| Technical Report | IST-REx-ID: 5421 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2014). The complexity of evolution on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-190-v2-2
[Published Version]
View
| Files available
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 10885
Chatterjee, K., Doyen, L., Filiot, E., & Raskin, J.-F. (2014). Doomsday equilibria for omega-regular games. In VMCAI 2014: Verification, Model Checking, and Abstract Interpretation (Vol. 8318, pp. 78–97). San Diego, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-642-54013-4_5
[Preprint]
View
| Files available
| DOI
| arXiv
2014 |Published| Book | IST-REx-ID: 6853
Edelsbrunner, H. (2014). A Short Course in Computational Geometry and Topology (1st ed.). Cham: Springer Nature. https://doi.org/10.1007/978-3-319-05957-0
View
| Files available
| DOI
2014 |Draft| Working Paper | IST-REx-ID: 7038 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Huszár, K., & Rolinek, M. (n.d.). Playful Math - An introduction to mathematical games. IST Austria.
[Published Version]
View
| Files available
2014 |Published| Journal Article | IST-REx-ID: 2083 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lagator, M., Morgan, A., Neve, P., & Colegrave, N. (2014). Role of sex and migration in adaptation to sink environments. Evolution. Wiley. https://doi.org/10.1111/evo.12440
[Published Version]
View
| Files available
| DOI
2014 | Research Data Reference | IST-REx-ID: 9747 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lagator, M., Morgan, A., Neve, P., & Colegrave, N. (2014). Data from: Role of sex and migration in adaptation to sink environments. Dryad. https://doi.org/10.5061/dryad.s42n1
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 |Published| Journal Article | IST-REx-ID: 2086 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Wolf, S., Mcmahon, D., Lim, K., Pull, C., Clark, S., Paxton, R., & Osborne, J. (2014). So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0103989
[Published Version]
View
| Files available
| DOI
2014 | Research Data Reference | IST-REx-ID: 9888
Wolf, S., Mcmahon, D., Lim, K., Pull, C., Clark, S., Paxton, R., & Osborne, J. (2014). Supporting information. Public Library of Science. https://doi.org/10.1371/journal.pone.0103989.s003
[Published Version]
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 2004 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lovrics, A., Gao, Y., Juhász, B., Bock, I., Byrne, H., Dinnyés, A., & Kovács, K. (2014). Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0111430
[Published Version]
View
| Files available
| DOI