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
2015 | Conference Paper | IST-REx-ID: 1838 | 
Bloem, Roderick, et al. Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. Vol. 9035, Springer, 2015, pp. 517–32, doi:10.1007/978-3-662-46681-0_50.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1839 |
Brázdil, Tomáš, et al. Multigain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. Vol. 9035, Springer, 2015, pp. 181–87, doi:10.1007/978-3-662-46681-0_12.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1837 |
Kühnen, Jakob, et al. “Subcritical versus Supercritical Transition to Turbulence in Curved Pipes.” Journal of Fluid Mechanics, vol. 770, no. 5, R3, Cambridge University Press, 2015, doi:10.1017/jfm.2015.184.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Journal Article | IST-REx-ID: 1846 |
Beneš, Nikola, et al. “Refinement Checking on Parametric Modal Transition Systems.” Acta Informatica, vol. 52, no. 2–3, Springer, 2015, pp. 269–97, doi:10.1007/s00236-015-0215-4.
[Submitted Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1845 |
Vandael, David H., et al. “Excitement about Inhibitory Presynaptic Terminals.” Neuron, vol. 85, no. 6, Elsevier, 2015, pp. 1149–51, doi:10.1016/j.neuron.2015.03.006.
[Published Version]
View
| Files available
| DOI