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.

5260 Publications


2013 | Conference Paper | IST-REx-ID: 2328   OA
Henzinger, T. A., Sezgin, A., & Vafeiadis, V. (2013). Aspect-oriented linearizability proofs. Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentina: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-40184-8_18
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2277   OA
Simmons, K., Prentice, J., Tkacik, G., Homann, J., Yee, H., Palmer, S., … Balasubramanian, V. (2013). Transformation of stimulus correlations by the retina. PLoS Computational Biology, 9(12), e1003344. https://doi.org/10.1371/journal.pcbi.1003344
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2823
Pickup, M., Wilson, S., Freudenberger, D., Nicholls, N., Gould, L., Hnatiuk, S., & Delandre, J. (2013). Post-fire recovery of revegetated woodland communities in south-eastern Australia. Austral Ecology, 38(3), 300–312. https://doi.org/10.1111/j.1442-9993.2012.02404.x
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2828   OA
Kolmogorov, V., & Živný, S. (2013). The complexity of conservative valued CSPs. Journal of the ACM, 60(2). https://doi.org/10.1145/2450142.2450146
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2830
Moussion, C., & Sixt, M. K. (2013). A conduit to amplify innate immunity. Immunity, 38(5), 853–854. https://doi.org/10.1016/j.immuni.2013.05.005
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2835   OA
Yu, H., Karampelias, M., Robert, S., Peer, W., Swarup, R., Ye, S., … Estelle, M. (2013). Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis. Plant Physiology, 162(2), 965–976. https://doi.org/10.1104/pp.113.217018
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2842   OA
Barton, N. H., Etheridge, A., Kelleher, J., & Véber, A. (2013). Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks. Theoretical Population Biology, 87(1), 105–119. https://doi.org/10.1016/j.tpb.2013.03.001
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2816   OA
Božić, I., Reiter, J., Allen, B., Antal, T., Chatterjee, K., Shah, P., … Nowak, M. (2013). Evolutionary dynamics of cancer in response to targeted combination therapy. ELife, 2. https://doi.org/10.7554/eLife.00747
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2847   OA
Bansal, K., Koskinen, E., Wies, T., & Zufferey, D. (2013). Structural Counter Abstraction. (N. Piterman & S. Smolka, Eds.). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Rome, Italy: Springer. https://doi.org/10.1007/978-3-642-36742-7_5
View | Files available | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2811   OA
Avila, M., & Hof, B. (2013). Nature of laminar-turbulence intermittency in shear flows. Physical Review E, 87(6). https://doi.org/10.1103/PhysRevE.87.063012
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2861
Botella Soler, V., Oteo, J., Ros, J., & Glendinning, P. (2013). Lyapunov exponent and topological entropy plateaus in piecewise linear maps. Journal of Physics A: Mathematical and Theoretical, 46(12), 125101. https://doi.org/10.1088/1751-8113/46/12/125101
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2880   OA
Marhavy, P., Vanstraelen, M., De Rybel, B., Zhaojun, D., Bennett, M., Beeckman, T., & Benková, E. (2013). Auxin reflux between the endodermis and pericycle promotes lateral root initiation. EMBO Journal, 32(1), 149–158. https://doi.org/10.1038/emboj.2012.303
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Conference (Editor) | IST-REx-ID: 2885
Kucera, A., Henzinger, T. A., Nesetril, J., Vojnar, T., & Antos, D. (Eds.). (2013). Mathematical and Engineering Methods in Computer Science (Vol. 7721, pp. 1–228). Presented at the MEMICS: Mathematical and Engineering methods in computer science, Znojmo, Czech Republic: Springer. https://doi.org/10.1007/978-3-642-36046-6
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2948   OA
Tommasi, T., Quadrianto, N., Caputo, B., & Lampert, C. (2013). Beyond dataset bias: Multi-task unaligned shared knowledge transfer. Presented at the ACCV: Asian Conference on Computer Vision, Daejeon, Korea: Springer. https://doi.org/10.1007/978-3-642-37331-2_1
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2854   OA
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2013). Strategy improvement for concurrent reachability and turn based stochastic safety games. Journal of Computer and System Sciences, 79(5), 640–657. https://doi.org/10.1016/j.jcss.2012.12.001
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2859   OA
Bendich, P., Edelsbrunner, H., Morozov, D., & Patel, A. (2013). Homology and robustness of level and interlevel sets. Homology, Homotopy and Applications, 15(1), 51–72. https://doi.org/10.4310/HHA.2013.v15.n1.a3
View | DOI | Download (ext.) | arXiv
 

2013 | Encyclopedia Article | IST-REx-ID: 3321
Quadrianto, N., & Lampert, C. (2013). Kernel based learning. In W. Dubitzky, O. Wolkenhauer, K. Cho, & H. Yokota (Eds.), Encyclopedia of Systems Biology (Vol. 3, pp. 1069–1069). Springer. https://doi.org/10.1007/978-1-4419-9863-7_604
View | DOI
 

2013 | Journal Article | IST-REx-ID: 376
Li, W., Ibáñez, M., Zamani, R., García Castelló, N., Stéphane, G., Cadavid, D., … Cabot, A. (2013). Cu2HgSnSe4 nanoparticles: synthesis and thermoelectric properties. CrystEngComm, 44, 8966–8971. https://doi.org/10.1039/C3CE41583J
View | DOI
 

2013 | Journal Article | IST-REx-ID: 509   OA
Di Rubbo, S., Irani, N., Kim, S., Xu, Z., Gadeyne, A., Dejonghe, W., … Russinova, E. (2013). The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIVE1 in arabidopsis. Plant Cell, 25(8), 2986–2997. https://doi.org/10.1105/tpc.113.114058
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 528
Robert, H., Grones, P., Stepanova, A., Robles, L., Lokerse, A., Alonso, J., … Friml, J. (2013). Local auxin sources orient the apical basal axis in arabidopsis embryos. Current Biology, 23(24), 2506–2512. https://doi.org/10.1016/j.cub.2013.09.039
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed