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.
4966 Publications
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.
2018 | Conference Paper | IST-REx-ID: 141 |
Symbolic algorithms for graphs and Markov decision processes with fairness objectives
K. Chatterjee, M.H. Henzinger, V. Loitzenbauer, S. Oraee, V. Toman, in:, Springer, 2018, pp. 178–197.
[Published Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, M.H. Henzinger, V. Loitzenbauer, S. Oraee, V. Toman, in:, Springer, 2018, pp. 178–197.