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.

6285 Publications


2018 | Research Data | IST-REx-ID: 5585 | OA
Data for the paper Evolutionary potential of transcription factors for gene regulatory rewiring
C. Igler, M. Lagator, G. Tkačik, J.P. Bollback, C.C. Guet, (2018).
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 6340 | OA
Secure Credit Reporting on the Blockchain
A.K. Goharshady, A. Behrouz, K. Chatterjee, in:, Proceedings of the IEEE International Conference on Blockchain, IEEE, 2018, pp. 1343–1348.
View | Files available | DOI | arXiv
 

2018 | Journal Article | IST-REx-ID: 6009 | OA
Algorithms for algebraic path properties in concurrent systems of constant treewidth components
K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 40 (2018).
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 5977 | OA
Computational approaches for stochastic shortest path on succinct MDPs
K. Chatterjee, H. Fu, A.K. Goharshady, N. Okati, in:, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI, 2018, pp. 4700–4707.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 66 | OA
Ergodic mean-payoff games for the analysis of attacks in crypto-currencies
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, Y. Velner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
View | Files available | DOI | arXiv
 

2018 | Conference Paper | IST-REx-ID: 311 | OA
Quantitative analysis of smart contracts
K. Chatterjee, A.K. Goharshady, Y. Velner, in:, Springer, 2018, pp. 739–767.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 422 | OA
Relaminarization by steady modification of the streamwise velocity profile in a pipe
J. Kühnen, D. Scarselli, M. Schaner, B. Hof, Flow Turbulence and Combustion 100 (2018) 919–942.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 26 | OA
The influence of sequence context on the evolution of bacterial gene expression
M. Steinrück, The Influence of Sequence Context on the Evolution of Bacterial Gene Expression, IST Austria, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 461 | OA
Destabilizing turbulence in pipe flow
J. Kühnen, B. Song, D. Scarselli, N.B. Budanur, M. Riedl, A. Willis, M. Avila, B. Hof, Nature Physics 14 (2018) 386–390.
View | Files available | DOI | Download Preprint (ext.)
 

2018 | Thesis | IST-REx-ID: 50 | OA
Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration
D. Capek, Optogenetic Frizzled 7 Reveals a Permissive Function of Wnt/PCP Signaling in Directed Mesenchymal Cell Migration, IST Austria, 2018.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 265
Rational curves on smooth hypersurfaces of low degree
T.D. Browning, P. Vishe, Geometric Methods in Algebra and Number Theory 11 (2017) 1657–1675.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 266 | OA
Forms in many variables and differing degrees
T.D. Browning, R. Heath Brown, Journal of the European Mathematical Society 19 (2017) 357–394.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 267
Many cubic surfaces contain rational points
T.D. Browning, Mathematika 63 (2017) 818–839.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 268 | OA
A transference approach to a Roth-type theorem in the squares
T.D. Browning, S. Prendiville, International Mathematics Research Notices 2017 (2017) 2219–2248.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 269 | OA
Varieties with too many rational points
T.D. Browning, D. Loughran, Mathematische Zeitschrift 285 (2017) 1249–1267.
View | DOI | Download None (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 270 | OA
Power-free values of polynomials on symmetric varieties
T.D. Browning, A. Gorodnik, Proceedings of the London Mathematical Society 114 (2017) 1044–1080.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 271 | OA
Improvements in Birch's theorem on forms in many variables
T.D. Browning, S. Prendiville, Journal Fur Die Reine Und Angewandte Mathematik 2017 (2017) 203–234.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 272 | OA
Norm forms for arbitrary number fields as products of linear polynomials
T.D. Browning, L. Matthiesen, Annales Scientifiques de l’Ecole Normale Superieure 50 (2017) 1383–1446.
View | DOI | Download (ext.)
 

2017 | Conference Paper | IST-REx-ID: 274 | OA
A faster approximation algorithm for the Gibbs partition function
V. Kolmogorov, in:, Proceedings of the 31st Conference On Learning Theory, PMLR, 2017, pp. 228–249.
View | Files available | arXiv
 

2017 | Journal Article | IST-REx-ID: 796 | OA
Al transmon qubits on silicon on insulator for quantum device integration
A.J. Keller, P. Dieterle, M. Fang, B. Berger, J.M. Fink, O. Painter, Applied Physics Letters 111 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 797
Photonenblockade aufgelöst
J.M. Fink, Physik in Unserer Zeit 48 (2017) 111–113.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 798 | OA
Mechanical on chip microwave circulator
S. Barzanjeh, M. Wulf, M. Peruzzo, M. Kalaee, P. Dieterle, O. Painter, J.M. Fink, Nature Communications 8 (2017).
View | Files available | DOI
 

2017 | Book Chapter | IST-REx-ID: 7980 | OA
Polysaccharides in supercapacitors
S. Yee Liew, W. Thielemans, S.A. Freunberger, S. Spirk, in:, S. Yee Liew, W. Thielemans, S.A. Freunberger, S. Spirk (Eds.), Polysaccharide Based Supercapacitors, Springer Nature, 2017, pp. 15–53.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 7981 | OA
Singulett-Sauerstoff in der aprotischen Natrium-O2-Batterie
L. Schafzahl, N. Mahne, B. Schafzahl, M. Wilkening, C. Slugovc, S.M. Borisov, S.A. Freunberger, Angewandte Chemie 129 (2017) 15934–15938.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 7982 | OA
True performance metrics in beyond-intercalation batteries
S.A. Freunberger, Nature Energy 2 (2017).
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 7986 | OA
Singlet oxygen generation as a major cause for parasitic reactions during cycling of aprotic lithium–oxygen batteries
N. Mahne, B. Schafzahl, C. Leypold, M. Leypold, S. Grumm, A. Leitgeb, G.A. Strohmeier, M. Wilkening, O. Fontaine, D. Kramer, C. Slugovc, S.M. Borisov, S.A. Freunberger, Nature Energy 2 (2017).
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 799 | OA
BEN3/BIG2 ARF GEF is involved in brefeldin a-sensitive trafficking at the trans-Golgi network/early endosome in Arabidopsis thaliana
S. Kitakura, M. Adamowski, Y. Matsuura, L. Santuari, H. Kouno, K. Arima, C. Hardtke, J. Friml, T. Kakimoto, H. Tanaka, Plant and Cell Physiology 58 (2017).
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 800 | OA
Distance-dependent inhibition facilitates focality of gamma oscillations in the dentate gyrus
M. Strüber, J. Sauer, P.M. Jonas, M. Bartos, Nature Communications 8 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 8016 | OA
Synaptic transmission optimization predicts expression loci of long-term plasticity
R.P. Costa, Z. Padamsey, J.A. D’Amour, N.J. Emptage, R.C. Froemke, T.P. Vogels, Neuron 96 (2017) 177–189.e7.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 8017
Inhibitory plasticity: Balance, control, and codependence
G. Hennequin, E.J. Agnes, T.P. Vogels, Annual Review of Neuroscience 40 (2017) 557–579.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 8018 | OA
Inhibitory engrams in perception and memory
H.C. Barron, T.P. Vogels, T.E. Behrens, M. Ramaswami, Proceedings of the National Academy of Sciences 114 (2017) 6666–6674.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 8019
Editorial overview: Neurobiology of learning and plasticity 2017
T.P. Vogels, L.C. Griffith, Current Opinion in Neurobiology 43 (2017) A1–A5.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 803 | OA
DNA cross-bridging shapes a single nucleus from a set of mitotic chromosomes
M. Samwer, M. Schneider, R. Hoefler, P.S. Schmalhorst, J. Jude, J. Zuber, D. Gerlic, Cell 170 (2017) 956–972.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 804 | OA
Overcoming the limitations of the MARTINI force field in simulations of polysaccharides
P.S. Schmalhorst, F. Deluweit, R. Scherrers, C.-P.J. Heisenberg, M.K. Sikora, Journal of Chemical Theory and Computation 13 (2017) 5039–5053.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 805
The E2A splice variant E47 regulates the differentiation of projection neurons via p57(KIP2) during cortical development
S. Pfurr, Y. Chu, C. Bohrer, F. Greulich, R.J. Beattie, K. Mammadzada, M. Hils, S. Arnold, V. Taylor, K. Schachtrup, N.H. Uhlenhaut, C. Schachtrup, Development 144 (2017) 3917–3931.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 807 | OA
Der Springer Compact-Deal – Ein erster Einblick in die Evaluierung einer Offsetting-Vereinbarung
M. Andrae, M. Villányi, Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen Und Bibliothekare 70 (2017) 274–280.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 8075 | OA
Mapping the function of neuronal ion channels in model and experiment
W.F. Podlaski, A. Seeholzer, L.N. Groschner, G. Miesenböck, R. Ranjan, T.P. Vogels, ELife 6 (2017).
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Conference Paper | IST-REx-ID: 8129 | OA
Cortical microcircuits as gated-recurrent neural networks
R.P. Costa, Y.M. Assael, B. Shillingford, N. de Freitas, T.P. Vogels, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2017, pp. 272–283.
View | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 817 | OA
Efficient 3D-CTF correction for cryo-electron tomography using NovaCTF improves subtomogram averaging resolution to 3.4Å
B. Turoňová, F.K. Schur, W. Wan, J. Briggs, Journal of Structural Biology 199 (2017) 187–195.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 818 | OA
Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics
K. Mitosch, Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 819 | OA
Disease defence in garden ants
C. Pull, Disease Defence in Garden Ants, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 820 | OA
The lac operon in the wild
F. Jesse, The Lac Operon in the Wild, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 821 | OA
Algorithmic advances in program analysis and their applications
A. Pavlogiannis, Algorithmic Advances in Program Analysis and Their Applications, IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 822 | OA
Interaction networks, ecological stability, and collective antibiotic tolerance in polymicrobial infections
M. de Vos, M.P. Zagórski, A. Mcnally, M.T. Bollenbach, PNAS 114 (2017) 10666–10671.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 823 | OA
Phase transitions in integer linear problems
S. Colabrese, D. De Martino, L. Leuzzi, E. Marinari, Journal of Statistical Mechanics: Theory and Experiment 2017 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 8235 | OA
Development of a radiolabeled caninized anti-EGFR antibody for comparative oncology trials
J. Singer, N. Berroterán-Infante, C. Rami-Mark, M. Dumanic, M. Matz, M. Willmann, F. Andreae, J. Singer, W. Wadsak, M. Mitterhauser, E. Jensen-Jarolim, Oncotarget 8 (2017) 83128–83141.
View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 8236 | OA
AllergoOncology - the impact of allergy in oncology: EAACI position paper
E. Jensen-Jarolim, H.J. Bax, R. Bianchini, M. Capron, C. Corrigan, M. Castells, D. Dombrowicz, T.R. Daniels-Wells, J. Singer, E. Fiebiger, S. Gatault, H.J. Gould, J. Janda, D.H. Josephs, P. Karagiannis, F. Levi-Schaffer, A. Meshcheryakova, D. Mechtcheriakova, Y. Mekori, F. Mungenast, E.A. Nigro, M.L. Penichet, F. Redegeld, L. Saul, J. Singer, J.F. Spicer, A.G. Siccardi, E. Spillner, M.C. Turner, E. Untersmayr, L. Vangelista, S.N. Karagiannis, Allergy 72 (2017) 866–887.
View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 8237 | OA
Functionally active Fc mutant antibodies recognizing cancer antigens generated rapidly at high yields
K.M. Ilieva, J. Singer, D.Y. Achkova, T.S. Dodev, S. Mele, S. Crescioli, H.J. Bax, A. Cheung, P. Karagiannis, I. Correa, M. Figini, R. Marlow, D.H. Josephs, A.J. Beavil, J. Maher, J.F. Spicer, E. Jensen-Jarolim, A.N. Tutt, S.N. Karagiannis, Frontiers in Immunology 8 (2017).
View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 8239 | OA
Janus-faced Acrolein prevents allergy but accelerates tumor growth by promoting immunoregulatory Foxp3+ cells: Mouse model for passive respiratory exposure
F. Roth-Walter, C. Bergmayr, S. Meitz, S. Buchleitner, C. Stremnitzer, J. Singer, A. Moskovskich, M.A. Müller, G.A. Roth, K. Manzano-Szalai, Z. Dvorak, A. Neunkirchner, E. Jensen-Jarolim, Scientific Reports 7 (2017).
View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 824 | OA
Heteroclinic path to spatially localized chaos in pipe flow
N.B. Budanur, B. Hof, Journal of Fluid Mechanics 827 (2017).
View | DOI | Download Submitted Version (ext.)
 

Search

Filter Publications