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.

5314 Publications


2014 | Journal Article | IST-REx-ID: 2257
Searching for collective behavior in a large network of sensory neurons
G. Tkacik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, M. Berry, PLoS Computational Biology 10 (2014).
View | Files available | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 589   OA
Many-atom-cavity QED system with homogeneous atom-cavity coupling
J. Lee, G. Vrijsen, I. Teper, O. Hosten, M. Kasevich, Optics Letters 39 (2014) 4005–4008.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 6122   OA
Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching
G.A. Linneweber, J. Jacobson, K.E. Busch, B. Hudry, C.P. Christov, D. Dormann, M. Yuan, T. Otani, E. Knust, M. de Bono, I. Miguel-Aliaga, Cell 156 (2014) 69–83.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1999
Organisational immunity in social insects
N. Stroeymeyt, B.E. Casillas Perez, S. Cremer, Current Opinion in Insect Science 5 (2014) 1–15.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 774
Brief announcement: Are lock-free concurrent algorithms practically wait-free?
D. Alistarh, K. Censor Hille, N. Shavit, in:, ACM, 2014, pp. 50–52.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 856
Duplication of a promiscuous transcription factor drives the emergence of a new regulatory network
K. Pougach, A. Voet, F. Kondrashov, K. Voordeckers, J. Christiaens, B. Baying, V. Bénès, R. Sakai, J. Aerts, B. Zhu, P. Van Dijck, K. Verstrepen, Nature Communications 5 (2014).
View | DOI
 

2014 | Journal Article | IST-REx-ID: 863
The ctenophore genome and the evolutionary origins of neural systems
L. Moroz, K. Kocot, M. Citarella, S. Dosung, T. Norekian, I. Povolotskaya, A. Grigorenko, C. Dailey, E. Berezikov, K. Buckley, A. Ptitsyn, D. Reshetov, K. Mukherjee, T. Moroz, Y. Bobkova, F. Yu, V. Kapitonov, J. Jurka, Y. Bobkov, J. Swore, D. Girardo, A. Fodor, F. Gusev, R. Sanford, R. Bruders, E. Kittler, C. Mills, J. Rast, R. Derelle, V. Solovyev, F. Kondrashov, B. Swalla, J. Sweedler, E. Rogaev, K. Halanych, A. Kohn, Nature 510 (2014) 109–114.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 926
Growth homeostatic regulation and stem cell dynamics in tissues
E. Hannezo, J. Prost, J. Joanny, Journal of the Royal Society Interface 11 (2014).
View | DOI
 

2014 | Journal Article | IST-REx-ID: 96   OA
Coherent operations and screening in multielectron spin qubits
A.P. Higginbotham, F. Kuemmeth, M. Hanson, A. Gossard, C. Marcus, APS Physics, Physical Review Letters 112 (2014).
View | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 1393
Probabilistic programming
A. Gordon, T.A. Henzinger, A. Nori, S. Rajamani, in:, Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–181.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2031   OA View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1906   OA
Large-scale point-cloud visualization through localized textured surface reconstruction
M. Arikan, R. Preiner, C. Scheiblauer, S. Jeschke, M. Wimmer, IEEE Transactions on Visualization and Computer Graphics 20 (2014) 1280–1292.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2062   OA View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1886   OA
Variance predicts salience in central sensory processing
A. Hermundstad, J. Briguglio, M. Conte, J. Victor, V. Balasubramanian, G. Tkacik, ELife (2014).
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2233   OA
Exact and approximate determinization of discounted-sum automata
U. Boker, T.A. Henzinger, Logical Methods in Computer Science 10 (2014).
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2187   OA
Synthesizing robust systems
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, G. Hofferek, B. Jobstmann, B. Könighofer, R. Könighofer, Acta Informatica 51 (2014) 193–220.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2163   OA
Games with a weak adversary
K. Chatterjee, L. Doyen, in:, Lecture Notes in Computer Science, Springer, 2014, pp. 110–121.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Technical Report | IST-REx-ID: 5415
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2014.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 117 View | DOI
 

2013 | Journal Article | IST-REx-ID: 1469
Arithmetic harmonic analysis on character and quiver varieties II
T. Hausel, E. Letellier, F. Rodríguez Villegas, Advances in Mathematics 234 (2013) 85–128.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed