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.

11380 Publications


2013 | Published | Journal Article | IST-REx-ID: 2919 | OA
Baster, Pawel, et al. “SCF^TIR1 AFB-Auxin Signalling Regulates PIN Vacuolar Trafficking and Auxin Fluxes during Root Gravitropism.” EMBO Journal, vol. 32, no. 2, Wiley-Blackwell, 2013, pp. 260–74, doi:10.1038/emboj.2012.310.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2013 | Published | Journal Article | IST-REx-ID: 2920 | OA
Compagnon, Julien, and Carl-Philipp J. Heisenberg. “Neurulation Coordinating Cell Polarisation and Lumen Formation.” EMBO Journal, vol. 32, no. 1, Wiley-Blackwell, 2013, pp. 1–3, doi:10.1038/emboj.2012.325.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2013 | Published | Journal Article | IST-REx-ID: 2926
Tragust, Simon, et al. “Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison.” Current Biology, vol. 23, no. 1, Cell Press, 2013, pp. 76–82, doi:10.1016/j.cub.2012.11.034.
View | Files available | DOI | WoS
 

2013 | Published | Journal Article | IST-REx-ID: 2939
Chen, Chao, and Michael Kerber. “An Output Sensitive Algorithm for Persistent Homology.” Computational Geometry: Theory and Applications, vol. 46, no. 4, Elsevier, 2013, pp. 435–47, doi:10.1016/j.comgeo.2012.02.010.
View | Files available | DOI | WoS
 

2013 | Published | Conference Paper | IST-REx-ID: 2940 | OA
Krenn, Stephan, et al. A Counterexample to the Chain Rule for Conditional HILL Entropy, and What Deniable Encryption Has to Do with It. Edited by Amit Sahai, vol. 7785, Springer, 2013, pp. 23–39, doi:10.1007/978-3-642-36594-2_2.
[Submitted Version] View | Files available | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 2944
Aeschbacher, Simon, et al. “Approximate Bayesian Computation for Modular Inference Problems with Many Parameters: The Example of Migration Rates. .” Molecular Ecology, vol. 22, no. 4, Wiley-Blackwell, 2013, pp. 987–1002, doi:10.1111/mec.12165.
View | Files available | DOI | WoS
 

2013 | Published | Conference Paper | IST-REx-ID: 2948 | OA
Tommasi, Tatiana, et al. Beyond Dataset Bias: Multi-Task Unaligned Shared Knowledge Transfer. Vol. 7724, Springer, 2013, pp. 1–15, doi:10.1007/978-3-642-37331-2_1.
[Submitted Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2973 | OA
Bangerter, Endre, et al. Bringing Zero-Knowledge Proofs of Knowledge to Practice. Edited by Bruce Christianson et al., vol. 7028, Springer, 2013, pp. 51–62, doi:10.1007/978-3-642-36213-2_9.
View | DOI | Download (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 3116
Chatterjee, Krishnendu, et al. “Code Aware Resource Management.” Formal Methods in System Design, vol. 42, no. 2, Springer, 2013, pp. 142–74, doi:10.1007/s10703-012-0170-4.
View | DOI | WoS
 

2013 | Published | Journal Article | IST-REx-ID: 3261 | OA
Dubuis, Julien, et al. “Positional Information, in Bits.” PNAS, vol. 110, no. 41, National Academy of Sciences, 2013, pp. 16301–08, doi:10.1073/pnas.1315642110.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2013 | Published | Journal Article | IST-REx-ID: 331
Li, Wenhua, et al. “CuTe Nanocrystals: Shape and Size Control, Plasmonic Properties, and Use as SERS Probes and Photothermal Agents.” Journal of the American Chemical Society, vol. 135, no. 19, ACS, 2013, pp. 7098–101, doi:10.1021/ja401428e.
View | DOI
 

2013 | Published | Encyclopedia Article | IST-REx-ID: 3321
Quadrianto, Novi, and Christoph Lampert. “Kernel Based Learning.” Encyclopedia of Systems Biology, edited by Werner Dubitzky et al., vol. 3, Springer, 2013, pp. 1069–1069, doi:10.1007/978-1-4419-9863-7_604.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 342
Li, Wenhua, et al. “Metal Ions to Control the Morphology of Semiconductor Nanoparticles: Copper Selenide Nanocubes.” Journal of the American Chemical Society, vol. 135, no. 12, American Chemical Society, 2013, pp. 4664–67, doi:10.1021/ja400472m.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 13405
Ely, Tal, et al. “Photocontrol of Electrical Conductance with a Nonsymmetrical Azobenzene Dithiol.” Synlett, vol. 24, no. 18, Georg Thieme Verlag, 2013, pp. 2370–74, doi:10.1055/s-0033-1340087.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 13406
Das, Sanjib, et al. “Dual-Responsive Nanoparticles and Their Self-Assembly.” Advanced Materials, vol. 25, no. 3, Wiley, 2013, pp. 422–26, doi:10.1002/adma.201201734.
View | DOI | PubMed | Europe PMC
 

2013 | Published | Conference Paper | IST-REx-ID: 1374 | OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” 22nd EACSL Annual Conference on Computer Science Logic, vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–96, doi:10.4230/LIPIcs.CSL.2013.181.
[Published Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 1376 | OA
Chatterjee, Krishnendu, et al. “Distributed Synthesis for LTL Fragments.” 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25, doi:10.1109/FMCAD.2013.6679386.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2013 | Published | Conference Paper | IST-REx-ID: 1385 | OA
Hofferek, Georg, et al. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.” 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84, doi:10.1109/FMCAD.2013.6679394.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Published | Conference Paper | IST-REx-ID: 1387 | OA
Boker, Udi, et al. Nondeterminism in the Presence of a Diverse or Unknown Future. Vol. 7966, no. PART 2, Springer, 2013, pp. 89–100, doi:10.1007/978-3-642-39212-2_11.
[Submitted Version] View | Files available | DOI
 

2013 | Published | Thesis | PhD | IST-REx-ID: 1405 | OA
Zufferey, Damien. Analysis of Dynamic Message Passing Programs. Institute of Science and Technology Austria, 2013, doi:10.15479/at:ista:1405.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed