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.
9087 Publications
2015 | Conference Paper | IST-REx-ID: 1691
Svoreňová, M., Chmelik, M., Leahy, K., Eniser, H., Chatterjee, K., Cěrná, I., & Belta, C. (2015). Temporal logic motion planning using POMDPs with parity objectives: Case study paper. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (pp. 233–238). Seattle, WA, United States: ACM. https://doi.org/10.1145/2728606.2728617
View
| DOI
2015 | Journal Article | IST-REx-ID: 1694
Chatterjee, K., & Prabhu, V. (2015). Quantitative temporal simulation and refinement distances for timed systems. IEEE Transactions on Automatic Control. IEEE. https://doi.org/10.1109/TAC.2015.2404612
View
| DOI
2015 | Journal Article | IST-REx-ID: 1695 | 
Kaczmarczyk, J., Schickling, T., & Bünemann, J. (2015). Evaluation techniques for Gutzwiller wave functions in finite dimensions. Physica Status Solidi (B): Basic Solid State Physics. Wiley. https://doi.org/10.1002/pssb.201552082
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1697 |
Marre, O., Botella Soler, V., Simmons, K., Mora, T., Tkačik, G., & Berry, M. (2015). High accuracy decoding of dynamical motion from a large retinal population. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1004304
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1699 |
Uecker, H., Setter, D., & Hermisson, J. (2015). Adaptive gene introgression after secondary contact. Journal of Mathematical Biology. Springer. https://doi.org/10.1007/s00285-014-0802-y
[Published Version]
View
| Files available
| DOI