K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Controller synthesis with budget constraints,” presented at the HSCC: Hybrid Systems - Computation and Control, 2008, vol. 4981, pp. 72–86.
LibreCat: https://research-explorer.ista.ac.at/record/3873
DOI: DOI: 10.1007/978-3-540-78929-1_6

K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Timed parity games: complexity and robustness,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2008, vol. 5215, pp. 124–140.
LibreCat: https://research-explorer.ista.ac.at/record/3876
DOI: 10.1007/978-3-540-85778-5_10

K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Environment assumptions for synthesis,” presented at the CONCUR: Concurrency Theory, 2008, vol. 5201, pp. 147–161.
LibreCat: https://research-explorer.ista.ac.at/record/3877
DOI: 10.1007/978-3-540-85361-9_14

K. Chatterjee, L. De Alfaro, and R. Majumdar, “The complexity of coverage,” presented at the APLAS: Asian Symposium on Programming Languages and Systems, 2008, vol. 5356, pp. 91–106.
LibreCat: https://research-explorer.ista.ac.at/record/3878
DOI: 10.1007/978-3-540-89330-1_7

K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Trading infinite memory for uniform randomness in timed games,” presented at the HSCC: Hybrid Systems - Computation and Control, 2008, vol. 4981, pp. 87–100.
LibreCat: https://research-explorer.ista.ac.at/record/3874
DOI: 10.1007/978-3-540-78929-1_7

K. Chatterjee, L. Doyen, and T. A. Henzinger, “Quantitative languages,” presented at the CSL: Computer Science Logic, 2008, vol. 5213, pp. 385–400.
LibreCat: https://research-explorer.ista.ac.at/record/3879
DOI: 10.1007/978-3-540-87531-4_28

K. Chatterjee and T. A. Henzinger, “Value iteration,” in 25 Years in Model Checking, vol. 5000, Springer, 2008, pp. 107–138.
LibreCat: https://research-explorer.ista.ac.at/record/3872
DOI: 10.1007/978-3-540-69850-0_7

C. Tripp et al., “The lymph vessel network in mouse skin visualised with antibodies against the hyaluronan receptor LYVE-1,” Immunobiology, vol. 213, no. 9–10. Elsevier, pp. 715–28, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3945
DOI: 10.1016/j.imbio.2008.07.025

D. Frommhold et al., “Sialyltransferase SGal-IV controls CXC-mediated firm leukocyte arrest during inflammation,” The Journal of Experimental Medicine, vol. 205, no. 6. Rockefeller University Press, pp. 1435–1446, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3942
DOI: 10.1084/jem.20070846

K. Kessenbrock et al., “Proteinase 3 and neutrophil elastase enhance inflammation in mice by inactivating antiinflammatory progranulin,” The Journal of Clinical Investigation, vol. 118, no. 7. American Society for Clinical Investigation, pp. 2438–2447, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3943
DOI: 10.1172/JCI34694

T. Lämmermann et al., “Rapid leukocyte migration by integrin-independent flowing and squeezing,” Nature, vol. 453, no. 7191. Nature Publishing Group, pp. 51–55, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3941
DOI: 10.1038/nature06887

J. Riedl et al., “Lifeact: a versatile marker to visualize F-actin,” Nature Methods, vol. 5, no. 7. Nature Publishing Group, pp. 605–607, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3944
DOI: 10.1038/nmeth.1220

H. Edelsbrunner, J. Harer, and A. Patel, “Reeb spaces of piecewise linear mappings,” presented at the SCG: Symposium on Computational Geometry, 2008, pp. 242–250.
LibreCat: https://research-explorer.ista.ac.at/record/3974
DOI: 10.1145/1377676.1377720

D. Storch, A. Sizling, J. Reif, J. Polechova, E. Sizlingová, and K. Gaston, “The quest for a null model for macroecological patterns: geometry of species distributions at multiple spatial scales,” Ecology Letters, vol. 11, no. 8. Wiley-Blackwell, pp. 771–784, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4135
DOI: 3817

J. Bridle, J. Polechova, and T. Vines, “Patterns of biodiversity and limits to adaptation in time and space,” in Evolution and Speciation, J. R. R. K. Butlin and D. Schluter, Eds. Cambridge University Press, 2008, pp. 77–101.
LibreCat: https://research-explorer.ista.ac.at/record/4137
DOI: 3816

E. Schötz, R. Burdine, F. Julicher, M. Steinberg, C.-P. J. Heisenberg, and R. Foty, “Quantitative differences in tissue surface tension influence zebrafish germ layer positioning,” HFSP Journal, vol. 2, no. 1. HFSP Publishing, pp. 42–56, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4150
DOI: 10.2976/1.2834817

M. Krieg et al., “Tensile forces govern germ-layer organization in zebrafish,” Nature Cell Biology, vol. 10, no. 4. Nature Publishing Group, pp. 429–436, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4181
DOI: 10.1038/ncb1705

M. Krieg, J. Helenius, C.-P. J. Heisenberg, and D. Mueller, “A Bond for a Lifetime: Employing Membrane Nanotubes from Living Cells to Determine Receptor-Ligand Kinetics,” Angewandte Chemie - International Edition, vol. 47, no. 50. Wiley-Blackwell, pp. 9775–9777, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4180
DOI: 10.1002/anie.200803552

J. Helenius, C.-P. J. Heisenberg, H. Gaub, and D. Mueller, “Single-cell force spectroscopy,” Journal of Cell Science, vol. 121, no. 11. Company of Biologists, pp. 1785–1791, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4193
DOI: 10.1242/â€‹jcs.030999

C.-P. J. Heisenberg and L. Solnica Krezel, “Back and forth between cell fate specification and movement during vertebrate gastrulation,” Current Opinion in Genetics &; Development, vol. 18, no. 4. Elsevier, pp. 311–316, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4198
DOI: 10.1016/j.gde.2008.07.011

T. Bollenbach, P. Pantazis, A. Kicheva, C. Bokel, M. González Gaitán, and F. Julicher, “Precision of the Dpp gradient,” Development, vol. 135, no. 6. Company of Biologists, pp. 1137–1146, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4227
DOI: 10.1242/dev.012062

B. Pannebakker et al., “Effects of spontaneous mutation accumulation on sex ratio traits,” Evolution; International Journal of Organic Evolution, vol. 62, no. 8. Wiley-Blackwell, pp. 1921–1935, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4245
DOI: 10.1111/j.1558-5646.2008.00434.x

E. Yang, N. H. Barton, T. Arslan, and A. Erdogan, “A novel shifting balance theory-based approach to optimization of an energy-constrained modulation scheme for wireless sensor networks,” presented at the WCCI: IEEE World Congress on Computational Intelligence, 2008, pp. 2749–2756.
LibreCat: https://research-explorer.ista.ac.at/record/4244
DOI: 10.1109/CEC.2008.4631167

O. Maler, D. Nickovic, and A. Pnueli, “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors,” in Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505.
LibreCat: https://research-explorer.ista.ac.at/record/4371
DOI: 10.1007/978-3-540-78127-1_26

A. Podelski, A. Rybalchenko, and T. Wies, “Heap Assumptions on Demand,” presented at the CAV: Computer Aided Verification, 2008, vol. 5123, pp. 314–327.
LibreCat: https://research-explorer.ista.ac.at/record/4366
DOI: 10.1007/978-3-540-70545-1_31

K. Swarup et al., “The auxin influx carrier LA promotes lateral root emergence,” Nature Cell Biology, vol. 10, no. 8. Nature Publishing Group, pp. 946–954, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3038
DOI: 10.1038/ncb1754

J. Dubrovsky et al., “Auxin acts as a local morphogenetic trigger to specify lateral root founder cells,” PNAS, vol. 105, no. 25. National Academy of Sciences, pp. 8790–8794, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3036
DOI: 10.1073/pnas.0712307105

E. Rfdková, J. Friml, P. Procházková Schrumpfová, and J. Fajkus, “Role of alternative telomere lengthening unmasked in telomerase knock-out mutant plants,” Plant Molecular Biology, vol. 66, no. 6. Springer, pp. 637–646, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3030
DOI: 10.1007/s11103-008-9295-7

J. Kleine Vehn et al., “ARF GEF dependent transcytosis and polar delivery of PIN auxin carriers in Arabidopsis,” Current Biology, vol. 18, no. 7. Cell Press, pp. 526–531, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3032
DOI: 10.1016/j.cub.2008.03.021

M. Sauer and J. Friml, “In vitro culture of Arabidopsis embryos ,” in Plant Embryogenesis, vol. 427, M. Suárez and P. Bozhkov, Eds. Humana Press, 2008, pp. 71–76.
LibreCat: https://research-explorer.ista.ac.at/record/3035
DOI: 10.1007/978-1-59745-273-1_5

M. Sauer and J. Friml, “Visualization of auxin gradients in embryogenesis ,” in Plant Embryogenesis, vol. 427, M. Suárez and P. Bozhkov, Eds. Humana Press, 2008, pp. 137–144.
LibreCat: https://research-explorer.ista.ac.at/record/3033
DOI: 10.1007/978-1-59745-273-1_11

E. Feraru and J. Friml, “PIN polar targeting,” Plant Physiology, vol. 147, no. 4. American Society of Plant Biologists, pp. 1553–1559, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3037
DOI: 10.1104/pp.108.121756
PMID: 18678746

J. Friml and M. Sauer, “Plant biology: In their neighbour’s shadow,” Nature, vol. 453, no. 7193. Nature Publishing Group, pp. 298–299, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3034
DOI: 10.1038/453298a

R. Szeliski et al., “A comparative study of energy minimization methods for Markov random fields with smoothness-based priors,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 30, no. 6. IEEE, pp. 1068–1080, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3196
DOI: 10.1109/TPAMI.2007.70844

L. Torresani, V. Kolmogorov, and C. Rother, “Feature correspondence via graph matching: Models and global optimization,” presented at the ECCV: European Conference on Computer Vision, 2008, vol. 5303, pp. 596–609.
LibreCat: https://research-explorer.ista.ac.at/record/3198
DOI: 10.1007/978-3-540-88688-4_44

S. Vicente, V. Kolmogorov, and C. Rother, “Graph cut based image segmentation with connectivity priors,” presented at the CVPR: Computer Vision and Pattern Recognition, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3195
DOI: 10.1109/CVPR.2008.4587440

Y. Dodis, K. Z. Pietrzak, and P. Puniya, “A new mode of operation for block ciphers and length preserving MACs,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, 2008, vol. 4965, pp. 198–219.
LibreCat: https://research-explorer.ista.ac.at/record/3224
DOI: 10.1007/978-3-540-78967-3_12

M. Fischlin, A. Lehmann, and K. Z. Pietrzak, “Robust multi property combiners for hash functions revisited,” presented at the ICALP: Automata, Languages and Programming, 2008, vol. 5126, no. PART 2, pp. 655–666.
LibreCat: https://research-explorer.ista.ac.at/record/3225
DOI: 10.1007/978-3-540-70583-3_53

P. S. Schmalhorst et al., “Contribution of galactofuranose to the virulence of the opportunistic pathogen Aspergillus fumigatus,” Eukaryotic Cell, vol. 7, no. 8. American Society for Microbiology, pp. 1268–1277, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3291
DOI: 10.1128/EC.00065-08

R. Green et al., “A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing,” Cell, vol. 134. Cell Press, pp. 416–426, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3307
DOI: 10.1016/j.cell.2008.06.021

J. P. Bollback, T. York, and R. Nielsen, “Estimation of 2Nes From Temporal Allele Frequency Data,” Genetics, vol. 179, no. 1. Genetics Society of America, pp. 497–502, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3435
DOI: 10.1534/genetics.107.085019

J. Huxter, T. Senior, K. Allen, and J. L. Csicsvari, “Theta phase-specific codes for two-dimensional position, trajectory and heading in the hippocampus,” Nature Neuroscience, vol. 11, no. 5. Nature Publishing Group, pp. 587–594, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3516
DOI: 10.1038/nn.2106

P. Fuentealba et al., “Ivy cells: A population of nitric-oxide-producing, slow-spiking GABAergic neurons and their involvement in hippocampal network activity,” Neuron, vol. 57, no. 6. Elsevier, pp. 917–929, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3530
DOI: 10.1016/j.neuron.2008.01.034

N. Mallet et al., “Disrupted dopamine transmission and the emergence of exaggerated beta oscillations in subthalamic nucleus and cerebral cortex,” Journal of Neuroscience, vol. 28, no. 18. Society for Neuroscience, pp. 4795–4806, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3544
DOI: 10.1523/JNEUROSCI.0123-08.2008

S. Biasotti et al., “Skeletal structures,” in Shape Analysis and Structuring, Springer, 2008, pp. 145–183.
LibreCat: https://research-explorer.ista.ac.at/record/3577
DOI: 10.1007/978-3-540-33265-7_5

F. Ulrich and C.-P. J. Heisenberg, “Probing E-cadherin endocytosis by morpholino-mediated Rab5 knock-down in zebrafish.,” Methods in Molecular Biology, vol. 440. Springer, pp. 371–387, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3591
DOI: 10.1007/978-1-59745-178-9_27

E. Yang, A. Erdogan, T. Arslan, and N. H. Barton, “Adaptive formation control and bio-inspired optimization of a cluster-based satellite wireless sensor network ,” presented at the AHS: NASA/ESA Conference on Adaptive Hardware and Systems, 2008, pp. 432–439.
LibreCat: https://research-explorer.ista.ac.at/record/3599
DOI: 10.1109/AHS.2008.60

M. Blaschko, C. Lampert, and A. Gretton, “Semi-supervised Laplacian regularization of kernel canonical correlation analysis,” presented at the ECML: European Conference on Machine Learning, 2008, vol. 5211, no. Part 1, pp. 133–145.
LibreCat: https://research-explorer.ista.ac.at/record/3698
DOI: 10.1007/978-3-540-87479-9_27

M. Goldstein, C. Lampert, M. Reif, A. Stahl, and T. Breuel, “Bayes optimal DDoS mitigation by adaptive history-based IP filtering,” presented at the ICN: International Conference on Networking, 2008, pp. 174–179.
LibreCat: https://research-explorer.ista.ac.at/record/3694
DOI: 10.1109/ICN.2008.64

C. Lampert and M. Blaschko, “Joint kernel support estimation for structured prediction,” presented at the NIPS SISO: NIPS Workshop on “Structured Input - Structured Output,” 2008, pp. 1–4.
LibreCat: https://research-explorer.ista.ac.at/record/3706

M. Blaschko and C. Lampert, “Correlational spectral clustering,” presented at the CVPR: Computer Vision and Pattern Recognition, 2008, pp. 1–8.
LibreCat: https://research-explorer.ista.ac.at/record/3712
DOI: 10.1109/CVPR.2008.4587353

A. Engel, H. L. Janovjak, D. Fotiadis, A. Kedrov, D. Cisneros, and D. Mueller, “Single-molecule microscopy and force spectroscopy of membrane proteins,” in Single Molecules and Nanotechnology, vol. 12, Springer, 2008, pp. 279–311.
LibreCat: https://research-explorer.ista.ac.at/record/3726
DOI: 10.1007/978-3-540-73924-1_11

G. Tkadik, C. Callan, and W. Bialek, “Information capacity of genetic regulatory elements,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 78, no. 1. American Institute of Physics, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3739
DOI: 10.1103/PhysRevE.78.011910

G. Tkadik, C. Callan, and W. Bialek, “Information flow and optimization in transcriptional regulation,” PNAS, vol. 105, no. 34. National Academy of Sciences, pp. 12265–12270, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3740
DOI: 10.1073/pnas.0806077105

G. Tkadik and M. Magnasco, “Decoding spike timing: The differential reverse-correlation method,” Biosystems, vol. 93, no. 1–2. Elsevier, pp. 90–100, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3744
DOI: 10.1016/j.biosystems.2008.04.011

C. Wojtan and G. Turk, “Fast viscoelastic behavior with thin features,” ACM Transactions on Graphics, vol. 27, no. 3. ACM, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3760
DOI: 10.1145/1360612.1360646

Y. Aponte, J. Bischofberger, and P. M. Jonas, “Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus,” Journal of Physiology, vol. 586, no. 8. Wiley-Blackwell, pp. 2061–75, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3825
DOI: 10.1113/jphysiol.2007.147298

C. Schmidt Hieber, P. M. Jonas, and J. Bischofberger, “Action potential initiation and propagation in hippocampal mossy fibre axons,” Journal of Physiology, vol. 586, no. 7. Wiley-Blackwell, pp. 1849–57, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3822
DOI: 10.1113/jphysiol.2007.150151 

I. Bucurenciu, Á. Kulik, B. Schwaller, M. Frotscher, and P. M. Jonas, “Nanodomain coupling between Ca(2+) channels and C+ sensors promotes fast and efficient transmitter release at a cortical GABAergic synapse,” Neuron, vol. 57, no. 4. Elsevier, pp. 536–45, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3824
DOI: 10.1016/j.neuron.2007.12.026

A. Kerr and P. M. Jonas, “The two sides of hippocampal mossy fiber plasticity (Review),” Neuron, vol. 57, no. 1. Elsevier, pp. 5–7, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3823
DOI: 10.1016/j.neuron.2007.12.015

D. Berwanger, K. Chatterjee, L. Doyen, T. A. Henzinger, and S. Raje, “Strategy construction for parity games with imperfect information,” presented at the CONCUR: Concurrency Theory, 2008, vol. 5201, pp. 325–339.
LibreCat: https://research-explorer.ista.ac.at/record/3880
DOI: 10.1007/978-3-540-85361-9

L. V. Ugelvig, F. Drijfhout, D. Kronauer, J. Boomsma, J. Pedersen, and S. Cremer, “The introduction history of invasive garden ants in Europe: integrating genetic, chemical and behavioural approaches,” BMC Biology, vol. 6, no. 11. BioMed Central, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3903
DOI: 10.1186/1741-7007-6-11

S. Cremer, P. D’Ettorre, F. Drijfhout, M. Sledge, S. Turillazzi, and J. Heinze, “Imperfect chemical female mimicry in males of the ant Cardiocondyla obscurior,” Naturwissenschaften, vol. 95, no. 11. Springer, pp. 1101–1105, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3905
DOI: 10.1007/s00114-008-0430-8

M. Suefuji, S. Cremer, J. Oettler, and J. Heinze, “Queen number influences the timing of the sexual production in colonies of Cardiocondyla ants,” Biology Letters, vol. 4, no. 6. Royal Society, The, pp. 670–673, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3907
DOI: 10.1098/rsbl.2008.0355

S. Cremer et al., “The evolution of invasiveness in garden ants,” PLoS One, vol. 3, no. 12. Public Library of Science, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3906
DOI: 10.1371/journal.pone.0003838

T. Lämmermann and M. K. Sixt, “The microanatomy of T-cell responses,” Immunological Reviews, vol. 221, no. 1. Wiley-Blackwell, pp. 26–43, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3939
DOI: 10.1111/j.1600-065X.2008.00592.x

Z. Lokmic, T. Lämmermann, M. K. Sixt, S. Cardell, R. Hallmann, and L. Sorokin, “The extracellular matrix of the spleen as a potential organizer of immune cell compartments,” Seminars in Immunology, vol. 20, no. 1. Academic Press, pp. 4–13, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3940
DOI: 10.1016/j.smim.2007.12.009

M. Dequéant et al., “Comparison of pattern detection methods in microarray time series of the segmentation clock,” PLoS One, vol. 3, no. 8. Public Library of Science, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3970
DOI: 10.1371/journal.pone.0002856

H. Edelsbrunner, J. Harer, A. Mascarenhas, V. Pascucci, and J. Snoeyink, “Time-varying Reeb graphs for continuous space-time data,” Computational Geometry: Theory and Applications, vol. 41, no. 3. Elsevier, pp. 149–166, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3971
DOI: 10.1016/j.comgeo.2007.11.001

H. Edelsbrunner and J. Harer, “Persistent homology - a survey,” in Surveys on Discrete and Computational Geometry: Twenty Years Later, American Mathematical Society, 2008, pp. 257–282.
LibreCat: https://research-explorer.ista.ac.at/record/3969

H. Vervenne et al., “Lpp is involved in Wnt/PCP signaling and acts together with Scrib to mediate convergence and extension movements during zebrafish gastrulation,” Developmental Biology, vol. 320, no. 1. Elsevier, pp. 267–277, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4141
DOI: 10.1016/j.ydbio.2008.05.529

P. Oteíza, M. Köppen, M. Concha, and C.-P. J. Heisenberg, “Origin and shaping of the laterality organ in zebrafish,” Development, vol. 135, no. 16. Company of Biologists, pp. 2807–2813, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4161
DOI: 10.1242/dev.022228

M. Kai, C.-P. J. Heisenberg, and M. Tada, “Sphingosine-1-phosphate receptors regulate individual cell behaviours underlying the directed migration of prechordal plate progenitor cells during zebrafish gastrulation,” Development, vol. 135, no. 18. Company of Biologists, pp. 3043–3051, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4190
DOI: 10.1242/dev.020396

R. Guerraoui, T. A. Henzinger, B. Jobstmann, and V. Singh, “Model checking transactional memories,” presented at the PLDI: Programming Languages Design and Implementation, 2008, pp. 372–382.
LibreCat: https://research-explorer.ista.ac.at/record/4384
DOI: 10.1145/1375581.1375626

R. Guerraoui, T. A. Henzinger, and V. Singh, “Permissiveness in transactional memories,” presented at the DISC: Distributed Computing, 2008, vol. 5218, pp. 305–319.
LibreCat: https://research-explorer.ista.ac.at/record/4386
DOI: 10.1007/978-3-540-87779-0_21

R. Guerraoui, T. A. Henzinger, and V. Singh, “Completeness and nondeterminism in model checking transactional memories,” presented at the CONCUR: Concurrency Theory, 2008, vol. 5201, pp. 21–35.
LibreCat: https://research-explorer.ista.ac.at/record/4387
DOI: 10.1007/978-3-540-85361-9_6

D. Beyer, D. Zufferey, and R. Majumdar, “CSIsat: Interpolation for LA+EUF,” presented at the CAV: Computer Aided Verification, 2008, pp. 304–308.
LibreCat: https://research-explorer.ista.ac.at/record/4397

A. Aviv et al., “Security Evaluation of ES&;amp;S Voting Machines and Election Management System,” presented at the Usenix/ Accurate Electronic Voting Technology Workshop (EVT) 08, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4400
DOI: 1545

V. Prabhu, “Games for the verification of timed systems,” University of California, Berkeley, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4409

S. Matic, “Compositionality in deterministic real-time embedded systems,” University of California, Berkeley, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4415

T. A. Henzinger, T. Hottelier, and L. Kovács, “Valigator: A verification tool with bound and invariant generation,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, 2008, vol. 5330, pp. 333–342.
LibreCat: https://research-explorer.ista.ac.at/record/4452
DOI: 10.1007/978-3-540-89439-1_24

T. A. Henzinger, “Two challenges in embedded systems design: Predictability and robustness,” Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, vol. 366, no. 1881. Royal Society of London, pp. 3727–3736, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4509
DOI: 10.1098/rsta.2008.0141

A. Ghosal, “A hierarchical coordination language for reliable real-time tasks,” University of California, Berkeley, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4524

A. Gupta, T. A. Henzinger, R. Majumdar, A. Rybalchenko, and R. Xu, “Proving non-termination,” presented at the POPL: Principles of Programming Languages, 2008, pp. 147–158.
LibreCat: https://research-explorer.ista.ac.at/record/4521
DOI: 10.1145/1328438.1328459

J. Fisher, T. A. Henzinger, M. Mateescu, and N. Piterman, “Bounded asynchrony: Concurrency for modeling cell-cell interactions,” presented at the FMSB: Formal Methods in Systems Biology, 2008, vol. 5054, pp. 17–32.
LibreCat: https://research-explorer.ista.ac.at/record/4527
DOI: 10.1007/978-3-540-68413-8_2

L. Doyen, T. A. Henzinger, and J. Raskin, “Equivalence of labeled Markov chains,” International Journal of Foundations of Computer Science, vol. 19, no. 3. World Scientific Publishing, pp. 549–563, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4532
DOI: 10.1142/S0129054108005814 

L. Doyen, T. A. Henzinger, B. Jobstmann, and T. Petrov, “Interface theories with component reuse,” presented at the EMSOFT: Embedded Software , 2008, pp. 79–88.
LibreCat: https://research-explorer.ista.ac.at/record/4533
DOI: 10.1145/1450058.1450070

K. Chatterjee and T. A. Henzinger, “Reduction of stochastic parity to stochastic mean-payoff games,” Information Processing Letters, vol. 106, no. 1. Elsevier, pp. 1–7, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4534
DOI: 10.1016/j.ipl.2007.08.035

K. Chatterjee et al., “Logical reliability of interacting real-time tasks,” presented at the DATE: Design, Automation and Test in Europe, 2008, pp. 909–914.
LibreCat: https://research-explorer.ista.ac.at/record/4546
DOI: 10.1145/1403375.1403595

K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Stochastic limit-average games are in EXPTIME,” International Journal of Game Theory, vol. 37, no. 2. Springer, pp. 219–234, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4548
DOI: 10.1007/s00182-007-0110-5

D. Beyer, T. A. Henzinger, and G. Théoduloz, “Program analysis with dynamic change of precision,” presented at the ASE: Automated Software Engineering, 2008, pp. 29–38.
LibreCat: https://research-explorer.ista.ac.at/record/4568
DOI: 10.1109/ASE.2008.13

O. Hosten and P. Kwiat, “Observation of the spin hall effect of light via weak measurements,” Science, vol. 319, no. 5864. American Association for the Advancement of Science, pp. 787–790, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/581
DOI: 10.1126/science.1152697

O. Hosten and P. Kwiat, “Spin hall effect of light via weak measurements: Sharp and smooth index variations,” presented at the QELS: Quantum Electronics and Laser Science Conference, San Jose, CA, United States, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/584

A. J. Bretscher, K. E. Busch, and M. de Bono, “A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans,” Proceedings of the National Academy of Sciences, vol. 105, no. 23. Proceedings of the National Academy of Sciences, pp. 8044–8049, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/6146
DOI: 10.1073/pnas.0707607105
PMID: 18524954

J. E. Kammenga, P. C. Phillips, M. de Bono, and A. Doroszuk, “Beyond induced mutants: using worms to study natural variation in genetic pathways,” Trends in Genetics, vol. 24, no. 4. Elsevier, pp. 178–185, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/6148
DOI: 10.1016/j.tig.2008.01.001
PMID: 18325626

B. Olofsson and M. de Bono, “Sleep: dozy worms and sleepy flies,” Current Biology, vol. 18, no. 5. Elsevier, pp. 4–6, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/6149
DOI: 10.1016/j.cub.2008.01.002
PMID: 18334193

S. A. Freunberger, I. A. Schneider, P.-C. Sui, A. Wokaun, N. Djilali, and F. N. Buchi, “Cell interaction phenomena in polymer electrolyte fuel cell stacks,” Journal of The Electrochemical Society, vol. 155, no. 7. The Electrochemical Society, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/7321
DOI: 10.1149/1.2913095

R. Flückiger, S. A. Freunberger, D. Kramer, A. Wokaun, G. G. Scherer, and F. N. Büchi, “Anisotropic, effective diffusivity of porous gas diffusion layer materials for PEFC,” Electrochimica Acta, vol. 54, no. 2. Elsevier, pp. 551–559, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/7320
DOI: 10.1016/j.electacta.2008.07.034

D. Kramer et al., “Electrochemical diffusimetry of fuel cell gas diffusion layers,” Journal of Electroanalytical Chemistry, vol. 612, no. 1. Elsevier, pp. 63–77, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/7322
DOI: 10.1016/j.jelechem.2007.09.014

M. Santis, S. A. Freunberger, M. Papra, and F. N. Büchi, “Experimental investigation of the propagation of local current density variations to adjacent cells in PEFC stacks,” in 3rd International Conference on Fuel Cell Science, Engineering and Technology, Ypsilanti, MI, United States, 2008, pp. 763–765.
LibreCat: https://research-explorer.ista.ac.at/record/7425
DOI: 10.1115/fuelcell2005-74116