Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




5258 Publications

2018 | Published | Conference Paper | IST-REx-ID: 310 | OA
Chatterjee, Krishnendu, Wolfgang Dvorák, Monika H Henzinger, and Veronika Loitzenbauer. “Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter,” 2341–56. ACM, 2018. https://doi.org/10.1137/1.9781611975031.151.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Journal Article | IST-REx-ID: 312 | OA
Edelsbrunner, Herbert, and Mabel Iglesias Ham. “On the Optimality of the FCC Lattice for Soft Sphere Packing.” SIAM J Discrete Math. Society for Industrial and Applied Mathematics , 2018. https://doi.org/10.1137/16M1097201.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 314 | OA
Bauer, Guntram, Nikta Fakhri, Anna Kicheva, Jané Kondev, Karsten Kruse, Hiroyuki Noji, Daniel Riveline, Timothy Saunders, Mukund Thatta, and Eric Wieschaus. “The Science of Living Matter for Tomorrow.” Cell Systems. Cell Press, 2018. https://doi.org/10.1016/j.cels.2018.04.003.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2018 | Published | 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.
[Published Version] View | Files available | DOI
 
2018 | Published | Journal Article | IST-REx-ID: 316 | OA
Bodova, Katarina, 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.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 317 | OA
Brauns, Matthias, Sergey Amitonov, Paul Spruijtenburg, and Floris Zwanenburg. “Palladium Gates for Reproducible Quantum Dots in Silicon.” Scientific Reports. Nature Publishing Group, 2018. https://doi.org/10.1038/s41598-018-24004-y.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 318 | OA
Casano, Alessandra M, and Michael K Sixt. “A Fat Lot of Good for Wound Healing.” Developmental Cell. Cell Press, 2018. https://doi.org/10.1016/j.devcel.2018.02.009.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2018 | Published | Journal Article | IST-REx-ID: 32 | OA
Chen, Ting, Bartosz Kula, Balint Nagy, Ruxandra Barzan, Andrea Gall, Ingrid Ehrlich, and Maria Kukley. “In Vivo Regulation of Oligodendrocyte Processor Cell Proliferation and Differentiation by the AMPA-Receptor Subunit GluA2.” Cell Reports. Elsevier, 2018. https://doi.org/10.1016/j.celrep.2018.09.066.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 321 | OA
Darrell, Trevor, Christoph Lampert, Nico Sebe, Ying Wu, and Yan Yan. “Guest Editors’ Introduction to the Special Section on Learning with Shared Information for Computer Vision and Multimedia Analysis.” IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2018. https://doi.org/10.1109/TPAMI.2018.2804998.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | 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.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | 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.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | 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.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2018 | Published | 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 Physical Society, 2018. https://doi.org/10.1103/PhysRevLett.120.124501.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2018 | Published | 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, 2018. https://doi.org/10.7717/peerj.5325.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2018 | Published | Book | IST-REx-ID: 3300
Clarke, Edmund M., Thomas A Henzinger, Helmut Veith, and Roderick Bloem. Handbook of Model Checking. 1st ed. Cham: Springer Nature, 2018. https://doi.org/10.1007/978-3-319-10575-8.
View | DOI
 
2018 | Published | 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.
[Preprint] View | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Conference Paper | IST-REx-ID: 35 | OA
Chatterjee, Krishnendu, Wolfgang Dvorák, Monika H 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.) | WoS | arXiv
 
2018 | Published | 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.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | 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.
[Submitted Version] View | Files available | DOI
 
2018 | Published | Journal Article | IST-REx-ID: 38 | OA
Tavares, Hugo, Annabel Whitley, David Field, Desmond Bradley, Matthew Couchman, Lucy Copsey, Joane Elleouet, et al. “Selection and Gene Flow Shape Genomic Islands That Control Floral Guides.” PNAS. National Academy of Sciences, 2018. https://doi.org/10.1073/pnas.1801832115.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed