Please note that ISTA 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.
4215 Publications
2019 | Research Data Reference | IST-REx-ID: 9801
R. M. Merrill et al., “Raw behavioral data.” Public Library of Science, 2019.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6435 | 
B. E. Casillas Perez, “Collective defenses of garden ants against a fungal pathogen,” IST Austria, 2019.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6269 |
M. Narasimhan, “Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants ,” IST Austria, 2019.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6891 |
A. Kopf, “The implication of cytoskeletal dynamics on leukocyte migration,” IST Austria, 2019.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6849 |
D. K. Rangel Guerrero, “The role of CCK-interneurons in regulating hippocampal network dynamics,” IST Austria, 2019.
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6328 |
J. Renkawitz et al., “Nuclear positioning facilitates amoeboid migration along the path of least resistance,” Nature, vol. 568. Springer Nature, pp. 546–550, 2019.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6877
A. Kopf and M. K. Sixt, “The neural crest pitches in to remove apoptotic debris,” Cell, vol. 179, no. 1. pp. 51–53, 2019.
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Thesis | IST-REx-ID: 6947 |
F. P. Assen, “Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking,” IST Austria, 2019.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6546 |
K. Valosková, “The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration,” IST Austria, 2019.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6371 |
C. Igler, “On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation,” IST Austria, 2019.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6363 |
C. Espinoza Martinez, “Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits,” IST Austria, 2019.
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 5949 |
K. Käfer et al., “Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization,” Hippocampus, vol. 29, no. 9. Wiley, pp. 802–816, 2019.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6825 |
K. Käfer, “The hippocampus and medial prefrontal cortex during flexible behavior,” IST Austria, 2019.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 7132 |
C. Mckenzie, “Design and characterization of methods and biological components to realize synthetic neurotransmission,” IST Austria, 2019.
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6486 |
J. Kühnen, D. Scarselli, and B. Hof, “Relaminarization of pipe flow by means of 3D-printed shaped honeycombs,” Journal of Fluids Engineering, vol. 141, no. 11. ASME, 2019.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6228 |
D. Scarselli, J. Kühnen, and B. Hof, “Relaminarising pipe flow by wall movement,” Journal of Fluid Mechanics, vol. 867. Cambridge University Press, pp. 934–948, 2019.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6830 |
X. Contreras and S. Hippenmeyer, “Memo1 tiles the radial glial cell grid,” Neuron, vol. 103, no. 5. Elsevier, pp. 750–752, 2019.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6508 |
S. Shamipour, R. Kardos, S. Xue, B. Hof, E. B. Hannezo, and C.-P. J. Heisenberg, “Bulk actin dynamics drive phase segregation in zebrafish oocytes,” Cell, vol. 177, no. 6. Elsevier, p. 1463–1479.e18, 2019.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7001 |
C. Schwayer et al., “Mechanosensation of tight junctions depends on ZO-1 phase separation and flow,” Cell, vol. 179, no. 4. Cell Press, p. 937–952.e18, 2019.
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6848 |
D. Kampjut and L. A. Sazanov, “Structure and mechanism of mitochondrial proton-translocating transhydrogenase,” Nature, vol. 573, no. 7773. Springer Nature, pp. 291–295, 2019.
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6260 |
A. Oochi et al., “Pinstatic acid promotes auxin transport by inhibiting PIN internalization,” Plant Physiology, vol. 180, no. 2. ASPB, pp. 1152–1165, 2019.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Preprint | IST-REx-ID: 10065 |
A. C. Hofmann et al., “Assessing the potential of Ge/SiGe quantum dots as hosts for singlet-triplet qubits,” arXiv. .
View
| Files available
| Download Preprint (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 6056 |
K. Chatterjee, A. K. Goharshady, and A. Pourdamghani, “Probabilistic smart contracts: Secure randomness on the blockchain,” in IEEE International Conference on Blockchain and Cryptocurrency, Seoul, Korea, 2019.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 6378 |
K. Chatterjee, A. K. Goharshady, and A. Pourdamghani, “Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving,” in Proceedings of the 34th ACM Symposium on Applied Computing, Limassol, Cyprus, 2019, vol. Part F147772, pp. 374–381.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6780 |
M. Huang, H. Fu, K. Chatterjee, and A. K. Goharshady, “Modular verification for almost-sure termination of probabilistic programs,” in Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , Athens, Greece, 2019, vol. 3.
View
| Files available
| DOI
| arXiv
2019 | Conference Paper | IST-REx-ID: 6175 |
P. Wang, H. Fu, A. K. Goharshady, K. Chatterjee, X. Qin, and W. Shi, “Cost analysis of nondeterministic probabilistic programs,” in PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Phoenix, AZ, United States, 2019, pp. 204–220.
View
| Files available
| DOI
| arXiv
2019 | Journal Article | IST-REx-ID: 6380 |
K. Chatterjee, A. K. Goharshady, N. Okati, and A. Pavlogiannis, “Efficient parameterized algorithms for data packing,” Proceedings of the ACM on Programming Languages, vol. 3, no. POPL. ACM, 2019.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6490 |
K. Chatterjee, A. K. Goharshady, and E. K. Goharshady, “The treewidth of smart contracts,” in Proceedings of the 34th ACM Symposium on Applied Computing, Limassol, Cyprus, vol. Part F147772, pp. 400–408.
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7158 |
K. Chatterjee, A. K. Goharshady, P. Goyal, R. Ibsen-Jensen, and A. Pavlogiannis, “Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth,” ACM Transactions on Programming Languages and Systems, vol. 41, no. 4. ACM, 2019.
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7014 |
K. Chatterjee, H. Fu, and A. K. Goharshady, “Non-polynomial worst-case analysis of recursive programs,” ACM Transactions on Programming Languages and Systems, vol. 41, no. 4. ACM, 2019.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6187 |
K. Valosková et al., “A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion,” eLife, vol. 8. eLife Sciences Publications, 2019.
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6627 |
M. Adamowski, L. Li, and J. Friml, “Reorientation of cortical microtubule arrays in the hypocotyl of arabidopsis thaliana is induced by the cell growth process and independent of auxin signaling,” International Journal of Molecular Sciences, vol. 20, no. 13. MDPI, 2019.
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6189 |
N. Agrawal, G. H. Choueiri, and B. Hof, “Transition to turbulence in particle laden flows,” Physical Review Letters, vol. 122, no. 11. APS, 2019.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6351 |
P. Marhavá, L. Hörmayer, S. Yoshida, P. Marhavý, E. Benková, and J. Friml, “Re-activation of stem cell pathways for pattern restoration in plant wound healing,” Cell, vol. 177, no. 4. Elsevier, p. 957–969.e13, 2019.
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6943 |
L. Hörmayer and J. Friml, “Targeted cell ablation-based insights into wound healing and restorative patterning,” Current Opinion in Plant Biology, vol. 52. Elsevier, pp. 124–130, 2019.
View
| Files available
| DOI
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 10286 |
E. N. Allini, M. Skórski, O. Petura, F. Bernard, M. Laban, and V. Fischer, “Evaluation and monitoring of free running oscillators serving as source of randomness,” IACR Transactions on Cryptographic Hardware and Embedded Systems, vol. 2018, no. 3. International Association for Cryptologic Research, pp. 214–242, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 104 |
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 |
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 |
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 |
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 |
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 | Book Chapter | IST-REx-ID: 10864 |
A. Kazda, M. Kozik, R. McKenzie, and M. Moore, “Absorption and directed Jónsson terms,” in Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, vol. 16, J. Czelakowski, Ed. Cham: Springer Nature, 2018, pp. 203–220.
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 10881
T. R. Moturu et al., “Molecular evolution and diversification of the SMXL gene family,” Journal of Experimental Botany, vol. 69, no. 9. Oxford University Press, pp. 2367–2378, 2018.
View
| DOI
| PubMed | Europe PMC
2018 | Conference Paper | IST-REx-ID: 10882 |
J. Uijlings, K. Konyushkova, C. Lampert, and V. Ferrari, “Learning intelligent dialogs for bounding box annotation,” in 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, Salt Lake City, UT, United States, 2018, pp. 9175–9184.
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 10880 |
M. Yuuta and K. Koshiba-Takeuchi, “Significance of whole-genome duplications on the emergence of evolutionary novelties,” Briefings in Functional Genomics, vol. 17, no. 5. Oxford University Press, pp. 329–338, 2018.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2018 | Conference Paper | IST-REx-ID: 10883 |
K. Chatterjee, W. Dvořák, M. H. Henzinger, and A. Svozil, “Quasipolynomial set-based symbolic algorithms for parity games,” in 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 2018, vol. 57, pp. 233–253.
View
| Files available
| DOI
| arXiv
2018 | Conference Paper | IST-REx-ID: 11 |
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 |
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 |
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: 13 |
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 |
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 | Journal Article | IST-REx-ID: 134 |
S. Jeschke, T. Skrivan, M. Mueller Fischer, N. Chentanez, M. Macklin, and C. 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 |
T. Sato, C. 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 |
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 |
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 |
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 |
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. MDPI, 2018.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 141 |
K. Chatterjee, M. H. 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 |
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 |
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 | Journal Article | IST-REx-ID: 145 |
S. M. Truckenbrodt et al., “Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission,” The EMBO Journal, vol. 37, no. 15. Wiley, 2018.
View
| Files available
| DOI
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 146 |
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 |
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. Oxford University Press, pp. 2553–2572, 2018.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 148 |
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 | Journal Article | IST-REx-ID: 150 |
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 |
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 | Conference Paper | IST-REx-ID: 155 |
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 |
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 |
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 |
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 |
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 |
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 | Journal Article | IST-REx-ID: 163 |
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: 17 |
A. Varshney and V. Steinberg, “Drag enhancement and drag reduction in viscoelastic flow,” Physical Review Fluids, vol. 3, no. 10. American Physical Society, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 180 |
M. Lewi, É. Lieb, and R. Seiringer, “Statistical mechanics of the uniform electron gas,” Journal de l’Ecole Polytechnique - Mathematiques, vol. 5. Ecole Polytechnique, pp. 79–116, 2018.
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Journal Article | IST-REx-ID: 18 |
V. Kolmogorov and M. Rolinek, “Superconcentrators of density 25.3,” Ars Combinatoria, vol. 141, no. 10. Charles Babbage Research Centre, pp. 269–304, 2018.
View
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 181 |
L. Erdös, T. H. Krüger, and D. T. Renfrew, “Power law decay for systems of randomly coupled differential equations,” SIAM Journal on Mathematical Analysis, vol. 50, no. 3. Society for Industrial and Applied Mathematics , pp. 3271–3290, 2018.
View
| DOI
| Download Published Version (ext.)
| arXiv
2018 | Conference Paper | IST-REx-ID: 182 |
A. Bakhirkin, T. Ferrere, and O. Maler, “Efficient parametric identification for STL,” in Proceedings of the 21st International Conference on Hybrid Systems, Porto, Portugal, 2018, pp. 177–186.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 185 |
R. Fulek and J. Kynčl, “Hanani-Tutte for approximating maps of graphs,” presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol. 99.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 186 |
R. Fulek and J. Kynčl, “The ℤ2-Genus of Kuratowski minors,” presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol. 99, p. 40.1-40.14.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2018 | Conference Paper | IST-REx-ID: 188 |
H. Edelsbrunner, Z. Virk, and H. Wagner, “Smallest enclosing spheres and Chernoff points in Bregman geometry,” presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol. 99, p. 35:1-35:13.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 190 |
M. Harrison et al., “Expansions of key protein families in the German cockroach highlight the molecular basis of its remarkable success as a global indoor pest,” Journal of Experimental Zoology Part B: Molecular and Developmental Evolution, vol. 330. Wiley, pp. 254–264, 2018.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 19 |
A. Palmer, R. P. Chait, and R. Kishony, “Nonoptimal gene expression creates latent potential for antibiotic resistance,” Molecular Biology and Evolution, vol. 35, no. 11. NLM , pp. 2669–2684, 2018.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 192 |
M. Fendrych et al., “Rapid and reversible root growth inhibition by TIR1 auxin signalling,” Nature Plants, vol. 4, no. 7. Springer Nature, pp. 453–459, 2018.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2018 | Conference Paper | IST-REx-ID: 193 |
J. F. Alwen et al., “On the memory hardness of data independent password hashing functions,” in Proceedings of the 2018 on Asia Conference on Computer and Communication Security, Incheon, Republic of Korea, 2018, pp. 51–65.
View
| DOI
| Download Submitted Version (ext.)
2018 | Journal Article | IST-REx-ID: 194 |
Z. Liutkeviciute et al., “Oxytocin-like signaling in ants influences metabolic gene expression and locomotor activity,” The FASEB Journal, vol. 32, no. 12. FASEB, pp. 6808–6821, 2018.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 195 |
E. Yakaboylu and M. Lemeshko, “Anyonic statistics of quantum impurities in two dimensions,” Physical Review B - Condensed Matter and Materials Physics, vol. 98, no. 4. American Physical Society, 2018.
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2018 | Thesis | IST-REx-ID: 197 |
A. Kolesnikov, “Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images,” IST Austria, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 199 |
W. Ma et al., “Tissue specificity and dynamics of sex biased gene expression in a common frog population with differentiated, yet homomorphic, sex chromosomes,” Genes, vol. 9, no. 6. MDPI AG, 2018.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 201 |
M. Iglesias Ham, “Multiple covers with balls,” IST Austria, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 203 |
M. Abbas et al., “Auxin methylation is required for differential growth in Arabidopsis,” PNAS, vol. 115, no. 26. National Academy of Sciences, pp. 6864–6869, 2018.
View
| DOI
| Download None (ext.)
2018 | Journal Article | IST-REx-ID: 22 |
G. Botello et al., “Sensitivity limits of millimeter-wave photonic radiometers based on efficient electro-optic upconverters,” Optica, vol. 5, no. 10. Optical Society of America, pp. 1210–1219, 2018.
View
| DOI
| Download Published Version (ext.)
2018 | Conference Paper | IST-REx-ID: 24 |
K. Chatterjee, A. Elgyütt, P. Novotný, and O. Rouillé, “Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives,” presented at the IJCAI: International Joint Conference on Artificial Intelligence, Stockholm, Sweden, 2018, vol. 2018, pp. 4692–4699.
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Conference Paper | IST-REx-ID: 25 |
K. Horák, B. Bošanský, and K. Chatterjee, “Goal-HSVI: Heuristic search value iteration for goal-POMDPs,” in Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, Stockholm, Sweden, 2018, vol. 2018–July, pp. 4764–4770.
View
| DOI
| Download Published Version (ext.)
2018 | Conference Paper | IST-REx-ID: 273 |
P. Mohapatra, M. Rolinek, C. V. Jawahar, V. Kolmogorov, and M. P. Kumar, “Efficient optimization for rank-based loss functions,” in 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, Salt Lake City, UT, USA, 2018, pp. 3693–3701.
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 275 |
M. Brown et al., “Lymphatic exosomes promote dendritic cell migration along guidance cues,” Journal of Cell Biology, vol. 217, no. 6. Rockefeller University Press, pp. 2205–2221, 2018.
View
| Files available
| DOI
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 276 |
C. Frick et al., “Nano-scale microfluidics to study 3D chemotaxis at the single cell level,” PLoS One, vol. 13, no. 6. Public Library of Science, 2018.
View
| Files available
| DOI