Vida, Imre, et al. “Shunting Inhibition Improves Robustness of Gamma Oscillations in Hippocampal Interneuron Networks by Homogenizing Firing Rates.”10.1016/j.neuron.2005.11.036__Neuron, vol. 49, no. 1, Elsevier, 2006, pp. 107–17, doi:10.1016/j.neuron.2005.11.036.
LibreCat: https://research-explorer.ista.ac.at/record/3811
DOI: 10.1016/j.neuron.2005.11.036

Frotscher, Michael, et al. “The Most Important Recent Advances in Synapse Research from My Point of View--and What Remains to Be Done.”10.1007/s00441-006-0325-y__Cell and Tissue Research, vol. 326, no. 2, Springer, 2006, pp. 203–04, doi:10.1007/s00441-006-0325-y.
LibreCat: https://research-explorer.ista.ac.at/record/3817
DOI: 10.1007/s00441-006-0325-y

Cremer, Sylvia, et al. “Attack of the Invasive Garden Ant: Aggression Behaviour of Lasius Neglectus (Hymenoptera: Formicidae) against Native Lasius Species in Spain.” Myrmecological News, vol. 9, Österreichische Gesellschaft für Entomofaunistik, 2006, pp. 13–19.
LibreCat: https://research-explorer.ista.ac.at/record/3912

Moder, Karl, et al. “Optimal Species Distinction by Discriminant Analysis: Comparing Established Methods of Character Selection with a Combination Procedure Using Ant Morphometrics as a Case Study.”10.1111/j.1439-0469.2006.00372.x__Journal of Zoological Systematics and Evolutionary Research, vol. 45, no. 1, Wiley-Blackwell, 2006, pp. 82–87, doi:10.1111/j.1439-0469.2006.00372.x.
LibreCat: https://research-explorer.ista.ac.at/record/3914
DOI: 10.1111/j.1439-0469.2006.00372.x

Heinze, Jürgen, et al. “Stealthy Invaders: The Biology of Cardiocondyla Tramp Ants.”10.1007/s00040-005-0847-4__Insectes Sociaux, vol. 53, no. 1, Springer, 2006, pp. 1–7, doi:10.1007/s00040-005-0847-4.
LibreCat: https://research-explorer.ista.ac.at/record/3913
DOI: 10.1007/s00040-005-0847-4

Henic, Emir, et al. “EGF-Stimulated Migration in Ovarian Cancer Cells Is Associated with Decreased Internalization, Increased Surface Expression, and Increased Shedding of the Urokinase Plasminogen Activator Receptor.”10.1016/j.ygyno.2005.09.038__Gynecologic Oncology, vol. 101, no. 1, Elsevier, 2006, pp. 28–39, doi:10.1016/j.ygyno.2005.09.038.
LibreCat: https://research-explorer.ista.ac.at/record/3932
DOI: 10.1016/j.ygyno.2005.09.038

Ban, Yih, et al. “Evaluating the Quality of NMR Structures by Local Density of Protons.”10.1002/prot.20811__Proteins: Structure, Function and Bioinformatics, vol. 62, no. 4, Wiley-Blackwell, 2006, pp. 852–64, doi:10.1002/prot.20811.
LibreCat: https://research-explorer.ista.ac.at/record/3978
DOI: 10.1002/prot.20811

Ban, Yih, et al. “Interface Surfaces for Protein-Protein Complexes.”10.1145/1147954.1147957__Journal of the ACM, vol. 53, no. 3, ACM, 2006, pp. 361–78, doi:10.1145/1147954.1147957.
LibreCat: https://research-explorer.ista.ac.at/record/3979
DOI: 10.1145/1147954.1147957

Agarwal, Pankaj, et al. “Extreme Elevation on a 2-Manifold.”10.1007/s00454-006-1265-8__Discrete &; Computational Geometry, vol. 36, no. 4, Springer, 2006, pp. 553–72, doi:10.1007/s00454-006-1265-8.
LibreCat: https://research-explorer.ista.ac.at/record/3980
DOI: 10.1007/s00454-006-1265-8

Danowski, Patrick, and Lambert Heller. “Bibliothek 2.0 - Die Bibliothek Der Zukunft?”424__Bibliotheksdienst, vol. 40, no. 11, Zentral- und Landesbibliothek Berlin, 2006, pp. 1250–71, doi:424.
LibreCat: https://research-explorer.ista.ac.at/record/4345
DOI: 424

Conn, Jan, et al. “Population Structure of the Malaria Vector Anopheles Darlingi in a Malaria-Endemic Region of Eastern Amazonian Brazil.” The American Journal of Tropical Medicine and Hygiene, vol. 74, no. 5, American Society of Tropical Medicine and Hygiene, 2006, pp. 798–806.
LibreCat: https://research-explorer.ista.ac.at/record/4352

Bollback, Jonathan P. “SIMMAP: Stochastic Character Mapping of Discrete Traits on Phylogenies.”10.1186/1471-2105-7-88__BMC Bioinformatics, vol. 7, BioMed Central, 2006, doi:10.1186/1471-2105-7-88.
LibreCat: https://research-explorer.ista.ac.at/record/4351
DOI: 10.1186/1471-2105-7-88

Szeliski, Richard, et al. A Comparative Study of Energy Minimization Methods for Markov Random Fields. Vol. 3952, Springer, 2006, pp. 16–29, doi:10.1007/11744047_2.
LibreCat: https://research-explorer.ista.ac.at/record/3180
DOI: 10.1007/11744047_2

Kolmogorov, Vladimir, and Carsten Rother. Comparison of Energy Minimization Algorithms for Highly Connected Graphs. Vol. 3952 LNCS, Springer, 2006, pp. 1–15, doi:10.1007/11744047_1.
LibreCat: https://research-explorer.ista.ac.at/record/3184
DOI: 10.1007/11744047_1

Kolmogorov, Vladimir, et al. “Probabilistic Fusion of Stereo with Color and Contrast for Bilayer Segmentation.”10.1109/TPAMI.2006.193__IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 28, no. 9, IEEE, 2006, pp. 1480–92, doi:10.1109/TPAMI.2006.193.
LibreCat: https://research-explorer.ista.ac.at/record/3185
DOI: 10.1109/TPAMI.2006.193

Boykov, Yuri, et al. An Integral Solution to Surface Evolution PDEs via Geo Cuts. Vol. 3953, Springer, 2006, pp. 409–22, doi:10.1007/11744078_32.
LibreCat: https://research-explorer.ista.ac.at/record/3186
DOI: 10.1007/11744078_32

Janovjak, Harald L., et al. “Atomic Force Microscopy.” Techniques in Microscopy for Biomedical Applications, vol. 2, World Scientific Publishing, 2006, pp. 213–84.
LibreCat: https://research-explorer.ista.ac.at/record/3404

Kessler, Max, et al. “Bacteriorhodopsin Folds into the Membrane against an External Force.”10.1016/j.jmb.2005.12.065__Journal of Molecular Biology, vol. 357, no. 2, Elsevier, 2006, pp. 644–54, doi:10.1016/j.jmb.2005.12.065.
LibreCat: https://research-explorer.ista.ac.at/record/3413
DOI: 10.1016/j.jmb.2005.12.065

Kedrov, Alexej, et al. “Observing Folding Pathways and Kinetics of a Single Sodium-Proton Antiporter from Escherichia Coli.”10.1016/j.jmb.2005.10.028__Journal of Molecular Biology, vol. 355, no. 1, Elsevier, 2006, pp. 2–8, doi:10.1016/j.jmb.2005.10.028.
LibreCat: https://research-explorer.ista.ac.at/record/3414
DOI: 10.1016/j.jmb.2005.10.028

Janovjak, Harald L., et al. “Imaging and Detecting Molecular Interactions of Single Membrane Proteins.”10.1016/j.neurobiolaging.2005.03.031__Neurobiology of Aging, vol. 27, Elsevier, 2006, pp. 546–61, doi:10.1016/j.neurobiolaging.2005.03.031.
LibreCat: https://research-explorer.ista.ac.at/record/3415
DOI: 10.1016/j.neurobiolaging.2005.03.031

Betancourt, Andrea, and Jonathan P. Bollback. “Fitness Effects of Beneficial Mutations: The Mutational Landscape Model in Experimental Evolution.”10.1016/j.gde.2006.10.006__Current Opinion in Genetics &; Development, vol. 16, no. 6, Elsevier, 2006, pp. 618–23, doi:10.1016/j.gde.2006.10.006.
LibreCat: https://research-explorer.ista.ac.at/record/3437
DOI: 10.1016/j.gde.2006.10.006

Tkadik, Gasper, et al. “Ising Models for Networks of Real Neurons.” ArXiv, ArXiv, 2006, pp. 1–4.
LibreCat: https://research-explorer.ista.ac.at/record/3431

Chatterjee, Krishnendu, et al. Games for Controls. IEEE, 2006, pp. 70–82, doi:10.1109/CSFW.2006.14.
LibreCat: https://research-explorer.ista.ac.at/record/3449
DOI: 10.1109/CSFW.2006.14

Bischofberger, Joseph, et al. “Timing and Efficacy of Transmitter Release at Mossy Fiber Synapses in the Hippocampal Network. (Review).”10.1007/s00424-006-0093-2__Pflugers Archivf: European Journal of Physiology, vol. 453, no. 3, Springer, 2006, pp. 361–72, doi:10.1007/s00424-006-0093-2.
LibreCat: https://research-explorer.ista.ac.at/record/3463
DOI: 10.1007/s00424-006-0093-2

Chatterjee, Krishnendu. Nash Equilibrium for Upward-Closed Objectives. Vol. 4207, Springer, 2006, pp. 271–86, doi:10.1007/11874683_18.
LibreCat: https://research-explorer.ista.ac.at/record/3499
DOI: 10.1007/11874683_18

Chatterjee, Krishnendu, et al. Algorithms for Büchi Games. ACM, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3500

Edelsbrunner, Herbert, et al. Method, Apparatus and Computer Program Products for Automatically Generating NURBS Models of Triangulated Surfaces Using Homeomorphism. 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3510

Fu, Ping, et al. Manufacturing Methods and Systems for Rapid Production of Hearing-Aid Shells. 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3511

Fletcher, Yates, et al. Method, Apparatus and Computer Products That Reconstruct Surfaces from Data Points. 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3512

Magill, Peter, et al. “Changes in Functional Connectivity within the Rat Striatopallidal Axis during Global Brain Activation in Vivo.”10.1523/â€‹JNEUROSCI.0620-06.2006__Journal of Neuroscience, vol. 26, no. 23, Society for Neuroscience, 2006, pp. 6318–29, doi:10.1523/â€‹JNEUROSCI.0620-06.2006.
LibreCat: https://research-explorer.ista.ac.at/record/3545
DOI: 10.1523/â€‹JNEUROSCI.0620-06.2006

Cohen Steiner, David, et al. Vines and Vineyards by Updating Persistence in Linear Time. ACM, 2006, pp. 119–26, doi:10.1145/1137856.1137877.
LibreCat: https://research-explorer.ista.ac.at/record/3559
DOI: 10.1145/1137856.1137877

Edelsbrunner, Herbert, et al. Persistence-Sensitive Simplification of Functions on 2-Manifolds. ACM, 2006, pp. 127–34, doi:10.1145/1137856.1137878.
LibreCat: https://research-explorer.ista.ac.at/record/3560
DOI: 10.1145/1137856.1137878

Pemberton, Josephine, et al. “Hybridisation between Red and Sika Deer in Scotland.” Deer, vol. 13, no. 9, BDS , 2006, pp. 22–26.
LibreCat: https://research-explorer.ista.ac.at/record/3594

Yanchukov, Alexey, et al. “Hybridization of Bombina Bombina and B. Variegata (Anura, Discoglossidae) at a Sharp Ecotone in Western Ukraine: Comparisons across Transects and over Time.”10.1111/j.0014-3820.2006.tb01139.x__Evolution; International Journal of Organic Evolution, vol. 60, no. 3, Wiley-Blackwell, 2006, pp. 583–600, doi:10.1111/j.0014-3820.2006.tb01139.x.
LibreCat: https://research-explorer.ista.ac.at/record/3609
DOI: 10.1111/j.0014-3820.2006.tb01139.x

Kirkpatrick, Mark, and Nicholas H. Barton. “Chromosome Inversions, Local Adaptation, and Speciation.”10.1534/genetics.105.047985__Genetics, vol. 173, no. 1, Genetics Society of America, 2006, pp. 419–34, doi:10.1534/genetics.105.047985.
LibreCat: https://research-explorer.ista.ac.at/record/3608
DOI: 10.1534/genetics.105.047985

Hill, William, et al. “Prediction of Effects of Genetic Drift on Variance Components under a General Model of Epistasis.”10.1016/j.tpb.2005.10.001__Theoretical Population Biology, vol. 70, no. 1, Academic Press, 2006, pp. 56–62, doi:10.1016/j.tpb.2005.10.001.
LibreCat: https://research-explorer.ista.ac.at/record/3610
DOI: 10.1016/j.tpb.2005.10.001

Ali, Haider, et al. Satellite Tracks Removal in Astronomical Images. Vol. 4225, Springer, 2006, pp. 892–901, doi:10.1007/11892755_92.
LibreCat: https://research-explorer.ista.ac.at/record/3679
DOI: 10.1007/11892755_92

Ulges, Adrian, et al. Spatiogram-Based Shot Distances for Video Retrieval. NIST (National Institute of Standards and Technology, US Department of Commerce), 2006, pp. 1–10.
LibreCat: https://research-explorer.ista.ac.at/record/3677

Lampert, Christoph, et al. Printing Technique Classification for Document Counterfeit Detection. Vol. 1, IEEE, 2006, pp. 639–634, doi:10.1109/ICCIAS.2006.294214.
LibreCat: https://research-explorer.ista.ac.at/record/3680
DOI: 10.1109/ICCIAS.2006.294214

Lampert, Christoph, and Oliver Wirjadi. “An Optimal Non-Orthogonal Separation of the Anisotropic Gaussian Convolution Filter.” 10.1109/TIP.2006.877501 __IEEE Transactions on Image Processing (TIP), vol. 15, no. 11, IEEE, 2006, pp. 3501–13, doi: 10.1109/TIP.2006.877501 .
LibreCat: https://research-explorer.ista.ac.at/record/3695
DOI:  10.1109/TIP.2006.877501 

Lampert, Christoph, and Oliver Wirjadi. Anisotropic Gaussian Filtering Using Fixed Point Arithmetic. IEEE, 2006, pp. 1565–68, doi:10.1109/ICIP.2006.312606.
LibreCat: https://research-explorer.ista.ac.at/record/3693
DOI: 10.1109/ICIP.2006.312606

Keysers, Daniel, et al. Color Image Dequantization by Constrained Diffusion. Vol. 6058, SPIE, 2006, doi:10.1117/12.648713.
LibreCat: https://research-explorer.ista.ac.at/record/3692
DOI: 10.1117/12.648713

Bippes, Christian, et al. “Direct Measurement of Single-Molecule Visco-Elasticity in Atomic Force Microscope Force-Extension Experiments.”10.1007/s00249-005-0023-9__European Biophysics Journal, vol. 35, no. 3, Springer, 2006, pp. 287–92, doi:10.1007/s00249-005-0023-9.
LibreCat: https://research-explorer.ista.ac.at/record/3729
DOI: 10.1007/s00249-005-0023-9

Cieplak, Marek, et al. “Pulling Single Bacteriorhodopsin out of a Membrane: Comparison of Simulation and Experiment.”10.1016/j.bbamem.2006.03.028__Biochimica et Biophysica Acta (BBA) - Biomembranes, vol. 1758, no. 4, Elsevier, 2006, pp. 537–44, doi:10.1016/j.bbamem.2006.03.028.
LibreCat: https://research-explorer.ista.ac.at/record/3728
DOI: 10.1016/j.bbamem.2006.03.028

Janovjak, Harald L., and Daniel Mueller. “Rastersondenmikroskopie.” Bioanalytik, Spektrum Akademischer Verlag, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3722

Le, Thuc, et al. “Dynamical Determinants of Drug-Inducible Gene Expression in a Single Bacterium.”10.1529/biophysj.105.073353__Biophysical Journal, vol. 90, no. 9, Biophysical Society, 2006, pp. 3315–21, doi:10.1529/biophysj.105.073353.
LibreCat: https://research-explorer.ista.ac.at/record/3755
DOI: 10.1529/biophysj.105.073353

Wojtan, Chris, et al. Keyframe Control of Complex Particle Systems Using the Adjoint Method. ACM, 2006, pp. 15–23.
LibreCat: https://research-explorer.ista.ac.at/record/3758

Bischofberger, Josef, et al. “Patch-Clamp Recording from Mossy Fiber Terminals in Hippocampal Slices.”10.1038/nprot.2006.312 __Nature Protocols, vol. 1, no. 4, Nature Publishing Group, 2006, pp. 2075–81, doi:10.1038/nprot.2006.312 .
LibreCat: https://research-explorer.ista.ac.at/record/3818
DOI: 10.1038/nprot.2006.312 

Chatterjee, Krishnendu, et al. The Complexity of Quantitative Concurrent Parity Games. SIAM, 2006, pp. 678–87, doi:10.1145/1109557.1109631.
LibreCat: https://research-explorer.ista.ac.at/record/3890
DOI: 10.1145/1109557.1109631

Chatterjee, Krishnendu, et al. Algorithms for Omega-Regular Games with Imperfect Information. Vol. 4207, Springer, 2006, pp. 287–302, doi:10.1007/11874683_19.
LibreCat: https://research-explorer.ista.ac.at/record/3889
DOI: 10.1007/11874683_19

Chatterjee, Krishnendu. Concurrent Games with Tail Objectives. Vol. 4207, Springer, 2006, pp. 256–70, doi:10.1007/11874683_17.
LibreCat: https://research-explorer.ista.ac.at/record/3891
DOI: 10.1007/11874683_17

Chatterjee, Krishnendu, and Thomas A. Henzinger. Strategy Improvement for Stochastic Rabin and Streett Games. Vol. 4137, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2006, pp. 375–89, doi:10.1007/11817949_25.
LibreCat: https://research-explorer.ista.ac.at/record/3888
DOI: 10.1007/11817949_25

Ustinova, Jana, et al. “Long Repeats in a Huge Gemome: Microsatellite Loci in the Grasshopper Chorthippus Biguttulus.”10.1007/s00239-005-0022-6__Journal of Molecular Evolution, vol. 62, no. 2, Springer, 2006, pp. 158–67, doi:10.1007/s00239-005-0022-6.
LibreCat: https://research-explorer.ista.ac.at/record/3908
DOI: 10.1007/s00239-005-0022-6

Drumea Mirancea, Mihaela, et al. “Characterization of a Conduit System Containing Laminin-5 in the Human Thymus: A Potential Transport System for Small Molecules.”10.1242/â€‹jcs.02840__Journal of Cell Science, vol. 119, no. Pt 7, Company of Biologists, 2006, pp. 1396–405, doi:10.1242/â€‹jcs.02840.
LibreCat: https://research-explorer.ista.ac.at/record/3934
DOI: 10.1242/â€‹jcs.02840

Chu, Haiyan, et al. “;3-Parvin Is Dispensable for Hematopoiesis, Leukocyte Trafficking, and T-Cell-Dependent Antibody Response.”10.1128/MCB.26.5.1817-1825.2006__Molecular and Cellular Biology, vol. 26, no. 5, American Society for Microbiology, 2006, pp. 1817–25, doi:10.1128/MCB.26.5.1817-1825.2006.
LibreCat: https://research-explorer.ista.ac.at/record/3935
DOI: 10.1128/MCB.26.5.1817-1825.2006

Sixt, Michael K., et al. “Integrins: Zip Codes and Signaling Relay for Blood Cells.”10.1016/j.ceb.2006.08.007__Current Opinion in Cell Biology, vol. 18, no. 5, Elsevier, 2006, pp. 482–90, doi:10.1016/j.ceb.2006.08.007.
LibreCat: https://research-explorer.ista.ac.at/record/3936
DOI: 10.1016/j.ceb.2006.08.007

Witzel, Sabine, et al. “Wnt11 Controls Cell Contact Persistence by Local Accumulation of Frizzled 7 at the Plasma Membrane.”10.1083/jcb.200606017__Journal of Cell Biology, vol. 175, no. 5, Rockefeller University Press, 2006, pp. 791–802, doi:10.1083/jcb.200606017.
LibreCat: https://research-explorer.ista.ac.at/record/4140
DOI: 10.1083/jcb.200606017

Tonelli, Davide, et al. “Single-Cell Detection of MicroRNAs in Developing Vertebrate Embryos after Acute Administration of a Dual-Fluorescence Reporter/Sensor Plasmid.”10.2144/000112296__Biotechniques, vol. 41, no. 6, Informa Healthcare, 2006, pp. 727–32, doi:10.2144/000112296.
LibreCat: https://research-explorer.ista.ac.at/record/4145
DOI: 10.2144/000112296

Link, Vinzenz, et al. “Identification of Regulators of Germ Layer Morphogenesis Using Proteomics in Zebrafish.”10.1242/jcs.02928__Journal of Cell Science, vol. 119, no. 10, Company of Biologists, 2006, pp. 2073–83, doi:10.1242/jcs.02928.
LibreCat: https://research-explorer.ista.ac.at/record/4176
DOI: 10.1242/jcs.02928

Link, Vinzenz, et al. “Proteomics of Early Zebrafish Embryos.”10.1186/1471-213X-6-1__BMC Developmental Biology, vol. 6, BioMed Central, 2006, pp. 1–9, doi:10.1186/1471-213X-6-1.
LibreCat: https://research-explorer.ista.ac.at/record/4173
DOI: 10.1186/1471-213X-6-1

Langenberg, Tobias, et al. “Analysis and Visualization of Cell Movement in the Developing Zebrafish Brain.”10.1002/dvdy.20692__Developmental Dynamics, vol. 235, no. 4, Wiley-Blackwell, 2006, pp. 928–33, doi:10.1002/dvdy.20692.
LibreCat: https://research-explorer.ista.ac.at/record/4178
DOI: 10.1002/dvdy.20692

Köppen, Mathias, et al. “Coordinated Cell-Shape Changes Control Epithelial Movement in Zebrafish and Drosophila.”doi: 10.1242/dev.02439__Development, vol. 133, no. 14, Company of Biologists, 2006, pp. 2671–81, doi:doi: 10.1242/dev.02439.
LibreCat: https://research-explorer.ista.ac.at/record/4184
DOI: doi: 10.1242/dev.02439

Blaser, Heiko, et al. “Migration of Zebrafish Primordial Germ Cells: A Role for Myosin Contraction and Cytoplasmic Flow.”10.1016/j.devcel.2006.09.023__Developmental Cell, vol. 11, no. 5, Cell Press, 2006, pp. 613–27, doi:10.1016/j.devcel.2006.09.023.
LibreCat: https://research-explorer.ista.ac.at/record/4218
DOI: 10.1016/j.devcel.2006.09.023

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