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.

184 Publications


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

2006 | Conference Paper | IST-REx-ID: 3890
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “The Complexity of Quantitative Concurrent Parity Games,” 678–87. SIAM, 2006. https://doi.org/10.1145/1109557.1109631.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3934
Drumea Mirancea, Mihaela, Johannes Wessels, Claudia Müller, Mike Essl, Johannes Eble, Eva Tolosa, Manuel Koch, 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 119, no. Pt 7 (2006): 1396–1405. https://doi.org/10.1242/​jcs.02840.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4184
Köppen, Mathias, Beatriz Fernández, Lara Carvalho, António Jacinto, and Carl Heisenberg. “Coordinated Cell-Shape Changes Control Epithelial Movement in Zebrafish and Drosophila.” Development 133, no. 14 (2006): 2671–81. https://doi.org/doi: 10.1242/dev.02439.
View | DOI
 

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

2006 | Conference Paper | IST-REx-ID: 4374
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “From MITL to Timed Automata,” 274–89. Springer, 2006. https://doi.org/1570.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4406
De Wulf, Martin, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Antichains: A New Algorithm for Checking Universality of Finite Automata,” 4144:17–30. Springer, 2006. https://doi.org/10.1007/11817963_5.
View | DOI
 

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

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

2006 | Journal Article | IST-REx-ID: 4451
Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus.” Theoretical Computer Science 354, no. 2 (2006): 173–86. https://doi.org/10.1016/j.tcs.2005.11.015.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4526
Ghosal, Arkadeb, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, and Alberto Sangiovanni Vincentelli. “A Hierarchical Coordination Language for Interacting Real-Time Tasks,” 132–41. ACM, 2006. https://doi.org/10.1145/1176887.1176907.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Strategy Improvement for Concurrent Reachability Games,” 291–300. IEEE, 2006. https://doi.org/10.1109/QEST.2006.48.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4401
Alur, Rajeev, Pavol Cerny, and Steve Zdancewic. “Preserving Secrecy Under Refinement,” 107–18. Springer, 2006. https://doi.org/1543.
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,” 3884:512–23. Springer, 2006. https://doi.org/10.1007/11672142_42.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 578
Peters, Nicholas, Keith Arnold, Aaron Vandevender, Evan Jeffrey, Radhika Rangarajan, Onur Hosten, Julio Barreiro, Joseph Altepeter, and Paul Kwiat. “Towards a Quasi-Deterministic Single-Photon Source,” Vol. 6305. SPIE, 2006. https://doi.org/10.1117/12.684702.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 573   OA
Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Computation Revisited.” Quantum Physics, 2006.
View | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 903
Babenko, Vladimir, Malay Basu, Fyodor Kondrashov, Igor Rogozin, and Eugene Koonin. “Signs of Positive Selection of Somatic Mutations in Human Cancers Detected by EST Sequence Analysis.” BMC Cancer 6 (2006). https://doi.org/10.1186/1471-2407-6-36.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 869
Kondrashov, Fyodor, Aleksey Ogurtsov, and Alexey Kondrashov. “Selection in Favor of Nucleotides G and C Diversifies Evolution Rates and Levels of Polymorphism at Mammalian Synonymous Sites.” Journal of Theoretical Biology 240, no. 4 (2006): 616–26. https://doi.org/10.1016/j.jtbi.2005.10.020.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3009   OA
Paciorek, Tomasz, and Jirí Friml. “Auxin Signaling.” Journal of Cell Science 119, no. 7 (2006): 1199–1202. https://doi.org/10.1242/jcs.02910.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 3908
Ustinova, Jana, Roland Achmann, Sylvia Cremer, and Frieder Mayer. “Long Repeats in a Huge Gemome: Microsatellite Loci in the Grasshopper Chorthippus Biguttulus.” Journal of Molecular Evolution 62, no. 2 (2006): 158–67. https://doi.org/10.1007/s00239-005-0022-6.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2134
Ehresmann, Arno, Lutz Werner, Stefan Klumpp, Ph Demekhin, Mikhail Lemeshko, V. Sukhorukov, Karl Schartner, and Hans Schmoranzer. “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 39, no. 6 (2006): L119–26. https://doi.org/10.1088/0953-4075/39/6/L03.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2088
Weyrich, Tim, Wojciech Matusik, Hanspeter Pfister, Bernd Bickel, Craig Donner, Chien Tu, Janet Mcandless, et al. “Analysis of Human Faces Using a Measurement-Based Skin Reflectance Model,” 1013–24. ACM, 2006. https://doi.org/10.1145/1179352.1141987.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2090
Bickel, Bernd, Tim Weyrich, Wojciech Matusik, Hanspeter Pfister, Craig Donner, Chien Tu, Janet Mcandless, et al. “Processing and Editing of Faces Using a Measurement-Based Skin Reflectance Model.” ACM, 2006. https://doi.org/10.1145/1179849.1180059.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2660
Shaban, Hamdy, Yann Humeau, Cyril Herry, Guillaume Cassasus, Ryuichi Shigemoto, Stéphane Ciocchi, Samuel Barbieri, et al. “Generalization of Amygdala LTP and Conditioned Fear in the Absence of Presynaptic Inhibition.” Nature Neuroscience 9, no. 8 (2006): 1028–35. https://doi.org/10.1038/nn1732.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2747
Erdös, László, Benjamin Schlein, and Horng Yau. “Derivation of the Gross-Pitaevskii Hierarchy for the Dynamics of Bose-Einstein Condensate.” Communications on Pure and Applied Mathematics 59, no. 12 (2006): 1659–1741. https://doi.org/10.1002/cpa.20123.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2792
Hof, Björn, Casimir Van Doorne, Jerry Westerweel, and Frans Nieuwstadt. “Observation of Nonlinear Travelling Waves in Turbulent Pipe Flow.” Fluid Mechanics and Its Applications 78 (2006): 109–14. https://doi.org/10.1007/1-4020-4159-4_11.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3012
Petrášek, Jan, Jozef Mravec, Rodolphe Bouchard, Joshua Blakeslee, Melinda F Abas, Daniela Seifertová, Justyna Wiśniewska, et al. “PIN Proteins Perform a Rate-Limiting Function in Cellular Auxin Efflux.” Science 312, no. 5775 (2006): 914–18. https://doi.org/10.1126/science.1123542.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3214
Maurer, Ueli, Yvonne Oswald, Krzysztof Z Pietrzak, and Johan Sjödin. “Luby Rackoff Ciphers from Weak Round Functions ,” 4004:391–408. Springer, 2006. https://doi.org/10.1007/11761679_24.
View | DOI
 

2006 | Patent | IST-REx-ID: 3512
Fletcher, Yates, Tobias Gloth, Herbert Edelsbrunner, and Ping Fu. “Method, Apparatus and Computer Products That Reconstruct Surfaces from Data Points.” Elsevier, 2006. https://doi.org/US 7,023,432 B2.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3815
Bischofberger, Josef, Dominique Engel, Michael Frotscher, and Peter M Jonas. “Timing and Efficacy of Transmitter Release at Mossy Fiber Synapses in the Hippocampal Network.” Pflugers Archiv : European Journal of Physiology 453, no. 3 (2006): 361–72. https://doi.org/10.1007/s00424-006-0093-2.
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3404
Janovjak, Harald L, Ravi Sawhney, Martin Stark, and Daniel Mueller. “Atomic Force Microscopy.” In Techniques in Microscopy for Biomedical Applications, 2:213–84. World Scientific Publishing, 2006.
View
 

2006 | Conference Paper | IST-REx-ID: 3500
Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Algorithms for Büchi Games.” ACM, 2006.
View | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3978
Ban, Yih, Johannes Rudolph, Pei Zhou, and Herbert Edelsbrunner. “Evaluating the Quality of NMR Structures by Local Density of Protons.” Proteins: Structure, Function and Bioinformatics 62, no. 4 (2006): 852–64. https://doi.org/10.1002/prot.20811.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3980
Agarwal, Pankaj, Herbert Edelsbrunner, John Harer, and Yusu Wang. “Extreme Elevation on a 2-Manifold.” Discrete & Computational Geometry 36, no. 4 (2006): 553–72. https://doi.org/10.1007/s00454-006-1265-8.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3889
Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Algorithms for Omega-Regular Games with Imperfect Information,” 4207:287–302. Springer, 2006. https://doi.org/10.1007/11874683_19.
View | DOI
 

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

2006 | Journal Article | IST-REx-ID: 3935
Chu, Haiyan, Ingo Thievessen, Michael K Sixt, Tim Lämmermann, Ari Waisman, Attila Braun, Angelika Noegel, and Reinhard Fässler. “γ-Parvin Is Dispensable for Hematopoiesis, Leukocyte Trafficking, and T-Cell-Dependent Antibody Response.” Molecular and Cellular Biology 26, no. 5 (2006): 1817–25. https://doi.org/10.1128/MCB.26.5.1817-1825.2006.
View | DOI
 

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

2006 | Journal Article | IST-REx-ID: 4173   OA
Link, Vinzenz, Andrej Shevchenko, and Carl Heisenberg. “Proteomics of Early Zebrafish Embryos.” BMC Developmental Biology 6 (2006): 1–9. https://doi.org/10.1186/1471-213X-6-1.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 4178
Langenberg, Tobias, Tadeusz Dracz, Andrew Oates, Carl Heisenberg, and Michael Brand. “Analysis and Visualization of Cell Movement in the Developing Zebrafish Brain.” Developmental Dynamics 235, no. 4 (2006): 928–33. https://doi.org/10.1002/dvdy.20692.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4351
Bollback, Jonathan P. “SIMMAP: Stochastic Character Mapping of Discrete Traits on Phylogenies.” BMC Bioinformatics 7 (2006). https://doi.org/10.1186/1471-2105-7-88.
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 173, no. 3 (2006): 1793–1811. https://doi.org/10.1534/genetics.106.058586 .
View | DOI
 

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

2006 | Journal Article | IST-REx-ID: 579
Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Quantum Computation through Quantum Interrogation.” Nature 439, no. 7079 (2006): 949–52. https://doi.org/10.1038/nature04523.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 574   OA
Hosten, Onur, and Paul Kwiat. “Weak Measurements and Counterfactual Computation.” Quantum Physics, 2006.
View | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3005
Friml, Jirí, Philip Benfey, Eva Benková, Malcolm Bennett, Thomas Berleth, Niko Geldner, Markus Grebe, et al. “Apical-Basal Polarity: Why Plant Cells Don’t Stand on Their Heads.” Trends in Plant Science 11, no. 1 (2006): 12–14. https://doi.org/10.1016/j.tplants.2005.11.010.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3017
Tanaka, Hirokazu, Pankaj Dhonukshe, Philip Brewer, and Jirí Friml. “Spatiotemporal Asymmetric Auxin Distribution: A Means to Coordinate Plant Development.” Cellular and Molecular Life Sciences 63, no. 23 (2006): 2738–54. https://doi.org/10.1007/s00018-006-6116-5.
View | DOI
 

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

2006 | Journal Article | IST-REx-ID: 1745
Katsaros, Georgios, Armando Rastelli, Mathieu Stoffel, Giovanni Isella, Hans Von Känel, Alexander Bittner, Jerry Tersoff, et al. “Investigating the Lateral Motion of SiGe Islands by Selective Chemical Etching.” Surface Science 600, no. 12 (2006): 2608–13. https://doi.org/10.1016/j.susc.2006.04.027.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1961
Sazanov, Leonid A, and Philip Hinchliffe. “Structure of the Hydrophilic Domain of Respiratory Complex I from Thermus Thermophilus.” Science 311, no. 5766 (2006): 1430–36. https://doi.org/10.1126/science.1123809.
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed