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.

5707 Publications


2016 | Journal Article | IST-REx-ID: 1293   OA
Solus LT, Uhler C, Yoshida R. 2016. Extremal positive semidefinite matrices whose sparsity pattern is given by graphs without K5 minors. Linear Algebra and Its Applications. 509, 247–275.
View | DOI | Download (ext.)
 

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

2016 | Conference Paper | IST-REx-ID: 1205   OA
Jiang Y, Liu H, Song H, Kong H, Gu M, Sun J, Sha L. 2016. Safety assured formal model driven design of the multifunction vehicle bus controller. FM: International Symposium on Formal Methods, LNCS, vol. 9995. 757–763.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1154   OA
Schwarz J, Bierbaum V, Merrin J, Frank T, Hauschild R, Bollenbach MT, Tay S, Sixt MK, Mehling M. 2016. A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients. Scientific Reports. 6, 36440.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1197   OA
Prentice J, Marre O, Ioffe M, Loback A, Tkacik G, Berry M. 2016. Error-robust modes of the retinal population code. PLoS Computational Biology. 12(11), e1005855.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1166
Chatterjee K, Chmelik M, Davies J. 2016. A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps. Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 2016. 3225–3232.
View | Files available
 

2016 | Journal Article | IST-REx-ID: 1440
Janovjak HL. 2016. Light at the end of the protein: Crystal structure of a C-terminal light-sensing domain. Structure. 24(2), 213–215.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1421
Bak S, Bogomolov S, Henzinger TA, Johnson T, Prakash P. 2016. Scalable static hybridization methods for analysis of nonlinear systems. HSCC 2016: International Conference on Hybrid Systems: Computation and Control 155–164.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1705   OA
Bogomolov S, Donzé A, Frehse G, Grosu R, Johnson T, Ladan H, Podelski A, Wehrle M. 2016. Guided search for hybrid systems based on coarse-grained space abstractions. International Journal on Software Tools for Technology Transfer. 18(4), 449–467.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1130
Tarrach T. 2016. Automatic synthesis of synchronisation primitives for concurrent programs, IST Austria, 151p.
View | Files available | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed