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.

6224 Publications

2016 | Thesis | IST-REx-ID: 1126 | OA
A. Pentina, “Theoretical foundations of multi-task lifelong learning,” IST Austria, 2016.
View | Files available | DOI

2016 | Thesis | IST-REx-ID: 1128 | OA
G. Rieckh, “Studying the complexities of transcriptional regulation,” IST Austria, 2016.
View | Files available

2016 | Conference Paper | IST-REx-ID: 1134
P. Duggirala et al., “Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP,” in 2016 IEEE Conference on Control Applications, Buenos Aires, Argentina , 2016.
View | DOI

2016 | Conference Paper | IST-REx-ID: 1135 | OA
G. Avni, S. Guha, and G. Rodríguez Navas, “Synthesizing time triggered schedules for switched networks with faulty links,” in Proceedings of the 13th International Conference on Embedded Software , Pittsburgh, PA, USA, 2016.
View | Files available | DOI

2016 | Conference Paper | IST-REx-ID: 1136 | OA
P. Manteaux, U. Vimont, C. J. Wojtan, D. Rohmer, and M. Cani, “Space-time sculpting of liquid animation,” in Proceedings of the 9th International Conference on Motion in Games , San Francisco, CA, USA, 2016.
View | DOI | Download Submitted Version (ext.)


Filter Publications