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.

374 Publications


2015 | Conference Paper | IST-REx-ID: 1714
Chatterjee, K., Pavlogiannis, A., Kößler, A., & Schmid, U. (2015). A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. In Real-Time Systems Symposium (Vol. 2015, pp. 118–127). Rome, Italy: IEEE. https://doi.org/10.1109/RTSS.2014.9
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1728
Cohen, M., Kicheva, A., Ribeiro, A., Blassberg, R., Page, K., Barnes, C., & Briscoe, J. (2015). Ptch1 and Gli regulate Shh signalling dynamics via multiple mechanisms. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms7709
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1730 | OA
Colin De Verdière, É., Hubard, A., & de Mesmay, A. N. (2015). Discrete systolic inequalities and decompositions of triangulated surfaces. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-015-9679-9
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1731 | OA
Chatterjee, K., Doyen, L., Gimbert, H., & Henzinger, T. A. (2015). Randomness for free. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2015.06.003
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1732 | OA
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2015). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications (pp. 325–330). Presented at the ICRA: International Conference on Robotics and Automation, Seattle, WA, United States: IEEE. https://doi.org/10.1109/ICRA.2015.7139019
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

year=2015

Search

Filter Publications