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.
5789 Publications
2016 | Thesis | IST-REx-ID: 1124 |
Optical functionalization of human class A orphan G-protein coupled receptors
M. Morri, Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
M. Morri, Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors, Institute of Science and Technology Austria, 2016.
2016 | Thesis | IST-REx-ID: 1129 |
Quantitative analysis of haptotactic cell migration
J. Schwarz, Quantitative Analysis of Haptotactic Cell Migration, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
J. Schwarz, Quantitative Analysis of Haptotactic Cell Migration, Institute of Science and Technology Austria, 2016.
2016 | Thesis | IST-REx-ID: 1126 |
Theoretical foundations of multi-task lifelong learning
A. Pentina, Theoretical Foundations of Multi-Task Lifelong Learning, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
| DOI
A. Pentina, Theoretical Foundations of Multi-Task Lifelong Learning, Institute of Science and Technology Austria, 2016.
2016 | Thesis | IST-REx-ID: 1123 |
Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture
I. Mabillard, Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
I. Mabillard, Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture, Institute of Science and Technology Austria, 2016.
2016 | Journal Article | IST-REx-ID: 1432 |
Symmetric spike timing-dependent plasticity at CA3–CA3 synapses optimizes storage and recall in autoassociative networks
R.K. Mishra, S. Kim, J. Guzmán, P.M. Jonas, Nature Communications 7 (2016).
[Published Version]
View
| Files available
| DOI
R.K. Mishra, S. Kim, J. Guzmán, P.M. Jonas, Nature Communications 7 (2016).
2016 | Thesis | IST-REx-ID: 1396 |
Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus
R.K. Mishra, Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
R.K. Mishra, Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus, Institute of Science and Technology Austria, 2016.
2016 | Thesis | IST-REx-ID: 1125 |
Evolutionary proccesses in variable emvironments
S. Novak, Evolutionary Proccesses in Variable Emvironments, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
S. Novak, Evolutionary Proccesses in Variable Emvironments, Institute of Science and Technology Austria, 2016.
2016 | Thesis | IST-REx-ID: 1130 |
Automatic synthesis of synchronisation primitives for concurrent programs
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, Institute of Science and Technology Austria, 2016.
2016 | Conference Paper | IST-REx-ID: 1093 |
Linear distances between Markov chains
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version]
View
| Files available
| DOI
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | Conference Paper | IST-REx-ID: 1234 |
Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
2016 | Conference Paper | IST-REx-ID: 1230 |
Abstraction-driven concolic testing
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
2016 | Conference Paper | IST-REx-ID: 1391 |
Array folds logic
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
2016 | Conference Paper | IST-REx-ID: 1071 |
Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
2016 | Conference Paper | IST-REx-ID: 1362 |
Fast approximations for boundary element based brittle fracture simulation
D. Hahn, C. Wojtan, in:, ACM, 2016.
[Published Version]
View
| Files available
| DOI
D. Hahn, C. Wojtan, in:, ACM, 2016.
2016 | Conference Paper | IST-REx-ID: 1229 |
Offline witness encryption
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 285–303.
[Submitted Version]
View
| Files available
| DOI
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 285–303.
2016 | Conference Paper | IST-REx-ID: 1236 |
Constrained PRFs for unbounded inputs
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 413–428.
[Submitted Version]
View
| Files available
| DOI
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 413–428.
2016 | Conference Paper | IST-REx-ID: 1235 |
Constrained PRFs for unbounded inputs with short keys
H.M. Abusalah, G. Fuchsbauer, in:, Springer, 2016, pp. 445–463.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
H.M. Abusalah, G. Fuchsbauer, in:, Springer, 2016, pp. 445–463.
2016 | Journal Article | IST-REx-ID: 1441 |
A phytochrome sensory domain permits receptor activation by red light
E. Gschaider-Reichhart, Á. Inglés Prieto, A.-M. Tichy, C. Mckenzie, H.L. Janovjak, Angewandte Chemie - International Edition 55 (2016) 6339–6342.
[Submitted Version]
View
| Files available
| DOI
E. Gschaider-Reichhart, Á. Inglés Prieto, A.-M. Tichy, C. Mckenzie, H.L. Janovjak, Angewandte Chemie - International Edition 55 (2016) 6339–6342.
2016 | Journal Article | IST-REx-ID: 1358 |
Intrinsic limits to gene regulation by global crosstalk
T. Friedlander, R. Prizak, C.C. Guet, N.H. Barton, G. Tkačik, Nature Communications 7 (2016).
[Published Version]
View
| Files available
| DOI
T. Friedlander, R. Prizak, C.C. Guet, N.H. Barton, G. Tkačik, Nature Communications 7 (2016).
2016 | Journal Article | IST-REx-ID: 1346 |
Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification
Dejonghe W, Kuenen S, Mylle E, Vasileva MK, Keech O, Viotti C, Swerts J, Fendrych M, Ortiz Morea F, Mishev K, Delang S, Scholl S, Zarza X, Heilmann M, Kourelis J, Kasprowicz J, Nguyen L, Drozdzecki A, Van Houtte I, Szatmári A, Majda M, Baisa G, Bednarek S, Robert S, Audenaert D, Testerink C, Munnik T, Van Damme D, Heilmann I, Schumacher K, Winne J, Friml J, Verstreken P, Russinova E. 2016. Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification. Nature Communications. 7, 11710.
[Published Version]
View
| Files available
| DOI
Dejonghe W, Kuenen S, Mylle E, Vasileva MK, Keech O, Viotti C, Swerts J, Fendrych M, Ortiz Morea F, Mishev K, Delang S, Scholl S, Zarza X, Heilmann M, Kourelis J, Kasprowicz J, Nguyen L, Drozdzecki A, Van Houtte I, Szatmári A, Majda M, Baisa G, Bednarek S, Robert S, Audenaert D, Testerink C, Munnik T, Van Damme D, Heilmann I, Schumacher K, Winne J, Friml J, Verstreken P, Russinova E. 2016. Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification. Nature Communications. 7, 11710.
2016 | Journal Article | IST-REx-ID: 1328 |
Heavy-hole states in germanium hut wires
H. Watzinger, C. Kloeffel, L. Vukušić, M. Rossell, V. Sessi, J. Kukucka, R. Kirchschlager, E. Lausecker, A. Truhlar, M. Glaser, A. Rastelli, A. Fuhrer, D. Loss, G. Katsaros, Nano Letters 16 (2016) 6879–6885.
[Published Version]
View
| Files available
| DOI
H. Watzinger, C. Kloeffel, L. Vukušić, M. Rossell, V. Sessi, J. Kukucka, R. Kirchschlager, E. Lausecker, A. Truhlar, M. Glaser, A. Rastelli, A. Fuhrer, D. Loss, G. Katsaros, Nano Letters 16 (2016) 6879–6885.
2016 | Conference Paper | IST-REx-ID: 1205 |
Safety assured formal model driven design of the multifunction vehicle bus controller
Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, L. Sha, in:, Springer, 2016, pp. 757–763.
[Submitted Version]
View
| Files available
| DOI
Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, L. Sha, in:, Springer, 2016, pp. 757–763.
2016 | Conference Paper | IST-REx-ID: 1193 |
Commutativity in the algorithmic Lovasz local lemma
V. Kolmogorov, in:, Proceedings - Annual IEEE Symposium on Foundations of Computer Science, IEEE, 2016.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, in:, Proceedings - Annual IEEE Symposium on Foundations of Computer Science, IEEE, 2016.
2016 | Conference Paper | IST-REx-ID: 1438 |
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, in:, ACM, 2016, pp. 327–342.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, in:, ACM, 2016, pp. 327–342.
2016 | Research Data Reference | IST-REx-ID: 9710 |
Data from: How does epistasis influence the response to selection?
N.H. Barton, (2016).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
N.H. Barton, (2016).
2016 | Research Data Reference | IST-REx-ID: 9864 |
Data from evolutionary interplay between structure, energy and epistasis in the coat protein of the ϕX174 phage family
R.A. Fernandes Redondo, H. de Vladar, T. Włodarski, J.P. Bollback, (2016).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
R.A. Fernandes Redondo, H. de Vladar, T. Włodarski, J.P. Bollback, (2016).
2016 | Conference Paper | IST-REx-ID: 1165 |
C-planarity of embedded cyclic c-graphs
R. Fulek, in:, Springer, 2016, pp. 94–106.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
R. Fulek, in:, Springer, 2016, pp. 94–106.
2016 | Conference Paper | IST-REx-ID: 1378 |
On expansion and topological overlap
D. Dotterrer, T. Kaufman, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 35.1-35.10.
[Published Version]
View
| Files available
| DOI
D. Dotterrer, T. Kaufman, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 35.1-35.10.
2016 | Journal Article | IST-REx-ID: 1616 |
Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats
J. Kowalski, J. Gan, P.M. Jonas, A. Pernia-Andrade, Hippocampus 26 (2016) 668–682.
[Published Version]
View
| Files available
| DOI
J. Kowalski, J. Gan, P.M. Jonas, A. Pernia-Andrade, Hippocampus 26 (2016) 668–682.
2016 | Journal Article | IST-REx-ID: 1794 |
Inference algorithms for pattern-based CRFs on sequence data
V. Kolmogorov, R. Takhanov, Algorithmica 76 (2016) 17–46.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, R. Takhanov, Algorithmica 76 (2016) 17–46.
2016 | Journal Article | IST-REx-ID: 510 |
The CLE gene family in Populus trichocarpa
Z. Liu, N. Yang, Y. Lv, L. Pan, S. Lv, H. Han, G. Wang, Plant Signaling & Behavior 11 (2016).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
Z. Liu, N. Yang, Y. Lv, L. Pan, S. Lv, H. Han, G. Wang, Plant Signaling & Behavior 11 (2016).
2016 | Journal Article | IST-REx-ID: 1263 |
Efficient microwave to optical photon conversion: An electro-optical realization
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, Optica 3 (2016) 597–604.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, Optica 3 (2016) 597–604.
2016 | Journal Article | IST-REx-ID: 1287 |
Modes and exceptional points in waveguides with impedance boundary conditions
B. Midya, V. Konotop, Optics Letters 41 (2016) 4621–4624.
[Preprint]
View
| DOI
| Download Preprint (ext.)
B. Midya, V. Konotop, Optics Letters 41 (2016) 4621–4624.
2016 | Journal Article | IST-REx-ID: 1274 |
Vascular cambium regeneration and vessel formation in wounded inflorescence stems of Arabidopsis
E. Mazur, E. Benková, J. Friml, Scientific Reports 6 (2016).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
E. Mazur, E. Benková, J. Friml, Scientific Reports 6 (2016).
2016 | Journal Article | IST-REx-ID: 1253 |
How MicroRNAs Are involved in splitting the mind
L. Tsai, S. Siegert, JAMA Psychiatry 73 (2016) 409–410.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
L. Tsai, S. Siegert, JAMA Psychiatry 73 (2016) 409–410.
2016 | Technical Report | IST-REx-ID: 5452 |
Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
[Published Version]
View
| Files available
| DOI
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
2016 | Research Data | IST-REx-ID: 5550 |
Flower colour data and phylogeny (NEXUS) files
T. Ellis, D. Field, (2016).
[Published Version]
View
| Files available
| DOI
T. Ellis, D. Field, (2016).
2016 | Research Data | IST-REx-ID: 5555 |
Fiji script to determine average speed and direction of migration of cells
R. Hauschild, (2016).
[Published Version]
View
| Files available
| DOI
R. Hauschild, (2016).
2016 | Research Data | IST-REx-ID: 5557 |
Synthetic discrete tomography problems
P. Swoboda, (2016).
[Published Version]
View
| Files available
| DOI
P. Swoboda, (2016).
2016 | Thesis | IST-REx-ID: 1122 |
Tracking, correcting and absorbing water surface waves
M. Bojsen-Hansen, Tracking, Correcting and Absorbing Water Surface Waves, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
| DOI
M. Bojsen-Hansen, Tracking, Correcting and Absorbing Water Surface Waves, Institute of Science and Technology Austria, 2016.
2016 | Thesis | IST-REx-ID: 1398 |
The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone
T. Ellis, The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
| DOI
T. Ellis, The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone, Institute of Science and Technology Austria, 2016.
2016 | Thesis | IST-REx-ID: 1131 |
Evolution of transcriptional regulatory sequences
M. Tugrul, Evolution of Transcriptional Regulatory Sequences, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
M. Tugrul, Evolution of Transcriptional Regulatory Sequences, Institute of Science and Technology Austria, 2016.
2016 | Research Data | IST-REx-ID: 5553 |
Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012
D. Field, T. Ellis, (2016).
[Published Version]
View
| Files available
| DOI
D. Field, T. Ellis, (2016).
2016 | Research Data | IST-REx-ID: 5551 |
Data on pollinator observations and offpsring phenotypes
T. Ellis, (2016).
[Published Version]
View
| Files available
| DOI
T. Ellis, (2016).
2016 | Research Data | IST-REx-ID: 5552 |
Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data.
T. Ellis, (2016).
[Published Version]
View
| Files available
| DOI
T. Ellis, (2016).
2016 | Research Data | IST-REx-ID: 5554 |
Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase
M. Tugrul, (2016).
[Published Version]
View
| Files available
| DOI
M. Tugrul, (2016).
2016 | Research Data | IST-REx-ID: 5558 |
Tracking, Correcting and Absorbing Water Surface Waves
M. Bojsen-Hansen, (2016).
[Published Version]
View
| Files available
| DOI
M. Bojsen-Hansen, (2016).
2016 | Research Data | IST-REx-ID: 5556 |
MATLAB analysis code for 'Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast'
M. Lukacisin, M. Landon, R. Jajoo, (2016).
[Published Version]
View
| Files available
| DOI
M. Lukacisin, M. Landon, R. Jajoo, (2016).
2016 | Conference Paper | IST-REx-ID: 15245 |
eXTP: Enhanced X-ray timing and polarization mission
Zhang SN et al. 2016. eXTP: Enhanced X-ray timing and polarization mission. Proceedings of the SPIE. vol. 9905, 99051Q.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Zhang SN et al. 2016. eXTP: Enhanced X-ray timing and polarization mission. Proceedings of the SPIE. vol. 9905, 99051Q.
2016 | Conference Paper | IST-REx-ID: 15244 |
XIPE: The x-ray imaging polarimetry explorer
Soffitta P et al. 2016. XIPE: The x-ray imaging polarimetry explorer. Space Telescopes and Instrumentation 2016: Ultraviolet to Gamma Ray. Astronomical Telescopes + Instrumentation vol. 9905, 990515.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Soffitta P et al. 2016. XIPE: The x-ray imaging polarimetry explorer. Space Telescopes and Instrumentation 2016: Ultraviolet to Gamma Ray. Astronomical Telescopes + Instrumentation vol. 9905, 990515.