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
Wies, Thomas, et al. Field Constraint Analysis. Springer, 2006, pp. 157–73, doi:1551.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4373
Maler, Oded, et al. Real Time Temporal Logic: Past, Present, Future. Springer, 2006, pp. 2–16, doi:1571.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4374
Maler, Oded, et al. From MITL to Timed Automata. Springer, 2006, pp. 274–89, doi:1570.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4248
Roze, Denis, and Nicholas H. Barton. “The Hill-Robertson Effect and the Evolution of Recombination.” Genetics, vol. 173, no. 3, Genetics Society of America, 2006, pp. 1793–811, doi:10.1534/genetics.106.058586 .
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: 4406
De Wulf, Martin, et al. Antichains: A New Algorithm for Checking Universality of Finite Automata. Vol. 4144, Springer, 2006, pp. 17–30, doi:10.1007/11817963_5.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4431
Henzinger, Thomas A., and Joseph Sifakis. The Embedded Systems Design Challenge. Vol. 4085, Springer, 2006, pp. 1–15, doi:10.1007/11813040_1.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4432
Henzinger, Thomas A., and Vinayak Prabhu. Timed Alternating-Time Temporal Logic. Vol. 4202, Springer, 2006, pp. 1–17, doi:10.1007/11867340_1.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4436
Henzinger, Thomas A., and Slobodan Matic. An Interface Algebra for Real-Time Components. IEEE, 2006, pp. 253–66, doi:10.1109/RTAS.2006.11.
View | DOI
 

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: 4523
Gulavani, Bhargav, et al. Synergy: A New Algorithm for Property Checking. ACM, 2006, pp. 117–27, doi:10.1145/1181775.1181790.
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: 4528
Fisher, Jasmin, and Thomas A. Henzinger. Executable Biology. IEEE, 2006, pp. 1675–82, doi:10.1109/WSC.2006.322942.
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: 4539
Chatterjee, Krishnendu, and Thomas A. Henzinger. Finitary Winning in Omega-Regular Games. Vol. 3920, Springer, 2006, pp. 257–71, doi:10.1007/11691372_17.
View | DOI
 

2006 | Preprint | IST-REx-ID: 573 | OA
Hosten, Onur, et al. Counterfactual Computation Revisited. ArXiv, 2006.
View | Download Preprint (ext.) | arXiv
 

2006 | Preprint | IST-REx-ID: 574 | OA
Hosten, Onur, and Paul Kwiat. Weak Measurements and Counterfactual Computation. ArXiv, 2006.
View | Download Preprint (ext.) | arXiv
 

2006 | Conference Paper | IST-REx-ID: 577
Rangarajan, Radhika, et al. High-Efficiency Single-Photon Detectors. Vol. 6372, SPIE, 2006, doi:10.1117/12.686117.
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: 579
Hosten, Onur, et al. “Counterfactual Quantum Computation through Quantum Interrogation.” Nature, vol. 439, no. 7079, Nature Publishing Group, 2006, pp. 949–52, doi:10.1038/nature04523.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 583
Rangarajan, Radhika, et al. Improved Single-Photon Detection. IEEE, 2006, doi:10.1109/CLEO.2006.4628641.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 6151 | OA
Salecker, Iris, et al. “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, 2006, pp. 585–89, doi:10.1038/sj.embor.7400713.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 6152
Rogers, Candida, et al. “Behavioral Motifs and Neural Pathways Coordinating O2 Responses and Aggregation in C. Elegans.” Current Biology, vol. 16, no. 7, Elsevier, 2006, pp. 649–59, doi:10.1016/j.cub.2006.03.023.
View | DOI | PubMed | Europe PMC
 

2006 | Conference Paper | IST-REx-ID: 7326
Büchi, Felix N., et al. “What Is Learned beyond the Scale of Single Cells?” ECS Transactions, vol. 3, no. 1, ECS, 2006, pp. 963–68, doi:10.1149/1.2356215.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7327
Santis, Marco, et al. “Experimental Investigation of Coupling Phenomena in Polymer Electrolyte Fuel Cell Stacks.” Journal of Power Sources, vol. 161, no. 2, Elsevier, 2006, pp. 1076–83, doi:10.1016/j.jpowsour.2006.06.007.
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, A2158, The Electrochemical Society, 2006, doi:10.1149/1.2345591.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7329
Freunberger, Stefan Alexander, et al. “Expanding Current Distribution Measurement in PEFCs to Sub-Millimeter Resolution.” Electrochemistry Communications, vol. 8, no. 9, Elsevier, 2006, pp. 1435–38, doi:10.1016/j.elecom.2006.05.032.
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 | Journal Article | IST-REx-ID: 7331
Freunberger, Stefan Alexander, et al. “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, A909, The Electrochemical Society, 2006, doi:10.1149/1.2185282.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7332
Freunberger, Stefan Alexander, et al. “In-Plane Effects in Large-Scale PEMFCs.” Journal of The Electrochemical Society, vol. 153, no. 2, A396, The Electrochemical Society, 2006, doi:10.1149/1.2150150.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8488
Schanda, Paul, et al. “Speeding up Three-Dimensional Protein NMR Experiments to a Few Minutes.” Journal of the American Chemical Society, vol. 128, no. 28, American Chemical Society, 2006, pp. 9042–43, doi:10.1021/ja062025p.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8489
Schanda, Paul, et al. “HET-SOFAST NMR for Fast Detection of Structural Compactness and Heterogeneity along Polypeptide Chains.” Magnetic Resonance in Chemistry, vol. 44, no. S1, Wiley, 2006, pp. S177–84, doi:10.1002/mrc.1825.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8490
Schanda, Paul, and Bernhard Brutscher. “Hadamard Frequency-Encoded SOFAST-HMQC for Ultrafast Two-Dimensional Protein NMR.” Journal of Magnetic Resonance, vol. 178, no. 2, Elsevier, 2006, pp. 334–39, doi:10.1016/j.jmr.2005.10.007.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8513
Kaloshin, Vadim, and Maria 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), 2006, pp. 611–40, doi:10.3934/dcds.2006.15.611.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8514
OTT, WILLIAM, et al. “The Effect of Projections on Fractal Sets and Measures in Banach Spaces.” Ergodic Theory and Dynamical Systems, vol. 26, no. 3, Cambridge University Press, 2006, pp. 869–91, doi:10.1017/s0143385705000714.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 8515
Kaloshin, Vadim, et al. “Long Time Behaviour of Periodic Stochastic Flows.” XIVth International Congress on Mathematical Physics, World Scientific, 2006, pp. 290–95, doi:10.1142/9789812704016_0026.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 854
Rogaev, Evgeny, et al. “Complete Mitochondrial Genome and Phylogeny of Pleistocene Mammoth Mammuthus Primigenius.” PLoS Biology, vol. 4, no. 3, Public Library of Science, 2006, pp. 0403–10, doi:10.1371/journal.pbio.0040073.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 873
Kondrashov, Fyodor, and Alexey Kondrashov. “Role of Selection in Fixation of Gene Duplications.” Journal of Theoretical Biology, vol. 239, no. 2, Elsevier, 2006, pp. 141–51, doi:10.1016/j.jtbi.2005.08.033.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 868
Kondrashov, Fyodor, et al. “Evolution of Glyoxylate Cycle Enzymes in Metazoa Evidence of Multiple Horizontal Transfer Events and Pseudogene Formation.” Biology Direct, vol. 1, BioMed Central, 2006, doi:10.1186/1745-6150-1-31.
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: 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
 

2005 | Journal Article | IST-REx-ID: 1298
Reiff, Dierk, et al. “In Vivo Performance of Genetically Encoded Indicators of Neural Activity in Flies.” Journal of Neuroscience, vol. 25, no. 19, Society for Neuroscience, 2005, pp. 4766–78, doi:10.1523/JNEUROSCI.4900-04.2005.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 1444 | OA
Hausel, Tamás. “Mirror Symmetry and Langlands Duality in the Non-Abelian Hodge Theory of a Curve.” Geometric Methods in Algebra and Number Theory, vol. 235, Springer, 2005, pp. 193–217, doi:10.1007/0-8176-4417-2_9.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1447 | OA
Hausel, Tamás. “Quaternionic Geometry of Matroids.” Open Mathematics, vol. 3, no. 1, Central European Science Journals, 2005, pp. 26–38, doi:10.2478/BF02475653.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1463 | OA
Hausel, Tamás, and Nicholas Proudfoot. “Abelianization for Hyperkähler Quotients.” Topology, vol. 44, no. 1, Elsevier, 2005, pp. 231–48, doi:10.1016/j.top.2004.04.002.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1740
Costantini, Giovanni, 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, 2005, pp. 38–45, doi:10.1016/j.jcrysgro.2004.12.047.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1741
Denker, Ulrich, et al. “Lateral Motion of SiGe Islands Driven by Surface-Mediated Alloying.” Physical Review Letters, vol. 94, no. 21, American Physical Society, 2005, doi:10.1103/PhysRevLett.94.216103.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1742
Katsaros, Georgios, 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, doi:10.1103/PhysRevB.72.195320.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1743
Zhong, Zheyang, et al. “Periodic Pillar Structures by Si Etching of Multilayer GeSi/Si Islands.” Applied Physics Letters, vol. 87, no. 26, American Institute of Physics, 2005, pp. 1–3, doi:10.1063/1.2150278.
View | DOI
 

Search

Filter Publications