Quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2008, pp. 385–400.
LibreCat: https://research-explorer.ista.ac.at/record/3879
DOI: 10.1007/978-3-540-87531-4_28

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

The lymph vessel network in mouse skin visualised with antibodies against the hyaluronan receptor LYVE-1
C. Tripp, B. Haid, V. Flacher, M.K. Sixt, H. Peter, J. Farkas, R. Gschwentner, L. Sorokin, N. Romani, P. Stoitzner, Immunobiology 213 (2008) 715–28.
LibreCat: https://research-explorer.ista.ac.at/record/3945
DOI: 10.1016/j.imbio.2008.07.025

Sialyltransferase SGal-IV controls CXC-mediated firm leukocyte arrest during inflammation
D. Frommhold, A. Ludwig, M.G. Bixel, A. Zarbock, I. Babushkina, M. Weissinger, S. Cauwenberghs, L. Ellies, J. Marth, A. Beck Sickinger, M.K. Sixt, B. Lange Sperandio, A. Zernecke, E. Brandt, C. Weber, D. Vestweber, K. Ley, M. Sperandio, The Journal of Experimental Medicine 205 (2008) 1435–1446.
LibreCat: https://research-explorer.ista.ac.at/record/3942
DOI: 10.1084/jem.20070846

Proteinase 3 and neutrophil elastase enhance inflammation in mice by inactivating antiinflammatory progranulin
K. Kessenbrock, L. Fröhlich, M.K. Sixt, T. Lämmermann, H. Pfister, A. Bateman, A. Belaaouaj, J. Ring, M. Ollert, R. Fässler, D. Jenne, The Journal of Clinical Investigation 118 (2008) 2438–2447.
LibreCat: https://research-explorer.ista.ac.at/record/3943
DOI: 10.1172/JCI34694

Rapid leukocyte migration by integrin-independent flowing and squeezing
T. Lämmermann, B. Bader, S. Monkley, T. Worbs, R. Wedlich Söldner, K. Hirsch, M. Keller, R. Förster, D. Critchley, R. Fässler, M.K. Sixt, Nature 453 (2008) 51–55.
LibreCat: https://research-explorer.ista.ac.at/record/3941
DOI: 10.1038/nature06887

Lifeact: a versatile marker to visualize F-actin
J. Riedl, A. Crevenna, K. Kessenbrock, J. Yu, D. Neukirchen, M. Bista, F. Bradke, D. Jenne, T. Holak, Z. Werb, M.K. Sixt, R. Wedlich Soldner, Nature Methods 5 (2008) 605–607.
LibreCat: https://research-explorer.ista.ac.at/record/3944
DOI: 10.1038/nmeth.1220

Reeb spaces of piecewise linear mappings
H. Edelsbrunner, J. Harer, A. Patel, in:, ACM, 2008, pp. 242–250.
LibreCat: https://research-explorer.ista.ac.at/record/3974
DOI: 10.1145/1377676.1377720

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

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

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

Tensile forces govern germ-layer organization in zebrafish
M. Krieg, Y. Arboleda Estudillo, P. Puech, J. Käfer, F. Graner, D. Mueller, C.-P.J. Heisenberg, Nature Cell Biology 10 (2008) 429–436.
LibreCat: https://research-explorer.ista.ac.at/record/4181
DOI: 10.1038/ncb1705

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

Single-cell force spectroscopy
J. Helenius, C.-P.J. Heisenberg, H. Gaub, D. Mueller, Journal of Cell Science 121 (2008) 1785–1791.
LibreCat: https://research-explorer.ista.ac.at/record/4193
DOI: 10.1242/â€‹jcs.030999

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

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

Effects of spontaneous mutation accumulation on sex ratio traits
B. Pannebakker, D. Halligan, K.T. Reynolds, G. Ballantyne, D. Shuker, N.H. Barton, S. West, Evolution; International Journal of Organic Evolution 62 (2008) 1921–1935.
LibreCat: https://research-explorer.ista.ac.at/record/4245
DOI: 10.1111/j.1558-5646.2008.00434.x

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

Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
O. Maler, D. Nickovic, A. Pnueli, 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

Heap Assumptions on Demand
A. Podelski, A. Rybalchenko, T. Wies, in:, Springer, 2008, pp. 314–327.
LibreCat: https://research-explorer.ista.ac.at/record/4366
DOI: 10.1007/978-3-540-70545-1_31

The auxin influx carrier LA promotes lateral root emergence
K. Swarup, E. Benková, R. Swarup, I. Casimiro, B. Péret, Y. Yang, G. Parry, E. Nielsen, I. De Smet, S. Vanneste, M. Levesque, D. Carrier, N. James, V. Calvo, K. Ljung, E. Kramer, R. Roberts, N. Graham, S. Marillonnet, K. Patel, J. Jones, C. Taylor, D. Schachtman, S. May, G. Sandberg, P. Benfey, J. Friml, I. Kerr, T. Beeckman, L. Laplaze, M. Bennett, Nature Cell Biology 10 (2008) 946–954.
LibreCat: https://research-explorer.ista.ac.at/record/3038
DOI: 10.1038/ncb1754

Auxin acts as a local morphogenetic trigger to specify lateral root founder cells
J. Dubrovsky, M. Sauer, S. Napsucialy Mendivil, M. Ivanchenko, J. Friml, S. Shishkova, J. Celenza, E. Benková, PNAS 105 (2008) 8790–8794.
LibreCat: https://research-explorer.ista.ac.at/record/3036
DOI: 10.1073/pnas.0712307105

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

ARF GEF dependent transcytosis and polar delivery of PIN auxin carriers in Arabidopsis
J. Kleine Vehn, P. Dhonukshe, M. Sauer, P. Brewer, J. Wibniewska, T. Paciorek, E. Benková, J. Friml, Current Biology 18 (2008) 526–531.
LibreCat: https://research-explorer.ista.ac.at/record/3032
DOI: 10.1016/j.cub.2008.03.021

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

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

PIN polar targeting
E. Feraru, J. Friml, Plant Physiology 147 (2008) 1553–1559.
LibreCat: https://research-explorer.ista.ac.at/record/3037
DOI: 10.1104/pp.108.121756
PMID: 18678746

Plant biology: In their neighbour's shadow
J. Friml, M. Sauer, Nature 453 (2008) 298–299.
LibreCat: https://research-explorer.ista.ac.at/record/3034
DOI: 10.1038/453298a

A comparative study of energy minimization methods for Markov random fields with smoothness-based priors
R. Szeliski, R. Zabih, D. Scharstein, O. Veksler, V. Kolmogorov, A. Agarwala, M. Tappen, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 30 (2008) 1068–1080.
LibreCat: https://research-explorer.ista.ac.at/record/3196
DOI: 10.1109/TPAMI.2007.70844

Feature correspondence via graph matching: Models and global optimization
L. Torresani, V. Kolmogorov, C. Rother, in:, Springer, 2008, pp. 596–609.
LibreCat: https://research-explorer.ista.ac.at/record/3198
DOI: 10.1007/978-3-540-88688-4_44

Graph cut based image segmentation with connectivity priors
S. Vicente, V. Kolmogorov, C. Rother, in:, IEEE, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3195
DOI: 10.1109/CVPR.2008.4587440

A new mode of operation for block ciphers and length preserving MACs
Y. Dodis, K.Z. Pietrzak, P. Puniya, in:, Springer, 2008, pp. 198–219.
LibreCat: https://research-explorer.ista.ac.at/record/3224
DOI: 10.1007/978-3-540-78967-3_12

Robust multi property combiners for hash functions revisited
M. Fischlin, A. Lehmann, K.Z. Pietrzak, in:, Springer, 2008, pp. 655–666.
LibreCat: https://research-explorer.ista.ac.at/record/3225
DOI: 10.1007/978-3-540-70583-3_53

Contribution of galactofuranose to the virulence of the opportunistic pathogen Aspergillus fumigatus
P.S. Schmalhorst, S. Krappmann, W. Vervecken, M. Rohde, M. Müller, G. Braus, R. Contreras, A. Braun, H. Bakker, F. Routier, Eukaryotic Cell 7 (2008) 1268–1277.
LibreCat: https://research-explorer.ista.ac.at/record/3291
DOI: 10.1128/EC.00065-08

A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing
R. Green, A. Malaspinas, J. Krause, A. Briggs, P. Johnson, C. Uhler, M. Meyer, J. Good, T. Maricic, U. Stenzel, K. Prüfer, M. Siebauer, H. Burbano, M. Ronan, J. Rothberg, M. Egholm, P. Rudan, D. Brajkovi, d. Kuan, I. Gusi, M. Wikström, L. Laakkonen, J. Kelso, M. Slatkin, S. Pääbo, Cell 134 (2008) 416–426.
LibreCat: https://research-explorer.ista.ac.at/record/3307
DOI: 10.1016/j.cell.2008.06.021

Estimation of 2Nes From Temporal Allele Frequency Data
J.P. Bollback, T. York, R. Nielsen, Genetics 179 (2008) 497–502.
LibreCat: https://research-explorer.ista.ac.at/record/3435
DOI: 10.1534/genetics.107.085019

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

Ivy cells: A population of nitric-oxide-producing, slow-spiking GABAergic neurons and their involvement in hippocampal network activity
P. Fuentealba, R. Begum, M. Capogna, S. Jinno, L. Marton, J.L. Csicsvari, A. Thomson, P. Somogyi, T. Klausberger, Neuron 57 (2008) 917–929.
LibreCat: https://research-explorer.ista.ac.at/record/3530
DOI: 10.1016/j.neuron.2008.01.034

Disrupted dopamine transmission and the emergence of exaggerated beta oscillations in subthalamic nucleus and cerebral cortex
N. Mallet, A. Pogosyan, A. Sharott, J.L. Csicsvari, J. Bolam, P. Brown, P. Magill, Journal of Neuroscience 28 (2008) 4795–4806.
LibreCat: https://research-explorer.ista.ac.at/record/3544
DOI: 10.1523/JNEUROSCI.0123-08.2008

Skeletal structures
S. Biasotti, D. Attali, J. Boissonnat, H. Edelsbrunner, G. Elber, M. Mortara, G. Sanniti Di Baja, M. Spagnuolo, M. Tanase, R. Veltkam, 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

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

Adaptive formation control and bio-inspired optimization of a cluster-based satellite wireless sensor network 
E. Yang, A. Erdogan, T. Arslan, N.H. Barton, in:, IEEE, 2008, pp. 432–439.
LibreCat: https://research-explorer.ista.ac.at/record/3599
DOI: 10.1109/AHS.2008.60

Semi-supervised Laplacian regularization of kernel canonical correlation analysis
M. Blaschko, C. Lampert, A. Gretton, in:, Springer, 2008, pp. 133–145.
LibreCat: https://research-explorer.ista.ac.at/record/3698
DOI: 10.1007/978-3-540-87479-9_27

Bayes optimal DDoS mitigation by adaptive history-based IP filtering
M. Goldstein, C. Lampert, M. Reif, A. Stahl, T. Breuel, in:, IEEE, 2008, pp. 174–179.
LibreCat: https://research-explorer.ista.ac.at/record/3694
DOI: 10.1109/ICN.2008.64

Joint kernel support estimation for structured prediction
C. Lampert, M. Blaschko, in:, Curran Associates, Inc., 2008, pp. 1–4.
LibreCat: https://research-explorer.ista.ac.at/record/3706

Correlational spectral clustering
M. Blaschko, C. Lampert, in:, IEEE, 2008, pp. 1–8.
LibreCat: https://research-explorer.ista.ac.at/record/3712
DOI: 10.1109/CVPR.2008.4587353

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

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

Information flow and optimization in transcriptional regulation
G. Tkadik, C. Callan, W. Bialek, PNAS 105 (2008) 12265–12270.
LibreCat: https://research-explorer.ista.ac.at/record/3740
DOI: 10.1073/pnas.0806077105

Decoding spike timing: The differential reverse-correlation method
G. Tkadik, M. Magnasco, Biosystems 93 (2008) 90–100.
LibreCat: https://research-explorer.ista.ac.at/record/3744
DOI: 10.1016/j.biosystems.2008.04.011

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

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

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

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

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

Strategy construction for parity games with imperfect information
D. Berwanger, K. Chatterjee, L. Doyen, T.A. Henzinger, S. Raje, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–339.
LibreCat: https://research-explorer.ista.ac.at/record/3880
DOI: 10.1007/978-3-540-85361-9

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

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

Queen number influences the timing of the sexual production in colonies of Cardiocondyla ants
M. Suefuji, S. Cremer, J. Oettler, J. Heinze, Biology Letters 4 (2008) 670–673.
LibreCat: https://research-explorer.ista.ac.at/record/3907
DOI: 10.1098/rsbl.2008.0355

The evolution of invasiveness in garden ants
S. Cremer, L.V. Ugelvig, F. Drijfhout, B. Schlick Steiner, F. Steiner, B. Seifert, D. Hughes, A. Schulz, K. Petersen, H. Konrad, C. Stauffer, K. Kiran, X. Espadaler, P. D’Ettorre, N. Aktaç, J. Eilenberg, G. Jones, D. Nash, J. Pedersen, J. Boomsma, PLoS One 3 (2008).
LibreCat: https://research-explorer.ista.ac.at/record/3906
DOI: 10.1371/journal.pone.0003838

The microanatomy of T-cell responses
T. Lämmermann, M.K. Sixt, Immunological Reviews 221 (2008) 26–43.
LibreCat: https://research-explorer.ista.ac.at/record/3939
DOI: 10.1111/j.1600-065X.2008.00592.x

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

Comparison of pattern detection methods in microarray time series of the segmentation clock
M. Dequéant, S. Ahnert, H. Edelsbrunner, T. Fink, E. Glynn, G. Hattem, A. Kudlicki, Y. Mileyko, J. Morton, A. Mushegian, L. Pachter, M. Rowicka, A. Shiu, B. Sturmfels, O. Pourquie, PLoS One 3 (2008).
LibreCat: https://research-explorer.ista.ac.at/record/3970
DOI: 10.1371/journal.pone.0002856

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

Persistent homology - a survey
H. Edelsbrunner, J. Harer, 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

Lpp is involved in Wnt/PCP signaling and acts together with Scrib to mediate convergence and extension movements during zebrafish gastrulation
H. Vervenne, K. Crombez, K. Lambaerts, L. Carvalho, M. Köppen, C.-P.J. Heisenberg, W. Van De Ven, M. Petit, Developmental Biology 320 (2008) 267–277.
LibreCat: https://research-explorer.ista.ac.at/record/4141
DOI: 10.1016/j.ydbio.2008.05.529

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

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

Model checking transactional memories
R. Guerraoui, T.A. Henzinger, B. Jobstmann, V. Singh, in:, ACM, 2008, pp. 372–382.
LibreCat: https://research-explorer.ista.ac.at/record/4384
DOI: 10.1145/1375581.1375626

Permissiveness in transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2008, pp. 305–319.
LibreCat: https://research-explorer.ista.ac.at/record/4386
DOI: 10.1007/978-3-540-87779-0_21

Completeness and nondeterminism in model checking transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35.
LibreCat: https://research-explorer.ista.ac.at/record/4387
DOI: 10.1007/978-3-540-85361-9_6

CSIsat: Interpolation for LA+EUF
D. Beyer, D. Zufferey, R. Majumdar, in:, Springer, 2008, pp. 304–308.
LibreCat: https://research-explorer.ista.ac.at/record/4397

Security Evaluation of ES&amp;S Voting Machines and Election Management System
A. Aviv, P. Cerny, S. Clark, E. Cronin, G. Shah, M. Sherr, M. Blaze, in:, USENIX, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4400
DOI: 1545

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

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

Valigator: A verification tool with bound and invariant generation
T.A. Henzinger, T. Hottelier, L. Kovács, in:, Springer, 2008, pp. 333–342.
LibreCat: https://research-explorer.ista.ac.at/record/4452
DOI: 10.1007/978-3-540-89439-1_24

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

A hierarchical coordination language for reliable real-time tasks
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

Proving non-termination
A. Gupta, T.A. Henzinger, R. Majumdar, A. Rybalchenko, R. Xu, in:, ACM, 2008, pp. 147–158.
LibreCat: https://research-explorer.ista.ac.at/record/4521
DOI: 10.1145/1328438.1328459

Bounded asynchrony: Concurrency for modeling cell-cell interactions
J. Fisher, T.A. Henzinger, M. Mateescu, N. Piterman, in:, Springer, 2008, pp. 17–32.
LibreCat: https://research-explorer.ista.ac.at/record/4527
DOI: 10.1007/978-3-540-68413-8_2

Equivalence of labeled Markov chains
L. Doyen, T.A. Henzinger, J. Raskin, International Journal of Foundations of Computer Science 19 (2008) 549–563.
LibreCat: https://research-explorer.ista.ac.at/record/4532
DOI: 10.1142/S0129054108005814 

Interface theories with component reuse
L. Doyen, T.A. Henzinger, B. Jobstmann, T. Petrov, in:, ACM, 2008, pp. 79–88.
LibreCat: https://research-explorer.ista.ac.at/record/4533
DOI: 10.1145/1450058.1450070

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

Logical reliability of interacting real-time tasks
K. Chatterjee, A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, C. Pinello, A. Sangiovanni Vincentelli, in:, IEEE, 2008, pp. 909–914.
LibreCat: https://research-explorer.ista.ac.at/record/4546
DOI: 10.1145/1403375.1403595

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

Program analysis with dynamic change of precision
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, ACM, 2008, pp. 29–38.
LibreCat: https://research-explorer.ista.ac.at/record/4568
DOI: 10.1109/ASE.2008.13

Observation of the spin hall effect of light via weak measurements
O. Hosten, P. Kwiat, Science 319 (2008) 787–790.
LibreCat: https://research-explorer.ista.ac.at/record/581
DOI: 10.1126/science.1152697

Spin hall effect of light via weak measurements: Sharp and smooth index variations
O. Hosten, P. Kwiat, in:, Optica Publishing Group, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/584

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

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

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

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

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

Electrochemical diffusimetry of fuel cell gas diffusion layers
D. Kramer, S.A. Freunberger, R. Flückiger, I.A. Schneider, A. Wokaun, F.N. Büchi, G.G. Scherer, Journal of Electroanalytical Chemistry 612 (2008) 63–77.
LibreCat: https://research-explorer.ista.ac.at/record/7322
DOI: 10.1016/j.jelechem.2007.09.014

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

How to solve consensus in the smallest window of synchrony
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2008, pp. 32–46.
LibreCat: https://research-explorer.ista.ac.at/record/753
DOI: 10.1007/978-3-540-87779-0_3

Environmental heterogeneity generates fluctuating selection on a secondary sexual trait
M.R. Robinson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Current Biology 18 (2008) 751–757.
LibreCat: https://research-explorer.ista.ac.at/record/7752
DOI: 10.1016/j.cub.2008.04.059

Hypermutable non-synonymous sites are under stronger negative selection
S. Schmidt, A. Gerasimova, F. Kondrashov, I. Adzuhbei, A. Kondrashov, S. Sunyaev, PLoS Genetics 4 (2008).
LibreCat: https://research-explorer.ista.ac.at/record/844
DOI: 10.1371/journal.pgen.1000281

Molecular structure and metal-binding properties of the periplasmic CopK protein expressed in Cupriavidus metallidurans C during copper challenge
B. Bersch, A. Favier, P. Schanda, S. van Aelst, T. Vallaeys, J. Covès, M. Mergeay, R. Wattiez, Journal of Molecular Biology 380 (2008) 386–403.
LibreCat: https://research-explorer.ista.ac.at/record/8481
DOI: 10.1016/j.jmb.2008.05.017

Folding of the KIX domain: Characterization of the equilibrium analog of a folding intermediate using 15N/13C relaxation dispersion and fast 1H/2H amide exchange NMR spectroscopy
P. Schanda, B. Brutscher, R. Konrat, M. Tollinger, Journal of Molecular Biology 380 (2008) 726–741.
LibreCat: https://research-explorer.ista.ac.at/record/8480
DOI: 10.1016/j.jmb.2008.05.040