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.
643 Publications
2017 | Published | Conference Paper | IST-REx-ID: 1194 |

Stochastic invariants for probabilistic termination
K. Chatterjee, P. Novotný, D. Zikelic, in:, ACM, 2017, pp. 145–160.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
K. Chatterjee, P. Novotný, D. Zikelic, in:, ACM, 2017, pp. 145–160.
2017 | Published | Journal Article | IST-REx-ID: 994 |

Fingerprints of angulon instabilities in the spectra of matrix-isolated molecules
I. Cherepanov, M. Lemeshko, Physical Review Materials 1 (2017).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
I. Cherepanov, M. Lemeshko, Physical Review Materials 1 (2017).
2017 | Published | Journal Article | IST-REx-ID: 721 |

Singularities of solutions to quadratic vector equations on the complex upper half plane
O.H. Ajanki, T.H. Krüger, L. Erdös, Communications on Pure and Applied Mathematics 70 (2017) 1672–1705.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
O.H. Ajanki, T.H. Krüger, L. Erdös, Communications on Pure and Applied Mathematics 70 (2017) 1672–1705.
2017 | Published | Journal Article | IST-REx-ID: 724 |

Noninteracting central site model localization and logarithmic entanglement growth
D. Hetterich, M. Serbyn, F. Domínguez, F. Pollmann, B. Trauzettel, Physical Review B 96 (2017).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
D. Hetterich, M. Serbyn, F. Domínguez, F. Pollmann, B. Trauzettel, Physical Review B 96 (2017).
2017 | Published | Journal Article | IST-REx-ID: 717 |

Hyperplane separation technique for multidimensional mean-payoff games
K. Chatterjee, Y. Velner, Journal of Computer and System Sciences 88 (2017) 236–259.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, Y. Velner, Journal of Computer and System Sciences 88 (2017) 236–259.
2017 | Published | Journal Article | IST-REx-ID: 712 |

Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations
J.L. Fischer, Nonlinear Analysis: Theory, Methods and Applications 159 (2017) 181–207.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
J.L. Fischer, Nonlinear Analysis: Theory, Methods and Applications 159 (2017) 181–207.
2017 | Published | Journal Article | IST-REx-ID: 733 |

Convergence rate for spectral distribution of addition of random matrices
Z. Bao, L. Erdös, K. Schnelli, Advances in Mathematics 319 (2017) 251–291.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
Z. Bao, L. Erdös, K. Schnelli, Advances in Mathematics 319 (2017) 251–291.
2017 | Published | Journal Article | IST-REx-ID: 794 |

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

Maximal Rashba-like spin splitting via kinetic-energy-coupled inversion-symmetry breaking
V. Sunko, H. Rosner, P. Kushwaha, S. Khim, F. Mazzola, L. Bawden, O.J. Clark, J.M. Riley, D. Kasinathan, M.W. Haverkort, T.K. Kim, M. Hoesch, J. Fujii, I. Vobornik, A.P. Mackenzie, P.D.C. King, Nature 549 (2017) 492–496.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
V. Sunko, H. Rosner, P. Kushwaha, S. Khim, F. Mazzola, L. Bawden, O.J. Clark, J.M. Riley, D. Kasinathan, M.W. Haverkort, T.K. Kim, M. Hoesch, J. Fujii, I. Vobornik, A.P. Mackenzie, P.D.C. King, Nature 549 (2017) 492–496.
2017 | Published | Journal Article | IST-REx-ID: 19811 |

Quasi-two-dimensional Fermi surface topography of the delafossite PdRhO2
F. Arnold, M. Naumann, S. Khim, H. Rosner, V. Sunko, F. Mazzola, P.D.C. King, A.P. Mackenzie, E. Hassinger, Physical Review B 96 (2017).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
F. Arnold, M. Naumann, S. Khim, H. Rosner, V. Sunko, F. Mazzola, P.D.C. King, A.P. Mackenzie, E. Hassinger, Physical Review B 96 (2017).
2017 | Published | Journal Article | IST-REx-ID: 19815 |

Single crystal growth, structure, and electronic properties of metallic delafossite PdRhO2
P. Kushwaha, H. Borrmann, S. Khim, H. Rosner, P.J.W. Moll, D.A. Sokolov, V. Sunko, Y. Grin, A.P. Mackenzie, Crystal Growth & Design 17 (2017) 4144–4150.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Kushwaha, H. Borrmann, S. Khim, H. Rosner, P.J.W. Moll, D.A. Sokolov, V. Sunko, Y. Grin, A.P. Mackenzie, Crystal Growth & Design 17 (2017) 4144–4150.
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 | Thesis | IST-REx-ID: 821 |

Algorithmic advances in program analysis and their applications
A. Pavlogiannis, Algorithmic Advances in Program Analysis and Their Applications, Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
A. Pavlogiannis, Algorithmic Advances in Program Analysis and Their Applications, Institute of Science and Technology Austria, 2017.
2017 | Published | 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).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
S. Colabrese, D. De Martino, L. Leuzzi, E. Marinari, Journal of Statistical Mechanics: Theory and Experiment 2017 (2017).
2017 | Published | Journal Article | IST-REx-ID: 995 |

Diagrammatic approach to orbital quantum impurities interacting with a many-particle environment
G. Bighin, M. Lemeshko, Physical Review B - Condensed Matter and Materials Physics 96 (2017).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
G. Bighin, M. Lemeshko, Physical Review B - Condensed Matter and Materials Physics 96 (2017).
2017 | Published | Conference Paper | IST-REx-ID: 999 |

Multi-task learning with labeled and unlabeled tasks
A. Pentina, C. Lampert, in:, ML Research Press, 2017, pp. 2807–2816.
[Submitted Version]
View
| Download Submitted Version (ext.)
| WoS
| arXiv
A. Pentina, C. Lampert, in:, ML Research Press, 2017, pp. 2807–2816.
2017 | Published | Conference Paper | IST-REx-ID: 998 |

iCaRL: Incremental classifier and representation learning
S.A. Rebuffi, A. Kolesnikov, G. Sperl, C. Lampert, in:, IEEE, 2017, pp. 5533–5542.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
S.A. Rebuffi, A. Kolesnikov, G. Sperl, C. Lampert, in:, IEEE, 2017, pp. 5533–5542.
2017 | Published | Journal Article | IST-REx-ID: 939 |

Waveguides with absorbing boundaries: Nonlinearity controlled by an exceptional point and solitons
B. Midya, V. Konotop, Physical Review Letters 119 (2017).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
B. Midya, V. Konotop, Physical Review Letters 119 (2017).
2017 | Published | Journal Article | IST-REx-ID: 644 |

The complexity of general-valued CSPs
V. Kolmogorov, A. Krokhin, M. Rolinek, SIAM Journal on Computing 46 (2017) 1087–1110.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, A. Krokhin, M. Rolinek, SIAM Journal on Computing 46 (2017) 1087–1110.
2017 | Published | Journal Article | IST-REx-ID: 996 |

Strongly aligned molecules inside helium droplets in the near-adiabatic regime
B. Shepperson, A. Chatterley, A. Søndergaard, L. Christiansen, M. Lemeshko, H. Stapelfeldt, The Journal of Chemical Physics 147 (2017).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
B. Shepperson, A. Chatterley, A. Søndergaard, L. Christiansen, M. Lemeshko, H. Stapelfeldt, The Journal of Chemical Physics 147 (2017).