Please note that IST 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.

197 Publications


2006 | Journal Article | IST-REx-ID: 213
Browning, Timothy D., et al. “The Density of Rational Points on Non-Singular Hypersurfaces, II.” Proceedings of the London Mathematical Society, vol. 93, no. 2, John Wiley and Sons Ltd, 2006, pp. 273–303, doi:https://doi.org/10.1112/S0024611506015784.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2134
Ehresmann, Arno, et al. “Predissociation of the N+2(C 2Σ+u) State Observed via C 2Σ+u → X 2Σ+g Fluorescence after Resonant 1s−1π* Excitation of N2 Molecule.” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 39, no. 6, IOP Publishing Ltd., 2006, pp. L119–26, doi:10.1088/0953-4075/39/6/L03.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2142
Ehresmann, Arno, et al. “Studying the N+2(C2Σ+u → X2Σ+g) Fluorescence Excited via the 1s−1π* Resonance.” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 39, no. 2, IOP Publishing Ltd., 2006, pp. 283–304, doi:10.1088/0953-4075/39/2/006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2144
Vedrinskiǐ, Rostislav, et al. “Temperature Dependent XAFS Studies of Local Atomic Structure of the Perovskite-Type Zirconates.” Physical Review B - Condensed Matter and Materials Physics, vol. 73, no. 13, American Physical Society, 2006, doi:10.1103/PhysRevB.73.134109.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 215
Browning, Timothy D., and Roger Heath Brown. “The Density of Rational Points on Non-Singular Hypersurfaces, I.” Bulletin of the London Mathematical Society, vol. 38, no. 3, Wiley-Blackwell, 2006, pp. 401–10, doi:10.1112/S0024609305018412.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 216
Browning, Timothy D., et al. “Counting Rational Points on Algebraic Varieties.” Duke Mathematical Journal, vol. 132, no. 3, Unknown, 2006, pp. 545–78, doi:10.1215/S0012-7094-06-13236-2.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 218
De La Bretèche, Régis, and Timothy D. Browning. “Sums of Arithmetic Functions over Values of Binary Forms.” Acta Arithmetica, vol. 125, no. 3, Instytut Matematyczny, 2006, pp. 291–304, doi:10.4064/aa125-3-6.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 7326
Büchi, Felix N., et al. “What Is Learned beyond the Scale of Single Cells?” ECS Transactions, vol. 3, no. 1, ECS, 2006, pp. 963–68, doi:10.1149/1.2356215.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7327
Santis, Marco, et al. “Experimental Investigation of Coupling Phenomena in Polymer Electrolyte Fuel Cell Stacks.” Journal of Power Sources, vol. 161, no. 2, Elsevier, 2006, pp. 1076–83, doi:10.1016/j.jpowsour.2006.06.007.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7328
Freunberger, Stefan Alexander, et al. “Measuring the Current Distribution in PEFCs with Sub-Millimeter Resolution.” Journal of The Electrochemical Society, vol. 153, no. 11, A2158, The Electrochemical Society, 2006, doi:10.1149/1.2345591.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7329
Freunberger, Stefan Alexander, et al. “Expanding Current Distribution Measurement in PEFCs to Sub-Millimeter Resolution.” Electrochemistry Communications, vol. 8, no. 9, Elsevier, 2006, pp. 1435–38, doi:10.1016/j.elecom.2006.05.032.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7330
Santis, M., et al. “Homogenization of the Current Density in Polymer Electrolyte Fuel Cells by In-Plane Cathode Catalyst Gradients.” Electrochimica Acta, vol. 51, no. 25, Elsevier, 2006, pp. 5383–93, doi:10.1016/j.electacta.2006.02.008.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7331
Freunberger, Stefan Alexander, et al. “In-Plane Effects in Large-Scale PEFCs: II. The Influence of Cooling Strategy on Cell Performance.” Journal of The Electrochemical Society, vol. 153, no. 5, A909, The Electrochemical Society, 2006, doi:10.1149/1.2185282.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7332
Freunberger, Stefan Alexander, et al. “In-Plane Effects in Large-Scale PEMFCs.” Journal of The Electrochemical Society, vol. 153, no. 2, A396, The Electrochemical Society, 2006, doi:10.1149/1.2150150.
View | DOI
 

2006 | Preprint | IST-REx-ID: 573 | OA
Hosten, Onur, et al. Counterfactual Computation Revisited. ArXiv, 2006.
View | Download Preprint (ext.) | arXiv
 

2006 | Preprint | IST-REx-ID: 574 | OA
Hosten, Onur, and Paul Kwiat. Weak Measurements and Counterfactual Computation. ArXiv, 2006.
View | Download Preprint (ext.) | arXiv
 

2006 | Conference Paper | IST-REx-ID: 577
Rangarajan, Radhika, et al. High-Efficiency Single-Photon Detectors. Vol. 6372, SPIE, 2006, doi:10.1117/12.686117.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 578
Peters, Nicholas, et al. Towards a Quasi-Deterministic Single-Photon Source. Vol. 6305, SPIE, 2006, doi:10.1117/12.684702.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 579
Hosten, Onur, et al. “Counterfactual Quantum Computation through Quantum Interrogation.” Nature, vol. 439, no. 7079, Nature Publishing Group, 2006, pp. 949–52, doi:10.1038/nature04523.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 583
Rangarajan, Radhika, et al. Improved Single-Photon Detection. IEEE, 2006, doi:10.1109/CLEO.2006.4628641.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 6151 | OA
Salecker, Iris, et al. “On the Axonal Road to Circuit Function and Behaviour: Workshop on the Assembly and Function of Neuronal Circuits.” EMBO Reports, vol. 7, no. 6, Wiley, 2006, pp. 585–89, doi:10.1038/sj.embor.7400713.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 6152
Rogers, Candida, et al. “Behavioral Motifs and Neural Pathways Coordinating O2 Responses and Aggregation in C. Elegans.” Current Biology, vol. 16, no. 7, Elsevier, 2006, pp. 649–59, doi:10.1016/j.cub.2006.03.023.
View | DOI | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 1461 | OA
Hausel, Tamás, and Edward Swartz. “Intersection Forms of Toric Hyperkähler Varieties.” Proceedings of the American Mathematical Society, vol. 134, no. 8, American Mathematical Society, 2006, pp. 2403–09, doi:10.1090/S0002-9939-06-08248-7.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 1462 | OA
Hausel, Tamás. “Betti Numbers of Holomorphic Symplectic Quotients via Arithmetic Fourier Transform.” PNAS, vol. 103, no. 16, National Academy of Sciences, 2006, pp. 6120–24, doi:10.1073/pnas.0601337103.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 1033 | OA
Kraemer, Tobias, et al. “Evidence for Efimov Quantum States in an Ultracold Gas of Caesium Atoms.” Nature, vol. 440, no. 7082, Nature Publishing Group, 2006, pp. 315–18, doi:10.1038/nature04626.
View | DOI | Download None (ext.)
 

2006 | Conference Paper | IST-REx-ID: 1034 | OA
Nägerl, Hanns, et al. Experimental Evidence for Efimov Quantum States. Vol. 869, AIP, 2006, pp. 269–77, doi:10.1063/1.2400657.
View | DOI | Download None (ext.)
 

2006 | Journal Article | IST-REx-ID: 903
Babenko, Vladimir, et al. “Signs of Positive Selection of Somatic Mutations in Human Cancers Detected by EST Sequence Analysis.” BMC Cancer, vol. 6, BioMed Central, 2006, doi:10.1186/1471-2407-6-36.
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3722
Janovjak, Harald L., and Daniel Mueller. “Rastersondenmikroskopie.” Bioanalytik, Spektrum Akademischer Verlag, 2006.
View
 

2006 | Journal Article | IST-REx-ID: 3728
Cieplak, Marek, et al. “Pulling Single Bacteriorhodopsin out of a Membrane: Comparison of Simulation and Experiment.” Biochimica et Biophysica Acta (BBA) - Biomembranes, vol. 1758, no. 4, Elsevier, 2006, pp. 537–44, doi:10.1016/j.bbamem.2006.03.028.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3729
Bippes, Christian, et al. “Direct Measurement of Single-Molecule Visco-Elasticity in Atomic Force Microscope Force-Extension Experiments.” European Biophysics Journal, vol. 35, no. 3, Springer, 2006, pp. 287–92, doi:10.1007/s00249-005-0023-9.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3750
Le, Thuc, et al. “Protein Expression Enhancement in Efflux-Deleted Mutant Bacteria.” Protein Expression and Purification, vol. 48, no. 1, Elsevier, 2006, pp. 28–31.
View
 

2006 | Journal Article | IST-REx-ID: 3755 | OA
Le, Thuc, et al. “Dynamical Determinants of Drug-Inducible Gene Expression in a Single Bacterium.” Biophysical Journal, vol. 90, no. 9, Biophysical Society, 2006, pp. 3315–21, doi:10.1529/biophysj.105.073353.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3758
Wojtan, Christopher J., et al. Keyframe Control of Complex Particle Systems Using the Adjoint Method. ACM, 2006, pp. 15–23.
View | Download None (ext.)
 

2006 | Journal Article | IST-REx-ID: 3767
Kupczok, Anne, and Peter Dittrich. “Determinants of Simulated RNA Evolution.” Journal of Theoretical Biology, vol. 238, no. 3, Elsevier, 2006, pp. 726–35, doi:10.1016/j.jtbi.2005.06.019.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3811
Vida, Imre, et al. “Shunting Inhibition Improves Robustness of Gamma Oscillations in Hippocampal Interneuron Networks by Homogenizing Firing Rates.” Neuron, vol. 49, no. 1, Elsevier, 2006, pp. 107–17, doi:10.1016/j.neuron.2005.11.036.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3813 | OA
Aponte, Yexica, et al. “Hyperpolarization-Activated Cation Channels in Fast-Spiking Interneurons of Rat Hippocampus.” Journal of Physiology, vol. 574, no. Pt 1, Wiley-Blackwell, 2006, pp. 229–43, doi:10.1113/jphysiol.2005.104042.
View | DOI | Download (ext.)
 

2006 | Book Review | IST-REx-ID: 3814
Frotscher, Michael, et al. “Synapses Formed by Normal and Abnormal Hippocampal Mossy Fibers (Review).” Cell and Tissue Research, vol. 326, no. 2, Springer, 2006, pp. 361–67, doi:10.1007/s00441-006-0269-2.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3815
Bischofberger, Josef, et al. “Timing and Efficacy of Transmitter Release at Mossy Fiber Synapses in the Hippocampal Network.” Pflugers Archiv : European Journal of Physiology, vol. 453, no. 3, Springer, 2006, pp. 361–72, doi:10.1007/s00424-006-0093-2.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3817
Frotscher, Michael, et al. “The Most Important Recent Advances in Synapse Research from My Point of View--and What Remains to Be Done.” Cell and Tissue Research, vol. 326, no. 2, Springer, 2006, pp. 203–04, doi:10.1007/s00441-006-0325-y.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3818
Bischofberger, Josef, et al. “Patch-Clamp Recording from Mossy Fiber Terminals in Hippocampal Slices.” Nature Protocols, vol. 1, no. 4, Nature Publishing Group, 2006, pp. 2075–81, doi:10.1038/nprot.2006.312 .
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3888
Chatterjee, Krishnendu, and Thomas A. Henzinger. Strategy Improvement for Stochastic Rabin and Streett Games. Vol. 4137, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2006, pp. 375–89, doi:10.1007/11817949_25.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3889
Chatterjee, Krishnendu, et al. Algorithms for Omega-Regular Games with Imperfect Information. Vol. 4207, Springer, 2006, pp. 287–302, doi:10.1007/11874683_19.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3890
Chatterjee, Krishnendu, et al. The Complexity of Quantitative Concurrent Parity Games. SIAM, 2006, pp. 678–87, doi:10.1145/1109557.1109631.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3891
Chatterjee, Krishnendu. Concurrent Games with Tail Objectives. Vol. 4207, Springer, 2006, pp. 256–70, doi:10.1007/11874683_17.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3908
Ustinova, Jana, et al. “Long Repeats in a Huge Gemome: Microsatellite Loci in the Grasshopper Chorthippus Biguttulus.” Journal of Molecular Evolution, vol. 62, no. 2, Springer, 2006, pp. 158–67, doi:10.1007/s00239-005-0022-6.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3912
Cremer, Sylvia, et al. “Attack of the Invasive Garden Ant: Aggression Behaviour of Lasius Neglectus (Hymenoptera: Formicidae) against Native Lasius Species in Spain.” Myrmecological News, vol. 9, Österreichische Gesellschaft für Entomofaunistik, 2006, pp. 13–19.
View
 

2006 | Journal Article | IST-REx-ID: 3913
Heinze, Jürgen, et al. “Stealthy Invaders: The Biology of Cardiocondyla Tramp Ants.” Insectes Sociaux, vol. 53, no. 1, Springer, 2006, pp. 1–7, doi:10.1007/s00040-005-0847-4.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3914
Moder, Karl, et al. “Optimal Species Distinction by Discriminant Analysis: Comparing Established Methods of Character Selection with a Combination Procedure Using Ant Morphometrics as a Case Study.” Journal of Zoological Systematics and Evolutionary Research, vol. 45, no. 1, Wiley-Blackwell, 2006, pp. 82–87, doi:10.1111/j.1439-0469.2006.00372.x.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3932
Henic, Emir, et al. “EGF-Stimulated Migration in Ovarian Cancer Cells Is Associated with Decreased Internalization, Increased Surface Expression, and Increased Shedding of the Urokinase Plasminogen Activator Receptor.” Gynecologic Oncology, vol. 101, no. 1, Elsevier, 2006, pp. 28–39, doi:10.1016/j.ygyno.2005.09.038.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3934
Drumea Mirancea, Mihaela, et al. “Characterization of a Conduit System Containing Laminin-5 in the Human Thymus: A Potential Transport System for Small Molecules.” Journal of Cell Science, vol. 119, no. Pt 7, Company of Biologists, 2006, pp. 1396–405, doi:10.1242/​jcs.02840.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3935
Chu, Haiyan, et al. “γ-Parvin Is Dispensable for Hematopoiesis, Leukocyte Trafficking, and T-Cell-Dependent Antibody Response.” Molecular and Cellular Biology, vol. 26, no. 5, American Society for Microbiology, 2006, pp. 1817–25, doi:10.1128/MCB.26.5.1817-1825.2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3936
Sixt, Michael K., et al. “Β1 Integrins: Zip Codes and Signaling Relay for Blood Cells.” Current Opinion in Cell Biology, vol. 18, no. 5, Elsevier, 2006, pp. 482–90, doi:10.1016/j.ceb.2006.08.007.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3978
Ban, Yih, et al. “Evaluating the Quality of NMR Structures by Local Density of Protons.” Proteins: Structure, Function and Bioinformatics, vol. 62, no. 4, Wiley-Blackwell, 2006, pp. 852–64, doi:10.1002/prot.20811.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3979
Ban, Yih, et al. “Interface Surfaces for Protein-Protein Complexes.” Journal of the ACM, vol. 53, no. 3, ACM, 2006, pp. 361–78, doi:10.1145/1147954.1147957.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3980
Agarwal, Pankaj, et al. “Extreme Elevation on a 2-Manifold.” Discrete & Computational Geometry, vol. 36, no. 4, Springer, 2006, pp. 553–72, doi:10.1007/s00454-006-1265-8.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4140
Witzel, Sabine, et al. “Wnt11 Controls Cell Contact Persistence by Local Accumulation of Frizzled 7 at the Plasma Membrane.” Journal of Cell Biology, vol. 175, no. 5, Rockefeller University Press, 2006, pp. 791–802, doi:10.1083/jcb.200606017.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4145
Tonelli, Davide, et al. “Single-Cell Detection of MicroRNAs in Developing Vertebrate Embryos after Acute Administration of a Dual-Fluorescence Reporter/Sensor Plasmid.” Biotechniques, vol. 41, no. 6, Informa Healthcare, 2006, pp. 727–32, doi:10.2144/000112296.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4173 | OA
Link, Vinzenz, et al. “Proteomics of Early Zebrafish Embryos.” BMC Developmental Biology, vol. 6, BioMed Central, 2006, pp. 1–9, doi:10.1186/1471-213X-6-1.
View | DOI | Download None (ext.)
 

2006 | Journal Article | IST-REx-ID: 4176
Link, Vinzenz, et al. “Identification of Regulators of Germ Layer Morphogenesis Using Proteomics in Zebrafish.” Journal of Cell Science, vol. 119, no. 10, Company of Biologists, 2006, pp. 2073–83, doi:10.1242/jcs.02928.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4178
Langenberg, Tobias, et al. “Analysis and Visualization of Cell Movement in the Developing Zebrafish Brain.” Developmental Dynamics, vol. 235, no. 4, Wiley-Blackwell, 2006, pp. 928–33, doi:10.1002/dvdy.20692.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4184
Köppen, Mathias, et al. “Coordinated Cell-Shape Changes Control Epithelial Movement in Zebrafish and Drosophila.” Development, vol. 133, no. 14, Company of Biologists, 2006, pp. 2671–81, doi:doi: 10.1242/dev.02439.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4218
Blaser, Heiko, et al. “Migration of Zebrafish Primordial Germ Cells: A Role for Myosin Contraction and Cytoplasmic Flow.” Developmental Cell, vol. 11, no. 5, Cell Press, 2006, pp. 613–27, doi:10.1016/j.devcel.2006.09.023.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4235
de Vladar, Harold, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.” Journal of Theoretical Biology, Elsevier, 2006, pp. 91–109.
View
 

2006 | Journal Article | IST-REx-ID: 4237
de Vladar, Harold. “Density-Dependence as a Size-Independent Regulatory Mechanism.” Journal of Theoretical Biology, vol. 238, no. 2, Elsevier, 2006, pp. 245–56, doi:3802.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4248
Roze, Denis, and Nicholas H. Barton. “The Hill-Robertson Effect and the Evolution of Recombination.” Genetics, vol. 173, no. 3, Genetics Society of America, 2006, pp. 1793–811, doi:10.1534/genetics.106.058586 .
View | DOI
 

2006 | Book Review | IST-REx-ID: 4250
Barton, Nicholas H. “Evolutionary Biology: How Did the Human Species Form?” Current Biology, vol. 16, no. 16, Cell Press, 2006, pp. 647–50, doi:10.1016/j.cub.2006.07.032.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4345
Danowski, Patrick, and Lambert Heller. “Bibliothek 2.0 - Die Bibliothek Der Zukunft?” Bibliotheksdienst, vol. 40, no. 11, Zentral- und Landesbibliothek Berlin, 2006, pp. 1250–71, doi:424.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 4351
Bollback, Jonathan P. “SIMMAP: Stochastic Character Mapping of Discrete Traits on Phylogenies.” BMC Bioinformatics, vol. 7, BioMed Central, 2006, doi:10.1186/1471-2105-7-88.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4352
Conn, Jan, et al. “Population Structure of the Malaria Vector Anopheles Darlingi in a Malaria-Endemic Region of Eastern Amazonian Brazil.” The American Journal of Tropical Medicine and Hygiene, vol. 74, no. 5, American Society of Tropical Medicine and Hygiene, 2006, pp. 798–806.
View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 4359
Wies, Thomas, et al. Field Constraint Analysis. Springer, 2006, pp. 157–73, doi:1551.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4373
Maler, Oded, et al. Real Time Temporal Logic: Past, Present, Future. Springer, 2006, pp. 2–16, doi:1571.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4374
Maler, Oded, et al. From MITL to Timed Automata. Springer, 2006, pp. 274–89, doi:1570.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4401
Alur, Rajeev, et al. Preserving Secrecy Under Refinement. Springer, 2006, pp. 107–18, doi:1543.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4406
De Wulf, Martin, et al. Antichains: A New Algorithm for Checking Universality of Finite Automata. Vol. 4144, Springer, 2006, pp. 17–30, doi:10.1007/11817963_5.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4431
Henzinger, Thomas A., and Joseph Sifakis. The Embedded Systems Design Challenge. Vol. 4085, Springer, 2006, pp. 1–15, doi:10.1007/11813040_1.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4432
Henzinger, Thomas A., and Vinayak Prabhu. Timed Alternating-Time Temporal Logic. Vol. 4202, Springer, 2006, pp. 1–17, doi:10.1007/11867340_1.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4436
Henzinger, Thomas A., and Slobodan Matic. An Interface Algebra for Real-Time Components. IEEE, 2006, pp. 253–66, doi:10.1109/RTAS.2006.11.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4437
Henzinger, Thomas A., and Nir Piterman. Solving Games without Determinization. Vol. 4207, Springer, 2006, pp. 395–410, doi:10.1007/11874683_26.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4451
Henzinger, Thomas A., et al. “On the Universal and Existential Fragments of the Mu-Calculus.” Theoretical Computer Science, vol. 354, no. 2, Elsevier, 2006, pp. 173–86, doi:10.1016/j.tcs.2005.11.015.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4523
Gulavani, Bhargav, et al. Synergy: A New Algorithm for Property Checking. ACM, 2006, pp. 117–27, doi:10.1145/1181775.1181790.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4526
Ghosal, Arkadeb, et al. A Hierarchical Coordination Language for Interacting Real-Time Tasks. ACM, 2006, pp. 132–41, doi:10.1145/1176887.1176907.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4528
Fisher, Jasmin, and Thomas A. Henzinger. Executable Biology. IEEE, 2006, pp. 1675–82, doi:10.1109/WSC.2006.322942.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4538
Chatterjee, Krishnendu, and Thomas A. Henzinger. Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games. Vol. 3884, Springer, 2006, pp. 512–23, doi:10.1007/11672142_42.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4539
Chatterjee, Krishnendu, and Thomas A. Henzinger. Finitary Winning in Omega-Regular Games. Vol. 3920, Springer, 2006, pp. 257–71, doi:10.1007/11691372_17.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4549
Chatterjee, Krishnendu, et al. Compositional Quantitative Reasoning. IEEE, 2006, pp. 179–88, doi:10.1109/QEST.2006.11.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4550
Chatterjee, Krishnendu, et al. “Games with Secure Equilibria.” Theoretical Computer Science, vol. 365, no. 1–2, Elsevier, 2006, pp. 67–82, doi:10.1016/j.tcs.2006.07.032.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee, Krishnendu, et al. Markov Decision Processes with Multiple Objectives. Vol. 3884, Springer, 2006, pp. 325–36, doi:10.1007/11672142_26.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee, Krishnendu, et al. Strategy Improvement for Concurrent Reachability Games. IEEE, 2006, pp. 291–300, doi:10.1109/QEST.2006.48.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4574
Beyer, Dirk, et al. Lazy Shape Analysis. Vol. 4144, Springer, 2006, pp. 532–46, doi:10.1007/11817963_48.
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3002
Sauer, Michael, and Jiří Friml. “In Vitro Culture of Arabidopsis Embryos.” Somatic Embryogenesis, edited by Abdul Mujib and Jozef Šamaj, vol. 2, Springer, 2006, pp. 343–54, doi:10.1007/7089_020.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3005
Friml, Jiří, et al. “Apical-Basal Polarity: Why Plant Cells Don’t Stand on Their Heads.” Trends in Plant Science, vol. 11, no. 1, Cell Press, 2006, pp. 12–14, doi:10.1016/j.tplants.2005.11.010.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3006
Dhonukshe, Pankaj, et al. “Endocytosis of Cell Surface Material Mediates Cell Plate Formation during Plant Cytokinesis.” Developmental Cell, vol. 10, no. 1, Cell Press, 2006, pp. 137–50, doi:10.1016/j.devcel.2005.11.015.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3007
Abas, Lindy, et al. “Intracellular Trafficking and Proteolysis of the Arabidopsis Auxin-Efflux Facilitator PIN2 Are Involved in Root Gravitropism.” Nature Cell Biology, vol. 8, no. 3, Nature Publishing Group, 2006, pp. 249–56, doi:10.1038/ncb1369.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3008
Xu, Jian, et al. “A Molecular Framework for Plant Regeneration.” Science, vol. 311, no. 5759, American Association for the Advancement of Science, 2006, pp. 385–88, doi:10.1126/science.1121790.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3009 | OA
Paciorek, Tomasz, and Jiří Friml. “Auxin Signaling.” Journal of Cell Science, vol. 119, no. 7, Company of Biologists, 2006, pp. 1199–202, doi:10.1242/jcs.02910.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 3010
Scarpella, Enrico, et al. “Control of Leaf Vascular Patterning by Polar Auxin Transport.” Genes and Development, vol. 20, no. 8, Cold Spring Harbor Laboratory Press, 2006, pp. 1015–27, doi:10.1101/gad.1402406.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3011
Wiśniewska, Justyna, et al. “Polar PIN Localization Directs Auxin Flow in Plants.” Science, vol. 312, no. 5775, American Association for the Advancement of Science, 2006, doi:10.1126/science.1121356.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3012
Petrášek J, Mravec J, Bouchard R, Blakeslee J, Abas MF, Seifertová D, Wiśniewska J, Tadele Z, Kubeš M, Čovanová M, Dhonukshe P, Skůpa P, Benková E, Perry L, Křeček P, Lee O, Fink G, Geisler M, Murphy A, Luschnig C, Zažímalová E, Friml J. 2006. PIN proteins perform a rate-limiting function in cellular auxin efflux. Science. 312(5775), 914–918.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3013
Paciorek, Tomasz, et al. “Immunocytochemical Technique for Protein Localization in Sections of Plant Tissues.” Nature Protocols, vol. 1, no. 1, Nature Publishing Group, 2006, pp. 104–07, doi:10.1038/nprot.2006.16.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3014
Brewer, Philip, et al. “In Situ Hybridization for MRNA Detection in Arabidopsis Tissue Sections.” Nature Protocols, vol. 1, no. 3, Nature Publishing Group, 2006, pp. 1462–67, doi:10.1038/nprot.2006.226.
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications