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.




2521 Publications

2019 | Conference Paper | IST-REx-ID: 6042   OA
Christakis, Maria, et al. “Semantic Fault Localization and Suspiciousness Ranking.” 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , vol. 11427, Springer Nature, 2019, pp. 226–43, doi:10.1007/978-3-030-17462-0_13.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6648   OA
Edelsbrunner, Herbert, et al. “Topological Data Analysis in Information Space.” 35th International Symposium on Computational Geometry, vol. 129, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 31:1-31:14, doi:10.4230/LIPICS.SOCG.2019.31.
View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 5948
Fu, Hongfei, and Krishnendu Chatterjee. “Termination of Nondeterministic Probabilistic Programs.” International Conference on Verification, Model Checking, and Abstract Interpretation, vol. 11388, Springer Nature, 2019, pp. 468–90, doi:10.1007/978-3-030-11245-5_22.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7014
Chatterjee, Krishnendu, et al. “Non-Polynomial Worst-Case Analysis of Recursive Programs.” ACM Transactions on Programming Languages and Systems, vol. 41, no. 4, 20, ACM, 2019, doi:10.1145/3339984.
View | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 7026   OA
Lukacisin, Martin, and Tobias Bollenbach. “Emergent Gene Expression Responses to Drug Combinations Predict Higher-Order Drug Interactions.” Cell Systems, vol. 9, no. 5, Cell Press, 2019, pp. 423-433.e1-e3, doi:10.1016/j.cels.2019.10.004.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 7158
Chatterjee, Krishnendu, et al. “Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.” ACM Transactions on Programming Languages and Systems, vol. 41, no. 4, 23, ACM, 2019, doi:10.1145/3363525.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6756   OA
Pranav, Pratyush, et al. “Unexpected Topology of the Temperature Fluctuations in the Cosmic Microwave Background.” Astronomy and Astrophysics, vol. 627, A163, EDP Sciences, 2019, doi:10.1051/0004-6361/201834916.
View | Files available | DOI | arXiv
 
2019 | Thesis | IST-REx-ID: 6681
Zhechev, Stephan Y. Algorithmic Aspects of Homotopy Theory and Embeddability. IST Austria, 2019, doi:10.15479/AT:ISTA:6681.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6888
Lechner, Mathias, et al. “Designing Worm-Inspired Neural Networks for Interpretable Robotic Control.” Proceedings - IEEE International Conference on Robotics and Automation, vol. 2019–May, 8793840, IEEE, 2019, doi:10.1109/icra.2019.8793840.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 290   OA
Abanin, Dmitry, et al. “Colloquium: Many-Body Localization, Thermalization, and Entanglement.” Reviews of Modern Physics , vol. 91, no. 2, American Physical Society, 2019, p. 021001, doi:10.1103/RevModPhys.91.021001.
View | DOI | Download (ext.) | arXiv
 
2019 | Preprint | IST-REx-ID: 7083   OA
Kavcic, Bor, et al. “Mechanistic Origin of Drug Interactions between Translation-Inhibiting Antibiotics.” BioRxiv, Cold Spring Harbor Laboratory.
View | Download (ext.)
 
2019 | Thesis | IST-REx-ID: 6371
Igler, Claudia. On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation. IST Austria, 2019, doi:10.15479/AT:ISTA:6371.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 138   OA
Nikolic, Nela. “Autoregulation of Bacterial Gene Expression: Lessons from the MazEF Toxin–Antitoxin System.” Current Genetics, vol. 65, no. 1, Springer, 2019, pp. 133–38, doi:10.1007/s00294-018-0879-8.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 405   OA
Virosztek, Daniel. “Jointly Convex Quantum Jensen Divergences.” Linear Algebra and Its Applications, vol. 576, Elsevier, 2019, pp. 67–78, doi:10.1016/j.laa.2018.03.002.
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 429   OA
Ajanki, Oskari H., et al. “Stability of the Matrix Dyson Equation and Random Matrices with Correlations.” Probability Theory and Related Fields, vol. 173, no. 1–2, Springer, 2019, pp. 293–373, doi:10.1007/s00440-018-0835-z.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 5906
Goremykina, Anna, et al. “Analytically Solvable Renormalization Group for the Many-Body Localization Transition.” Physical Review Letters, vol. 122, no. 4, 040601, APS Physics, 2019, doi:10.1103/physrevlett.122.040601.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 5944   OA
Corominas-Murtra, Bernat. “Thermodynamics of Duplication Thresholds in Synthetic Protocell Systems.” Life, vol. 9, no. 1, 9, MDPI, 2019, doi:10.3390/life9010009.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 5817
Kavcic, Bor, et al. “Limiting Shapes of Confined Lipid Vesicles.” Soft Matter, vol. 15, no. 4, Royal Society of Chemistry (RSC), 2019, pp. 602–14, doi:10.1039/c8sm01956h.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6029   OA
Lindner, Marco, et al. “A Fast and Simple Contact Printing Approach to Generate 2D Protein Nanopatterns.” Frontiers in Chemistry, vol. 6, 655, Frontiers Media S.A., 2019, doi:10.3389/fchem.2018.00655.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6050   OA
Akopyan, Arseniy, and Roman Fedorov. “Two Circles and Only a Straightedge.” Proceedings of the American Mathematical Society, vol. 147, AMS, 2019, pp. 91–102, doi:10.1090/proc/14240.
View | DOI | Download (ext.) | arXiv
 
2019 | Research Data | IST-REx-ID: 6074   OA
Dotter, Christoph, and Gaia Novarino. Supplementary Data for the Research Paper “Haploinsufficiency of the Intellectual Disability Gene SETD5 Disturbs Developmental Gene Expression and Cognition.” IST Austria, 2019, doi:10.15479/AT:ISTA:6074.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6086   OA
Sadel, Christian, and Disheng Xu. “Singular Analytic Linear Cocycles with Negative Infinite Lyapunov Exponents.” Ergodic Theory and Dynamical Systems, vol. 39, no. 4, Cambridge University Press, 2019, pp. 1082–98, doi:10.1017/etds.2017.52.
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6093   OA
Goudarzi, Mohammad, et al. “Fluid Dynamics during Bleb Formation in Migrating Cells in Vivo.” PLOS ONE, vol. 14, no. 2, e0212699, Public Library of Science, 2019, doi:10.1371/journal.pone.0212699.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6240   OA
Alt, Johannes, et al. “Location of the Spectrum of Kronecker Random Matrices.” Annales de l’institut Henri Poincare, vol. 55, no. 2, 2019, pp. 661–96, doi:10.1214/18-AIHP894.
View | Files available | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6182   OA
Erdös, László, et al. “Random Matrices with Slow Correlation Decay.” Forum of Mathematics, Sigma, vol. 7, e8, Cambridge University Press, 2019, doi:10.1017/fms.2019.2.
View | Files available | DOI | arXiv
 
2019 | Thesis | IST-REx-ID: 6269   OA
Narasimhan, Madhumitha. Clathrin-Mediated Endocytosis, Post-Endocytic Trafficking and Their Regulatory Controls in Plants . IST Austria, 2019, doi:10.15479/at:ista:th1075.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6310   OA
Browning, Timothy D., and L. Q. Hu. “ Counting Rational Points on Biquadratic Hypersurfaces.” Advances in Mathematics, vol. 349, Elsevier, 2019, pp. 920–40, doi:10.1016/j.aim.2019.04.031.
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 6442   OA
Schreck, Camille, et al. “Fundamental Solutions for Water Wave Animation.” ACM Transactions on Graphics, vol. 38, no. 4, 130, ACM, 2019, doi:10.1145/3306346.3323002.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6454   OA
Ortiz-Álvarez, G., et al. “Adult Neural Stem Cells and Multiciliated Ependymal Cells Share a Common Lineage Regulated by the Geminin Family Members.” Neuron, vol. 102, no. 1, Elsevier, 2019, p. 159–172.e7, doi:10.1016/j.neuron.2019.01.051.
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6466   OA
Field, David, and Christelle Fraisse. “Breaking down Barriers in Morning Glories.” Molecular Ecology, vol. 28, no. 7, Wiley, 2019, pp. 1579–81, doi:10.1111/mec.15048.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6430
Fuchsbauer, Georg, et al. Adaptively Secure Proxy Re-Encryption. Vol. 11443, Springer Nature, 2019, pp. 317–46, doi:10.1007/978-3-030-17259-6_11.
View | DOI
 
2019 | Thesis | IST-REx-ID: 6435
Casillas Perez, Barbara E. Collective Defenses of Garden Ants against a Fungal Pathogen. IST Austria, 2019, doi:10.15479/AT:ISTA:6435.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6586   OA
Ibáñez, Maria, et al. “Ligand-Mediated Band Engineering in Bottom-up Assembled SnTe Nanocomposites for Thermoelectric Energy Conversion.” Journal of the American Chemical Society, vol. 141, no. 20, ACS, 2019, pp. 8025–29, doi:10.1021/jacs.9b01394.
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6593   OA
Shehu, Yekini, et al. “An Efficient Projection-Type Method for Monotone Variational Inequalities in Hilbert Spaces.” Numerical Algorithms, Springer Nature, 2019, pp. 1–24, doi:10.1007/s11075-019-00758-y.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6620   OA
De La Bretèche, Régis, et al. “On a Certain Non-Split Cubic Surface.” Science China Mathematics, vol. 62, no. 12, Springer, 2019, pp. 2435–2446, doi:10.1007/s11425-018-9543-8.
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6632   OA
Karle, Volker, et al. “Coupled Superfluidity of Binary Bose Mixtures in Two Dimensions.” Physical Review A, vol. 99, no. 6, 063627, APS, 2019, doi:10.1103/PhysRevA.99.063627.
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6637   OA
Trubenova, Barbora, et al. “Surfing on the Seascape: Adaptation in a Changing Environment.” Evolution, vol. 73, no. 7, Wiley, 2019, pp. 1356–74, doi:10.1111/evo.13784.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6649   OA
Benedikter, Niels P., et al. “Optimal Upper Bound for the Correlation Energy of a Fermi Gas in the Mean-Field Regime.” Communications in Mathematical Physics, Springer, 2019, doi:10.1007/s00220-019-03505-5.
View | Files available | DOI | arXiv
 
2019 | Conference Poster | IST-REx-ID: 6485
Koval, Nikita, et al. “Lock-Free Channels for Programming via Communicating Sequential Processes.” Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming, ACM Press, 2019, pp. 417–18, doi:10.1145/3293883.3297000.
View | DOI
 
2019 | Book Chapter | IST-REx-ID: 6726
Walter, Michael. “Sampling the Integers with Low Relative Error.” Progress in Cryptology – AFRICACRYPT 2019, edited by J Buchmann et al., vol. 11627, Springer Nature, 2019, pp. 157–80, doi:10.1007/978-3-030-23696-0_9.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6788   OA
Leopold, Nikolai K., and Sören P. Petrat. “Mean-Field Dynamics for the Nelson Model with Fermions.” Annales Henri Poincare, vol. 20, no. 10, Springer Nature, 2019, pp. 3471–3508, doi:10.1007/s00023-019-00828-w.
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 6795   OA
Trubenova, Barbora, and Reinmar Hager. “Green Beards in the Light of Indirect Genetic Effects.” Ecology and Evolution, vol. 9, no. 17, Wiley, 2019, pp. 9597–608, doi:10.1002/ece3.5484.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6858
Barton, Nicholas H. “Is Speciation Driven by Cycles of Mixing and Isolation?” National Science Review, vol. 6, no. 2, Oxford University Press, 2019, pp. 291–92, doi:10.1093/nsr/nwy113.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 5949
Käfer, Karola, et al. “Disrupted-in-Schizophrenia 1 Overexpression Disrupts Hippocampal Coding and Oscillatory Synchronization.” Hippocampus, vol. 29, no. 9, Wiley, 2019, pp. 802–16, doi:10.1002/hipo.23076.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6978   OA
Budanur, Nazmi B., et al. “Geometry of Transient Chaos in Streamwise-Localized Pipe Flow Turbulence.” Physical Review Fluids, vol. 4, no. 10, American Physical Society, 2019, p. 102401, doi:10.1103/PhysRevFluids.4.102401.
View | DOI | Download (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6935   OA
Foerster, Klaus-Tycho, et al. “Does Preprocessing Help under Congestion?” Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, ACM, 2019, pp. 259–61, doi:10.1145/3293611.3331581.
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6896
Oliveira, Bárbara, et al. “Modeling Cell-Cell Interactions in the Brain Using Cerebral Organoids.” Brain Research, vol. 1724, 146458, Elsevier, 2019, doi:10.1016/j.brainres.2019.146458.
View | DOI | PubMed | Europe PMC
 
2019 | Research Data | IST-REx-ID: 7154   OA
Guseinov, Ruslan. Supplementary Data for “Programming Temporal Morphing of Self-Actuated Shells.” IST Austria, 2019, doi:10.15479/AT:ISTA:7154.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 7161
Shehu, Yekini, et al. “Inertial Projection-Type Methods for Solving Quasi-Variational Inequalities in Real Hilbert Spaces.” Journal of Optimization Theory and Applications, Springer Nature, 2019, doi:10.1007/s10957-019-01616-6.
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 7010
Davies, Heather S., et al. “Blood Cell-Vessel Wall Interactions Probed by Reflection Interference Contrast Microscopy.” Advances in Microscopic Imaging II, vol. 11076, 110760V, SPIE, 2019, doi:10.1117/12.2527058.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed