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

Yang E, Barton NH, Arslan T, Erdogan A. 2008.  Scalability of a novel shifting balance theory-based optimization algorithm: A comparative study on a cluster-based wireless sensor network. IECS: International Conference on Evolvable Systems, LNCS, vol. 5216, 249–260.
LibreCat: https://research-explorer.ista.ac.at/record/3600
DOI: 10.1007/978-3-540-85857-7_22

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

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

Blaschko M, Lampert C. 2008. Learning to localize objects with structured output regression. ECCV: European Conference on Computer Vision, LNCS, vol. 5302, 2–15.
LibreCat: https://research-explorer.ista.ac.at/record/3705
DOI: 10.1007/978-3-540-88682-2_2

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

Lampert C, Blaschko M. 2008. A multiple kernel learning approach to joint multi-class object detection. DAGM: German Association For Pattern Recognition, LNCS, vol. 5096, 31–40.
LibreCat: https://research-explorer.ista.ac.at/record/3716
DOI: 10.1007/978-3-540-69321-5_4

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

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

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

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

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

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

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

Chatterjee K, De Alfaro L, Majumdar R, Raman V. 2008. Algorithms for game metrics. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 2, 107–118.
LibreCat: https://research-explorer.ista.ac.at/record/3504
DOI: 10.4230/LIPIcs.FSTTCS.2008.1745

Chatterjee K, Henzinger TA, Sen K. 2008. Model-checking omega-regular properties of interval Markov chains. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 4962, 302–317.
LibreCat: https://research-explorer.ista.ac.at/record/3875
DOI: 10.1007/978-3-540-78499-9_22

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

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

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

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

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

Chatterjee K, Doyen L, Henzinger TA. 2008. Quantitative languages. CSL: Computer Science Logic, LNCS, vol. 5213, 385–400.
LibreCat: https://research-explorer.ista.ac.at/record/3879
DOI: 10.1007/978-3-540-87531-4_28

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

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

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

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

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

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

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

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

Bridle J, Polechova J, Vines T. 2008.Patterns of biodiversity and limits to adaptation in time and space. In: Evolution and Speciation. , 77–101.
LibreCat: https://research-explorer.ista.ac.at/record/4137
DOI: 3816

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

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

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

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

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

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

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

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

Maler O, Nickovic D, Pnueli A. 2008.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. LNCS, , 475–505.
LibreCat: https://research-explorer.ista.ac.at/record/4371
DOI: 10.1007/978-3-540-78127-1_26

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

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

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

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

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

Sauer M, Friml J. 2008.In vitro culture of Arabidopsis embryos . In: Plant Embryogenesis. Methods In Molecular Biology, vol. 427, 71–76.
LibreCat: https://research-explorer.ista.ac.at/record/3035
DOI: 10.1007/978-1-59745-273-1_5

Sauer M, Friml J. 2008.Visualization of auxin gradients in embryogenesis . In: Plant Embryogenesis. Methods In Molecular Biology, vol. 427, 137–144.
LibreCat: https://research-explorer.ista.ac.at/record/3033
DOI: 10.1007/978-1-59745-273-1_11

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

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

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

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

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

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

Fischlin M, Lehmann A, Pietrzak KZ. 2008. Robust multi property combiners for hash functions revisited. ICALP: Automata, Languages and Programming, LNCS, vol. 5126, 655–666.
LibreCat: https://research-explorer.ista.ac.at/record/3225
DOI: 10.1007/978-3-540-70583-3_53

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

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

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

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

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

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

Biasotti S, Attali D, Boissonnat J, Edelsbrunner H, Elber G, Mortara M, Sanniti Di Baja G, Spagnuolo M, Tanase M, Veltkam R. 2008.Skeletal structures. In: Shape Analysis and Structuring. Mathematics and Visualization, , 145–183.
LibreCat: https://research-explorer.ista.ac.at/record/3577
DOI: 10.1007/978-3-540-33265-7_5

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Edelsbrunner H, Harer J. 2008.Persistent homology - a survey. In: Surveys on Discrete and Computational Geometry: Twenty Years Later. Contemporary Mathematics, , 257–282.
LibreCat: https://research-explorer.ista.ac.at/record/3969

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

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

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

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

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

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

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

Aviv A, Cerny P, Clark S, Cronin E, Shah G, Sherr M, Blaze M. 2008. Security Evaluation of ES&;amp;S Voting Machines and Election Management System. Usenix/ Accurate Electronic Voting Technology Workshop (EVT) 08.
LibreCat: https://research-explorer.ista.ac.at/record/4400
DOI: 1545

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

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

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

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

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

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