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.

5436 Publications


2019 | Conference Paper | IST-REx-ID: 7228
Koval, Nikita, Dan-Adrian Alistarh, and Roman Elizarov. “Scalable FIFO Channels for Programming via Communicating Sequential Processes.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11725:317–33. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-29400-7_23.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7230   OA
Arroyo Guevara, Alan M, Martin Derka, and Irene Parada. “Extending Simple Drawings.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11904:230–43. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-35802-0_18.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7235   OA
Lieb, Elliott H., and Robert Seiringer. “Divergence of the Effective Mass of a Polaron in the Strong Coupling Limit.” Journal of Statistical Physics, 2019. https://doi.org/10.1007/s10955-019-02322-3.
View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 5828
Xu, Haibing, Peter Baracskay, Joseph O’Neill, and Jozsef L Csicsvari. “Assembly Responses of Hippocampal CA1 Place Cells Predict Learned Behavior in Goal-Directed Spatial Tasks on the Radial Eight-Arm Maze.” Neuron 101, no. 1 (2019): 119–132.e4. https://doi.org/10.1016/j.neuron.2018.11.015.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6092   OA
Mentink, Johann H, Mikhail Katsnelson, and Mikhail Lemeshko. “Quantum Many-Body Dynamics of the Einstein-de Haas Effect.” Physical Review B 99, no. 6 (2019). https://doi.org/10.1103/PhysRevB.99.064428.
View | 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: 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: 7280   OA
Kwak, Won-Jin, Hun Kim, Yann K. Petit, Christian Leypold, Trung Thien Nguyen, Nika Mahne, Paul Redfern, et al. “Deactivation of Redox Mediators in Lithium-Oxygen Batteries by Singlet Oxygen.” Nature Communications 10 (2019): 1380. https://doi.org/10.1038/s41467-019-09399-0.
View | Files available | DOI
 

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: 7420   OA
Sahgal, Pranshu, Jonna H Alanko, Jaroslav Icha, Ilkka Paatero, Hellyeh Hamidi, Antti Arjonen, Mika Pietilä, Anne Rokka, and Johanna Ivaska. “GGA2 and RAB13 Promote Activity-Dependent Β1-Integrin Recycling.” Journal of Cell Science 132, no. 11 (2019): jcs233387. https://doi.org/10.1242/jcs.233387.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7437   OA
Yu, Chen, Hanlin Tang, Cedric Renggli, Simon Kassing, Ankit Singla, Dan-Adrian Alistarh, Ce Zhang, and Ji Liu. “Distributed Learning over Unreliable Networks.” In 36th International Conference on Machine Learning, ICML 2019, 2019–June:12481–512. IMLS, 2019.
View | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7418
Karlík, Ondřej, Martin Šik, Petr Vévoda, Tomas Skrivan, and Jaroslav Křivánek. “MIS Compensation: Optimizing Sampling Techniques in Multiple Importance Sampling.” ACM Transactions on Graphics 38, no. 6 (2019): 151. https://doi.org/10.1145/3355089.3356565.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7413   OA
Boccato, Chiara, Christian Brennecke, Serena Cenatiempo, and Benjamin Schlein. “Bogoliubov Theory in the Gross–Pitaevskii Limit.” Acta Mathematica 222, no. 2 (2019): 219–335. https://doi.org/10.4310/acta.2019.v222.n2.a1.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7393   OA
Morales, Hernán E., Rui Faria, Kerstin Johannesson, Tomas Larsson, Marina Panova, Anja M Westram, and Roger K. Butlin. “Genomic Architecture of Parallel Ecological Divergence: Beyond a Single Environmental Contrast.” Science Advances 5, no. 12 (2019): eaav9963. https://doi.org/10.1126/sciadv.aav9963.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7406
Mckenzie, Catherine, Miroslava Spanova, Alexander J Johnson, Stephanie Kainrath, Vanessa Zheden, Harald H. Sitte, and Harald L Janovjak. “Isolation of Synaptic Vesicles from Genetically Engineered Cultured Neurons.” Journal of Neuroscience Methods 312 (2019): 114–21. https://doi.org/10.1016/j.jneumeth.2018.11.018.
View | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7401   OA
Fulek, Radoslav, and Jan Kyncl. “Z_2-Genus of Graphs and Minimum Rank of Partial Symmetric Matrices.” In 35th International Symposium on Computational Geometry (SoCG 2019), 129:39. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.SOCG.2019.39.
View | Files available | DOI | arXiv
 

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, 2019. https://doi.org/10.1145/3302504.3311804.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 7398   OA
Erdem, Fatma Asli, Marija Ilic, Peter Koppensteiner, Jakub Gołacki, Gert Lubec, Michael Freissmuth, and Walter Sandtner. “A Comparison of the Transport Kinetics of Glycine Transporter 1 and Glycine Transporter 2.” The Journal of General Physiology 151, no. 8 (2019): 1035–50. https://doi.org/10.1085/jgp.201912318.
View | Files available | DOI | PubMed | Europe PMC
 

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 | Thesis | IST-REx-ID: 6179
Schröder, Dominik J. From Dyson to Pearcey: Universal Statistics in Random Matrix Theory. IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:th6179.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6186   OA
Cipolloni, Giorgio, László Erdös, Torben H Krüger, and Dominik J Schröder. “Cusp Universality for Random Matrices, II: The Real Symmetric Case.” Pure and Applied Analysis 1, no. 4 (2019): 615–707. https://doi.org/10.2140/paa.2019.1.615.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6857   OA
Giese, B, J L Friess, M F Schetelig, Nicholas H Barton, Philip Messer, Florence Debarre, H Meimberg, N Windbichler, and C Boete. “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.” BioEssays 41, no. 11 (2019): 1900151. https://doi.org/10.1002/bies.201900151.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5789
Petridou, Nicoletta, Silvia Grigolon, Guillaume Salbreux, Edouard B Hannezo, and Carl-Philipp J Heisenberg. “Fluidization-Mediated Tissue Spreading by Mitotic Cell Rounding and Non-Canonical Wnt Signalling.” Nature Cell Biology 21 (2019): 169–178. https://doi.org/10.1038/s41556-018-0247-4.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7468   OA
Swoboda, Paul, and Vladimir Kolmogorov. “Map Inference via Block-Coordinate Frank-Wolfe Algorithm.” In Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2019–June:11138–47. IEEE, 2019. https://doi.org/10.1109/CVPR.2019.01140.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7451   OA
Vukics, A., A. Dombi, Johannes M Fink, and P. Domokos. “Finite-Size Scaling of the Photon-Blockade Breakdown Dissipative Quantum Phase Transition.” Quantum 3 (2019): 150. https://doi.org/10.22331/q-2019-06-03-150.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 5986   OA
Lubiw, Anna, Zuzana Masárová, and Uli Wagner. “A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations.” Discrete & Computational Geometry 61, no. 4 (2019): 880–98. https://doi.org/10.1007/s00454-018-0035-8.
View | Files available | DOI | arXiv
 

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 | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6477   OA
Abanin, Dmitry A., 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 | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6713   OA
Castro, João Pl, Michelle N. Yancoskie, Marta Marchini, Stefanie Belohlavy, Layla Hiramatsu, Marek Kučka, William H. Beluch, et al. “An Integrative Genomic Analysis of the Longshanks Selection Experiment for Longer Limbs in Mice.” ELife 8 (2019): e42014. https://doi.org/10.7554/eLife.42014.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6338
Stella, Federico, Peter Baracskay, Joseph O’Neill, and Jozsef L Csicsvari. “Hippocampal Reactivation of Random Trajectories Resembling Brownian Diffusion.” Neuron 102 (2019): 1–12. https://doi.org/10.1016/j.neuron.2019.01.052.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 151   OA
Fischer, Julian L, and Olivier Kneuss. “Bi-Sobolev Solutions to the Prescribed Jacobian Inequality in the Plane with L p Data and Applications to Nonlinear Elasticity.” Journal of Differential Equations 266, no. 1 (2019): 257–311. https://doi.org/10.1016/j.jde.2018.07.045.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7160
Salazar, Juan Esteban, Daniel Severin, Tomas A Vega Zuniga, Pedro Fernández-Aburto, Alfonso Deichler, Michel Sallaberry A., and Jorge Mpodozis. “Anatomical Specializations Related to Foraging in the Visual System of a Nocturnal Insectivorous Bird, the Band-Winged Nightjar (Aves: Caprimulgiformes).” Brain, Behavior and Evolution 94, no. 1–4 (2019): 27–36. https://doi.org/10.1159/000504162.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6819   OA
Antoniou, Michael N., Armel Nicolas, Robin Mesnage, Martina Biserni, Francesco V. Rao, and Cristina Vazquez Martin. “Glyphosate Does Not Substitute for Glycine in Proteins of Actively Dividing Mammalian Cells.” BMC Research Notes 12 (2019): 494. https://doi.org/10.1186/s13104-019-4534-3.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6511   OA
Bao, Zhigang, László Erdös, and Kevin Schnelli. “Local Single Ring Theorem on Optimal Scale.” Annals of Probability 47, no. 3 (2019): 1270–1334. https://doi.org/10.1214/18-AOP1284.
View | DOI | Download (ext.) | arXiv
 

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: 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: 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 | Conference Paper | IST-REx-ID: 6163
Biswas, Ranita, Gaëlle Largeteau-Skapin, Rita Zrour, and Eric Andres. “Rhombic Dodecahedron Grid—Coordinate System and 3D Digital Object Definitions.” In Lecture Notes in Computer Science, 11414:27–37. Berlin, Heidelberg: Springer Berlin Heidelberg, 2019. https://doi.org/10.1007/978-3-030-14085-4_3.
View | DOI
 

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: 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 | 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: 6663
Mondelli, Marco, Hamed Hassani, and Rudiger Urbanke. “Construction of Polar Codes with Sublinear Complexity.” IEEE 65, no. 5 (2019): 2782–91. https://doi.org/10.1109/tit.2018.2889667.
View | Files available | DOI | Download (ext.) | arXiv
 

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
 

2019 | Preprint | IST-REx-ID: 7084   OA
Ghosh, Sayak, Michael Matty, Ryan Baumbach, Eric D. Bauer, Kimberly A Modic, Arkady Shekhter, J. A. Mydosh, Eun-Ah Kim, and B. J. Ramshaw. “Single-Component Order Parameter in URu2Si2 Uncovered by Resonant  Ultrasound Spectroscopy and Machine Learning.” ArXiv:1903.00552, n.d.
View | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7128   OA
Torrini, Consuelo, Ryan J Cubero, Ellen Dirkx, Luca Braga, Hashim Ali, Giulia Prosdocimo, Maria Ines Gutierrez, et al. “Common Regulatory Pathways Mediate Activity of MicroRNAs Inducing Cardiomyocyte Proliferation.” Cell Reports 27, no. 9 (2019): 2759–2771.e5. https://doi.org/10.1016/j.celrep.2019.05.005.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7130   OA
Cubero, Ryan J, Junghyo Jo, Matteo Marsili, Yasser Roudi, and Juyong Song. “Statistical Criticality Arises in Most Informative Representations.” Journal of Statistical Mechanics: Theory and Experiment 2019, no. 6 (2019). https://doi.org/10.1088/1742-5468/ab16c8.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7010
Davies, Heather S., Natalia S. Baranova, Nouha El Amri, Liliane Coche-Guérente, Claude Verdier, Lionel Bureau, Ralf P. Richter, and Delphine Débarre. “Blood Cell-Vessel Wall Interactions Probed by Reflection Interference Contrast Microscopy.” In Advances in Microscopic Imaging II, Vol. 11076. SPIE, 2019. https://doi.org/10.1117/12.2527058.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7015   OA
Lewin, Mathieu, Elliott H. Lieb, and Robert Seiringer. “Floating Wigner Crystal with No Boundary Charge Fluctuations.” Physical Review B 100, no. 3 (2019). https://doi.org/10.1103/physrevb.100.035127.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6985   OA
Hasani, Ramin, Alexander Amini, Mathias Lechner, Felix Naser, Radu Grosu, and Daniela Rus. “Response Characterization for Auditing Cell Dynamics in Long Short-Term Memory Networks.” In Proceedings of the International Joint Conference on Neural Networks. IEEE, 2019. https://doi.org/10.1109/ijcnn.2019.8851954.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7197   OA
Dos Santos Caldas, Paulo R, Maria D Lopez Pelegrin, Daniel J. G. Pearce, Nazmi B Budanur, Jan Brugués, and Martin Loose. “Cooperative Ordering of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinker ZapA.” Nature Communications 10 (2019). https://doi.org/10.1038/s41467-019-13702-4.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7200   OA
Brighi, Pietro, Marco Grilli, Brigitte Leridon, and Sergio Caprara. “Effect of Anomalous Diffusion of Fluctuating Cooper Pairs on the Density of States of Superconducting NbN Thin Films.” Physical Review B 100, no. 17 (2019). https://doi.org/10.1103/PhysRevB.100.174518.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7205
Johannesson, Kerstin, Zuzanna Zagrodzka, Rui Faria, Anja M Westram, and Roger K. Butlin. “Is Embryo Abortion a Post-Zygotic Barrier to Gene Flow between Littorina Ecotypes?” Journal of Evolutionary Biology, 2019. https://doi.org/10.1111/jeb.13570.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6377
Dejonghe, Wim, Isha Sharma, Bram Denoo, Steven De Munck, Qing Lu, Kiril Mishev, Haydar Bulut, et al. “Disruption of Endocytosis through Chemical Inhibition of Clathrin Heavy Chain Function.” Nature Chemical Biology 15, no. 6 (2019): 641–649. https://doi.org/10.1038/s41589-019-0262-1.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6947
Assen, Frank P. Lymph Node Mechanics: Deciphering the Interplay between Stroma Contractility, Morphology and Lymphocyte Trafficking. IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6947.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5886   OA
Li, Xiang, Giacomo Bighin, Enderalp Yakaboylu, and Mikhail Lemeshko. “Variational Approaches to Quantum Impurities: From the Fröhlich Polaron to the Angulon.” Molecular Physics, 2019. https://doi.org/10.1080/00268976.2019.1567852.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6428
Ferrere, Thomas, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, and James Kapinski. “Interface-Aware Signal Temporal Logic.” In Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, 57–66. ACM, 2019. https://doi.org/10.1145/3302504.3311800.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6601
Hannezo, Edouard B, and Carl-Philipp J Heisenberg. “Mechanochemical Feedback Loops in Development and Disease.” Cell 178, no. 1 (2019): 12–25. https://doi.org/10.1016/j.cell.2019.05.052.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6808
Jahr, Wiebke, Philipp Velicky, and Johann G Danzl. “Strategies to Maximize Performance in STimulated Emission Depletion (STED) Nanoscopy of Biological Specimens.” Methods, n.d. https://doi.org/10.1016/j.ymeth.2019.07.019.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 6822   OA
Avni, Guy, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Petr Novotny. “Bidding Games on Markov Decision Processes.” In Proceedings of the 13th International Conference of Reachability Problems, 11674:1–12. Springer, 2019. https://doi.org/10.1007/978-3-030-30806-3_1.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6884   OA
Avni, Guy, Thomas A Henzinger, and Dorde Zikelic. “Bidding Mechanisms in Graph Games,” Vol. 138. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.MFCS.2019.11.
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6889   OA
Chatterjee, Krishnendu, and Nir Piterman. “Combinations of Qualitative Winning for Stochastic Parity Games,” Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.6.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6942   OA
Ashok, Pranav, Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský, Christoph Lampert, and Viktor Toman. “Strategy Representation by Decision Trees with Linear Classifiers.” In 16th International Conference on Quantitative Evaluation of Systems, 11785:109–28. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-30281-8_7.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6980   OA
Petridou, Nicoletta, and Carl-Philipp J Heisenberg. “Tissue Rheology in Embryonic Organization.” The EMBO Journal 38, no. 20 (2019). https://doi.org/10.15252/embj.2019102497.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6891
Kopf, Aglaja. The Implication of Cytoskeletal Dynamics on Leukocyte Migration. IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6891.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6877
Kopf, Aglaja, and Michael K Sixt. “The Neural Crest Pitches in to Remove Apoptotic Debris.” Cell 179, no. 1 (2019): 51–53. https://doi.org/10.1016/j.cell.2019.08.047.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7109
Ferrere, Thomas, Oded Maler, Dejan Ničković, and Amir Pnueli. “From Real-Time Logic to Timed Automata.” Journal of the ACM 66, no. 3 (2019). https://doi.org/10.1145/3286976.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7147
Guet, Calin C, Thomas A Henzinger, Claudia Igler, Tatjana Petrov, and Ali Sezgin. “Transient Memory in Gene Regulation.” In 17th International Conference on Computational Methods in Systems Biology, 11773:155–87. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-31304-3_9.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7159
Ničković, Dejan, Xin Qin, Thomas Ferrere, Cristinel Mateis, and Jyotirmoy Deshmukh. “Shape Expressions for Specifying and Extracting Signal Features.” In 19th International Conference on Runtime Verification, 11757:292–309. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-32079-9_17.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed