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.

6502 Publications


2018 | Journal Article | IST-REx-ID: 33 | OA
Bertl, Johanna, Harald Ringbauer, and Michaël Blum. “Can Secondary Contact Following Range Expansion Be Distinguished from Barriers to Gene Flow?” PeerJ. PeerJ Inc , 2018. https://doi.org/10.7717/peerj.5325.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Book | IST-REx-ID: 3300
Clarke, Edmund M., Thomas A Henzinger, Helmut Veith, and Roderick Bloem. Handbook of Model Checking. 1st ed. Springer, 2018. https://doi.org/10.1007/978-3-319-10575-8.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 34 | OA
Chatterjee, Krishnendu, Martin Chemlík, and Ufuk Topcu. “Sensor Synthesis for POMDPs with Reachability Objectives,” 2018:47–55. AAAI Press, 2018.
View | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 36 | OA
Vu, Lam, Tingting Zhu, Inge Verstraeten, Brigitte Van De Cotte, Kris Gevaert, and Ive De Smet. “Temperature-Induced Changes in the Wheat Phosphoproteome Reveal Temperature-Regulated Interconversion of Phosphoforms.” Journal of Experimental Botany. Oxford University Press, 2018. https://doi.org/10.1093/jxb/ery204.
View | Files available | DOI
 

2018 | Book Chapter | IST-REx-ID: 37 | OA
Zagórski, Marcin P, and Anna Kicheva. “Measuring Dorsoventral Pattern and Morphogen Signaling Profiles in the Growing Neural Tube.” In Morphogen Gradients , 1863:47–63. MIMB. Springer Nature, 2018. https://doi.org/10.1007/978-1-4939-8772-6_4.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 35 | OA
Chatterjee, Krishnendu, Wolfgang Dvorák, Monika Henzinger, and Alexander Svozil. “Algorithms and Conditional Lower Bounds for Planning Problems.” In 28th International Conference on Automated Planning and Scheduling . AAAI Press, 2018.
View | Files available | Download None (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 187 | OA
Edelsbrunner, Herbert, and Georg F Osang. “The Multi-Cover Persistence of Euclidean Balls,” Vol. 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. https://doi.org/10.4230/LIPIcs.SoCG.2018.34.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 131 | OA
Picard, Marion A L, Celine Cosseau, Sabrina Ferré, Thomas Quack, Christoph Grevelding, Yohann Couté, and Beatriz Vicoso. “Evolution of Gene Dosage on the Z-Chromosome of Schistosome Parasites.” ELife. eLife Sciences Publications, 2018. https://doi.org/10.7554/eLife.35684.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5586 | OA
Vicoso, Beatriz. “Input Files and Scripts from ‘Evolution of Gene Dosage on the Z-Chromosome of Schistosome Parasites’ by Picard M.A.L., et Al (2018).” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:109.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5999 | OA
Yang, Yaping, and Gufang Zhao. “The Cohomological Hall Algebra of a Preprojective Algebra.” Proceedings of the London Mathematical Society. Oxford University Press, 2018. https://doi.org/10.1112/plms.12111.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 9471 | OA
Frost, Jennifer M., M. Yvonne Kim, Guen Tae Park, Ping-Hung Hsieh, Miyuki Nakamura, Samuel J. H. Lin, Hyunjin Yoo, et al. “FACT Complex Is Required for DNA Demethylation at Heterochromatin during Reproduction in Arabidopsis.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2018. https://doi.org/10.1073/pnas.1713333115.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 9567 | OA
Krivelevich, Michael, Matthew Alan Kwan, Po‐Shen Loh, and Benny Sudakov. “The Random K‐matching‐free Process.” Random Structures and Algorithms. Wiley, 2018. https://doi.org/10.1002/rsa.20814.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 9565 | OA
Ferber, Asaf, Matthew Alan Kwan, and Benny Sudakov. “Counting Hamilton Cycles in Sparse Random Directed Graphs.” Random Structures and Algorithms. Wiley, 2018. https://doi.org/10.1002/rsa.20815.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 9568 | OA
Kwan, Matthew Alan, and Benny Sudakov. “Intercalates and Discrepancy in Random Latin Squares.” Random Structures and Algorithms. Wiley, 2018. https://doi.org/10.1002/rsa.20742.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 9587 | OA
Kwan, Matthew Alan, Benny Sudakov, and Pedro Vieira. “Non-Trivially Intersecting Multi-Part Families.” Journal of Combinatorial Theory Series A. Elsevier, 2018. https://doi.org/10.1016/j.jcta.2017.12.001.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 9659 | OA
Cheng, Bingqing, and Michele Ceriotti. “Communication: Computing the Tolman Length for Solid-Liquid Interfaces.” The Journal of Chemical Physics. AIP Publishing, 2018. https://doi.org/10.1063/1.5038396.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC | arXiv
 

2018 | Journal Article | IST-REx-ID: 9668 | OA
Cheng, Bingqing, Christoph Dellago, and Michele Ceriotti. “Theoretical Prediction of the Homogeneous Ice Nucleation Rate: Disentangling Thermodynamics and Kinetics.” Physical Chemistry Chemical Physics. Royal Society of Chemistry, 2018. https://doi.org/10.1039/c8cp04561e.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC | arXiv
 

2018 | Journal Article | IST-REx-ID: 9665 | OA
Cheng, Bingqing, Anthony T. Paxton, and Michele Ceriotti. “Hydrogen Diffusion and Trapping in α-Iron: The Role of Quantum and Anharmonic Fluctuations.” Physical Review Letters. American Physical Society, 2018. https://doi.org/10.1103/physrevlett.120.225901.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC | arXiv
 

2018 | Journal Article | IST-REx-ID: 9687 | OA
Cheng, Bingqing, and Michele Ceriotti. “Computing the Absolute Gibbs Free Energy in Atomistic Simulations: Applications to Defects in Solids.” Physical Review B. American Physical Society, 2018. https://doi.org/10.1103/physrevb.97.054102.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 612 | OA
Luján, Rafael, Carolina Aguado, Francisco Ciruela, Javier Cózar, David Kleindienst, Luis De La Ossa, Bernhard Bettler, et al. “Differential Association of GABAB Receptors with Their Effector Ion Channels in Purkinje Cells.” Brain Structure and Function. Springer, 2018. https://doi.org/10.1007/s00429-017-1568-y.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 449 | OA
Prat, Tomas, Jakub Hajny, Wim Grunewald, Mina K Vasileva, Gergely Molnar, Ricardo Tejos, Markus Schmid, Michael Sauer, and Jiří Friml. “WRKY23 Is a Component of the Transcriptional Network Mediating Auxin Feedback on PIN Polarity.” PLoS Genetics. Public Library of Science, 2018. https://doi.org/10.1371/journal.pgen.1007177.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 191 | OA
Grones, Peter, Melinda F Abas, Jakub Hajny, Angharad Jones, Sascha Waidmann, Jürgen Kleine Vehn, and Jiří Friml. “PID/WAG-Mediated Phosphorylation of the Arabidopsis PIN3 Auxin Transporter Mediates Polarity Switches during Gravitropism.” Scientific Reports. Springer, 2018. https://doi.org/10.1038/s41598-018-28188-1.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 15 | OA
Hons, Miroslav, Aglaja Kopf, Robert Hauschild, Alexander F Leithner, Florian R Gärtner, Jun Abe, Jörg Renkawitz, Jens Stein, and Michael K Sixt. “Chemokines and Integrins Independently Tune Actin Flow and Substrate Friction during Intranodal Migration of T Cells.” Nature Immunology. Nature Publishing Group, 2018. https://doi.org/10.1038/s41590-018-0109-z.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 402 | OA
Brown, Markus, Frank P Assen, Alexander F Leithner, Jun Abe, Helga Schachner, Gabriele Asfour, Zsuzsanna Bagó Horváth, et al. “Lymph Node Blood Vessels Provide Exit Routes for Metastatic Tumor Cell Dissemination in Mice.” Science. American Association for the Advancement of Science, 2018. https://doi.org/10.1126/science.aal3662.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 412 | OA
Adamowski, Maciek, Madhumitha Narasimhan, Urszula Kania, Matous Glanc, Geert De Jaeger, and Jiří Friml. “A Functional Study of AUXILIN LIKE1 and 2 Two Putative Clathrin Uncoating Factors in Arabidopsis.” The Plant Cell. American Society of Plant Biologists, 2018. https://doi.org/10.1105/tpc.17.00785.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2018 | Thesis | IST-REx-ID: 6263 | OA
Lukacisinova, Marta. “Genetic Determinants of Antibiotic Resistance Evolution.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th1072.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 51 | OA
Case, Matthew J. “From the Left to the Right: A Tale of Asymmetries, Environments, and Hippocampal Development.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_1032.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5914 | OA
Rangel Guerrero, Dámaris K, James G. Donnett, Jozsef L Csicsvari, and Krisztián Kovács. “Tetrode Recording from the Hippocampus of Behaving Mice Coupled with Four-Point-Irradiation Closed-Loop Optogenetics: A Technique to Study the Contribution of Hippocampal SWR Events to Learning.” ENeuro. Society of Neuroscience, 2018. https://doi.org/10.1523/ENEURO.0087-18.2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 395 | OA
Tarlungeanu, Dora-Clara. “The Branched Chain Amino Acids in Autism Spectrum Disorders .” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_992.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 28
Contreras, Ximena, and Simon Hippenmeyer. “Incorrect Trafficking Route Leads to Autism.” Brain a Journal of Neurology. Oxford University Press, 2018. https://doi.org/10.1093/brain/awy218.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 544 | OA
György, Attila, Marko Roblek, Aparna Ratheesh, Katarina Valosková, Vera Belyaeva, Stephanie Wachner, Yutaka Matsubayashi, Besaiz Sanchez Sanchez, Brian Stramer, and Daria E Siekhaus. “Tools Allowing Independent Visualization and Genetic Manipulation of Drosophila Melanogaster Macrophages and Surrounding Tissues.” G3: Genes, Genomes, Genetics. Genetics Society of America, 2018. https://doi.org/10.1534/g3.117.300452.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 323 | OA
Leithner, Alexander F. “Branched Actin Networks in Dendritic Cell Biology.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_998.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 10 | OA
Laukoter, Susanne. “Role of Genomic Imprinting in Cerebral Cortex Development.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th1057.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 539 | OA
Hurny, Andrej. “Identification and Characterization of Novel Auxin-Cytokinin Cross-Talk Components.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_930.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 48 | OA
Gridchyn, Igor. “Reactivation Content Is Important for Consolidation of Spatial Memory.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_1042.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 9 | OA
Belyaeva, Vera. “Transcriptional Regulation of Macrophage Migration in the Drosophila Melanogaster Embryo .” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th1064.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 21 | OA
Espinoza Martinez, Claudia M, José Guzmán, Xiaomin Zhang, and Peter M Jonas. “Parvalbumin+ Interneurons Obey Unique Connectivity Rules and Establish a Powerful Lateral-Inhibition Microcircuit in Dentate Gyrus.” Nature Communications. Nature Publishing Group, 2018. https://doi.org/10.1038/s41467-018-06899-3.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 67 | OA
Igler, Claudia, Mato Lagator, Gašper Tkačik, Jonathan P Bollback, and Calin C Guet. “Evolutionary Potential of Transcription Factors for Gene Regulatory Rewiring.” Nature Ecology and Evolution. Nature Publishing Group, 2018. https://doi.org/10.1038/s41559-018-0651-y.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5585 | OA
Igler, Claudia, Mato Lagator, Gašper Tkačik, Jonathan P Bollback, and Calin C Guet. “Data for the Paper Evolutionary Potential of Transcription Factors for Gene Regulatory Rewiring.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:108.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 6266 | OA
Mckenzie, Catherine. “Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission .” IST Austria, 2018. https://doi.org/10.15479/at:ista:th_1055.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 422 | OA
Kühnen, Jakob, Davide Scarselli, Markus Schaner, and Björn Hof. “Relaminarization by Steady Modification of the Streamwise Velocity Profile in a Pipe.” Flow Turbulence and Combustion. Springer, 2018. https://doi.org/10.1007/s10494-018-9896-4.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 461 | OA
Kühnen, Jakob, Baofang Song, Davide Scarselli, Nazmi B Budanur, Michael Riedl, Ashley Willis, Marc Avila, and Björn Hof. “Destabilizing Turbulence in Pipe Flow.” Nature Physics. Nature Publishing Group, 2018. https://doi.org/10.1038/s41567-017-0018-3.
View | Files available | DOI | Download Preprint (ext.)
 

2018 | Thesis | IST-REx-ID: 50 | OA
Capek, Daniel. “Optogenetic Frizzled 7 Reveals a Permissive Function of Wnt/PCP Signaling in Directed Mesenchymal Cell Migration.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:TH_1031.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 26 | OA
Steinrück, Magdalena. “The Influence of Sequence Context on the Evolution of Bacterial Gene Expression.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th1059.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 311 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Yaron Velner. “Quantitative Analysis of Smart Contracts,” 10801:739–67. Springer, 2018. https://doi.org/10.1007/978-3-319-89884-1_26.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 6340 | OA
Goharshady, Amir Kafshdar, Ali Behrouz, and Krishnendu Chatterjee. “Secure Credit Reporting on the Blockchain.” In Proceedings of the IEEE International Conference on Blockchain, 1343–48. IEEE, 2018. https://doi.org/10.1109/Cybermatics_2018.2018.00231.
View | Files available | DOI | arXiv
 

2018 | Journal Article | IST-REx-ID: 6009 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.” ACM Transactions on Programming Languages and Systems. Association for Computing Machinery (ACM), 2018. https://doi.org/10.1145/3210257.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 5977 | OA
Chatterjee, Krishnendu, Hongfei Fu, Amir Kafshdar Goharshady, and Nastaran Okati. “Computational Approaches for Stochastic Shortest Path on Succinct MDPs.” In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018:4700–4707. IJCAI, 2018. https://doi.org/10.24963/ijcai.2018/653.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 66 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Yaron Velner. “Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies,” Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. https://doi.org/10.4230/LIPIcs.CONCUR.2018.11.
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 265
Browning, Timothy D, and Pankaj Vishe. “Rational Curves on Smooth Hypersurfaces of Low Degree.” Geometric Methods in Algebra and Number Theory. Mathematical Sciences Publishers, 2017. https://doi.org/10.2140/ant.2017.11.1657.
View | DOI
 

Search

Filter Publications