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.




5064 Publications

2019 | Conference Paper | IST-REx-ID: 5948
Fu, H., & Chatterjee, K. (2019). Termination of nondeterministic probabilistic programs. In International Conference on Verification, Model Checking, and Abstract Interpretation (Vol. 11388, pp. 468–490). Cascais, Portugal: Springer Nature. https://doi.org/10.1007/978-3-030-11245-5_22
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 5945 | OA
Petkova, M. D., Tkačik, G., Bialek, W., Wieschaus, E. F., & Gregor, T. (2019). Optimal decoding of cellular identities in a genetic network. Cell. Cell Press. https://doi.org/10.1016/j.cell.2019.01.007
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 5943 | OA
Klotz, L., Gumowski, K., & Wesfreid, J. E. (2019). Experiments on a jet in a crossflow in the low-velocity-ratio regime. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2018.974
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6042 | OA
Christakis, M., Heizmann, M., Mansur, M. N., Schilling, C., & Wüstholz, V. (2019). Semantic fault localization and suspiciousness ranking. In 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 11427, pp. 226–243). Prague, Czech Republic: Springer Nature. https://doi.org/10.1007/978-3-030-17462-0_13
[Published Version] View | Files available | DOI | WoS
 
2019 | Conference Paper | IST-REx-ID: 6035 | OA
Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., & Schilling, C. (2019). JuliaReach: A toolbox for set-based reachability. In Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control (Vol. 22, pp. 39–44). Montreal, QC, Canada: ACM. https://doi.org/10.1145/3302504.3311804
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

Search

Filter Publications