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.

5424 Publications


2019 | Conference Paper | IST-REx-ID: 6725   OA
Kolmogorov, Vladimir. “Testing the Complexity of a Valued CSP Language.” In 46th International Colloquium on Automata, Languages and Programming, 132:77:1-77:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.ICALP.2019.77.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6821
Yourick, Miranda R., Benjamin A. Sandkam, William J Gammerdinger, Daniel Escobar-Camacho, Sri Pratima Nandamuri, Frances E. Clark, Brendan Joyce, Matthew A. Conte, Thomas D. Kocher, and Karen L. Carleton. “Diurnal Variation in Opsin Expression and Common Housekeeping Genes Necessitates Comprehensive Normalization Methods for Quantitative Real-Time PCR Analyses.” Molecular Ecology Resources 19, no. 6 (2019): 1447–60. https://doi.org/10.1111/1755-0998.13062.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6763
Khattak, Hamza K., Scott R Waitukaitis, and Aaron D. Slepkov. “Microwave Induced Mechanical Activation of Hydrogel Dimers.” Soft Matter 15, no. 29 (2019): 5804–9. https://doi.org/10.1039/c9sm00756c.
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). https://doi.org/10.1186/s13104-019-4534-3.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 5986
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: 6840   OA
Mysliwy, Krzysztof, and Marek Napiórkowski. “Thermodynamics of Inhomogeneous Imperfect Quantum Gases in Harmonic Traps.” Journal of Statistical Mechanics: Theory and Experiment 2019, no. 6 (2019). https://doi.org/10.1088/1742-5468/ab190d.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7057   OA
Modic, Kimberly A, Tobias Meng, Filip Ronning, Eric D. Bauer, Philip J. W. Moll, and B. J. Ramshaw. “Thermodynamic Signatures of Weyl Fermions in NbP.” Scientific Reports 9, no. 1 (2019). https://doi.org/10.1038/s41598-018-38161-7.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7007   OA
Mondelli, Marco, S. Hamed Hassani, and Rüdiger Urbanke. “A New Coding Paradigm for the Primitive Relay Channel.” Algorithms 12, no. 10 (2019). https://doi.org/10.3390/a12100218.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 7033
Donahue, RJ, Margaret E Maes, JA Grosser, and RW Nickells. “BAX-Depleted Retinal Ganglion Cells Survive and Become Quiescent Following Optic Nerve Damage.” Molecular Neurobiology, 2019. https://doi.org/10.1007/s12035-019-01783-7.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7095   OA
Maes, Margaret E, J. A. Grosser, R. L. Fehrman, C. L. Schlamp, and R. W. Nickells. “Completion of BAX Recruitment Correlates with Mitochondrial Fission during Apoptosis.” Scientific Reports 9 (2019). https://doi.org/10.1038/s41598-019-53049-w.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7103   OA
Wang, Jilin W. J. L., Fabrizio Lombardi, Xiyun Zhang, Christelle Anaclet, and Plamen Ch. Ivanov. “Non-Equilibrium Critical Dynamics of Bursts in θ and δ Rhythms as Fundamental Characteristic of Sleep and Wake Micro-Architecture.” PLOS Computational Biology 15, no. 11 (2019). https://doi.org/10.1371/journal.pcbi.1007268.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Book Chapter | IST-REx-ID: 6890
Obr, Martin, and Florian KM Schur. “Structural Analysis of Pleomorphic and Asymmetric Viruses Using Cryo-Electron Tomography and Subtomogram Averaging.” In Complementary Strategies to Study Virus Structure and Function, edited by Félix A. Rey, 105:117–59. Advances in Virus Research. Elsevier, 2019. https://doi.org/10.1016/bs.aivir.2019.07.008.
View | DOI | PubMed | Europe PMC
 

2019 | Preprint | IST-REx-ID: 6965   OA
Rychlewicz, Kamil P. “The Positivity of Local Equivariant Hirzebruch Class for Toric Varieties.” ArXiv. ArXiv, n.d.
View | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6972   OA
Lenzen, Christoph, and Joel Rybicki. “Self-Stabilising Byzantine Clock Synchronisation Is Almost as Easy as Consensus.” Journal of the ACM 66, no. 5 (2019). https://doi.org/10.1145/3339471.
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6989   OA
Aichholzer, Oswin, Hugo A Akitaya, Kenneth C Cheung, Erik D Demaine, Martin L Demaine, Sandor P Fekete, Linda Kleist, et al. “Folding Polyominoes with Holes into a Cube.” In Proceedings of the 31st Canadian Conference on Computational Geometry, 164–70. Canadian Conference on Computational Geometry, 2019.
View | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7002
Kondapaneni, Ivo, Petr Vevoda, Pascal Grittmann, Tomas Skrivan, Philipp Slusallek, and Jaroslav Křivánek. “Optimal Multiple Importance Sampling.” ACM Transactions on Graphics 38, no. 4 (2019). https://doi.org/10.1145/3306346.3323009.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7146
Vicoso, Beatriz. “Molecular and Evolutionary Dynamics of Animal Sex-Chromosome Turnover.” Nature Ecology & Evolution 3, no. 12 (2019): 1632–41. https://doi.org/10.1038/s41559-019-1050-8.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7108   OA
Goaoc, Xavier, Pavel Patak, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Shellability Is NP-Complete.” Journal of the ACM 66, no. 3 (2019). https://doi.org/10.1145/3314024.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7122
Khirirat, Sarit, Mikael Johansson, and Dan-Adrian Alistarh. “Gradient Compression for Communication-Limited Convex Optimization.” In 2018 IEEE Conference on Decision and Control. IEEE, 2019. https://doi.org/10.1109/cdc.2018.8619625.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7204
Li, Yang, Yaping Wang, Shutang Tan, Zhen Li, Zhi Yuan, Matous Glanc, David Domjan, et al. “Root Growth Adaptation Is Mediated by PYLs ABA Receptor-PP2A Protein Phosphatase Complex.” Advanced Science, 2019. https://doi.org/10.1002/advs.201901455.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7165   OA
Guerrero, Pilar, Ruben Perez-Carrasco, Marcin P Zagórski, David Page, Anna Kicheva, James Briscoe, and Karen M. Page. “Neuronal Differentiation Influences Progenitor Arrangement in the Vertebrate Neuroepithelium.” Development 146, no. 23 (2019). https://doi.org/10.1242/dev.176297.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 7172   OA
Vasileva, Mina K. Molecular Mechanisms of Endomembrane Trafficking in Arabidopsis Thaliana. IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:7172.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7216
Osang, Georg F, James Cook, Alex Fabrikant, and Marco Gruteser. “LiveTraVeL: Real-Time Matching of Transit Vehicle Trajectories to Transit Routes at Scale.” In 2019 IEEE Intelligent Transportation Systems Conference. IEEE, 2019. https://doi.org/10.1109/ITSC.2019.8917514.
View | DOI
 

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 | 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 | 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: 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
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed