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.

7296 Publications


2015 | Published | Journal Article | IST-REx-ID: 1845 | OA
Vandael, D. H., Espinoza Martinez, C., & Jonas, P. M. (2015). Excitement about inhibitory presynaptic terminals. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2015.03.006
[Published Version] View | Files available | DOI | WoS
 

2015 | Published | Journal Article | IST-REx-ID: 1695 | OA
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.) | WoS | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 2014 | OA
Klimova, A., Uhler, C., & Rudas, T. (2015). Faithfulness and learning hypergraphs from discrete distributions. Computational Statistics & Data Analysis. Elsevier. https://doi.org/10.1016/j.csda.2015.01.017
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2015 | Published | Book Chapter | IST-REx-ID: 1549 | OA
Mckenzie, C., Sanchez-Romero, I., & Janovjak, H. L. (2015). Flipping the photoswitch: Ion channels under light control. In Novel chemical tools to study ion channel biology (Vol. 869, pp. 101–117). Springer. https://doi.org/10.1007/978-1-4939-2845-3_6
[Submitted Version] View | Files available | DOI | WoS
 

2015 | Published | Journal Article | IST-REx-ID: 1848 | OA
Schwamb B, Pick R, Fernández S, Völp K, Heering J, Dötsch V, Bösser S, Jung J, Beinoravičiute Kellner R, Wesely J, Zörnig I, Hammerschmidt M, Nowak M, Penzel R, Zatloukal K, Joos S, Rieker R, Agaimy A, Söder S, Reid Lombardo K, Kendrick M, Bardsley M, Hayashi Y, Asuzu D, Syed S, Ördög T, Zörnig M. 2015. FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors. International Journal of Cancer. 137(6), 1318–1329.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2015 | Published | Conference Paper | IST-REx-ID: 1607 | OA
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs (Vol. 9206, pp. 140–157). Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer. https://doi.org/10.1007/978-3-319-21690-4_9
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2015 | Published | Conference Paper | IST-REx-ID: 1430 | OA
Paixao, T., Sudholt, D., Heredia, J., & Trubenova, B. (2015). First steps towards a runtime comparison of natural and artificial evolution. In Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation (pp. 1455–1462). Madrid, Spain: ACM. https://doi.org/10.1145/2739480.2754758
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 1517 | OA
Erbar, M., Maas, J., & Renger, M. (2015). From large deviations to Wasserstein gradient flows in multiple dimensions. Electronic Communications in Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/ECP.v20-4315
[Published Version] View | Files available | DOI | WoS
 

2015 | Published | Technical Report | IST-REx-ID: 5437 | OA
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-330-v2-1
[Published Version] View | Files available | DOI
 

2015 | Published | Technical Report | IST-REx-ID: 5430 | OA
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-319-v1-1
[Published Version] View | Files available | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 1729 | OA
Cerny, P., Clarke, E., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., Samanta, R., & Tarrach, T. (2015). From non-preemptive to preemptive scheduling using synchronization synthesis. Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer. https://doi.org/10.1007/978-3-319-21668-3_11
[Submitted Version] View | Files available | DOI | WoS
 

2015 | Published | Journal Article | IST-REx-ID: 1850 | OA
Novak, S., & Cremer, S. (2015). Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2015.02.018
[Submitted Version] View | Files available | DOI | WoS
 

2015 | Published | Conference Paper | IST-REx-ID: 1654 | OA
Gazi, P., Pietrzak, K. Z., & Tessaro, S. (2015). Generic security of NMAC and HMAC with input whitening. Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Auckland, New Zealand: Springer. https://doi.org/10.1007/978-3-662-48800-3_4
[Submitted Version] View | Files available | DOI | WoS
 

2015 | Published | Journal Article | IST-REx-ID: 1696 | OA
Wysokiński, M., Kaczmarczyk, J., & Spałek, J. (2015). Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.92.125135
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2015 | Published | Conference Paper | IST-REx-ID: 1595 | OA
Fulek, R., Pelsmajer, M., & Schaefer, M. (2015). Hanani-Tutte for radial planarity (Vol. 9411, pp. 99–110). Presented at the GD: Graph Drawing and Network Visualization, Los Angeles, CA, USA: Springer. https://doi.org/10.1007/978-3-319-27261-0_9
[Submitted Version] View | Files available | DOI | WoS
 

2015 | Published | Journal Article | IST-REx-ID: 1508 | OA
Erdös, L., & Yau, H. (2015). Gap universality of generalized Wigner and β ensembles. Journal of the European Mathematical Society. European Mathematical Society. https://doi.org/10.4171/JEMS/548
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 1551 | OA
El Masri, L., Branca, A., Sheppard, A., Papkou, A., Laehnemann, D., Guenther, P., … Schulenburg, H. (2015). Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1002169
[Published Version] View | Files available | DOI | WoS
 

2015 | Published | Journal Article | IST-REx-ID: 1697 | OA
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 | WoS
 

2015 | Published | Conference Paper | IST-REx-ID: 1633 | OA
Hahn, D., & Wojtan, C. (2015). High-resolution brittle fracture simulation with boundary elements (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2766896
[Submitted Version] View | Files available | DOI | WoS
 

2015 | Published | Conference Paper | IST-REx-ID: 1652 | OA
Alwen, J. F., & Serbinenko, V. (2015). High parallel complexity graphs and memory-hard functions. In Proceedings of the 47th annual ACM symposium on Theory of computing (pp. 595–603). Portland, OR, United States: ACM. https://doi.org/10.1145/2746539.2746622
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed