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.
4938 Publications
2018 | Journal Article | IST-REx-ID: 806
Social immunity: Emergence and evolution of colony-level disease protection
S. Cremer, C. Pull, M. Fürst, Annual Review of Entomology 63 (2018) 105–123.
View
| Files available
| DOI
| WoS
S. Cremer, C. Pull, M. Fürst, Annual Review of Entomology 63 (2018) 105–123.
2018 | Conference Paper | IST-REx-ID: 140 |
Space-time interpolants
G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2018, pp. 468–486.
[Published Version]
View
| Files available
| DOI
| WoS
G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2018, pp. 468–486.
2018 | Journal Article | IST-REx-ID: 154 |
Stability of the 2+2 fermionic system with point interactions
T. Moser, R. Seiringer, Mathematical Physics Analysis and Geometry 21 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
T. Moser, R. Seiringer, Mathematical Physics Analysis and Geometry 21 (2018).
2018 | Journal Article | IST-REx-ID: 5787 |
Statistical theory of branching morphogenesis
E.B. Hannezo, B.D. Simons, Development Growth and Differentiation 60 (2018) 512–521.
[Published Version]
View
| Files available
| DOI
| WoS
E.B. Hannezo, B.D. Simons, Development Growth and Differentiation 60 (2018) 512–521.
2018 | Conference Paper | IST-REx-ID: 297 |
Strategy representation by decision trees in reactive synthesis
T. Brázdil, K. Chatterjee, J. Kretinsky, V. Toman, in:, Springer, 2018, pp. 385–407.
[Published Version]
View
| Files available
| DOI
| WoS
T. Brázdil, K. Chatterjee, J. Kretinsky, V. Toman, in:, Springer, 2018, pp. 385–407.