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.

3496 Publications


2018 | Journal Article | IST-REx-ID: 322 | OA
Ganev, Iordan V. “Quantizations of Multiplicative Hypertoric Varieties at a Root of Unity.” Journal of Algebra. World Scientific Publishing, 2018. https://doi.org/10.1016/j.jalgebra.2018.03.015.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Thesis | IST-REx-ID: 324 | OA
Chen, Chong. “Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter Release.” IST Austria, 2018. https://doi.org/10.15479/AT:ISTA:th_997.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 325 | OA
Agrawal, Sheshansh, Krishnendu Chatterjee, and Petr Novotný. “Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs,” Vol. 2. ACM, 2018. https://doi.org/10.1145/3158122.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 326 | OA
Sawada, Kazuaki, Ryosuke Kawakami, Ryuichi Shigemoto, and Tomomi Nemoto. “Super Resolution Structural Analysis of Dendritic Spines Using Three-Dimensional Structured Illumination Microscopy in Cleared Mouse Brain Slices.” European Journal of Neuroscience. Wiley, 2018. https://doi.org/10.1111/ejn.13901.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 327 | OA
Michailidis, Alexios, Marko Žnidarič, Mariya Medvedyeva, Dmitry Abanin, Tomaž Prosen, and Zlatko Papić. “Slow Dynamics in Translation-Invariant Quantum Lattice Models.” Physical Review B. American Physical Society, 2018. https://doi.org/10.1103/PhysRevB.97.104307.
View | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 328 | OA
Choueiri, George H, Jose M Lopez Alonso, and Björn Hof. “Exceeding the Asymptotic Limit of Polymer Drag Reduction.” Physical Review Letters. American Physiological Society, 2018. https://doi.org/10.1103/PhysRevLett.120.124501.
View | DOI | Download Preprint (ext.)
 

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: 40 | OA
Barton, Nicholas H. “The Consequences of an Introgression Event.” Molecular Ecology. Wiley-Blackwell, 2018. https://doi.org/10.1111/mec.14950.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 20 | OA
Higareda Almaraz, Juan, Michael Karbiener, Maude Giroud, Florian Pauler, Teresa Gerhalter, Stephan Herzig, and Marcel Scheideler. “Norepinephrine Triggers an Immediate-Early Regulatory Network Response in Primary Human White Adipocytes.” BMC Genomics. BioMed Central, 2018. https://doi.org/10.1186/s12864-018-5173-0.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 82 | OA
Chaudhry, Waqas, Maros Pleska, Nilang Shah, Howard Weiss, Ingrid Mccall, Justin Meyer, Animesh Gupta, Calin C Guet, and Bruce Levin. “Leaky Resistance and the Conditions for the Existence of Lytic Bacteriophage.” PLoS Biology. Public Library of Science, 2018. https://doi.org/10.1371/journal.pbio.2005971.
View | Files available | DOI
 

2018 | Research Data Reference | IST-REx-ID: 9807
Higareda Almaraz, Juan, Michael Karbiener, Maude Giroud, Florian Pauler, Teresa Gerhalter, Stephan Herzig, and Marcel Scheideler. “Additional File 1: Of Norepinephrine Triggers an Immediate-Early Regulatory Network Response in Primary Human White Adipocytes.” Springer Nature, 2018. https://doi.org/10.6084/m9.figshare.7295339.v1.
View | Files available | DOI
 

2018 | Research Data Reference | IST-REx-ID: 9808
Higareda Almaraz, Juan, Michael Karbiener, Maude Giroud, Florian Pauler, Teresa Gerhalter, Stephan Herzig, and Marcel Scheideler. “Additional File 3: Of Norepinephrine Triggers an Immediate-Early Regulatory Network Response in Primary Human White Adipocytes.” Springer Nature, 2018. https://doi.org/10.6084/m9.figshare.7295369.v1.
View | Files available | DOI
 

2018 | Research Data Reference | IST-REx-ID: 9811
Zapata, Luis, Oriol Pich, Luis Serrano, Fyodor Kondrashov, Stephan Ossowski, and Martin Schaefer. “Additional File 1: Of Negative Selection in Tumor Genome Evolution Acts on Essential Cellular Functions and the Immunopeptidome.” Springer Nature, 2018. https://doi.org/10.6084/m9.figshare.6401390.v1.
View | Files available | DOI
 

2018 | Research Data Reference | IST-REx-ID: 9810
Chaudhry, Waqas, Maros Pleska, Nilang Shah, Howard Weiss, Ingrid Mccall, Justin Meyer, Animesh Gupta, Calin C Guet, and Bruce Levin. “Numerical Data Used in Figures.” Public Library of Science, 2018. https://doi.org/10.1371/journal.pbio.2005971.s008.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 279 | OA
Zapata, Luis, Oriol Pich, Luis Serrano, Fyodor Kondrashov, Stephan Ossowski, and Martin Schaefer. “Negative Selection in Tumor Genome Evolution Acts on Essential Cellular Functions and the Immunopeptidome.” Genome Biology. BioMed Central, 2018. https://doi.org/10.1186/s13059-018-1434-0.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 198 | OA
Ibsen-Jensen, Rasmus, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. “Language Acquisition with Communication between Learners.” Journal of the Royal Society Interface. Royal Society, 2018. https://doi.org/10.1098/rsif.2018.0073.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 316 | OA
Bod’ová, Katarína, Tadeas Priklopil, David Field, Nicholas H Barton, and Melinda Pickup. “Evolutionary Pathways for the Generation of New Self-Incompatibility Haplotypes in a Non-Self Recognition System.” Genetics. Genetics Society of America, 2018. https://doi.org/10.1534/genetics.118.300748.
View | Files available | DOI | Download Preprint (ext.)
 

2018 | Research Data Reference | IST-REx-ID: 9813
Bod’ová, Katarína, Tadeas Priklopil, David Field, Nicholas H Barton, and Melinda Pickup. “Supplemental Material for Boďová et Al., 2018.” Genetics Society of America, 2018. https://doi.org/10.25386/genetics.6148304.v1.
View | Files available | DOI
 

2018 | Research Data Reference | IST-REx-ID: 9812
Zapata, Luis, Oriol Pich, Luis Serrano, Fyodor Kondrashov, Stephan Ossowski, and Martin Schaefer. “Additional File 2: Of Negative Selection in Tumor Genome Evolution Acts on Essential Cellular Functions and the Immunopeptidome.” Springer Nature, 2018. https://doi.org/10.6084/m9.figshare.6401414.v1.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 406 | OA
Bod’Ová, Katarína, Gabriel Mitchell, Roy Harpaz, Elad Schneidman, and Gašper Tkačik. “Probabilistic Models of Individual and Collective Animal Behavior.” PLoS One. Public Library of Science, 2018. https://doi.org/10.1371/journal.pone.0193049.
View | Files available | DOI
 

2018 | Research Data Reference | IST-REx-ID: 9831
Bod’Ová, Katarína, Gabriel Mitchell, Roy Harpaz, Elad Schneidman, and Gašper Tkačik. “Implementation of the Inference Method in Matlab.” Public Library of Science, 2018. https://doi.org/10.1371/journal.pone.0193049.s001.
View | Files available | DOI
 

2018 | Research Data Reference | IST-REx-ID: 9837
Faria, Rui, Pragya Chaube, Hernán E. Morales, Tomas Larsson, Alan R. Lemmon, Emily M. Lemmon, Marina Rafajlović, et al. “Data from: Multiple Chromosomal Rearrangements in a Hybrid Zone between Littorina Saxatilis Ecotypes.” Dryad, 2018. https://doi.org/10.5061/dryad.72cg113.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 162 | OA
Kaucka M, Petersen J, Tesarova M, Szarowska B, Kastriti M, Xie M, Kicheva A, Annusver K, Kasper M, Symmons O, Pan L, Spitz F, Kaiser J, Hovorakova M, Zikmund T, Sunadome K, Matise MP, Wang H, Marklund U, Abdo H, Ernfors P, Maire P, Wurmser M, Chagin AS, Fried K, Adameyko I. 2018. Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage. eLife. 7, e34465.
View | Files available | DOI
 

2018 | Research Data Reference | IST-REx-ID: 9838
Kaucka M, Petersen J, Tesarova M, Szarowska B, Kastriti ME, Xie M, Kicheva A, Annusver K, Kasper M, Symmons O, Pan L, Spitz F, Kaiser J, Hovorakova M, Zikmund T, Sunadome K, Matise MP, Wang H, Marklund U, Abdo H, Ernfors P, Maire P, Wurmser M, Chagin AS, Fried K, Adameyko I. 2018. Data from: Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage, Dryad, 10.5061/dryad.f1s76f2.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 448 | OA
Harrison M, Jongepier E, Robertson H, Arning N, Bitard Feildel T, Chao H, Childers C, Dinh H, Doddapaneni H, Dugan S, Gowin J, Greiner C, Han Y, Hu H, Hughes D, Huylmans AK, Kemena K, Kremer L, Lee S, López Ezquerra A, Mallet L, Monroy Kuhn J, Moser A, Murali S, Muzny D, Otani S, Piulachs M, Poelchau M, Qu J, Schaub F, Wada Katsumata A, Worley K, Xie Q, Ylla G, Poulsen M, Gibbs R, Schal C, Richards S, Belles X, Korb J, Bornberg Bauer E. 2018. Hemimetabolous genomes reveal molecular basis of termite eusociality. Nature Ecology and Evolution. 2(3), 557–566.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 564 | OA
Barton, Nicholas H, and Alison Etheridge. “Establishment in a New Habitat by Polygenic Adaptation.” Theoretical Population Biology. Academic Press, 2018. https://doi.org/10.1016/j.tpb.2017.11.007.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 423 | OA
Payne, Pavel, Lukas Geyrhofer, Nicholas H Barton, and Jonathan P Bollback. “CRISPR-Based Herd Immunity Can Limit Phage Epidemics in Bacterial Populations.” ELife. eLife Sciences Publications, 2018. https://doi.org/10.7554/eLife.32035.
View | Files available | DOI
 

2018 | Research Data Reference | IST-REx-ID: 9841
Harrison MC, Jongepier E, Robertson HM, Arning N, Bitard-Feildel T, Chao H, Childers CP, Dinh H, Doddapaneni H, Dugan S, Gowin J, Greiner C, Han Y, Hu H, Hughes DST, Huylmans AK, Kemena C, Kremer LPM, Lee SL, Lopez-Ezquerra A, Mallet L, Monroy-Kuhn JM, Moser A, Murali SC, Muzny DM, Otani S, Piulachs M-D, Poelchau M, Qu J, Schaub F, Wada-Katsumata A, Worley KC, Xie Q, Ylla G, Poulsen M, Gibbs RA, Schal C, Richards S, Belles X, Korb J, Bornberg-Bauer E. 2018. Data from: Hemimetabolous genomes reveal molecular basis of termite eusociality, Dryad, 10.5061/dryad.51d4r.
View | Files available | DOI
 

2018 | Research Data Reference | IST-REx-ID: 9840
Payne, Pavel, Lukas Geyrhofer, Nicholas H Barton, and Jonathan P Bollback. “Data from: CRISPR-Based Herd Immunity Limits Phage Epidemics in Bacterial Populations.” Dryad, 2018. https://doi.org/10.5061/dryad.42n44.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 315 | OA
Polechova, Jitka. “Is the Sky the Limit? On the Expansion Threshold of a Species’ Range.” PLoS Biology. Public Library of Science, 2018. https://doi.org/10.1371/journal.pbio.2005372.
View | Files available | DOI
 

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: 9917 | OA
Westram, Anja M, Marina Rafajlović, Pragya Chaube, Rui Faria, Tomas Larsson, Marina Panova, Mark Ravinet, et al. “Clines on the Seashore: The Genomic Architecture Underlying Rapid Divergence in the Face of Gene Flow.” Evolution Letters. Wiley, 2018. https://doi.org/10.1002/evl3.74.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 9915 | OA
Hollander, Johan, Mauricio Montaño-Rendón, Giuseppe Bianco, Xi Yang, Anja M Westram, Ludovic Duvaux, David G. Reid, and Roger K. Butlin. “Are Assortative Mating and Genital Divergence Driven by Reinforcement?” Evolution Letters. Wiley, 2018. https://doi.org/10.1002/evl3.85.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Research Data Reference | IST-REx-ID: 9930
Westram, Anja M, Marina Rafajlović, Pragya Chaube, Rui Faria, Tomas Larsson, Marina Panova, Mark Ravinet, et al. “Data from: Clines on the Seashore: The Genomic Architecture Underlying Rapid Divergence in the Face of Gene Flow.” Dryad, 2018. https://doi.org/10.5061/dryad.bp25b65.
View | Files available | DOI
 

2018 | Research Data Reference | IST-REx-ID: 9929
Hollander, Johan, Mauricio Montaño-Rendón, Giuseppe Bianco, Xi Yang, Anja M Westram, Ludovic Duvaux, David G. Reid, and Roger K. Butlin. “Data from: Are Assortative Mating and Genital Divergence Driven by Reinforcement?” Dryad, 2018. https://doi.org/10.5061/dryad.51sd2p5.
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
 

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
 

Filters and Search Terms

extern<>1

Search

Filter Publications