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.

2770 Publications


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

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

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

2016 | Conference Paper | IST-REx-ID: 482
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. Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator. NP: Nonlinear Photonics, Optics InfoBase Conference Papers,
View | DOI
 

2016 | Research Data | IST-REx-ID: 5553   OA
Field D, Ellis T. 2016. Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012, IST Austria,p.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5558   OA
Bojsen-Hansen M. 2016. Tracking, Correcting and Absorbing Water Surface Waves, IST Austria,p.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1378
Dotterrer D, Kaufman T, Wagner U. 2016. On expansion and topological overlap. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51. 35.1-35.10.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1068   OA
Chatterjee K, Dvorák W, Henzinger M, Loitzenbauer V. 2016. Conditionally optimal algorithms for generalized Büchi Games. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 58.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1070   OA
Chatterjee K, Doyen L. 2016. Computation tree logic for synchronization properties. ICALP: Automata, Languages and Programming, LIPIcs, vol. 55.
View | Files available | DOI
 

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
 

2016 | Journal Article | IST-REx-ID: 1608   OA
Sadel C. 2016. Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel. Annales Henri Poincare. 17(7), 1631–1675.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1641   OA
Zemová R, Zwiewka M, Bielach A, Robert H, Friml J. 2016. A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana. Journal of Plant Growth Regulation. 35(2), 465–476.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1622   OA
Lundholm D, Nam P, Portmann F. 2016. Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems. Archive for Rational Mechanics and Analysis. 219(3), 1343–1382.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1653   OA
Okamoto T, Pietrzak KZ, Waters B, Wichs D. 2016. New realizations of somewhere statistically binding hashing and positional accumulators. ASIACRYPT: Theory and Application of Cryptology and Information Security, LNCS, vol. 9452. 121–145.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1881   OA
Lee J, Schnelli K. 2016. Extremal eigenvalues and eigenvectors of deformed Wigner matrices. Probability Theory and Related Fields. 164(1–2), 165–241.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 510   OA
Liu Z, Yang N, Lv Y, Pan L, Lv S, Han H, Wang G. 2016. The CLE gene family in Populus trichocarpa. Plant Signaling & Behavior. 11(6), e1191734.
View | DOI | Download (ext.)
 

2016 | Technical Report | IST-REx-ID: 5446   OA
Anonymous 1, Anonymous 2, Anonymous 3. 2016. Termination and worst-case analysis of recursive programs, IST Austria, 26p.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1122
Bojsen-Hansen M. 2016. Tracking, correcting and absorbing water surface waves, IST Austria, 114p.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1398
Ellis T. 2016. The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone, IST Austria, 130p.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5554   OA
Tugrul M. 2016. Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase, IST Austria,p.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1165
Fulek R. 2016. C-planarity of embedded cyclic c-graphs. GD: Graph Drawing and Network Visualization, LNCS, vol. 9801. 94–106.
View | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1362
Hahn D, Wojtan CJ. 2016. Fast approximations for boundary element based brittle fracture simulation. ACM SIGGRAPH, ACM Transactions on Graphics, vol. 35.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1235
Abusalah HM, Fuchsbauer G. 2016. Constrained PRFs for unbounded inputs with short keys. ACNS: Applied Cryptography and Network Security, LNCS, vol. 9696. 445–463.
View | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1069   OA
Chonev VK, Ouaknine J, Worrell J. 2016. On the skolem problem for continuous linear dynamical systems. ICALP: Automata, Languages and Programming, LIPIcs, vol. 55.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1090   OA
Chatterjee K, Henzinger TA, Otop J. 2016. Nested weighted limit-average automata of bounded width. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 58.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1095   OA
Haas A, Henzinger TA, Holzer A, Kirsch C, Lippautz M, Payer H, Sezgin A, Sokolova A, Veith H. 2016. Local linearizability for concurrent container-type data structures. Leibniz International Proceedings in Informatics. CONCUR: Concurrency Theory, LIPIcs, vol. 59.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1103   OA
Gurung A, Deka A, Bartocci E, Bogomolov S, Grosu R, Ray R. 2016. Parallel reachability analysis for hybrid systems. MEMOCODE: International Conference on Formal Methods and Models for System Design
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1242   OA
Sokolowski TR, Walczak A, Bialek W, Tkacik G. 2016. Extending the dynamic range of transcription factor action by translational regulation. Physical Review E Statistical Nonlinear and Soft Matter Physics. 93(2), 022404.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1259   OA
Bräunlich G, Hainzl C, Seiringer R. 2016. Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit. Mathematical Physics, Analysis and Geometry. 19(2), 13.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1285
Paluch E, Aspalter I, Sixt MK. 2016. Focal adhesion-independent cell migration. Annual Review of Cell and Developmental Biology. 32, 469–490.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1350   OA
Guzmán J, Schlögl A, Frotscher M, Jonas PM. 2016. Synaptic mechanisms of pattern completion in the hippocampal CA3 network. Science. 353(6304), 1117–1123.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1230   OA
Daca P, Gupta A, Henzinger TA. 2016. Abstraction-driven concolic testing. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 9583. 328–347.
View | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1324
Chatterjee K, Chmelik M. 2016. Indefinite-horizon reachability in Goal-DEC-POMDPs. Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling. ICAPS: International Conference on Automated Planning and Scheduling vol. 2016–January. 88–96.
View | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1413
Jeschke S. 2016. Generalized diffusion curves: An improved vector representation for smooth-shaded images. Computer Graphics Forum. 35(2), 71–79.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1386   OA
Chatterjee K, Fu H, Goharshady A. 2016. Termination analysis of probabilistic programs through Positivstellensatz’s. CAV: Computer Aided Verification, LNCS, vol. 9779. 3–22.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1432   OA
Mishra RK, Kim S, Guzmán J, Jonas PM. 2016. Symmetric spike timing-dependent plasticity at CA3–CA3 synapses optimizes storage and recall in autoassociative networks. Nature Communications. 7, 11552.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1545   OA
Nam P, Napiórkowski MM, Solovej J. 2016. Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations. Journal of Functional Analysis. 270(11), 4340–4368.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1526   OA
Henzinger TA, Otop J, Samanta R. 2016. Lipschitz robustness of timed I/O systems. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 9583. 250–267.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1071
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2016. Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs. ESA: European Symposium on Algorithms, LIPIcs, vol. 57.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1437
Chatterjee K, Goharshady A, Ibsen-Jensen R, Pavlogiannis A. 2016. Algorithms for algebraic path properties in concurrent systems of constant treewidth components. POPL: Principles of Programming Languages, POPL, vol. 20–22. 733–747.
View | Files available | DOI | Download (ext.) | arXiv
 

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

2016 | Conference Paper | IST-REx-ID: 1379
Burton B, De Mesmay AN, Wagner U. 2016. Finding non-orientable surfaces in 3-manifolds. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51. 24.1-24.15.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1278   OA
Matsuno H, Kudoh M, Watakabe A, Yamamori T, Shigemoto R, Nagao S. 2016. Distribution and structure of synapses on medial vestibular nuclear neurons targeted by cerebellar flocculus purkinje cells and vestibular nerve in mice: Light and electron microscopy studies. PLoS One. 11(10), e0164037.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1483   OA
Reininghaus J, Huber S, Bauer U, Kwitt R. 2015. A stable multi-scale kernel for topological machine learning. CVPR: Computer Vision and Pattern Recognition 4741–4748.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1495   OA
Edelsbrunner H, Iglesias Ham M, Kurlin V. 2015. Relaxed disk packing. Proceedings of the 27th Canadian Conference on Computational Geometry. CCCG: Canadian Conference on Computational Geometry vol. 2015–August. 128–135.
View | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1534   OA
Wang H, Yang K, Zou J, Zhu L, Xie Z, Morita M, Tasaka M, Friml J, Grotewold E, Beeckman T, Vanneste S, Sack F, Le J. 2015. Transcriptional regulation of PIN genes by FOUR LIPS and MYB88 during Arabidopsis root gravitropism. Nature Communications. 6, 8822.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1508   OA
Erdös L, Yau H. 2015. Gap universality of generalized Wigner and β ensembles. Journal of the European Mathematical Society. 17(8), 1927–2036.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1546   OA
Nakamura Y, Harada H, Kamasawa N, Matsui K, Rothman J, Shigemoto R, Silver RA, Digregorio D, Takahashi T. 2015. Nanoscale distribution of presynaptic Ca2+ channels and its impact on vesicular release during development. Neuron. 85(1), 145–158.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1558
Ivanchenko M, Zhu J, Wang B, Medvecka E, Du Y, Azzarello E, Mancuso S, Megraw M, Filichkin S, Dubrovsky J, Friml J, Geisler M. 2015. The cyclophilin a DIAGEOTROPICA gene affects auxin transport in both root and shoot to control lateral root formation. Development. 142(4), 712–721.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1560
Hons M, Sixt MK. 2015. The lymph node filter revealed. Nature Immunology. 16(4), 338–340.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1565   OA
Gavello D, Vandael DH, Gosso S, Carbone E, Carabelli V. 2015. Dual action of leptin on rest-firing and stimulated catecholamine release via phosphoinositide 3-kinase-riven BK channel up-regulation in mouse chromaffin cells. Journal of Physiology. 593(22), 4835–4853.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed