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.
11366 Publications
2014 |
Research Data Reference |
IST-REx-ID: 9747 |
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 |
Research Data Reference |
IST-REx-ID: 9752 |
Simmons, K., Prentice, J., Tkačik, G., Homann, J., Yee, H., Palmer, S., … Balasubramanian, V. (2014). Data from: Transformation of stimulus correlations by the retina. Dryad. https://doi.org/10.5061/dryad.246qg
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 |
Research Data Reference |
IST-REx-ID: 9753 |
Tragust, S., Ugelvig, L. V., Chapuisat, M., Heinze, J., & Cremer, S. (2014). Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. Dryad. https://doi.org/10.5061/dryad.nc0gc
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 |
Published |
Journal Article |
IST-REx-ID: 977 |
Serbyn, M., Knap, M., Gopalakrishnan, S., Papić, Z., Yao, N., Laumann, C., … Demler, E. (2014). Interferometric probes of many-body localization. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.113.147204
View
| DOI
| Download (ext.)
2014 |
Published |
Journal Article |
IST-REx-ID: 978 |
Zeljkovic, I., Okada, Y., Huang, C., Sankar, R., Walkup, D., Zhou, W., … Madhavan, V. (2014). Mapping the unconventional orbital texture in topological crystalline insulators. Nature Physics. Nature Publishing Group. https://doi.org/10.1038/nphys3012
View
| DOI
| Download (ext.)
2014 |
Published |
Journal Article |
IST-REx-ID: 979 |
Serbyn, M., & Fu, L. (2014). Symmetry breaking and Landau quantization in topological crystalline insulators. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.90.035402
View
| DOI
| Download (ext.)
2014 |
Published |
Journal Article |
IST-REx-ID: 98 |
Higginbotham, A. P., Larsen, T., Yao, J., Yan, H., Lieber, C., Marcus, C., & Kuemmeth, F. (2014). Hole spin coherence in a Ge/Si heterostructure nanowire. Nano Letters. American Chemical Society. https://doi.org/10.1021/nl501242b
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |
Published |
Journal Article |
IST-REx-ID: 980 |
Serbyn, M., Papić, Z., & Abanin, D. (2014). Quantum quenches in the many-body localized phase. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.90.174302
View
| DOI
| Download (ext.)
2014 |
Published |
Journal Article |
IST-REx-ID: 468 |
Cimadom, A., Ulloa, A., Meidl, P., Zöttl, M., Zöttl, E., Fessl, B., … Tebbich, S. (2014). Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin’s finches. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0107518
[Published Version]
View
| Files available
| DOI
| WoS
2014 |
Published |
Conference Paper |
IST-REx-ID: 475 |
Aminof, B., & Rubin, S. (2014). First cycle games. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 146, pp. 83–90). Grenoble, France: Open Publishing Association. https://doi.org/10.4204/EPTCS.146.11
[Published Version]
View
| Files available
| DOI
| arXiv
2014 |
Published |
Journal Article |
IST-REx-ID: 535 |
Chatterjee, K., Henzinger, M., Krinninger, S., & Nanongkai, D. (2014). Polynomial-time algorithms for energy games with special weight structures. Algorithmica. Springer. https://doi.org/10.1007/s00453-013-9843-7
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2014 |
Published |
Journal Article |
IST-REx-ID: 537 |
Prizak, R., Ezard, T., & Hoyle, R. (2014). Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution. Wiley-Blackwell. https://doi.org/10.1002/ece3.1150
[Published Version]
View
| Files available
| DOI
| WoS
2014 |
Published |
Technical Report |
IST-REx-ID: 5411 |
Daca, P., Henzinger, T. A., Krenn, W., & Nickovic, D. (2014). Compositional specifications for IOCO testing. IST Austria. https://doi.org/10.15479/AT:IST-2014-148-v2-1
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5412 |
Chatterjee, K., Daca, P., & Chmelik, M. (2014). CEGAR for qualitative analysis of probabilistic systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-153-v1-1
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5413 |
Chatterjee, K., Daca, P., & Chmelik, M. (2014). CEGAR for qualitative analysis of probabilistic systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-153-v2-2
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5414 |
Chatterjee, K., Daca, P., & Chmelik, M. (2014). CEGAR for qualitative analysis of probabilistic systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-153-v3-1
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5415 |
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: 5416 |
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: 5417 |
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: 5418 |
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