Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4935 Publications
2016 | Book Chapter | IST-REx-ID: 1094
Harada, Harumi, and Ryuichi Shigemoto. “Immunogold Protein Localization on Grid-Glued Freeze-Fracture Replicas.” High-Resolution Imaging of Cellular Proteins, vol. 1474, Springer, 2016, pp. 203–16, doi:10.1007/978-1-4939-6352-2_12.
View
| DOI
2016 | Thesis | IST-REx-ID: 1121 | 
Acar, Hande. Selective Barriers to Horizontal Gene Transfer. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 | Journal Article | IST-REx-ID: 1662 |
Edelsbrunner, Herbert, and Florian Pausinger. “Approximation and Convergence of the Intrinsic Volume.” Advances in Mathematics, vol. 287, Academic Press, 2016, pp. 674–703, doi:10.1016/j.aim.2015.10.004.
[Published Version]
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1128 |
Rieckh, Georg. Studying the Complexities of Transcriptional Regulation. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 | Thesis | IST-REx-ID: 1124 |
Morri, Maurizio. Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 | Thesis | IST-REx-ID: 1129 |
Schwarz, Jan. Quantitative Analysis of Haptotactic Cell Migration. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 | Thesis | IST-REx-ID: 1126 |
Pentina, Anastasia. Theoretical Foundations of Multi-Task Lifelong Learning. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:TH_776.
[Published Version]
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1397
Chmelik, Martin. Algorithms for Partially Observable Markov Decision Processes. Institute of Science and Technology Austria, 2016.
View
2016 | Thesis | IST-REx-ID: 1123 |
Mabillard, Isaac. 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
2016 | Journal Article | IST-REx-ID: 1432 |
Mishra, Rajiv Kumar, et al. “Symmetric Spike Timing-Dependent Plasticity at CA3–CA3 Synapses Optimizes Storage and Recall in Autoassociative Networks.” Nature Communications, vol. 7, 11552, Nature Publishing Group, 2016, doi:10.1038/ncomms11552.
[Published Version]
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1396 |
Mishra, Rajiv Kumar. Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 | Thesis | IST-REx-ID: 1125 |
Novak, Sebastian. Evolutionary Proccesses in Variable Emvironments. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 | Thesis | IST-REx-ID: 1130 |
Tarrach, Thorsten. Automatic Synthesis of Synchronisation Primitives for Concurrent Programs. Institute of Science and Technology Austria, 2016, doi:10.15479/at:ista:1130.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1093 |
Daca, Przemyslaw, et al. Linear Distances between Markov Chains. Vol. 59, 20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.CONCUR.2016.20.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1234 |
Daca, Przemyslaw, et al. Faster Statistical Model Checking for Unbounded Temporal Properties. Vol. 9636, Springer, 2016, pp. 112–29, doi:10.1007/978-3-662-49674-9_7.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1230 |
Daca, Przemyslaw, et al. Abstraction-Driven Concolic Testing. Vol. 9583, Springer, 2016, pp. 328–47, doi:10.1007/978-3-662-49122-5_16.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1391 |
Daca, Przemyslaw, et al. Array Folds Logic. Vol. 9780, Springer, 2016, pp. 230–48, doi:10.1007/978-3-319-41540-6_13.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1243
Pleska, Maros, et al. “Bacterial Autoimmunity Due to a Restriction-Modification System.” Current Biology, vol. 26, no. 3, Cell Press, 2016, pp. 404–09, doi:10.1016/j.cub.2015.12.041.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1071 |
Chatterjee, Krishnendu, et al. Optimal Reachability and a Space Time Tradeoff for Distance Queries in Constant Treewidth Graphs. Vol. 57, 28, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016, doi:10.4230/LIPIcs.ESA.2016.28.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1362 |
Hahn, David, and Chris Wojtan. Fast Approximations for Boundary Element Based Brittle Fracture Simulation. Vol. 35, no. 4, 104, ACM, 2016, doi:10.1145/2897824.2925902.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1229 |
Abusalah, Hamza M., et al. Offline Witness Encryption. Vol. 9696, Springer, 2016, pp. 285–303, doi:10.1007/978-3-319-39555-5_16.
[Submitted Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1236 |
Abusalah, Hamza M., et al. Constrained PRFs for Unbounded Inputs. Vol. 9610, Springer, 2016, pp. 413–28, doi:10.1007/978-3-319-29485-8_24.
[Submitted Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1235 |
Abusalah, Hamza M., and Georg Fuchsbauer. Constrained PRFs for Unbounded Inputs with Short Keys. Vol. 9696, Springer, 2016, pp. 445–63, doi:10.1007/978-3-319-39555-5_24.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1441 |
Gschaider-Reichhart, Eva, et al. “A Phytochrome Sensory Domain Permits Receptor Activation by Red Light.” Angewandte Chemie - International Edition, vol. 55, no. 21, Wiley, 2016, pp. 6339–42, doi:10.1002/anie.201601736.
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1358 |
Friedlander, Tamar, et al. “Intrinsic Limits to Gene Regulation by Global Crosstalk.” Nature Communications, vol. 7, 12307, Nature Publishing Group, 2016, doi:10.1038/ncomms12307.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1346 |
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
2016 | Journal Article | IST-REx-ID: 1096
Schwayer, Cornelia, et al. “Actin Rings of Power.” Developmental Cell, vol. 37, no. 6, Cell Press, 2016, pp. 493–506, doi:10.1016/j.devcel.2016.05.024.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1328 |
Watzinger, Hannes, et al. “Heavy-Hole States in Germanium Hut Wires.” Nano Letters, vol. 16, no. 11, American Chemical Society, 2016, pp. 6879–85, doi:10.1021/acs.nanolett.6b02715.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1205 |
Jiang, Yu, et al. Safety Assured Formal Model Driven Design of the Multifunction Vehicle Bus Controller. Vol. 9995, Springer, 2016, pp. 757–63, doi:10.1007/978-3-319-48989-6_47.
[Submitted Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1193 |
Kolmogorov, Vladimir. “Commutativity in the Algorithmic Lovasz Local Lemma.” Proceedings - Annual IEEE Symposium on Foundations of Computer Science, vol. 2016–December, 7782993, IEEE, 2016, doi:10.1109/FOCS.2016.88.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 1438 |
Chatterjee, Krishnendu, et al. Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. Vol. 20–22, ACM, 2016, pp. 327–42, doi:10.1145/2837614.2837639.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Research Data Reference | IST-REx-ID: 9710 |
Barton, Nicholas H. Data from: How Does Epistasis Influence the Response to Selection? Dryad, 2016, doi:10.5061/dryad.s5s7r.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Research Data Reference | IST-REx-ID: 9864 |
Fernandes Redondo, Rodrigo A., et al. Data from Evolutionary Interplay between Structure, Energy and Epistasis in the Coat Protein of the ΦX174 Phage Family. The Royal Society, 2016, doi:10.6084/m9.figshare.4315652.v1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1165 |
Fulek, Radoslav. C-Planarity of Embedded Cyclic c-Graphs. Vol. 9801, Springer, 2016, pp. 94–106, doi:10.1007/978-3-319-50106-2_8.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1378 |
Dotterrer, Dominic, et al. On Expansion and Topological Overlap. Vol. 51, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 35.1-35.10, doi:10.4230/LIPIcs.SoCG.2016.35.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1616 |
Kowalski, Janina, et al. “Intrinsic Membrane Properties Determine Hippocampal Differential Firing Pattern in Vivo in Anesthetized Rats.” Hippocampus, vol. 26, no. 5, Wiley, 2016, pp. 668–82, doi:10.1002/hipo.22550.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1794 |
Kolmogorov, Vladimir, and Rustem Takhanov. “Inference Algorithms for Pattern-Based CRFs on Sequence Data.” Algorithmica, vol. 76, no. 1, Springer, 2016, pp. 17–46, doi:10.1007/s00453-015-0017-7.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 510 |
Liu, Zhijun, et al. “The CLE Gene Family in Populus Trichocarpa.” Plant Signaling & Behavior, vol. 11, no. 6, e1191734, Taylor & Francis, 2016, doi:10.1080/15592324.2016.1191734.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1263 |
Rueda, Alfredo, et al. “Efficient Microwave to Optical Photon Conversion: An Electro-Optical Realization.” Optica, vol. 3, no. 6, Optica Publishing Group, 2016, pp. 597–604, doi:10.1364/OPTICA.3.000597.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 1287 |
Midya, Bikashkali, and Vladimir Konotop. “Modes and Exceptional Points in Waveguides with Impedance Boundary Conditions.” Optics Letters, vol. 41, no. 20, Optica Publishing Group, 2016, pp. 4621–24, doi:10.1364/OL.41.004621.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 482
Rueda, Alfredo, et al. Nonlinear Single Sideband Microwave to Optical Conversion Using an Electro-Optic WGM-Resonator. Optica Publishing Group, 2016, doi:10.1364/NP.2016.NTh3A.6.
View
| DOI
2016 | Journal Article | IST-REx-ID: 1274 |
Mazur, Ewa, et al. “Vascular Cambium Regeneration and Vessel Formation in Wounded Inflorescence Stems of Arabidopsis.” Scientific Reports, vol. 6, 33754, Nature Publishing Group, 2016, doi:10.1038/srep33754.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 1253 |
Tsai, Lihuei, and Sandra Siegert. “How MicroRNAs Are Involved in Splitting the Mind.” JAMA Psychiatry, vol. 73, no. 4, American Medical Association, 2016, pp. 409–10, doi:10.1001/jamapsychiatry.2015.3144.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Technical Report | IST-REx-ID: 5452 |
Pavlogiannis, Andreas, et al. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2017-728-v2-1.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1382
Ellis, Thomas, and David Field. “Repeated Gains in Yellow and Anthocyanin Pigmentation in Flower Colour Transitions in the Antirrhineae.” Annals of Botany, vol. 117, no. 7, Oxford University Press, 2016, pp. 1133–40, doi:10.1093/aob/mcw043.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5550 |
Ellis, Thomas, and David Field. Flower Colour Data and Phylogeny (NEXUS) Files. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:34.
[Published Version]
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5557 |
Swoboda, Paul. Synthetic Discrete Tomography Problems. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:46.
[Published Version]
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1122 |
Bojsen-Hansen, Morten. Tracking, Correcting and Absorbing Water Surface Waves. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:th_640.
[Published Version]
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1398 |
Ellis, Thomas. 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, doi:10.15479/AT:ISTA:TH_526 .
[Published Version]
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1131 |
Tugrul, Murat. Evolution of Transcriptional Regulatory Sequences. Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available