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.




2472 Publications

2019 | Journal Article | IST-REx-ID: 6999   OA
Huang D, Sun Y, Ma Z, Ke M, Cui Y, Chen Z, Chen C, Ji C, Tran T, Yang L, Lam S, Han Y, Shu G, Friml J, Miao Y, Jiang L, Chen X. 2019. Salicylic acid-mediated plasmodesmal closure via Remorin-dependent lipid organization. Proceedings of the National Academy of Sciences of the United States of America. 116(42), 21274–21284.
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7000
Shehu Y, Iyiola OS, Li X-H, Dong Q-L. 2019. Convergence analysis of projection method for variational inequalities. Computational and Applied Mathematics. 38(4), 161.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7005   OA
Cheung GT, Cousin MA. 2019. Synaptic vesicle generation from activity‐dependent bulk endosomes requires a dephosphorylation‐dependent dynamin–syndapin interaction. Journal of Neurochemistry.
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6906   OA
Boccato C, Brennecke C, Cenatiempo S, Schlein B. 2019. Optimal rate for Bose-Einstein condensation in the Gross-Pitaevskii regime. Communications in Mathematical Physics.
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6918
Goharshady AK, Mohammadi F. 2019. An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. 193, 106665.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6920
Artner C, Benková E. 2019. Ethylene and cytokinin - partners in root growth regulation. Molecular Plant. 12(10), 1312–1314.
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6898   OA
Sigalova OM, Chaplin AV, Bochkareva O, Shelyakin PV, Filaretov VA, Akkuratov EE, Burskaia V, Gelfand MS. 2019. Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. BMC Genomics. 20(1), 710.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 72   OA
Ferrari P, Ghosal P, Nejjar P. 2019. Limit law of a second class particle in TASEP with non-random initial condition. Annales de l’institut Henri Poincare (B) Probability and Statistics. 55(3), 1203–1225.
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 8
Trébuchet G, Cattenoz PB, Zsámboki J, Mazaud D, Siekhaus DE, Fanto M, Giangrande A. 2019. The Repo homeodomain transcription factor suppresses hematopoiesis in Drosophila and preserves the glial fate. Journal of Neuroscience. 39(2), 238–255.
View | DOI
 
2019 | Thesis | IST-REx-ID: 6071
Prizak R. 2019. Coevolution of transcription factors and their binding sites in sequence space, IST Austria, 189p.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 7106
Skokan R, Medvecká E, Viaene T, Vosolsobě S, Zwiewka M, Müller K, Skůpa P, Karady M, Zhang Y, Janacek DP, Hammes UZ, Ljung K, Nodzyński T, Petrášek J, Friml J. 2019. PIN-driven auxin transport emerged early in streptophyte evolution. Nature Plants. 5(11), 1114–1119.
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6944   OA
Sun R, Lampert C. 2019. KS(conf): A light-weight test if a multiclass classifier operates outside of its specifications. International Journal of Computer Vision.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 7093   OA
Huszár K, Spreer J, Wagner U. 2019. On the treewidth of triangulated 3-manifolds. Journal of Computational Geometry. 10(2), 70–98.
View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6482
Sun R, Lampert C. 2019. KS(conf): A light-weight test if a ConvNet operates outside of Its specifications. GCPR: Conference on Pattern Recognition, LNCS, vol. 11269. 244–259.
View | Files available | DOI | Download (ext.) | arXiv
 
2019 | Thesis | IST-REx-ID: 7132   OA
Mckenzie C. 2019. Design and characterization of methods and biological components to realize synthetic neurotransmission, IST Austria, 95p.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 7144
Skokan R, Medvecká E, Viaene T, Vosolsobě S, Zwiewka M, Müller K, Skůpa P, Karady M, Zhang Y, Janacek D, Hammes U, Ljung K, Nodzyński T, Petrášek J, Friml J. 2019. PIN-driven auxin transport emerged early in streptophyte evolution. Nature Plants. 5(11), 1114–1119.
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7149
Avagliano L, Parenti I, Grazioli P, Di Fede E, Parodi C, Mariani M, Kaiser FJ, Selicorni A, Gervasini C, Massa V. 2019. Chromatinopathies: A focus on Cornelia de Lange syndrome. Clinical Genetics.
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7156   OA
Rueda Sanchez AR, Hease WJ, Barzanjeh S, Fink JM. 2019. Electro-optic entanglement source for microwave to telecom quantum state transfer. npj Quantum Information. 5.
View | Files available | DOI | arXiv
 
2018 | Conference Paper | IST-REx-ID: 11   OA
Leopold NK, Pickl P. 2018. Mean-field limits of particles in interaction with quantised radiation fields. MaLiQS: Macroscopic Limits of Quantum Systems vol. 270. 185–214.
View | DOI | Download (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 136   OA
Suri B, Tithof J, Grigoriev R, Schatz M. 2018. Unstable equilibria and invariant manifolds in quasi-two-dimensional Kolmogorov-like flow. Physical Review E. 98(2).
View | DOI | Download (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 143   OA
Brázdil T, Chatterjee K, Kučera A, Novotny P, Velan D, Zuleger F. 2018. Efficient algorithms for asymptotic bounds on termination time in VASS. LICS: Logic in Computer Science, ACM/IEEE Symposium on Logic in Computer Science, vol. F138033. 185–194.
View | DOI | Download (ext.)
 
2018 | Journal Article | IST-REx-ID: 148   OA
Nishiyama T, Sakayama H, De Vries J, Buschmann H, Saint Marcoux D, Ullrich K, Haas F, Vanderstraeten L, Becker D, Lang D, Vosolsobě S, Rombauts S, Wilhelmsson P, Janitza P, Kern R, Heyl A, Rümpler F, Calderón Villalobos L, Clay J, Skokan R, Toyoda A, Suzuki Y, Kagoshima H, Schijlen E, Tajeshwar N, Catarino B, Hetherington A, Saltykova A, Bonnot C, Breuninger H, Symeonidi A, Radhakrishnan G, Van Nieuwerburgh F, Deforce D, Chang C, Karol K, Hedrich R, Ulvskov P, Glöckner G, Delwiche C, Petrášek J, Van De Peer Y, Friml J, Beilby M, Dolan L, Kohara Y, Sugano S, Fujiyama A, Delaux PM, Quint M, Theissen G, Hagemann M, Harholt J, Dunand C, Zachgo S, Langdale J, Maumus F, Van Der Straeten D, Gould SB, Rensing S. 2018. The Chara genome: Secondary complexity and implications for plant terrestrialization. Cell. 174(2), 448–464.e24.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2018 | Conference Paper | IST-REx-ID: 155   OA
Xuereb A, Aquilina M, Barzanjeh S. 2018. Routing thermal noise through quantum networks. SPIE: The international society for optical engineering, Proceedings of SPIE, vol. 10672.
View | DOI | Download (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 16   OA
Varshney A, Steinberg V. 2018. Mixing layer instability and vorticity amplification in a creeping viscoelastic flow. Physical Review Fluids. 3(10), 103303.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 162   OA
Kaucka M, Petersen J, Tesarova M, Szarowska B, Kastriti M, Xie M, Kicheva A, Annusver K, Kasper M, Symmons O, Pan L, Spitz F, Kaiser J, Hovorakova M, Zikmund T, Sunadome K, Matise MP, Wang H, Marklund U, Abdo H, Ernfors P, Maire P, Wurmser M, Chagin AS, Fried K, Adameyko I. 2018. Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage. eLife. 7.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 181   OA
Erdös L, Krüger TH, Renfrew DT. 2018. Power law decay for systems of randomly coupled differential equations. SIAM Journal on Mathematical Analysis. 50(3), 3271–3290.
View | DOI | Download (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 186   OA
Fulek R, Kynčl J. 2018. The ℤ2-Genus of Kuratowski minors. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 99. 401–4014.
View | DOI | Download (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 193   OA
Alwen JF, Gazi P, Kamath Hosdurg C, Klein K, Osang GF, Pietrzak KZ, Reyzin L, Rolinek M, Rybar M. 2018. On the memory hardness of data independent password hashing functions. Proceedings of the 2018 on Asia Conference on Computer and Communication Security. ASIACCS: Asia Conference on Computer and Communications Security 51–65.
View | DOI | Download (ext.)
 
2018 | Thesis | IST-REx-ID: 201   OA
Iglesias Ham M. 2018. Multiple covers with balls, IST Austria, 171p.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 198   OA
Ibsen-Jensen R, Tkadlec J, Chatterjee K, Nowak M. 2018. Language acquisition with communication between learners. Journal of the Royal Society Interface. 15(140).
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 23   OA
Vukušić L, Kukucka J, Watzinger H, Milem JM, Schäffler F, Katsaros G. 2018. Single-shot readout of hole spins in Ge. Nano Letters. 18(11), 7141–7145.
View | Files available | DOI | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 282   OA
Sachdeva H, Barton NH. 2018. Introgression of a block of genome under infinitesimal selection. Genetics. 209(4), 1279–1303.
View | DOI | Download (ext.)
 
2018 | Journal Article | IST-REx-ID: 275   OA
Brown M, Johnson L, Leone D, Májek P, Vaahtomeri K, Senfter D, Bukosza N, Schachner H, Asfour G, Langer B, Hauschild R, Parapatics K, Hong Y, Bennett K, Kain R, Detmar M, Sixt MK, Jackson D, Kerjaschki D. 2018. Lymphatic exosomes promote dendritic cell migration along guidance cues. Journal of Cell Biology. 217(6), 2205–2221.
View | Files available | DOI | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 28
Contreras X, Hippenmeyer S. 2018. Incorrect trafficking route leads to autism. Brain a journal of neurology. 141(9), 2542–2544.
View | DOI
 
2018 | Journal Article | IST-REx-ID: 287   OA
Salari V, Barzanjeh S, Cifra M, Simon C, Scholkmann F, Alirezaei Z, Tuszynski J. 2018. Electromagnetic fields and optomechanics In cancer diagnostics and treatment. Frontiers in Bioscience - Landmark. 23(8), 1391–1406.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 294   OA
Fratini F, Safari L, Amaro P, Santos J. 2018. Two-photon processes based on quantum commutators. Physical Review A - Atomic, Molecular, and Optical Physics. 97(4).
View | DOI | Download (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 302   OA
Cohen B, Pietrzak KZ. 2018. Simple proofs of sequential work. Eurocrypt: Advances in Cryptology, LNCS, vol. 10821. 451–467.
View | DOI | Download (ext.)
 
2018 | Journal Article | IST-REx-ID: 307   OA
Redchenko E, Makarov A, Yudson V. 2018. Nanoscopy of pairs of atoms by fluorescence in a magnetic field. Physical Review A - Atomic, Molecular, and Optical Physics. 97(4).
View | DOI | Download (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 299   OA
Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. 2018. AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10806. 303–319.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 314
Bauer G, Fakhri N, Kicheva A, Kondev J, Kruse K, Noji H, Riveline D, Saunders T, Thatta M, Wieschaus E. 2018. The science of living matter for tomorrow. Cell Systems. 6(4), 400–402.
View | DOI | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 321
Darrell T, Lampert C, Sebe N, Wu Y, Yan Y. 2018. Guest editors’ introduction to the special section on learning with Shared information for computer vision and multimedia analysis. IEEE Transactions on Pattern Analysis and Machine Intelligence. 40(5), 1029–1031.
View | DOI
 
2018 | Journal Article | IST-REx-ID: 326   OA
Sawada K, Kawakami R, Shigemoto R, Nemoto T. 2018. Super resolution structural analysis of dendritic spines using three-dimensional structured illumination microscopy in cleared mouse brain slices. European Journal of Neuroscience. 47(9), 1033–1042.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 35   OA
Chatterjee K, Dvorák W, Henzinger M, Svozil A. 2018. Algorithms and conditional lower bounds for planning problems. 28th International Conference on Automated Planning and Scheduling . ICAPS: International Conference on Automated Planning and Scheduling
View | Download (ext.) | arXiv
 
2018 | Thesis | IST-REx-ID: 395   OA
Tarlungeanu D-C. 2018. The branched chain amino acids in autism spectrum disorders , IST Austria, 88p.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 4   OA
Umetani N, Bickel B. 2018. Learning three-dimensional flow for interactive aerodynamic design. ACM Trans. Graph. 37(4), 89.
View | Files available | DOI
 
2018 | Book Chapter | IST-REx-ID: 408
Trinh H, Verstraeten I, Geelen D. 2018. In vitro assay for induction of adventitious rooting on intact arabidopsis hypocotyls. Root Development . , MIMB, vol. 1761. 95–102.
View | DOI
 
2018 | Journal Article | IST-REx-ID: 410   OA
Masís J, Mankus D, Wolff S, Guitchounts G, Jösch MA, Cox D. 2018. A micro-CT-based method for quantitative brain lesion characterization and electrode localization. Scientific Reports. 8(1).
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 42   OA
Cucinotta M, Manrique S, Cuesta C, Benková E, Novák O, Colombo L. 2018. Cup-shaped Cotyledon1 (CUC1) and CU2 regulate cytokinin homeostasis to determine ovule number in arabidopsis. Journal of Experimental Botany. 69(21), 5169–5176.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 422   OA
Kühnen J, Scarselli D, Schaner M, Hof B. 2018. Relaminarization by steady modification of the streamwise velocity profile in a pipe. Flow Turbulence and Combustion. 100(4), 919–942.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 415   OA
Rzadkowski W, Lemeshko M. 2018. Effect of a magnetic field on molecule–solvent angular momentum transfer . The Journal of Chemical Physics. 148(10).
View | DOI | Download (ext.)
 
2018 | Journal Article | IST-REx-ID: 427   OA
Amaro P, Loureiro U, Safari L, Fratini F, Indelicato P, Stöhlker T, Santos J. 2018. Quantum interference in laser spectroscopy of highly charged lithiumlike ions. Physical Review A - Atomic, Molecular, and Optical Physics. 97(2).
View | DOI | Download (ext.)
 
2018 | Journal Article | IST-REx-ID: 434
Jiang Y, Liu H, Song H, Kong H, Wang R, Guan Y, Sha L. 2018. Safety-assured model-driven design of the multifunction vehicle bus controller. IEEE Transactions on Intelligent Transportation Systems. 19(10), 3320–3333.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 441   OA
Kalinin N, Shkolnikov M. 2018. Tropical formulae for summation over a part of SL(2,Z). European Journal of Mathematics.
View | DOI | Download (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 446   OA
Frank R, Phan Thanh N, Van Den Bosch H. 2018. The ionization conjecture in Thomas–Fermi–Dirac–von Weizsäcker theory. Communications on Pure and Applied Mathematics. 71(3), 577–614.
View | DOI | Download (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 458   OA
Akopyan A, Bobenko A. 2018. Incircular nets and confocal conics. Transactions of the American Mathematical Society. 370(4), 2825–2854.
View | DOI | Download (ext.)
 
2018 | Journal Article | IST-REx-ID: 530   OA
Edelsbrunner H, Iglesias Ham M. 2018. Multiple covers with balls I: Inclusion–exclusion. Computational Geometry: Theory and Applications. 68, 119–133.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 47
Abualia R, Benková E, Lacombe B. 2018. Transporters and mechanisms of hormone transport in arabidopsis. Advances in Botanical Research. 87, 115–138.
View | DOI
 
2018 | Journal Article | IST-REx-ID: 54
Nunes Pinheiro DC, Bellaïche Y. 2018. Mechanical force-driven adherents junction remodeling and epithelial dynamics. Developmental Cell. 47(1), 3–19.
View | DOI
 
2018 | Journal Article | IST-REx-ID: 542
Kelemen RK, Vicoso B. 2018. Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver. Genetics. 208(1), 365–375.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 554   OA
Napiórkowski MM, Reuvers R, Solovej J. 2018. The Bogoliubov free energy functional II: The dilute Limit. Communications in Mathematical Physics. 360(1), 347–403.
View | DOI | Download (ext.) | arXiv
 
2018 | Research Data | IST-REx-ID: 5574   OA
Villányi M. 2018. Data Check IOP Scopus vs. Publisher, IST Austria,p.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 131
Picard MA, Cosseau C, Ferré S, Quack T, Grevelding C, Couté Y, Vicoso B. 2018. Evolution of gene dosage on the Z-chromosome of schistosome parasites. eLife. 7, e35684.
View | Files available | DOI
 
2018 | Research Data | IST-REx-ID: 5586   OA
Vicoso B. 2018. Input files and scripts from ‘Evolution of gene dosage on the Z-chromosome of schistosome parasites’ by Picard M.A.L., et al (2018), IST Austria,p.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 566   OA
Alt J, Erdös L, Krüger TH. 2018. Local inhomogeneous circular law. Annals Applied Probability . 28(1), 148–203.
View | Files available | DOI | Download (ext.) | arXiv
 
2018 | Research Data | IST-REx-ID: 5581   OA
Villányi M. 2018. Springer Austrian Publications 2013-2016, IST Austria,p.
View | Files available | DOI
 
2018 | Research Data | IST-REx-ID: 5579   OA
Villányi M. 2018. RSC Austrian Publications 2013-2017, IST Austria,p.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 5788   OA
Avni G, Henzinger TA, Ibsen-Jensen R. 2018. Infinite-duration poorman-bidding games. 14th International Conference on Web and Internet Economics, WINE, LNCS, vol. 11316. 21–36.
View | DOI | Download (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 5790   OA
Chaplick S, Fulek R, Klavík P. 2018. Extending partial representations of circle graphs. Journal of Graph Theory.
View | DOI | Download (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 5858   OA
Hross S, Theis FJ, Sixt MK, Hasenauer J. 2018. Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data. Journal of the Royal Society Interface. 15(149).
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 5860   OA
Corominas-Murtra B, Seoane LF, Solé R. 2018. Zipf’s Law, unbounded complexity and open-ended evolution. Journal of the Royal Society Interface. 15(149).
View | DOI | Download (ext.) | arXiv
 
2018 | Book Chapter | IST-REx-ID: 59
Bloem R, Chatterjee K, Jobstmann B. 2018. Graph games and reactive synthesis. Handbook of Model Checking. 921–962.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 5959
Bakhirkin A, Ferrere T, Henzinger TA, Nickovicl D. 2018. Keynote: The first-order logic of signals. 2018 International Conference on Embedded Software (EMSOFT). EMSOFT: International Conference on Embedded Software 1–10.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 5961
Alistarh D-A. 2018. A brief tutorial on distributed and concurrent machine learning. Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18. PODC: Principles of Distributed Computing 487–488.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 5966   OA
Alistarh D-A, Haider SK, Kübler R, Nadiradze G. 2018. The transactional conflict problem. Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures  - SPAA ’18. SPAA: Symposium on Parallelism in Algorithms and Architectures 383–392.
View | DOI | Download (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 5978
Haller S, Swoboda P, Savchynskyy B. 2018. Exact MAP-inference by confining combinatorial search with LP relaxation. Proceedings of the 32st AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence 6581–6588.
View
 
2018 | Journal Article | IST-REx-ID: 5980
Chatterjee S, Kamath Hosdurg C, Kumar V. 2018. Private set-intersection with common set-up. American Institute of Mathematical Sciences. 12(1), 17–47.
View | DOI
 
2018 | Journal Article | IST-REx-ID: 6010   OA
Garrido-Charad F, Vega Zuniga TA, Gutiérrez-Ibáñez C, Fernandez P, López-Jury L, González-Cabrera C, Karten HJ, Luksch H, Marín GJ. 2018. “Shepherd’s crook” neurons drive and synchronize the enhancing and suppressive mechanisms of the midbrain stimulus selection network. Proceedings of the National Academy of Sciences. 115(32), E7615–E7623.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 150
Dick R, Zadrozny KK, Xu C, Schur F, Lyddon TD, Ricana CL, Wagner JM, Perilla JR, Ganser PBK, Johnson MC, Pornillos O, Vogt V. 2018. Inositol phosphates are assembly co-factors for HIV-1. Nature. 560(7719), 509–512.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 6003   OA
Bickel B, Cignoni P, Malomo L, Pietroni N. 2018. State of the art on stylized fabrication. Computer Graphics Forum. 37(6), 325–342.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 5992   OA
Dolati S, Kage F, Mueller J, Müsken M, Kirchner M, Dittmar G, Sixt MK, Rottner K, Falcke M. 2018. On the relation between filament density, force generation, and protrusion rate in mesenchymal cell motility. Molecular Biology of the Cell. 29(22), 2674–2686.
View | Files available | DOI | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 612   OA
Luján R, Aguado C, Ciruela F, Cózar J, Kleindienst D, De La Ossa L, Bettler B, Wickman K, Watanabe M, Shigemoto R, Fukazawa Y. 2018. Differential association of GABAB receptors with their effector ion channels in Purkinje cells. Brain Structure and Function. 223(3), 1565–1587.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 617   OA
Kutzer M, Kurtz J, Armitage S. 2018. Genotype and diet affect resistance, survival, and fecundity but not fecundity tolerance. Journal of Evolutionary Biology. 31(1), 159–171.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2018 | Research Data | IST-REx-ID: 5757
Fraisse C. 2018. Supplementary Files for ‘Pleiotropy modulates the efficacy of selection in Drosophila melanogaster’, IST Austria,p.
View | Files available | DOI
 
2018 | Preprint | IST-REx-ID: 6185   OA
Erdös L, Krüger TH, Schröder DJ. Cusp universality for random matrices I: Local law and the complex hermitian case. arXiv.
View | Files available | Download (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 5675
Shahbazi A, Kinnison J, Vescovi R, Du M, Hill R, Jösch MA, Takeno M, Zeng H, Da Costa NM, Grutzendler J, Kasthuri N, Scheirer WJ. 2018. Erratum to: Flexible Learning-Free Segmentation and Reconstruction of Neural Volumes. Scientific Reports. 8(1), 17585.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 6558   OA
Alistarh D-A, Allen-Zhu Z, Li J. 2018. Byzantine Stochastic Gradient Descent. Advances in Neural Information Processing Systems. NeurIPS: Conference on Neural Information Processing Systems vol. Volume 2018. 4613–4623.
View | Download (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 6589   OA
Alistarh D-A, Hoefler T, Johansson M, Konstantinov NH, Khirirat S, Renggli C. 2018. The convergence of sparsified gradient methods. Advances in Neural Information Processing Systems 31. NeurIPS: Conference on Neural Information Processing Systems vol. Volume 2018. 5973–5983.
View | Download (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 66   OA
Chatterjee K, Goharshady A, Ibsen-Jensen R, Velner Y. 2018. Ergodic mean-payoff games for the analysis of attacks in crypto-currencies. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 118. 11.
View | Files available | DOI | Download (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 80   OA
Deuchert A, Seiringer R, Yngvason J. 2018. Bose–Einstein condensation in a dilute, trapped gas at positive temperature. Communications in Mathematical Physics.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 78
Bakhirkin A, Ferrere T, Nickovic D, Maler O, Asarin E. 2018. Online timed pattern matching using automata. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 11022. 215–232.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 85   OA
Gilad E, Brown TA, Oskin M, Etsion Y. 2018. Snapshot based synchronization: A fast replacement for Hand-over-Hand locking. Euro-Par: European Conference on Parallel Processing, LNCS, vol. 11014. 465–479.
View | Files available | DOI
 
2018 | Thesis | IST-REx-ID: 9   OA
Belyaeva V. 2018. Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo , IST Austria, 96p.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 6774   OA
Filakovský M, Franek P, Wagner U, Zhechev SY. 2018. Computing simplicial representatives of homotopy group elements. Journal of Applied and Computational Topology. 2(3–4), 177–231.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 319   OA
Gerencser M, Hairer M. 2018. Singular SPDEs in domains with boundaries. Probability Theory and Related Fields.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 106   OA
Akopyan A, Petrunin A. 2018. Long geodesics on convex surfaces. Mathematical Intelligencer. 40(3), 26–31.
View | DOI | Download (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 12   OA
Nakashima K, Auzinger T, Iarussi E, Zhang R, Igarashi T, Bickel B. 2018. CoreCavity: Interactive shell decomposition for fabrication with two-piece rigid molds. ACM Transaction on Graphics. 37(4), 135.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 132   OA
Sznurkowska M, Hannezo EB, Azzarelli R, Rulands S, Nestorowa S, Hindley C, Nichols J, Göttgens B, Huch M, Philpott A, Simons B. 2018. Defining lineage potential and fate behavior of precursors during pancreas development. Developmental Cell. 46(3), 360–375.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 137   OA
Zhang W, Herde M, Mitchell J, Whitfield J, Wulff A, Vongsouthi V, Sanchez Romero I, Gulakova P, Minge D, Breithausen B, Schoch S, Janovjak HL, Jackson C, Henneberger C. 2018. Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS. Nature Chemical Biology. 14(9), 861–869.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2018 | Conference Paper | IST-REx-ID: 144
Ferrere T, Henzinger TA, Saraç E. 2018. A theory of register monitors. LICS: Logic in Computer Science, ACM/IEEE Symposium on Logic in Computer Science, vol. Part F138033. 394–403.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 156
Ferrere T. 2018. The compound interest in relaxing punctuality. FM: International Symposium on Formal Methods, LNCS, vol. 10951. 147–164.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed