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.
5000 Publications
2018 | Conference Paper | IST-REx-ID: 299 |
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, and D. Ulus, “AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece, 2018, vol. 10806, pp. 303–319.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Journal Article | IST-REx-ID: 413 |
M. Konrad et al., “Ants avoid superinfections by performing risk-adjusted sanitary care,” PNAS, vol. 115, no. 11. National Academy of Sciences, pp. 2782–2787, 2018.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 195 |
E. Yakaboylu and M. Lemeshko, “Anyonic statistics of quantum impurities in two dimensions,” Physical Review B - Condensed Matter and Materials Physics, vol. 98, no. 4. American Physical Society, 2018.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2018 | Journal Article | IST-REx-ID: 203 |
M. Abbas et al., “Auxin methylation is required for differential growth in Arabidopsis,” PNAS, vol. 115, no. 26. National Academy of Sciences, pp. 6864–6869, 2018.
View
| DOI
| Download None (ext.)
| WoS