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.
7218 Publications
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).
2017 | Journal Article | IST-REx-ID: 472
Wild-type monomeric α-synuclein can impair vesicle endocytosis and synaptic fidelity via tubulin polymerization at the calyx of held
K. Eguchi, Z. Taoufiq, O. Thorn Seshold, D. Trauner, M. Hasegawa, T. Takahashi, European Journal of Neuroscience 37 (2017) 6043–6052.
View
| DOI
K. Eguchi, Z. Taoufiq, O. Thorn Seshold, D. Trauner, M. Hasegawa, T. Takahashi, European Journal of Neuroscience 37 (2017) 6043–6052.