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.
8915 Publications
2017 | Published | Journal Article | IST-REx-ID: 743
Preface of the special issue in memoriam Helmut Veith
G. Gottlob, T.A. Henzinger, G. Weißenbacher, Formal Methods in System Design 51 (2017) 267–269.
View
| DOI
| WoS
G. Gottlob, T.A. Henzinger, G. Weißenbacher, Formal Methods in System Design 51 (2017) 267–269.
2017 | Published | Journal Article | IST-REx-ID: 744 |

Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma
T. Priklopil, K. Chatterjee, M. Nowak, Journal of Theoretical Biology 433 (2017) 64–72.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
T. Priklopil, K. Chatterjee, M. Nowak, Journal of Theoretical Biology 433 (2017) 64–72.
2017 | Published | Journal Article | IST-REx-ID: 745 |

Transition to turbulence in pulsating pipe flow
D. Xu, S. Warnecke, B. Song, X. Ma, B. Hof, Journal of Fluid Mechanics 831 (2017) 418–432.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
D. Xu, S. Warnecke, B. Song, X. Ma, B. Hof, Journal of Fluid Mechanics 831 (2017) 418–432.
2017 | Published | Journal Article | IST-REx-ID: 746 |

Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice
E. Aloisi, K. Le Corf, J. Dupuis, P. Zhang, M. Ginger, V. Labrousse, M. Spatuzza, M. Georg Haberl, L. Costa, R. Shigemoto, A. Tappe Theodor, F. Drago, P. Vincenzo Piazza, C. Mulle, L. Groc, L. Ciranna, M. Catania, A. Frick, Nature Communications 8 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
E. Aloisi, K. Le Corf, J. Dupuis, P. Zhang, M. Ginger, V. Labrousse, M. Spatuzza, M. Georg Haberl, L. Costa, R. Shigemoto, A. Tappe Theodor, F. Drago, P. Vincenzo Piazza, C. Mulle, L. Groc, L. Ciranna, M. Catania, A. Frick, Nature Communications 8 (2017).
2017 | Published | Journal Article | IST-REx-ID: 747 |

Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus
E. Brǎiloiu, M. Mcguire, S. Shuler, E. Deliu, J. Barr, M. Abood, G. Brailoiu, Neuroscience 365 (2017) 23–32.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
E. Brǎiloiu, M. Mcguire, S. Shuler, E. Deliu, J. Barr, M. Abood, G. Brailoiu, Neuroscience 365 (2017) 23–32.
2017 | Published | Book Chapter | IST-REx-ID: 748
'...beyond the invisible barrier at Portage and Main': Liminality in John Marlyn's Under the Ribs of Death
B. Wenzl, in:, S. Brandt (Ed.), In-Between - Liminal Spaces in Canadian Literature and Culture, Peter Lang GmbH, 2017, pp. 91–100.
View
| DOI
B. Wenzl, in:, S. Brandt (Ed.), In-Between - Liminal Spaces in Canadian Literature and Culture, Peter Lang GmbH, 2017, pp. 91–100.
2017 | Published | Journal Article | IST-REx-ID: 749 |

Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses
C. Chen, R. Satterfield, S. Young, P.M. Jonas, Cell Reports 21 (2017) 2082–2089.
[Published Version]
View
| Files available
| DOI
| WoS
C. Chen, R. Satterfield, S. Young, P.M. Jonas, Cell Reports 21 (2017) 2082–2089.
2017 | Published | Conference Paper | IST-REx-ID: 750
Optimal geospatial volunteer allocation needs realistic distances
J. Pielorz, M. Prandtstetter, M. Straub, C. Lampert, in:, 2017 IEEE International Conference on Big Data, IEEE, 2017, pp. 3760–3763.
View
| DOI
J. Pielorz, M. Prandtstetter, M. Straub, C. Lampert, in:, 2017 IEEE International Conference on Big Data, IEEE, 2017, pp. 3760–3763.
2017 | Published | Journal Article | IST-REx-ID: 751 |

A moving source of matrix components is essential for De Novo basement membrane formation
Y. Matsubayashi, A. Louani, A. Dragu, B. Sanchez Sanchez, E. Serna Morales, L. Yolland, A. György, G. Vizcay, R. Fleck, J. Heddleston, T. Chew, D.E. Siekhaus, B. Stramer, Current Biology 27 (2017) 3526–3534e.4.
[Published Version]
View
| Files available
| DOI
| WoS
Y. Matsubayashi, A. Louani, A. Dragu, B. Sanchez Sanchez, E. Serna Morales, L. Yolland, A. György, G. Vizcay, R. Fleck, J. Heddleston, T. Chew, D.E. Siekhaus, B. Stramer, Current Biology 27 (2017) 3526–3534e.4.
2017 | Published | Journal Article | IST-REx-ID: 14004 |

Signatures of electronic structure in bicircular high-harmonic spectroscopy
D.R. Baykusheva, S. Brennecke, M. Lein, H.J. Wörner, Physical Review Letters 119 (2017).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D.R. Baykusheva, S. Brennecke, M. Lein, H.J. Wörner, Physical Review Letters 119 (2017).
2017 | Published | Journal Article | IST-REx-ID: 14005 |

Dynamics of valence-shell electrons and nuclei probed by strong-field holography and rescattering
S.G. Walt, N. Bhargava Ram, M. Atala, N.I. Shvetsov-Shilovski, A. von Conta, D.R. Baykusheva, M. Lein, H.J. Wörner, Nature Communications 8 (2017).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S.G. Walt, N. Bhargava Ram, M. Atala, N.I. Shvetsov-Shilovski, A. von Conta, D.R. Baykusheva, M. Lein, H.J. Wörner, Nature Communications 8 (2017).
2017 | Published | Journal Article | IST-REx-ID: 14006
Theory of attosecond delays in molecular photoionization
D.R. Baykusheva, H.J. Wörner, The Journal of Chemical Physics 146 (2017).
View
| DOI
| PubMed | Europe PMC
D.R. Baykusheva, H.J. Wörner, The Journal of Chemical Physics 146 (2017).
2017 | Published | Journal Article | IST-REx-ID: 14007 |

Comment on ‘Time delays in molecular photoionization’
D.R. Baykusheva, H.J. Wörner, Journal of Physics B: Atomic, Molecular and Optical Physics 50 (2017).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D.R. Baykusheva, H.J. Wörner, Journal of Physics B: Atomic, Molecular and Optical Physics 50 (2017).
2017 | Published | Journal Article | IST-REx-ID: 14008
Time-resolved x-ray absorption spectroscopy with a water window high-harmonic source
Y. Pertot, C. Schmidt, M. Matthews, A. Chauvet, M. Huppert, V. Svoboda, A. von Conta, A. Tehlar, D.R. Baykusheva, J.-P. Wolf, H.J. Wörner, Science 355 (2017) 264–267.
View
| DOI
| PubMed | Europe PMC
Y. Pertot, C. Schmidt, M. Matthews, A. Chauvet, M. Huppert, V. Svoboda, A. von Conta, A. Tehlar, D.R. Baykusheva, J.-P. Wolf, H.J. Wörner, Science 355 (2017) 264–267.
2017 | Published | Journal Article | IST-REx-ID: 14009
Spin-orbit delays in photoemission
I. Jordan, M. Huppert, S. Pabst, A.S. Kheifets, D.R. Baykusheva, H.J. Wörner, Physical Review A 95 (2017).
View
| DOI
I. Jordan, M. Huppert, S. Pabst, A.S. Kheifets, D.R. Baykusheva, H.J. Wörner, Physical Review A 95 (2017).
2017 | Published | Journal Article | IST-REx-ID: 14031 |

Signatures of electronic structure in bicircular high-harmonic spectroscopy
D.R. Baykusheva, S. Brennecke, M. Lein, H.J. Wörner, Physical Review Letters 119 (2017).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
D.R. Baykusheva, S. Brennecke, M. Lein, H.J. Wörner, Physical Review Letters 119 (2017).
2017 | Published | Journal Article | IST-REx-ID: 1407 |

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.
2017 | Published | Conference Paper | IST-REx-ID: 14205 |

A unified optimization view on generalized matching pursuit and Frank-Wolfe
F. Locatello, R. Khanna, M. Tschannen, M. Jaggi, in:, Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2017, pp. 860–868.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
F. Locatello, R. Khanna, M. Tschannen, M. Jaggi, in:, Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2017, pp. 860–868.
2017 | Published | Conference Paper | IST-REx-ID: 14206 |

Greedy algorithms for cone constrained optimization with convergence guarantees
F. Locatello, M. Tschannen, G. Rätsch, M. Jaggi, in:, Advances in Neural Information Processing Systems, 2017.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
F. Locatello, M. Tschannen, G. Rätsch, M. Jaggi, in:, Advances in Neural Information Processing Systems, 2017.
2017 | Published | Journal Article | IST-REx-ID: 14286
Specific growth rate and multiplicity of infection affect high-cell-density fermentation with bacteriophage M13 for ssDNA production
B. Kick, S. Hensler, F.M. Praetorius, H. Dietz, D. Weuster-Botz, Biotechnology and Bioengineering 114 (2017) 777–784.
View
| DOI
| PubMed | Europe PMC
B. Kick, S. Hensler, F.M. Praetorius, H. Dietz, D. Weuster-Botz, Biotechnology and Bioengineering 114 (2017) 777–784.