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.

187 Publications


2006 | Book Review | IST-REx-ID: 3814
M. Frotscher, P. M. Jonas, and R. Sloviter, “Synapses formed by normal and abnormal hippocampal mossy fibers (Review),” Cell and Tissue Research, vol. 326, no. 2. Springer, pp. 361–7, 2006.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3888
K. Chatterjee and T. A. Henzinger, “Strategy improvement for stochastic Rabin and Streett games,” presented at the CONCUR: Concurrency Theory, 2006, vol. 4137, pp. 375–389.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3890
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “The complexity of quantitative concurrent parity games,” presented at the SODA: Symposium on Discrete Algorithms, 2006, pp. 678–687.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3908
J. Ustinova, R. Achmann, S. Cremer, and F. Mayer, “Long repeats in a huge gemome: microsatellite loci in the grasshopper Chorthippus biguttulus,” Journal of Molecular Evolution, vol. 62, no. 2, pp. 158–167, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3934
M. Drumea Mirancea 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, pp. 1396–1405, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4184
M. Köppen, B. Fernández, L. Carvalho, A. Jacinto, and C. Heisenberg, “Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila,” Development, vol. 133, no. 14, pp. 2671–2681, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4235
H. Vladar and J. González, “Dynamic response of cancer under the influence of immunological activity and therapy,” Journal of Theoretical Biology, pp. 91–109, 2006.
View
 

2006 | Conference Paper | IST-REx-ID: 4374
O. Maler, D. Nickovic, and A. Pnueli, “From MITL to Timed Automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2006, pp. 274–289.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4406
M. De Wulf, L. Doyen, T. A. Henzinger, and J. Raskin, “Antichains: A new algorithm for checking universality of finite automata,” presented at the CAV: Computer Aided Verification, 2006, vol. 4144, pp. 17–30.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4432
T. A. Henzinger and V. Prabhu, “Timed alternating-time temporal logic,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2006, vol. 4202, pp. 1–17.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4437
T. A. Henzinger and N. Piterman, “Solving games without determinization,” presented at the CSL: Computer Science Logic, 2006, vol. 4207, pp. 395–410.
View | DOI
 

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

2006 | Conference Paper | IST-REx-ID: 4526
A. Ghosal, T. A. Henzinger, D. Iercan, C. Kirsch, and A. Sangiovanni Vincentelli, “A hierarchical coordination language for interacting real-time tasks,” presented at the EMSOFT: Embedded Software , 2006, pp. 132–141.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Strategy improvement for concurrent reachability games,” presented at the QEST: Quantitative Evaluation of Systems, 2006, pp. 291–300.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4401
R. Alur, P. Cerny, and S. Zdancewic, “Preserving Secrecy Under Refinement,” presented at the ICALP: Automata, Languages and Programming, 2006, pp. 107–118.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4538
K. Chatterjee and T. A. Henzinger, “Strategy improvement and randomized subexponential algorithms for stochastic parity games,” presented at the STACS: Theoretical Aspects of Computer Science, 2006, vol. 3884, pp. 512–523.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 578
N. Peters et al., “Towards a quasi-deterministic single-photon source,” presented at the Quantum Communications and Quantum Imaging, 2006, vol. 6305.
View | DOI
 

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

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

2006 | Journal Article | IST-REx-ID: 869
F. Kondrashov, A. Ogurtsov, and A. Kondrashov, “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, pp. 616–626, 2006.
View | DOI
 

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

2006 | Journal Article | IST-REx-ID: 2134
A. Ehresmann 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, pp. L119–L126, 2006.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2088
T. Weyrich et al., “Analysis of human faces using a measurement-based skin reflectance model,” presented at the ACM SIGGRAPH, 2006, pp. 1013–1024.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2090
B. Bickel et al., “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, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2660
H. Shaban et al., “Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition,” Nature Neuroscience, vol. 9, no. 8, pp. 1028–1035, 2006.
View | DOI
 

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

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

2006 | Journal Article | IST-REx-ID: 3005
J. Friml et al., “Apical-basal polarity: Why plant cells don’t stand on their heads,” Trends in Plant Science, vol. 11, no. 1, pp. 12–14, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3012
J. Petrášek et al., “PIN proteins perform a rate-limiting function in cellular auxin efflux,” Science, vol. 312, no. 5775, pp. 914–918, 2006.
View | DOI
 

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

2006 | Conference Paper | IST-REx-ID: 3214
U. Maurer, Y. Oswald, K. Z. Pietrzak, and J. Sjödin, “Luby Rackoff ciphers from weak round functions ,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, 2006, vol. 4004, pp. 391–408.
View | DOI
 

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

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

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

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

2006 | Conference Paper | IST-REx-ID: 3889
K. Chatterjee, L. Doyen, T. A. Henzinger, and J. Raskin, “Algorithms for omega-regular games with imperfect information,” presented at the CSL: Computer Science Logic, 2006, vol. 4207, pp. 287–302.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3891
K. Chatterjee, “Concurrent games with tail objectives,” presented at the CSL: Computer Science Logic, 2006, vol. 4207, pp. 256–270.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3935
H. Chu et al., “γ-Parvin is dispensable for hematopoiesis, leukocyte trafficking, and T-cell-dependent antibody response,” Molecular and Cellular Biology, vol. 26, no. 5, pp. 1817–1825, 2006.
View | DOI
 

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

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

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

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

2006 | Book Review | IST-REx-ID: 4250
N. H. Barton, “Evolutionary Biology: How did the human species form?,” Current Biology, vol. 16, no. 16. Cell Press, pp. 647–650, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4351
J. P. Bollback, “SIMMAP: stochastic character mapping of discrete traits on phylogenies,” BMC Bioinformatics, vol. 7, 2006.
View | DOI
 

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

2006 | Conference Paper | IST-REx-ID: 4539
K. Chatterjee and T. A. Henzinger, “Finitary winning in omega-regular games,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2006, vol. 3920, pp. 257–271.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 579
O. Hosten, M. Rakher, J. Barreiro, N. Peters, and P. Kwiat, “Counterfactual quantum computation through quantum interrogation,” Nature, vol. 439, no. 7079, pp. 949–952, 2006.
View | DOI
 

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

2006 | Journal Article | IST-REx-ID: 7331
S. A. Freunberger, A. Wokaun, and F. N. Büchi, “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, p. A909, 2006.
View | DOI
 

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

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed