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.
5735 Publications
2016 | Published | Journal Article | IST-REx-ID: 1612 |

CSP for binary conservative relational structures
A. Kazda, Algebra Universalis 75 (2016) 75–84.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Kazda, Algebra Universalis 75 (2016) 75–84.
2016 | Published | Journal Article | IST-REx-ID: 1881 |

Extremal eigenvalues and eigenvectors of deformed Wigner matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 164 (2016) 165–241.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Lee, K. Schnelli, Probability Theory and Related Fields 164 (2016) 165–241.
2016 | Published | Journal Article | IST-REx-ID: 1206 |

Libration of strongly oriented polar molecules inside a superfluid
E. Redchenko, M. Lemeshko, ChemPhysChem 17 (2016) 3649–3654.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Redchenko, M. Lemeshko, ChemPhysChem 17 (2016) 3649–3654.
2016 | Published | Journal Article | IST-REx-ID: 1485 |

Genome-scale estimate of the metabolic turnover of E. Coli from the energy balance analysis
D. De Martino, Physical Biology 13 (2016).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D. De Martino, Physical Biology 13 (2016).
2016 | Published | Journal Article | IST-REx-ID: 1261 |

Long-time behavior of a finite volume discretization for a fourth order diffusion equation
J. Maas, D. Matthes, Nonlinearity 29 (2016) 1992–2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Maas, D. Matthes, Nonlinearity 29 (2016) 1992–2023.
2016 | Published | Journal Article | IST-REx-ID: 1622 |

Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems
D. Lundholm, P. Nam, F. Portmann, Archive for Rational Mechanics and Analysis 219 (2016) 1343–1382.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
D. Lundholm, P. Nam, F. Portmann, Archive for Rational Mechanics and Analysis 219 (2016) 1343–1382.
2016 | Published | Journal Article | IST-REx-ID: 1833 |

On the closure of relational models
A. Klimova, T. Rudas, Journal of Multivariate Analysis 143 (2016) 440–452.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Klimova, T. Rudas, Journal of Multivariate Analysis 143 (2016) 440–452.
2016 | Published | Conference Paper | IST-REx-ID: 1234 |

Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
2016 | Published | Conference Paper | IST-REx-ID: 1327 |

Stochastic shortest path with energy constraints in POMDPs
T. Brázdil, K. Chatterjee, M. Chmelik, A. Gupta, P. Novotný, in:, Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, ACM, 2016, pp. 1465–1466.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
T. Brázdil, K. Chatterjee, M. Chmelik, A. Gupta, P. Novotný, in:, Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, ACM, 2016, pp. 1465–1466.
2016 | Published | Conference Paper | IST-REx-ID: 1391 |

Array folds logic
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.