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.

2760 Publications


2016 | Conference Paper | IST-REx-ID: 1138   OA
Chatterjee K, Henzinger TA, Otop J. 2016. Quantitative automata under probabilistic semantics. Proceedings of the 31st Annual ACM/IEEE Symposium. LICS: Logic in Computer Science 76–85.
View | DOI | Download (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1140   OA
Chatterjee K, Dvoák W, Henzinger M, Loitzenbauer V. 2016. 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. LICS: Logic in Computer Science, Proceedings Symposium on Logic in Computer Science, 197–206.
View | DOI | Download (ext.)
 

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

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

2016 | Conference Paper | IST-REx-ID: 1227   OA
Kong H, Bartocci E, Bogomolov S, Grosu R, Henzinger TA, Jiang Y, Schilling C. 2016. Discrete abstraction of multiaffine systems. HSB: Hybrid Systems Biology, LNCS, vol. 9957. 128–144.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1335   OA
Chatterjee K, Henzinger TA, Otop J. 2016. Quantitative monitor automata. SAS: Static Analysis Symposium, LNCS, vol. 9837. 23–38.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1599
Kiermaier E, Moussion C, Veldkamp C, Gerardy  Schahn R, De Vries I, Williams L, Chaffee G, Phillips A, Freiberger F, Imre R, Taleski D, Payne R, Braun A, Förster R, Mechtler K, Mühlenhoff M, Volkman B, Sixt MK. 2016. Polysialylation controls dendritic cell trafficking by regulating chemokine recognition. Science. 351(6269), 186–190.
View | DOI | PubMed | Europe PMC
 

2016 | Technical Report | IST-REx-ID: 5445
Chatterjee K, Pavlogiannis A, Velner Y. 2016. Quantitative interprocedural analysis, IST Austria, 33p.
View | Files available | DOI
 

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

2016 | Conference Paper | IST-REx-ID: 1234
Daca P, Henzinger TA, Kretinsky J, Petrov T. 2016. Faster statistical model checking for unbounded temporal properties. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 9636. 112–129.
View | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1164
Fulek R, Pelsmajer M, Schaefer M. 2016. Hanani-Tutte for radial planarity II. GD: Graph Drawing and Network Visualization, LNCS, vol. 9801. 468–481.
View | Files available | DOI | Download (ext.) | arXiv
 

2016 | Technical Report | IST-REx-ID: 5452   OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Arbitrarily strong amplifiers of natural selection, IST Austria, 32p.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1373   OA
Martin O, Zagórski MP. 2016. 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. 17, 168–171.
View | DOI | Download (ext.)
 

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

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

2016 | Journal Article | IST-REx-ID: 1289   OA
Dunaeva O, Edelsbrunner H, Lukyanov A, Machin M, Malkova D, Kuvaev R, Kashin S. 2016. The classification of endoscopy images with persistent homology. Pattern Recognition Letters. 83(1), 13–22.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1328
Watzinger H, Kloeffel C, Vukusic L, Rossell M, Sessi V, Kukucka J, Kirchschlager R, Lausecker E, Truhlar A, Glaser M, Rastelli A, Fuhrer A, Loss D, Katsaros G. 2016. Heavy-hole states in germanium hut wires. Nano Letters. 16(11), 6879–6885.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1083
Booker S, Althof D, Gross A, Loreth D, Müller J, Unger A, Fakler B, Varro A, Watanabe M, Gassmann M, Bettler B, Shigemoto R, Vida I, Kulik Á. 2016. KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons. Cerebral Cortex. 27(3), 2318–2334.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1134
Duggirala P, Fan C, Potok M, Qi B, Mitra S, Viswanathan M, Bak S, Bogomolov S, Johnson T, Nguyen L, Schilling C, Sogokon A, Tran H, Xiang W. 2016. Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP. 2016 IEEE Conference on Control Applications. CCA: Control Applications
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1141
Łazarz R, Idzik M, Gądek K, Gajda-Zagorska EP. 2016. Hierarchic genetic strategy with maturing as a generic tool for multiobjective optimization. Journal of Computational Science. 17(1), 249–260.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1153   OA
Žádníková P, Wabnik KT, Abuzeineh A, Gallemí M, Van Der Straeten D, Smith R, Inze D, Friml J, Prusinkiewicz P, Benková E. 2016. A model of differential growth guided apical hook formation in plants. Plant Cell. 28(10), 2464–2477.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1115   OA
Rueda A, Sedlmeir F, Collodo M, Vogl U, Stiller B, Schunk G, Strekalov D, Marquardt C, Fink JM, Painter O, Leuchs G, Schwefel H. 2016. Efficient single sideband microwave to optical conversion using a LiNbO inf 3 inf WGM-resonator. CLEO: Conference on Lasers and Electro Optics
View | Files available | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1158   OA
Roux C, Fraisse C, Romiguier J, Anciaux Y, Galtier N, Bierne N. 2016. Shedding light on the grey zone of speciation along a continuum of genomic divergence. PLoS Biology. 14(12), e2000234.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1172   OA
Sachdeva H, Barma M, Rao M. 2016. Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae. Scientific Reports. 6, 38840.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1177   OA
Kamath Hosdurg C, Chatterjee S. 2016. A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound. Algorithmica. 74(4), 1321–1362.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1184   OA
Metzler S, Heinze J, Schrempf A. 2016. Mating and longevity in ant males. Ecology and Evolution. 6(24), 8903–8906.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1247   OA
Karampelias M, Neyt P, De Groeve S, Aesaert S, Coussens G, Rolčík J, Bruno L, De Winne N, Van Minnebruggen A, Van Montagu M, Ponce M, Micol J, Friml J, De Jaeger G, Van Lijsebettens M. 2016. ROTUNDA3 function in plant development by phosphatase 2A-mediated regulation of auxin transporter recycling. PNAS. 113(10), 2768–2773.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1254   OA
Golmakani A, Luzzatto S, Pilarczyk P. 2016. Uniform expansivity outside a critical neighborhood in the quadratic family. Experimental Mathematics. 25(2), 116–124.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1261   OA
Maas J, Matthes D. 2016. Long-time behavior of a finite volume discretization for a fourth order diffusion equation. Nonlinearity. 29(7), 1992–2023.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1266   OA
Chalk MJ, Gutkin B, Denève S. 2016. Neural oscillations as a signature of efficient coding in the presence of synaptic delays. eLife. 5(2016JULY), e13824.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1273   OA
Porco S, Larrieu A, Du Y, Gaudinier A, Goh T, Swarup K, Swarup R, Kuempers B, Bishopp A, Lavenus J, Casimiro I, Hill K, Benková E, Fukaki H, Brady S, Scheres B, Peéet B, Bennett M. 2016. Lateral root emergence in Arabidopsis is dependent on transcription factor LBD29 regulation of auxin influx carrier LAX3. Development. 143(18), 3340–3349.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1209   OA
Letts JA, Degliesposti G, Fiedorczuk K, Skehel M, Sazanov LA. 2016. Purification of ovine respiratory complex i results in a highly active and stable preparation. Journal of Biological Chemistry. 291(47), 24657–24675.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1216   OA
Kasten J, Reininghaus J, Hotz I, Hege H, Noack B, Daviller G, Morzyński M. 2016. Acceleration feature points of unsteady shear flows. Archives of Mechanics. 68(1), 55–80.
View | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1223   OA
Froese R, Lee D, Sadel C, Spitzer W, Stolz G. 2016. Localization for transversally periodic random potentials on binary trees. Journal of Spectral Theory. 6(3), 557–600.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1204   OA
Amir A, Lemeshko M, Tokieda T. 2016. Surprises in numerical expressions of physical constants. American Mathematical Monthly. 123(6), 609–612.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1280   OA
Bourgade P, Erdös L, Yau H, Yin J. 2016. Fixed energy universality for generalized wigner matrices. Communications on Pure and Applied Mathematics. 69(10), 1815–1881.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1348   OA
Fulek R. 2016. Bounded embeddings of graphs in the plane. IWOCA: International Workshop on Combinatorial Algorithms, LNCS, vol. 9843. 31–42.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1329   OA
Huylmans AK, López Ezquerra A, Parsch J, Cordellier M. 2016. De novo transcriptome assembly and sex-biased gene expression in the cyclical parthenogenetic Daphnia galeata. Genome Biology and Evolution. 8(10), 3120–3139.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1331
Zwack P, De Clercq I, Howton T, Hallmark HT, Hurny A, Keshishian E, Parish A, Benková E, Mukhtar MS, Van Breusegem F, Rashotte A. 2016. Cytokinin response factor 6 represses cytokinin-associated genes during oxidative stress. Plant Physiology. 172(2), 1249–1258.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1343   OA
Kaczmarczyk J, Weimer H, Lemeshko M. 2016. Dissipative preparation of antiferromagnetic order in the Fermi-Hubbard model. New Journal of Physics. 18(9), 093042.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1292   OA
Durst S, Kegel M, Klukas MD. 2016. Computing the Thurston–Bennequin invariant in open books. Acta Mathematica Hungarica. 150(2), 441–455.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1381   OA
Mabillard I, Wagner U. 2016. Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51. 51.1-51.12.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1355   OA
Fink JM, Kalaee M, Pitanti A, Norte R, Heinzle L, Davanço M, Srinivasan K, Painter O. 2016. Quantum electromechanics on silicon nitride nanomembranes. Nature Communications. 7, 12396.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1420   OA
Bod’ová K, Tkacik G, Barton NH. 2016. A general approximation for the dynamics of quantitative traits. Genetics. 202(4), 1523–1548.
View | DOI | Download (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1475   OA
Toshima J, Furuya E, Nagano M, Kanno C, Sakamoto Y, Ebihara M, Siekhaus DE, Toshima J. 2016. Yeast Eps15-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton. eLife. 5(February 2016), e10276.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1482   OA
Adibi M, Yoshida S, Weijers D, Fleck C. 2016. Centering the organizing center in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin signaling and self-organization. PLoS One. 11(2), e0147830.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1487   OA
Grion N, Akrami A, Zuo Y, Stella F, Diamond M. 2016. Coherence between rat sensorimotor system and hippocampus is enhanced during tactile discrimination. PLoS Biology. 14(2), e1002384.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1552   OA
Qi Q, Toll Riera M, Heilbron K, Preston G, Maclean RC. 2016. The genomic basis of adaptation to the fitness cost of rifampicin resistance in Pseudomonas aeruginosa. Proceedings of the Royal Society of London Series B Biological Sciences. 283(1822), 20152452.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1521
Berrisford J, Baradaran R, Sazanov LA. 2016. Structure of bacterial respiratory complex I. Biochimica et Biophysica Acta - Bioenergetics. 1857(7), 892–901.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1494
Lemoult GM, Shi L, Avila K, Jalikop SV, Avila M, Hof B. 2016. Directed percolation phase transition to sustained turbulence in Couette flow. Nature Physics. 12(3), 254–258.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed