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.

2548 Publications


2019 | Conference Paper | IST-REx-ID: 6035   OA
Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “JuliaReach: A Toolbox for Set-Based Reachability.” In Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, 22:39–44. ACM, n.d. https://doi.org/10.1145/3302504.3311804.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6042   OA
Christakis, Maria, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, and Valentin Wüstholz. “Semantic Fault Localization and Suspiciousness Ranking.” In 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , 11427:226–43. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-17462-0_13.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6648   OA
Edelsbrunner, Herbert, Ziga Virk, and Hubert Wagner. “Topological Data Analysis in Information Space.” In 35th International Symposium on Computational Geometry, 129:31:1-31:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/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.” In International Conference on Verification, Model Checking, and Abstract Interpretation, 11388:468–90. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-11245-5_22.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7014
Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Non-Polynomial Worst-Case Analysis of Recursive Programs.” ACM Transactions on Programming Languages and Systems 41, no. 4 (2019). https://doi.org/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 9, no. 5 (2019): 423-433.e1-e3. https://doi.org/10.1016/j.cels.2019.10.004.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7158
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.” ACM Transactions on Programming Languages and Systems 41, no. 4 (2019). https://doi.org/10.1145/3363525.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6756   OA
Pranav, Pratyush, Robert J. Adler, Thomas Buchert, Herbert Edelsbrunner, Bernard J.T. Jones, Armin Schwartzman, Hubert Wagner, and Rien Van De Weygaert. “Unexpected Topology of the Temperature Fluctuations in the Cosmic Microwave Background.” Astronomy and Astrophysics 627 (2019). https://doi.org/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. https://doi.org/10.15479/AT:ISTA:6681.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6888
Lechner, Mathias, Ramin Hasani, Manuel Zimmer, Thomas A Henzinger, and Radu Grosu. “Designing Worm-Inspired Neural Networks for Interpretable Robotic Control.” In Proceedings - IEEE International Conference on Robotics and Automation, Vol. 2019–May. IEEE, 2019. https://doi.org/10.1109/icra.2019.8793840.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 290   OA
Abanin, Dmitry, Ehud Altman, Immanuel Bloch, and Maksym Serbyn. “Colloquium: Many-Body Localization, Thermalization, and Entanglement.” Reviews of Modern Physics 91, no. 2 (2019): 021001. https://doi.org/10.1103/RevModPhys.91.021001.
View | DOI | Download (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 7083   OA
Kavcic, Bor, Gašper Tkačik, and Tobias Bollenbach. “Mechanistic Origin of Drug Interactions between Translation-Inhibiting Antibiotics.” BioRxiv. Cold Spring Harbor Laboratory, n.d.
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. https://doi.org/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 65, no. 1 (2019): 133–38. https://doi.org/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 576 (2019): 67–78. https://doi.org/10.1016/j.laa.2018.03.002.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 429   OA
Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Stability of the Matrix Dyson Equation and Random Matrices with Correlations.” Probability Theory and Related Fields 173, no. 1–2 (2019): 293–373. https://doi.org/10.1007/s00440-018-0835-z.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5906
Goremykina, Anna, Romain Vasseur, and Maksym Serbyn. “Analytically Solvable Renormalization Group for the Many-Body Localization Transition.” Physical Review Letters 122, no. 4 (2019). https://doi.org/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 9, no. 1 (2019). https://doi.org/10.3390/life9010009.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5817
Kavcic, Bor, A. Sakashita, H. Noguchi, and P. Ziherl. “Limiting Shapes of Confined Lipid Vesicles.” Soft Matter 15, no. 4 (2019): 602–14. https://doi.org/10.1039/c8sm01956h.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6029   OA
Lindner, Marco, Aliz Tresztenyak, Gergö Fülöp, Wiebke Jahr, Adrian Prinz, Iris Prinz, Johann G Danzl, Gerhard J. Schütz, and Eva Sevcsik. “A Fast and Simple Contact Printing Approach to Generate 2D Protein Nanopatterns.” Frontiers in Chemistry 6 (2019). https://doi.org/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 147 (2019): 91–102. https://doi.org/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. https://doi.org/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 39, no. 4 (2019): 1082–98. https://doi.org/10.1017/etds.2017.52.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6093   OA
Goudarzi, Mohammad, Aleix Boquet-Pujadas, Jean Christophe Olivo-Marin, and Erez Raz. “Fluid Dynamics during Bleb Formation in Migrating Cells in Vivo.” PLOS ONE 14, no. 2 (2019). https://doi.org/10.1371/journal.pone.0212699.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6240   OA
Alt, Johannes, László Erdös, Torben H Krüger, and Yuriy Nemish. “Location of the Spectrum of Kronecker Random Matrices.” Annales de l’institut Henri Poincare 55, no. 2 (2019): 661–96. https://doi.org/10.1214/18-AIHP894.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6182   OA
Erdös, László, Torben H Krüger, and Dominik J Schröder. “Random Matrices with Slow Correlation Decay.” Forum of Mathematics, Sigma 7 (2019). https://doi.org/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. https://doi.org/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 349 (2019): 920–40. https://doi.org/10.1016/j.aim.2019.04.031.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6442   OA
Schreck, Camille, Christian Hafner, and Christopher J Wojtan. “Fundamental Solutions for Water Wave Animation.” ACM Transactions on Graphics 38, no. 4 (2019). https://doi.org/10.1145/3306346.3323002.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6454   OA
Ortiz-Álvarez, G, M Daclin, A Shihavuddin, P Lansade, A Fortoul, M Faucourt, S Clavreul, et al. “Adult Neural Stem Cells and Multiciliated Ependymal Cells Share a Common Lineage Regulated by the Geminin Family Members.” Neuron 102, no. 1 (2019): 159–172.e7. https://doi.org/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 28, no. 7 (2019): 1579–81. https://doi.org/10.1111/mec.15048.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6430
Fuchsbauer, Georg, Chethan Kamath Hosdurg, Karen Klein, and Krzysztof Z Pietrzak. “Adaptively Secure Proxy Re-Encryption,” 11443:317–46. Springer Nature, 2019. https://doi.org/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. https://doi.org/10.15479/AT:ISTA:6435.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6586   OA
Ibáñez, Maria, Roger Hasler, Aziz Genç, Yu Liu, Beatrice Kuster, Maximilian Schuster, Oleksandr Dobrozhan, et al. “Ligand-Mediated Band Engineering in Bottom-up Assembled SnTe Nanocomposites for Thermoelectric Energy Conversion.” Journal of the American Chemical Society 141, no. 20 (2019): 8025–29. https://doi.org/10.1021/jacs.9b01394.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6593   OA
Shehu, Yekini, Xiao-Huan Li, and Qiao-Li Dong. “An Efficient Projection-Type Method for Monotone Variational Inequalities in Hilbert Spaces.” Numerical Algorithms, 2019, 1–24. https://doi.org/10.1007/s11075-019-00758-y.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6620   OA
De La Bretèche, Régis, Kevin N Destagnol, Jianya Liu, Jie Wu, and Yongqiang Zhao. “On a Certain Non-Split Cubic Surface.” Science China Mathematics 62, no. 12 (2019): 2435–2446. https://doi.org/10.1007/s11425-018-9543-8.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6632   OA
Karle, Volker, Nicolò Defenu, and Tilman Enss. “Coupled Superfluidity of Binary Bose Mixtures in Two Dimensions.” Physical Review A 99, no. 6 (2019). https://doi.org/10.1103/PhysRevA.99.063627.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6637   OA
Trubenova, Barbora, Martin Krejca, Per Kristian Lehre, and Timo Kötzing. “Surfing on the Seascape: Adaptation in a Changing Environment.” Evolution 73, no. 7 (2019): 1356–74. https://doi.org/10.1111/evo.13784.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6649   OA
Benedikter, Niels P, Phan Thành Nam, Marcello Porta, Benjamin Schlein, and Robert Seiringer. “Optimal Upper Bound for the Correlation Energy of a Fermi Gas in the Mean-Field Regime.” Communications in Mathematical Physics, 2019. https://doi.org/10.1007/s00220-019-03505-5.
View | Files available | DOI | arXiv
 

2019 | Conference Poster | IST-REx-ID: 6485
Koval, Nikita, Dan-Adrian Alistarh, and Roman Elizarov. Lock-Free Channels for Programming via Communicating Sequential Processes. Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming. ACM Press, 2019. https://doi.org/10.1145/3293883.3297000.
View | DOI
 

2019 | Book Chapter | IST-REx-ID: 6726
Walter, Michael. “Sampling the Integers with Low Relative Error.” In Progress in Cryptology – AFRICACRYPT 2019, edited by J Buchmann, A Nitaj, and T Rachidi, 11627:157–80. LNCS. Cham: Springer Nature, 2019. https://doi.org/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 20, no. 10 (2019): 3471–3508. https://doi.org/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 9, no. 17 (2019): 9597–9608. https://doi.org/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 6, no. 2 (2019): 291–92. https://doi.org/10.1093/nsr/nwy113.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 5949
Käfer, Karola, Hugo Malagon-Vina, Desiree Dickerson, Joseph O’Neill, Svenja V. Trossbach, Carsten Korth, and Jozsef L Csicsvari. “Disrupted-in-Schizophrenia 1 Overexpression Disrupts Hippocampal Coding and Oscillatory Synchronization.” Hippocampus 29, no. 9 (2019): 802–16. https://doi.org/10.1002/hipo.23076.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6978   OA
Budanur, Nazmi B, Akshunna Dogra, and Björn Hof. “Geometry of Transient Chaos in Streamwise-Localized Pipe Flow Turbulence.” Physical Review Fluids 4, no. 10 (2019): 102401. https://doi.org/10.1103/PhysRevFluids.4.102401.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6935   OA
Foerster, Klaus-Tycho, Janne Korhonen, Joel Rybicki, and Stefan Schmid. “Does Preprocessing Help under Congestion?” In Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 259–61. ACM, 2019. https://doi.org/10.1145/3293611.3331581.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6896
Oliveira, Bárbara, Aysan Çerağ Yahya, and Gaia Novarino. “Modeling Cell-Cell Interactions in the Brain Using Cerebral Organoids.” Brain Research 1724 (2019). https://doi.org/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. https://doi.org/10.15479/AT:ISTA:7154.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7161
Shehu, Yekini, Aviv Gibali, and Simone Sagratella. “Inertial Projection-Type Methods for Solving Quasi-Variational Inequalities in Real Hilbert Spaces.” Journal of Optimization Theory and Applications, 2019. https://doi.org/10.1007/s10957-019-01616-6.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed