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

Lee, Jioon, and Kevin Schnelli. “Extremal Eigenvalues and Eigenvectors of Deformed Wigner Matrices.” Probability Theory and Related Fields, vol. 164, no. 1–2, Springer, 2016, pp. 165–241, doi:10.1007/s00440-014-0610-8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1206 |

Redchenko, Elena, and Mikhail Lemeshko. “Libration of Strongly Oriented Polar Molecules inside a Superfluid.” ChemPhysChem, vol. 17, no. 22, Wiley-Blackwell, 2016, pp. 3649–54, doi:10.1002/cphc.201601042.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1485 |

De Martino, Daniele. “Genome-Scale Estimate of the Metabolic Turnover of E. Coli from the Energy Balance Analysis.” Physical Biology, vol. 13, no. 1, 016003, IOP Publishing, 2016, doi:10.1088/1478-3975/13/1/016003.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1261 |

Maas, Jan, and Daniel Matthes. “Long-Time Behavior of a Finite Volume Discretization for a Fourth Order Diffusion Equation.” Nonlinearity, vol. 29, no. 7, IOP Publishing, 2016, pp. 1992–2023, doi:10.1088/0951-7715/29/7/1992.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1622 |

Lundholm, Douglas, et al. “Fractional Hardy–Lieb–Thirring and Related Inequalities for Interacting Systems.” Archive for Rational Mechanics and Analysis, vol. 219, no. 3, Springer, 2016, pp. 1343–82, doi:10.1007/s00205-015-0923-5.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1833 |

Klimova, Anna, and Tamás Rudas. “On the Closure of Relational Models.” Journal of Multivariate Analysis, vol. 143, Elsevier, 2016, pp. 440–52, doi:10.1016/j.jmva.2015.10.005.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1234 |

Daca, Przemyslaw, et al. Faster Statistical Model Checking for Unbounded Temporal Properties. Vol. 9636, Springer, 2016, pp. 112–29, doi:10.1007/978-3-662-49674-9_7.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1327 |

Brázdil, Tomáš, et al. “Stochastic Shortest Path with Energy Constraints in POMDPs.” Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, ACM, 2016, pp. 1465–66.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1391 |

Daca, Przemyslaw, et al. Array Folds Logic. Vol. 9780, Springer, 2016, pp. 230–48, doi:10.1007/978-3-319-41540-6_13.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1230 |

Daca, Przemyslaw, et al. Abstraction-Driven Concolic Testing. Vol. 9583, Springer, 2016, pp. 328–47, doi:10.1007/978-3-662-49122-5_16.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1394 |

De Martino, Daniele, et al. “Growth against Entropy in Bacterial Metabolism: The Phenotypic Trade-off behind Empirical Growth Rate Distributions in E. Coli.” Physical Biology, vol. 13, no. 3, 036005, IOP Publishing, 2016, doi:10.1088/1478-3975/13/3/036005.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1326 |

Brázdil, Tomáš, et al. Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. Vol. 9938, Springer, 2016, pp. 32–49, doi:10.1007/978-3-319-46520-3_3.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1188 |

De Martino, Daniele, and Davide Masoero. “Asymptotic Analysis of Noisy Fitness Maximization, Applied to Metabolism & Growth.” Journal of Statistical Mechanics: Theory and Experiment, vol. 2016, no. 12, 123502, IOP Publishing, 2016, doi:10.1088/1742-5468/aa4e8f.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1369 |

Kolesnikov, Alexander, and Christoph Lampert. Seed, Expand and Constrain: Three Principles for Weakly-Supervised Image Segmentation. Vol. 9908, Springer, 2016, pp. 695–711, doi:10.1007/978-3-319-46493-0_42.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1389 |

Chonev, Ventsislav K., et al. “On Recurrent Reachability for Continuous Linear Dynamical Systems.” LICS ’16, IEEE, 2016, pp. 515–24, doi:10.1145/2933575.2934548.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1411 |

Matoušek, Jiří, et al. “Untangling Two Systems of Noncrossing Curves.” Israel Journal of Mathematics, vol. 212, no. 1, Springer, 2016, pp. 37–79, doi:10.1007/s11856-016-1294-9.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1368 |

Wysokiński, Marcin, et al. “Correlation Driven d Wave Superconductivity in Anderson Lattice Model: Two Gaps.” Physical Review B - Condensed Matter and Materials Physics, vol. 94, no. 2, 024517, American Physical Society, 2016, doi:10.1103/PhysRevB.94.024517.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1377 |

Kolmogorov, Vladimir, et al. “Total Variation on a Tree.” SIAM Journal on Imaging Sciences, vol. 9, no. 2, Society for Industrial and Applied Mathematics , 2016, pp. 605–36, doi:10.1137/15M1010257.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1416 |

Van Loon, Erik, et al. “Interaction-Driven Lifshitz Transition with Dipolar Fermions in Optical Lattices.” Physical Review B - Condensed Matter and Materials Physics, vol. 93, no. 19, 195145, American Physical Society, 2016, doi:10.1103/PhysRevB.93.195145.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1370 |

Barzanjeh, Shabir, and David Vitali. “Phonon Josephson Junction with Nanomechanical Resonators.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 93, no. 3, 033846, American Physical Society, 2016, doi:10.1103/PhysRevA.93.033846.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv