M. Frotscher, P. M. Jonas, and R. Sloviter, “Synapses formed by normal and abnormal hippocampal mossy fibers (Review),” Cell and Tissue Research, vol. 326, no. 2. Springer, pp. 361–7, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3814
DOI: 10.1007/s00441-006-0269-2

J. Bischofberger, D. Engel, M. Frotscher, and P. M. Jonas, “Timing and efficacy of transmitter release at mossy fiber synapses in the hippocampal network,” Pflugers Archivf: European Journal of Physiology, vol. 453, no. 3. Springer, pp. 361–72, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3815
DOI: 10.1007/s00424-006-0093-2

I. Vida, M. Bartos, and P. M. Jonas, “Shunting inhibition improves robustness of gamma oscillations in hippocampal interneuron networks by homogenizing firing rates,” Neuron, vol. 49, no. 1. Elsevier, pp. 107–17, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3811
DOI: 10.1016/j.neuron.2005.11.036

M. Frotscher, E. Gundelfinger, P. M. Jonas, E. Neher, and P. Seeburg, “The most important recent advances in synapse research from my point of view--and what remains to be done,” Cell and Tissue Research, vol. 326, no. 2. Springer, pp. 203–4, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3817
DOI: 10.1007/s00441-006-0325-y

S. Cremer, L. V. Ugelvig, S. Lommen, K. Petersen, and J. Pedersen, “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, pp. 13–19, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3912

K. Moder, B. Schlick Steiner, F. Steiner, S. Cremer, E. Christian, and B. Seifert, “Optimal species distinction by discriminant analysis: comparing established methods of character selection with a combination procedure using ant morphometrics as a case study,” Journal of Zoological Systematics and Evolutionary Research, vol. 45, no. 1. Wiley-Blackwell, pp. 82–87, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3914
DOI: 10.1111/j.1439-0469.2006.00372.x

J. Heinze, S. Cremer, N. Eckl, and A. Schrempf, “Stealthy invaders: the biology of Cardiocondyla tramp ants,” Insectes Sociaux, vol. 53, no. 1. Springer, pp. 1–7, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3913
DOI: 10.1007/s00040-005-0847-4

E. Henic, M. K. Sixt, S. Hansson, G. Høyer Hansen, and B. Casslén, “EGF-stimulated migration in ovarian cancer cells is associated with decreased internalization, increased surface expression, and increased shedding of the urokinase plasminogen activator receptor,” Gynecologic Oncology, vol. 101, no. 1. Elsevier, pp. 28–39, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3932
DOI: 10.1016/j.ygyno.2005.09.038

Y. Ban, J. Rudolph, P. Zhou, and H. Edelsbrunner, “Evaluating the quality of NMR structures by local density of protons,” Proteins: Structure, Function and Bioinformatics, vol. 62, no. 4. Wiley-Blackwell, pp. 852–864, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3978
DOI: 10.1002/prot.20811

Y. Ban, H. Edelsbrunner, and J. Rudolph, “Interface surfaces for protein-protein complexes,” Journal of the ACM, vol. 53, no. 3. ACM, pp. 361–378, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3979
DOI: 10.1145/1147954.1147957

P. Agarwal, H. Edelsbrunner, J. Harer, and Y. Wang, “Extreme elevation on a 2-manifold,” Discrete &; Computational Geometry, vol. 36, no. 4. Springer, pp. 553–572, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3980
DOI: 10.1007/s00454-006-1265-8

P. Danowski and L. Heller, “Bibliothek 2.0 - Die Bibliothek der Zukunft?,” Bibliotheksdienst, vol. 40, no. 11. Zentral- und Landesbibliothek Berlin, pp. 1250–1271, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4345
DOI: 424

J. Conn, J. Vineis, J. P. Bollback, D. Onyabe, R. Wilkerson, and M. Povoa, “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, pp. 798–806, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4352

J. P. Bollback, “SIMMAP: stochastic character mapping of discrete traits on phylogenies,” BMC Bioinformatics, vol. 7. BioMed Central, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4351
DOI: 10.1186/1471-2105-7-88

R. Szeliski et al., “A comparative study of energy minimization methods for Markov random fields,” presented at the ECCV: European Conference on Computer Vision, 2006, vol. 3952, pp. 16–29.
LibreCat: https://research-explorer.ista.ac.at/record/3180
DOI: 10.1007/11744047_2

V. Kolmogorov and C. Rother, “Comparison of energy minimization algorithms for highly connected graphs,” presented at the ECCV: European Conference on Computer Vision, 2006, vol. 3952 LNCS, pp. 1–15.
LibreCat: https://research-explorer.ista.ac.at/record/3184
DOI: 10.1007/11744047_1

V. Kolmogorov, A. Criminisi, A. Blake, G. Cross, and C. Rother, “Probabilistic fusion of stereo with color and contrast for bilayer segmentation,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 28, no. 9. IEEE, pp. 1480–1492, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3185
DOI: 10.1109/TPAMI.2006.193

Y. Boykov, V. Kolmogorov, D. Cremers, and A. Delong, “An integral solution to surface evolution PDEs via geo cuts,” presented at the ECCV: European Conference on Computer Vision, 2006, vol. 3953, pp. 409–422.
LibreCat: https://research-explorer.ista.ac.at/record/3186
DOI: 10.1007/11744078_32

H. L. Janovjak, R. Sawhney, M. Stark, and D. Mueller, “Atomic force microscopy,” in Techniques in Microscopy for Biomedical Applications, vol. 2, World Scientific Publishing, 2006, pp. 213–284.
LibreCat: https://research-explorer.ista.ac.at/record/3404

M. Kessler, K. Gottschalk, H. L. Janovjak, D. Mueller, and H. Gaub, “Bacteriorhodopsin folds into the membrane against an external force,” Journal of Molecular Biology, vol. 357, no. 2. Elsevier, pp. 644–654, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3413
DOI: 10.1016/j.jmb.2005.12.065

A. Kedrov, H. L. Janovjak, C. Ziegler, W. Kühlbrandt, and D. Mueller, “Observing folding pathways and kinetics of a single sodium-proton antiporter from Escherichia coli,” Journal of Molecular Biology, vol. 355, no. 1. Elsevier, pp. 2–8, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3414
DOI: 10.1016/j.jmb.2005.10.028

H. L. Janovjak, A. Kedrov, D. Cisneros, T. Sapra, J. Struckmeier, and D. Mueller, “Imaging and detecting molecular interactions of single membrane proteins,” Neurobiology of Aging, vol. 27. Elsevier, pp. 546–561, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3415
DOI: 10.1016/j.neurobiolaging.2005.03.031

A. Betancourt and J. P. Bollback, “Fitness effects of beneficial mutations: the mutational landscape model in experimental evolution,” Current Opinion in Genetics &; Development, vol. 16, no. 6. Elsevier, pp. 618–623, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3437
DOI: 10.1016/j.gde.2006.10.006

G. Tkadik, E. Schneidman, M. Berry, and W. Bialek, “Ising models for networks of real neurons,” ArXiv. ArXiv, pp. 1–4, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3431

K. Chatterjee, R. Jagadeesan, and C. Pitcher, “Games for controls,” presented at the CSF: Computer Security Foundations, 2006, pp. 70–82.
LibreCat: https://research-explorer.ista.ac.at/record/3449
DOI: 10.1109/CSFW.2006.14

J. Bischofberger, D. Engel, M. Frotscher, and P. M. Jonas, “Timing and efficacy of transmitter release at mossy fiber synapses in the hippocampal network. (Review),” Pflugers Archivf: European Journal of Physiology, vol. 453, no. 3. Springer, pp. 361–372, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3463
DOI: 10.1007/s00424-006-0093-2

K. Chatterjee, “Nash equilibrium for upward-closed objectives,” presented at the CSL: Computer Science Logic, 2006, vol. 4207, pp. 271–286.
LibreCat: https://research-explorer.ista.ac.at/record/3499
DOI: 10.1007/11874683_18

K. Chatterjee, T. A. Henzinger, and N. Piterman, “Algorithms for Büchi Games,” presented at the GDV: Games in Design and Verification, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3500

H. Edelsbrunner, P. Fu, D. Nekhayev, M. Facello, and S. Williams, “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

P. Fu, D. Nekhayev, and H. Edelsbrunner, “Manufacturing methods and systems for rapid production of hearing-aid shells.” 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3511

Y. Fletcher, T. Gloth, H. Edelsbrunner, and P. Fu, “Method, apparatus and computer products that reconstruct surfaces from data points.” 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3512

P. Magill, A. Pogosyan, A. Sharott, J. L. Csicsvari, J. Bolam, and P. Brown, “Changes in functional connectivity within the rat striatopallidal axis during global brain activation in vivo,” Journal of Neuroscience, vol. 26, no. 23. Society for Neuroscience, pp. 6318–6329, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3545
DOI: 10.1523/â€‹JNEUROSCI.0620-06.2006

D. Cohen Steiner, H. Edelsbrunner, and D. Morozov, “Vines and vineyards by updating persistence in linear time,” presented at the SCG: Symposium on Computational Geometry, 2006, pp. 119–126.
LibreCat: https://research-explorer.ista.ac.at/record/3559
DOI: 10.1145/1137856.1137877

H. Edelsbrunner, D. Morozov, and V. Pascucci, “Persistence-sensitive simplification of functions on 2-manifolds,” presented at the SCG: Symposium on Computational Geometry, 2006, pp. 127–134.
LibreCat: https://research-explorer.ista.ac.at/record/3560
DOI: 10.1145/1137856.1137878

J. Pemberton, G. Swanson, N. H. Barton, S. Livingstone, and H. Senn, “Hybridisation between red and sika deer in Scotland,” Deer, vol. 13, no. 9. BDS , pp. 22–26, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3594

A. Yanchukov et al., “Hybridization of Bombina bombina and B. variegata (Anura, Discoglossidae) at a sharp ecotone in western Ukraine: comparisons across transects and over time,” Evolution; International Journal of Organic Evolution, vol. 60, no. 3. Wiley-Blackwell, pp. 583–600, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3609
DOI: 10.1111/j.0014-3820.2006.tb01139.x

M. Kirkpatrick and N. H. Barton, “Chromosome inversions, local adaptation, and speciation,” Genetics, vol. 173, no. 1. Genetics Society of America, pp. 419–434, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3608
DOI: 10.1534/genetics.105.047985

W. Hill, N. H. Barton, and M. Turelli, “Prediction of effects of genetic drift on variance components under a general model of epistasis,” Theoretical Population Biology, vol. 70, no. 1. Academic Press, pp. 56–62, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3610
DOI: 10.1016/j.tpb.2005.10.001

H. Ali, C. Lampert, and T. Breuel, “Satellite tracks removal in astronomical images,” presented at the CIARP: Iberoamerican Congress in Pattern Recognition, 2006, vol. 4225, pp. 892–901.
LibreCat: https://research-explorer.ista.ac.at/record/3679
DOI: 10.1007/11892755_92

A. Ulges, C. Lampert, and D. Keysers, “Spatiogram-based shot distances for video retrieval,” presented at the TRECVID Workshop, 2006, pp. 1–10.
LibreCat: https://research-explorer.ista.ac.at/record/3677

C. Lampert, L. Mei, and T. Breuel, “Printing technique classification for document counterfeit detection,” presented at the CIS: Computational Intelligence and Security, 2006, vol. 1, pp. 639–634.
LibreCat: https://research-explorer.ista.ac.at/record/3680
DOI: 10.1109/ICCIAS.2006.294214

C. Lampert and O. Wirjadi, “An optimal non-orthogonal separation of the anisotropic Gaussian convolution filter,” IEEE Transactions on Image Processing (TIP), vol. 15, no. 11. IEEE, pp. 3501–3513, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3695
DOI:  10.1109/TIP.2006.877501 

C. Lampert and O. Wirjadi, “Anisotropic Gaussian filtering using fixed point arithmetic,” presented at the ICIP: IEEE International Conference on Image Processing, 2006, pp. 1565–1568.
LibreCat: https://research-explorer.ista.ac.at/record/3693
DOI: 10.1109/ICIP.2006.312606

D. Keysers, C. Lampert, and T. Breuel, “Color image dequantization by constrained diffusion,” presented at the SPIE Electronic Imaging, 2006, vol. 6058.
LibreCat: https://research-explorer.ista.ac.at/record/3692
DOI: 10.1117/12.648713

C. Bippes, A. Humphris, M. Stark, D. Mueller, and H. L. Janovjak, “Direct measurement of single-molecule visco-elasticity in atomic force microscope force-extension experiments,” European Biophysics Journal, vol. 35, no. 3. Springer, pp. 287–292, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3729
DOI: 10.1007/s00249-005-0023-9

M. Cieplak, S. Filipek, H. L. Janovjak, and K. Krzysko, “Pulling single bacteriorhodopsin out of a membrane: Comparison of simulation and experiment,” Biochimica et Biophysica Acta (BBA) - Biomembranes, vol. 1758, no. 4. Elsevier, pp. 537–544, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3728
DOI: 10.1016/j.bbamem.2006.03.028

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

T. Le, T. Emonet, S. Harlepp, C. C. Guet, and P. Cluzel, “Dynamical determinants of drug-inducible gene expression in a single bacterium,” Biophysical Journal, vol. 90, no. 9. Biophysical Society, pp. 3315–3321, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3755
DOI: 10.1529/biophysj.105.073353

C. Wojtan, P. Mucha, and G. Turk, “Keyframe control of complex particle systems using the adjoint method,” presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, 2006, pp. 15–23.
LibreCat: https://research-explorer.ista.ac.at/record/3758

J. Bischofberger, D. Engel, L. Li, J. Geiger, and P. M. Jonas, “Patch-clamp recording from mossy fiber terminals in hippocampal slices,” Nature Protocols, vol. 1, no. 4. Nature Publishing Group, pp. 2075–81, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3818
DOI: 10.1038/nprot.2006.312 

K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “The complexity of quantitative concurrent parity games,” presented at the SODA: Symposium on Discrete Algorithms, 2006, pp. 678–687.
LibreCat: https://research-explorer.ista.ac.at/record/3890
DOI: 10.1145/1109557.1109631

K. Chatterjee, L. Doyen, T. A. Henzinger, and J. Raskin, “Algorithms for omega-regular games with imperfect information,” presented at the CSL: Computer Science Logic, 2006, vol. 4207, pp. 287–302.
LibreCat: https://research-explorer.ista.ac.at/record/3889
DOI: 10.1007/11874683_19

K. Chatterjee, “Concurrent games with tail objectives,” presented at the CSL: Computer Science Logic, 2006, vol. 4207, pp. 256–270.
LibreCat: https://research-explorer.ista.ac.at/record/3891
DOI: 10.1007/11874683_17

K. Chatterjee and T. A. Henzinger, “Strategy improvement for stochastic Rabin and Streett games,” presented at the CONCUR: Concurrency Theory, 2006, vol. 4137, pp. 375–389.
LibreCat: https://research-explorer.ista.ac.at/record/3888
DOI: 10.1007/11817949_25

J. Ustinova, R. Achmann, S. Cremer, and F. Mayer, “Long repeats in a huge gemome: microsatellite loci in the grasshopper Chorthippus biguttulus,” Journal of Molecular Evolution, vol. 62, no. 2. Springer, pp. 158–167, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3908
DOI: 10.1007/s00239-005-0022-6

M. Drumea Mirancea et al., “Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules,” Journal of Cell Science, vol. 119, no. Pt 7. Company of Biologists, pp. 1396–1405, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3934
DOI: 10.1242/â€‹jcs.02840

H. Chu et al., “;3-Parvin is dispensable for hematopoiesis, leukocyte trafficking, and T-cell-dependent antibody response,” Molecular and Cellular Biology, vol. 26, no. 5. American Society for Microbiology, pp. 1817–1825, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3935
DOI: 10.1128/MCB.26.5.1817-1825.2006

M. K. Sixt, M. Bauer, T. Lämmermann, and R. Fässler, “;21 integrins: zip codes and signaling relay for blood cells,” Current Opinion in Cell Biology, vol. 18, no. 5. Elsevier, pp. 482–490, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3936
DOI: 10.1016/j.ceb.2006.08.007

S. Witzel, V. Zimyanin, F. Carreira Barbosa, M. Tada, and C.-P. J. Heisenberg, “Wnt11 controls cell contact persistence by local accumulation of Frizzled 7 at the plasma membrane,” Journal of Cell Biology, vol. 175, no. 5. Rockefeller University Press, pp. 791–802, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4140
DOI: 10.1083/jcb.200606017

D. Tonelli et al., “Single-cell detection of microRNAs in developing vertebrate embryos after acute administration of a dual-fluorescence reporter/sensor plasmid,” Biotechniques, vol. 41, no. 6. Informa Healthcare, pp. 727–732, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4145
DOI: 10.2144/000112296

V. Link, L. Carvalho, I. Castanon, P. Stockinger, A. Shevchenko, and C.-P. J. Heisenberg, “Identification of regulators of germ layer morphogenesis using proteomics in zebrafish,” Journal of Cell Science, vol. 119, no. 10. Company of Biologists, pp. 2073–2083, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4176
DOI: 10.1242/jcs.02928

V. Link, A. Shevchenko, and C.-P. J. Heisenberg, “Proteomics of early zebrafish embryos,” BMC Developmental Biology, vol. 6. BioMed Central, pp. 1–9, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4173
DOI: 10.1186/1471-213X-6-1

T. Langenberg, T. Dracz, A. Oates, C.-P. J. Heisenberg, and M. Brand, “Analysis and visualization of cell movement in the developing zebrafish brain,” Developmental Dynamics, vol. 235, no. 4. Wiley-Blackwell, pp. 928–933, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4178
DOI: 10.1002/dvdy.20692

M. Köppen, B. Fernández, L. Carvalho, A. Jacinto, and C.-P. J. Heisenberg, “Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila,” Development, vol. 133, no. 14. Company of Biologists, pp. 2671–2681, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4184
DOI: doi: 10.1242/dev.02439

H. Blaser et al., “Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow,” Developmental Cell, vol. 11, no. 5. Cell Press, pp. 613–627, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4218
DOI: 10.1016/j.devcel.2006.09.023

H. de Vladar, “Density-dependence as a size-independent regulatory mechanism,” Journal of Theoretical Biology, vol. 238, no. 2. Elsevier, pp. 245–256, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4237
DOI: 3802

H. de Vladar and J. González, “Dynamic response of cancer under the influence of immunological activity and therapy,” Journal of Theoretical Biology. Elsevier, pp. 91–109, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4235

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.
LibreCat: https://research-explorer.ista.ac.at/record/4248
DOI: 10.1534/genetics.106.058586 

N. H. Barton, “Evolutionary Biology: How did the human species form?,” Current Biology, vol. 16, no. 16. Cell Press, pp. 647–650, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4250
DOI: 10.1016/j.cub.2006.07.032

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.
LibreCat: https://research-explorer.ista.ac.at/record/4359
DOI: 1551

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.
LibreCat: https://research-explorer.ista.ac.at/record/4373
DOI: 1571

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.
LibreCat: https://research-explorer.ista.ac.at/record/4374
DOI: 1570

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

R. Alur, P. Cerny, and S. Zdancewic, “Preserving Secrecy Under Refinement,” presented at the ICALP: Automata, Languages and Programming, 2006, pp. 107–118.
LibreCat: https://research-explorer.ista.ac.at/record/4401
DOI: 1543

T. A. Henzinger and N. Piterman, “Solving games without determinization,” presented at the CSL: Computer Science Logic, 2006, vol. 4207, pp. 395–410.
LibreCat: https://research-explorer.ista.ac.at/record/4437
DOI: 10.1007/11874683_26

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.
LibreCat: https://research-explorer.ista.ac.at/record/4436
DOI: 10.1109/RTAS.2006.11

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.
LibreCat: https://research-explorer.ista.ac.at/record/4432
DOI: 10.1007/11867340_1

T. A. Henzinger and J. Sifakis, “The embedded systems design challenge,” presented at the FM: Formal Methods, 2006, vol. 4085, pp. 1–15.
LibreCat: https://research-explorer.ista.ac.at/record/4431
DOI: 10.1007/11813040_1

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.
LibreCat: https://research-explorer.ista.ac.at/record/4451
DOI: 10.1016/j.tcs.2005.11.015

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.
LibreCat: https://research-explorer.ista.ac.at/record/4523
DOI: 10.1145/1181775.1181790

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.
LibreCat: https://research-explorer.ista.ac.at/record/4526
DOI: 10.1145/1176887.1176907

J. Fisher and T. A. Henzinger, “Executable biology,” presented at the WSC: Winter Simulation Conference, 2006, pp. 1675–1682.
LibreCat: https://research-explorer.ista.ac.at/record/4528
DOI: 10.1109/WSC.2006.322942

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.
LibreCat: https://research-explorer.ista.ac.at/record/4539
DOI: 10.1007/11691372_17

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.
LibreCat: https://research-explorer.ista.ac.at/record/4538
DOI: 10.1007/11672142_42

K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Markov decision processes with multiple objectives,” presented at the STACS: Theoretical Aspects of Computer Science, 2006, vol. 3884, pp. 325–336.
LibreCat: https://research-explorer.ista.ac.at/record/4551
DOI: 10.1007/11672142_26

K. Chatterjee, T. A. Henzinger, and M. Jurdziski, “Games with secure equilibria,” Theoretical Computer Science, vol. 365, no. 1–2. Elsevier, pp. 67–82, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/4550
DOI: 10.1016/j.tcs.2006.07.032

K. Chatterjee, L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Compositional quantitative reasoning,” presented at the QEST: Quantitative Evaluation of Systems, 2006, pp. 179–188.
LibreCat: https://research-explorer.ista.ac.at/record/4549
DOI: 10.1109/QEST.2006.11

K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Strategy improvement for concurrent reachability games,” presented at the QEST: Quantitative Evaluation of Systems, 2006, pp. 291–300.
LibreCat: https://research-explorer.ista.ac.at/record/4552
DOI: 10.1109/QEST.2006.48

D. Beyer, T. A. Henzinger, and G. Théoduloz, “Lazy shape analysis,” presented at the CAV: Computer Aided Verification, 2006, vol. 4144, pp. 532–546.
LibreCat: https://research-explorer.ista.ac.at/record/4574
DOI: 10.1007/11817963_48

O. Hosten, M. Rakher, J. Barreiro, N. Peters, and P. Kwiat, “Counterfactual computation revisited.” ArXiv, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/573
arXiv: 0607101

O. Hosten and P. Kwiat, “Weak measurements and counterfactual computation.” ArXiv, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/574
arXiv: 0612159

N. Peters et al., “Towards a quasi-deterministic single-photon source,” presented at the Quantum Communications and Quantum Imaging, 2006, vol. 6305.
LibreCat: https://research-explorer.ista.ac.at/record/578
DOI: 10.1117/12.684702

R. Rangarajan et al., “High-efficiency single-photon detectors,” presented at the Unknown (978-081946470-5), 2006, vol. 6372.
LibreCat: https://research-explorer.ista.ac.at/record/577
DOI: 10.1117/12.686117

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.
LibreCat: https://research-explorer.ista.ac.at/record/579
DOI: 10.1038/nature04523

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.
LibreCat: https://research-explorer.ista.ac.at/record/583
DOI: 10.1109/CLEO.2006.4628641

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.
LibreCat: https://research-explorer.ista.ac.at/record/6151
DOI: 10.1038/sj.embor.7400713
PMID: 16729018

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.
LibreCat: https://research-explorer.ista.ac.at/record/6152
DOI: 10.1016/j.cub.2006.03.023
PMID: 16581509

S. A. Freunberger, M. Reum, J. Evertz, A. Wokaun, and F. N. Buchi, “Measuring the current distribution in PEFCs with sub-millimeter resolution,” Journal of The Electrochemical Society, vol. 153, no. 11. The Electrochemical Society, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/7328
DOI: 10.1149/1.2345591

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.
LibreCat: https://research-explorer.ista.ac.at/record/7327
DOI: 10.1016/j.jpowsour.2006.06.007

F. N. Buchi, 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.
LibreCat: https://research-explorer.ista.ac.at/record/7326
DOI: 10.1149/1.2356215