Please note that ISTA 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.

7408 Publications


2017 | Conference Paper | IST-REx-ID: 1003 | OA
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1004 | OA
Spatiotemporal mechanisms of root branching
K. Ötvös, E. Benková, Current Opinion in Genetics & Development 45 (2017) 82–89.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1006 | OA
Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, BMC Genomics 18 (2017) 329.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1007 | OA
Zeros of nonlinear systems with input invariances
M. Lang, E. Sontag, Automatica 81C (2017) 46–55.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1009 | OA
Optimizing expectation with guarantees in POMDPs
K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, D. Zikelic, in:, Proceedings of the 31st AAAI Conference on Artificial Intelligence, AAAI Press, 2017, pp. 3725–3732.
View | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1010 | OA
Local law for random Gram matrices
J. Alt, L. Erdös, T.H. Krüger, Electronic Journal of Probability 22 (2017).
View | Files available | DOI | arXiv
 

2017 | Conference Paper | IST-REx-ID: 1011 | OA
Faster algorithms for weighted recursive state machines
K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis, in:, H. Yang (Ed.), Springer, 2017, pp. 287–313.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 10126 | OA
Curvature mediated interactions in highly curved membranes
A. Vahid Belarghou, A. Šarić, T. Idema, Biophysical Journal 112 (2017).
View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1014 | OA
Liouville principles and a large-scale regularity theory for random elliptic operators on the half-space
J.L. Fischer, C. Raithel, SIAM Journal on Mathematical Analysis 49 (2017) 82–114.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1015 | OA
Vortices and antivortices in two-dimensional ultracold Fermi gases
G. Bighin, L. Salasnich, Scientific Reports 7 (2017).
View | Files available | DOI
 

Search

Filter Publications