Please note that ISTA 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.

359 Publications


2019 | Journal Article | IST-REx-ID: 11505 | OA
de La Vieuville G, Bina D, Pello R, Mahler G, Richard J, Drake AB, Herenz EC, Bauer FE, Clément B, Lagattuta D, Laporte N, Martinez J, Patrício V, Wisotzki L, Zabl J, Bouwens RJ, Contini T, Garel T, Guiderdoni B, Marino RA, Maseda MV, Matthee JJ, Schaye J, Soucail G. 2019. Faint end of the z ∼ 3–7 luminosity function of Lyman-alpha emitters behind lensing clusters observed with MUSE. Astronomy & Astrophysics. 628, A3.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 11535 | OA
Khostovan, A A, D Sobral, B Mobasher, Jorryt J Matthee, R K Cochrane, N Chartab, M Jafariyazani, A Paulino-Afonso, S Santos, and J Calhau. “The Clustering of Typical Ly α Emitters from z ∼ 2.5–6: Host Halo Masses Depend on Ly α and UV Luminosities.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2019. https://doi.org/10.1093/mnras/stz2149.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 11850 | OA
Henzinger, Monika H, Stefan Neumann, and Stefan Schmid. “Efficient Distributed Workload (Re-)Embedding.” In SIGMETRICS’19: International Conference on Measurement and Modeling of Computer Systems, 43–44. Association for Computing Machinery, 2019. https://doi.org/10.1145/3309697.3331503.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 11851
Henzinger, Monika H, Alexander Noe, and Christian Schulz. “Shared-Memory Exact Minimum Cuts.” In 33rd International Parallel and Distributed Processing Symposium. Institute of Electrical and Electronics Engineers, 2019. https://doi.org/10.1109/ipdps.2019.00013.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 170 | OA
Browning, Timothy D, and Efthymios Sofos. “Counting Rational Points on Quartic Del Pezzo Surfaces with a Rational Conic.” Mathematische Annalen. Springer Nature, 2019. https://doi.org/10.1007/s00208-018-1716-6.
[Published Version] View | Files available | DOI | arXiv
 

2019 | Book Chapter | IST-REx-ID: 5793
Asaoka, Yoichi, Hitoshi Morita, Hiroko Furumoto, Carl-Philipp J Heisenberg, and Makoto Furutani-Seiki. “Studying YAP-Mediated 3D Morphogenesis Using Fish Embryos and Human Spheroids.” In The Hippo Pathway, edited by Alexander Hergovich, 1893:167–81. Methods in Molecular Biology. Springer, 2019. https://doi.org/10.1007/978-1-4939-8910-2_14.
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.
[Submitted Version] View | Files available | DOI
 

2019 | Book (Editor) | IST-REx-ID: 7171
Kersting, Kristian, Christoph Lampert, and Constantin Rothkopf, eds. Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt. 1st ed. Wiesbaden: Springer Nature, 2019. https://doi.org/10.1007/978-3-658-26763-6.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7576 | OA
Immler, Fabian, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, and Christian Schilling. “ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” In EPiC Series in Computing, 61:41–61. EasyChair Publications, 2019. https://doi.org/10.29007/m75b.
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 8228 | OA
Singer, Josef, Gertrude Achatz-Straussberger, Anna Bentley-Lukschal, Judit Singer, Gernot Achatz, Sophia N. Karagiannis, and Erika Jensen-Jarolim. “AllergoOncology: High Innate IgE Levels Are Decisive for the Survival of Cancer-Bearing Mice.” World Allergy Organization Journal. Elsevier, 2019. https://doi.org/10.1016/j.waojou.2019.100044.
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 8263 | OA
Shelyakin, Pavel V., Olga Bochkareva, Anna A. Karan, and Mikhail S. Gelfand. “Micro-Evolution of Three Streptococcus Species: Selection, Antigenic Variation, and Horizontal Gene Inflow.” BMC Evolutionary Biology. Springer Nature, 2019. https://doi.org/10.1186/s12862-019-1403-6.
[Published Version] View | DOI | Download Published Version (ext.)
 

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. BioMed Central, 2019. https://doi.org/10.1186/s13104-019-4534-3.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2019 | Research Data Reference | IST-REx-ID: 9784 | OA
Antoniou, Michael N., Armel Nicolas, Robin Mesnage, Martina Biserni, Francesco V. Rao, and Cristina Vazquez Martin. “MOESM1 of Glyphosate Does Not Substitute for Glycine in Proteins of Actively Dividing Mammalian Cells.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9411761.v1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 6023 | OA
Yoshida, Saiko, Alja Van Der Schuren, Maritza Van Dop, Luc Van Galen, Shunsuke Saiga, Milad Adibi, Barbara Möller, et al. “A SOSEKI-Based Coordinate System Interprets Global Polarity Cues in Arabidopsis.” Nature Plants. Springer Nature, 2019. https://doi.org/10.1038/s41477-019-0363-6.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2019 | Journal Article | IST-REx-ID: 6091 | OA
Henderson, Nathan T., Sylvain J. Le Marchand, Martin Hruska, Simon Hippenmeyer, Liqun Luo, and Matthew B. Dalva. “Ephrin-B3 Controls Excitatory Synapse Density through Cell-Cell Competition for EphBs.” ELife. eLife Sciences Publications, 2019. https://doi.org/10.7554/eLife.41563.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6412 | OA
Moussa, Hagar F., Daniel Bsteh, Ramesh Yelagandula, Carina Pribitzer, Karin Stecher, Katarina Bartalska, Luca Michetti, et al. “Canonical PRC1 Controls Sequence-Independent Propagation of Polycomb-Mediated Gene Silencing.” Nature Communications. Springer Nature, 2019. https://doi.org/10.1038/s41467-019-09628-6.
[Published Version] View | Files available | DOI | WoS
 

2019 | Research Data Reference | IST-REx-ID: 9897 | OA
Sigalova, Olga M., Andrei V. Chaplin, Olga Bochkareva, Pavel V. Shelyakin, Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 20 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808850.v1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 10874 | OA
Ionica, Sorina, Pınar Kılıçer, Kristin Lauter, Elisa Lorenzo García, Maria-Adelina Manzateanu, Maike Massierer, and Christelle Vincent. “Modular Invariants for Genus 3 Hyperelliptic Curves.” Research in Number Theory. Springer Nature, 2019. https://doi.org/10.1007/s40993-018-0146-6.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7181 | OA
Garriga, Edgar, Paolo Di Tommaso, Cedrik Magis, Ionas Erb, Leila Mansouri, Athanasios Baltzis, Hafid Laayouni, Fyodor Kondrashov, Evan Floden, and Cedric Notredame. “Large Multiple Sequence Alignments with a Root-to-Leaf Regressive Method.” Nature Biotechnology. Springer Nature, 2019. https://doi.org/10.1038/s41587-019-0333-6.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7422 | OA
Sokolowski, Thomas R, Joris Paijmans, Laurens Bossen, Thomas Miedema, Martijn Wehrens, Nils B. Becker, Kazunari Kaizu, Koichi Takahashi, Marileen Dogterom, and Pieter Rein ten Wolde. “EGFRD in All Dimensions.” The Journal of Chemical Physics. AIP Publishing, 2019. https://doi.org/10.1063/1.5064867.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | 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. Rockefeller University Press, 2019. https://doi.org/10.1085/jgp.201912318.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Research Data Reference | IST-REx-ID: 9805 | OA
Barton, Nicholas H. “Data from: The Consequences of an Introgression Event.” Dryad, 2019. https://doi.org/10.5061/dryad.2kb6fh4.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Conference Paper | IST-REx-ID: 6647 | OA
Fulek, Radoslav, Bernd Gärtner, Andrey Kupavskii, Pavel Valtr, and Uli Wagner. “The Crossing Tverberg Theorem.” In 35th International Symposium on Computational Geometry, 129:38:1-38:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.SOCG.2019.38.
[Published Version] View | Files available | DOI | arXiv
 

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.’” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6074.
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6933 | OA
Censor-Hillel, Keren, Michal Dory, Janne Korhonen, and Dean Leitersdorf. “Fast Approximate Shortest Paths in the Congested Clique.” In Proceedings of the 2019 ACM Symposium on Principles of Distributed Computin, 74–83. ACM, 2019. https://doi.org/10.1145/3293611.3331633.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 15230 | OA
Richer, Harvey B., Ronan Kerr, Jeremy Heyl, Ilaria Caiazzo, Jeffrey Cummings, Pierre Bergeron, and Patrick Dufour. “A Massive Magnetic Helium Atmosphere White Dwarf Binary in a Young Star Cluster.” The Astrophysical Journal. American Astronomical Society, 2019. https://doi.org/10.3847/1538-4357/ab2874.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6490 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady. “The Treewidth of Smart Contracts.” In Proceedings of the 34th ACM Symposium on Applied Computing, Part F147772:400–408. ACM, n.d. https://doi.org/10.1145/3297280.3297322.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 11064 | OA
Fleischer, Jason G., Roberta Schulte, Hsiao H. Tsai, Swati Tyagi, Arkaitz Ibarra, Maxim N. Shokhirev, Ling Huang, Martin Hetzer, and Saket Navlakha. “Predicting Age from the Transcriptome of Human Dermal Fibroblasts.” Genome Biology. BioMed Central, 2018. https://doi.org/10.1186/s13059-018-1599-6.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 11508 | OA
Matthee, Jorryt J, David Sobral, Max Gronke, Ana Paulino-Afonso, Mauro Stefanon, and Huub Röttgering. “Confirmation of Double Peaked Lyα Emission at z = 6.593: Witnessing a Galaxy Directly Contributing to the Reionisation of the Universe.” Astronomy & Astrophysics. EDP Sciences, 2018. https://doi.org/10.1051/0004-6361/201833528.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 11558 | OA
Sobral, David, Sérgio Santos, Jorryt J Matthee, Ana Paulino-Afonso, Bruno Ribeiro, João Calhau, and Ali A Khostovan. “Slicing COSMOS with SC4K: The Evolution of Typical Ly α Emitters and the Ly α Escape Fraction from z ∼ 2 to 6.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2018. https://doi.org/10.1093/mnras/sty378.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 11555 | OA
Carniani, S, R Maiolino, R Amorin, L Pentericci, A Pallottini, A Ferrara, C J Willott, et al. “Kiloparsec-Scale Gaseous Clumps and Star Formation at z = 5–7.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2018. https://doi.org/10.1093/mnras/sty1088.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 127
Waitukaitis, Scott R. “Clicks for Doughnuts.” Nature Physics. Nature Publishing Group, 2018. https://doi.org/10.1038/s41567-018-0160-6.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 7716 | OA
Maier, Robert M., Zhihong Zhu, Sang Hong Lee, Maciej Trzaskowski, Douglas M. Ruderfer, Eli A. Stahl, Stephan Ripke, et al. “Improving Genetic Prediction by Leveraging Genetic Correlations among Human Diseases and Traits.” Nature Communications. Springer Nature, 2018. https://doi.org/10.1038/s41467-017-02769-6.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 7713 | OA
Guo, Jing, Yang Wu, Zhihong Zhu, Zhili Zheng, Maciej Trzaskowski, Jian Zeng, Matthew Richard Robinson, Peter M. Visscher, and Jian Yang. “Global Genetic Differentiation of Complex Traits Shaped by Natural Selection in Humans.” Nature Communications. Springer Nature, 2018. https://doi.org/10.1038/s41467-018-04191-y.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 7722
Zeng, Jian, Ronald de Vlaming, Yang Wu, Matthew Richard Robinson, Luke R. Lloyd-Jones, Loic Yengo, Chloe X. Yap, et al. “Signatures of Negative Selection in the Genetic Architecture of Human Complex Traits.” Nature Genetics. Springer Nature, 2018. https://doi.org/10.1038/s41588-018-0101-4.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 12604 | OA
Miles, Evan S., Ian Willis, Pascal Buri, Jakob F. Steiner, Neil S. Arnold, and Francesca Pellicciotti. “Surface Pond Energy Absorption across Four Himalayan Glaciers Accounts for 1/8 of Total Catchment Ice Loss.” Geophysical Research Letters. American Geophysical Union, 2018. https://doi.org/10.1029/2018gl079678.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 13374 | OA
Samanta, Dipak, Daria Galaktionova, Julius Gemen, Linda J. W. Shimon, Yael Diskin-Posner, Liat Avram, Petr Král, and Rafal Klajn. “Reversible Chromism of Spiropyran in the Cavity of a Flexible Coordination Cage.” Nature Communications. Springer Nature, 2018. https://doi.org/10.1038/s41467-017-02715-6.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 13475 | OA
Götberg, Ylva Louise Linsdotter, S. E. de Mink, J. H. Groh, T. Kupfer, P. A. Crowther, E. Zapartas, and M. Renzo. “Spectral Models for Binary Products: Unifying Subdwarfs and Wolf-Rayet Stars as a Sequence of Stripped-Envelope Stars.” Astronomy & Astrophysics. EDP Sciences, 2018. https://doi.org/10.1051/0004-6361/201732274.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 14003 | OA
Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Chiral Discrimination through Bielliptical High-Harmonic Spectroscopy.” Physical Review X. American Physical Society, 2018. https://doi.org/10.1103/physrevx.8.031060.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Technical Report | IST-REx-ID: 5457 | OA
Anonymous, 1, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, and 6 Anonymous. Cost Analysis of Nondeterministic Probabilistic Programs. IST Austria, 2018.
[Published Version] View | Files available
 

