Henzinger, Thomas A, and Slobodan Matic. “An Interface Algebra for Real-Time Components,”https://doi.org/10.1109/RTAS.2006.11__253–66. IEEE, 2006.https://doi.org/10.1109/RTAS.2006.11 .
LibreCat: https://research-explorer.ista.ac.at/record/4436
DOI: 10.1109/RTAS.2006.11

Henzinger, Thomas A, and Vinayak Prabhu. “Timed Alternating-Time Temporal Logic,”https://doi.org/10.1007/11867340_1__4202:1–17. Springer, 2006.https://doi.org/10.1007/11867340_1 .
LibreCat: https://research-explorer.ista.ac.at/record/4432
DOI: 10.1007/11867340_1

Henzinger, Thomas A, and Joseph Sifakis. “The Embedded Systems Design Challenge,”https://doi.org/10.1007/11813040_1__4085:1–15. Springer, 2006.https://doi.org/10.1007/11813040_1 .
LibreCat: https://research-explorer.ista.ac.at/record/4431
DOI: 10.1007/11813040_1

Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus.”https://doi.org/10.1016/j.tcs.2005.11.015__Theoretical Computer Science. Elsevier, 2006.https://doi.org/10.1016/j.tcs.2005.11.015 .
LibreCat: https://research-explorer.ista.ac.at/record/4451
DOI: 10.1016/j.tcs.2005.11.015

Gulavani, Bhargav, Thomas A Henzinger, Yamini Kannan, Aditya Nori, and Sriram Rajamani. “Synergy: A New Algorithm for Property Checking,”https://doi.org/10.1145/1181775.1181790__117–27. ACM, 2006.https://doi.org/10.1145/1181775.1181790 .
LibreCat: https://research-explorer.ista.ac.at/record/4523
DOI: 10.1145/1181775.1181790

Ghosal, Arkadeb, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, and Alberto Sangiovanni Vincentelli. “A Hierarchical Coordination Language for Interacting Real-Time Tasks,”https://doi.org/10.1145/1176887.1176907__132–41. ACM, 2006.https://doi.org/10.1145/1176887.1176907 .
LibreCat: https://research-explorer.ista.ac.at/record/4526
DOI: 10.1145/1176887.1176907

Fisher, Jasmin, and Thomas A Henzinger. “Executable Biology,”https://doi.org/10.1109/WSC.2006.322942__1675–82. IEEE, 2006.https://doi.org/10.1109/WSC.2006.322942 .
LibreCat: https://research-explorer.ista.ac.at/record/4528
DOI: 10.1109/WSC.2006.322942

Chatterjee, Krishnendu, and Thomas A Henzinger. “Finitary Winning in Omega-Regular Games,”https://doi.org/10.1007/11691372_17__3920:257–71. Springer, 2006.https://doi.org/10.1007/11691372_17 .
LibreCat: https://research-explorer.ista.ac.at/record/4539
DOI: 10.1007/11691372_17

Chatterjee, Krishnendu, and Thomas A Henzinger. “Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games,”https://doi.org/10.1007/11672142_42__3884:512–23. Springer, 2006.https://doi.org/10.1007/11672142_42 .
LibreCat: https://research-explorer.ista.ac.at/record/4538
DOI: 10.1007/11672142_42

Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Markov Decision Processes with Multiple Objectives,”https://doi.org/10.1007/11672142_26__3884:325–36. Springer, 2006.https://doi.org/10.1007/11672142_26 .
LibreCat: https://research-explorer.ista.ac.at/record/4551
DOI: 10.1007/11672142_26

Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziski. “Games with Secure Equilibria.”https://doi.org/10.1016/j.tcs.2006.07.032__Theoretical Computer Science. Elsevier, 2006.https://doi.org/10.1016/j.tcs.2006.07.032 .
LibreCat: https://research-explorer.ista.ac.at/record/4550
DOI: 10.1016/j.tcs.2006.07.032

Chatterjee, Krishnendu, Luca De Alfaro, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Compositional Quantitative Reasoning,”https://doi.org/10.1109/QEST.2006.11__179–88. IEEE, 2006.https://doi.org/10.1109/QEST.2006.11 .
LibreCat: https://research-explorer.ista.ac.at/record/4549
DOI: 10.1109/QEST.2006.11

Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Strategy Improvement for Concurrent Reachability Games,”https://doi.org/10.1109/QEST.2006.48__291–300. IEEE, 2006.https://doi.org/10.1109/QEST.2006.48 .
LibreCat: https://research-explorer.ista.ac.at/record/4552
DOI: 10.1109/QEST.2006.48

Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Lazy Shape Analysis,”https://doi.org/10.1007/11817963_48__4144:532–46. Springer, 2006.https://doi.org/10.1007/11817963_48 .
LibreCat: https://research-explorer.ista.ac.at/record/4574
DOI: 10.1007/11817963_48

Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Computation Revisited.” ArXiv, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/573
arXiv: 0607101

Hosten, Onur, and Paul Kwiat. “Weak Measurements and Counterfactual Computation.” ArXiv, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/574
arXiv: 0612159

Peters, Nicholas, Keith Arnold, Aaron Vandevender, Evan Jeffrey, Radhika Rangarajan, Onur Hosten, Julio Barreiro, Joseph Altepeter, and Paul Kwiat. “Towards a Quasi-Deterministic Single-Photon Source,”https://doi.org/10.1117/12.684702__Vol. 6305. SPIE, 2006.https://doi.org/10.1117/12.684702 .
LibreCat: https://research-explorer.ista.ac.at/record/578
DOI: 10.1117/12.684702

Rangarajan, Radhika, Joseph Altepeter, Evan Jeffrey, Micah Stoutimore, Nicholas Peters, Onur Hosten, and Paul Kwiat. “High-Efficiency Single-Photon Detectors,”https://doi.org/10.1117/12.686117__Vol. 6372. SPIE, 2006.https://doi.org/10.1117/12.686117 .
LibreCat: https://research-explorer.ista.ac.at/record/577
DOI: 10.1117/12.686117

Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Quantum Computation through Quantum Interrogation.”https://doi.org/10.1038/nature04523__Nature. Nature Publishing Group, 2006.https://doi.org/10.1038/nature04523 .
LibreCat: https://research-explorer.ista.ac.at/record/579
DOI: 10.1038/nature04523

Rangarajan, Radhika, Nicholas Peters, Onur Hosten, Joseph Altepeter, Evan Jeffrey, and Paul Kwiat. “Improved Single-Photon Detection.”https://doi.org/10.1109/CLEO.2006.4628641__IEEE, 2006.https://doi.org/10.1109/CLEO.2006.4628641 .
LibreCat: https://research-explorer.ista.ac.at/record/583
DOI: 10.1109/CLEO.2006.4628641

Salecker, Iris, Michael Häusser, and Mario de Bono. “On the Axonal Road to Circuit Function and Behaviour: Workshop on the Assembly and Function of Neuronal Circuits.”https://doi.org/10.1038/sj.embor.7400713__EMBO Reports. Wiley, 2006.https://doi.org/10.1038/sj.embor.7400713 .
LibreCat: https://research-explorer.ista.ac.at/record/6151
DOI: 10.1038/sj.embor.7400713
PMID: 16729018

Rogers, Candida, Annelie Persson, Benny Cheung, and Mario de Bono. “Behavioral Motifs and Neural Pathways Coordinating O2 Responses and Aggregation in C. Elegans.”https://doi.org/10.1016/j.cub.2006.03.023__Current Biology. Elsevier, 2006.https://doi.org/10.1016/j.cub.2006.03.023 .
LibreCat: https://research-explorer.ista.ac.at/record/6152
DOI: 10.1016/j.cub.2006.03.023
PMID: 16581509

Freunberger, Stefan Alexander, Mathias Reum, Jorg Evertz, Alexander Wokaun, and Felix N. Buchi. “Measuring the Current Distribution in PEFCs with Sub-Millimeter Resolution.”https://doi.org/10.1149/1.2345591__Journal of The Electrochemical Society. The Electrochemical Society, 2006.https://doi.org/10.1149/1.2345591 .
LibreCat: https://research-explorer.ista.ac.at/record/7328
DOI: 10.1149/1.2345591

Santis, Marco, Stefan Alexander Freunberger, Matthias Papra, Alexander Wokaun, and Felix N. Büchi. “Experimental Investigation of Coupling Phenomena in Polymer Electrolyte Fuel Cell Stacks.”https://doi.org/10.1016/j.jpowsour.2006.06.007__Journal of Power Sources. Elsevier, 2006.https://doi.org/10.1016/j.jpowsour.2006.06.007 .
LibreCat: https://research-explorer.ista.ac.at/record/7327
DOI: 10.1016/j.jpowsour.2006.06.007

Buchi, Felix N., Stefan Alexander Freunberger, and Marco Santis. “What Is Learned beyond the Scale of Single Cells?”https://doi.org/10.1149/1.2356215__In ECS Transactions, 3:963–68. ECS, 2006.https://doi.org/10.1149/1.2356215 .
LibreCat: https://research-explorer.ista.ac.at/record/7326
DOI: 10.1149/1.2356215

Freunberger, Stefan Alexander, Mathias Reum, Alexander Wokaun, and Felix N. Büchi. “Expanding Current Distribution Measurement in PEFCs to Sub-Millimeter Resolution.”https://doi.org/10.1016/j.elecom.2006.05.032__Electrochemistry Communications. Elsevier, 2006.https://doi.org/10.1016/j.elecom.2006.05.032 .
LibreCat: https://research-explorer.ista.ac.at/record/7329
DOI: 10.1016/j.elecom.2006.05.032

Santis, M., Stefan Alexander Freunberger, A. Reiner, and F.N. Büchi. “Homogenization of the Current Density in Polymer Electrolyte Fuel Cells by In-Plane Cathode Catalyst Gradients.”https://doi.org/10.1016/j.electacta.2006.02.008__Electrochimica Acta. Elsevier, 2006.https://doi.org/10.1016/j.electacta.2006.02.008 .
LibreCat: https://research-explorer.ista.ac.at/record/7330
DOI: 10.1016/j.electacta.2006.02.008

Freunberger, Stefan Alexander, Marco Santis, Ingo A. Schneider, Alexander Wokaun, and Felix N. Buchi. “In-Plane Effects in Large-Scale PEMFCs.”https://doi.org/10.1149/1.2150150__Journal of The Electrochemical Society. The Electrochemical Society, 2006.https://doi.org/10.1149/1.2150150 .
LibreCat: https://research-explorer.ista.ac.at/record/7332
DOI: 10.1149/1.2150150

Freunberger, Stefan Alexander, Alexander Wokaun, and Felix N. Buchi. “In-Plane Effects in Large-Scale PEFCs: II. The Influence of Cooling Strategy on Cell Performance.”https://doi.org/10.1149/1.2185282__Journal of The Electrochemical Society. The Electrochemical Society, 2006.https://doi.org/10.1149/1.2185282 .
LibreCat: https://research-explorer.ista.ac.at/record/7331
DOI: 10.1149/1.2185282

Rogaev, Evgeny, Yuri Moliaka, Boris Malyarchuk, Fyodor Kondrashov, Miroslava Derenko, Ilya Chumakov, and Anastasia Grigorenko. “Complete Mitochondrial Genome and Phylogeny of Pleistocene Mammoth Mammuthus Primigenius.”https://doi.org/10.1371/journal.pbio.0040073__PLoS Biology. Public Library of Science, 2006.https://doi.org/10.1371/journal.pbio.0040073 .
LibreCat: https://research-explorer.ista.ac.at/record/854
DOI: 10.1371/journal.pbio.0040073

Kondrashov, Fyodor, Eugene Koonin, Igor Morgunov, Tatiana Finogenova, and Marie Kondrashova. “Evolution of Glyoxylate Cycle Enzymes in Metazoa Evidence of Multiple Horizontal Transfer Events and Pseudogene Formation.”https://doi.org/10.1186/1745-6150-1-31__Biology Direct. BioMed Central, 2006.https://doi.org/10.1186/1745-6150-1-31 .
LibreCat: https://research-explorer.ista.ac.at/record/868
DOI: 10.1186/1745-6150-1-31

Kondrashov, Fyodor, and Alexey Kondrashov. “Role of Selection in Fixation of Gene Duplications.”https://doi.org/10.1016/j.jtbi.2005.08.033__Journal of Theoretical Biology. Elsevier, 2006.https://doi.org/10.1016/j.jtbi.2005.08.033 .
LibreCat: https://research-explorer.ista.ac.at/record/873
DOI: 10.1016/j.jtbi.2005.08.033

Schanda, Paul, Vincent Forge, and Bernhard Brutscher. “HET-SOFAST NMR for Fast Detection of Structural Compactness and Heterogeneity along Polypeptide Chains.”https://doi.org/10.1002/mrc.1825__Magnetic Resonance in Chemistry. Wiley, 2006.https://doi.org/10.1002/mrc.1825 .
LibreCat: https://research-explorer.ista.ac.at/record/8489
DOI: 10.1002/mrc.1825

Schanda, Paul, Hélène Van Melckebeke, and Bernhard Brutscher. “Speeding up Three-Dimensional Protein NMR Experiments to a Few Minutes.”https://doi.org/10.1021/ja062025p__Journal of the American Chemical Society. American Chemical Society, 2006.https://doi.org/10.1021/ja062025p .
LibreCat: https://research-explorer.ista.ac.at/record/8488
DOI: 10.1021/ja062025p

Schanda, Paul, and Bernhard Brutscher. “Hadamard Frequency-Encoded SOFAST-HMQC for Ultrafast Two-Dimensional Protein NMR.”https://doi.org/10.1016/j.jmr.2005.10.007__Journal of Magnetic Resonance. Elsevier, 2006.https://doi.org/10.1016/j.jmr.2005.10.007 .
LibreCat: https://research-explorer.ista.ac.at/record/8490
DOI: 10.1016/j.jmr.2005.10.007

OTT, WILLIAM, BRIAN HUNT, and Vadim Kaloshin. “The Effect of Projections on Fractal Sets and Measures in Banach Spaces.”https://doi.org/10.1017/s0143385705000714__Ergodic Theory and Dynamical Systems. Cambridge University Press, 2006.https://doi.org/10.1017/s0143385705000714 .
LibreCat: https://research-explorer.ista.ac.at/record/8514
DOI: 10.1017/s0143385705000714

Kaloshin, Vadim, D. DOLGOPYAT, and L. KORALOV. “Long Time Behaviour of Periodic Stochastic Flows.”https://doi.org/10.1142/9789812704016_0026__In XIVth International Congress on Mathematical Physics, 290–95. World Scientific, 2006.https://doi.org/10.1142/9789812704016_0026 .
LibreCat: https://research-explorer.ista.ac.at/record/8515
DOI: 10.1142/9789812704016_0026

Kaloshin, Vadim, and Maria Saprykina. “Generic 3-Dimensional Volume-Preserving Diffeomorphisms with Superexponential Growth of Number of Periodic Orbits.”https://doi.org/10.3934/dcds.2006.15.611__Discrete &; Continuous Dynamical Systems - A. American Institute of Mathematical Sciences (AIMS), 2006.https://doi.org/10.3934/dcds.2006.15.611 .
LibreCat: https://research-explorer.ista.ac.at/record/8513
DOI: 10.3934/dcds.2006.15.611

Kondrashov, Fyodor, Aleksey Ogurtsov, and Alexey Kondrashov. “Selection in Favor of Nucleotides G and C Diversifies Evolution Rates and Levels of Polymorphism at Mammalian Synonymous Sites.”https://doi.org/10.1016/j.jtbi.2005.10.020__Journal of Theoretical Biology. Elsevier, 2006.https://doi.org/10.1016/j.jtbi.2005.10.020 .
LibreCat: https://research-explorer.ista.ac.at/record/869
DOI: 10.1016/j.jtbi.2005.10.020

Babenko, Vladimir, Malay Basu, Fyodor Kondrashov, Igor Rogozin, and Eugene Koonin. “Signs of Positive Selection of Somatic Mutations in Human Cancers Detected by EST Sequence Analysis.”https://doi.org/10.1186/1471-2407-6-36__BMC Cancer. BioMed Central, 2006.https://doi.org/10.1186/1471-2407-6-36 .
LibreCat: https://research-explorer.ista.ac.at/record/903
DOI: 10.1186/1471-2407-6-36

Zilberman, Daniel, Mary Gehring, Robert K. Tran, Tracy Ballinger, and Steven Henikoff. “Genome-Wide Analysis of Arabidopsis Thaliana DNA Methylation Uncovers an Interdependence between Methylation and Transcription.”https://doi.org/10.1038/ng1929__Nature Genetics. Nature Publishing Group, 2006.https://doi.org/10.1038/ng1929 .
LibreCat: https://research-explorer.ista.ac.at/record/9505
DOI: 10.1038/ng1929
PMID: 17128275

Fialkowski, Marcin, Kyle J. M. Bishop, Rafal Klajn, Stoyan K. Smoukov, Christopher J. Campbell, and Bartosz A. Grzybowski. “Principles and Implementations of Dissipative (Dynamic) Self-Assembly.”https://doi.org/10.1021/jp054153q__The Journal of Physical Chemistry B. American Chemical Society, 2006.https://doi.org/10.1021/jp054153q .
LibreCat: https://research-explorer.ista.ac.at/record/13430
DOI: 10.1021/jp054153q
PMID: 16471845

Kalsin, Alexander M., Bartlomiej Kowalczyk, Stoyan K. Smoukov, Rafal Klajn, and Bartosz A. Grzybowski. “Ionic-like Behavior of Oppositely Charged Nanoparticles.”https://doi.org/10.1021/ja0642966__Journal of the American Chemical Society. American Chemical Society, 2006.https://doi.org/10.1021/ja0642966 .
LibreCat: https://research-explorer.ista.ac.at/record/13428
DOI: 10.1021/ja0642966
PMID: 17117829

Bishop, Kyle J. M., Rafal Klajn, and Bartosz A. Grzybowski. “The Core and Most Useful Molecules in Organic Chemistry.”https://doi.org/10.1002/anie.200600881__Angewandte Chemie International Edition. Wiley, 2006.https://doi.org/10.1002/anie.200600881 .
LibreCat: https://research-explorer.ista.ac.at/record/13429
DOI: 10.1002/anie.200600881
PMID: 16835857