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.

6283 Publications


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

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
 

2017 | Journal Article | IST-REx-ID: 266 | OA
Browning, Timothy D, and Roger Heath Brown. “Forms in Many Variables and Differing Degrees.” Journal of the European Mathematical Society. European Mathematical Society Publishing House, 2017. https://doi.org/10.4171/JEMS/668.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 267
Browning, Timothy D. “Many Cubic Surfaces Contain Rational Points.” Mathematika. Cambridge University Press, 2017. https://doi.org/10.1112/S0025579317000195.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 268 | OA
Browning, Timothy D, and Sean Prendiville. “A Transference Approach to a Roth-Type Theorem in the Squares.” International Mathematics Research Notices. Oxford University Press, 2017. https://doi.org/10.1093/imrn/rnw096.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 269 | OA
Browning, Timothy D, and Daniel Loughran. “Varieties with Too Many Rational Points.” Mathematische Zeitschrift. Springer, 2017. https://doi.org/10.1007/s00209-016-1746-2.
View | DOI | Download None (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 270 | OA
Browning, Timothy D, and Alexander Gorodnik. “Power-Free Values of Polynomials on Symmetric Varieties.” Proceedings of the London Mathematical Society. Wiley Blackwell, 2017. https://doi.org/10.1112/plms.12030.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 271 | OA
Browning, Timothy D, and Sean Prendiville. “Improvements in Birch’s Theorem on Forms in Many Variables.” Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter, 2017. https://doi.org/doi.org/10.1515/crelle-2014-0122.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 272 | OA
Browning, Timothy D, and Lilian Matthiesen. “Norm Forms for Arbitrary Number Fields as Products of Linear Polynomials.” Annales Scientifiques de l’Ecole Normale Superieure. Societe Mathematique de France, 2017. https://doi.org/10.24033/asens.2348.
View | DOI | Download (ext.)
 

2017 | Conference Paper | IST-REx-ID: 274 | OA
Kolmogorov, Vladimir. “A Faster Approximation Algorithm for the Gibbs Partition Function.” In Proceedings of the 31st Conference On Learning Theory, 75:228–49. PMLR, 2017.
View | Files available | arXiv
 

2017 | Journal Article | IST-REx-ID: 796 | OA
Keller, Andrew J, Paul Dieterle, Michael Fang, Brett Berger, Johannes M Fink, and Oskar Painter. “Al Transmon Qubits on Silicon on Insulator for Quantum Device Integration.” Applied Physics Letters. American Institute of Physics, 2017. https://doi.org/10.1063/1.4994661.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 797
Fink, Johannes M. “Photonenblockade Aufgelöst.” Physik in Unserer Zeit. Wiley-VCH, 2017. https://doi.org/10.1002/piuz.201770305.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 798 | OA
Barzanjeh, Shabir, Matthias Wulf, Matilda Peruzzo, Mahmoud Kalaee, Paul Dieterle, Oskar Painter, and Johannes M Fink. “Mechanical on Chip Microwave Circulator.” Nature Communications. Nature Publishing Group, 2017. https://doi.org/10.1038/s41467-017-01304-x.
View | Files available | DOI
 

2017 | Book Chapter | IST-REx-ID: 7980 | OA
Yee Liew, Soon, Wim Thielemans, Stefan Alexander Freunberger, and Stefan Spirk. “Polysaccharides in Supercapacitors.” In Polysaccharide Based Supercapacitors, edited by Soon Yee Liew, Wim Thielemans, Stefan Alexander Freunberger, and Stefan Spirk, 15–53. Springer Nature, 2017. https://doi.org/10.1007/978-3-319-50754-5_2.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 7981 | OA
Schafzahl, Lukas, Nika Mahne, Bettina Schafzahl, Martin Wilkening, Christian Slugovc, Sergey M. Borisov, and Stefan Alexander Freunberger. “Singulett-Sauerstoff in Der Aprotischen Natrium-O2-Batterie.” Angewandte Chemie. Wiley, 2017. https://doi.org/10.1002/ange.201709351.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 7982 | OA
Freunberger, Stefan Alexander. “True Performance Metrics in Beyond-Intercalation Batteries.” Nature Energy. Springer Nature, 2017. https://doi.org/10.1038/nenergy.2017.91.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 7986 | OA
Mahne, Nika, Bettina Schafzahl, Christian Leypold, Mario Leypold, Sandra Grumm, Anita Leitgeb, Gernot A. Strohmeier, et al. “Singlet Oxygen Generation as a Major Cause for Parasitic Reactions during Cycling of Aprotic Lithium–Oxygen Batteries.” Nature Energy. Springer Nature, 2017. https://doi.org/10.1038/nenergy.2017.36.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 799 | OA
Kitakura, Saeko, Maciek Adamowski, Yuki Matsuura, Luca Santuari, Hirotaka Kouno, Kohei Arima, Christian Hardtke, Jiří Friml, Tatsuo Kakimoto, and Hirokazu Tanaka. “BEN3/BIG2 ARF GEF Is Involved in Brefeldin a-Sensitive Trafficking at the Trans-Golgi Network/Early Endosome in Arabidopsis Thaliana.” Plant and Cell Physiology. Oxford University Press, 2017. https://doi.org/10.1093/pcp/pcx118.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 800 | OA
Strüber, Michael, Jonas Sauer, Peter M Jonas, and Marlene Bartos. “Distance-Dependent Inhibition Facilitates Focality of Gamma Oscillations in the Dentate Gyrus.” Nature Communications. Nature Publishing Group, 2017. https://doi.org/10.1038/s41467-017-00936-3.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 8016 | OA
Costa, Rui Ponte, Zahid Padamsey, James A. D’Amour, Nigel J. Emptage, Robert C. Froemke, and Tim P Vogels. “Synaptic Transmission Optimization Predicts Expression Loci of Long-Term Plasticity.” Neuron. Elsevier, 2017. https://doi.org/10.1016/j.neuron.2017.09.021.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 8017
Hennequin, Guillaume, Everton J. Agnes, and Tim P Vogels. “Inhibitory Plasticity: Balance, Control, and Codependence.” Annual Review of Neuroscience. Annual Reviews, 2017. https://doi.org/10.1146/annurev-neuro-072116-031005.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 8018 | OA
Barron, Helen C., Tim P Vogels, Timothy E. Behrens, and Mani Ramaswami. “Inhibitory Engrams in Perception and Memory.” Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2017. https://doi.org/10.1073/pnas.1701812114.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 8019
Vogels, Tim P, and Leslie C Griffith. “Editorial Overview: Neurobiology of Learning and Plasticity 2017.” Current Opinion in Neurobiology. Elsevier, 2017. https://doi.org/10.1016/j.conb.2017.04.002.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 803 | OA
Samwer, Matthias, Maximilian Schneider, Rudolf Hoefler, Philipp S Schmalhorst, Julian Jude, Johannes Zuber, and Daniel Gerlic. “DNA Cross-Bridging Shapes a Single Nucleus from a Set of Mitotic Chromosomes.” Cell. Cell Press, 2017. https://doi.org/10.1016/j.cell.2017.07.038.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 804 | OA
Schmalhorst, Philipp S, Felix Deluweit, Roger Scherrers, Carl-Philipp J Heisenberg, and Mateusz K Sikora. “Overcoming the Limitations of the MARTINI Force Field in Simulations of Polysaccharides.” Journal of Chemical Theory and Computation. American Chemical Society, 2017. https://doi.org/10.1021/acs.jctc.7b00374.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 805
Pfurr, Sabrina, Yu Chu, Christian Bohrer, Franziska Greulich, Robert J Beattie, Könül Mammadzada, Miriam Hils, et al. “The E2A Splice Variant E47 Regulates the Differentiation of Projection Neurons via P57(KIP2) during Cortical Development.” Development. Company of Biologists, 2017. https://doi.org/10.1242/dev.145698.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 807 | OA
Andrae, Magdalena, and Márton Villányi. “Der Springer Compact-Deal – Ein Erster Einblick in Die Evaluierung Einer Offsetting-Vereinbarung.” Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen Und Bibliothekare. VÖB, 2017. https://doi.org/10.31263/voebm.v70i2.1898.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 8075 | OA
Podlaski, William F, Alexander Seeholzer, Lukas N Groschner, Gero Miesenböck, Rajnish Ranjan, and Tim P Vogels. “Mapping the Function of Neuronal Ion Channels in Model and Experiment.” ELife. eLife Sciences Publications, Ltd, 2017. https://doi.org/10.7554/elife.22152.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Conference Paper | IST-REx-ID: 8129 | OA
Costa, Rui Ponte, Yannis M. Assael, Brendan Shillingford, Nando de Freitas, and Tim P Vogels. “Cortical Microcircuits as Gated-Recurrent Neural Networks.” In Advances in Neural Information Processing Systems, 30:272–83. Neural Information Processing Systems Foundation, 2017.
View | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 817 | OA
Turoňová, Beata, Florian KM Schur, William Wan, and John Briggs. “Efficient 3D-CTF Correction for Cryo-Electron Tomography Using NovaCTF Improves Subtomogram Averaging Resolution to 3.4Å.” Journal of Structural Biology. Academic Press, 2017. https://doi.org/10.1016/j.jsb.2017.07.007.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 818 | OA
Mitosch, Karin. “Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_862.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 819 | OA
Pull, Christopher. “Disease Defence in Garden Ants.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_861.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 820 | OA
Jesse, Fabienne. “The Lac Operon in the Wild.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_857.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 821 | OA
Pavlogiannis, Andreas. “Algorithmic Advances in Program Analysis and Their Applications.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_854.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 822 | OA
Vos, Marjon de, Marcin P Zagórski, Alan Mcnally, and Mark Tobias Bollenbach. “Interaction Networks, Ecological Stability, and Collective Antibiotic Tolerance in Polymicrobial Infections.” PNAS. National Academy of Sciences, 2017. https://doi.org/10.1073/pnas.1713372114.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 823 | OA
Colabrese, Simona, Daniele De Martino, Luca Leuzzi, and Enzo Marinari. “Phase Transitions in Integer Linear Problems.” Journal of Statistical Mechanics: Theory and Experiment. IOPscience, 2017. https://doi.org/10.1088/1742-5468/aa85c3.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 8235 | OA
Singer, Judit, Neydher Berroterán-Infante, Christina Rami-Mark, Monika Dumanic, Miroslawa Matz, Michael Willmann, Fritz Andreae, et al. “Development of a Radiolabeled Caninized Anti-EGFR Antibody for Comparative Oncology Trials.” Oncotarget. Impact Journals, 2017. https://doi.org/10.18632/oncotarget.20914.
View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 8236 | OA
Jensen-Jarolim, E., H. J. Bax, R. Bianchini, M. Capron, C. Corrigan, M. Castells, D. Dombrowicz, et al. “AllergoOncology - the Impact of Allergy in Oncology: EAACI Position Paper.” Allergy. Wiley, 2017. https://doi.org/10.1111/all.13119.
View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 8237 | OA
Ilieva, Kristina M., Judit Singer, Daniela Y. Achkova, Tihomir S. Dodev, Silvia Mele, Silvia Crescioli, Heather J. Bax, et al. “Functionally Active Fc Mutant Antibodies Recognizing Cancer Antigens Generated Rapidly at High Yields.” Frontiers in Immunology. Frontiers, 2017. https://doi.org/10.3389/fimmu.2017.01112.
View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 8239 | OA
Roth-Walter, Franziska, Cornelia Bergmayr, Sarah Meitz, Stefan Buchleitner, Caroline Stremnitzer, Judit Singer, Anna Moskovskich, et al. “Janus-Faced Acrolein Prevents Allergy but Accelerates Tumor Growth by Promoting Immunoregulatory Foxp3+ Cells: Mouse Model for Passive Respiratory Exposure.” Scientific Reports. Springer Nature, 2017. https://doi.org/10.1038/srep45067.
View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 824 | OA
Budanur, Nazmi B, and Björn Hof. “Heteroclinic Path to Spatially Localized Chaos in Pipe Flow.” Journal of Fluid Mechanics. Cambridge University Press, 2017. https://doi.org/10.1017/jfm.2017.516.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 8240 | OA
Singer, Judit, Thomas W. Grunt, Erika Jensen-Jarolim, and Josef Singer. “Long Term Storage in Liquid Nitrogen Leads to Only Minor Phenotypic and Gene Expression Changes in the Mammary Carcinoma Model Cell Line BT474.” Oncotarget. Impact Journals, 2017. https://doi.org/10.18632/oncotarget.16623.
View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 825 | OA
Petritsch, Barbara. “Metadata for Research Data in Practice.” Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare. VÖB, 2017. https://doi.org/10.31263/voebm.v70i2.1678.
View | Files available | DOI
 

Search

Filter Publications