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.
8361 Publications
earlier version | 2018 |
Published |
Conference Paper |
IST-REx-ID: 299 |
AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, in:, D. Beyer, M. Huisman (Eds.), Springer, 2018, pp. 303–319.
[Published Version]
View
| Files available
| DOI
| WoS
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, in:, D. Beyer, M. Huisman (Eds.), Springer, 2018, pp. 303–319.
2018 |
Published |
Conference Paper |
IST-REx-ID: 300 |
On the bit security of cryptographic primitives
D. Micciancio, M. Walter, in:, Springer, 2018, pp. 3–28.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
D. Micciancio, M. Walter, in:, Springer, 2018, pp. 3–28.
2018 |
Published |
Conference Paper |
IST-REx-ID: 302 |
Simple proofs of sequential work
B. Cohen, K.Z. Pietrzak, in:, Springer, 2018, pp. 451–467.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
B. Cohen, K.Z. Pietrzak, in:, Springer, 2018, pp. 451–467.
2018 |
Published |
Journal Article |
IST-REx-ID: 303 |
Introduction to tropical series and wave dynamic on them
N. Kalinin, M. Shkolnikov, Discrete and Continuous Dynamical Systems- Series A 38 (2018) 2827–2849.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
N. Kalinin, M. Shkolnikov, Discrete and Continuous Dynamical Systems- Series A 38 (2018) 2827–2849.
2018 |
Published |
Journal Article |
IST-REx-ID: 304 |
Computational design of nanostructural color for additive manufacturing
T. Auzinger, W. Heidrich, B. Bickel, ACM Transactions on Graphics 37 (2018).
[Submitted Version]
View
| Files available
| DOI
| WoS
T. Auzinger, W. Heidrich, B. Bickel, ACM Transactions on Graphics 37 (2018).
2018 |
Published |
Journal Article |
IST-REx-ID: 306 |
An introduction to the maximum entropy approach and its application to inference problems in biology
A. De Martino, D. De Martino, Heliyon 4 (2018).
[Published Version]
View
| Files available
| DOI
A. De Martino, D. De Martino, Heliyon 4 (2018).
2018 |
Published |
Journal Article |
IST-REx-ID: 308 |
Drosophila TNF modulates tissue tension in the embryo to facilitate macrophage invasive migration
A. Ratheesh, J. Bicher, M. Smutny, J. Veselá, E. Papusheva, G. Krens, W. Kaufmann, A. György, A.M. Casano, D.E. Siekhaus, Developmental Cell 45 (2018) 331–346.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
A. Ratheesh, J. Bicher, M. Smutny, J. Veselá, E. Papusheva, G. Krens, W. Kaufmann, A. György, A.M. Casano, D.E. Siekhaus, Developmental Cell 45 (2018) 331–346.
2018 |
Published |
Journal Article |
IST-REx-ID: 1215 |
Infinite-dimensional calculus under weak spatial regularity of the processes
F. Flandoli, F. Russo, G.A. Zanco, Journal of Theoretical Probability 31 (2018) 789–826.
[Published Version]
View
| Files available
| DOI
| WoS
F. Flandoli, F. Russo, G.A. Zanco, Journal of Theoretical Probability 31 (2018) 789–826.
2018 |
Published |
Journal Article |
IST-REx-ID: 12603 |
Interannual variability in glacier contribution to runoff from a high‐elevation Andean catchment: Understanding the role of debris cover in glacier hydrology
F. Burger, A. Ayala, D. Farias, T.E. Shaw, S. MacDonell, B. Brock, J. McPhee, F. Pellicciotti, Hydrological Processes 33 (2018) 214–229.
[Published Version]
View
| DOI
| Download Published Version (ext.)
F. Burger, A. Ayala, D. Farias, T.E. Shaw, S. MacDonell, B. Brock, J. McPhee, F. Pellicciotti, Hydrological Processes 33 (2018) 214–229.
2018 |
Published |
Journal Article |
IST-REx-ID: 12604 |
Surface pond energy absorption across four Himalayan Glaciers accounts for 1/8 of total catchment ice loss
E.S. Miles, I. Willis, P. Buri, J.F. Steiner, N.S. Arnold, F. Pellicciotti, Geophysical Research Letters 45 (2018) 10464–10473.
[Published Version]
View
| DOI
| Download Published Version (ext.)
E.S. Miles, I. Willis, P. Buri, J.F. Steiner, N.S. Arnold, F. Pellicciotti, Geophysical Research Letters 45 (2018) 10464–10473.
2018 |
Published |
Journal Article |
IST-REx-ID: 12605 |
Snow depth structure, fractal behavior, and interannual consistency over Haut Glacier d'Arolla, Switzerland
I. Clemenzi, F. Pellicciotti, P. Burlando, Water Resources Research 54 (2018) 7929–7945.
[Published Version]
View
| DOI
| Download Published Version (ext.)
I. Clemenzi, F. Pellicciotti, P. Burlando, Water Resources Research 54 (2018) 7929–7945.
2018 |
Published |
Journal Article |
IST-REx-ID: 12606 |
Automated detection of ice cliffs within supraglacial debris cover
S. Herreid, F. Pellicciotti, The Cryosphere 12 (2018) 1811–1829.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Herreid, F. Pellicciotti, The Cryosphere 12 (2018) 1811–1829.
2018 |
Published |
Journal Article |
IST-REx-ID: 12607 |
Aspect controls the survival of ice cliffs on debris-covered glaciers
P. Buri, F. Pellicciotti, PNAS 115 (2018) 4369–4374.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Buri, F. Pellicciotti, PNAS 115 (2018) 4369–4374.
2018 |
Research Data Reference |
IST-REx-ID: 13055 |
Social network plasticity decreases disease transmission in a eusocial insect
N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, (2018).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, (2018).
2018 |
Research Data Reference |
IST-REx-ID: 13059 |
Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method
E. Garriga, P. di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, (2018).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
E. Garriga, P. di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, (2018).
2018 |
Published |
Journal Article |
IST-REx-ID: 132 |
Defining lineage potential and fate behavior of precursors during pancreas development
M. Sznurkowska, E.B. Hannezo, R. Azzarelli, S. Rulands, S. Nestorowa, C. Hindley, J. Nichols, B. Göttgens, M. Huch, A. Philpott, B. Simons, Developmental Cell 46 (2018) 360–375.
[Published Version]
View
| Files available
| DOI
| WoS
M. Sznurkowska, E.B. Hannezo, R. Azzarelli, S. Rulands, S. Nestorowa, C. Hindley, J. Nichols, B. Göttgens, M. Huch, A. Philpott, B. Simons, Developmental Cell 46 (2018) 360–375.
2018 |
Published |
Conference Paper |
IST-REx-ID: 133 |
Synchronizing the asynchronous
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version]
View
| Files available
| DOI
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 |
Published |
Journal Article |
IST-REx-ID: 21096 |
Wetting the lock and key enthalpically favours polyelectrolyte binding
E. Jeamet, J. Septavaux, A. Héloin, M. Donnier-Maréchal, M. Dumartin, B. Ourri, P.K. Mandal, I. Huc, E. Bignon, E. Dumont, C. Morell, J.-P. Francoia, F. Perret, L. Vial, J. Leclaire, Chemical Science 10 (2018) 277–283.
[Published Version]
View
| DOI
| Download Published Version (ext.)
E. Jeamet, J. Septavaux, A. Héloin, M. Donnier-Maréchal, M. Dumartin, B. Ourri, P.K. Mandal, I. Huc, E. Bignon, E. Dumont, C. Morell, J.-P. Francoia, F. Perret, L. Vial, J. Leclaire, Chemical Science 10 (2018) 277–283.
2018 |
Published |
Journal Article |
IST-REx-ID: 21533 |
Smith–Purcell radiation from low-energy electrons
A. Massuda, C. Roques-Carmes, Y. Yang, S.E. Kooi, Y. Yang, C. Murdia, K.K. Berggren, I. Kaminer, M. Soljačić, ACS Photonics 5 (2018) 3513–3518.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Massuda, C. Roques-Carmes, Y. Yang, S.E. Kooi, Y. Yang, C. Murdia, K.K. Berggren, I. Kaminer, M. Soljačić, ACS Photonics 5 (2018) 3513–3518.
2018 |
Published |
Journal Article |
IST-REx-ID: 21545 |
Maximal spontaneous photon emission and energy loss from free electrons
Y. Yang, A. Massuda, C. Roques-Carmes, S.E. Kooi, T. Christensen, S.G. Johnson, J.D. Joannopoulos, O.D. Miller, I. Kaminer, M. Soljačić, Nature Physics 14 (2018) 894–899.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
Y. Yang, A. Massuda, C. Roques-Carmes, S.E. Kooi, T. Christensen, S.G. Johnson, J.D. Joannopoulos, O.D. Miller, I. Kaminer, M. Soljačić, Nature Physics 14 (2018) 894–899.