Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6393 Publications

2021 | Journal Article | IST-REx-ID: 9393
Chatterjee, Krishnendu, et al. “Faster Algorithms for Quantitative Verification in Bounded Treewidth Graphs.” Formal Methods in System Design, Springer, 2021, doi:10.1007/s10703-021-00373-5.
View | DOI

2021 | Journal Article | IST-REx-ID: 9394 | OA
Koch, Eva L., et al. “Genetic Variation for Adaptive Traits Is Associated with Polymorphic Inversions in Littorina Saxatilis.” Evolution Letters, Wiley, 2021, doi:10.1002/evl3.227.
View | Files available | DOI

2021 | Research Data | IST-REx-ID: 9389 | OA
Valentini, Marco. Research Data for “Non-Topological Zero Bias Peaks in Full-Shell Nanowires Induced by Flux Tunable Andreev States.” IST Austria, 2021, doi:10.15479/AT:ISTA:9389.
View | Files available | DOI

2021 | Journal Article | IST-REx-ID: 9392
Stankowski, Sean, and Mark Ravinet. “Quantifying the Use of Species Concepts.” Current Biology, vol. 31, no. 9, Cell Press, 2021, pp. R428–29, doi:10.1016/j.cub.2021.03.060.
View | DOI

2021 | Journal Article | IST-REx-ID: 9402
Schmid, Laura, et al. “A Unified Framework of Direct and Indirect Reciprocity.” Nature Human Behaviour, Springer Nature, 2021, doi:10.1038/s41562-021-01114-8.
View | DOI


Filter Publications