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.

191 Publications


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: 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: 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: 4401
Alur, Rajeev, et al. Preserving Secrecy Under Refinement. Springer, 2006, pp. 107–18, doi: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. Vol. 3884, Springer, 2006, pp. 512–23, doi:10.1007/11672142_42.
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: 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 | Journal Article | IST-REx-ID: 869
Kondrashov, Fyodor, et al. “Selection in Favor of Nucleotides G and C Diversifies Evolution Rates and Levels of Polymorphism at Mammalian Synonymous Sites.” Journal of Theoretical Biology, vol. 240, no. 4, Elsevier, 2006, pp. 616–26, doi:10.1016/j.jtbi.2005.10.020.
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, The Electrochemical Society, 2006, p. A2158, doi:10.1149/1.2345591.
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 | Preprint | IST-REx-ID: 573   OA
Hosten, Onur, et al. Counterfactual Computation Revisited. ArXiv, 2006.
View | Download (ext.) | arXiv
 

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 | Conference Paper | IST-REx-ID: 2088
Weyrich, Tim, et al. Analysis of Human Faces Using a Measurement-Based Skin Reflectance Model. ACM, 2006, pp. 1013–24, doi:10.1145/1179352.1141987.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2090
Bickel, Bernd, et al. Processing and Editing of Faces Using a Measurement-Based Skin Reflectance Model. ACM, 2006, doi:10.1145/1179849.1180059.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2660
Shaban, Hamdy, et al. “Generalization of Amygdala LTP and Conditioned Fear in the Absence of Presynaptic Inhibition.” Nature Neuroscience, vol. 9, no. 8, Nature Publishing Group, 2006, pp. 1028–35, doi:10.1038/nn1732.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2747
Erdös, László, et al. “Derivation of the Gross-Pitaevskii Hierarchy for the Dynamics of Bose-Einstein Condensate.” Communications on Pure and Applied Mathematics, vol. 59, no. 12, Wiley-Blackwell, 2006, pp. 1659–741, doi:10.1002/cpa.20123.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2792
Hof, Björn, et al. “Observation of Nonlinear Travelling Waves in Turbulent Pipe Flow.” Fluid Mechanics and Its Applications, vol. 78, Springer, 2006, pp. 109–14, doi:10.1007/1-4020-4159-4_11.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3005
Friml, Jirí, 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: 3012
Petrášek, Jan, et al. “PIN Proteins Perform a Rate-Limiting Function in Cellular Auxin Efflux.” Science, vol. 312, no. 5775, American Association for the Advancement of Science, 2006, pp. 914–18, doi:10.1126/science.1123542.
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed