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.

3454 Publications


2018 | Journal Article | IST-REx-ID: 705
A. Miklosi et al., “Super resolution microscopical localization of dopamine receptors 1 and 2 in rat hippocampal synaptosomes,” Molecular Neurobiology, vol. 55, no. 6. Springer, pp. 4857 – 4869, 2018.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 7116 | OA
D. Grubic, L. Tam, D.-A. Alistarh, and C. Zhang, “Synchronous multi-GPU training for deep learning with low-precision communications: An empirical study,” in Proceedings of the 21st International Conference on Extending Database Technology, Vienna, Austria, 2018, pp. 145–156.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 7123 | OA
D.-A. Alistarh, J. Aspnes, and R. Gelashvili, “Space-optimal majority in population protocols,” in Proceedings of the 29th Annual ACM-SIAM Symposium on Discrete Algorithms, New Orleans, LA, United States, 2018, pp. 2221–2239.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 13 | OA
T. Alderighi, L. Malomo, D. Giorgi, N. Pietroni, B. Bickel, and P. Cignoni, “Metamolds: Computational design of silicone molds,” ACM Trans. Graph., vol. 37, no. 4. ACM, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 132 | OA
M. Sznurkowska et al., “Defining lineage potential and fate behavior of precursors during pancreas development,” Developmental Cell, vol. 46, no. 3. Cell Press, pp. 360–375, 2018.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 133 | OA
B. Kragl, S. Qadeer, and T. A. Henzinger, “Synchronizing the asynchronous,” presented at the CONCUR: International Conference on Concurrency Theory, Beijing, China, 2018, vol. 118.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 134 | OA
S. Jeschke, T. Skrivan, M. Mueller Fischer, N. Chentanez, M. Macklin, and C. J. Wojtan, “Water surface wavelets,” ACM Transactions on Graphics, vol. 37, no. 4. ACM, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 135 | OA
T. Sato, C. J. Wojtan, N. Thuerey, T. Igarashi, and R. Ando, “Extended narrow band FLIP for liquid simulations,” Computer Graphics Forum, vol. 37, no. 2. Wiley, pp. 169–177, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 136 | OA
B. Suri, J. Tithof, R. Grigoriev, and M. Schatz, “Unstable equilibria and invariant manifolds in quasi-two-dimensional Kolmogorov-like flow,” Physical Review E, vol. 98, no. 2. American Physiological Society, 2018.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 137 | OA
W. Zhang et al., “Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS,” Nature Chemical Biology, vol. 14, no. 9. Nature Publishing Group, pp. 861–869, 2018.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 139 | OA
C. Fraisse et al., “The divergence history of European blue mussel species reconstructed from Approximate Bayesian Computation: The effects of sequencing techniques and sampling strategies,” PeerJ, vol. 2018, no. 7. PeerJ Inc , 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 14 | OA
S. Hille, M. Akhmanova, M. Glanc, A. J. Johnson, and J. Friml, “Relative contribution of PIN-containing secretory vesicles and plasma membrane PINs to the directed auxin transport: Theoretical estimation,” International Journal of Molecular Sciences, vol. 19, no. 11. MPDI, 2018.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 141 | OA
K. Chatterjee, M. Henzinger, V. Loitzenbauer, S. Oraee, and V. Toman, “Symbolic algorithms for graphs and Markov decision processes with fairness objectives,” presented at the CAV: Computer Aided Verification, Oxford, United Kingdom, 2018, vol. 10982, pp. 178–197.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 142 | OA
H. Kong, E. Bartocci, and T. A. Henzinger, “Reachable set over-approximation for nonlinear systems using piecewise barrier tubes,” presented at the CAV: Computer Aided Verification, Oxford, United Kingdom, 2018, vol. 10981, pp. 449–467.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 143 | OA
T. Brázdil, K. Chatterjee, A. Kučera, P. Novotný, D. Velan, and F. Zuleger, “Efficient algorithms for asymptotic bounds on termination time in VASS,” presented at the LICS: Logic in Computer Science, Oxford, United Kingdom, 2018, vol. F138033, pp. 185–194.
View | DOI | Download Preprint (ext.)
 

2018 | Conference Paper | IST-REx-ID: 144
T. Ferrere, T. A. Henzinger, and E. Saraç, “A theory of register monitors,” presented at the LICS: Logic in Computer Science, Oxford, UK, 2018, vol. Part F138033, pp. 394–403.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 145 | OA
S. M. Truckenbrodt et al., “Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission,” EMBO Journal, vol. 37, no. 15. Wiley, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 146 | OA
C. L. Shi et al., “The dynamics of root cap sloughing in Arabidopsis is regulated by peptide signalling,” Nature Plants, vol. 4, no. 8. Nature Publishing Group, pp. 596–604, 2018.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 147 | OA
U. Kania et al., “The inhibitor Endosidin 4 targets SEC7 domain-type ARF GTPase exchange factors and interferes with sub cellular trafficking in eukaryotes,” The Plant Cell, vol. 30, no. 10. NLM , pp. 2553–2572, 2018.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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 Published Version (ext.) | PubMed | Europe PMC
 

2018 | Thesis | IST-REx-ID: 149 | OA
J. Alt, “Dyson equation and eigenvalue statistics of random matrices,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 150 | OA
R. Dick et al., “Inositol phosphates are assembly co-factors for HIV-1,” Nature, vol. 560, no. 7719. Nature Publishing Group, pp. 509–512, 2018.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 152 | OA
K. Fiedorczuk and L. A. Sazanov, “Mammalian mitochondrial complex I structure and disease causing mutations,” Trends in Cell Biology, vol. 28, no. 10. Elsevier, pp. 835–867, 2018.
View | Files available | DOI
 

2018 | Book Chapter | IST-REx-ID: 153
J. Renkawitz, A. REVERSAT, A. F. Leithner, J. Merrin, and M. K. Sixt, “Micro-engineered ‘pillar forests’ to study cell migration in complex but controlled 3D environments,” in Methods in Cell Biology, vol. 147, Academic Press, 2018, pp. 79–91.
View | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 154 | OA
T. Moser and R. Seiringer, “Stability of the 2+2 fermionic system with point interactions,” Mathematical Physics Analysis and Geometry, vol. 21, no. 3. Springer, 2018.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 155 | OA
A. Xuereb, M. Aquilina, and S. Barzanjeh, “Routing thermal noise through quantum networks,” presented at the SPIE: The international society for optical engineering, Strasbourg, France, 2018, vol. 10672.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 156 | OA
T. Ferrere, “The compound interest in relaxing punctuality,” presented at the FM: International Symposium on Formal Methods, Oxford, UK, 2018, vol. 10951, pp. 147–164.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 157 | OA
C. Hilbe, Š. Šimsa, K. Chatterjee, and M. Nowak, “Evolution of cooperation in stochastic games,” Nature, vol. 559, no. 7713. Nature Publishing Group, pp. 246–249, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 158 | OA
H. Robert et al., “Maternal auxin supply contributes to early embryo patterning in Arabidopsis,” Nature Plants, vol. 4, no. 8. Nature Publishing Group, pp. 548–553, 2018.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 159 | OA
T. Fehrentz et al., “Optical control of L-type Ca2+ channels using a diltiazem photoswitch,” Nature Chemical Biology, vol. 14, no. 8. Nature Publishing Group, pp. 764–767, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 16 | OA
A. Varshney and V. Steinberg, “Mixing layer instability and vorticity amplification in a creeping viscoelastic flow,” Physical Review Fluids, vol. 3, no. 10. American Physical Society, 2018.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 160 | OA
B. Kragl and S. Qadeer, “Layered Concurrent Programs,” presented at the CAV: Computer Aided Verification, Oxford, UK, 2018, vol. 10981, pp. 79–102.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 161 | OA
D. De Martino, A. A. Mc, T. Bergmiller, C. C. Guet, and G. Tkačik, “Statistical mechanics for metabolic networks during steady state growth,” Nature Communications, vol. 9, no. 1. Springer Nature, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 163 | OA
S. Reipert et al., “Agitation modules: Flexible means to accelerate automated freeze substitution,” Journal of Histochemistry and Cytochemistry, vol. 66, no. 12. Histochemical Society, pp. 903–921, 2018.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 1012 | OA
L. Erdös and D. J. Schröder, “Fluctuations of rectangular young diagrams of interlacing wigner eigenvalues,” International Mathematics Research Notices, vol. 2018, no. 10. Oxford University Press, pp. 3255–3298, 2018.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 104 | OA
D. Seitner, S. Uhse, M. C. Gallei, and A. Djamei, “The core effector Cce1 is required for early infection of maize by Ustilago maydis,” Molecular Plant Pathology, vol. 19, no. 10. Wiley, pp. 2277–2287, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 106 | OA
A. Akopyan and A. Petrunin, “Long geodesics on convex surfaces,” Mathematical Intelligencer, vol. 40, no. 3. Springer, pp. 26–31, 2018.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 1064 | OA
A. Akopyan, A. Balitskiy, and M. Grigorev, “On the circle covering theorem by A.W. Goodman and R.E. Goodman,” Discrete & Computational Geometry, vol. 59, no. 4. Springer, pp. 1001–1009, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 107 | OA
S. Dziembowski, K. Z. Pietrzak, and D. Wichs, “Non-malleable codes,” Journal of the ACM, vol. 65, no. 4. ACM, 2018.
View | DOI | Download Preprint (ext.)
 

2018 | Conference Paper | IST-REx-ID: 108 | OA
M. Obremski and M. Skórski, “Inverted leftover hash lemma,” presented at the ISIT: International Symposium on Information Theory, Vail, CO, USA, 2018, vol. 2018.
View | DOI | Download Submitted Version (ext.)
 

2018 | Conference Paper | IST-REx-ID: 11 | OA
N. K. Leopold and P. Pickl, “Mean-field limits of particles in interaction with quantised radiation fields,” presented at the MaLiQS: Macroscopic Limits of Quantum Systems, Munich, Germany, 2018, vol. 270, pp. 185–214.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 12 | OA
K. Nakashima, T. Auzinger, E. Iarussi, R. Zhang, T. Igarashi, and B. Bickel, “CoreCavity: Interactive shell decomposition for fabrication with two-piece rigid molds,” ACM Transaction on Graphics, vol. 37, no. 4. ACM, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 1215 | OA
F. Flandoli, F. Russo, and G. A. Zanco, “Infinite-dimensional calculus under weak spatial regularity of the processes,” Journal of Theoretical Probability, vol. 31, no. 2. Springer, pp. 789–826, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 913 | OA
R. Tejos, C. Rodríguez Furlán, M. Adamowski, M. Sauer, L. Norambuena, and J. Friml, “PATELLINS are regulators of auxin mediated PIN1 relocation and plant development in Arabidopsis thaliana,” Journal of Cell Science, vol. 131, no. 2. Company of Biologists, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 38 | OA
H. Tavares et al., “Selection and gene flow shape genomic islands that control floral guides,” PNAS, vol. 115, no. 43. National Academy of Sciences, pp. 11006–11011, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 384 | OA
P. Hönigschmid, N. Bykova, R. Schneider, D. Ivankov, and D. Frishman, “Evolutionary interplay between symbiotic relationships and patterns of signal peptide gain and loss,” Genome Biology and Evolution, vol. 10, no. 3. Oxford University Press, pp. 928–938, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 39 | OA
H. Sachdeva and N. H. Barton, “Replicability of introgression under linked, polygenic selection,” Genetics, vol. 210, no. 4. Genetics Society of America, pp. 1411–1427, 2018.
View | DOI | Download Preprint (ext.)
 

2018 | Conference Paper | IST-REx-ID: 397
M. Arbel Raviv and T. A. Brown, “Harnessing epoch-based reclamation for efficient range queries,” presented at the PPoPP: Principles and Practice of Parallel Programming, Vienna, Austria, 2018, vol. 53, no. 1, pp. 14–27.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 398
P. Dodier et al., “Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device,” World Neurosurgery, vol. 13. Elsevier, pp. e568–e578, 2018.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 399 | OA
M. M. Napiórkowski, R. Reuvers, and J. Solovej, “Calculation of the critical temperature of a dilute Bose gas in the Bogoliubov approximation,” EPL, vol. 121, no. 1. IOP Publishing Ltd., 2018.
View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications