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.

3951 Publications

2016 | Thesis | IST-REx-ID: 1130 | OA
Tarrach, Thorsten. “Automatic Synthesis of Synchronisation Primitives for Concurrent Programs.” IST Austria, 2016.
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.
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.
View | Files available | DOI
2016 | Conference Paper | IST-REx-ID: 1136 | OA
Manteaux, Pierre, Ulysse Vimont, Christopher J Wojtan, Damien Rohmer, and Marie Cani. “Space-Time Sculpting of Liquid Animation.” In Proceedings of the 9th International Conference on Motion in Games . ACM, 2016.
View | DOI | Download Submitted Version (ext.)


Filter Publications