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, T. A., & Piterman, N. (2006). Solving games without determinization (Vol. 4207, pp. 395–410). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/11874683_26
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4451
Henzinger, T. A., Kupferman, O., & Majumdar, R. (2006). On the universal and existential fragments of the mu-calculus. Theoretical Computer Science, 354(2), 173–186. https://doi.org/10.1016/j.tcs.2005.11.015
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4526
Ghosal, A., Henzinger, T. A., Iercan, D., Kirsch, C., & Sangiovanni Vincentelli, A. (2006). A hierarchical coordination language for interacting real-time tasks (pp. 132–141). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1176887.1176907
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2006). Strategy improvement for concurrent reachability games (pp. 291–300). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2006.48
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4401
Alur, R., Cerny, P., & Zdancewic, S. (2006). Preserving Secrecy Under Refinement (pp. 107–118). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/1543
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4538
Chatterjee, K., & Henzinger, T. A. (2006). Strategy improvement and randomized subexponential algorithms for stochastic parity games (Vol. 3884, pp. 512–523). Presented at the STACS: Theoretical Aspects of Computer Science, Springer. https://doi.org/10.1007/11672142_42
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 578
Peters, N., Arnold, K., Vandevender, A., Jeffrey, E., Rangarajan, R., Hosten, O., … Kwiat, P. (2006). Towards a quasi-deterministic single-photon source (Vol. 6305). Presented at the Quantum Communications and Quantum Imaging, SPIE. https://doi.org/10.1117/12.684702
View | DOI
 

2006 | Journal Article | IST-REx-ID: 573   OA
Hosten, O., Rakher, M., Barreiro, J., Peters, N., & Kwiat, P. (2006). Counterfactual computation revisited. Quantum Physics.
View | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 903
Babenko, V., Basu, M., Kondrashov, F., Rogozin, I., & Koonin, E. (2006). Signs of positive selection of somatic mutations in human cancers detected by EST sequence analysis. BMC Cancer, 6. https://doi.org/10.1186/1471-2407-6-36
View | DOI
 

2006 | Journal Article | IST-REx-ID: 869
Kondrashov, F., Ogurtsov, A., & Kondrashov, A. (2006). Selection in favor of nucleotides G and C diversifies evolution rates and levels of polymorphism at mammalian synonymous sites. Journal of Theoretical Biology, 240(4), 616–626. https://doi.org/10.1016/j.jtbi.2005.10.020
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7328
Freunberger, S. A., Reum, M., Evertz, J., Wokaun, A., & Büchi, F. N. (2006). Measuring the current distribution in PEFCs with sub-millimeter resolution. Journal of The Electrochemical Society, 153(11), A2158. https://doi.org/10.1149/1.2345591
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7330
Santis, M., Freunberger, S. A., Reiner, A., & Büchi, F. N. (2006). Homogenization of the current density in polymer electrolyte fuel cells by in-plane cathode catalyst gradients. Electrochimica Acta, 51(25), 5383–5393. https://doi.org/10.1016/j.electacta.2006.02.008
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2134
Ehresmann, A., Werner, L., Klumpp, S., Demekhin, P., Lemeshko, M., Sukhorukov, V., … Schmoranzer, H. (2006). 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(6), L119–L126. https://doi.org/10.1088/0953-4075/39/6/L03
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2088
Weyrich, T., Matusik, W., Pfister, H., Bickel, B., Donner, C., Tu, C., … Groß, M. (2006). Analysis of human faces using a measurement-based skin reflectance model (pp. 1013–1024). Presented at the ACM SIGGRAPH, ACM. https://doi.org/10.1145/1179352.1141987
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2090
Bickel, B., Weyrich, T., Matusik, W., Pfister, H., Donner, C., Tu, C., … Groß, M. (2006). Processing and editing of faces using a measurement-based skin reflectance model. Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, ACM. https://doi.org/10.1145/1179849.1180059
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2660
Shaban, H., Humeau, Y., Herry, C., Cassasus, G., Shigemoto, R., Ciocchi, S., … Lüthi, A. (2006). Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition. Nature Neuroscience, 9(8), 1028–1035. https://doi.org/10.1038/nn1732
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2747
Erdös, L., Schlein, B., & Yau, H. (2006). Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate. Communications on Pure and Applied Mathematics, 59(12), 1659–1741. https://doi.org/10.1002/cpa.20123
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2792
Hof, B., Van Doorne, C., Westerweel, J., & Nieuwstadt, F. (2006). Observation of nonlinear travelling waves in turbulent pipe flow. Fluid Mechanics and Its Applications, 78, 109–114. https://doi.org/10.1007/1-4020-4159-4_11
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3005
Friml, J., Benfey, P., Benková, E., Bennett, M., Berleth, T., Geldner, N., … Zažímalová, E. (2006). Apical-basal polarity: Why plant cells don’t stand on their heads. Trends in Plant Science, 11(1), 12–14. https://doi.org/10.1016/j.tplants.2005.11.010
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3012
Petrášek, J., Mravec, J., Bouchard, R., Blakeslee, J., Abas, M. F., Seifertová, D., … Friml, J. (2006). PIN proteins perform a rate-limiting function in cellular auxin efflux. Science, 312(5775), 914–918. https://doi.org/10.1126/science.1123542
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3017
Tanaka, H., Dhonukshe, P., Brewer, P., & Friml, J. (2006). Spatiotemporal asymmetric auxin distribution: A means to coordinate plant development. Cellular and Molecular Life Sciences, 63(23), 2738–2754. https://doi.org/10.1007/s00018-006-6116-5
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3214
Maurer, U., Oswald, Y., Pietrzak, K. Z., & Sjödin, J. (2006). Luby Rackoff ciphers from weak round functions (Vol. 4004, pp. 391–408). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Springer. https://doi.org/10.1007/11761679_24
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3404
Janovjak, H. L., Sawhney, R., Stark, M., & Mueller, D. (2006). Atomic force microscopy. In Techniques in Microscopy for Biomedical Applications (Vol. 2, pp. 213–284). World Scientific Publishing.
View
 

2006 | Patent | IST-REx-ID: 3512
Fletcher, Y., Gloth, T., Edelsbrunner, H., & Fu, P. (2006). Method, apparatus and computer products that reconstruct surfaces from data points. Elsevier. https://doi.org/US 7,023,432 B2
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3815
Bischofberger, J., Engel, D., Frotscher, M., & Jonas, P. M. (2006). Timing and efficacy of transmitter release at mossy fiber synapses in the hippocampal network. Pflugers Archiv : European Journal of Physiology, 453(3), 361–372. https://doi.org/10.1007/s00424-006-0093-2
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3500
Chatterjee, K., Henzinger, T. A., & Piterman, N. (2006). Algorithms for Büchi Games. Presented at the GDV: Games in Design and Verification, ACM.
View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3889
Chatterjee, K., Doyen, L., Henzinger, T. A., & Raskin, J. (2006). Algorithms for omega-regular games with imperfect information (Vol. 4207, pp. 287–302). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/11874683_19
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3891
Chatterjee, K. (2006). Concurrent games with tail objectives (Vol. 4207, pp. 256–270). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/11874683_17
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3935
Chu, H., Thievessen, I., Sixt, M. K., Lämmermann, T., Waisman, A., Braun, A., … Fässler, R. (2006). γ-Parvin is dispensable for hematopoiesis, leukocyte trafficking, and T-cell-dependent antibody response. Molecular and Cellular Biology, 26(5), 1817–1825. https://doi.org/10.1128/MCB.26.5.1817-1825.2006
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3978
Ban, Y., Rudolph, J., Zhou, P., & Edelsbrunner, H. (2006). Evaluating the quality of NMR structures by local density of protons. Proteins: Structure, Function and Bioinformatics, 62(4), 852–864. https://doi.org/10.1002/prot.20811
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3980
Agarwal, P., Edelsbrunner, H., Harer, J., & Wang, Y. (2006). Extreme elevation on a 2-manifold. Discrete & Computational Geometry, 36(4), 553–572. https://doi.org/10.1007/s00454-006-1265-8
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4173   OA
Link, V., Shevchenko, A., & Heisenberg, C. (2006). Proteomics of early zebrafish embryos. BMC Developmental Biology, 6, 1–9. https://doi.org/10.1186/1471-213X-6-1
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 4178
Langenberg, T., Dracz, T., Oates, A., Heisenberg, C., & Brand, M. (2006). Analysis and visualization of cell movement in the developing zebrafish brain. Developmental Dynamics, 235(4), 928–933. https://doi.org/10.1002/dvdy.20692
View | DOI
 

2006 | Book Review | IST-REx-ID: 4250
Barton, N. H. (2006). Evolutionary Biology: How did the human species form? Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2006.07.032
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4351
Bollback, J. P. (2006). SIMMAP: stochastic character mapping of discrete traits on phylogenies. BMC Bioinformatics, 7. https://doi.org/10.1186/1471-2105-7-88
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4248
Roze, D., & Barton, N. H. (2006). The Hill-Robertson effect and the evolution of recombination. Genetics, 173(3), 1793–1811. https://doi.org/10.1534/genetics.106.058586
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4539
Chatterjee, K., & Henzinger, T. A. (2006). Finitary winning in omega-regular games (Vol. 3920, pp. 257–271). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/11691372_17
View | DOI
 

2006 | Journal Article | IST-REx-ID: 579
Hosten, O., Rakher, M., Barreiro, J., Peters, N., & Kwiat, P. (2006). Counterfactual quantum computation through quantum interrogation. Nature, 439(7079), 949–952. https://doi.org/10.1038/nature04523
View | DOI
 

2006 | Journal Article | IST-REx-ID: 574   OA
Hosten, O., & Kwiat, P. (2006). Weak measurements and counterfactual computation. Quantum Physics.
View | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 7331
Freunberger, S. A., Wokaun, A., & Büchi, F. N. (2006). In-plane effects in large-scale PEFCs: II. The influence of cooling strategy on cell performance. Journal of The Electrochemical Society, 153(5), A909. https://doi.org/10.1149/1.2185282
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7329
Freunberger, S. A., Reum, M., Wokaun, A., & Büchi, F. N. (2006). Expanding current distribution measurement in PEFCs to sub-millimeter resolution. Electrochemistry Communications, 8(9), 1435–1438. https://doi.org/10.1016/j.elecom.2006.05.032
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1461   OA
Hausel, T., & Swartz, E. (2006). Intersection forms of toric hyperkähler varieties. Proceedings of the American Mathematical Society, 134(8), 2403–2409. https://doi.org/10.1090/S0002-9939-06-08248-7
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 1745
Katsaros, G., Rastelli, A., Stoffel, M., Isella, G., Von Känel, H., Bittner, A., … Kern, K. (2006). Investigating the lateral motion of SiGe islands by selective chemical etching. Surface Science, 600(12), 2608–2613. https://doi.org/10.1016/j.susc.2006.04.027
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1961
Sazanov, L. A., & Hinchliffe, P. (2006). Structure of the hydrophilic domain of respiratory complex I from Thermus thermophilus. Science, 311(5766), 1430–1436. https://doi.org/10.1126/science.1123809
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1966
Hinchliffe, P., Carroll, J., & Sazanov, L. A. (2006). Identification of a novel subunit of respiratory complex I from Thermus thermophilus. Biochemistry, 45(14), 4413–4420. https://doi.org/10.1021/bi0600998
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2089
Weyrich, T., Matusik, W., Pfister, H., Bickel, B., Donner, C., Tu, C., … Groß, M. (2006). Analysis of human faces using a measurement-based skin reflectance model. ACM Transactions on Graphics, 25(3), 1013–1024. https://doi.org/10.1145/1141911.1141987
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2142
Ehresmann, A., Werner, L., Klumpp, S., Lucht, S., Schmoranzer, H., Mickat, S., … Sukhorukov, V. (2006). Studying the N+2(C2Σ+u → X2Σ+g) fluorescence excited via the 1s−1π* resonance. Journal of Physics B: Atomic, Molecular and Optical Physics, 39(2), 283–304. https://doi.org/10.1088/0953-4075/39/2/006
View | DOI
 

2006 | Journal Article | IST-REx-ID: 215
Browning, T. D., & Heath Brown, R. (2006). The density of rational points on non-singular hypersurfaces, I. Bulletin of the London Mathematical Society, 38(3), 401–410. https://doi.org/10.1112/S0024609305018412
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2077
Bickel, B., Wicke, M., & Gross, M. (2006). Adaptive simulation of electrical discharges. Presented at the VMV: Vision, Modeling, and Visualization, IOS Press.
View
 

2006 | Book Review | IST-REx-ID: 2363   OA
Lieb, É., & Seiringer, R. (2006). Derivation of the Gross-Pitaevskii equation for rotating Bose gases. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-006-1524-9
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed