Please note that IST 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.

6702 Publications


2016 | Journal Article | IST-REx-ID: 1616 | OA
Kowalski, Janina, et al. “Intrinsic Membrane Properties Determine Hippocampal Differential Firing Pattern in Vivo in Anesthetized Rats.” Hippocampus, vol. 26, no. 5, John Wiley and Sons Inc., 2016, pp. 668–82, doi:10.1002/hipo.22550.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1617 | OA
Pausinger, Florian, and Stefan Steinerberger. “On the Discrepancy of Jittered Sampling.” Journal of Complexity, vol. 33, Academic Press, 2016, pp. 199–216, doi:10.1016/j.jco.2015.11.003.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1620 | OA
Frank, Rupert, et al. “The External Field Dependence of the BCS Critical Temperature.” Communications in Mathematical Physics, vol. 342, no. 1, Springer, 2016, pp. 189–216, doi:10.1007/s00220-015-2526-2.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1622 | OA
Lundholm, Douglas, et al. “Fractional Hardy–Lieb–Thirring and Related Inequalities for Interacting Systems.” Archive for Rational Mechanics and Analysis, vol. 219, no. 3, Springer, 2016, pp. 1343–82, doi:10.1007/s00205-015-0923-5.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1631 | OA
Kelleher, Jerome, et al. “Spread of Pedigree versus Genetic Ancestry in Spatially Distributed Populations.” Theoretical Population Biology, vol. 108, Academic Press, 2016, pp. 1–12, doi:10.1016/j.tpb.2015.10.008.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1641 | OA
Zemová, Radka, et al. “A Forward Genetic Screen for New Regulators of Auxin Mediated Degradation of Auxin Transport Proteins in Arabidopsis Thaliana.” Journal of Plant Growth Regulation, vol. 35, no. 2, Springer, 2016, pp. 465–76, doi:10.1007/s00344-015-9553-2.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1653 | OA
Okamoto, Tatsuaki, et al. New Realizations of Somewhere Statistically Binding Hashing and Positional Accumulators. Vol. 9452, Springer, 2016, pp. 121–45, doi:10.1007/978-3-662-48797-6_6.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1662 | OA
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.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 100 | OA
Aasen, David, et al. “Milestones toward Majorana-Based Quantum Computing.” Physical Review X, vol. 6, no. 3, 031016, American Physical Society, 2016, doi:10.1103/PhysRevX.6.031016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1008
Gnügge, Robert, et al. “An Orthogonal Permease–Inducer–Repressor Feedback Loop Shows Bistability.” ACS Synthetic Biology, vol. 5, no. 10, American Chemical Society, 2016, pp. 1098–107, doi:10.1021/acssynbio.6b00013.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 101 | OA
Albrecht, S. M., et al. “Exponential Protection of Zero Modes in Majorana Islands.” Nature, vol. 531, no. 7593, Nature Publishing Group, 2016, pp. 206–09, doi:10.1038/nature17162.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 102 | OA
Mishmash, Ryan, et al. “Approaching a Topological Phase Transition in Majorana Nanowires.” Physical Review B, vol. 93, no. 24, 245404, American Physical Society, 2016, doi:10.1103/PhysRevB.93.245404.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1057
Danzl, Johann G., et al. “Coordinate-Targeted Fluorescence Nanoscopy with Multiple off States.” Nature Photonics, vol. 10, no. 2, Nature Publishing Group, 2016, pp. 122–28, doi:10.1038/nphoton.2015.266.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1059
Butkevich, Alexey, et al. “Fluorescent Rhodamines and Fluorogenic Carbopyronines for Super-Resolution STED Microscopy in Living Cells.” Angewandte Chemie - International Edition, vol. 55, no. 10, Wiley-Blackwell, 2016, pp. 3290–94, doi:10.1002/anie.201511018.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1060
Sidenstein, Sven, et al. “Multicolour Multilevel STED Nanoscopy of Actin/Spectrin Organization at Synapses.” Scientific Reports, vol. 6, Nature Publishing Group, 2016, pp. 1–8, doi:10.1038/srep26725.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1068 | OA
Chatterjee, Krishnendu, et al. Conditionally Optimal Algorithms for Generalized Büchi Games. Vol. 58, 25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.MFCS.2016.25.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1069 | OA
Chonev, Ventsislav K., et al. On the Skolem Problem for Continuous Linear Dynamical Systems. Vol. 55, 100, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016, doi:10.4230/LIPIcs.ICALP.2016.100.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1070 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Computation Tree Logic for Synchronization Properties. Vol. 55, 98, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016, doi:10.4230/LIPIcs.ICALP.2016.98.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1071 | OA
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.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1081 | OA
Łangowski, Łukasz, et al. “Cellular Mechanisms for Cargo Delivery and Polarity Maintenance at Different Polar Domains in Plant Cells.” Cell Discovery, vol. 2, 16018, Nature Publishing Group, 2016, doi:10.1038/celldisc.2016.18.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1082 | OA
Chalk, Matthew J., et al. Relevant Sparse Codes with Variational Information Bottleneck. Vol. 29, Neural Information Processing Systems, 2016, pp. 1965–73.
View | Files available | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1083
Booker, Sam, et al. “KCTD12 Auxiliary Proteins Modulate Kinetics of GABAB Receptor-Mediated Inhibition in Cholecystokinin-Containing Interneurons.” Cerebral Cortex, vol. 27, no. 3, Oxford University Press, 2016, pp. 2318–34, doi:10.1093/cercor/bhw090.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1088
Uhler, Caroline, and G. V. Shivashankar. “Geometric Control and Modeling of Genome Reprogramming.” BioArchitecture, vol. 6, no. 4, Taylor & Francis, 2016, pp. 76–84, doi:10.1080/19490992.2016.1201620.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1090 | OA
Chatterjee, Krishnendu, et al. Nested Weighted Limit-Average Automata of Bounded Width. Vol. 58, 24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.MFCS.2016.24.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1093 | OA
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.
View | Files available | DOI
 

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 | Conference Paper | IST-REx-ID: 1095 | OA
Haas, Andreas, et al. “Local Linearizability for Concurrent Container-Type Data Structures.” Leibniz International Proceedings in Informatics, vol. 59, 6, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.CONCUR.2016.6.
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 | Conference Paper | IST-REx-ID: 1097 | OA
Du, Tao, et al. Computational Multicopter Design. Vol. 35, no. 6, 227, ACM, 2016, doi:10.1145/2980179.2982427.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1098 | OA
Pentina, Anastasia, and Ruth Urner. Lifelong Learning with Weighted Majority Votes. Vol. 29, Neural Information Processing Systems, 2016, pp. 3619–27.
View | Files available
 

2016 | Conference Paper | IST-REx-ID: 1099 | OA
Malomo, Luigi, et al. FlexMolds: Automatic Design of Flexible Shells for Molding. Vol. 35, no. 6, 223, ACM, 2016, doi:10.1145/2980179.2982397.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1101
Mitchell, Joshua, et al. “Rangefinder: A Semisynthetic FRET Sensor Design Algorithm.” ACS SENSORS, vol. 1, no. 11, ACS, 2016, pp. 1286–90, doi:10.1021/acssensors.6b00576.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1102 | OA
Kolesnikov, Alexander, and Christoph Lampert. “Improving Weakly-Supervised Object Localization by Micro-Annotation.” Proceedings of the British Machine Vision Conference 2016, vol. 2016–September, BMVA Press, 2016, p. 92.1-92.12, doi:10.5244/C.30.92.
View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1103 | OA
Gurung, Amit, et al. Parallel Reachability Analysis for Hybrid Systems. 7797741, IEEE, 2016, doi:10.1109/MEMCOD.2016.7797741.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1105
Savin, Cristina, and Gašper Tkačik. Estimating Nonlinear Neural Response Functions Using GP Priors and Kronecker Methods. Vol. 29, Neural Information Processing Systems, 2016, pp. 3610–18.
View | Download None (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1115 | OA
Rueda, Alfredo, et al. Efficient Single Sideband Microwave to Optical Conversion Using a LiNbO Inf 3 Inf WGM-Resonator. 7788479, IEEE, 2016, doi:10.1364/CLEO_SI.2016.SF2G.3.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Thesis | IST-REx-ID: 1122 | OA
Bojsen-Hansen, Morten. Tracking, Correcting and Absorbing Water Surface Waves. IST Austria, 2016, doi:10.15479/AT:ISTA:th_640.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1126 | OA
Pentina, Anastasia. Theoretical Foundations of Multi-Task Lifelong Learning. IST Austria, 2016, doi:10.15479/AT:ISTA:TH_776.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1128 | OA
Rieckh, Georg. Studying the Complexities of Transcriptional Regulation. IST Austria, 2016.
View | Files available
 

2016 | Conference Paper | IST-REx-ID: 1134
Duggirala, Parasara, et al. “Tutorial: Software Tools for Hybrid Systems Verification Transformation and Synthesis C2E2 HyST and TuLiP.” 2016 IEEE Conference on Control Applications, 7587948, IEEE, 2016, doi:10.1109/CCA.2016.7587948.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1135 | OA
Avni, Guy, et al. “Synthesizing Time Triggered Schedules for Switched Networks with Faulty Links.” Proceedings of the 13th International Conference on Embedded Software , 26, ACM, 2016, doi:10.1145/2968478.2968499.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1136 | OA
Manteaux, Pierre, et al. “Space-Time Sculpting of Liquid Animation.” Proceedings of the 9th International Conference on Motion in Games , 2994261, ACM, 2016, doi:10.1145/2994258.2994261.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1137 | OA
Salzer E, Çaǧdaş D, Hons M, Mace E, Garncarz W, Petronczki O, Platzer R, Pfajfer L, Bilic I, Ban S, Willmann K, Mukherjee M, Supper V, Hsu H, Banerjee P, Sinha P, Mcclanahan F, Zlabinger G, Pickl W, Gribben J, Stockinger H, Bennett K, Huppa J, Dupré L, Sanal Ö, Jäger U, Sixt MK, Tezcan I, Orange J, Boztug K. 2016. RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature Immunology. 17(12), 1352–1360.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 1138 | OA
Chatterjee, Krishnendu, et al. “Quantitative Automata under Probabilistic Semantics.” Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85, doi:10.1145/2933575.2933588.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1139
Düllberg, Christian F., et al. “Microtubule Aging Probed by Microfluidics Assisted Tubulin Washout.” Molecular Biology and Evolution, vol. 27, no. 22, Oxford University Press, 2016, pp. 3563–73, doi:10.1091/mbc.E16-07-0548.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1140 | OA
Chatterjee, Krishnendu, et al. “Model and Objective Separation with Conditional Lower Bounds Disjunction Is Harder than Conjunction.” Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 197–206, doi:10.1145/2933575.2935304.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1141
Łazarz, Radosław, et al. “Hierarchic Genetic Strategy with Maturing as a Generic Tool for Multiobjective Optimization.” Journal of Computational Science, vol. 17, no. 1, Elsevier, 2016, pp. 249–60, doi:10.1016/j.jocs.2016.03.004.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1142 | OA
Martins R, Maier J, Gorki A, Huber K, Sharif O, Starkl P, Saluzzo S, Quattrone F, Gawish R, Lakovits K, Aichinger M, Radic Sarikas B, Lardeau C, Hladik A, Korosec A, Brown M, Vaahtomeri K, Duggan M, Kerjaschki D, Esterbauer H, Colinge J, Eisenbarth S, Decker T, Bennett K, Kubicek S, Sixt MK, Superti Furga G, Knapp S. 2016. Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions. Nature Immunology. 17(12), 1361–1372.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1143 | OA
Nam, Phan, et al. “Ground States of Large Bosonic Systems: The Gross Pitaevskii Limit Revisited.” Analysis and PDE, vol. 9, no. 2, Mathematical Sciences Publishers, 2016, pp. 459–85, doi:10.2140/apde.2016.9.459.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1145 | OA
Nodzyński, Tomasz, et al. “Enquiry into the Topology of Plasma Membrane Localized PIN Auxin Transport Components.” Molecular Plant, vol. 9, no. 11, Cell Press, 2016, pp. 1504–19, doi:10.1016/j.molp.2016.08.010.
View | Files available | DOI
 

Search

Filter Publications