Reactivation of experience-dependent cell assembly patterns in the hippocampus
J. O’Neill, T. Senior, K. Allen, J. Huxter, J.L. Csicsvari, Nature Neuroscience 11 (2008) 209–215.
LibreCat: https://research-explorer.ista.ac.at/record/3520
DOI: 10.1038/nn2037

Gamma oscillatory firing reveals distinct populations of pyramidal cells in the C region of the hippocampus
T. Senior, J. Huxter, K. Allen, J. O’Neill, J.L. Csicsvari, Journal of Neuroscience 28 (2008) 2274–2286.
LibreCat: https://research-explorer.ista.ac.at/record/3537
DOI: 10.1523/JNEUROSCI.4669-07.2008

Inhibitory interneurons and network oscillations
D. Dupret, B. Pleydell Bouverie, J.L. Csicsvari, PNAS 105 (2008) 18079–18080.
LibreCat: https://research-explorer.ista.ac.at/record/3534
DOI: 10.1073/pnas.0810064105

 Scalability of a novel shifting balance theory-based optimization algorithm: A comparative study on a cluster-based wireless sensor network
E. Yang, N.H. Barton, T. Arslan, A. Erdogan, in:, Springer, 2008, pp. 249–260.
LibreCat: https://research-explorer.ista.ac.at/record/3600
DOI: 10.1007/978-3-540-85857-7_22

The effect of a barrier to gene flow on patterns of geographic variation
N.H. Barton, Genetical Research 90 (2008) 139–149.
LibreCat: https://research-explorer.ista.ac.at/record/3606
DOI: 10.1017/S0016672307009081

A model for the evolution of assortative mating
M. De Cara, N.H. Barton, M. Kirkpatrick, American Naturalist 171 (2008) 580–596.
LibreCat: https://research-explorer.ista.ac.at/record/3605
DOI: 10.1086/587062

Learning to localize objects with structured output regression
M. Blaschko, C. Lampert, in:, Springer, 2008, pp. 2–15.
LibreCat: https://research-explorer.ista.ac.at/record/3705
DOI: 10.1007/978-3-540-88682-2_2

Partitioning of image datasets using discriminative context information
C. Lampert, in:, IEEE, 2008, pp. 1–8.
LibreCat: https://research-explorer.ista.ac.at/record/3700
DOI: 10.1109/CVPR.2008.4587448

A multiple kernel learning approach to joint multi-class object detection
C. Lampert, M. Blaschko, in:, Springer, 2008, pp. 31–40.
LibreCat: https://research-explorer.ista.ac.at/record/3716
DOI: 10.1007/978-3-540-69321-5_4

Beyond sliding windows: Object localization by efficient subwindow search
C. Lampert, M. Blaschko, T. Hofmann, in:, IEEE, 2008, pp. 1–8.
LibreCat: https://research-explorer.ista.ac.at/record/3714
DOI: 10.1109/CVPR.2008.4587586

The role of input noise in transcriptional regulation
G. Tkadik, T. Gregor, W. Bialek, PLoS One 3 (2008).
LibreCat: https://research-explorer.ista.ac.at/record/3734
DOI: 10.1371/journal.pone.0002774

Uncovering cis regulatory codes using synthetic promoter shuffling
A. Kinkhabwala, C.C. Guet, PLoS One 3 (2008).
LibreCat: https://research-explorer.ista.ac.at/record/3751
DOI: 10.1371/journal.pone.0002030
PMID: 18446205

Minimally invasive determination of mRNA concentration in single living bacteria
C.C. Guet, L. Bruneaux, T. Min, D. Siegal Gaskins, I. Figueroa, T. Emonet, P. Cluzel, Nucleic Acids Research 36 (2008).
LibreCat: https://research-explorer.ista.ac.at/record/3754
DOI: 10.1093/nar/gkn329

An Exact Algorithm for the Geodesic Distance between Phylogenetic Trees.
A. Kupczok, A. Von Haeseler, S. Klaere, Journal of Computational Biology 15 (2008) 577–591.
LibreCat: https://research-explorer.ista.ac.at/record/3769
DOI: 4200

Postnatal differentiation of basket cells from slow to fast signaling devices
D. Doischer, J. Hosp, Y. Yanagawa, K. Obata, P.M. Jonas, I. Vida, M. Bartos, Journal of Neuroscience 28 (2008) 12956–68.
LibreCat: https://research-explorer.ista.ac.at/record/3826
DOI: 10.1523/JNEUROSCI.2890-08.2008

Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses
A. Kerr, E. Reisinger, P.M. Jonas, PNAS 105 (2008) 15581–6.
LibreCat: https://research-explorer.ista.ac.at/record/3827
DOI: 10.1073/pnas.0800621105

Algorithms for game metrics
K. Chatterjee, L. De Alfaro, R. Majumdar, V. Raman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 107–118.
LibreCat: https://research-explorer.ista.ac.at/record/3504
DOI: 10.4230/LIPIcs.FSTTCS.2008.1745

Model-checking omega-regular properties of interval Markov chains
K. Chatterjee, T.A. Henzinger, K. Sen, in:, Springer, 2008, pp. 302–317.
LibreCat: https://research-explorer.ista.ac.at/record/3875
DOI: 10.1007/978-3-540-78499-9_22

Controller synthesis with budget constraints
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2008, pp. 72–86.
LibreCat: https://research-explorer.ista.ac.at/record/3873
DOI: DOI: 10.1007/978-3-540-78929-1_6

Timed parity games: complexity and robustness
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Springer, 2008, pp. 124–140.
LibreCat: https://research-explorer.ista.ac.at/record/3876
DOI: 10.1007/978-3-540-85778-5_10

Environment assumptions for synthesis
K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–161.
LibreCat: https://research-explorer.ista.ac.at/record/3877
DOI: 10.1007/978-3-540-85361-9_14

The complexity of coverage
K. Chatterjee, L. De Alfaro, R. Majumdar, in:, Springer, 2008, pp. 91–106.
LibreCat: https://research-explorer.ista.ac.at/record/3878
DOI: 10.1007/978-3-540-89330-1_7

Trading infinite memory for uniform randomness in timed games
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Springer, 2008, pp. 87–100.
LibreCat: https://research-explorer.ista.ac.at/record/3874
DOI: 10.1007/978-3-540-78929-1_7

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