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.

2174 Publications


2013 | Journal Article | IST-REx-ID: 2857   OA
Optical control of ligand-gated ion channels
S. Szobota, C. Mckenzie, H.L. Janovjak, Methods in Molecular Biology 998 (2013) 417–435.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 3261   OA
Positional information, in bits
J. Dubuis, G. Tkacik, E. Wieschaus, T. Gregor, W. Bialek, PNAS 110 (2013) 16301–16308.
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 507   OA
Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis
S. Kim, Z. Xu, K. Song, D. Kim, H. Kang, I. Reichardt, E. Sohn, J. Friml, G. Juergens, I. Hwang, Plant Cell 25 (2013) 2970–2985.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Technical Report | IST-REx-ID: 5402   OA
How free is your linearizable concurrent data structure?
T.A. Henzinger, A. Sezgin, How Free Is Your Linearizable Concurrent Data Structure?, IST Austria, 2013.
View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5407   OA
Technical requirements and features
J. Porsche, Technical Requirements and Features, IST Austria, 2013.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 595   OA
Struggling to let go: A non-coding RNA directs its own extension and destruction
C.A. Bernecky, P. Cramer, EMBO Journal 32 (2013) 771–772.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 6133   OA
In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor
A. Couto, S. Oda, V.O. Nikolaev, Z. Soltesz, M. de Bono, Proceedings of the National Academy of Sciences 110 (2013) E3301–E3310.
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 970   OA
New Dirac points and multiple Landau level crossings in biased trilayer graphene
M. Serbyn, D. Abanin, Physical Review B - Condensed Matter and Materials Physics 87 (2013).
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 975   OA
Universal slow growth of entanglement in interacting strongly disordered systems
M. Serbyn, Z. Papić, D. Abanin, Physical Review Letters 110 (2013).
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 1385   OA
Synthesizing multiple boolean functions using interpolation on a single proof
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2181   OA
Quantitative relaxation of concurrent data structures
T.A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, A. Sokolova, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–328.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2299   OA
Synthesis of AMBA AHB from formal specification: A case study
Y. Godhal, K. Chatterjee, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 15 (2013) 585–601.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2814   OA
The complexity of coverage
K. Chatterjee, L. Alfaro, R. Majumdar, International Journal of Foundations of Computer Science 24 (2013) 165–185.
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2819   OA
Quantitative timed simulation functions and refinement metrics for real-time systems
K. Chatterjee, V. Prabhu, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Springer, 2013, pp. 273–282.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2282   OA
Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly
P. Campinho, M. Behrndt, J. Ranft, T. Risler, N. Minc, C.-P.J. Heisenberg, Nature Cell Biology 15 (2013) 1405–1414.
View | Files available | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2446   OA
Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis
K. Chatterjee, A. Gaiser, J. Kretinsky, 8044 (2013) 559–575.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 1470   OA
Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces
M. De Cataldo, T. Hausel, L. Migliorini, Journal of Singularities 7 (2013) 23–38.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1759   OA
Nature of tunable hole g factors in quantum dots
N. Ares, V. Golovach, G. Katsaros, M. Stoffel, F. Fournel, L. Glazman, O. Schmidt, S. De Franceschi, Physical Review Letters 110 (2013).
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2207   OA
Dissipative binding of atoms by non-conservative forces
M. Lemeshko, H. Weimer, Nature Communications 4 (2013).
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2315   OA
Disordered Bose-Einstein condensates with interaction
R. Seiringer, J. Yngvason, V. Zagrebnov, in:, World Scientific Publishing, 2013, pp. 610–619.
View | DOI | Download (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed