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.

7667 Publications


2015 | Published | Technical Report | IST-REx-ID: 5440 | OA
Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2015). The complexity of evolutionary games on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-323-v2-2
[Published Version] View | Files available | DOI
 

2015 | Published | Technical Report | IST-REx-ID: 5441 | OA
Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K., & Pavlogiannis, A. (2015). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria. https://doi.org/10.15479/AT:IST-2015-340-v1-1
[Published Version] View | Files available | DOI
 

2015 | Published | Technical Report | IST-REx-ID: 5442 | OA
Anonymous, 1, Anonymous, 2, Anonymous, 3, & Anonymous, 4. (2015). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria.
[Published Version] View | Files available
 

2015 | Published | Technical Report | IST-REx-ID: 5443 | OA
Chatterjee, K., Chmelik, M., & Davies, J. (2015). A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs. IST Austria. https://doi.org/10.15479/AT:IST-2015-325-v2-1
[Published Version] View | Files available | DOI
 

2015 | Published | Technical Report | IST-REx-ID: 5444 | OA
Reiter, J., Makohon-Moore, A., Gerold, J., Bozic, I., Chatterjee, K., Iacobuzio-Donahue, C., … Nowak, M. (2015). Reconstructing robust phylogenies of metastatic cancers. IST Austria. https://doi.org/10.15479/AT:IST-2015-399-v1-1
[Published Version] View | Files available | DOI
 

2015 | Research Data | IST-REx-ID: 5549 | OA
Fellner, A. (2015). Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:28
[Published Version] View | Files available | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 6118 | OA
Fenk, L. A., & de Bono, M. (2015). Environmental CO2 inhibits Caenorhabditis elegans egg-laying by modulating olfactory neurons and evokes widespread changes in neural activity. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1423808112
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2015 | Published | Journal Article | IST-REx-ID: 6120 | OA
Laurent, P., Soltesz, Z., Nelson, G. M., Chen, C., Arellano-Carbajal, F., Levy, E., & de Bono, M. (2015). Decoding a neural circuit controlling global animal state in C. elegans. ELife. eLife Sciences Publications. https://doi.org/10.7554/elife.04241
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2015 | Published | Journal Article | IST-REx-ID: 6736 | OA
Mondelli, M., Hassani, H., & Urbanke, R. (2015). Scaling exponent of list decoders with applications to polar codes. IEEE Transactions on Information Theory. IEEE. https://doi.org/10.1109/tit.2015.2453315
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 6737 | OA
Mondelli, M., Hassani, H., Sason, I., & Urbanke, R. (2015). Achieving Marton’s region for broadcast channels using polar codes. IEEE Transactions on Information Theory. IEEE. https://doi.org/10.1109/tit.2014.2368555
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 982 | OA
Serbyn, M., Papić, Z., & Abanin, D. (2015). Criterion for many-body localization-delocalization phase transition. Physical Review X. American Physical Society. https://doi.org/10.1103/PhysRevX.5.041047
View | DOI | Download (ext.)
 

2015 | Published | Journal Article | IST-REx-ID: 99 | OA
Higginbotham, A. P., Albrecht, S. M., Kiršanskas, G., Chang, W., Kuemmeth, F., Krogstrup, P., … Marcus, C. (2015). Parity lifetime of bound states in a proximitized semiconductor nanowire. Nature Physics. Nature Publishing Group. https://doi.org/10.1038/nphys3461
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 388 | OA
Alpichshev, Z., Mahmood, F., Cao, G., & Gedik, N. (2015). Confinement deconfinement transition as an indication of spin liquid type behavior in Na2IrO3. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.114.017203
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Published | Journal Article | IST-REx-ID: 1619 | OA
Chevereau, G., Lukacisinova, M., Batur, T., Guvenek, A., Ayhan, D., Toprak, E., & Bollenbach, M. T. (2015). Quantifying the determinants of evolutionary dynamics leading to drug resistance. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1002299
[Published Version] View | Files available | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 11582 | OA
Stott, J. P., Sobral, D., Swinbank, A. M., Smail, I., Bower, R., Best, P. N., … Matthee, J. J. (2014). A relationship between specific star formation rate and metallicity gradient within z ∼ 1 galaxies from KMOS-HiZELS. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stu1343
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 11583 | OA
Matthee, J. J., Sobral, D., Swinbank, A. M., Smail, I., Best, P. N., Kim, J.-W., … Fynbo, J. (2014). A 10 deg2 Lyman α survey at z=8.8 with spectroscopic follow-up: Strong constraints on the luminosity function and implications for other surveys. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stu392
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Conference Paper | IST-REx-ID: 11789 | OA
Charikar, M., Henzinger, M., & Nguyễn, H. L. (2014). Online bipartite matching with decomposable weights. In 22nd Annual European Symposium on Algorithms (Vol. 8737, pp. 260–271). Wroclaw, Poland: Springer Nature. https://doi.org/10.1007/978-3-662-44777-2_22
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Conference Paper | IST-REx-ID: 11855 | OA
Henzinger, M., Krinninger, S., & Nanongkai, D. (2014). Decremental single-source shortest paths on undirected graphs in near-linear total update time. In 55th Annual Symposium on Foundations of Computer Science (pp. 146–155). Philadelphia, PA, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/focs.2014.24
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Conference Paper | IST-REx-ID: 11870 | OA
Henzinger, M., Krinninger, S., & Nanongkai, D. (2014). Sublinear-time decremental algorithms for single-source reachability and shortest paths on directed graphs. In 46th Annual ACM Symposium on Theory of Computing. New York, NY, United States: Association for Computing Machinery. https://doi.org/10.1145/2591796.2591869
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Conference Paper | IST-REx-ID: 11875 | OA
Bhattacharya, S., Henzinger, M., & Italiano, G. F. (2014). Deterministic fully dynamic data structures for vertex cover and matching. In 26th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 785–804). San Diego, CA, United States: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973730.54
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed