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.
7219 Publications
2018 | Thesis | IST-REx-ID: 50 |

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
D. Capek, Optogenetic Frizzled 7 Reveals a Permissive Function of Wnt/PCP Signaling in Directed Mesenchymal Cell Migration, IST Austria, 2018.
2018 | Journal Article | IST-REx-ID: 461 |

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.)
J. Kühnen, B. Song, D. Scarselli, N.B. Budanur, M. Riedl, A. Willis, M. Avila, B. Hof, Nature Physics 14 (2018) 386–390.
2018 | Thesis | IST-REx-ID: 6263 |

Genetic determinants of antibiotic resistance evolution
M. Lukacisinova, Genetic Determinants of Antibiotic Resistance Evolution, IST Austria, 2018.
View
| Files available
| DOI
M. Lukacisinova, Genetic Determinants of Antibiotic Resistance Evolution, IST Austria, 2018.
2018 | Thesis | IST-REx-ID: 6266 |

Design and characterization of methods and biological components to realize synthetic neurotransmission
C. Mckenzie, Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission , IST Austria, 2018.
View
| Files available
| DOI
C. Mckenzie, Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission , IST Austria, 2018.
2018 | Journal Article | IST-REx-ID: 21 |

Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus
C. Espinoza Martinez, J. Guzmán, X. Zhang, P.M. Jonas, Nature Communications 9 (2018).
View
| Files available
| DOI
C. Espinoza Martinez, J. Guzmán, X. Zhang, P.M. Jonas, Nature Communications 9 (2018).
2018 | Journal Article | IST-REx-ID: 67 |

Evolutionary potential of transcription factors for gene regulatory rewiring
C. Igler, M. Lagator, G. Tkačik, J.P. Bollback, C.C. Guet, Nature Ecology and Evolution 2 (2018) 1633–1643.
View
| Files available
| DOI
C. Igler, M. Lagator, G. Tkačik, J.P. Bollback, C.C. Guet, Nature Ecology and Evolution 2 (2018) 1633–1643.
2018 | Research Data | IST-REx-ID: 5585 |

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
C. Igler, M. Lagator, G. Tkačik, J.P. Bollback, C.C. Guet, (2018).
2018 | Journal Article | IST-REx-ID: 544 |

Tools allowing independent visualization and genetic manipulation of Drosophila melanogaster macrophages and surrounding tissues
A. György, M. Roblek, A. Ratheesh, K. Valosková, V. Belyaeva, S. Wachner, Y. Matsubayashi, B. Sanchez Sanchez, B. Stramer, D.E. Siekhaus, G3: Genes, Genomes, Genetics 8 (2018) 845–857.
View
| Files available
| DOI
A. György, M. Roblek, A. Ratheesh, K. Valosková, V. Belyaeva, S. Wachner, Y. Matsubayashi, B. Sanchez Sanchez, B. Stramer, D.E. Siekhaus, G3: Genes, Genomes, Genetics 8 (2018) 845–857.
2018 | Journal Article | IST-REx-ID: 15 |

Chemokines and integrins independently tune actin flow and substrate friction during intranodal migration of T cells
M. Hons, A. Kopf, R. Hauschild, A.F. Leithner, F.R. Gärtner, J. Abe, J. Renkawitz, J. Stein, M.K. Sixt, Nature Immunology 19 (2018) 606–616.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Hons, A. Kopf, R. Hauschild, A.F. Leithner, F.R. Gärtner, J. Abe, J. Renkawitz, J. Stein, M.K. Sixt, Nature Immunology 19 (2018) 606–616.
2018 | Thesis | IST-REx-ID: 9 |

Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo
V. Belyaeva, Transcriptional Regulation of Macrophage Migration in the Drosophila Melanogaster Embryo , IST Austria, 2018.
View
| Files available
| DOI
V. Belyaeva, Transcriptional Regulation of Macrophage Migration in the Drosophila Melanogaster Embryo , IST Austria, 2018.
2018 | Journal Article | IST-REx-ID: 5914 |

Tetrode recording from the hippocampus of behaving mice coupled with four-point-irradiation closed-loop optogenetics: A technique to study the contribution of Hippocampal SWR events to learning
D.K. Rangel Guerrero, J.G. Donnett, J.L. Csicsvari, K. Kovács, ENeuro 5 (2018).
View
| Files available
| DOI
D.K. Rangel Guerrero, J.G. Donnett, J.L. Csicsvari, K. Kovács, ENeuro 5 (2018).
2018 | Journal Article | IST-REx-ID: 449 |

WRKY23 is a component of the transcriptional network mediating auxin feedback on PIN polarity
T. Prat, J. Hajny, W. Grunewald, M.K. Vasileva, G. Molnar, R. Tejos, M. Schmid, M. Sauer, J. Friml, PLoS Genetics 14 (2018).
View
| Files available
| DOI
T. Prat, J. Hajny, W. Grunewald, M.K. Vasileva, G. Molnar, R. Tejos, M. Schmid, M. Sauer, J. Friml, PLoS Genetics 14 (2018).
2018 | Journal Article | IST-REx-ID: 191 |

PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter mediates polarity switches during gravitropism
P. Grones, M.F. Abas, J. Hajny, A. Jones, S. Waidmann, J. Kleine Vehn, J. Friml, Scientific Reports 8 (2018).
View
| Files available
| DOI
P. Grones, M.F. Abas, J. Hajny, A. Jones, S. Waidmann, J. Kleine Vehn, J. Friml, Scientific Reports 8 (2018).
2018 | Thesis | IST-REx-ID: 395 |

The branched chain amino acids in autism spectrum disorders
D.-C. Tarlungeanu, The Branched Chain Amino Acids in Autism Spectrum Disorders , IST Austria, 2018.
View
| Files available
| DOI
D.-C. Tarlungeanu, The Branched Chain Amino Acids in Autism Spectrum Disorders , IST Austria, 2018.
2018 | Thesis | IST-REx-ID: 10 |

Role of genomic imprinting in cerebral cortex development
S. Laukoter, Role of Genomic Imprinting in Cerebral Cortex Development, IST Austria, 2018.
View
| Files available
| DOI
S. Laukoter, Role of Genomic Imprinting in Cerebral Cortex Development, IST Austria, 2018.
2018 | Thesis | IST-REx-ID: 26 |

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
M. Steinrück, The Influence of Sequence Context on the Evolution of Bacterial Gene Expression, IST Austria, 2018.
2018 | Conference Paper | IST-REx-ID: 6340 |

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
A.K. Goharshady, A. Behrouz, K. Chatterjee, in:, Proceedings of the IEEE International Conference on Blockchain, IEEE, 2018, pp. 1343–1348.
2018 | Journal Article | IST-REx-ID: 6009 |

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
K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 40 (2018).
2018 | Conference Paper | IST-REx-ID: 5977 |

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
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.
2018 | Conference Paper | IST-REx-ID: 66 |

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
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, Y. Velner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 | Conference Paper | IST-REx-ID: 311 |

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

Experimental evidence for Wigner's tunneling time
N. Camus, E. Yakaboylu, L. Fechner, M. Klaiber, M. Laux, Y. Mi, K. Hatsagortsyan, T. Pfeifer, C. Keitel, R. Moshammer, in:, American Physical Society, 2017.
View
| Files available
| DOI
| arXiv
N. Camus, E. Yakaboylu, L. Fechner, M. Klaiber, M. Laux, Y. Mi, K. Hatsagortsyan, T. Pfeifer, C. Keitel, R. Moshammer, in:, American Physical Society, 2017.
2017 | Conference Paper | IST-REx-ID: 787 |

Time-space trade-offs in population protocols
D.-A. Alistarh, J. Aspnes, D. Eisenstat, R. Rivest, R. Gelashvili, in:, SIAM, 2017, pp. 2560–2579.
View
| DOI
| Download None (ext.)
D.-A. Alistarh, J. Aspnes, D. Eisenstat, R. Rivest, R. Gelashvili, in:, SIAM, 2017, pp. 2560–2579.
2017 | Conference Paper | IST-REx-ID: 788 |

Robust detection in leak-prone population protocols
D.-A. Alistarh, B. Dudek, A. Kosowski, D. Soloveichik, P. Uznański, in:, Springer, 2017, pp. 155–171.
View
| DOI
| Download None (ext.)
| arXiv
D.-A. Alistarh, B. Dudek, A. Kosowski, D. Soloveichik, P. Uznański, in:, Springer, 2017, pp. 155–171.
2017 | Conference Paper | IST-REx-ID: 789
Forkscan: Conservative memory reclamation for modern operating systems
D.-A. Alistarh, W. Leiserson, A. Matveev, N. Shavit, in:, ACM, 2017, pp. 483–498.
View
| DOI
D.-A. Alistarh, W. Leiserson, A. Matveev, N. Shavit, in:, ACM, 2017, pp. 483–498.
2017 | Conference Paper | IST-REx-ID: 790
FPGA-accelerated dense linear machine learning: A precision-convergence trade-off
K. Kara, D.-A. Alistarh, G. Alonso, O. Mutlu, C. Zhang, in:, IEEE, 2017, pp. 160–167.
View
| DOI
K. Kara, D.-A. Alistarh, G. Alonso, O. Mutlu, C. Zhang, in:, IEEE, 2017, pp. 160–167.
2017 | Conference Paper | IST-REx-ID: 791 |

The power of choice in priority scheduling
D.-A. Alistarh, J. Kopinsky, J. Li, G. Nadiradze, in:, Proceedings of the ACM Symposium on Principles of Distributed Computing, ACM, 2017, pp. 283–292.
View
| DOI
| Download Submitted Version (ext.)
D.-A. Alistarh, J. Kopinsky, J. Li, G. Nadiradze, in:, Proceedings of the ACM Symposium on Principles of Distributed Computing, ACM, 2017, pp. 283–292.
2017 | Journal Article | IST-REx-ID: 792 |

Relative periodic orbits form the backbone of turbulent pipe flow
N.B. Budanur, K. Short, M. Farazmand, A. Willis, P. Cvitanović, Journal of Fluid Mechanics 833 (2017) 274–301.
View
| DOI
| Download Submitted Version (ext.)
N.B. Budanur, K. Short, M. Farazmand, A. Willis, P. Cvitanović, Journal of Fluid Mechanics 833 (2017) 274–301.
2017 | Journal Article | IST-REx-ID: 793 |

On the existence of ordinary triangles
R. Fulek, H. Mojarrad, M. Naszódi, J. Solymosi, S. Stich, M. Szedlák, Computational Geometry: Theory and Applications 66 (2017) 28–31.
View
| DOI
| Download Submitted Version (ext.)
R. Fulek, H. Mojarrad, M. Naszódi, J. Solymosi, S. Stich, M. Szedlák, Computational Geometry: Theory and Applications 66 (2017) 28–31.
2017 | Journal Article | IST-REx-ID: 794 |

C-planarity of embedded cyclic c-graphs
R. Fulek, Computational Geometry: Theory and Applications 66 (2017) 1–13.
View
| Files available
| DOI
| Download Preprint (ext.)
R. Fulek, Computational Geometry: Theory and Applications 66 (2017) 1–13.
2017 | Journal Article | IST-REx-ID: 795 |

Unified Hanani Tutte theorem
R. Fulek, J. Kynčl, D. Pálvölgyi, Electronic Journal of Combinatorics 24 (2017).
View
| Files available
| DOI
R. Fulek, J. Kynčl, D. Pálvölgyi, Electronic Journal of Combinatorics 24 (2017).
2017 | Journal Article | IST-REx-ID: 796 |

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.)
A.J. Keller, P. Dieterle, M. Fang, B. Berger, J.M. Fink, O. Painter, Applied Physics Letters 111 (2017).
2017 | Journal Article | IST-REx-ID: 797
Photonenblockade aufgelöst
J.M. Fink, Physik in Unserer Zeit 48 (2017) 111–113.
View
| DOI
J.M. Fink, Physik in Unserer Zeit 48 (2017) 111–113.
2017 | Journal Article | IST-REx-ID: 798 |

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
S. Barzanjeh, M. Wulf, M. Peruzzo, M. Kalaee, P. Dieterle, O. Painter, J.M. Fink, Nature Communications 8 (2017).
2017 | Book Chapter | IST-REx-ID: 7980 |

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
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.
2017 | Journal Article | IST-REx-ID: 7981 |

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
L. Schafzahl, N. Mahne, B. Schafzahl, M. Wilkening, C. Slugovc, S.M. Borisov, S.A. Freunberger, Angewandte Chemie 129 (2017) 15934–15938.
2017 | Journal Article | IST-REx-ID: 7982 |

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

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
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).
2017 | Journal Article | IST-REx-ID: 799 |

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
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).
2017 | Journal Article | IST-REx-ID: 800 |

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
M. Strüber, J. Sauer, P.M. Jonas, M. Bartos, Nature Communications 8 (2017).
2017 | Journal Article | IST-REx-ID: 8016 |

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
R.P. Costa, Z. Padamsey, J.A. D’Amour, N.J. Emptage, R.C. Froemke, T.P. Vogels, Neuron 96 (2017) 177–189.e7.
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
G. Hennequin, E.J. Agnes, T.P. Vogels, Annual Review of Neuroscience 40 (2017) 557–579.
2017 | Journal Article | IST-REx-ID: 8018 |

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
H.C. Barron, T.P. Vogels, T.E. Behrens, M. Ramaswami, Proceedings of the National Academy of Sciences 114 (2017) 6666–6674.
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
T.P. Vogels, L.C. Griffith, Current Opinion in Neurobiology 43 (2017) A1–A5.
2017 | Journal Article | IST-REx-ID: 803 |

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
M. Samwer, M. Schneider, R. Hoefler, P.S. Schmalhorst, J. Jude, J. Zuber, D. Gerlic, Cell 170 (2017) 956–972.
2017 | Journal Article | IST-REx-ID: 804 |

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.)
P.S. Schmalhorst, F. Deluweit, R. Scherrers, C.-P.J. Heisenberg, M.K. Sikora, Journal of Chemical Theory and Computation 13 (2017) 5039–5053.
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
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.
2017 | Journal Article | IST-REx-ID: 807 |

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
M. Andrae, M. Villányi, Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen Und Bibliothekare 70 (2017) 274–280.
2017 | Journal Article | IST-REx-ID: 8075 |

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
W.F. Podlaski, A. Seeholzer, L.N. Groschner, G. Miesenböck, R. Ranjan, T.P. Vogels, ELife 6 (2017).
2017 | Conference Paper | IST-REx-ID: 8129 |

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
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.
2017 | Journal Article | IST-REx-ID: 817 |

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
B. Turoňová, F.K. Schur, W. Wan, J. Briggs, Journal of Structural Biology 199 (2017) 187–195.
2017 | Thesis | IST-REx-ID: 818 |

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
K. Mitosch, Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 819 |

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

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

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
A. Pavlogiannis, Algorithmic Advances in Program Analysis and Their Applications, IST Austria, 2017.
2017 | Journal Article | IST-REx-ID: 822 |

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
M. de Vos, M.P. Zagórski, A. Mcnally, M.T. Bollenbach, PNAS 114 (2017) 10666–10671.
2017 | Journal Article | IST-REx-ID: 823 |

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.)
S. Colabrese, D. De Martino, L. Leuzzi, E. Marinari, Journal of Statistical Mechanics: Theory and Experiment 2017 (2017).
2017 | Journal Article | IST-REx-ID: 8235 |

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.)
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.
2017 | Journal Article | IST-REx-ID: 8236 |

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

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.)
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).
2017 | Journal Article | IST-REx-ID: 8239 |

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.)
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).
2017 | Journal Article | IST-REx-ID: 824 |

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.)
N.B. Budanur, B. Hof, Journal of Fluid Mechanics 827 (2017).
2017 | Journal Article | IST-REx-ID: 8240 |

Long term storage in liquid nitrogen leads to only minor phenotypic and gene expression changes in the mammary carcinoma model cell line BT474
J. Singer, T.W. Grunt, E. Jensen-Jarolim, J. Singer, Oncotarget 8 (2017) 35076–35087.
View
| DOI
| Download Published Version (ext.)
J. Singer, T.W. Grunt, E. Jensen-Jarolim, J. Singer, Oncotarget 8 (2017) 35076–35087.
2017 | Journal Article | IST-REx-ID: 825 |

Metadata for research data in practice
B. Petritsch, Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare 70 (2017) 200–207.
View
| Files available
| DOI
B. Petritsch, Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare 70 (2017) 200–207.
2017 | Conference Paper | IST-REx-ID: 8299
Proof-of-personhood: Redemocratizing permissionless cryptocurrencies
M. Borge, E. Kokoris Kogias, P. Jovanovic, L. Gasser, N. Gailly, B. Ford, in:, 2017 IEEE European Symposium on Security and Privacy Workshops, IEEE, 2017.
View
| DOI
M. Borge, E. Kokoris Kogias, P. Jovanovic, L. Gasser, N. Gailly, B. Ford, in:, 2017 IEEE European Symposium on Security and Privacy Workshops, IEEE, 2017.
2017 | Conference Paper | IST-REx-ID: 8301 |

CHAINIAC: Proactive software-update transparency via collectively signed skipchains and verified builds
K. Nikitin, E. Kokoris Kogias, P. Jovanovic, L. Gasser, N. Gailly, I. Khoffi, J. Cappos, B. Ford, in:, Proceedings of the 26th USENIX Conference on Security Symposium, USENIX Association, 2017, pp. 1271–1287.
View
| Download Published Version (ext.)
K. Nikitin, E. Kokoris Kogias, P. Jovanovic, L. Gasser, N. Gailly, I. Khoffi, J. Cappos, B. Ford, in:, Proceedings of the 26th USENIX Conference on Security Symposium, USENIX Association, 2017, pp. 1271–1287.
2017 | Conference Paper | IST-REx-ID: 8306 |

Scalable bias-resistant distributed randomness
E. Syta, P. Jovanovic, E. Kokoris Kogias, N. Gailly, L. Gasser, I. Khoffi, M.J. Fischer, B. Ford, in:, 2017 IEEE Symposium on Security and Privacy, IEEE, 2017, pp. 444–460.
View
| DOI
| Download Preprint (ext.)
E. Syta, P. Jovanovic, E. Kokoris Kogias, N. Gailly, L. Gasser, I. Khoffi, M.J. Fischer, B. Ford, in:, 2017 IEEE Symposium on Security and Privacy, IEEE, 2017, pp. 444–460.
2017 | Conference Paper | IST-REx-ID: 833 |

Streaming algorithm for Euler characteristic curves of multidimensional images
T. Heiss, H. Wagner, in:, M. Felsberg, A. Heyden, N. Krüger (Eds.), Springer, 2017, pp. 397–409.
View
| DOI
| Download Submitted Version (ext.)
T. Heiss, H. Wagner, in:, M. Felsberg, A. Heyden, N. Krüger (Eds.), Springer, 2017, pp. 397–409.
2017 | Journal Article | IST-REx-ID: 834 |

Thouless energy and multifractality across the many-body localization transition
M. Serbyn, P. Zlatko, D. Abanin, Physical Review B - Condensed Matter and Materials Physics 96 (2017).
View
| DOI
| Download Submitted Version (ext.)
M. Serbyn, P. Zlatko, D. Abanin, Physical Review B - Condensed Matter and Materials Physics 96 (2017).
2017 | Journal Article | IST-REx-ID: 835 |

Regulation of Drosophila hematopoietic sites by Activin-β from active sensory neurons
K. Makhijani, B. Alexander, D. Rao, S. Petraki, L. Herboso, K. Kukar, I. Batool, S. Wachner, K. Gold, C. Wong, M. O’Connor, K. Brückner, Nature Communications 8 (2017).
View
| Files available
| DOI
K. Makhijani, B. Alexander, D. Rao, S. Petraki, L. Herboso, K. Kukar, I. Batool, S. Wachner, K. Gold, C. Wong, M. O’Connor, K. Brückner, Nature Communications 8 (2017).
2017 | Conference Paper | IST-REx-ID: 836
Finding eigenvalues of self-maps with the Kronecker canonical form
M. Ethier, G. Jablonski, M. Mrozek, in:, Special Sessions in Applications of Computer Algebra, Springer, 2017, pp. 119–136.
View
| DOI
M. Ethier, G. Jablonski, M. Mrozek, in:, Special Sessions in Applications of Computer Algebra, Springer, 2017, pp. 119–136.
2017 | Thesis | IST-REx-ID: 837 |

Reactivation of the hippocampal cognitive map in goal-directed spatial tasks
H. Xu, Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks, IST Austria, 2017.
View
| Files available
| DOI
H. Xu, Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 838 |

(The exact security of) Message authentication codes
M. Rybar, (The Exact Security of) Message Authentication Codes, IST Austria, 2017.
View
| Files available
| DOI
M. Rybar, (The Exact Security of) Message Authentication Codes, IST Austria, 2017.
2017 | Thesis | IST-REx-ID: 839 |

Brittle fracture simulation with boundary elements for computer graphics
D. Hahn, Brittle Fracture Simulation with Boundary Elements for Computer Graphics, IST Austria, 2017.
View
| Files available
| DOI
D. Hahn, Brittle Fracture Simulation with Boundary Elements for Computer Graphics, IST Austria, 2017.
2017 | Book Chapter | IST-REx-ID: 84
Computational topology for structural molecular biology
H. Edelsbrunner, P. Koehl, in:, C. Toth, J. O’Rourke, J. Goodman (Eds.), Handbook of Discrete and Computational Geometry, Third Edition, CRC Press, 2017, pp. 1709–1735.
View
| DOI
H. Edelsbrunner, P. Koehl, in:, C. Toth, J. O’Rourke, J. Goodman (Eds.), Handbook of Discrete and Computational Geometry, Third Edition, CRC Press, 2017, pp. 1709–1735.
2017 | Journal Article | IST-REx-ID: 840 |

Fast hole tunneling times in germanium hut wires probed by single-shot reflectometry
L. Vukušić, J. Kukucka, H. Watzinger, G. Katsaros, Nano Letters 17 (2017) 5706–5710.
View
| Files available
| DOI
L. Vukušić, J. Kukucka, H. Watzinger, G. Katsaros, Nano Letters 17 (2017) 5706–5710.
2017 | Journal Article | IST-REx-ID: 8423 |

On the marked length spectrum of generic strictly convex billiard tables
G. Huang, V. Kaloshin, A. Sorrentino, Duke Mathematical Journal 167 (2017) 175–209.
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Huang, V. Kaloshin, A. Sorrentino, Duke Mathematical Journal 167 (2017) 175–209.
2017 | Journal Article | IST-REx-ID: 8427 |

Dynamical spectral rigidity among Z2-symmetric strictly convex domains close to a circle
J. De Simoi, V. Kaloshin, Q. Wei, Annals of Mathematics 186 (2017) 277–314.
View
| DOI
| Download Preprint (ext.)
| arXiv
J. De Simoi, V. Kaloshin, Q. Wei, Annals of Mathematics 186 (2017) 277–314.
2017 | Journal Article | IST-REx-ID: 8444
Mitochondrial ADP/ATP carrier in dodecylphosphocholine binds cardiolipins with non-native affinity
F. Dehez, P. Schanda, M.S. King, E.R.S. Kunji, C. Chipot, Biophysical Journal 113 (2017) 2311–2315.
View
| DOI
F. Dehez, P. Schanda, M.S. King, E.R.S. Kunji, C. Chipot, Biophysical Journal 113 (2017) 2311–2315.
2017 | Journal Article | IST-REx-ID: 8445
Slow conformational exchange and overall rocking motion in ubiquitin protein crystals
V. Kurauskas, S.A. Izmailov, O.N. Rogacheva, A. Hessel, I. Ayala, J. Woodhouse, A. Shilova, Y. Xue, T. Yuwen, N. Coquelle, J.-P. Colletier, N.R. Skrynnikov, P. Schanda, Nature Communications 8 (2017).
View
| DOI
V. Kurauskas, S.A. Izmailov, O.N. Rogacheva, A. Hessel, I. Ayala, J. Woodhouse, A. Shilova, Y. Xue, T. Yuwen, N. Coquelle, J.-P. Colletier, N.R. Skrynnikov, P. Schanda, Nature Communications 8 (2017).
2017 | Journal Article | IST-REx-ID: 8446
Solid‐state NMR H–N–(C)–H and H–N–C–C 3D/4D correlation experiments for resonance assignment of large proteins
H. Fraga, C. Arnaud, D.F. Gauto, M. Audin, V. Kurauskas, P. Macek, C. Krichel, J. Guan, J. Boisbouvier, R. Sprangers, C. Breyton, P. Schanda, ChemPhysChem 18 (2017) 2697–2703.
View
| DOI
H. Fraga, C. Arnaud, D.F. Gauto, M. Audin, V. Kurauskas, P. Macek, C. Krichel, J. Guan, J. Boisbouvier, R. Sprangers, C. Breyton, P. Schanda, ChemPhysChem 18 (2017) 2697–2703.
2017 | Journal Article | IST-REx-ID: 8447
Protein conformational dynamics studied by 15N and 1HR1ρ relaxation dispersion: Application to wild-type and G53A ubiquitin crystals
D.F. Gauto, A. Hessel, P. Rovó, V. Kurauskas, R. Linser, P. Schanda, Solid State Nuclear Magnetic Resonance 87 (2017) 86–95.
View
| DOI
D.F. Gauto, A. Hessel, P. Rovó, V. Kurauskas, R. Linser, P. Schanda, Solid State Nuclear Magnetic Resonance 87 (2017) 86–95.
2017 | Journal Article | IST-REx-ID: 8448
Optimized fast mixing device for real-time NMR applications
R. Franco, A. Favier, P. Schanda, B. Brutscher, Journal of Magnetic Resonance 281 (2017) 125–129.
View
| DOI
R. Franco, A. Favier, P. Schanda, B. Brutscher, Journal of Magnetic Resonance 281 (2017) 125–129.
2017 | Journal Article | IST-REx-ID: 8449
RNA binding and chaperone activity of the E.coli cold-shock protein CspA
E. Rennella, T. Sára, M. Juen, C. Wunderlich, L. Imbert, Z. Solyom, A. Favier, I. Ayala, K. Weinhäupl, P. Schanda, R. Konrat, C. Kreutz, B. Brutscher, Nucleic Acids Research 45 (2017) 4255–4268.
View
| DOI
E. Rennella, T. Sára, M. Juen, C. Wunderlich, L. Imbert, Z. Solyom, A. Favier, I. Ayala, K. Weinhäupl, P. Schanda, R. Konrat, C. Kreutz, B. Brutscher, Nucleic Acids Research 45 (2017) 4255–4268.
2017 | Book Chapter | IST-REx-ID: 8450
Methyl-specific isotope labeling strategies for NMR studies of membrane proteins
V. Kurauskas, P. Schanda, R. Sounier, in:, Membrane Protein Structure and Function Characterization, Springer Nature, 2017, pp. 109–123.
View
| DOI
V. Kurauskas, P. Schanda, R. Sounier, in:, Membrane Protein Structure and Function Characterization, Springer Nature, 2017, pp. 109–123.
2017 | Journal Article | IST-REx-ID: 8451
Proton-detected solid-state NMR spectroscopy of a Zinc diffusion facilitator protein in native nanodiscs
B. Bersch, J.M. Dörr, A. Hessel, J.A. Killian, P. Schanda, Angewandte Chemie International Edition 56 (2017) 2508–2512.
View
| DOI
B. Bersch, J.M. Dörr, A. Hessel, J.A. Killian, P. Schanda, Angewandte Chemie International Edition 56 (2017) 2508–2512.
2017 | Journal Article | IST-REx-ID: 443 |

Mitochondrial mutations and metabolic adaptation in pancreatic cancer
R. Hardie, E. Van Dam, M. Cowley, T. Han, S. Balaban, M. Pajic, M. Pinese, M. Iconomou, R. Shearer, J. Mckenna, D. Miller, N. Waddell, J. Pearson, S. Grimmond, L.A. Sazanov, A. Biankin, S. Villas Boas, A. Hoy, N. Turner, D. Saunders, Cancer & Metabolism 5 (2017).
View
| Files available
| DOI
R. Hardie, E. Van Dam, M. Cowley, T. Han, S. Balaban, M. Pajic, M. Pinese, M. Iconomou, R. Shearer, J. Mckenna, D. Miller, N. Waddell, J. Pearson, S. Grimmond, L.A. Sazanov, A. Biankin, S. Villas Boas, A. Hoy, N. Turner, D. Saunders, Cancer & Metabolism 5 (2017).
2017 | Book Chapter | IST-REx-ID: 444
Structure of respiratory complex I: “Minimal” bacterial and “de luxe” mammalian versions
L.A. Sazanov, in:, M. Wikström (Ed.), Mechanisms of Primary Energy Transduction in Biology , Royal Society of Chemistry, 2017, pp. 25–59.
View
| DOI
L.A. Sazanov, in:, M. Wikström (Ed.), Mechanisms of Primary Energy Transduction in Biology , Royal Society of Chemistry, 2017, pp. 25–59.
2017 | Journal Article | IST-REx-ID: 445 |

Loschmidt echo in many body localized phases
M. Serbyn, D. Abanin, Physical Review B - Condensed Matter and Materials Physics 96 (2017).
View
| DOI
| Download (ext.)
M. Serbyn, D. Abanin, Physical Review B - Condensed Matter and Materials Physics 96 (2017).
2017 | Journal Article | IST-REx-ID: 447 |

Fluctuations of the competition interface in presence of shocks
P. Ferrari, P. Nejjar, Revista Latino-Americana de Probabilidade e Estatística 9 (2017) 299–325.
View
| DOI
| Download Submitted Version (ext.)
P. Ferrari, P. Nejjar, Revista Latino-Americana de Probabilidade e Estatística 9 (2017) 299–325.
2017 | Journal Article | IST-REx-ID: 452
Spin it: Optimizing moment of inertia for spinnable objects
M. Bächer, B. Bickel, E. Whiting, O. Sorkine Hornung, Communications of the ACM 60 (2017) 92–99.
View
| DOI
M. Bächer, B. Bickel, E. Whiting, O. Sorkine Hornung, Communications of the ACM 60 (2017) 92–99.
2017 | Journal Article | IST-REx-ID: 453 |

Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement
T. Fallesen, J. Roostalu, C.F. Düllberg, G. Pruessner, T. Surrey, Biophysical Journal 113 (2017) 2055–2067.
View
| Files available
| DOI
T. Fallesen, J. Roostalu, C.F. Düllberg, G. Pruessner, T. Surrey, Biophysical Journal 113 (2017) 2055–2067.
2017 | Journal Article | IST-REx-ID: 459 |

Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern
S. Cremer, Rundgespräche Forum Ökologie 46 (2017) 105–116.
View
| Files available
S. Cremer, Rundgespräche Forum Ökologie 46 (2017) 105–116.
2017 | Journal Article | IST-REx-ID: 463 |

Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow
S. Altmeyer, Y. Do, S. Ryu, Chaos 27 (2017).
View
| Files available
| DOI
S. Altmeyer, Y. Do, S. Ryu, Chaos 27 (2017).
2017 | Journal Article | IST-REx-ID: 464 |

Improved algorithms for parity and Streett objectives
K. Chatterjee, M. Henzinger, V. Loitzenbauer, Logical Methods in Computer Science 13 (2017).
View
| Files available
| DOI
K. Chatterjee, M. Henzinger, V. Loitzenbauer, Logical Methods in Computer Science 13 (2017).
2017 | Journal Article | IST-REx-ID: 465 |

Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Logical Methods in Computer Science 13 (2017).
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Logical Methods in Computer Science 13 (2017).
2017 | Journal Article | IST-REx-ID: 466 |

Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Křetínská, J. Kretinsky, Logical Methods in Computer Science 13 (2017).
View
| Files available
| DOI
K. Chatterjee, Z. Křetínská, J. Kretinsky, Logical Methods in Computer Science 13 (2017).
2017 | Journal Article | IST-REx-ID: 467 |

Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, ACM Transactions on Computational Logic (TOCL) 18 (2017).
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, T.A. Henzinger, J. Otop, ACM Transactions on Computational Logic (TOCL) 18 (2017).
2017 | Journal Article | IST-REx-ID: 470 |

Water wave packets
S. Jeschke, C.J. Wojtan, ACM Transactions on Graphics 36 (2017).
View
| Files available
| DOI
S. Jeschke, C.J. Wojtan, ACM Transactions on Graphics 36 (2017).
2017 | Journal Article | IST-REx-ID: 471 |

Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, ACM Transactions on Computational Logic (TOCL) 18 (2017).
View
| Files available
| DOI
| Download Submitted Version (ext.)
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, ACM Transactions on Computational Logic (TOCL) 18 (2017).