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.

6107 Publications


2006 | Conference Paper | IST-REx-ID: 4359
T. Wies, V. Kuncak, P. Lam, A. Podelski, and M. Rinard, “Field Constraint Analysis,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, 2006, pp. 157–173.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4373
O. Maler, D. Nickovic, and A. Pnueli, “Real Time Temporal Logic: Past, Present, Future,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2006, pp. 2–16.
View | DOI
 

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 | 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. Genetics Society of America, pp. 1793–1811, 2006.
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: 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: 4431
T. A. Henzinger and J. Sifakis, “The embedded systems design challenge,” presented at the FM: Formal Methods, 2006, vol. 4085, pp. 1–15.
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: 4436
T. A. Henzinger and S. Matic, “An interface algebra for real-time components,” presented at the RTAS: Real-time and Embedded Technology and Applications Symposium, 2006, pp. 253–266.
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. Elsevier, pp. 173–186, 2006.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4523
B. Gulavani, T. A. Henzinger, Y. Kannan, A. Nori, and S. Rajamani, “Synergy: A new algorithm for property checking,” presented at the FSE: Foundations of Software Engineering, 2006, pp. 117–127.
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: 4528
J. Fisher and T. A. Henzinger, “Executable biology,” presented at the WSC: Winter Simulation Conference, 2006, pp. 1675–1682.
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: 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 | Preprint | IST-REx-ID: 573 | OA
O. Hosten, M. Rakher, J. Barreiro, N. Peters, and P. Kwiat, “Counterfactual computation revisited.” ArXiv, 2006.
View | Download Preprint (ext.) | arXiv
 

2006 | Preprint | IST-REx-ID: 574 | OA
O. Hosten and P. Kwiat, “Weak measurements and counterfactual computation.” ArXiv, 2006.
View | Download Preprint (ext.) | arXiv
 

2006 | Conference Paper | IST-REx-ID: 577
R. Rangarajan et al., “High-efficiency single-photon detectors,” presented at the Unknown (978-081946470-5), 2006, vol. 6372.
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: 579
O. Hosten, M. Rakher, J. Barreiro, N. Peters, and P. Kwiat, “Counterfactual quantum computation through quantum interrogation,” Nature, vol. 439, no. 7079. Nature Publishing Group, pp. 949–952, 2006.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 583
R. Rangarajan, N. Peters, O. Hosten, J. Altepeter, E. Jeffrey, and P. Kwiat, “Improved single-photon detection,” presented at the CLEO/QELS: Conference on Lasers and Electro-Optics / Quantum Electronics and Laser Science Conference, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 6151 | OA
I. Salecker, M. Häusser, and M. de Bono, “On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits,” EMBO reports, vol. 7, no. 6. Wiley, pp. 585–589, 2006.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 6152
C. Rogers, A. Persson, B. Cheung, and M. de Bono, “Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans,” Current Biology, vol. 16, no. 7. Elsevier, pp. 649–659, 2006.
View | DOI | PubMed | Europe PMC
 

2006 | Conference Paper | IST-REx-ID: 7326
F. N. Büchi, S. A. Freunberger, and M. Santis, “What is learned beyond the scale of single cells?,” in ECS Transactions, Cancun, Mexico, 2006, vol. 3, no. 1, pp. 963–968.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7327
M. Santis, S. A. Freunberger, M. Papra, A. Wokaun, and F. N. Büchi, “Experimental investigation of coupling phenomena in polymer electrolyte fuel cell stacks,” Journal of Power Sources, vol. 161, no. 2. Elsevier, pp. 1076–1083, 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. The Electrochemical Society, 2006.
View | DOI
 

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

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

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. The Electrochemical Society, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7332
S. A. Freunberger, M. Santis, I. A. Schneider, A. Wokaun, and F. N. Büchi, “In-plane effects in large-scale PEMFCs,” Journal of The Electrochemical Society, vol. 153, no. 2. The Electrochemical Society, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8488
P. Schanda, H. Van Melckebeke, and B. Brutscher, “Speeding up three-dimensional protein NMR experiments to a few minutes,” Journal of the American Chemical Society, vol. 128, no. 28. American Chemical Society, pp. 9042–9043, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8489
P. Schanda, V. Forge, and B. Brutscher, “HET-SOFAST NMR for fast detection of structural compactness and heterogeneity along polypeptide chains,” Magnetic Resonance in Chemistry, vol. 44, no. S1. Wiley, pp. S177–S184, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8490
P. Schanda and B. Brutscher, “Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR,” Journal of Magnetic Resonance, vol. 178, no. 2. Elsevier, pp. 334–339, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8513
V. Kaloshin and M. Saprykina, “Generic 3-dimensional volume-preserving diffeomorphisms with superexponential growth of number of periodic orbits,” Discrete & Continuous Dynamical Systems - A, vol. 15, no. 2. American Institute of Mathematical Sciences (AIMS), pp. 611–640, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8514
W. OTT, B. HUNT, and V. Kaloshin, “The effect of projections on fractal sets and measures in Banach spaces,” Ergodic Theory and Dynamical Systems, vol. 26, no. 3. Cambridge University Press, pp. 869–891, 2006.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 8515
V. Kaloshin, D. DOLGOPYAT, and L. KORALOV, “Long time behaviour of periodic stochastic flows,” in XIVth International Congress on Mathematical Physics, Lisbon, Portugal, 2006, pp. 290–295.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 854
E. Rogaev et al., “Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius,” PLoS Biology, vol. 4, no. 3. Public Library of Science, pp. 0403–0410, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 873
F. Kondrashov and A. Kondrashov, “Role of selection in fixation of gene duplications,” Journal of Theoretical Biology, vol. 239, no. 2. Elsevier, pp. 141–151, 2006.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 868
F. Kondrashov, E. Koonin, I. Morgunov, T. Finogenova, and M. Kondrashova, “Evolution of glyoxylate cycle enzymes in Metazoa Evidence of multiple horizontal transfer events and pseudogene formation,” Biology Direct, vol. 1. BioMed Central, 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. Elsevier, pp. 616–626, 2006.
View | DOI
 

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. BioMed Central, 2006.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1298
D. Reiff et al., “In vivo performance of genetically encoded indicators of neural activity in flies,” Journal of Neuroscience, vol. 25, no. 19. Society for Neuroscience, pp. 4766–4778, 2005.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 1444 | OA
T. Hausel, “Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve,” in Geometric Methods in Algebra and Number Theory, vol. 235, Springer, 2005, pp. 193–217.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1447 | OA
T. Hausel, “Quaternionic geometry of matroids,” Open Mathematics, vol. 3, no. 1. Central European Science Journals, pp. 26–38, 2005.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1463 | OA
T. Hausel and N. Proudfoot, “Abelianization for hyperkähler quotients,” Topology, vol. 44, no. 1. Elsevier, pp. 231–248, 2005.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1740
G. Costantini et al., “Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems,” Journal of Crystal Growth, vol. 278, no. 1–4. Elsevier, pp. 38–45, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1741
U. Denker et al., “Lateral motion of SiGe islands driven by surface-mediated alloying,” Physical Review Letters, vol. 94, no. 21. American Physical Society, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1742
G. Katsaros et al., “Kinetic origin of island intermixing during the growth of Ge on Si (001),” Physical Review B - Condensed Matter and Materials Physics, vol. 72, no. 19. American Physical Society, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1743
Z. Zhong et al., “Periodic pillar structures by Si etching of multilayer GeSi/Si islands,” Applied Physics Letters, vol. 87, no. 26. American Institute of Physics, pp. 1–3, 2005.
View | DOI
 

Search

Filter Publications