Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2742 Publications

2013 | Journal Article | IST-REx-ID: 2910   OA
Kelleher J, Barton NH, Etheridge A. Coalescent simulation in continuous space. Bioinformatics. 2013;29(7):955-956. doi:10.1093/bioinformatics/btt067
View | Files available | DOI
2013 | Journal Article | IST-REx-ID: 2821   OA
Remy E, Cabrito T, Baster P, et al. A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis. Plant Cell. 2013;25(3):901-926. doi:10.1105/tpc.113.110353
View | DOI | Download (ext.) | PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2833
Heisenberg C-PJ, Bellaïche Y. Forces in tissue morphogenesis and patterning. Cell. 2013;153(5):948-962. doi:10.1016/j.cell.2013.05.008
View | DOI
2013 | Journal Article | IST-REx-ID: 2838   OA
Arquè Fuste G, Casanovas A, Dierssen M. Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome. PLoS One. 2013;8(1). doi:10.1371/journal.pone.0054285
View | Files available | DOI
2013 | Journal Article | IST-REx-ID: 2840
Van Cauter T, Camon J, Alvernhe A, Elduayen C, Sargolini F, Save É. Distinct roles of medial and lateral entorhinal cortex in spatial cognition. Cerebral Cortex. 2013;23(2):451-459. doi:10.1093/cercor/bhs033
View | DOI
2013 | Journal Article | IST-REx-ID: 2857   OA
Szobota S, Mckenzie C, Janovjak HL. Optical control of ligand-gated ion channels. Methods in Molecular Biology. 2013;998:417-435. doi:10.1007/978-1-62703-351-0_32
View | Files available | DOI
2013 | Journal Article | IST-REx-ID: 2845
Rose T, Schönenberger P, Jezek K, Oertner T. Developmental refinement of vesicle cycling at Schaffer collateral synapses. Neuron. 2013;77(6):1109-1121. doi:10.1016/j.neuron.2013.01.021
View | DOI
2013 | Journal Article | IST-REx-ID: 3261   OA
Dubuis J, Tkacik G, Wieschaus E, Gregor T, Bialek W. Positional information, in bits. PNAS. 2013;110(41):16301-16308. doi:10.1073/pnas.1315642110
View | Files available | DOI | PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 507   OA
Kim S, Xu Z, Song K, et al. Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis. Plant Cell. 2013;25(8):2970-2985. doi:10.1105/tpc.113.114264
View | DOI | Download (ext.) | PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 499
Wakamoto Y, Dhar N, Chait RP, et al. Dynamic persistence of antibiotic-stressed mycobacteria. Science. 2013;339(6115):91-95. doi:10.1126/science.1229858
View | DOI
2013 | Journal Article | IST-REx-ID: 502
Blazy O, Fuchsbauer G, Pointcheval D, Vergnaud D. Short blind signatures. Journal of Computer Security. 2013;21(5):627-661. doi:10.3233/JCS-130477
View | DOI
2013 | Technical Report | IST-REx-ID: 5402   OA
Henzinger TA, Sezgin A. How Free Is Your Linearizable Concurrent Data Structure? IST Austria; 2013. doi:10.15479/AT:IST-2013-123-v1-1
View | Files available | DOI
2013 | Report | IST-REx-ID: 5407   OA
Porsche J. Technical Requirements and Features. IST Austria; 2013.
View | Files available
2013 | Conference Paper | IST-REx-ID: 1385   OA
Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. Synthesizing multiple boolean functions using interpolation on a single proof. In: 2013 Formal Methods in Computer-Aided Design. IEEE; 2013:77-84. doi:10.1109/FMCAD.2013.6679394
View | DOI | Download (ext.) | arXiv
2013 | Technical Report | IST-REx-ID: 5399
Reiter J, Bozic I, Chatterjee K, Nowak M. TTP: Tool for Tumor Progression. IST Austria; 2013. doi:10.15479/AT:IST-2013-104-v1-1
View | Files available | DOI
2013 | Conference Paper | IST-REx-ID: 2181   OA
Henzinger TA, Kirsch C, Payer H, Sezgin A, Sokolova A. Quantitative relaxation of concurrent data structures. In: Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language. ACM; 2013:317-328. doi:10.1145/2429069.2429109
View | Files available | DOI
2013 | Journal Article | IST-REx-ID: 2299   OA
Godhal Y, Chatterjee K, Henzinger TA. Synthesis of AMBA AHB from formal specification: A case study. International Journal on Software Tools for Technology Transfer. 2013;15(5-6):585-601. doi:10.1007/s10009-011-0207-9
View | Files available | DOI
2013 | Journal Article | IST-REx-ID: 2814   OA
Chatterjee K, Alfaro L, Majumdar R. The complexity of coverage. International Journal of Foundations of Computer Science. 2013;24(2):165-185. doi:10.1142/S0129054113400066
View | DOI | Download (ext.) | arXiv
2013 | Conference Paper | IST-REx-ID: 2819   OA
Chatterjee K, Prabhu V. Quantitative timed simulation functions and refinement metrics for real-time systems. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control. Vol 1. Springer; 2013:273-282. doi:10.1145/2461328.2461370
View | DOI | Download (ext.)
2013 | Journal Article | IST-REx-ID: 2282   OA
Campinho P, Behrndt M, Ranft J, Risler T, Minc N, Heisenberg C-PJ. Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly. Nature Cell Biology. 2013;15:1405-1414. doi:10.1038/ncb2869
View | Files available | DOI | Download (ext.)


Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed