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
Solving games without determinization
T.A. Henzinger, N. Piterman, in:, Springer, 2006, pp. 395–410.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4451
On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, Theoretical Computer Science 354 (2006) 173–186.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4526
A hierarchical coordination language for interacting real-time tasks
A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, A. Sangiovanni Vincentelli, in:, ACM, 2006, pp. 132–141.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
Strategy improvement for concurrent reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2006, pp. 291–300.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4401
Preserving Secrecy Under Refinement
R. Alur, P. Cerny, S. Zdancewic, in:, Springer, 2006, pp. 107–118.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4538
Strategy improvement and randomized subexponential algorithms for stochastic parity games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 512–523.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 578
Towards a quasi-deterministic single-photon source
N. Peters, K. Arnold, A. Vandevender, E. Jeffrey, R. Rangarajan, O. Hosten, J. Barreiro, J. Altepeter, P. Kwiat, in:, SPIE, 2006.
View | DOI
 

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

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

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

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

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

2006 | Journal Article | IST-REx-ID: 2134
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
A. Ehresmann, L. Werner, S. Klumpp, P. Demekhin, M. Lemeshko, V. Sukhorukov, K. Schartner, H. Schmoranzer, Journal of Physics B: Atomic, Molecular and Optical Physics 39 (2006) L119–L126.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2088
Analysis of human faces using a measurement-based skin reflectance model
T. Weyrich, W. Matusik, H. Pfister, B. Bickel, C. Donner, C. Tu, J. Mcandless, J. Lee, A. Ngan, H. Jensen, M. Groß, in:, ACM, 2006, pp. 1013–1024.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2090
Processing and editing of faces using a measurement-based skin reflectance model
B. Bickel, T. Weyrich, W. Matusik, H. Pfister, C. Donner, C. Tu, J. Mcandless, J. Lee, A. Ngan, H. Jensen, M. Groß, in:, ACM, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2660
Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition
H. Shaban, Y. Humeau, C. Herry, G. Cassasus, R. Shigemoto, S. Ciocchi, S. Barbieri, H. Van Der Putten, K. Kaupmann, B. Bettler, A. Lüthi, Nature Neuroscience 9 (2006) 1028–1035.
View | DOI
 

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

2006 | Journal Article | IST-REx-ID: 2792
Observation of nonlinear travelling waves in turbulent pipe flow
B. Hof, C. Van Doorne, J. Westerweel, F. Nieuwstadt, Fluid Mechanics and Its Applications 78 (2006) 109–114.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3005
Apical-basal polarity: Why plant cells don't stand on their heads
J. Friml, P. Benfey, E. Benková, M. Bennett, T. Berleth, N. Geldner, M. Grebe, M. Heisler, J. Hejátko, G. Jürgens, T. Laux, K. Lindsey, W. Lukowitz, C. Luschnig, R. Offringa, B. Scheres, R. Swarup, R. Torres Ruiz, D. Weijers, E. Zažímalová, Trends in Plant Science 11 (2006) 12–14.
View | DOI
 

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

2006 | Journal Article | IST-REx-ID: 3017
Spatiotemporal asymmetric auxin distribution: A means to coordinate plant development
H. Tanaka, P. Dhonukshe, P. Brewer, J. Friml, Cellular and Molecular Life Sciences 63 (2006) 2738–2754.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3214
Luby Rackoff ciphers from weak round functions
U. Maurer, Y. Oswald, K.Z. Pietrzak, J. Sjödin, in:, Springer, 2006, pp. 391–408.
View | DOI
 

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

2006 | Patent | IST-REx-ID: 3512
Method, apparatus and computer products that reconstruct surfaces from data points
Y. Fletcher, T. Gloth, H. Edelsbrunner, P. Fu, (2006).
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3815
Timing and efficacy of transmitter release at mossy fiber synapses in the hippocampal network
J. Bischofberger, D. Engel, M. Frotscher, P.M. Jonas, Pflugers Archiv : European Journal of Physiology 453 (2006) 361–72.
View | DOI
 

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

2006 | Conference Paper | IST-REx-ID: 3889
Algorithms for omega-regular games with imperfect information
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2006, pp. 287–302.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3891
Concurrent games with tail objectives
K. Chatterjee, in:, Springer, 2006, pp. 256–270.
View | DOI
 

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

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

2006 | Journal Article | IST-REx-ID: 3980
Extreme elevation on a 2-manifold
P. Agarwal, H. Edelsbrunner, J. Harer, Y. Wang, Discrete & Computational Geometry 36 (2006) 553–572.
View | DOI
 

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

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

2006 | Book Review | IST-REx-ID: 4250
Evolutionary Biology: How did the human species form?
N.H. Barton, Current Biology 16 (2006) 647–650.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4351 View | DOI
 

2006 | Journal Article | IST-REx-ID: 4248
The Hill-Robertson effect and the evolution of recombination
D. Roze, N.H. Barton, Genetics 173 (2006) 1793–1811.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4539
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 257–271.
View | DOI
 

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

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

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

2006 | Preprint | IST-REx-ID: 574   OA View | Download (ext.) | arXiv
 

2006 | Journal Article | IST-REx-ID: 1461   OA
Intersection forms of toric hyperkähler varieties
T. Hausel, E. Swartz, Proceedings of the American Mathematical Society 134 (2006) 2403–2409.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 1745
Investigating the lateral motion of SiGe islands by selective chemical etching
G. Katsaros, A. Rastelli, M. Stoffel, G. Isella, H. Von Känel, A. Bittner, J. Tersoff, U. Denker, O. Schmidt, G. Costantini, K. Kern, Surface Science 600 (2006) 2608–2613.
View | DOI
 

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

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

2006 | Journal Article | IST-REx-ID: 2089
Analysis of human faces using a measurement-based skin reflectance model
T. Weyrich, W. Matusik, H. Pfister, B. Bickel, C. Donner, C. Tu, J. Mcandless, J. Lee, A. Ngan, H. Jensen, M. Groß, ACM Transactions on Graphics 25 (2006) 1013–1024.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2142
Studying the N+2(C2Σ+u → X2Σ+g) fluorescence excited via the 1s−1π* resonance
A. Ehresmann, L. Werner, S. Klumpp, S. Lucht, H. Schmoranzer, S. Mickat, R. Schill, K. Schartner, P. Demekhin, M. Lemeshko, V. Sukhorukov, Journal of Physics B: Atomic, Molecular and Optical Physics 39 (2006) 283–304.
View | DOI
 

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

2006 | Conference Paper | IST-REx-ID: 2077
Adaptive simulation of electrical discharges
B. Bickel, M. Wicke, M. Gross, in:, IOS Press, 2006.
View
 

2006 | Book Review | IST-REx-ID: 2363   OA
Derivation of the Gross-Pitaevskii equation for rotating Bose gases
É. Lieb, R. Seiringer, Communications in Mathematical Physics 264 (2006) 505–537.
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed