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.
8920 Publications
2014 |
Published |
Journal Article |
IST-REx-ID: 358
Herranz, T., Ibáñez, M., Gómez De La Fuente, J., Pérez Alonso, F., Peña, M., Cabot, A., & Rojas, S. (2014). In situ study of ethanol electrooxidation on monodispersed Pt inf 3 inf Sn nanoparticles. ChemElectroChem. Wiley-Blackwell. https://doi.org/10.1002/celc.201300254
View
| DOI
2014 |
Published |
Journal Article |
IST-REx-ID: 359
Zamani, R., Ibáñez, M., Luysberg, M., García Castelló, N., Houben, L., Prades, J., … Arbiol, J. (2014). Polarity-driven polytypic branching in Cu-based quaternary chalcogenide nanostructures. ACS Nano. American Chemical Society. https://doi.org/10.1021/nn405747h
View
| DOI
2014 |
Published |
Journal Article |
IST-REx-ID: 451 |
Pilarczyk, P., & Real, P. (2014). Computation of cubical homology, cohomology, and (co)homological operations via chain contraction. Advances in Computational Mathematics. Kluwer. https://doi.org/10.1007/s10444-014-9356-1
View
| DOI
| Download (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 2443 |
Simon, S., Kubeš, M., Baster, P., Robert, S., Dobrev, P., Friml, J., … Zažímalová, E. (2013). Defining the selectivity of processes along the auxin response chain: A study using auxin analogues. New Phytologist. Wiley. https://doi.org/10.1111/nph.12437
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 |
Published |
Conference Paper |
IST-REx-ID: 2444 |
Chatterjee, K., & Ła̧Cki, J. (2013). Faster algorithms for Markov decision processes with low treewidth. Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_36
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |
Published |
Conference Paper |
IST-REx-ID: 2445 |
Cerny, P., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., & Tarrach, T. (2013). Efficient synthesis for concurrency by semantics-preserving transformations (Vol. 8044, pp. 951–967). Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_68
[Submitted Version]
View
| Files available
| DOI
2013 |
Published |
Conference Paper |
IST-REx-ID: 2446 |
Chatterjee, K., Gaiser, A., & Kretinsky, J. (2013). Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis. Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_37
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |
Published |
Conference Paper |
IST-REx-ID: 2447 |
Piskac, R., Wies, T., & Zufferey, D. (2013). Automating separation logic using SMT. Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_54
[Submitted Version]
View
| Files available
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 2448 |
Remy, E., Baster, P., Friml, J., & Duque, P. (2013). ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling & Behavior. Taylor & Francis. https://doi.org/10.4161/psb.25688
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 |
Published |
Journal Article |
IST-REx-ID: 2449
Nodzyński, T., Feraru, M., Hirsch, S., De Rycke, R., Nicuales, C., Van Leene, J., … Friml, J. (2013). Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function in Arabidopsis. Molecular Plant. Cell Press. https://doi.org/10.1093/mp/sst044
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 245 |
Baier, S., & Browning, T. D. (2013). Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter. https://doi.org/10.1515/crelle.2012.039
View
| DOI
| Download (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 2450
Liu, J., Menhi, S., Topping, J., Friml, J., & Lindsey, K. (2013). Interaction of PLS and PIN and hormonal crosstalk in Arabidopsis root development. Frontiers in Plant Science. Frontiers Research Foundation. https://doi.org/10.3389/fpls.2013.00075
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 2452
Barbez, E., Laňková, M., Pařezová, M., Maizel, A., Zažímalová, E., Petrášek, J., … Kleine Vehn, J. (2013). Single-cell-based system to monitor carrier driven cellular auxin homeostasis. BMC Plant Biology. BioMed Central. https://doi.org/10.1186/1471-2229-13-20
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 2457
Viaene, T., Delwiche, C., Rensing, S., & Friml, J. (2013). Origin and evolution of PIN auxin transporters in the green lineage. Trends in Plant Science. Cell Press. https://doi.org/10.1016/j.tplants.2012.08.009
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 246
Browning, T. D., & Munshi, R. (2013). Rational points on singular intersections of quadrics. Compositio Mathematica. Cambridge University Press. https://doi.org/10.1112/S0010437X13007185
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 2466 |
Ando, Ryoichi, Highly adaptive liquid simulations on tetrahedral meshes. ACM Transactions on Graphics 32 (4). 2013
[Submitted Version]
View
| Files available
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 2467 |
Bernstein, G., & Wojtan, C. (2013). Putting holes in holey geometry: Topology change for arbitrary surfaces. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/2461912.2462027
[Submitted Version]
View
| Files available
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 2468 |
Bojsen-Hansen, M., & Wojtan, C. (2013). Liquid surface tracking with error compensation. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/2461912.2461991
[Submitted Version]
View
| Files available
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 2469 |
Maître, J.-L., & Heisenberg, C.-P. J. (2013). Three functions of cadherins in cell adhesion. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2013.06.019
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |
Published |
Journal Article |
IST-REx-ID: 247
Browning, T. D. (2013). The Lang-Weil estimate for cubic hypersurfaces. Canadian Mathematical Bulletin. Unknown. https://doi.org/10.4153/CMB-2011-177-4
View
| DOI