Please note that ISTA 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.
380 Publications
2013 | Published | Conference Paper | IST-REx-ID: 2973 | 
Bangerter, E., Barzan, S., Krenn, S., Sadeghi, A., Schneider, T., & Tsay, J. (2013). Bringing Zero-Knowledge Proofs of Knowledge to Practice. In B. Christianson, J. Malcolm, V. Matyas, & M. Roe (Eds.) (Vol. 7028, pp. 51–62). Presented at the SPW: Security Protocols Workshop, Springer. https://doi.org/10.1007/978-3-642-36213-2_9
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 3116
Chatterjee, K., De Alfaro, L., Faella, M., Majumdar, R., & Raman, V. (2013). Code aware resource management. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-012-0170-4
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 3261 |
Dubuis, J., Tkačik, G., Wieschaus, E., Gregor, T., & Bialek, W. (2013). Positional information, in bits. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1315642110
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 331
Li, W., Zamani, R., Rivera Gil, P., Pelaz, B., Ibáñez, M., Cadavid, D., … Cabot, A. (2013). CuTe nanocrystals: Shape and size control, plasmonic properties, and use as SERS probes and photothermal agents. Journal of the American Chemical Society. ACS. https://doi.org/10.1021/ja401428e
View
| DOI
2013 | Published | 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 | Published | Journal Article | IST-REx-ID: 342
Li, W., Zamani, R., Ibáñez, M., Cadavid, D., Shavel, A., Morante, J., … Cabot, A. (2013). Metal ions to control the morphology of semiconductor nanoparticles: Copper selenide nanocubes. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja400472m
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 343
Ibáñez, M., Zamani, R., Gorsse, S., Fan, J., Ortega, S., Cadavid, D., … Cabot, A. (2013). Core shell nanoparticles as building blocks for the bottom-up production of functional nanocomposites: PbTe PbS thermoelectric properties. ACS Nano. American Chemical Society. https://doi.org/10.1021/nn305971v
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 344 |
Ibáñez, M., Cadavid, D., Anselmi Tamburini, U., Zamani, R., Gorsse, S., Li, W., … Cabot, A. (2013). Colloidal synthesis and thermoelectric properties of Cu 2SnSe3 nanocrystals. Journal of Materials Chemistry A. Royal Society of Chemistry. https://doi.org/10.1039/C2TA00419D
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 351
Carrete, A., Shavel, A., Fontané, X., Montserrat, J., Fan, J., Ibáñez, M., … Cabot, A. (2013). Antimony-based ligand exchange to promote crystallization in spray-deposited Cu2ZnSnSe4 solar cells. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja4068639
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 352
Cadavid, D., Ibáñez, M., Shavel, A., Durá, O., López De La Torre, M., & Cabot, A. (2013). Organic ligand displacement by metal salts to enhance nanoparticle functionality: Thermoelectric properties of Ag inf 2 inf Te. Journal of Materials Chemistry A. Royal Society of Chemistry. https://doi.org/10.1039/C3TA01455J
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 353
Li, W., Zamani, R., Rivera Gil, P., Pelaz, B., Ibáñez, M., Cadavid, D., … Cabot, A. (2013). CuTe nanocrystals: Shape and size control, plasmonic properties, and use as SERS probes and photothermal agents. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja401428e
View
| DOI
2013 | Published | 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. Royal Society of Chemistry. https://doi.org/10.1039/C3CE41583J
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 378
Ibáñez, M., & Cabot, A. (2013). All change for nanocrystals. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1239221
View
| DOI
2013 | Published | Technical Report | IST-REx-ID: 5409 |
Chatterjee, K., Ibsen-Jensen, R., & Majumdar, R. (2013). Edit distance for timed automata. IST Austria. https://doi.org/10.15479/AT:IST-2013-144-v1-1
[Published Version]
View
| Files available
| DOI
2013 | Published | Technical Report | IST-REx-ID: 5404 |
Chatterjee, K., & Ibsen-Jensen, R. (2013). The complexity of ergodic games. IST Austria. https://doi.org/10.15479/AT:IST-2013-127-v1-1
[Published Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 1385 |
Hofferek, G., Gupta, A., Könighofer, B., Jiang, J., & Bloem, R. (2013). Synthesizing multiple boolean functions using interpolation on a single proof. In 2013 Formal Methods in Computer-Aided Design (pp. 77–84). Portland, OR, United States: IEEE. https://doi.org/10.1109/FMCAD.2013.6679394
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 2276 |
Gridchyn, I., & Kolmogorov, V. (2013). Potts model, parametric maxflow and k-submodular functions (pp. 2320–2327). Presented at the ICCV: International Conference on Computer Vision, Sydney, Australia: IEEE. https://doi.org/10.1109/ICCV.2013.288
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 2327 |
Henzinger, T. A., & Otop, J. (2013). From model checking to model measuring. Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentina: Springer. https://doi.org/10.1007/978-3-642-40184-8_20
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 1376
Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013). Distributed synthesis for LTL fragments. In 13th International Conference on Formal Methods in Computer-Aided Design (pp. 18–25). Portland, OR, United States: IEEE. https://doi.org/10.1109/FMCAD.2013.6679386
View
| Files available
| DOI
2013 | Published | Technical Report | IST-REx-ID: 5406 |
Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013). Distributed synthesis for LTL Fragments. IST Austria. https://doi.org/10.15479/AT:IST-2013-130-v1-1
[Published Version]
View
| Files available
| DOI