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.
4964 Publications
2017 | Journal Article | IST-REx-ID: 1351 | 
Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking the Evolution of Gene Regulatory Networks.” Acta Informatica. Springer, 2017. https://doi.org/10.1007/s00236-016-0278-x.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1336 |
Paixao, Tiago, Jorge Pérez Heredia, Dirk Sudholt, and Barbora Trubenova. “Towards a Runtime Comparison of Natural and Artificial Evolution.” Algorithmica. Springer, 2017. https://doi.org/10.1007/s00453-016-0212-1.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1337 |
Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Universality for General Wigner-Type Matrices.” Probability Theory and Related Fields. Springer, 2017. https://doi.org/10.1007/s00440-016-0740-2.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1294 |
Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Trading Performance for Stability in Markov Decision Processes.” Journal of Computer and System Sciences. Elsevier, 2017. https://doi.org/10.1016/j.jcss.2016.09.009.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1228 |
Sauerzopf, Ulrich, Roberto Sacco, Gaia Novarino, Marco Niello, Ana Weidenauer, Nicole Praschak Rieder, Harald Sitte, and Matthaeus Willeit. “Are Reprogrammed Cells a Useful Tool for Studying Dopamine Dysfunction in Psychotic Disorders? A Review of the Current Evidence.” European Journal of Neuroscience. Wiley-Blackwell, 2017. https://doi.org/10.1111/ejn.13418.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC