Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5871 Publications
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: 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).
2017 | Published | Journal Article | IST-REx-ID: 959 |

Scales and multimodal flux distributions in stationary metabolic network models via thermodynamics
D. De Martino, Physical Review E Statistical Nonlinear and Soft Matter Physics 95 (2017) 062419.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
D. De Martino, Physical Review E Statistical Nonlinear and Soft Matter Physics 95 (2017) 062419.
2017 | Published | Journal Article | IST-REx-ID: 912 |

A lower bound for the BCS functional with boundary conditions at infinity
A. Deuchert, Journal of Mathematical Physics 58 (2017).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
A. Deuchert, Journal of Mathematical Physics 58 (2017).
2017 | Published | Journal Article | IST-REx-ID: 1191 |

Existence of traveling waves for the generalized F–KPP equation
R. Kollár, S. Novak, Bulletin of Mathematical Biology 79 (2017) 525–559.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Kollár, S. Novak, Bulletin of Mathematical Biology 79 (2017) 525–559.
2017 | Published | Conference Paper | IST-REx-ID: 1192 |

Even delta-matroids and the complexity of planar Boolean CSPs
A. Kazda, V. Kolmogorov, M. Rolinek, in:, SIAM, 2017, pp. 307–326.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
A. Kazda, V. Kolmogorov, M. Rolinek, in:, SIAM, 2017, pp. 307–326.
2017 | Published | Book Chapter | IST-REx-ID: 424 |

Bounding helly numbers via betti numbers
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, M. Loebl, J. Nešetřil, R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, Springer, 2017, pp. 407–447.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, M. Loebl, J. Nešetřil, R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, Springer, 2017, pp. 407–447.
2017 | Published | Journal Article | IST-REx-ID: 1180 |

Algebraic vertices of non-convex polyhedra
A. Akopyan, I. Bárány, S. Robins, Advances in Mathematics 308 (2017) 627–644.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
A. Akopyan, I. Bárány, S. Robins, Advances in Mathematics 308 (2017) 627–644.
2017 | Published | Journal Article | IST-REx-ID: 483 |

Universality for a class of random band matrices
P. Bourgade, L. Erdös, H. Yau, J. Yin, Advances in Theoretical and Mathematical Physics 21 (2017) 739–800.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
P. Bourgade, L. Erdös, H. Yau, J. Yin, Advances in Theoretical and Mathematical Physics 21 (2017) 739–800.
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
| arXiv
D. Xu, S. Warnecke, B. Song, X. Ma, B. Hof, Journal of Fluid Mechanics 831 (2017) 418–432.