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.

2712 Publications


2016 | Technical Report | IST-REx-ID: 5445
Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Quantitative Interprocedural Analysis, IST Austria, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1183
Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder
D.-C. Tarlungeanu, E. Deliu, C. Dotter, M. Kara, P. Janiesch, M. Scalise, M. Galluccio, M. Tesulov, E. Morelli, F. Sönmez, K. Bilgüvar, R. Ohgaki, Y. Kanai, A. Johansen, S. Esharif, T. Ben Omran, M. Topcu, A. Schlessinger, C. Indiveri, K. Duncan, A. Caglayan, M. Günel, J. Gleeson, G. Novarino, Cell 167 (2016) 1481–1494.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1234
Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
View | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1164
Hanani-Tutte for radial planarity II
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2016, pp. 468–481.
View | Files available | DOI | Download (ext.) | arXiv
 

2016 | Technical Report | IST-REx-ID: 5452   OA
Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
View | Files available | DOI
 
 

2016 | Journal Article | IST-REx-ID: 1260   OA
The dual of the space of interactions in neural network models
D. De Martino, International Journal of Modern Physics C 27 (2016) 1650067.
View | DOI | Download (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1359   OA
The effect of gene interactions on the long-term response to selection
T. Paixao, N.H. Barton, PNAS 113 (2016) 4422–4427.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1289   OA
The classification of endoscopy images with persistent homology
O. Dunaeva, H. Edelsbrunner, A. Lukyanov, M. Machin, D. Malkova, R. Kuvaev, S. Kashin, Pattern Recognition Letters 83 (2016) 13–22.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1083
KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons
S. Booker, D. Althof, A. Gross, D. Loreth, J. Müller, A. Unger, B. Fakler, A. Varro, M. Watanabe, M. Gassmann, B. Bettler, R. Shigemoto, I. Vida, Á. Kulik, Cerebral Cortex 27 (2016) 2318–2334.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed