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.

6705 Publications


2018 | Journal Article | IST-REx-ID: 5984 | OA
M. Morri et al., “Optical functionalization of human class A orphan G-protein-coupled receptors,” Nature Communications, vol. 9, no. 1. Springer Nature, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5989 | OA
J. Kincaid-Smith et al., “Parent-of-Origin-Dependent Gene Expression in Male and Female Schistosome Parasites,” Genome Biology and Evolution, vol. 10, no. 3. Oxford University Press, pp. 840–856, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5990 | OA
J. Ridderbos et al., “Josephson effect in a few-hole quantum dot,” Advanced Materials, vol. 30, no. 44. Wiley, 2018.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5992 | OA
S. Dolati et al., “On the relation between filament density, force generation, and protrusion rate in mesenchymal cell motility,” Molecular Biology of the Cell, vol. 29, no. 22. American Society for Cell Biology , pp. 2674–2686, 2018.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 5993 | OA
K. Chatterjee, H. Fu, P. Novotný, and R. Hasheminezhad, “Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs,” ACM Transactions on Programming Languages and Systems, vol. 40, no. 2. Association for Computing Machinery (ACM), 2018.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5995 | OA
D. R. Usmanova et al., “Self-consistency test reveals systematic bias in programs for prediction change of stability upon mutation,” Bioinformatics, vol. 34, no. 21. Oxford University Press , pp. 3653–3658, 2018.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 5996 | OA
M. Vasudevan and B. Hof, “The critical point of the transition to turbulence in pipe flow,” Journal of Fluid Mechanics, vol. 839. Cambridge University Press (CUP), pp. 76–94, 2018.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5998 | OA
Velicky P, Meinhardt G, Plessl K, Vondra S, Weiss T, Haslinger P, Lendl T, Aumayr K, Mairhofer M, Zhu X, Schütz B, Hannibal RL, Lindau R, Weil B, Ernerudh J, Neesen J, Egger G, Mikula M, Röhrl C, Urban AE, Baker J, Knöfler M, Pollheimer J. 2018. Genome amplification and cellular senescence are hallmarks of human placenta development. PLOS Genetics. 14(10), e1007698.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6
J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M. A. Jösch, and D. Cox, “A micro-CT-based method for characterising lesions and locating electrodes in small animal brains,” Journal of visualized experiments (JoVE), vol. 141. NLM , 2018.
View | DOI
 

2018 | Book Chapter | IST-REx-ID: 60
E. Clarke, T. A. Henzinger, and H. Veith, “Introduction to model checking,” in Handbook of Model Checking, T. A. Henzinger, Ed. Springer, 2018, pp. 1–26.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 6001
D.-A. Alistarh, W. Leiserson, A. Matveev, and N. Shavit, “ThreadScan: Automatic and scalable memory reclamation,” ACM Transactions on Parallel Computing, vol. 4, no. 4. Association for Computing Machinery, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6002 | OA
M. M. Napiórkowski, R. Reuvers, and J. P. Solovej, “The Bogoliubov free energy functional I: Existence of minimizers and phase diagram,” Archive for Rational Mechanics and Analysis, vol. 229, no. 3. Springer Nature, pp. 1037–1090, 2018.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6003 | OA
B. Bickel, P. Cignoni, L. Malomo, and N. Pietroni, “State of the art on stylized fabrication,” Computer Graphics Forum, vol. 37, no. 6. Wiley, pp. 325–342, 2018.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 6005 | OA
G. Avni, S. Guha, and O. Kupferman, “Timed network games with clocks,” presented at the MFCS: Mathematical Foundations of Computer Science, Liverpool, United Kingdom, 2018, vol. 117.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6006 | OA
G. Avni, S. Guha, and O. Kupferman, “An abstraction-refinement methodology for reasoning about network games,” Games, vol. 9, no. 3. MDPI AG, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6010 | OA
F. Garrido-Charad et al., ““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, vol. 115, no. 32. National Academy of Sciences, pp. E7615–E7623, 2018.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Conference Paper | IST-REx-ID: 6011 | OA
I. Kuzborskij and C. Lampert, “Data-dependent stability of stochastic gradient descent,” in Proceedings of the 35 th International Conference on Machine Learning, Stockholm, Sweden, 2018, vol. 80, pp. 2815–2824.
View | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6012 | OA
S. Sahoo, C. Lampert, and G. S. Martius, “Learning equations for extrapolation and control,” in Proceedings of the 35th International Conference on Machine Learning, Stockholm, Sweden, 2018, vol. 80, pp. 4442–4450.
View | Files available | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6031
A. Stojanov, T. M. Smith, D.-A. Alistarh, and M. Puschel, “Fast quantized arithmetic on x86: Trading compute for data movement,” in 2018 IEEE International Workshop on Signal Processing Systems, Cape Town, South Africa, 2018, vol. 2018–October.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 6032 | OA
A. Kazda, V. Kolmogorov, and M. Rolinek, “Even delta-matroids and the complexity of planar boolean CSPs,” ACM Transactions on Algorithms, vol. 15, no. 2. ACM, 2018.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 606 | OA
M. Duerinckx and J. L. Fischer, “Well-posedness for mean-field evolutions arising in superconductivity,” Annales de l’Institut Henri Poincare (C) Non Linear Analysis, vol. 35, no. 5. Elsevier, pp. 1267–1319, 2018.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 607 | OA
K. Bod’ová, J. Haskovec, and P. Markowich, “Well posedness and maximum entropy approximation for the dynamics of quantitative traits,” Physica D: Nonlinear Phenomena, vol. 376–377. Elsevier, pp. 108–120, 2018.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 608 | OA
G. Avni and O. Kupferman, “Synthesis from component libraries with costs,” Theoretical Computer Science, vol. 712. Elsevier, pp. 50–72, 2018.
View | DOI | Download Published Version (ext.)
 

2018 | Book Chapter | IST-REx-ID: 61 | OA
A. Bondarenko, A. Mellit, A. Prymak, D. Radchenko, and M. Viazovska, “There is no strongly regular graph with parameters (460; 153; 32; 60),” in Contemporary Computational Mathematics, Springer, 2018, pp. 131–134.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6109 | OA
P. Laurent, Q. Ch’ng, M. Jospin, C. Chen, R. Lorenzo, and M. de Bono, “Genetic dissection of neuropeptide cell biology at high and low activity in a defined sensory neuron,” Proceedings of the National Academy of Sciences, vol. 115, no. 29. National Academy of Sciences, pp. E6890–E6899, 2018.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 6111 | OA
I. G. McLachlan, I. Beets, M. de Bono, and M. G. Heiman, “A neuronal MAP kinase constrains growth of a Caenorhabditis elegans sensory dendrite throughout the life of the organism,” PLOS Genetics, vol. 14, no. 6. Public Library of Science, 2018.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 616 | OA
C. Pull et al., “Destructive disinfection of infected brood prevents systemic disease spread in ant colonies,” eLife, vol. 7. eLife Sciences Publications, 2018.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 6164
G. Koshti, R. Biswas, G. Largeteau-Skapin, R. Zrour, E. Andres, and P. Bhowmick, “Sphere construction on the FCC grid interpreted as layered hexagonal grids in 3D,” in Lecture Notes in Computer Science, Porto, Portugal, 2018, vol. 11255, pp. 82–96.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 617 | OA
M. Kutzer, J. Kurtz, and S. Armitage, “Genotype and diet affect resistance, survival, and fecundity but not fecundity tolerance,” Journal of Evolutionary Biology, vol. 31, no. 1. Wiley-Blackwell, pp. 159–171, 2018.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Preprint | IST-REx-ID: 6183 | OA
J. Alt, L. Erdös, and T. H. Krüger, “The Dyson equation with linear self-energy: Spectral bands, edges and  cusps,” arXiv. .
View | Files available | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6195
M. Pozzi et al., “Efficient FEM-based simulation of soft robots modeled as kinematic chains,” presented at the ICRA: International Conference on Robotics and Automation, Brisbane, Australia, 2018.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 62 | OA
A. Shabazi et al., “Flexible learning-free segmentation and reconstruction of neural volumes,” Scientific Reports, vol. 8, no. 1. Nature Publishing Group, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 620 | OA
W. Yamamoto et al., “Distinct roles for plasma membrane PtdIns 4 P and PtdIns 4 5 P2 during yeast receptor mediated endocytosis,” Journal of Cell Science, vol. 131, no. 1. Company of Biologists, 2018.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 63 | OA
W. J. Gammerdinger and T. Kocher, “Unusual diversity of sex chromosomes in African cichlid fishes,” Genes, vol. 9, no. 10. MDPI AG, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6339 | OA
G. Bighin, T. Tscherbul, and M. Lemeshko, “Diagrammatic Monte Carlo approach to angular momentum in quantum many-particle systems,” Physical Review Letters, vol. 121, no. 16. APS, 2018.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6354 | OA
S. Fan, M. Lorenz, S. Massberg, and F. R. Gärtner, “Platelet migration and bacterial trapping assay under flow,” Bio-Protocol, vol. 8, no. 18. Bio-Protocol, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6355 | OA
A. Akopyan and S. Avvakumov, “Any cyclic quadrilateral can be inscribed in any closed convex smooth curve,” Forum of Mathematics, Sigma, vol. 6. Cambridge University Press, 2018.
View | Files available | DOI | arXiv
 

2018 | Journal Article | IST-REx-ID: 6368 | OA
A. P. Higginbotham et al., “Harnessing electro-optic correlations in an efficient mechanical converter,” Nature Physics, vol. 14, no. 10. Springer Nature, pp. 1038–1042, 2018.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6369 | OA
E. I. Rosenthal, N. K. Ehrlich, M. S. Rudner, A. P. Higginbotham, and K. W. Lehnert, “Topological phase transition measured in a dissipative metamaterial,” Physical Review B, vol. 97, no. 22. American Physical Society (APS), 2018.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 64 | OA
N. Kalinin, A. Guzmán Sáenz, Y. Prieto, M. Shkolnikov, V. Kalinina, and E. Lupercio, “Self-organized criticality and pattern emergence through the lens of tropical geometry,” PNAS: Proceedings of the National Academy of Sciences of the United States of America, vol. 115, no. 35. National Academy of Sciences, pp. E8135–E8142, 2018.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Poster | IST-REx-ID: 6459 | OA
B. Petritsch, Open Access at IST Austria 2009-2017. IST Austria, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6497 | OA
F. Moalli et al., “The Rho regulator Myosin IXb enables nonlymphoid tissue seeding of protective CD8+T cells,” The Journal of Experimental Medicine, vol. 2015, no. 7. Rockefeller University Press, pp. 1869–1890, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6499 | OA
S. M. Truckenbrodt, M. Maidorn, D. Crzan, H. Wildhagen, S. Kabatas, and S. O. Rizzoli, “X10 expansion microscopy enables 25‐nm resolution on conventional microscopes,” EMBO reports, vol. 19, no. 9. EMBO, 2018.
View | Files available | DOI
 

2018 | Book Chapter | IST-REx-ID: 6525
T. Hausel, A. Mellit, and D. Pei, “Mirror symmetry with branes by equivariant verlinde formulas,” in Geometry and Physics: Volume I, Oxford University Press, 2018, pp. 189–218.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 6558 | OA
D.-A. Alistarh, Z. Allen-Zhu, and J. Li, “Byzantine Stochastic Gradient Descent,” in Advances in Neural Information Processing Systems, Montreal, Canada, 2018, vol. Volume 2018, pp. 4613–4623.
View | Download Published Version (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6589 | OA
D.-A. Alistarh, T. Hoefler, M. Johansson, N. H. Konstantinov, S. Khirirat, and C. Renggli, “The convergence of sparsified gradient methods,” in Advances in Neural Information Processing Systems 31, Montreal, Canada, 2018, vol. Volume 2018, pp. 5973–5983.
View | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6664 | OA
S. A. Hashemi, N. Doan, M. Mondelli, and W. Gross, “Decoding Reed-Muller and polar codes by successive factor graph permutations,” in 2018 IEEE 10th International Symposium on Turbo Codes & Iterative Information Processing, Hong Kong, China, 2018, pp. 1–5.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6665 | OA
A. Fazeli, H. Hassani, M. Mondelli, and A. Vardy, “Binary linear codes with optimal scaling: Polar codes with large kernels,” in 2018 IEEE Information Theory Workshop, Guangzhou, China, 2018, pp. 1–5.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6674
S. A. Hashemi, M. Mondelli, S. H. Hassani, C. Condo, R. L. Urbanke, and W. J. Gross, “Decoder partitioning: Towards practical list decoding of polar codes,” IEEE Transactions on Communications, vol. 66, no. 9. IEEE, pp. 3749–3759, 2018.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 6675 | OA
M. Mondelli, H. Hassani, and R. Urbanke, “A new coding paradigm for the primitive relay channel,” in 2018 IEEE International Symposium on Information Theory, Vail, CO, United States, 2018, pp. 351–355.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6678 | OA
M. Mondelli, H. Hassani, and R. Urbanke, “How to achieve the capacity of asymmetric channels,” IEEE Transactions on Information Theory, vol. 64, no. 5. IEEE, pp. 3371–3393, 2018.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6728 | OA
N. Doan, S. A. Hashemi, M. Mondelli, and W. J. Gross, “On the decoding of polar codes on permuted factor graphs,” in 2018 IEEE Global Communications Conference , Abu Dhabi, United Arab Emirates, 2018.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6774 | OA
M. Filakovský, P. Franek, U. Wagner, and S. Y. Zhechev, “Computing simplicial representatives of homotopy group elements,” Journal of Applied and Computational Topology, vol. 2, no. 3–4. Springer, pp. 177–231, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 68 | OA
A. Zimin, “Learning from dependent data,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 69 | OA
L. Vukušić, “Charge sensing and spin relaxation times of holes in Ge hut wires,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 690 | OA
J. Lee and K. Schnelli, “Local law and Tracy–Widom limit for sparse random matrices,” Probability Theory and Related Fields, vol. 171, no. 1–2. Springer, 2018.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 691 | OA
I. Marin Valencia et al., “A homozygous founder mutation in TRAPPC6B associates with a neurodevelopmental disorder characterised by microcephaly epilepsy and autistic features,” Journal of Medical Genetics, vol. 55, no. 1. BMJ Publishing Group, pp. 48–54, 2018.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 692 | OA
A. Akopyan, “3-Webs generated by confocal conics and circles,” Geometriae Dedicata, vol. 194, no. 1. Springer, pp. 55–64, 2018.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 6941 | OA
S. Park, A. Kwon, G. Fuchsbauer, P. Gazi, J. F. Alwen, and K. Z. Pietrzak, “SpaceMint: A cryptocurrency based on proofs of space,” in 22nd International Conference on Financial Cryptography and Data Security, Nieuwpoort, Curacao, 2018, vol. 10957, pp. 480–499.
View | DOI | Download Submitted Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 7 | OA
N. Stroeymeyt, A. V. Grasse, A. Crespi, D. Mersch, S. Cremer, and L. Keller, “Social network plasticity decreases disease transmission in a eusocial insect,” Science, vol. 362, no. 6417. NLM , pp. 941–945, 2018.
View | Files available | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 70 | OA
P. Nejjar, “Transition to shocks in TASEP and decoupling of last passage times,” Latin American Journal of Probability and Mathematical Statistics, vol. 15, no. 2. ALEA, pp. 1311–1334, 2018.
View | Files available | DOI | arXiv
 

2018 | Journal Article | IST-REx-ID: 703 | OA
A. Shekhovtsov, P. Swoboda, and B. Savchynskyy, “Maximum persistency via iterative relaxed inference with graphical models,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 40, no. 7. IEEE, pp. 1668–1682, 2018.
View | DOI | Download Preprint (ext.) | arXiv
 

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 | Journal Article | IST-REx-ID: 7058 | OA
K. A. Modic, B. J. Ramshaw, A. Shekhter, and C. M. Varma, “Chiral spin order in some purported Kitaev spin-liquid compounds,” Physical Review B, vol. 98, no. 20. APS, 2018.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 7059 | OA
K. A. Modic et al., “Resonant torsion magnetometry in anisotropic quantum materials,” Nature Communications, vol. 9, no. 1. Springer Nature, p. 3975, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7060
P. Giraldo-Gallo et al., “Scale-invariant magnetoresistance in a cuprate superconductor,” Science, vol. 361, no. 6401. AAAS, pp. 479–481, 2018.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 7062 | OA
B. J. Ramshaw et al., “Quantum limit transport and destruction of the Weyl nodes in TaAs,” Nature Communications, vol. 9, no. 1. Springer Nature, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 7063 | OA
E. Martino et al., “Sr2Pt8−xAs: A layered incommensurately modulated metal with saturated resistivity,” IUCrJ, vol. 5, no. 4. International Union of Crystallography (IUCr), pp. 470–477, 2018.
View | Files available | 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: 7126 | OA
R. J. Cubero, M. Marsili, and Y. Roudi, “Minimum description length codes are critical,” Entropy, vol. 20, no. 10. MDPI, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 127
S. R. Waitukaitis, “Clicks for doughnuts,” Nature Physics, vol. 14, no. 8. Nature Publishing Group, pp. 777–778, 2018.
View | DOI
 

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
 

Search

Filter Publications