de Vladar, Harold. “Density-Dependence as a Size-Independent Regulatory Mechanism.”3802__Journal of Theoretical Biology, vol. 238, no. 2, Elsevier, 2006, pp. 245–56, doi:3802.
LibreCat: https://research-explorer.ista.ac.at/record/4237
DOI: 3802

de Vladar, Harold, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.” Journal of Theoretical Biology, Elsevier, 2006, pp. 91–109.
LibreCat: https://research-explorer.ista.ac.at/record/4235

Roze, Denis, and Nicholas H. Barton. “The Hill-Robertson Effect and the Evolution of Recombination.”10.1534/genetics.106.058586 __Genetics, vol. 173, no. 3, Genetics Society of America, 2006, pp. 1793–811, doi:10.1534/genetics.106.058586 .
LibreCat: https://research-explorer.ista.ac.at/record/4248
DOI: 10.1534/genetics.106.058586 

Barton, Nicholas H. “Evolutionary Biology: How Did the Human Species Form?”10.1016/j.cub.2006.07.032__Current Biology, vol. 16, no. 16, Cell Press, 2006, pp. 647–50, doi:10.1016/j.cub.2006.07.032.
LibreCat: https://research-explorer.ista.ac.at/record/4250
DOI: 10.1016/j.cub.2006.07.032

Wies, Thomas, et al. Field Constraint Analysis. Springer, 2006, pp. 157–73, doi:1551.
LibreCat: https://research-explorer.ista.ac.at/record/4359
DOI: 1551

Maler, Oded, et al. Real Time Temporal Logic: Past, Present, Future. Springer, 2006, pp. 2–16, doi:1571.
LibreCat: https://research-explorer.ista.ac.at/record/4373
DOI: 1571

Maler, Oded, et al. From MITL to Timed Automata. Springer, 2006, pp. 274–89, doi:1570.
LibreCat: https://research-explorer.ista.ac.at/record/4374
DOI: 1570

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.
LibreCat: https://research-explorer.ista.ac.at/record/4406
DOI: 10.1007/11817963_5

Alur, Rajeev, et al. Preserving Secrecy Under Refinement. Springer, 2006, pp. 107–18, doi:1543.
LibreCat: https://research-explorer.ista.ac.at/record/4401
DOI: 1543

Henzinger, Thomas A., and Nir Piterman. Solving Games without Determinization. Vol. 4207, Springer, 2006, pp. 395–410, doi:10.1007/11874683_26.
LibreCat: https://research-explorer.ista.ac.at/record/4437
DOI: 10.1007/11874683_26

Henzinger, Thomas A., and Slobodan Matic. An Interface Algebra for Real-Time Components. IEEE, 2006, pp. 253–66, doi: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. Vol. 4202, Springer, 2006, pp. 1–17, doi: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. Vol. 4085, Springer, 2006, pp. 1–15, doi:10.1007/11813040_1.
LibreCat: https://research-explorer.ista.ac.at/record/4431
DOI: 10.1007/11813040_1

Henzinger, Thomas A., et al. “On the Universal and Existential Fragments of the Mu-Calculus.”10.1016/j.tcs.2005.11.015__Theoretical Computer Science, vol. 354, no. 2, Elsevier, 2006, pp. 173–86, doi: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, et al. Synergy: A New Algorithm for Property Checking. ACM, 2006, pp. 117–27, doi:10.1145/1181775.1181790.
LibreCat: https://research-explorer.ista.ac.at/record/4523
DOI: 10.1145/1181775.1181790

Ghosal, Arkadeb, et al. A Hierarchical Coordination Language for Interacting Real-Time Tasks. ACM, 2006, pp. 132–41, doi: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. IEEE, 2006, pp. 1675–82, doi: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. Vol. 3920, Springer, 2006, pp. 257–71, doi: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. Vol. 3884, Springer, 2006, pp. 512–23, doi:10.1007/11672142_42.
LibreCat: https://research-explorer.ista.ac.at/record/4538
DOI: 10.1007/11672142_42

Chatterjee, Krishnendu, et al. Markov Decision Processes with Multiple Objectives. Vol. 3884, Springer, 2006, pp. 325–36, doi:10.1007/11672142_26.
LibreCat: https://research-explorer.ista.ac.at/record/4551
DOI: 10.1007/11672142_26

Chatterjee, Krishnendu, et al. “Games with Secure Equilibria.”10.1016/j.tcs.2006.07.032__Theoretical Computer Science, vol. 365, no. 1–2, Elsevier, 2006, pp. 67–82, doi: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, et al. Compositional Quantitative Reasoning. IEEE, 2006, pp. 179–88, doi:10.1109/QEST.2006.11.
LibreCat: https://research-explorer.ista.ac.at/record/4549
DOI: 10.1109/QEST.2006.11

Chatterjee, Krishnendu, et al. Strategy Improvement for Concurrent Reachability Games. IEEE, 2006, pp. 291–300, doi:10.1109/QEST.2006.48.
LibreCat: https://research-explorer.ista.ac.at/record/4552
DOI: 10.1109/QEST.2006.48

Beyer, Dirk, et al. Lazy Shape Analysis. Vol. 4144, Springer, 2006, pp. 532–46, doi:10.1007/11817963_48.
LibreCat: https://research-explorer.ista.ac.at/record/4574
DOI: 10.1007/11817963_48

Hosten, Onur, et al. 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, et al. Towards a Quasi-Deterministic Single-Photon Source. Vol. 6305, SPIE, 2006, doi:10.1117/12.684702.
LibreCat: https://research-explorer.ista.ac.at/record/578
DOI: 10.1117/12.684702

Rangarajan, Radhika, et al. High-Efficiency Single-Photon Detectors. Vol. 6372, SPIE, 2006, doi:10.1117/12.686117.
LibreCat: https://research-explorer.ista.ac.at/record/577
DOI: 10.1117/12.686117

Hosten, Onur, et al. “Counterfactual Quantum Computation through Quantum Interrogation.”10.1038/nature04523__Nature, vol. 439, no. 7079, Nature Publishing Group, 2006, pp. 949–52, doi:10.1038/nature04523.
LibreCat: https://research-explorer.ista.ac.at/record/579
DOI: 10.1038/nature04523

Rangarajan, Radhika, et al. Improved Single-Photon Detection. IEEE, 2006, doi:10.1109/CLEO.2006.4628641.
LibreCat: https://research-explorer.ista.ac.at/record/583
DOI: 10.1109/CLEO.2006.4628641

Salecker, Iris, et al. “On the Axonal Road to Circuit Function and Behaviour: Workshop on the Assembly and Function of Neuronal Circuits.”10.1038/sj.embor.7400713__EMBO Reports, vol. 7, no. 6, Wiley, 2006, pp. 585–89, doi:10.1038/sj.embor.7400713.
LibreCat: https://research-explorer.ista.ac.at/record/6151
DOI: 10.1038/sj.embor.7400713
PMID: 16729018

Rogers, Candida, et al. “Behavioral Motifs and Neural Pathways Coordinating O2 Responses and Aggregation in C. Elegans.”10.1016/j.cub.2006.03.023__Current Biology, vol. 16, no. 7, Elsevier, 2006, pp. 649–59, doi: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, et al. “Measuring the Current Distribution in PEFCs with Sub-Millimeter Resolution.”10.1149/1.2345591__Journal of The Electrochemical Society, vol. 153, no. 11, 58, The Electrochemical Society, 2006, doi:10.1149/1.2345591.
LibreCat: https://research-explorer.ista.ac.at/record/7328
DOI: 10.1149/1.2345591

Santis, Marco, et al. “Experimental Investigation of Coupling Phenomena in Polymer Electrolyte Fuel Cell Stacks.”10.1016/j.jpowsour.2006.06.007__Journal of Power Sources, vol. 161, no. 2, Elsevier, 2006, pp. 1076–83, doi: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., et al. “What Is Learned beyond the Scale of Single Cells?”10.1149/1.2356215__ECS Transactions, vol. 3, no. 1, ECS, 2006, pp. 963–68, doi:10.1149/1.2356215.
LibreCat: https://research-explorer.ista.ac.at/record/7326
DOI: 10.1149/1.2356215

Freunberger, Stefan Alexander, et al. “Expanding Current Distribution Measurement in PEFCs to Sub-Millimeter Resolution.”10.1016/j.elecom.2006.05.032__Electrochemistry Communications, vol. 8, no. 9, Elsevier, 2006, pp. 1435–38, doi: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., et al. “Homogenization of the Current Density in Polymer Electrolyte Fuel Cells by In-Plane Cathode Catalyst Gradients.”10.1016/j.electacta.2006.02.008__Electrochimica Acta, vol. 51, no. 25, Elsevier, 2006, pp. 5383–93, doi: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, et al. “In-Plane Effects in Large-Scale PEMFCs.”10.1149/1.2150150__Journal of The Electrochemical Society, vol. 153, no. 2, 6, The Electrochemical Society, 2006, doi:10.1149/1.2150150.
LibreCat: https://research-explorer.ista.ac.at/record/7332
DOI: 10.1149/1.2150150

Freunberger, Stefan Alexander, et al. “In-Plane Effects in Large-Scale PEFCs: II. The Influence of Cooling Strategy on Cell Performance.”10.1149/1.2185282__Journal of The Electrochemical Society, vol. 153, no. 5, 9, The Electrochemical Society, 2006, doi:10.1149/1.2185282.
LibreCat: https://research-explorer.ista.ac.at/record/7331
DOI: 10.1149/1.2185282

Rogaev, Evgeny, et al. “Complete Mitochondrial Genome and Phylogeny of Pleistocene Mammoth Mammuthus Primigenius.”10.1371/journal.pbio.0040073__PLoS Biology, vol. 4, no. 3, Public Library of Science, 2006, pp. 0403–10, doi:10.1371/journal.pbio.0040073.
LibreCat: https://research-explorer.ista.ac.at/record/854
DOI: 10.1371/journal.pbio.0040073

Kondrashov, Fyodor, et al. “Evolution of Glyoxylate Cycle Enzymes in Metazoa Evidence of Multiple Horizontal Transfer Events and Pseudogene Formation.”10.1186/1745-6150-1-31__Biology Direct, vol. 1, BioMed Central, 2006, doi: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.”10.1016/j.jtbi.2005.08.033__Journal of Theoretical Biology, vol. 239, no. 2, Elsevier, 2006, pp. 141–51, doi: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, et al. “HET-SOFAST NMR for Fast Detection of Structural Compactness and Heterogeneity along Polypeptide Chains.”10.1002/mrc.1825__Magnetic Resonance in Chemistry, vol. 44, no. , Wiley, 2006, pp. 77–84, doi:10.1002/mrc.1825.
LibreCat: https://research-explorer.ista.ac.at/record/8489
DOI: 10.1002/mrc.1825

Schanda, Paul, et al. “Speeding up Three-Dimensional Protein NMR Experiments to a Few Minutes.”10.1021/ja062025p__Journal of the American Chemical Society, vol. 128, no. 28, American Chemical Society, 2006, pp. 9042–43, doi: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.”10.1016/j.jmr.2005.10.007__Journal of Magnetic Resonance, vol. 178, no. 2, Elsevier, 2006, pp. 334–39, doi: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, et al. “The Effect of Projections on Fractal Sets and Measures in Banach Spaces.”10.1017/s0143385705000714__Ergodic Theory and Dynamical Systems, vol. 26, no. 3, Cambridge University Press, 2006, pp. 869–91, doi:10.1017/s0143385705000714.
LibreCat: https://research-explorer.ista.ac.at/record/8514
DOI: 10.1017/s0143385705000714

Kaloshin, Vadim, et al. “Long Time Behaviour of Periodic Stochastic Flows.”10.1142/9789812704016_0026__XIVth International Congress on Mathematical Physics, World Scientific, 2006, pp. 290–95, doi: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.”10.3934/dcds.2006.15.611__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.
LibreCat: https://research-explorer.ista.ac.at/record/8513
DOI: 10.3934/dcds.2006.15.611

Kondrashov, Fyodor, et al. “Selection in Favor of Nucleotides G and C Diversifies Evolution Rates and Levels of Polymorphism at Mammalian Synonymous Sites.”10.1016/j.jtbi.2005.10.020__Journal of Theoretical Biology, vol. 240, no. 4, Elsevier, 2006, pp. 616–26, doi: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, et al. “Signs of Positive Selection of Somatic Mutations in Human Cancers Detected by EST Sequence Analysis.”10.1186/1471-2407-6-36__BMC Cancer, vol. 6, BioMed Central, 2006, doi:10.1186/1471-2407-6-36.
LibreCat: https://research-explorer.ista.ac.at/record/903
DOI: 10.1186/1471-2407-6-36

Zilberman, Daniel, et al. “Genome-Wide Analysis of Arabidopsis Thaliana DNA Methylation Uncovers an Interdependence between Methylation and Transcription.”10.1038/ng1929__Nature Genetics, vol. 39, no. 1, Nature Publishing Group, 2006, pp. 61–69, doi:10.1038/ng1929.
LibreCat: https://research-explorer.ista.ac.at/record/9505
DOI: 10.1038/ng1929
PMID: 17128275

Fialkowski, Marcin, et al. “Principles and Implementations of Dissipative (Dynamic) Self-Assembly.”10.1021/jp054153q__The Journal of Physical Chemistry B, vol. 110, no. 6, American Chemical Society, 2006, pp. 2482–96, doi:10.1021/jp054153q.
LibreCat: https://research-explorer.ista.ac.at/record/13430
DOI: 10.1021/jp054153q
PMID: 16471845

Kalsin, Alexander M., et al. “Ionic-like Behavior of Oppositely Charged Nanoparticles.”10.1021/ja0642966__Journal of the American Chemical Society, vol. 128, no. 47, American Chemical Society, 2006, pp. 15046–47, doi:10.1021/ja0642966.
LibreCat: https://research-explorer.ista.ac.at/record/13428
DOI: 10.1021/ja0642966
PMID: 17117829

Bishop, Kyle J. M., et al. “The Core and Most Useful Molecules in Organic Chemistry.”10.1002/anie.200600881__Angewandte Chemie International Edition, vol. 45, no. 32, Wiley, 2006, pp. 5348–54, doi:10.1002/anie.200600881.
LibreCat: https://research-explorer.ista.ac.at/record/13429
DOI: 10.1002/anie.200600881
PMID: 16835857