2018 | Journal Article | IST-REx-ID: 692 | OA
Akopyan, Arseniy. “3-Webs Generated by Confocal Conics and Circles.” Geometriae Dedicata. Springer, 2018. https://doi.org/10.1007/s10711-017-0265-6.
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 410 | OA
Masís, Javier, David Mankus, Steffen Wolff, Grigori Guitchounts, Maximilian A Jösch, and David Cox. “A Micro-CT-Based Method for Quantitative Brain Lesion Characterization and Electrode Localization.” Scientific Reports. Nature Publishing Group, 2018. https://doi.org/10.1038/s41598-018-23247-z.
[Published Version] View | Files available | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 144
Ferrere, Thomas, Thomas A Henzinger, and Ege Saraç. “A Theory of Register Monitors,” Part F138033:394–403. IEEE, 2018. https://doi.org/10.1145/3209108.3209194.
View | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 407
Kubiasová, Karolina, Václav Mik, Jaroslav Nisler, Martin Hönig, Alexandra Husičková, Lukáš Spíchal, Zuzana Pěkná, et al. “Design, Synthesis and Perception of Fluorescently Labeled Isoprenoid Cytokinins.” Phytochemistry. Elsevier, 2018. https://doi.org/10.1016/j.phytochem.2018.02.015.
View | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 397
Arbel Raviv, Maya, and Trevor A Brown. “Harnessing Epoch-Based Reclamation for Efficient Range Queries,” 53:14–27. ACM, 2018. https://doi.org/10.1145/3178487.3178489.
View | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 76 | OA
Lenzen, Christoph, and Joel Rybicki. “Near-Optimal Self-Stabilising Counting and Firing Squads.” Distributed Computing. Springer, 2018. https://doi.org/10.1007/s00446-018-0342-6.
[Published Version] View | Files available | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 78 | OA
Bakhirkin, Alexey, Thomas Ferrere, Dejan Nickovic, Oded Maler, and Eugene Asarin. “Online Timed Pattern Matching Using Automata,” 11022:215–32. Springer, 2018. https://doi.org/10.1007/978-3-030-00151-3_13.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 6002 | OA
Napiórkowski, Marcin M, Robin Reuvers, and Jan Philip Solovej. “The Bogoliubov Free Energy Functional I: Existence of Minimizers and Phase Diagram.” Archive for Rational Mechanics and Analysis. Springer Nature, 2018. https://doi.org/10.1007/s00205-018-1232-6.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 6
Masís, Javier, David Mankus, Steffen Wolff, Grigori Guitchounts, Maximilian A Jösch, and David Cox. “A Micro-CT-Based Method for Characterising Lesions and Locating Electrodes in Small Animal Brains.” Journal of Visualized Experiments. MyJove Corporation, 2018. https://doi.org/10.3791/58585.
View | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 11572 | OA
Matthee, Jorryt J, David Sobral, Behnam Darvish, Sérgio Santos, Bahram Mobasher, Ana Paulino-Afonso, Huub Röttgering, and Lara Alegre. “Spectroscopic Properties of Luminous Ly α Emitters at z ≈ 6–7 and Comparison to the Lyman-Break Population.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2017. https://doi.org/10.1093/mnras/stx2061.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 487
Baig, Ghufran, Bozidar Radunovic, Dan-Adrian Alistarh, Matthew Balkwill, Thomas Karagiannis, and Lili Qiu. “Towards Unlicensed Cellular Networks in TV White Spaces.” In Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, 2–14. ACM, 2017. https://doi.org/10.1145/3143361.3143367.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 6117 | OA
Chen, Changchun, Eisuke Itakura, Geoffrey M. Nelson, Ming Sheng, Patrick Laurent, Lorenz A. Fenk, Rebecca A. Butcher, Ramanujan S. Hegde, and Mario de Bono. “IL-17 Is a Neuromodulator of Caenorhabditis Elegans Sensory Responses.” Nature. Springer Nature, 2017. https://doi.org/10.1038/nature20818.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Book Chapter | IST-REx-ID: 634
Schroeder, Jan, Elena Deliu, Gaia Novarino, and Michael Schmeisser. “Genetic and Pharmacological Reversibility of Phenotypes in Mouse Models of Autism Spectrum Disorder.” In Translational Anatomy and Cell Biology of Autism Spectrum Disorder, edited by Michael Schmeisser and Tobias Boekers, 224:189–211. Advances in Anatomy Embryology and Cell Biology. Springer, 2017. https://doi.org/10.1007/978-3-319-52498-6_10.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 636 | OA
Bakhirkin, Alexey, Thomas Ferrere, Oded Maler, and Dogan Ulus. “On the Quantitative Semantics of Regular Expressions over Real-Valued Signals.” edited by Alessandro Abate and Gilles Geeraerts, 10419:189–206. Springer, 2017. https://doi.org/10.1007/978-3-319-65765-3_11.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 644 | OA
Kolmogorov, Vladimir, Andrei Krokhin, and Michal Rolinek. “The Complexity of General-Valued CSPs.” SIAM Journal on Computing. SIAM, 2017. https://doi.org/10.1137/16M1091836.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 674
Schwarz, Jan, Veronika Bierbaum, Kari Vaahtomeri, Robert Hauschild, Markus Brown, Ingrid de Vries, Alexander F Leithner, et al. “Dendritic Cells Interpret Haptotactic Chemokine Gradients in a Manner Governed by Signal to Noise Ratio and Dependent on GRK6.” Current Biology. Cell Press, 2017. https://doi.org/10.1016/j.cub.2017.04.004.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 7064 | OA
Modic, Kimberly A, B. J. Ramshaw, J. B. Betts, Nicholas P. Breznay, James G. Analytis, Ross D. McDonald, and Arkady Shekhter. “Robust Spin Correlations at High Magnetic Fields in the Harmonic Honeycomb Iridates.” Nature Communications. Springer Nature, 2017. https://doi.org/10.1038/s41467-017-00264-6.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 7725
Reger, Julia, Martin I. Lind, Matthew Richard Robinson, and Andrew P. Beckerman. “Predation Drives Local Adaptation of Phenotypic Plasticity.” Nature Ecology & Evolution. Springer Nature, 2017. https://doi.org/10.1038/s41559-017-0373-6.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 8306 | OA
Syta, E., P. Jovanovic, Eleftherios Kokoris Kogias, N. Gailly, L. Gasser, I. Khoffi, M. J. Fischer, and B. Ford. “Scalable Bias-Resistant Distributed Randomness.” In 2017 IEEE Symposium on Security and Privacy, 444–60. IEEE, 2017. https://doi.org/10.1109/SP.2017.45.
[Preprint] View | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 14009
Jordan, I., M. Huppert, S. Pabst, A. S. Kheifets, Denitsa Rangelova Baykusheva, and H. J. Wörner. “Spin-Orbit Delays in Photoemission.” Physical Review A. American Physical Society, 2017. https://doi.org/10.1103/physreva.95.013404.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 14007 | OA
Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Comment on ‘Time Delays in Molecular Photoionization.’” Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing, 2017. https://doi.org/10.1088/1361-6455/aa62b5.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Thesis | IST-REx-ID: 992 | OA
Rolinek, Michal. “Complexity of Constraint Satisfaction.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_815.
[Published Version] View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 647 | OA
Bogomolov, Sergiy, Mirco Giacobbe, Thomas A Henzinger, and Hui Kong. “Conic Abstractions for Hybrid Systems,” 10419:116–32. Springer, 2017. https://doi.org/10.1007/978-3-319-65765-3_7.
[Submitted Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1207 | OA
Bao, Zhigang, László Erdös, and Kevin Schnelli. “Local Law of Addition of Random Matrices on Optimal Scale.” Communications in Mathematical Physics. Springer, 2017. https://doi.org/10.1007/s00220-016-2805-6.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1168 | OA
Perrone, Elisa, Andreas Rappold, and Werner Müller. “D Inf s Optimality in Copula Models.” Statistical Methods and Applications. Springer, 2017. https://doi.org/10.1007/s10260-016-0375-6.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1073 | OA
Čadek, Martin, Marek Krcál, and Lukáš Vokřínek. “Algorithmic Solvability of the Lifting Extension Problem.” Discrete & Computational Geometry. Springer, 2017. https://doi.org/10.1007/s00454-016-9855-6.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Journal Article | IST-REx-ID: 751 | OA
Matsubayashi, Yutaka, Adam Louani, Anca Dragu, Besaiz Sanchez Sanchez, Eduardo Serna Morales, Lawrence Yolland, Attila György, et al. “A Moving Source of Matrix Components Is Essential for De Novo Basement Membrane Formation.” Current Biology. Cell Press, 2017. https://doi.org/10.1016/j.cub.2017.10.001.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 743
Gottlob, Georg, Thomas A Henzinger, and Georg Weißenbacher. “Preface of the Special Issue in Memoriam Helmut Veith.” Formal Methods in System Design. Springer, 2017. https://doi.org/10.1007/s10703-017-0307-6.
View | DOI | WoS
 

2017 | Book Chapter | IST-REx-ID: 424 | OA
Goaoc, Xavier, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Bounding Helly Numbers via Betti Numbers.” In A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, edited by Martin Loebl, Jaroslav Nešetřil, and Robin Thomas, 407–47. A Journey Through Discrete Mathematics. Springer, 2017. https://doi.org/10.1007/978-3-319-44479-6_17.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1177 | OA
Kamath Hosdurg, Chethan, and Sanjit Chatterjee. “A Closer Look at Multiple-Forking: Leveraging (in)Dependence for a Tighter Bound.” Algorithmica. Springer, 2016. https://doi.org/10.1007/s00453-015-9997-6.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 11836 | OA
Cheung, Yun Kuen, Gramoz Goranci, and Monika H Henzinger. “Graph Minors for Preserving Terminal Distances Approximately - Lower and Upper Bounds.” In 43rd International Colloquium on Automata, Languages, and Programming, Vol. 55. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPICS.ICALP.2016.131.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 11834 | OA
Goranci, Gramoz, Monika H Henzinger, and Mikkel Thorup. “Incremental Exact Min-Cut in Poly-Logarithmic Amortized Update Time.” In 24th Annual European Symposium on Algorithms, Vol. 57. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPICS.ESA.2016.46.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 11835 | OA
Henzinger, Monika H, and Stefan Neumann. “Incremental and Fully Dynamic Subgraph Connectivity for Emergency Planning.” In 24th Annual European Symposium on Algorithms, Vol. 57. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPICS.ESA.2016.48.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1212 | OA
Rakusová, Hana, Mohamad Abbas, Huibin Han, Siyuan Song, Hélène Robert, and Jiří Friml. “Termination of Shoot Gravitropic Responses by Auxin Feedback on PIN3 Polarity.” Current Biology. Cell Press, 2016. https://doi.org/10.1016/j.cub.2016.08.067.
[Submitted Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1222 | OA
Musin, Oleg, and Anton Nikitenko. “Optimal Packings of Congruent Circles on a Square Flat Torus.” Discrete & Computational Geometry. Springer, 2016. https://doi.org/10.1007/s00454-015-9742-6.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1331 | OA
Zwack, Paul, Inge De Clercq, Timothy Howton, H Tucker Hallmark, Andrej Hurny, Erika Keshishian, Alyssa Parish, et al. “Cytokinin Response Factor 6 Represses Cytokinin-Associated Genes during Oxidative Stress.” Plant Physiology. American Society of Plant Biologists, 2016. https://doi.org/10.1104/pp.16.00415.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1522 | OA
Avvakumov, Sergey. “The Classification of Certain Linked 3-Manifolds in 6-Space.” Moscow Mathematical Journal. Independent University of Moscow, 2016. https://doi.org/10.17323/1609-4514-2016-16-1-1-25.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 5806
Biswas, Ranita, and Partha Bhowmick. “On Functionality of Quadraginta Octants of Naive Sphere with Application to Circle Drawing.” In Discrete Geometry for Computer Imagery, 9647:256–67. Cham: Springer Nature, 2016. https://doi.org/10.1007/978-3-319-32360-2_20.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7294
Escamilla-Pérez, A. M., N. Louvain, M. Kaschowitz, Stefan Alexander Freunberger, O. Fontaine, B. Boury, N. Brun, and P. H. Mutin. “Lithium Insertion Properties of Mesoporous Nanocrystalline TiO2 and TiO2–V2O5 Microspheres Prepared by Non-Hydrolytic Sol–Gel.” Journal of Sol-Gel Science and Technology. Springer Nature, 2016. https://doi.org/10.1007/s10971-016-4037-9.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8452
Rodrigues, Christopher D. A., Xavier Henry, Emmanuelle Neumann, Vilius Kurauskas, Laure Bellard, Yann Fichou, Paul Schanda, Guy Schoehn, David Z. Rudner, and Cecile Morlot. “A Ring-Shaped Conduit Connects the Mother Cell and Forespore during Sporulation in Bacillus Subtilis.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2016. https://doi.org/10.1073/pnas.1609604113.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 12625 | OA
Kraaijenbrink, Philip, Sander W. Meijer, Joseph M. Shea, Francesca Pellicciotti, Steven M. De Jong, and Walter W. Immerzeel. “Seasonal Surface Velocities of a Himalayan Glacier Derived by Automated Correlation of Unmanned Aerial Vehicle Imagery.” Annals of Glaciology. International Glaciological Society, 2016. https://doi.org/10.3189/2016aog71a072.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 12615
Ayala, A., Francesca Pellicciotti, S. MacDonell, J. McPhee, S. Vivero, C. Campos, and P. Egli. “Modelling the Hydrological Response of Debris-Free and Debris-Covered Glaciers to Present Climatic Conditions in the Semiarid Andes of Central Chile.” Hydrological Processes. Wiley, 2016. https://doi.org/10.1002/hyp.10971.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 12617 | OA
Ragettli, Silvan, Tobias Bolch, and Francesca Pellicciotti. “Heterogeneous Glacier Thinning Patterns over the Last 40 Years in Langtang Himal, Nepal.” The Cryosphere. Copernicus Publications, 2016. https://doi.org/10.5194/tc-10-2075-2016.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1616 | OA
Kowalski, Janina, Jian Gan, Peter M Jonas, and Alejandro Pernia-Andrade. “Intrinsic Membrane Properties Determine Hippocampal Differential Firing Pattern in Vivo in Anesthetized Rats.” Hippocampus. Wiley, 2016. https://doi.org/10.1002/hipo.22550.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 482
Rueda, Alfredo, Florian Sedlmeir, Michele Collodo, Ulrich Vogl, Birgit Stiller, Gerhard Schunk, Dmitry Strekalov, et al. “Nonlinear Single Sideband Microwave to Optical Conversion Using an Electro-Optic WGM-Resonator.” Optica Publishing Group, 2016. https://doi.org/10.1364/NP.2016.NTh3A.6.
View | DOI
 

2016 | Research Data | IST-REx-ID: 5557 | OA
Swoboda, Paul. “Synthetic Discrete Tomography Problems.” Institute of Science and Technology Austria, 2016. https://doi.org/10.15479/AT:ISTA:46.
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5551 | OA
Ellis, Thomas. “Data on Pollinator Observations and Offpsring Phenotypes.” Institute of Science and Technology Austria, 2016. https://doi.org/10.15479/AT:ISTA:35.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 15245 | OA
Zhang SN et al. 2016. eXTP: Enhanced X-ray timing and polarization mission. Proceedings of the SPIE. vol. 9905, 99051Q.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 11519 | OA
Sobral, David, Jorryt J Matthee, Behnam Darvish, Daniel Schaerer, Bahram Mobasher, Huub Röttgering, Sérgio Santos, and Shoubaneh Hemmati. “Evidence for PopIII-like Stellar Populations in the Most Luminous Lyα Emitters at the Epoch of Reionisation: Spectroscopic Confirmation.” The Astrophysical Journal. IOP Publishing, 2015. https://doi.org/10.1088/0004-637X/808/2/139.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 11837 | OA
Bhattacharya, Sayan, Wolfgang Dvorák, Monika H Henzinger, and Martin Starnberger. “Welfare Maximization with Friends-of-Friends Network Externalities.” In 32nd International Symposium on Theoretical Aspects of Computer Science, 30:90–102. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. https://doi.org/10.4230/LIPICS.STACS.2015.90.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1530
Bierbaum, Veronika, and Stefan Klumpp. “Impact of the Cell Division Cycle on Gene Circuits.” Physical Biology. IOP Publishing Ltd., 2015. https://doi.org/10.1088/1478-3975/12/6/066003.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1536
Sasse, Joëlle, Sibu Simon, Christian Gübeli, Guowei Liu, Xi Cheng, Jiří Friml, Harro Bouwmeester, Enrico Martinoia, and Lorenzo Borghi. “Asymmetric Localizations of the ABC Transporter PaPDR1 Trace Paths of Directional Strigolactone Transport.” Current Biology. Cell Press, 2015. https://doi.org/10.1016/j.cub.2015.01.015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1541
Ray, Rajarshi, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, and Radu Grosu. “XSpeed: Accelerating Reachability Analysis on Multi-Core Processors.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-26287-1_1.
View | DOI
 

2015 | Book Chapter | IST-REx-ID: 1549 | OA
Mckenzie, Catherine, Inmaculada Sanchez-Romero, and Harald L Janovjak. “Flipping the Photoswitch: Ion Channels under Light Control.” In Novel Chemical Tools to Study Ion Channel Biology, 869:101–17. Advances in Experimental Medicine and Biology. Springer, 2015. https://doi.org/10.1007/978-1-4939-2845-3_6.
[Submitted Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1878
Cires Rodriguez, Eduardo, and José Prieto. “Phylogenetic Relationships of Petrocoptis A. Braun Ex Endl. (Caryophyllaceae), a Discussed Genus from the Iberian Peninsula.” Journal of Plant Research. Springer, 2015. https://doi.org/10.1007/s10265-014-0691-6.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 2085 | OA
Nam, Phan, and Robert Seiringer. “Collective Excitations of Bose Gases in the Mean-Field Regime.” Archive for Rational Mechanics and Analysis. Springer, 2015. https://doi.org/10.1007/s00205-014-0781-6.
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1502 | OA
Beneš, Nikola, Przemyslaw Daca, Thomas A Henzinger, Jan Kretinsky, and Dejan Nickovic. “Complete Composition Operators for IOCO-Testing Theory,” 101–10. ACM, 2015. https://doi.org/10.1145/2737166.2737175.
[Submitted Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1834 | OA
Chen, Chong, Chao Wang, Xuan Zhao, Tao Zhou, Dao Xu, Zhi Wang, and Ying Wang. “Low-Dose Sevoflurane Promoteshippocampal Neurogenesis and Facilitates the Development of Dentate Gyrus-Dependent Learning in Neonatal Rats.” ASN Neuro. SAGE Publications, 2015. https://doi.org/10.1177/1759091415575845.
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 11967
Moghaddam, Mojtaba Mirhosseini, Bartholomäus Pieber, Toma Glasnov, and C. Oliver Kappe. “Immobilized Iron Oxide Nanoparticles as Stable and Reusable Catalysts for Hydrazine-Mediated Nitro Reductions in Continuous Flow.” ChemSusChem. Wiley, 2014. https://doi.org/10.1002/cssc.201402455.
View | DOI | PubMed | Europe PMC
 

2014 | Thesis | IST-REx-ID: 1404
Stock, Miriam. “Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants.” IST Austria, 2014.
View
 

Filters and Search Terms

isbn%3D978-303030805-6

Search

Filter Publications