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: 2824
K. Chatterjee and V. Prabhu, “Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems,” Information and Computation, vol. 228–229. Elsevier, pp. 83–119, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2832 | OA
H. Tanaka et al., “Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana,” PLoS Genetics, vol. 9, no. 5. Public Library of Science, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2828 | OA
V. Kolmogorov and S. Živný, “The complexity of conservative valued CSPs,” Journal of the ACM, vol. 60, no. 2. ACM, 2013.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2829 | OA
L. Shi, M. Avila, and B. Hof, “Scale invariance at the onset of turbulence in couette flow,” Physical Review Letters, vol. 110, no. 20. American Physical Society, 2013.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2834 | OA
M. Avila, F. Mellibovsky, N. Roland, and B. Hof, “Streamwise-localized solutions at the onset of turbulence in pipe flow,” Physical Review Letters, vol. 110, no. 22. American Physical Society, 2013.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2833
C.-P. J. Heisenberg and Y. Bellaïche, “Forces in tissue morphogenesis and patterning,” Cell, vol. 153, no. 5. Cell Press, pp. 948–962, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2830
C. Moussion and M. K. Sixt, “A conduit to amplify innate immunity,” Immunity, vol. 38, no. 5. Cell Press, pp. 853–854, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2842 | OA
N. H. Barton, A. Etheridge, J. Kelleher, and A. Véber, “Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks,” Theoretical Population Biology, vol. 87, no. 1. Elsevier, pp. 105–119, 2013.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2838 | OA
G. Arquè Fuste, A. Casanovas, and M. Dierssen, “Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome,” PLoS One, vol. 8, no. 1. Public Library of Science, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2839 | OA
M. Weber et al., “Interstitial dendritic cell guidance by haptotactic chemokine gradients,” Science, vol. 339, no. 6117. American Association for the Advancement of Science, pp. 328–332, 2013.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2837 | OA
L. Erdös, A. Knowles, H. Yau, and J. Yin, “The local semicircle law for a general class of random matrices,” Electronic Journal of Probability, vol. 18, no. 59. Institute of Mathematical Statistics, pp. 1–58, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2835 | OA
H. Yu et al., “Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis,” Plant Physiology, vol. 162, no. 2. American Society of Plant Biologists, pp. 965–976, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2836 | OA
K. Chatterjee and V. Raman, “Assume-guarantee synthesis for digital contract signing,” Formal Aspects of Computing, vol. 26, no. 4. Springer, pp. 825–859, 2013.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2840
T. Van Cauter, J. Camon, A. Alvernhe, C. Elduayen, F. Sargolini, and É. Save, “Distinct roles of medial and lateral entorhinal cortex in spatial cognition,” Cerebral Cortex, vol. 23, no. 2. Oxford University Press, pp. 451–459, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2841
H. Morita and C.-P. J. Heisenberg, “Holding on and letting go: Cadherin turnover in cell intercalation,” Developmental Cell, vol. 24, no. 6. Cell Press, pp. 567–569, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2846 | OA
L. El Masri et al., “Sex differences in host defence interfere with parasite-mediated selection for outcrossing during host-parasite coevolution,” Ecology Letters, vol. 16, no. 4. Wiley-Blackwell, pp. 461–468, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2844
M. Rosquete et al., “An auxin transport mechanism restricts positive orthogravitropism in lateral roots,” Current Biology, vol. 23, no. 9. Cell Press, pp. 817–822, 2013.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2843
H. Edelsbrunner and F. Pausinger, “Stable length estimates of tube-like shapes,” in 17th IAPR International Conference on Discrete Geometry for Computer Imagery, Seville, Spain, 2013, vol. 7749, pp. XV–XIX.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2845
T. Rose, P. Schönenberger, K. Jezek, and T. Oertner, “Developmental refinement of vesicle cycling at Schaffer collateral synapses,” Neuron, vol. 77, no. 6. Elsevier, pp. 1109–1121, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2854 | OA
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Strategy improvement for concurrent reachability and turn based stochastic safety games,” Journal of Computer and System Sciences, vol. 79, no. 5. Elsevier, pp. 640–657, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2850 | OA
G. Tkačik, O. Marre, T. Mora, D. Amodei, M. Berry, and W. Bialek, “The simplest maximum entropy model for collective behavior in a neural network,” Journal of Statistical Mechanics Theory and Experiment, vol. 2013, no. 3. IOP Publishing Ltd., 2013.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2851
M. Berry, G. Tkačik, J. Dubuis, O. Marre, and R. Da Silveira, “A simple method for estimating the entropy of neural activity,” Journal of Statistical Mechanics Theory and Experiment, vol. 2013, no. 3. IOP Publishing Ltd., 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2857 | OA
S. Szobota, C. Mckenzie, and H. L. Janovjak, “Optical control of ligand-gated ion channels,” Methods in Molecular Biology, vol. 998. Springer, pp. 417–435, 2013.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2860 | OA
D. Dupret, J. O’Neill, and J. L. Csicsvari, “Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning,” Neuron, vol. 78, no. 1. Elsevier, pp. 166–180, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2855 | OA
S. Hippenmeyer, R. Johnson, and L. Luo, “Mosaic analysis with double markers reveals cell type specific paternal growth dominance,” Cell Reports, vol. 3, no. 3. Cell Press, pp. 960–967, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2856 | OA
J. Levitz et al., “Optical control of metabotropic glutamate receptors,” Nature Neuroscience, vol. 16. Nature Publishing Group, pp. 507–516, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2859 | OA
P. Bendich, H. Edelsbrunner, D. Morozov, and A. Patel, “Homology and robustness of level and interlevel sets,” Homology, Homotopy and Applications, vol. 15, no. 1. International Press, pp. 51–72, 2013.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2863 | OA
E. Granot Atedgi, G. Tkačik, R. Segev, and E. Schneidman, “Stimulus-dependent maximum entropy models of neural population codes,” PLoS Computational Biology, vol. 9, no. 3. Public Library of Science, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2862 | OA
H. Tay et al., “Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle,” Development, vol. 140, no. 7. Company of Biologists, pp. 1550–1559, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2861
V. Botella Soler, J. Oteo, J. Ros, and P. Glendinning, “Lyapunov exponent and topological entropy plateaus in piecewise linear maps,” Journal of Physics A: Mathematical and Theoretical, vol. 46, no. 12. IOP Publishing Ltd., 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2877
F. Vandenbussche, P. Callebert, P. Žádníková, E. Benková, and D. Van Der Straeten, “Brassinosteroid control of shoot gravitropism interacts with ethylene and depends on auxin signaling components,” American Journal of Botany, vol. 100, no. 1. Botanical Society of America, pp. 215–225, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2883 | OA
B. Wang et al., “Arabidopsis TWISTED DWARF1 functionally interacts with auxin exporter ABCB1 on the root plasma membrane,” Plant Cell, vol. 25, no. 1. American Society of Plant Biologists, pp. 202–214, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2880 | OA
P. Marhavý et al., “Auxin reflux between the endodermis and pericycle promotes lateral root initiation,” EMBO Journal, vol. 32, no. 1. Wiley-Blackwell, pp. 149–158, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2882 | OA
C. Löfke, M. Zwiewka, I. Heilmann, M. Van Montagu, T. Teichmann, and J. Friml, “Asymmetric gibberellin signaling regulates vacuolar trafficking of PIN auxin transporters during root gravitropism,” PNAS, vol. 110, no. 9. National Academy of Sciences, pp. 3627–3632, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Conference (Editor) | IST-REx-ID: 2885
A. Kucera, T. A. Henzinger, J. Nesetril, T. Vojnar, and D. Antos, Eds., Mathematical and Engineering Methods in Computer Science, vol. 7721. Springer, 2013, pp. 1–228.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2881 | OA
H. Li et al., “Cytokinin signaling regulates pavement cell morphogenesis in Arabidopsis,” Cell Research, vol. 23, no. 2. Nature Publishing Group, pp. 290–299, 2013.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2884
J.-L. Maître et al., “Cell adhesion mechanics of zebrafish gastrulation,” Medecine Sciences, vol. 29, no. 2. Éditions Médicales et Scientifiques, pp. 147–150, 2013.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2886 | OA
M. Chmelik and V. Řehák, “Controllable-choice message sequence graphs,” vol. 7721. Springer, pp. 118–130, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2887 | OA
S. Fang et al., “Genotypic recognition and spatial responses by rice roots,” PNAS, vol. 110, no. 7. National Academy of Sciences, pp. 2670–2675, 2013.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2901 | OA
C. Chen, V. Kolmogorov, Z. Yan, D. Metaxas, and C. Lampert, “Computing the M most probable modes of a graphical model,” presented at the AISTATS: Conference on Uncertainty in Artificial Intelligence, Scottsdale, AZ, United States, 2013, vol. 31, pp. 161–169.
View | Download None (ext.)
 

2013 | Journal Article | IST-REx-ID: 2900
R. Azevedo, R. Lohaus, and T. Paixao, “Networking networks,” Evolution & Development, vol. 10, no. 5. Wiley-Blackwell, pp. 514–515, 2013.
View | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2906 | OA
M. Kerber and H. Edelsbrunner, “3D kinetic alpha complexes and their implementation,” in 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments, New Orleans, LA, United States, 2013, pp. 70–77.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2910 | OA
J. Kelleher, N. H. Barton, and A. Etheridge, “Coalescent simulation in continuous space,” Bioinformatics, vol. 29, no. 7. Oxford University Press, pp. 955–956, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2909 | OA
N. H. Barton, A. Etheridge, and A. Véber, “Modelling evolution in a spatial continuum,” Journal of Statistical Mechanics Theory and Experiment, vol. 2013, no. 1. IOP Publishing Ltd., 2013.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2908 | OA
N. H. Barton, “Does hybridisation influence speciation?  ,” Journal of Evolutionary Biology, vol. 26, no. 2. Wiley-Blackwell, pp. 267–269, 2013.
[Submitted Version] View | Files available | DOI
 

2013 | Book Chapter | IST-REx-ID: 2907 | OA
N. H. Barton, “Recombination and sex,” in The Princeton Guide to Evolution, Princeton University Press, 2013, pp. 328–333.
[Submitted Version] View | Files available
 

2013 | Journal Article | IST-REx-ID: 2913 | OA
G. Tkačik, E. Granot Atedgi, R. Segev, and E. Schneidman, “Retinal metric: a stimulus distance measure derived from population neural responses,” Physical Review Letters, vol. 110, no. 5. American Physical Society, 2013.
[Preprint] View | DOI | Download Preprint (ext.)
 

2013 | Journal Article | IST-REx-ID: 2918
I. Castanon, L. Abrami, L. Holtzer, C.-P. J. Heisenberg, F. Van Der Goot, and M. González Gaitán, “Anthrax toxin receptor 2a controls mitotic spindle positioning,” Nature Cell Biology, vol. 15, no. 1. Nature Publishing Group, pp. 28–39, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2919 | OA
P. Baster 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, pp. 260–274, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2920 | OA
J. Compagnon and C.-P. J. Heisenberg, “Neurulation coordinating cell polarisation and lumen formation,” EMBO Journal, vol. 32, no. 1. Wiley-Blackwell, pp. 1–3, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2940 | OA
S. Krenn, K. Z. Pietrzak, and A. Wadia, “A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it,” presented at the TCC: Theory of Cryptography Conference, Tokyo, Japan, 2013, vol. 7785, pp. 23–39.
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2948 | OA
T. Tommasi, N. Quadrianto, B. Caputo, and C. Lampert, “Beyond dataset bias: Multi-task unaligned shared knowledge transfer,” vol. 7724. Springer, pp. 1–15, 2013.
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2973 | OA
E. Bangerter, S. Barzan, S. Krenn, A. Sadeghi, T. Schneider, and J. Tsay, “Bringing Zero-Knowledge Proofs of Knowledge to Practice,” presented at the SPW: Security Protocols Workshop, 2013, vol. 7028, pp. 51–62.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 3116
K. Chatterjee, L. De Alfaro, M. Faella, R. Majumdar, and V. Raman, “Code aware resource management,” Formal Methods in System Design, vol. 42, no. 2. Springer, pp. 142–174, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2815 | OA
H. Edelsbrunner, B. T. Fasy, and G. Rote, “Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions,” Discrete & Computational Geometry, vol. 49, no. 4. Springer, pp. 797–822, 2013.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2939
C. Chen and M. Kerber, “An output sensitive algorithm for persistent homology,” Computational Geometry: Theory and Applications, vol. 46, no. 4. Elsevier, pp. 435–447, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 344 | OA
M. Ibáñez et al., “Colloidal synthesis and thermoelectric properties of Cu 2SnSe3 nanocrystals,” Journal of Materials Chemistry A, vol. 1, no. 4. Royal Society of Chemistry, pp. 1421–1426, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 352
D. Cadavid, M. Ibáñez, A. Shavel, O. Durá, M. López De La Torre, and A. Cabot, “Organic ligand displacement by metal salts to enhance nanoparticle functionality: Thermoelectric properties of Ag inf 2 inf Te,” Journal of Materials Chemistry A, vol. 1, no. 15. Royal Society of Chemistry, pp. 4864–4870, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 378
M. Ibáñez and A. Cabot, “All change for nanocrystals,” Science, vol. 340, no. 6135. American Association for the Advancement of Science, pp. 935–936, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 3261 | OA
J. Dubuis, G. Tkačik, E. Wieschaus, T. Gregor, and W. Bialek, “Positional information, in bits,” PNAS, vol. 110, no. 41. National Academy of Sciences, pp. 16301–16308, 2013.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 331
W. Li 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, pp. 7098–7101, 2013.
View | DOI
 

2013 | Encyclopedia Article | IST-REx-ID: 3321
N. Quadrianto and C. Lampert, “Kernel based learning,” in Encyclopedia of Systems Biology, vol. 3, W. Dubitzky, O. Wolkenhauer, K. Cho, and H. Yokota, Eds. Springer, 2013, pp. 1069–1069.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2831 | OA
K. Chatterjee, M. H. Henzinger, M. Joglekar, and N. Shah, “Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives,” Formal Methods in System Design, vol. 42, no. 3. Springer, pp. 301–327, 2013.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 342
W. Li 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, pp. 4664–4667, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 343
M. Ibáñez et al., “Core shell nanoparticles as building blocks for the bottom-up production of functional nanocomposites: PbTe PbS thermoelectric properties,” ACS Nano, vol. 7, no. 3. American Chemical Society, pp. 2573–2586, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 351
A. Carrete et al., “Antimony-based ligand exchange to promote crystallization in spray-deposited Cu2ZnSnSe4 solar cells,” Journal of the American Chemical Society, vol. 135, no. 43. American Chemical Society, pp. 15982–15985, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 353
W. Li 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. American Chemical Society, pp. 7098–7101, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 376
W. Li et al., “Cu2HgSnSe4 nanoparticles: synthesis and thermoelectric properties,” CrystEngComm, vol. 44. Royal Society of Chemistry, pp. 8966–8971, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 450 | OA
M. Pickup, D. Field, D. Rowell, and A. Young, “Source population characteristics affect heterosis following genetic rescue of fragmented plant populations,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 280, no. 1750. Royal Society, The, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 476 | OA
D. Dickerson and D. Bilkey, “Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions,” Frontiers in Behavioral Neuroscience, vol. 7, no. DEC. Frontiers Research Foundation, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 499
Y. Wakamoto et al., “Dynamic persistence of antibiotic-stressed mycobacteria,” Science, vol. 339, no. 6115. American Association for the Advancement of Science, pp. 91–95, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 500 | OA
M. Ward, S. Lycett, D. Avila, J. P. Bollback, and A. Leigh Brown, “Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza,” BMC Evolutionary Biology, vol. 13, no. 1. BioMed Central, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 501 | OA
M. Cozzuol et al., “A new species of tapir from the Amazon,” Journal of Mammalogy, vol. 94, no. 6. Oxford University Press, pp. 1331–1345, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 505
K. Greimel et al., “Banning toxic heavy-metal catalysts from paints: Enzymatic cross-linking of alkyd resins,” Green Chemistry, vol. 15, no. 2. Royal Society of Chemistry, pp. 381–388, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 502
O. Blazy, G. Fuchsbauer, D. Pointcheval, and D. Vergnaud, “Short blind signatures,” Journal of Computer Security, vol. 21, no. 5. IOS Press, pp. 627–661, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 508 | OA
E. Tarazona Santos et al., “Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NCF2, and NCF4: Functional implications,” Molecular Biology and Evolution, vol. 30, no. 9. Oxford University Press, pp. 2157–2167, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 509 | OA
S. Di Rubbo et al., “The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIVE1 in arabidopsis,” Plant Cell, vol. 25, no. 8. American Society of Plant Biologists, pp. 2986–2997, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 507 | OA
S. Kim et al., “Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis,” Plant Cell, vol. 25, no. 8. American Society of Plant Biologists, pp. 2970–2985, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 511 | OA
A. Pěnčík et al., “Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid,” Plant Cell, vol. 25, no. 10. American Society of Plant Biologists, pp. 3858–3870, 2013.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 516 | OA
B. Bargmann et al., “A map of cell type‐specific auxin responses,” Molecular Systems Biology, vol. 9, no. 1. Nature Publishing Group, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 522
E. Fuertbauer et al., “Thymic medullar conduits-associated podoplanin promotes natural regulatory T cells,” Immunology Letters, vol. 154, no. 1–2. Elsevier, pp. 31–41, 2013.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2279 | OA
K. Chatterjee, L. Doyen, M. Randour, and J. Raskin, “Looking at mean-payoff and total-payoff through windows,” vol. 8172. Springer, pp. 118–132, 2013.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2013 | Journal Article | IST-REx-ID: 528
H. Robert et al., “Local auxin sources orient the apical basal axis in arabidopsis embryos,” Current Biology, vol. 23, no. 24. Cell Press, pp. 2506–2512, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 527
K. T. Wabnik, H. Robert, R. Smith, and J. Friml, “Modeling framework for the establishment of the apical-basal embryonic axis in plants,” Current Biology, vol. 23, no. 24. Cell Press, pp. 2513–2518, 2013.
View | DOI
 

2013 | Technical Report | IST-REx-ID: 5399 | OA
J. Reiter, I. Bozic, K. Chatterjee, and M. Nowak, TTP: Tool for Tumor Progression. IST Austria, 2013.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2295 | OA
K. Chatterjee, M. Chmelik, and M. Tracol, “What is decidable about partially observable Markov decision processes with omega-regular objectives,” vol. 23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 165–180, 2013.
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5403 | OA
K. Chatterjee and R. Ibsen-Jensen, Qualitative analysis of concurrent mean-payoff games. IST Austria, 2013.
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5402 | OA
T. A. Henzinger and A. Sezgin, How free is your linearizable concurrent data structure? IST Austria, 2013.
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5400 | OA
K. Chatterjee, M. Chmelik, and M. Tracol, What is decidable about partially observable Markov decision processes with ω-regular objectives. IST Austria, 2013.
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5404 | OA
K. Chatterjee and R. Ibsen-Jensen, The complexity of ergodic games. IST Austria, 2013.
[Published Version] View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5401 | OA
J. Porsche, Initiatives and projects related to RD. IST Austria, 2013.
[Published Version] View | Files available
 

2013 | Technical Report | IST-REx-ID: 5405 | OA
K. Chatterjee, L. Doyen, H. Gimbert, and Y. Oualhadj, Perfect-information stochastic mean-payoff parity games. IST Austria, 2013.
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5409 | OA
K. Chatterjee, R. Ibsen-Jensen, and R. Majumdar, Edit distance for timed automata. IST Austria, 2013.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 1376
K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, “Distributed synthesis for LTL fragments,” in 13th International Conference on Formal Methods in Computer-Aided Design, Portland, OR, United States, 2013, pp. 18–25.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5406 | OA
K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, Distributed synthesis for LTL Fragments. IST Austria, 2013.
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5408 | OA
K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, The complexity of partial-observation stochastic parity games with finite-memory strategies. IST Austria, 2013.
[Published Version] View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5407 | OA
J. Porsche, Technical requirements and features. IST Austria, 2013.
[Published Version] View | Files available
 

2013 | Technical Report | IST-REx-ID: 5410 | OA
U. Ahmed, K. Chatterjee, and S. Gulwani, Automatic generation of alternative starting positions for traditional board games. IST Austria, 2013.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2327 | OA
T. A. Henzinger and J. Otop, “From model checking to model measuring,” vol. 8052. Springer, pp. 273–287, 2013.
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 590
D. Schmid, T. Huang, R. Dirks, O. Hosten, and P. Kwiat, “Polarization dependent focusing,” presented at the QIM: Quantum Information and Measurement, 2013.
View | DOI
 

Search

Filter Publications