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.

2712 Publications


2016 | Journal Article | IST-REx-ID: 1265
Elsayad K, Werner S, Gallemi Rovira M, et al. Mapping the subcellular mechanical properties of live cells in tissues with fluorescence emission-Brillouin imaging. Science Signaling. 2016;9(435). doi:10.1126/scisignal.aaf6326
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1272   OA
Held M, Huber S, Palfrader P. Generalized offsetting of planar structures using skeletons. Computer-Aided Design and Applications. 2016;13(5):712-721. doi:10.1080/16864360.2016.1150718
View | Files available | DOI
 

2016 | Book Chapter | IST-REx-ID: 1210
Zhu Q, Žádníková P, Smet D, Van Der Straeten D, Benková E. Real time analysis of the apical hook development. In: Plant Hormones. Vol 1497. Humana Press; 2016:1-8. doi:10.1007/978-1-4939-6469-7_1
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1222   OA
Musin O, Nikitenko A. Optimal packings of congruent circles on a square flat torus. Discrete & Computational Geometry. 2016;55(1):1-20. doi:10.1007/s00454-015-9742-6
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1241   OA
Uecker H, Hermisson J. The role of recombination in evolutionary rescue. Genetics. 2016;202(2):721-732. doi:10.1534/genetics.115.180299
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1203   OA
Hu F, Rishishwar L, Sivadas A, et al. Comparative genomic analysis of Haemophilus haemolyticus and nontypeable Haemophilus influenzae and a new testing scheme for their discrimination. Journal of Clinical Microbiology. 2016;54(12):3010-3017. doi:10.1128/JCM.01511-16
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1323   OA
Vyleta N, Borges Merjane C, Jonas PM. Plasticity-dependent, full detonation at hippocampal mossy fiber–CA3 pyramidal neuron synapses. eLife. 2016;5. doi:10.7554/eLife.17977
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1328   OA
Watzinger H, Kloeffel C, Vukusic L, et al. Heavy-hole states in germanium hut wires. Nano Letters. 2016;16(11):6879-6885. doi:10.1021/acs.nanolett.6b02715
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1277   OA
Ortiz Morea F, Savatin D, Dejonghe W, et al. Danger-associated peptide signaling in Arabidopsis requires clathrin. PNAS. 2016;113(39):11028-11033. doi:10.1073/pnas.1605588113
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1330   OA
Akopyan A, Balitskiy A. Billiards in convex bodies with acute angles. Israel Journal of Mathematics. 2016;216(2):833-845. doi:10.1007/s11856-016-1429-z
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1342   OA
Baym M, Lieberman T, Kelsic E, et al. Spatiotemporal microbial evolution on antibiotic landscapes. Science. 2016;353(6304):1147-1151. doi:10.1126/science.aag0822
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1361   OA
Da F, Hahn D, Batty C, Wojtan CJ, Grinspun E. Surface only liquids. In: Vol 35. ACM; 2016. doi:10.1145/2897824.2925899
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1366   OA
Gazi P, Tessaro S. Provably robust sponge-based PRNGs and KDFs. In: Vol 9665. Springer; 2016:87-116. doi:10.1007/978-3-662-49890-3_4
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1347   OA
Schmidt R, Lemeshko M. Deformation of a quantum many-particle system by a rotating impurity. Physical Review X. 2016;6(1). doi:10.1103/PhysRevX.6.011012
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1354   OA
Dieterle P, Kalaee M, Fink JM, Painter O. Superconducting cavity electromechanics on a silicon-on-insulator platform. Physical Review Applied. 2016;6(1). doi:10.1103/PhysRevApplied.6.014013
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1380   OA
Chonev VK, Ouaknine J, Worrell J. On the complexity of the orbit problem. Journal of the ACM. 2016;63(3). doi:10.1145/2857050
View | DOI | Download (ext.)
 

2016 | Thesis | IST-REx-ID: 1397
Chmelik M. Algorithms for Partially Observable Markov Decision Processes. IST Austria; 2016.
View
 

2016 | Journal Article | IST-REx-ID: 1448   OA
Fathi M, Maas J. Entropic Ricci curvature bounds for discrete interacting systems. The Annals of Applied Probability. 2016;26(3):1774-1806. doi:10.1214/15-AAP1133
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1412   OA
Goldade R, Batty C, Wojtan CJ. A practical method for high-resolution embedded liquid surfaces. Computer Graphics Forum. 2016;35(2):233-242. doi:10.1111/cgf.12826
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1417   OA
Simon S, Skůpa P, Viaene T, et al. PIN6 auxin transporter at endoplasmic reticulum and plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis. New Phytologist. 2016;211(1):65-74. doi:10.1111/nph.14019
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1429   OA
Husko C, Wulf M, Lefrançois S, et al. Free-carrier-induced soliton fission unveiled by in situ measurements in nanophotonic waveguides. Nature Communications. 2016;7. doi:10.1038/ncomms11332
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1431   OA
Tartally A, Kelager A, Fürst M, Nash D. Host plant use drives genetic differentiation in syntopic populations of Maculinea alcon. PeerJ. 2016;2016(3). doi:10.7717/peerj.1865
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1493   OA
Petrat SP, Pickl P. A new method and a new scaling for deriving fermionic mean-field dynamics. Mathematical Physics, Analysis and Geometry. 2016;19(1). doi:10.1007/s11040-016-9204-2
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1486   OA
Hainzl C, Seiringer R. The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties. Journal of Mathematical Physics. 2016;57(2). doi:10.1063/1.4941723
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1436   OA
Bach V, Breteaux S, Petrat SP, Pickl P, Tzaneteas T. Kinetic energy estimates for the accuracy of the time-dependent Hartree-Fock approximation with Coulomb interaction. Journal de Mathématiques Pures et Appliquées. 2016;105(1):1-30. doi:10.1016/j.matpur.2015.09.003
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1518   OA
Lohse K, Chmelik M, Martin S, Barton NH. Efficient strategies for calculating blockwise likelihoods under the coalescent. Genetics. 2016;202(2):775-786. doi:10.1534/genetics.115.183814
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1479
Krenn S, Pietrzak KZ, Wadia A, Wichs D. A counterexample to the chain rule for conditional HILL entropy. Computational Complexity. 2016;25(3):567-605. doi:10.1007/s00037-015-0120-9
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 482
Rueda A, Sedlmeir F, Collodo M, et al. Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator. In: OSA; 2016. doi:10.1364/NP.2016.NTh3A.6
View | DOI
 

2016 | Research Data | IST-REx-ID: 5553   OA
Field D, Ellis T. Inference of Mating Patterns among Wild Snapdragons in a Natural Hybrid Zone in 2012. IST Austria; 2016. doi:10.15479/AT:ISTA:37
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5558   OA
Bojsen-Hansen M. Tracking, Correcting and Absorbing Water Surface Waves. IST Austria; 2016. doi:10.15479/AT:ISTA:48
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1378
Dotterrer D, Kaufman T, Wagner U. On expansion and topological overlap. In: Vol 51. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing; 2016:35.1-35.10. doi:10.4230/LIPIcs.SoCG.2016.35
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1068   OA
Chatterjee K, Dvorák W, Henzinger M, Loitzenbauer V. Conditionally optimal algorithms for generalized Büchi Games. In: Vol 58. 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: 1070   OA
Chatterjee K, Doyen L. Computation tree logic for synchronization properties. In: Vol 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik; 2016. doi:10.4230/LIPIcs.ICALP.2016.98
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1138   OA
Chatterjee K, Henzinger TA, Otop J. Quantitative automata under probabilistic semantics. In: Proceedings of the 31st Annual ACM/IEEE Symposium. IEEE; 2016:76-85. doi:10.1145/2933575.2933588
View | DOI | Download (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1140   OA
Chatterjee K, Dvoák W, Henzinger M, Loitzenbauer V. Model and objective separation with conditional lower bounds disjunction is harder than conjunction. In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2016:197-206. doi:10.1145/2933575.2935304
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1239
Callan Jones A, Ruprecht V, Wieser S, Heisenberg C-PJ, Voituriez R. Cortical flow-driven shapes of nonadherent cells. Physical Review Letters. 2016;116(2). doi:10.1103/PhysRevLett.116.028102
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1291   OA
Giuliani A, Seiringer R. Periodic striped ground states in Ising models with competing interactions. Communications in Mathematical Physics. 2016;347(3):983-1007. doi:10.1007/s00220-016-2665-0
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1227   OA
Kong H, Bartocci E, Bogomolov S, et al. Discrete abstraction of multiaffine systems. In: Vol 9957. Springer; 2016:128-144. doi:10.1007/978-3-319-47151-8_9
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1335   OA
Chatterjee K, Henzinger TA, Otop J. Quantitative monitor automata. In: Vol 9837. Springer; 2016:23-38. doi:10.1007/978-3-662-53413-7_2
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1599
Kiermaier E, Moussion C, Veldkamp C, et al. Polysialylation controls dendritic cell trafficking by regulating chemokine recognition. Science. 2016;351(6269):186-190. doi:10.1126/science.aad0512
View | DOI | PubMed | Europe PMC
 

2016 | Technical Report | IST-REx-ID: 5445
Chatterjee K, Pavlogiannis A, Velner Y. Quantitative Interprocedural Analysis. IST Austria; 2016. doi:10.15479/AT:IST-2016-523-v1-1
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1183
Tarlungeanu D-C, Deliu E, Dotter C, et al. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 2016;167(6):1481-1494. doi:10.1016/j.cell.2016.11.013
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1234
Daca P, Henzinger TA, Kretinsky J, Petrov T. Faster statistical model checking for unbounded temporal properties. In: Vol 9636. Springer; 2016:112-129. doi:10.1007/978-3-662-49674-9_7
View | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1164
Fulek R, Pelsmajer M, Schaefer M. Hanani-Tutte for radial planarity II. In: Vol 9801. Springer; 2016:468-481. doi:10.1007/978-3-319-50106-2_36
View | Files available | DOI | Download (ext.) | arXiv
 

2016 | Technical Report | IST-REx-ID: 5452   OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2017-728-v2-1
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1373   OA
Martin O, Zagórski MP. Network architectures and operating principles. Reply to comments on "Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function" Physics of Life Reviews. 2016;17:168-171. doi:10.1016/j.plrev.2016.06.006
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1260   OA
De Martino D. The dual of the space of interactions in neural network models. International Journal of Modern Physics C. 2016;27(6):1650067. doi:10.1142/S0129183116500674
View | DOI | Download (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1359   OA
Paixao T, Barton NH. The effect of gene interactions on the long-term response to selection. PNAS. 2016;113(16):4422-4427. doi:10.1073/pnas.1518830113
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1289   OA
Dunaeva O, Edelsbrunner H, Lukyanov A, et al. The classification of endoscopy images with persistent homology. Pattern Recognition Letters. 2016;83(1):13-22. doi:10.1016/j.patrec.2015.12.012
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1083
Booker S, Althof D, Gross A, et al. KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons. Cerebral Cortex. 2016;27(3):2318-2334. doi:10.1093/cercor/bhw090
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed