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.

3937 Publications


2019 | Research Data Reference | IST-REx-ID: 9901
O. M. Sigalova et al., “Additional file 9 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction.” Springer Nature, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 405 | OA
D. Virosztek, “Jointly convex quantum Jensen divergences,” Linear Algebra and Its Applications, vol. 576. Elsevier, pp. 67–78, 2019.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 429 | OA
O. H. Ajanki, L. Erdös, and T. H. Krüger, “Stability of the matrix Dyson equation and random matrices with correlations,” Probability Theory and Related Fields, vol. 173, no. 1–2. Springer, pp. 293–373, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 439 | OA
T. Hausel, M. Mereb, and M. Wong, “Arithmetic and representation theory of wild character varieties,” Journal of the European Mathematical Society, vol. 21, no. 10. European Mathematical Society, pp. 2995–3052, 2019.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 441 | OA
N. Kalinin and M. Shkolnikov, “Tropical formulae for summation over a part of SL(2,Z),” European Journal of Mathematics, vol. 5, no. 3. Springer Nature, pp. 909–928, 2019.
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 10877 | OA
G. Frehse et al., “ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics,” in ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Montreal, Canada, 2019, vol. 61, pp. 1–13.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7391 | OA
S. Tabata et al., “Electron microscopic detection of single membrane proteins by a specific chemical labeling,” iScience, vol. 22, no. 12. Elsevier, pp. 256–268, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7402 | OA
K. Chatterjee and L. Doyen, “Graph planning with expected finite horizon,” in 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Vancouver, BC, Canada, 2019, pp. 1–13.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 196 | OA
M. Lang and M. Shkolnikov, “Harmonic dynamics of the Abelian sandpile,” Proceedings of the National Academy of Sciences, vol. 116, no. 8. National Academy of Sciences, pp. 2821–2830, 2019.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6884 | OA
G. Avni, T. A. Henzinger, and D. Zikelic, “Bidding mechanisms in graph games,” presented at the MFCS: nternational Symposium on Mathematical Foundations of Computer Science, Aachen, Germany, 2019, vol. 138.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6713 | OA
J. P. Castro et al., “An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice,” eLife, vol. 8. eLife Sciences Publications, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Research Data Reference | IST-REx-ID: 9805
N. H. Barton, “Data from: The consequences of an introgression event.” Dryad, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7550 | OA
L. Portinale and U. Stefanelli, “Penalization via global functionals of optimal-control problems for dissipative evolution,” Advances in Mathematical Sciences and Applications, vol. 28, no. 2. Gakko Tosho, pp. 425–447, 2019.
View | Download Preprint (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 8182 | OA
S. Avvakumov and S. Kudrya, “Vanishing of all equivariant obstructions and the mapping degree,” arXiv. arXiv.
View | Files available | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6493 | OA
M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based synthesis of linear hybrid automata,” in 31st International Conference on Computer-Aided Verification, New York City, NY, USA, 2019, vol. 11561, pp. 297–314.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6887 | OA
K. Chatterjee, W. Dvorák, M. H. Henzinger, and A. Svozil, “Near-linear time algorithms for Streett objectives in graphs and MDPs,” in Leibniz International Proceedings in Informatics, Amsterdam, Netherlands, 2019, vol. 140.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6435 | OA
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: 6891 | OA
A. Kopf, “The implication of cytoskeletal dynamics on leukocyte migration,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6328 | OA
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: 6269 | OA
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: 6947 | OA
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: 6849 | OA
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: 6189 | OA
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: 6508 | OA
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 | OA
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 | OA
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 | Thesis | IST-REx-ID: 6546 | OA
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 | Journal Article | IST-REx-ID: 6830 | OA
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 | Thesis | IST-REx-ID: 6371 | OA
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 | OA
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: 6486 | OA
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 | OA
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: 6351 | OA
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 | OA
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
 

2019 | Thesis | IST-REx-ID: 7132 | OA
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: 6187 | OA
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: 5949 | OA
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 | OA
K. Käfer, “The hippocampus and medial prefrontal cortex during flexible behavior,” IST Austria, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6260 | OA
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 | Conference Paper | IST-REx-ID: 6378 | OA
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: 6175 | OA
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 | OA
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 | OA
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 | OA
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 | Conference Paper | IST-REx-ID: 6056 | OA
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 | Journal Article | IST-REx-ID: 7014 | OA
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 | Conference Paper | IST-REx-ID: 6780 | OA
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 | Journal Article | IST-REx-ID: 6194 | OA
C. N. Boccara, M. Nardin, F. Stella, J. O’Neill, and J. L. Csicsvari, “The entorhinal cognitive map is attracted to goals,” Science, vol. 363, no. 6434. American Association for the Advancement of Science, pp. 1443–1447, 2019.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 280
Z. Gao et al., “KIRA1 and ORESARA1 terminate flower receptivity by promoting cell death in the stigma of Arabidopsis,” Nature Plants, vol. 4, no. 6. Nature Publishing Group, pp. 365–375, 2018.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 281 | OA
A. Granados, J. Pietsch, S. A. Cepeda Humerez, I. Farquhar, G. Tkačik, and P. Swain, “Distributed and dynamic intracellular organization of extracellular information,” PNAS, vol. 115, no. 23. National Academy of Sciences, pp. 6088–6093, 2018.
View | Files available | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 282 | OA
H. Sachdeva and N. H. Barton, “Introgression of a block of genome under infinitesimal selection,” Genetics, vol. 209, no. 4. Genetics Society of America, pp. 1279–1303, 2018.
View | DOI | Download Submitted Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 283 | OA
R. M. Ceinos et al., “Mutations in blind cavefish target the light regulated circadian clock gene period 2,” Scientific Reports, vol. 8, no. 1. Nature Publishing Group, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 284 | OA
D. Virosztek, “Maps on probability measures preserving certain distances - a survey and some new results,” Acta Scientiarum Mathematicarum (Szeged), vol. 84, no. 1–2. Bolyai Institute, pp. 65–80, 2018.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 285 | OA
K. Huszár, J. Spreer, and U. Wagner, “On the treewidth of triangulated 3-manifolds,” presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol. 99.
View | Files available | DOI | arXiv
 

2018 | Journal Article | IST-REx-ID: 286
T. Ellis, D. Field, and N. H. Barton, “Efficient inference of paternity and sibship inference given known maternity via hierarchical clustering,” Molecular Ecology Resources, vol. 18, no. 5. Wiley, pp. 988–999, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 287 | OA
V. Salari et al., “Electromagnetic fields and optomechanics In cancer diagnostics and treatment,” Frontiers in Bioscience - Landmark, vol. 23, no. 8. Frontiers in Bioscience, pp. 1391–1406, 2018.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 288 | OA
A. Lilja et al., “Clonal analysis of Notch1-expressing cells reveals the existence of unipotent stem cells that retain long-term plasticity in the embryonic mammary gland,” Nature Cell Biology, vol. 20, no. 6. Nature Publishing Group, pp. 677–687, 2018.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 289 | OA
A. Zibrov et al., “Emergent dirac gullies and gully-symmetry-breaking quantum hall states in ABA trilayer graphene,” Physical Review Letters, vol. 121, no. 16. American Physical Society, 2018.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 29 | OA
L. Viljakainen, J. Jurvansuu, I. Holmberg, T. Pamminger, S. Erler, and S. Cremer, “Social environment affects the transcriptomic response to bacteria in ant queens,” Ecology and Evolution, vol. 8, no. 22. Wiley, pp. 11031–11070, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 291 | OA
N. B. Budanur and B. Hof, “Complexity of the laminar-turbulent boundary in pipe flow,” Physical Review Fluids, vol. 3, no. 5. American Physical Society, 2018.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 292 | OA
V. Botella Soler, S. Deny, G. S. Martius, O. Marre, and G. Tkačik, “Nonlinear decoding of a complex movie from the mammalian retina,” PLoS Computational Biology, vol. 14, no. 5. Public Library of Science, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 293 | OA
M. Hoffman, C. Hilbe, and M. Nowak, “The signal-burying game can explain why we obscure positive traits and good deeds,” Nature Human Behaviour, vol. 2. Nature Publishing Group, pp. 397–404, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 294 | OA
F. Fratini, L. Safari, P. Amaro, and J. Santos, “Two-photon processes based on quantum commutators,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 97, no. 4. American Physical Society, 2018.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 295 | OA
D. Lundholm and R. Seiringer, “Fermionic behavior of ideal anyons,” Letters in Mathematical Physics, vol. 108, no. 11. Springer, pp. 2523–2541, 2018.
View | Files available | DOI | arXiv
 

2018 | Journal Article | IST-REx-ID: 296 | OA
C. Turner, A. Michailidis, D. Abanin, M. Serbyn, and Z. Papić, “Weak ergodicity breaking from quantum many-body scars,” Nature Physics, vol. 14. Nature Publishing Group, pp. 745–749, 2018.
View | DOI | Download Submitted Version (ext.)
 

2018 | Conference Paper | IST-REx-ID: 297 | OA
T. Brázdil, K. Chatterjee, J. Kretinsky, and V. Toman, “Strategy representation by decision trees in reactive synthesis,” presented at the TACAS 2018: Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece, 2018, vol. 10805, pp. 385–407.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 298 | OA
J. F. Alwen, J. Blocki, and K. Z. Pietrzak, “Sustained space complexity,” presented at the Eurocrypt 2018: Advances in Cryptology, Tel Aviv, Israel, 2018, vol. 10821, pp. 99–130.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 299 | OA
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, and D. Ulus, “AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece, 2018, vol. 10806, pp. 303–319.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 3 | OA
E. Deliu et al., “Haploinsufficiency of the intellectual disability gene SETD5 disturbs developmental gene expression and cognition,” Nature Neuroscience, vol. 21, no. 12. Nature Publishing Group, pp. 1717–1727, 2018.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 300 | OA
D. Micciancio and M. Walter, “On the bit security of cryptographic primitives,” presented at the Eurocrypt: Advances in Cryptology, Tel Aviv, Israel, 2018, vol. 10820, pp. 3–28.
View | DOI | Download Submitted Version (ext.)
 

2018 | Conference Paper | IST-REx-ID: 302 | OA
B. Cohen and K. Z. Pietrzak, “Simple proofs of sequential work,” presented at the Eurocrypt: Advances in Cryptology, Tel Aviv, Israel, 2018, vol. 10821, pp. 451–467.
View | DOI | Download Submitted Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 303 | OA
N. Kalinin and M. Shkolnikov, “Introduction to tropical series and wave dynamic on them,” Discrete and Continuous Dynamical Systems- Series A, vol. 38, no. 6. AIMS, pp. 2827–2849, 2018.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 304 | OA
T. Auzinger, W. Heidrich, and B. Bickel, “Computational design of nanostructural color for additive manufacturing,” ACM Transactions on Graphics, vol. 37, no. 4. ACM, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 305
P. Misun, A. Birchler, M. Lang, A. Hierlemann, and O. Frey, “Fabrication and operation of microfluidic hanging drop networks,” Methods in Molecular Biology, vol. 1771. Springer, pp. 183–202, 2018.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 306 | OA
A. De Martino and D. De Martino, “An introduction to the maximum entropy approach and its application to inference problems in biology,” Heliyon, vol. 4, no. 4. Elsevier, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 307 | OA
E. Redchenko, A. Makarov, and V. Yudson, “Nanoscopy of pairs of atoms by fluorescence in a magnetic field,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 97, no. 4. American Physical Society, 2018.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 308 | OA
A. Ratheesh et al., “Drosophila TNF modulates tissue tension in the embryo to facilitate macrophage invasive migration,” Developmental Cell, vol. 45, no. 3. Elsevier, pp. 331–346, 2018.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Conference Paper | IST-REx-ID: 309 | OA
H. Akitaya, R. Fulek, and C. Tóth, “Recognizing weak embeddings of graphs,” presented at the SODA: Symposium on Discrete Algorithms, New Orleans, LA, USA, 2018, pp. 274–292.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 31 | OA
U. Ferrari, S. Deny, M. J. Chalk, G. Tkačik, O. Marre, and T. Mora, “Separating intrinsic interactions from extrinsic correlations in a network of sensory neurons,” Physical Review E, vol. 98, no. 4. American Physical Society, 2018.
View | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 312 | OA
H. Edelsbrunner and M. Iglesias Ham, “On the optimality of the FCC lattice for soft sphere packing,” SIAM J Discrete Math, vol. 32, no. 1. Society for Industrial and Applied Mathematics , pp. 750–782, 2018.
View | DOI | Download Submitted Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 314 | OA
G. Bauer et al., “The science of living matter for tomorrow,” Cell Systems, vol. 6, no. 4. Cell Press, pp. 400–402, 2018.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 315 | OA
J. Polechova, “Is the sky the limit? On the expansion threshold of a species’ range,” PLoS Biology, vol. 16, no. 6. Public Library of Science, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 317 | OA
M. Brauns, S. Amitonov, P. Spruijtenburg, and F. Zwanenburg, “Palladium gates for reproducible quantum dots in silicon,” Scientific Reports, vol. 8, no. 1. Nature Publishing Group, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 318 | OA
A. M. Casano and M. K. Sixt, “A fat lot of good for wound healing,” Developmental Cell, vol. 44, no. 4. Cell Press, pp. 405–406, 2018.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 32 | OA
T. Chen et al., “In Vivo regulation of Oligodendrocyte processor cell proliferation and differentiation by the AMPA-receptor Subunit GluA2,” Cell Reports, vol. 25, no. 4. Elsevier, p. 852–861.e7, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 320 | OA
H. Hu, F. Roth, D. H. Vandael, and P. M. Jonas, “Complementary tuning of Na+ and K+ channel gating underlies fast and energy-efficient action potentials in GABAergic interneuron axons,” Neuron, vol. 98, no. 1. Elsevier, pp. 156–165, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 321 | OA
T. Darrell, C. Lampert, N. Sebe, Y. Wu, and Y. Yan, “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, vol. 40, no. 5. IEEE, pp. 1029–1031, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 322 | OA
I. V. Ganev, “Quantizations of multiplicative hypertoric varieties at a root of unity,” Journal of Algebra, vol. 506. World Scientific Publishing, pp. 92–128, 2018.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Thesis | IST-REx-ID: 324 | OA
C. Chen, “Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 325 | OA
S. Agrawal, K. Chatterjee, and P. Novotný, “Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs,” presented at the POPL: Principles of Programming Languages, Los Angeles, CA, USA, 2018, vol. 2, no. POPL.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 326 | OA
K. Sawada, R. Kawakami, R. Shigemoto, and T. Nemoto, “Super resolution structural analysis of dendritic spines using three-dimensional structured illumination microscopy in cleared mouse brain slices,” European Journal of Neuroscience, vol. 47, no. 9. Wiley, pp. 1033–1042, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 327 | OA
A. Michailidis, M. Žnidarič, M. Medvedyeva, D. Abanin, T. Prosen, and Z. Papić, “Slow dynamics in translation-invariant quantum lattice models,” Physical Review B, vol. 97, no. 10. American Physical Society, 2018.
View | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 328 | OA
G. H. Choueiri, J. M. Lopez Alonso, and B. Hof, “Exceeding the asymptotic limit of polymer drag reduction,” Physical Review Letters, vol. 120, no. 12. American Physiological Society, 2018.
View | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 33 | OA
J. Bertl, H. Ringbauer, and M. Blum, “Can secondary contact following range expansion be distinguished from barriers to gene flow?,” PeerJ, vol. 2018, no. 10. PeerJ Inc , 2018.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Book | IST-REx-ID: 3300
E. M. Clarke, T. A. Henzinger, H. Veith, and R. Bloem, Handbook of Model Checking, 1st ed. Cham: Springer Nature, 2018.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 34 | OA
K. Chatterjee, M. Chemlík, and U. Topcu, “Sensor synthesis for POMDPs with reachability objectives,” presented at the ICAPS: International Conference on Automated Planning and Scheduling, Delft, Netherlands, 2018, vol. 2018, pp. 47–55.
View | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 78 | OA
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, and E. Asarin, “Online timed pattern matching using automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Bejing, China, 2018, vol. 11022, pp. 215–232.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 7812 | OA
A. Polino, R. Pascanu, and D.-A. Alistarh, “Model compression via distillation and quantization,” in 6th International Conference on Learning Representations, Vancouver, Canada, 2018.
View | Files available | arXiv
 

2018 | Conference Paper | IST-REx-ID: 79 | OA
S. Arming, E. Bartocci, K. Chatterjee, J. P. Katoen, and A. Sokolova, “Parameter-independent strategies for pMDPs via POMDPs,” presented at the QEST: Quantitative Evaluation of Systems, Beijing, China, 2018, vol. 11024, pp. 53–70.
View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications