Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




2676 Publications

2019 | Journal Article | IST-REx-ID: 6763
Microwave induced mechanical activation of hydrogel dimers
H.K. Khattak, S.R. Waitukaitis, A.D. Slepkov, Soft Matter 15 (2019) 5804–5809.
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6840   OA
Thermodynamics of inhomogeneous imperfect quantum gases in harmonic traps
K. Mysliwy, M. Napiórkowski, Journal of Statistical Mechanics: Theory and Experiment 2019 (2019).
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7007   OA
A new coding paradigm for the primitive relay channel
M. Mondelli, S.H. Hassani, R. Urbanke, Algorithms 12 (2019).
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 7033
BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage
R. Donahue, M.E. Maes, J. Grosser, R. Nickells, Molecular Neurobiology (2019).
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7095   OA
Completion of BAX recruitment correlates with mitochondrial fission during apoptosis
M.E. Maes, J.A. Grosser, R.L. Fehrman, C.L. Schlamp, R.W. Nickells, Scientific Reports 9 (2019).
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7103   OA
Non-equilibrium critical dynamics of bursts in θ and δ rhythms as fundamental characteristic of sleep and wake micro-architecture
J.W.J.L. Wang, F. Lombardi, X. Zhang, C. Anaclet, P.C. Ivanov, PLOS Computational Biology 15 (2019).
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Book Chapter | IST-REx-ID: 6890
Structural analysis of pleomorphic and asymmetric viruses using cryo-electron tomography and subtomogram averaging
M. Obr, F.K. Schur, in:, F.A. Rey (Ed.), Complementary Strategies to Study Virus Structure and Function, Elsevier, 2019, pp. 117–159.
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6972   OA
Self-stabilising Byzantine clock synchronisation is almost as easy as consensus
C. Lenzen, J. Rybicki, Journal of the ACM 66 (2019).
View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6989   OA
Folding polyominoes with holes into a cube
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, in:, Proceedings of the 31st Canadian Conference on Computational Geometry, Canadian Conference on Computational Geometry, 2019, pp. 164–170.
View | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7002
Optimal multiple importance sampling
I. Kondapaneni, P. Vevoda, P. Grittmann, T. Skrivan, P. Slusallek, J. Křivánek, ACM Transactions on Graphics 38 (2019).
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7146
Molecular and evolutionary dynamics of animal sex-chromosome turnover
B. Vicoso, Nature Ecology & Evolution 3 (2019) 1632–1641.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7108   OA
Shellability is NP-complete
X. Goaoc, P. Patak, Z. Patakova, M. Tancer, U. Wagner, Journal of the ACM 66 (2019).
View | Files available | DOI | Download (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 7122
Gradient compression for communication-limited convex optimization
S. Khirirat, M. Johansson, D.-A. Alistarh, in:, 2018 IEEE Conference on Decision and Control, IEEE, 2019.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7165   OA
Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium
P. Guerrero, R. Perez-Carrasco, M.P. Zagórski, D. Page, A. Kicheva, J. Briscoe, K.M. Page, Development 146 (2019).
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Thesis | IST-REx-ID: 7172   OA
Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana
M.K. Vasileva, Molecular Mechanisms of Endomembrane Trafficking in Arabidopsis Thaliana, IST Austria, 2019.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 7216
LiveTraVeL: Real-time matching of transit vehicle trajectories to transit routes at scale
G.F. Osang, J. Cook, A. Fabrikant, M. Gruteser, in:, 2019 IEEE Intelligent Transportation Systems Conference, IEEE, 2019.
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 7228
Scalable FIFO channels for programming via communicating sequential processes
N. Koval, D.-A. Alistarh, R. Elizarov, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2019, pp. 317–333.
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 7230   OA
Extending simple drawings
A.M. Arroyo Guevara, M. Derka, I. Parada, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2019, pp. 230–243.
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7235   OA
Divergence of the effective mass of a polaron in the strong coupling limit
E.H. Lieb, R. Seiringer, Journal of Statistical Physics (2019).
View | DOI | Download (ext.)
 
2019 | Journal Article | IST-REx-ID: 5828 View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6092   OA
Quantum many-body dynamics of the Einstein-de Haas effect
J.H. Mentink, M. Katsnelson, M. Lemeshko, Physical Review B 99 (2019).
View | DOI | Download (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6042   OA
Semantic fault localization and suspiciousness ranking
M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2019, pp. 226–243.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6648   OA
Topological data analysis in information space
H. Edelsbrunner, Z. Virk, H. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 31:1-31:14.
View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 5948
Termination of nondeterministic probabilistic programs
H. Fu, K. Chatterjee, in:, International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2019, pp. 468–490.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7026   OA
Emergent gene expression responses to drug combinations predict higher-order drug interactions
M. Lukacisin, T. Bollenbach, Cell Systems 9 (2019) 423-433.e1-e3.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 7158
Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth
K. Chatterjee, A.K. Goharshady, P. Goyal, R. Ibsen-Jensen, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 41 (2019).
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6756   OA
Unexpected topology of the temperature fluctuations in the cosmic microwave background
P. Pranav, R.J. Adler, T. Buchert, H. Edelsbrunner, B.J.T. Jones, A. Schwartzman, H. Wagner, R. Van De Weygaert, Astronomy and Astrophysics 627 (2019).
View | Files available | DOI | arXiv
 
2019 | Thesis | IST-REx-ID: 6681
Algorithmic aspects of homotopy theory and embeddability
S.Y. Zhechev, Algorithmic Aspects of Homotopy Theory and Embeddability, IST Austria, 2019.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6888
Designing worm-inspired neural networks for interpretable robotic control
M. Lechner, R. Hasani, M. Zimmer, T.A. Henzinger, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2019.
View | DOI
 
2019 | Preprint | IST-REx-ID: 7083   OA
Mechanistic origin of drug interactions between translation-inhibiting antibiotics
B. Kavcic, G. Tkačik, T. Bollenbach, BioRxiv (n.d.).
View | Download (ext.)
 
2019 | Journal Article | IST-REx-ID: 7420   OA
GGA2 and RAB13 promote activity-dependent β1-integrin recycling
P. Sahgal, J.H. Alanko, J. Icha, I. Paatero, H. Hamidi, A. Arjonen, M. Pietilä, A. Rokka, J. Ivaska, Journal of Cell Science 132 (2019) jcs233387.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 7437   OA
Distributed learning over unreliable networks
C. Yu, H. Tang, C. Renggli, S. Kassing, A. Singla, D.-A. Alistarh, C. Zhang, J. Liu, in:, 36th International Conference on Machine Learning, ICML 2019, IMLS, 2019, pp. 12481–12512.
View | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7418
MIS compensation: Optimizing sampling techniques in multiple importance sampling
O. Karlík, M. Šik, P. Vévoda, T. Skrivan, J. Křivánek, ACM Transactions on Graphics 38 (2019) 151.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7413   OA
Bogoliubov theory in the Gross–Pitaevskii limit
C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein, Acta Mathematica 222 (2019) 219–335.
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7393   OA
Genomic architecture of parallel ecological divergence: Beyond a single environmental contrast
H.E. Morales, R. Faria, K. Johannesson, T. Larsson, M. Panova, A.M. Westram, R.K. Butlin, Science Advances 5 (2019) eaav9963.
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7406
Isolation of synaptic vesicles from genetically engineered cultured neurons
C. Mckenzie, M. Spanova, A.J. Johnson, S. Kainrath, V. Zheden, H.H. Sitte, H.L. Janovjak, Journal of Neuroscience Methods 312 (2019) 114–121.
View | DOI | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 7401   OA
Z_2-Genus of graphs and minimum rank of partial symmetric matrices
R. Fulek, J. Kyncl, in:, 35th International Symposium on Computational Geometry (SoCG 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 39.
View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6035   OA
JuliaReach: A toolbox for set-based reachability
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 39–44.
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 7398   OA
A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2
F.A. Erdem, M. Ilic, P. Koppensteiner, J. Gołacki, G. Lubec, M. Freissmuth, W. Sandtner, The Journal of General Physiology 151 (2019) 1035–1050.
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6186   OA
Cusp universality for random matrices, II: The real symmetric case
G. Cipolloni, L. Erdös, T.H. Krüger, D.J. Schröder, Pure and Applied Analysis 1 (2019) 615–707.
View | Files available | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6857   OA
Gene Drives: Dynamics and regulatory matters – A report from the workshop “Evaluation of spatial and temporal control of Gene Drives”, 4 – 5 April 2019, Vienna
B. Giese, J.L. Friess, M.F. Schetelig, N.H. Barton, P. Messer, F. Debarre, H. Meimberg, N. Windbichler, C. Boete, BioEssays 41 (2019) 1900151.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 5789
Fluidization-mediated tissue spreading by mitotic cell rounding and non-canonical Wnt signalling
N. Petridou, S. Grigolon, G. Salbreux, E.B. Hannezo, C.-P.J. Heisenberg, Nature Cell Biology 21 (2019) 169–178.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 7468   OA
Map inference via block-coordinate Frank-Wolfe algorithm
P. Swoboda, V. Kolmogorov, in:, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE, 2019, pp. 11138–11147.
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7451   OA
Finite-size scaling of the photon-blockade breakdown dissipative quantum phase transition
A. Vukics, A. Dombi, J.M. Fink, P. Domokos, Quantum 3 (2019) 150.
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 5986   OA
A proof of the orbit conjecture for flipping edge-labelled triangulations
A. Lubiw, Z. Masárová, U. Wagner, Discrete & Computational Geometry 61 (2019) 880–898.
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 7014
Non-polynomial worst-case analysis of recursive programs
K. Chatterjee, H. Fu, A.K. Goharshady, ACM Transactions on Programming Languages and Systems 41 (2019).
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 6713   OA
An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice
J.P. Castro, M.N. Yancoskie, M. Marchini, S. Belohlavy, L. Hiramatsu, M. Kučka, W.H. Beluch, R. Naumann, I. Skuplik, J. Cobb, N.H. Barton, C. Rolian, Y.F. Chan, ELife 8 (2019) e42014.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6338
Hippocampal reactivation of random trajectories resembling Brownian diffusion
F. Stella, P. Baracskay, J. O’Neill, J.L. Csicsvari, Neuron 102 (2019) 1–12.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 151   OA View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7160
Anatomical specializations related to foraging in the visual system of a nocturnal insectivorous bird, the band-winged nightjar (Aves: Caprimulgiformes)
J.E. Salazar, D. Severin, T.A. Vega Zuniga, P. Fernández-Aburto, A. Deichler, M. Sallaberry A., J. Mpodozis, Brain, Behavior and Evolution 94 (2019) 27–36.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Export / Embed