Moder K, Schlick Steiner B, Steiner F, Cremer S, Christian E, Seifert B. 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. 2006;45(1):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, Cremer S, Eckl N, Schrempf A. Stealthy invaders: the biology of Cardiocondyla tramp ants. Insectes Sociaux. 2006;53(1):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 E, Sixt MK, Hansson S, Høyer Hansen G, Casslén B. 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. 2006;101(1):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 Y, Rudolph J, Zhou P, Edelsbrunner H. Evaluating the quality of NMR structures by local density of protons. Proteins: Structure, Function and Bioinformatics. 2006;62(4):852-864. doi:10.1002/prot.20811
LibreCat: https://research-explorer.ista.ac.at/record/3978
DOI: 10.1002/prot.20811

Ban Y, Edelsbrunner H, Rudolph J. Interface surfaces for protein-protein complexes. Journal of the ACM. 2006;53(3):361-378. doi:10.1145/1147954.1147957
LibreCat: https://research-explorer.ista.ac.at/record/3979
DOI: 10.1145/1147954.1147957

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

Danowski P, Heller L. Bibliothek 2.0 - Die Bibliothek der Zukunft? Bibliotheksdienst. 2006;40(11):1250-1271. doi:424
LibreCat: https://research-explorer.ista.ac.at/record/4345
DOI: 424

Conn J, Vineis J, Bollback JP, Onyabe D, Wilkerson R, Povoa M. 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. 2006;74(5):798-806.
LibreCat: https://research-explorer.ista.ac.at/record/4352

Bollback JP. SIMMAP: stochastic character mapping of discrete traits on phylogenies. BMC Bioinformatics. 2006;7. doi:10.1186/1471-2105-7-88
LibreCat: https://research-explorer.ista.ac.at/record/4351
DOI: 10.1186/1471-2105-7-88

Szeliski R, Zabih R, Scharstein D, et al. A comparative study of energy minimization methods for Markov random fields. In: Vol 3952. Springer; 2006:16-29. doi:10.1007/11744047_2
LibreCat: https://research-explorer.ista.ac.at/record/3180
DOI: 10.1007/11744047_2

Kolmogorov V, Rother C. Comparison of energy minimization algorithms for highly connected graphs. In: Vol 3952 LNCS. Springer; 2006:1-15. doi:10.1007/11744047_1
LibreCat: https://research-explorer.ista.ac.at/record/3184
DOI: 10.1007/11744047_1

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

Boykov Y, Kolmogorov V, Cremers D, Delong A. An integral solution to surface evolution PDEs via geo cuts. In: Vol 3953. Springer; 2006:409-422. doi:10.1007/11744078_32
LibreCat: https://research-explorer.ista.ac.at/record/3186
DOI: 10.1007/11744078_32

Janovjak HL, Sawhney R, Stark M, Mueller D. Atomic force microscopy. In: Techniques in Microscopy for Biomedical Applications. Vol 2. World Scientific Publishing; 2006:213-284.
LibreCat: https://research-explorer.ista.ac.at/record/3404

Kessler M, Gottschalk K, Janovjak HL, Mueller D, Gaub H. Bacteriorhodopsin folds into the membrane against an external force. Journal of Molecular Biology. 2006;357(2):644-654. 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 A, Janovjak HL, Ziegler C, Kühlbrandt W, Mueller D. Observing folding pathways and kinetics of a single sodium-proton antiporter from Escherichia coli. Journal of Molecular Biology. 2006;355(1):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 HL, Kedrov A, Cisneros D, Sapra T, Struckmeier J, Mueller D. Imaging and detecting molecular interactions of single membrane proteins. Neurobiology of Aging. 2006;27:546-561. 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 A, Bollback JP. Fitness effects of beneficial mutations: the mutational landscape model in experimental evolution. Current Opinion in Genetics &; Development. 2006;16(6):618-623. 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 G, Schneidman E, Berry M, Bialek W. Ising models for networks of real neurons. ArXiv. 2006:1-4.
LibreCat: https://research-explorer.ista.ac.at/record/3431

Chatterjee K, Jagadeesan R, Pitcher C. Games for controls. In: IEEE; 2006:70-82. doi:10.1109/CSFW.2006.14
LibreCat: https://research-explorer.ista.ac.at/record/3449
DOI: 10.1109/CSFW.2006.14

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

Chatterjee K. Nash equilibrium for upward-closed objectives. In: Vol 4207. Springer; 2006:271-286. doi:10.1007/11874683_18
LibreCat: https://research-explorer.ista.ac.at/record/3499
DOI: 10.1007/11874683_18

Chatterjee K, Henzinger TA, Piterman N. Algorithms for Büchi Games. In: ACM; 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3500

Edelsbrunner H, Fu P, Nekhayev D, Facello M, Williams S. 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 P, Nekhayev D, Edelsbrunner H. Manufacturing methods and systems for rapid production of hearing-aid shells. 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3511

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

Magill P, Pogosyan A, Sharott A, Csicsvari JL, Bolam J, Brown P. Changes in functional connectivity within the rat striatopallidal axis during global brain activation in vivo. Journal of Neuroscience. 2006;26(23):6318-6329. 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 D, Edelsbrunner H, Morozov D. Vines and vineyards by updating persistence in linear time. In: ACM; 2006:119-126. doi:10.1145/1137856.1137877
LibreCat: https://research-explorer.ista.ac.at/record/3559
DOI: 10.1145/1137856.1137877

Edelsbrunner H, Morozov D, Pascucci V. Persistence-sensitive simplification of functions on 2-manifolds. In: ACM; 2006:127-134. doi:10.1145/1137856.1137878
LibreCat: https://research-explorer.ista.ac.at/record/3560
DOI: 10.1145/1137856.1137878

Pemberton J, Swanson G, Barton NH, Livingstone S, Senn H. Hybridisation between red and sika deer in Scotland. Deer. 2006;13(9):22-26.
LibreCat: https://research-explorer.ista.ac.at/record/3594

Yanchukov A, Hofman S, Szymura J, 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. 2006;60(3):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 M, Barton NH. Chromosome inversions, local adaptation, and speciation. Genetics. 2006;173(1):419-434. doi:10.1534/genetics.105.047985
LibreCat: https://research-explorer.ista.ac.at/record/3608
DOI: 10.1534/genetics.105.047985

Hill W, Barton NH, Turelli M. Prediction of effects of genetic drift on variance components under a general model of epistasis. Theoretical Population Biology. 2006;70(1):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 H, Lampert C, Breuel T. Satellite tracks removal in astronomical images. In: Vol 4225. Springer; 2006:892-901. doi:10.1007/11892755_92
LibreCat: https://research-explorer.ista.ac.at/record/3679
DOI: 10.1007/11892755_92

Ulges A, Lampert C, Keysers D. Spatiogram-based shot distances for video retrieval. In: NIST (National Institute of Standards and Technology, US Department of Commerce); 2006:1-10.
LibreCat: https://research-explorer.ista.ac.at/record/3677

Lampert C, Mei L, Breuel T. Printing technique classification for document counterfeit detection. In: Vol 1. IEEE; 2006:639-634. doi:10.1109/ICCIAS.2006.294214
LibreCat: https://research-explorer.ista.ac.at/record/3680
DOI: 10.1109/ICCIAS.2006.294214

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

Lampert C, Wirjadi O. Anisotropic Gaussian filtering using fixed point arithmetic. In: IEEE; 2006:1565-1568. doi:10.1109/ICIP.2006.312606
LibreCat: https://research-explorer.ista.ac.at/record/3693
DOI: 10.1109/ICIP.2006.312606

Keysers D, Lampert C, Breuel T. Color image dequantization by constrained diffusion. In: Vol 6058. SPIE; 2006. doi:10.1117/12.648713
LibreCat: https://research-explorer.ista.ac.at/record/3692
DOI: 10.1117/12.648713

Bippes C, Humphris A, Stark M, Mueller D, Janovjak HL. Direct measurement of single-molecule visco-elasticity in atomic force microscope force-extension experiments. European Biophysics Journal. 2006;35(3):287-292. doi:10.1007/s00249-005-0023-9
LibreCat: https://research-explorer.ista.ac.at/record/3729
DOI: 10.1007/s00249-005-0023-9

Cieplak M, Filipek S, Janovjak HL, Krzysko K. Pulling single bacteriorhodopsin out of a membrane: Comparison of simulation and experiment. Biochimica et Biophysica Acta (BBA) - Biomembranes. 2006;1758(4):537-544. 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 HL, Mueller D. Rastersondenmikroskopie. In: Bioanalytik. Spektrum Akademischer Verlag; 2006.
LibreCat: https://research-explorer.ista.ac.at/record/3722

Le T, Emonet T, Harlepp S, Guet CC, Cluzel P. Dynamical determinants of drug-inducible gene expression in a single bacterium. Biophysical Journal. 2006;90(9):3315-3321. doi:10.1529/biophysj.105.073353
LibreCat: https://research-explorer.ista.ac.at/record/3755
DOI: 10.1529/biophysj.105.073353

Wojtan C, Mucha P, Turk G. Keyframe control of complex particle systems using the adjoint method. In: ACM; 2006:15-23.
LibreCat: https://research-explorer.ista.ac.at/record/3758

Bischofberger J, Engel D, Li L, Geiger J, Jonas PM. Patch-clamp recording from mossy fiber terminals in hippocampal slices. Nature Protocols. 2006;1(4):2075-2081. doi:10.1038/nprot.2006.312 
LibreCat: https://research-explorer.ista.ac.at/record/3818
DOI: 10.1038/nprot.2006.312 

Chatterjee K, De Alfaro L, Henzinger TA. The complexity of quantitative concurrent parity games. In: SIAM; 2006:678-687. doi:10.1145/1109557.1109631
LibreCat: https://research-explorer.ista.ac.at/record/3890
DOI: 10.1145/1109557.1109631

Chatterjee K, Doyen L, Henzinger TA, Raskin J. Algorithms for omega-regular games with imperfect information. In: Vol 4207. Springer; 2006:287-302. doi:10.1007/11874683_19
LibreCat: https://research-explorer.ista.ac.at/record/3889
DOI: 10.1007/11874683_19

Chatterjee K. Concurrent games with tail objectives. In: Vol 4207. Springer; 2006:256-270. doi:10.1007/11874683_17
LibreCat: https://research-explorer.ista.ac.at/record/3891
DOI: 10.1007/11874683_17

Chatterjee K, Henzinger TA. Strategy improvement for stochastic Rabin and Streett games. In: Vol 4137. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2006:375-389. doi:10.1007/11817949_25
LibreCat: https://research-explorer.ista.ac.at/record/3888
DOI: 10.1007/11817949_25

Ustinova J, Achmann R, Cremer S, Mayer F. Long repeats in a huge gemome: microsatellite loci in the grasshopper Chorthippus biguttulus. Journal of Molecular Evolution. 2006;62(2):158-167. 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 M, Wessels J, Müller C, 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. 2006;119(Pt 7):1396-1405. doi:10.1242/â€‹jcs.02840
LibreCat: https://research-explorer.ista.ac.at/record/3934
DOI: 10.1242/â€‹jcs.02840

Chu H, Thievessen I, Sixt MK, et al. ;3-Parvin is dispensable for hematopoiesis, leukocyte trafficking, and T-cell-dependent antibody response. Molecular and Cellular Biology. 2006;26(5):1817-1825. 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 MK, Bauer M, Lämmermann T, Fässler R. ;21 integrins: zip codes and signaling relay for blood cells. Current Opinion in Cell Biology. 2006;18(5):482-490. 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 S, Zimyanin V, Carreira Barbosa F, Tada M, Heisenberg C-PJ. Wnt11 controls cell contact persistence by local accumulation of Frizzled 7 at the plasma membrane. Journal of Cell Biology. 2006;175(5):791-802. doi:10.1083/jcb.200606017
LibreCat: https://research-explorer.ista.ac.at/record/4140
DOI: 10.1083/jcb.200606017

Tonelli D, Calegari F, Fei J, et al. Single-cell detection of microRNAs in developing vertebrate embryos after acute administration of a dual-fluorescence reporter/sensor plasmid. Biotechniques. 2006;41(6):727-732. doi:10.2144/000112296
LibreCat: https://research-explorer.ista.ac.at/record/4145
DOI: 10.2144/000112296

Link V, Carvalho L, Castanon I, Stockinger P, Shevchenko A, Heisenberg C-PJ. Identification of regulators of germ layer morphogenesis using proteomics in zebrafish. Journal of Cell Science. 2006;119(10):2073-2083. doi:10.1242/jcs.02928
LibreCat: https://research-explorer.ista.ac.at/record/4176
DOI: 10.1242/jcs.02928

Link V, Shevchenko A, Heisenberg C-PJ. Proteomics of early zebrafish embryos. BMC Developmental Biology. 2006;6: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 T, Dracz T, Oates A, Heisenberg C-PJ, Brand M. Analysis and visualization of cell movement in the developing zebrafish brain. Developmental Dynamics. 2006;235(4):928-933. doi:10.1002/dvdy.20692
LibreCat: https://research-explorer.ista.ac.at/record/4178
DOI: 10.1002/dvdy.20692

Köppen M, Fernández B, Carvalho L, Jacinto A, Heisenberg C-PJ. Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila. Development. 2006;133(14):2671-2681. doi:doi: 10.1242/dev.02439
LibreCat: https://research-explorer.ista.ac.at/record/4184
DOI: doi: 10.1242/dev.02439

Blaser H, Reichman Fried M, Castanon I, et al. Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow. Developmental Cell. 2006;11(5):613-627. 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 H. Density-dependence as a size-independent regulatory mechanism. Journal of Theoretical Biology. 2006;238(2):245-256. doi:3802
LibreCat: https://research-explorer.ista.ac.at/record/4237
DOI: 3802

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

Roze D, Barton NH. The Hill-Robertson effect and the evolution of recombination. Genetics. 2006;173(3):1793-1811. doi:10.1534/genetics.106.058586 
LibreCat: https://research-explorer.ista.ac.at/record/4248
DOI: 10.1534/genetics.106.058586 

Barton NH. Evolutionary Biology: How did the human species form? Current Biology. 2006;16(16):647-650. 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 T, Kuncak V, Lam P, Podelski A, Rinard M. Field Constraint Analysis. In: Springer; 2006:157-173. doi:1551
LibreCat: https://research-explorer.ista.ac.at/record/4359
DOI: 1551

Maler O, Nickovic D, Pnueli A. Real Time Temporal Logic: Past, Present, Future. In: Springer; 2006:2-16. doi:1571
LibreCat: https://research-explorer.ista.ac.at/record/4373
DOI: 1571

Maler O, Nickovic D, Pnueli A. From MITL to Timed Automata. In: Springer; 2006:274-289. doi:1570
LibreCat: https://research-explorer.ista.ac.at/record/4374
DOI: 1570

De Wulf M, Doyen L, Henzinger TA, Raskin J. Antichains: A new algorithm for checking universality of finite automata. In: Vol 4144. Springer; 2006:17-30. doi:10.1007/11817963_5
LibreCat: https://research-explorer.ista.ac.at/record/4406
DOI: 10.1007/11817963_5

Alur R, Cerny P, Zdancewic S. Preserving Secrecy Under Refinement. In: Springer; 2006:107-118. doi:1543
LibreCat: https://research-explorer.ista.ac.at/record/4401
DOI: 1543

Henzinger TA, Piterman N. Solving games without determinization. In: Vol 4207. Springer; 2006:395-410. doi:10.1007/11874683_26
LibreCat: https://research-explorer.ista.ac.at/record/4437
DOI: 10.1007/11874683_26

Henzinger TA, Matic S. An interface algebra for real-time components. In: IEEE; 2006:253-266. doi:10.1109/RTAS.2006.11
LibreCat: https://research-explorer.ista.ac.at/record/4436
DOI: 10.1109/RTAS.2006.11

Henzinger TA, Prabhu V. Timed alternating-time temporal logic. In: Vol 4202. Springer; 2006:1-17. doi:10.1007/11867340_1
LibreCat: https://research-explorer.ista.ac.at/record/4432
DOI: 10.1007/11867340_1

Henzinger TA, Sifakis J. The embedded systems design challenge. In: Vol 4085. Springer; 2006:1-15. doi:10.1007/11813040_1
LibreCat: https://research-explorer.ista.ac.at/record/4431
DOI: 10.1007/11813040_1

Henzinger TA, Kupferman O, Majumdar R. On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. 2006;354(2):173-186. 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 B, Henzinger TA, Kannan Y, Nori A, Rajamani S. Synergy: A new algorithm for property checking. In: ACM; 2006:117-127. doi:10.1145/1181775.1181790
LibreCat: https://research-explorer.ista.ac.at/record/4523
DOI: 10.1145/1181775.1181790

Ghosal A, Henzinger TA, Iercan D, Kirsch C, Sangiovanni Vincentelli A. A hierarchical coordination language for interacting real-time tasks. In: ACM; 2006:132-141. doi:10.1145/1176887.1176907
LibreCat: https://research-explorer.ista.ac.at/record/4526
DOI: 10.1145/1176887.1176907

Fisher J, Henzinger TA. Executable biology. In: IEEE; 2006:1675-1682. doi:10.1109/WSC.2006.322942
LibreCat: https://research-explorer.ista.ac.at/record/4528
DOI: 10.1109/WSC.2006.322942

Chatterjee K, Henzinger TA. Finitary winning in omega-regular games. In: Vol 3920. Springer; 2006:257-271. doi:10.1007/11691372_17
LibreCat: https://research-explorer.ista.ac.at/record/4539
DOI: 10.1007/11691372_17

Chatterjee K, Henzinger TA. Strategy improvement and randomized subexponential algorithms for stochastic parity games. In: Vol 3884. Springer; 2006:512-523. doi:10.1007/11672142_42
LibreCat: https://research-explorer.ista.ac.at/record/4538
DOI: 10.1007/11672142_42

Chatterjee K, Majumdar R, Henzinger TA. Markov decision processes with multiple objectives. In: Vol 3884. Springer; 2006:325-336. doi:10.1007/11672142_26
LibreCat: https://research-explorer.ista.ac.at/record/4551
DOI: 10.1007/11672142_26

Chatterjee K, Henzinger TA, Jurdziski M. Games with secure equilibria. Theoretical Computer Science. 2006;365(1-2):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 K, De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Compositional quantitative reasoning. In: IEEE; 2006:179-188. doi:10.1109/QEST.2006.11
LibreCat: https://research-explorer.ista.ac.at/record/4549
DOI: 10.1109/QEST.2006.11

Chatterjee K, De Alfaro L, Henzinger TA. Strategy improvement for concurrent reachability games. In: IEEE; 2006:291-300. doi:10.1109/QEST.2006.48
LibreCat: https://research-explorer.ista.ac.at/record/4552
DOI: 10.1109/QEST.2006.48

Beyer D, Henzinger TA, Théoduloz G. Lazy shape analysis. In: Vol 4144. Springer; 2006:532-546. doi:10.1007/11817963_48
LibreCat: https://research-explorer.ista.ac.at/record/4574
DOI: 10.1007/11817963_48

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

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

Peters N, Arnold K, Vandevender A, et al. Towards a quasi-deterministic single-photon source. In: Vol 6305. SPIE; 2006. doi:10.1117/12.684702
LibreCat: https://research-explorer.ista.ac.at/record/578
DOI: 10.1117/12.684702

Rangarajan R, Altepeter J, Jeffrey E, et al. High-efficiency single-photon detectors. In: Vol 6372. SPIE; 2006. doi:10.1117/12.686117
LibreCat: https://research-explorer.ista.ac.at/record/577
DOI: 10.1117/12.686117

Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. Counterfactual quantum computation through quantum interrogation. Nature. 2006;439(7079):949-952. doi:10.1038/nature04523
LibreCat: https://research-explorer.ista.ac.at/record/579
DOI: 10.1038/nature04523

Rangarajan R, Peters N, Hosten O, Altepeter J, Jeffrey E, Kwiat P. Improved single-photon detection. In: IEEE; 2006. doi:10.1109/CLEO.2006.4628641
LibreCat: https://research-explorer.ista.ac.at/record/583
DOI: 10.1109/CLEO.2006.4628641

Salecker I, Häusser M, de Bono M. On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits. EMBO reports. 2006;7(6):585-589. doi:10.1038/sj.embor.7400713
LibreCat: https://research-explorer.ista.ac.at/record/6151
DOI: 10.1038/sj.embor.7400713
PMID: 16729018

Rogers C, Persson A, Cheung B, de Bono M. Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans. Current Biology. 2006;16(7):649-659. 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 SA, Reum M, Evertz J, Wokaun A, Buchi FN. Measuring the current distribution in PEFCs with sub-millimeter resolution. Journal of The Electrochemical Society. 2006;153(11). doi:10.1149/1.2345591
LibreCat: https://research-explorer.ista.ac.at/record/7328
DOI: 10.1149/1.2345591

Santis M, Freunberger SA, Papra M, Wokaun A, Büchi FN. Experimental investigation of coupling phenomena in polymer electrolyte fuel cell stacks. Journal of Power Sources. 2006;161(2):1076-1083. 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 FN, Freunberger SA, Santis M. What is learned beyond the scale of single cells? In: ECS Transactions. Vol 3. ECS; 2006:963-968. doi:10.1149/1.2356215
LibreCat: https://research-explorer.ista.ac.at/record/7326
DOI: 10.1149/1.2356215

Freunberger SA, Reum M, Wokaun A, Büchi FN. Expanding current distribution measurement in PEFCs to sub-millimeter resolution. Electrochemistry Communications. 2006;8(9):1435-1438. 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, Freunberger SA, Reiner A, Büchi FN. Homogenization of the current density in polymer electrolyte fuel cells by in-plane cathode catalyst gradients. Electrochimica Acta. 2006;51(25):5383-5393. 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 SA, Santis M, Schneider IA, Wokaun A, Buchi FN. In-plane effects in large-scale PEMFCs. Journal of The Electrochemical Society. 2006;153(2). doi:10.1149/1.2150150
LibreCat: https://research-explorer.ista.ac.at/record/7332
DOI: 10.1149/1.2150150

Freunberger SA, Wokaun A, Buchi FN. In-plane effects in large-scale PEFCs: II. The influence of cooling strategy on cell performance. Journal of The Electrochemical Society. 2006;153(5). doi:10.1149/1.2185282
LibreCat: https://research-explorer.ista.ac.at/record/7331
DOI: 10.1149/1.2185282

Rogaev E, Moliaka Y, Malyarchuk B, et al. Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius. PLoS Biology. 2006;4(3):0403-0410. doi:10.1371/journal.pbio.0040073
LibreCat: https://research-explorer.ista.ac.at/record/854
DOI: 10.1371/journal.pbio.0040073