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 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 994 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 721 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 724 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 717 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 712 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 733 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 794 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 19810 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 19811 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 19815 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 1407 | OA
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
 

2017 | Published | Thesis | IST-REx-ID: 821 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 823 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 995 | OA
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
 

2017 | Published | Conference Paper | IST-REx-ID: 999 | OA
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
 

2017 | Published | Conference Paper | IST-REx-ID: 998 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 939 | OA [Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 644 | OA
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
 

2017 | Published | Journal Article | IST-REx-ID: 996 | OA
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
 

Filters and Search Terms

year=2017

Search

Filter Publications

Display / Sort

Export / Embed