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.

11436 Publications


2016 | Published | Thesis | PhD | IST-REx-ID: 1396 | OA
Mishra, R. K. (2016). Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus. Institute of Science and Technology Austria.
[Published Version] View | Files available
 

2016 | Research Data | IST-REx-ID: 5553 | OA
Field, D., & Ellis, T. (2016). Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:37
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5551 | OA
Ellis, T. (2016). Data on pollinator observations and offpsring phenotypes. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:35
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5552 | OA
Ellis, T. (2016). Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:36
[Published Version] View | Files available | DOI
 

2016 | Published | Thesis | PhD | IST-REx-ID: 1130 | OA
Tarrach, T. (2016). Automatic synthesis of synchronisation primitives for concurrent programs. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:1130
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2016 | Published | Thesis | PhD | IST-REx-ID: 1131 | OA
Tugrul, M. (2016). Evolution of transcriptional regulatory sequences. Institute of Science and Technology Austria.
[Published Version] View | Files available
 

2016 | Research Data | IST-REx-ID: 5554 | OA
Tugrul, M. (2016). Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:43
[Published Version] View | Files available | DOI
 

2016 | Published | Thesis | PhD | IST-REx-ID: 1125 | OA
Novak, S. (2016). Evolutionary proccesses in variable emvironments. Institute of Science and Technology Austria.
[Published Version] View | Files available
 

2016 | Published | Journal Article | IST-REx-ID: 1662 | OA
Edelsbrunner, H., & Pausinger, F. (2016). Approximation and convergence of the intrinsic volume. Advances in Mathematics. Academic Press. https://doi.org/10.1016/j.aim.2015.10.004
[Published Version] View | Files available | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1093 | OA
Daca, P., Henzinger, T. A., Kretinsky, J., & Petrov, T. (2016). Linear distances between Markov chains (Vol. 59). Presented at the CONCUR: Concurrency Theory, Quebec City; Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2016.20
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1234 | OA
Daca, P., Henzinger, T. A., Kretinsky, J., & Petrov, T. (2016). Faster statistical model checking for unbounded temporal properties (Vol. 9636, pp. 112–129). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/978-3-662-49674-9_7
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1391 | OA
Daca, P., Henzinger, T. A., & Kupriyanov, A. (2016). Array folds logic (Vol. 9780, pp. 230–248). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer. https://doi.org/10.1007/978-3-319-41540-6_13
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1230 | OA
Daca, P., Gupta, A., & Henzinger, T. A. (2016). Abstraction-driven concolic testing (Vol. 9583, pp. 328–347). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA: Springer. https://doi.org/10.1007/978-3-662-49122-5_16
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 21522
Khorasaninejad, M., Zhu, A. Y., Roques-Carmes, C., Chen, W. T., Oh, J., Mishra, I., … Capasso, F. (2016). Polarization-insensitive metalenses at visible wavelengths. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.6b03626
View | DOI | PubMed | Europe PMC
 

2016 | Published | Conference Paper | IST-REx-ID: 1341 | OA
Avni, G., Henzinger, T. A., & Kupferman, O. (2016). Dynamic resource allocation games (Vol. 9928, pp. 153–166). Presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-53354-3_13
[Preprint] View | Files available | DOI | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 1321 | OA
Leithner, A. F., Eichner, A., Müller, J., Reversat, A., Brown, M., Schwarz, J., … Sixt, M. K. (2016). Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb3426
[Submitted Version] View | Files available | DOI | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 1183 | OA
Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.
[Submitted Version] View | Files available | DOI | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 1100 | OA
Sako, K., Pradhan, S., Barone, V., Inglés Prieto, Á., Mueller, P., Ruprecht, V., … Heisenberg, C.-P. J. (2016). Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation. Cell Reports. Cell Press. https://doi.org/10.1016/j.celrep.2016.06.036
[Published Version] View | Files available | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1437 | OA
Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Pavlogiannis, A. (2016). Algorithms for algebraic path properties in concurrent systems of constant treewidth components (Vol. 20–22, pp. 733–747). Presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA: ACM. https://doi.org/10.1145/2837614.2837624
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1386 | OA
Chatterjee, K., Fu, H., & Goharshady, A. K. (2016). Termination analysis of probabilistic programs through Positivstellensatz’s (Vol. 9779, pp. 3–22). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer. https://doi.org/10.1007/978-3-319-41528-4_1
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed