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.

7219 Publications


2008 | Journal Article | IST-REx-ID: 4198
Heisenberg, Carl-Philipp J., and Lilianna Solnica Krezel. “Back and Forth between Cell Fate Specification and Movement during Vertebrate Gastrulation.” Current Opinion in Genetics & Development, vol. 18, no. 4, Elsevier, 2008, pp. 311–16, doi:10.1016/j.gde.2008.07.011.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4227
Bollenbach, Tobias, et al. “Precision of the Dpp Gradient.” Development, vol. 135, no. 6, Company of Biologists, 2008, pp. 1137–46, doi:10.1242/dev.012062.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4244
Yang, Erfu, et al. A Novel Shifting Balance Theory-Based Approach to Optimization of an Energy-Constrained Modulation Scheme for Wireless Sensor Networks. IEEE, 2008, pp. 2749–56, doi:10.1109/CEC.2008.4631167.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4245
Pannebakker, Bart, et al. “Effects of Spontaneous Mutation Accumulation on Sex Ratio Traits.” Evolution; International Journal of Organic Evolution, vol. 62, no. 8, Wiley-Blackwell, 2008, pp. 1921–35, doi:10.1111/j.1558-5646.2008.00434.x.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4366
Podelski, Andreas, et al. Heap Assumptions on Demand. Vol. 5123, Springer, 2008, pp. 314–27, doi:10.1007/978-3-540-70545-1_31.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 4371
Maler, Oded, et al. “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.” Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505, doi:1566.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4384 | OA
Guerraoui, Rachid, et al. Model Checking Transactional Memories. ACM, 2008, pp. 372–82, doi:10.1145/1375581.1375626.
View | Files available | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4386
Guerraoui, Rachid, et al. Permissiveness in Transactional Memories. Vol. 5218, Springer, 2008, pp. 305–19, doi:10.1007/978-3-540-87779-0_21.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4387
Guerraoui, Rachid, et al. Completeness and Nondeterminism in Model Checking Transactional Memories. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35, doi:10.1007/978-3-540-85361-9_6.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4397
Beyer, Dirk, et al. CSIsat: Interpolation for LA+EUF. Springer, 2008, pp. 304–08.
View
 

2008 | Conference Paper | IST-REx-ID: 4400
Aviv, Adam, et al. Security Evaluation of ES&S Voting Machines and Election Management System. USENIX, 2008, doi:1545.
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4409 | OA
Prabhu, Vinayak. Games for the Verification of Timed Systems. University of California, Berkeley, 2008, pp. 1–137.
View | Download None (ext.)
 

2007 | Conference Paper | IST-REx-ID: 2794
Hof, Björn, et al. Lifetime of Turbulence in Pipe Flow. Vol. 117, Springer, 2007, pp. 556–58, doi:10.1007/978-3-540-72604-3_177.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2893
Carneiro, Jorge, et al. “When Three Is Not a Crowd a Crossregulation Model of the Dynamics and Repertoire Selection of Regulatory CD4 T Cells.” Immunological Reviews, vol. 216, no. 1, Wiley-Blackwell, 2007, pp. 48–68, doi:10.1111/j.1600-065X.2007.00487.x.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2896
Paixao, Tiago, et al. “Quantitative Insights into Stochastic Monoallelic Expression of Cytokine Genes.” Immunology and Cell Biology, vol. 85, no. 4, Nature Publishing Group, 2007, pp. 315–22, doi:10.1038/sj.icb.7100057.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 2933
Kumar, M. Pawan, et al. An Analysis of Convex Relaxations for MAP Estimation. Neural Information Processing Systems, 2007.
View
 

2007 | Journal Article | IST-REx-ID: 3019
Blakeslee, Joshua, et al. “Interactions among PIN FORMED and P Glycoprotein Auxin Transporters in Arabidopsis.” Plant Cell, vol. 19, no. 1, American Society of Plant Biologists, 2007, pp. 131–47, doi:10.1105/tpc.106.040782.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3021
Bandyopadhyay, Anindita, et al. Interactions of PIN and PGP Auxin Transport Mechanisms. Vol. 35, no. 1, Portland Press, 2007, pp. 137–41, doi:10.1042/BST0350137.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3022
Dhonukshe, Pankaj, et al. “Clathrin-Mediated Constitutive Endocytosis of PIN Auxin Efflux Carriers in Arabidopsis.” Current Biology, vol. 17, no. 6, Cell Press, 2007, pp. 520–27, doi:10.1016/j.cub.2007.01.052.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3023
Dhonukshe, Pankaj, et al. “A Unifying New Model of Cytokinesis for the Dividing Plant and Animal Cells.” Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology, vol. 29, no. 4, Wiley-Blackwell, 2007, pp. 371–81, doi:10.1002/bies.20559.
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 3024
Vieten, Anne, et al. “Molecular and Cellular Aspects of Auxin-Transport-Mediated Development.” Trends in Plant Science, vol. 12, no. 4, Cell Press, 2007, pp. 160–68, doi:10.1016/j.tplants.2007.03.006.
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 3026
Růžička, Kamil, et al. “Ethylene Regulates Root Growth through Effects on Auxin Biosynthesis and Transport Dependent Auxin Distribution.” Plant Cell, vol. 19, no. 7, American Society of Plant Biologists, 2007, pp. 2197–212, doi:10.1105/tpc.107.052126.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3027
Malenica, Nenad, et al. “MODULATOR of PIN Genes Control Steady State Levels of Arabidopsis PIN Proteins.” Plant Journal, vol. 51, no. 4, Wiley-Blackwell, 2007, pp. 537–50, doi:10.1111/j.1365-313X.2007.03158.x.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3028
Michniewicz, Marta, et al. “Antagonistic Regulation of PIN Phosphorylation by PP2A and PINOID Directs Auxin Flux.” Cell, vol. 130, no. 6, Cell Press, 2007, pp. 1044–56, doi:10.1016/j.cell.2007.07.033.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3029
Laplaze, Laurent, et al. “Cytokinins Act Directly on Lateral Root Founder Cells to Inhibit Root Initiation.” Plant Cell, vol. 19, no. 12, American Society of Plant Biologists, 2007, pp. 3889–900, doi:10.1105/tpc.107.055863.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3144
Hippenmeyer, Simon, et al. “ETS Transcription Factor Erm Controls Subsynaptic Gene Expression in Skeletal Muscles.” Neuron, vol. 55, no. 5, Elsevier, 2007, pp. 726–40, doi:10.1016/j.neuron.2007.07.028.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3187
Blake, Andrew, et al. “Fusion of Stereo Colour and Contrast.” Springer Tracts in Advanced Robotics, vol. 28, Springer, 2007, pp. 295–304, doi:10.1007/978-3-540-48113-3_27.
View | DOI | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3191
Kolmogorov, Vladimir, et al. Applications of Parametric Maxflow in Computer Vision. IEEE, 2007, doi:10.1109/ICCV.2007.4408910.
View | DOI | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3192
Rother, Carsten, et al. Optimizing Binary MRFs via Extended Roof Duality. IEEE, 2007, doi:10.1109/CVPR.2007.383203.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 3193
Kolmogorov, Vladimir, and Carsten Rother. “Minimizing Nonsubmodular Functions with Graph Cuts - A Review.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 29, no. 7, IEEE, 2007, pp. 1274–79, doi:10.1109/TPAMI.2007.1031.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3218
Pietrzak, Krzysztof Z. Non-Trivial Black-Box Combiners for Collision-Resistant Hash-Functions Don’t Exist. Vol. 4515, Springer, 2007, pp. 23–33, doi:10.1007/978-3-540-72540-4_2.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3219
Maurer, Ueli, et al. Indistinguishability Amplification. Vol. 4622, Springer, 2007, pp. 130–49, doi:10.1007/978-3-540-74143-5_8.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3220
Dziembowski, Stefan, and Krzysztof Z. Pietrzak. Intrusion Resilient Secret Sharing. IEEE, 2007, pp. 227–37, doi:10.1109/FOCS.2007.63.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3221
Pietrzak, Krzysztof Z., and Johan Sjödin. Range Extension for Weak PRFs the Good the Bad and the Ugly. Vol. 4515, Springer, 2007, pp. 517–33, doi:10.1007/978-3-540-72540-4_30.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3222
Pietrzak, Krzysztof Z., and Douglas Wikström. Parallel Repetition of Computationally Sound Protocols Revisited. Vol. 4392, Springer, 2007, pp. 86–102, doi:10.1007/978-3-540-70936-7_5.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3223
Dodis, Yevgeniy, and Krzysztof Z. Pietrzak. Improving the Security of MACs via Randomized Message Preprocessing. Vol. 4593, Springer, 2007, pp. 414–33, doi:10.1007/978-3-540-74619-5_26.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3305
Desai, Michael, et al. “Evolution Can Favor Antagonistic Epistasis.” Genetics, vol. 177, no. 2, Genetics Society of America, 2007, pp. 1001–10, doi:10.1534/genetics.107.075812.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3411 | OA
Preiner, Johannes, et al. “Free Energy of Membrane Protein Unfolding Derived from Single-Molecule Force Measurements.” Biophysical Journal, vol. 93, no. 3, Biophysical Society, 2007, pp. 930–37, doi:10.1529/biophysj.106.096982.
View | DOI | Download (ext.)
 

2007 | Book Review | IST-REx-ID: 3412
Kedrov, Alexej, et al. “Deciphering Molecular Interactions of Native Membrane Proteins by Single-Molecule Force Spectroscopy.” Annual Review of Biophysics, vol. 36, Annual Reviews, 2007, pp. 233–60, doi:10.1146/annurev.biophys.36.040306.132640.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7780
Goodrich, Carl Peter, et al. “Single-Molecule Electrophoresis of β-Hairpin Peptides by Electrical Recordings and Langevin Dynamics Simulations.” The Journal of Physical Chemistry B, vol. 111, no. 13, American Chemical Society, 2007, pp. 3332–35, doi:10.1021/jp071364h.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7781
Robinson, Matthew Richard, et al. “Live Fast, Die Young: Trade-Offs between Fitness Components and Sexually Antagonistic Selection on Weaponry in Soay Sheep.” Evolution, vol. 60, no. 10, Wiley, 2007, pp. 2168–81, doi:10.1111/j.0014-3820.2006.tb01854.x.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8027
Vogels, Tim P., and L. Abbott. “Gating Deficits in Model Networks: A Path to Schizophrenia?” Pharmacopsychiatry, vol. 40, no. S 1, Thieme, 2007, pp. S73–77, doi:10.1055/s-2007-992130.
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 8483
Schanda, Paul, et al. “Protein Folding and Unfolding Studied at Atomic Resolution by Fast Two-Dimensional NMR Spectroscopy.” Proceedings of the National Academy of Sciences, vol. 104, no. 27, National Academy of Sciences, 2007, pp. 11257–62, doi:10.1073/pnas.0702069104.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8484
Lescop, Ewen, et al. “A Set of BEST Triple-Resonance Experiments for Time-Optimized Protein Resonance Assignment.” Journal of Magnetic Resonance, vol. 187, no. 1, Elsevier, 2007, pp. 163–69, doi:10.1016/j.jmr.2007.04.002.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8485
Schanda, Paul, et al. “Sensitivity-Optimized Experiment for the Measurement of Residual Dipolar Couplings between Amide Protons.” Journal of Biomolecular NMR, vol. 38, Springer Nature, 2007, pp. 47–55, doi:10.1007/s10858-006-9138-2.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8486
Lescop, Ewen, et al. “Automated Spectral Compression for Fast Multidimensional NMR and Increased Time Resolution in Real-Time NMR Spectroscopy.” Journal of the American Chemical Society, vol. 129, no. 10, American Chemical Society, 2007, pp. 2756–57, doi:10.1021/ja068949u.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8487
Gal, Maayan, et al. “UltraSOFAST HMQC NMR and the Repetitive Acquisition of 2D Protein Spectra at Hz Rates.” Journal of the American Chemical Society, vol. 129, no. 5, American Chemical Society, 2007, pp. 1372–77, doi:10.1021/ja066915g.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8511
Gorodetski, A., and Vadim Kaloshin. “How Often Surface Diffeomorphisms Have Infinitely Many Sinks and Hyperbolicity of Periodic Points near a Homoclinic Tangency.” Advances in Mathematics, vol. 208, no. 2, Elsevier, 2007, pp. 710–97, doi:10.1016/j.aim.2006.03.012.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8512
Kaloshin, Vadim, and Brian Hunt. “Stretched Exponential Estimates on Growth of the Number of Periodic Points for Prevalent Diffeomorphisms I.” Annals of Mathematics, vol. 165, no. 1, Princeton University Press, 2007, pp. 89–170, doi:10.4007/annals.2007.165.89.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 860
Plotnikova, Olga, et al. “Conversion and Compensatory Evolution of the γ-Crystallin Genes and Identification of a Cataractogenic Mutation That Reverses the Sequence of the Human CRYGD Gene to an Ancestral State.” American Journal of Human Genetics, vol. 81, no. 1, Cell Press, 2007, pp. 32–43, doi:10.1086/518616.
View | DOI
 

Search

Filter Publications