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.




3962 Publications

2016 | Thesis | IST-REx-ID: 1129 | OA
Schwarz, Jan. “Quantitative Analysis of Haptotactic Cell Migration.” IST Austria, 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1130 | OA
Tarrach, Thorsten. “Automatic Synthesis of Synchronisation Primitives for Concurrent Programs.” IST Austria, 2016. https://doi.org/10.15479/at:ista:1130.
View | Files available | DOI | Download Published Version (ext.)
 
2016 | Thesis | IST-REx-ID: 1131 | OA
Tugrul, Murat. “Evolution of Transcriptional Regulatory Sequences.” IST Austria, 2016.
View | Files available
 
2016 | Conference Paper | IST-REx-ID: 1134
Duggirala, Parasara, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, et al. “Tutorial: Software Tools for Hybrid Systems Verification Transformation and Synthesis C2E2 HyST and TuLiP.” In 2016 IEEE Conference on Control Applications. IEEE, 2016. https://doi.org/10.1109/CCA.2016.7587948.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1135 | OA
Avni, Guy, Shibashis Guha, and Guillermo Rodríguez Navas. “Synthesizing Time Triggered Schedules for Switched Networks with Faulty Links.” In Proceedings of the 13th International Conference on Embedded Software . ACM, 2016. https://doi.org/10.1145/2968478.2968499.
View | Files available | DOI
 

Search

Filter Publications