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.

8978 Publications


2013 | Journal Article | IST-REx-ID: 2290 | OA
Boutté, Yohann, et al. “ECHIDNA Mediated Post Golgi Trafficking of Auxin Carriers for Differential Cell Elongation.” PNAS, vol. 110, no. 40, National Academy of Sciences, 2013, pp. 16259–64, doi:10.1073/pnas.1309057110.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2294 | OA
Kazmar, Tomas, et al. Drosophila Embryo Stage Annotation Using Label Propagation. IEEE, 2013, doi:10.1109/ICCV.2013.139.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2013 | Conference (Editor) | IST-REx-ID: 2292
Chatterjee, Krishnendu, and Jiri Sgall, editors. Mathematical Foundations of Computer Science 2013. Vol. 8087, Springer, 2013, p. VI-854, doi:10.1007/978-3-642-40313-2.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2293 | OA
Sharmanska, Viktoriia, et al. Learning to Rank Using Privileged Information. IEEE, 2013, pp. 825–32, doi:10.1109/ICCV.2013.107.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2291 | OA
Ferrara, Anna, et al. Cryptographically Enforced RBAC. IEEE, 2013, pp. 115–29, doi:10.1109/CSF.2013.15.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2013 | Conference (Editor) | IST-REx-ID: 2288
Gupta, Ashutosh, and Thomas A. Henzinger, editors. Computational Methods in Systems Biology. Vol. 8130, Springer, 2013, doi:10.1007/978-3-642-40708-6.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2298 | OA
Dragoi, Cezara, et al. Local Shape Analysis for Overlaid Data Structures. Vol. 7935, Springer, 2013, pp. 150–71, doi:10.1007/978-3-642-38856-9_10.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2299 | OA
Godhal, Yashdeep, et al. “Synthesis of AMBA AHB from Formal Specification: A Case Study.” International Journal on Software Tools for Technology Transfer, vol. 15, no. 5–6, Springer, 2013, pp. 585–601, doi:10.1007/s10009-011-0207-9.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2297 | OA
Seiringer, Robert. “Hot Topics in Cold Gases: A Mathematical Physics Perspective.” Japanese Journal of Mathematics, vol. 8, no. 2, Springer, 2013, pp. 185–232, doi:10.1007/s11537-013-1264-5.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Book | IST-REx-ID: 2306 | OA
Danowski, Patrick, and Adrian Pohl. (Open) Linked Data in Bibliotheken. Vol. 50, De Gruyter, 2013, doi:10.1515/9783110278736.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2301
Desai, Ankush, et al. “P: Safe Asynchronous Event-Driven Programming.” Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, 2013, pp. 321–31, doi:10.1145/2491956.2462184.
View | DOI | Download None (ext.)
 

2013 | Journal Article | IST-REx-ID: 2300 | OA
Giuliani, Alessandro, et al. “Realization of Stripes and Slabs in Two and Three Dimensions.” Physical Review B, vol. 88, no. 6, 064401, American Physical Society, 2013, doi:10.1103/PhysRevB.88.064401.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2303
Hippenmeyer, Simon. “Dissection of Gene Function at Clonal Level Using Mosaic Analysis with Double Markers.” Frontiers in Biology, vol. 8, no. 6, Springer, 2013, pp. 557–68, doi:10.1007/s11515-013-1279-6.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2304
Pausinger, Florian. “Van Der Corput Sequences and Linear Permutations.” Electronic Notes in Discrete Mathematics, vol. 43, Elsevier, 2013, pp. 43–50, doi:10.1016/j.endm.2013.07.008.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2315 | OA
Seiringer, Robert, et al. Disordered Bose-Einstein Condensates with Interaction. World Scientific Publishing, 2013, pp. 610–19, doi:10.1142/9789814449243_0063.
View | DOI | Download None (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2319 | OA
Frank, Rupert, et al. Derivation of Ginzburg-Landau Theory for a One-Dimensional System with Contact Interaction. Springer, 2013, pp. 57–88, doi:10.1007/978-3-0348-0531-5_3.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2328 | OA
Henzinger, Thomas A., et al. Aspect-Oriented Linearizability Proofs. Vol. 8052, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 242–56, doi:10.1007/978-3-642-40184-8_18.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2404 | OA
Frank, Rupert, et al. “A Positive Density Analogue of the Lieb-Thirring Inequality.” Duke Mathematical Journal, vol. 162, no. 3, Duke University Press, 2013, pp. 435–95, doi:10.1215/00127094-2019477.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2406
Seiringer, Robert, et al. “Condensation of Interacting Bosons in a Random Potential.” European Physical Journal: Special Topics, vol. 217, no. 1, Springer, 2013, pp. 103–07, doi:10.1140/epjst/e2013-01759-5.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2405 | OA
Frank, Rupert, et al. “Symmetry of Bipolaron Bound States for Small Coulomb Repulsion.” Communications in Mathematical Physics, vol. 319, no. 2, Springer, 2013, pp. 557–73, doi:10.1007/s00220-012-1604-y.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2408 | OA
Grech, Philip, and Robert Seiringer. “The Excitation Spectrum for Weakly Interacting Bosons in a Trap.” Communications in Mathematical Physics, vol. 322, no. 2, Springer, 2013, pp. 559–91, doi:10.1007/s00220-013-1736-8.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2412 | OA
Kupczok, Anne, and Jonathan P. Bollback. “Probabilistic Models for CRISPR Spacer Content Evolution .” BMC Evolutionary Biology, vol. 13, no. 1, BioMed Central, 2013, pp. 54–54, doi:10.1186/1471-2148-13-54.
[Published Version] View | Files available | DOI
 

2013 | Book Chapter | IST-REx-ID: 2413
Valderrama, Mario, et al. “Neuronal Oscillations Scale up and Scale down the Brain Dynamics .” Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain, edited by Misha Meyer and Z. Pesenson, Wiley-VCH, 2013, doi:10.1002/9783527671632.ch08.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2410 | OA
Fernandes Redondo, Rodrigo A., et al. “Complete Genome Sequence of the Novel Phage MG-B1 Infecting Bacillus Weihenstephanensis.” Genome Announcements, vol. 1, no. 3, American Society for Microbiology, 2013, doi:10.1128/genomeA.00216-13.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2447 | OA
Piskac, Ruzica, et al. Automating Separation Logic Using SMT. Vol. 8044, Springer, 2013, pp. 773–89, doi:10.1007/978-3-642-39799-8_54.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2443 | OA
Simon, Sibu, et al. “Defining the Selectivity of Processes along the Auxin Response Chain: A Study Using Auxin Analogues.” New Phytologist, vol. 200, no. 4, Wiley, 2013, pp. 1034–48, doi:10.1111/nph.12437.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2446 | OA
Chatterjee, Krishnendu, et al. Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis. Vol. 8044, Springer, 2013, pp. 559–75, doi:10.1007/978-3-642-39799-8_37.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2444 | OA
Chatterjee, Krishnendu, and Jakub Ła̧Cki. Faster Algorithms for Markov Decision Processes with Low Treewidth. Vol. 8044, Springer, 2013, pp. 543–58, doi:10.1007/978-3-642-39799-8_36.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2449
Nodzyński, Tomasz, et al. “Retromer Subunits VPS35A and VPS29 Mediate Prevacuolar Compartment (PVC) Function in Arabidopsis.” Molecular Plant, vol. 6, no. 6, Cell Press, 2013, pp. 1849–62, doi:10.1093/mp/sst044.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2452
Barbez, Elke, et al. “Single-Cell-Based System to Monitor Carrier Driven Cellular Auxin Homeostasis.” BMC Plant Biology, vol. 13, no. 1, BioMed Central, 2013, doi:10.1186/1471-2229-13-20.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2450
Liu, Junli, et al. “Interaction of PLS and PIN and Hormonal Crosstalk in Arabidopsis Root Development.” Frontiers in Plant Science, vol. 4, no. 75, Frontiers Research Foundation, 2013, doi:10.3389/fpls.2013.00075.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 245 | OA
Baier, Stephan, and Timothy D. Browning. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.” Journal Fur Die Reine Und Angewandte Mathematik, no. 680, Walter de Gruyter, 2013, pp. 69–151, doi:10.1515/crelle.2012.039.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2457
Viaene, Tom, et al. “Origin and Evolution of PIN Auxin Transporters in the Green Lineage.” Trends in Plant Science, vol. 18, no. 1, Cell Press, 2013, pp. 5–10, doi:10.1016/j.tplants.2012.08.009.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 246
Browning, Timothy D., and Ritabrata Munshi. “Rational Points on Singular Intersections of Quadrics.” Compositio Mathematica, vol. 149, no. 9, Cambridge University Press, 2013, pp. 1457–94, doi:10.1112/S0010437X13007185.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2471 | OA
Sanchez-Romero, Inmaculada, et al. “Mechanism of Protein Kinetic Stabilization by Engineered Disulfide Crosslinks.” PLoS One, vol. 8, no. 7, e70013, Public Library of Science, 2013, doi:10.1371/journal.pone.0070013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2472 | OA
Cazzonelli, Christopher, et al. “Role of the Arabidopsis PIN6 Auxin Transporter in Auxin Homeostasis and Auxin-Mediated Development.” PLoS One, vol. 8, no. 7, e70069, Public Library of Science, 2013, doi:10.1371/journal.pone.0070069.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2470 | OA
Čovanová, Milada, et al. “Overexpression of the Auxin Binding PROTEIN1 Modulates PIN-Dependent Auxin Transport in Tobacco Cells.” PLoS One, vol. 8, no. 7, e70050, Public Library of Science, 2013, doi:10.1371/journal.pone.0070050.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2466 | OA
Ando, Ryoichi, et al. “Highly Adaptive Liquid Simulations on Tetrahedral Meshes.” ACM Transactions on Graphics, vol. 32, no. 4, 103, ACM, 2013, doi:10.1145/2461912.2461982.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2467 | OA
Bernstein, Gilbert, and Chris Wojtan. “Putting Holes in Holey Geometry: Topology Change for Arbitrary Surfaces.” ACM Transactions on Graphics, vol. 32, no. 4, 34, ACM, 2013, doi:10.1145/2461912.2462027.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2468 | OA
Bojsen-Hansen, Morten, and Chris Wojtan. “Liquid Surface Tracking with Error Compensation.” ACM Transactions on Graphics, vol. 32, no. 4, 68, ACM, 2013, doi:10.1145/2461912.2461991.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2469 | OA
Maître, Jean-Léon, and Carl-Philipp J. Heisenberg. “Three Functions of Cadherins in Cell Adhesion.” Current Biology, vol. 23, no. 14, Cell Press, 2013, pp. R626–33, doi:10.1016/j.cub.2013.06.019.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 247
Browning, Timothy D. “The Lang-Weil Estimate for Cubic Hypersurfaces.” Canadian Mathematical Bulletin, vol. 56, no. 3, Unknown, 2013, pp. 500–02, doi:10.4153/CMB-2011-177-4.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2473 | OA
Barton, Nicholas H., et al. “Genetic Hitch-Hiking in Spatially Extended Populations.” Theoretical Population Biology, vol. 87, no. 8, Elsevier, 2013, pp. 75–89, doi:10.1016/j.tpb.2012.12.001.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2478
Budreck, Elaine, et al. “Neuroligin-1 Controls Synaptic Abundance of NMDA-Type Glutamate Receptors through Extracellular Coupling.” PNAS, vol. 110, no. 2, National Academy of Sciences, 2013, pp. 725–30, doi:10.1073/pnas.1214718110.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 250 | OA
De La Bretèche, Régis, and Timothy D. Browning. “Density of Châtelet Surfaces Failing the Hasse Principle.” Proceedings of the London Mathematical Society, vol. 108, no. 4, Oxford University Press, 2013, pp. 1030–78, doi:10.1112/plms/pdt060.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 251
De La Bretèche, Régis, and Timothy D. Browning. “Counter Examples to the Hasse Principle among Certain Coflasque Tori.” Journal de Theorie Des Nombres de Bordeaux, vol. 26, no. 1, Universite de Bordeaux I, 2013, pp. 25–44, doi:10.5802/jtnb.857.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2517 | OA
Almagor, Shaull, et al. Formalizing and Reasoning about Quality. Vol. 7966, no. Part 2, Springer, 2013, pp. 15–27, doi:10.1007/978-3-642-39212-2_3.
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2518 | OA
Kolmogorov, Vladimir. The Power of Linear Programming for Finite-Valued CSPs: A Constructive Characterization. Vol. 7965, no. 1, Springer, 2013, pp. 625–36, doi:10.1007/978-3-642-39206-1_53.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2516
Lampert, Christoph, et al. “Attribute-Based Classification for Zero-Shot Learning of Object Categories.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 36, no. 3, IEEE, 2013, pp. 453–65, doi:10.1109/TPAMI.2013.140.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2520 | OA
Quadrianto, Novi, et al. “The Supervised IBP: Neighbourhood Preserving Infinite Latent Feature Models.” Proceedings of the 29th Conference Uncertainty in Artificial Intelligence, AUAI Press, 2013, pp. 527–36.
[Submitted Version] View | Files available
 

Search

Filter Publications