Tkadik, Gasper, and Marcelo Magnasco. “Decoding Spike Timing: The Differential Reverse-Correlation Method.”10.1016/j.biosystems.2008.04.011__Biosystems, vol. 93, no. 1–2, Elsevier, 2008, pp. 90–100, doi:10.1016/j.biosystems.2008.04.011.
LibreCat: https://research-explorer.ista.ac.at/record/3744
DOI: 10.1016/j.biosystems.2008.04.011

Wojtan, Chris, and Greg Turk. “Fast Viscoelastic Behavior with Thin Features.”10.1145/1360612.1360646__ACM Transactions on Graphics, vol. 27, no. 3, ACM, 2008, doi:10.1145/1360612.1360646.
LibreCat: https://research-explorer.ista.ac.at/record/3760
DOI: 10.1145/1360612.1360646

Aponte, Yexica, et al. “Efficient Ca(2+) Buffering in Fast-Spiking Basket Cells of Rat Hippocampus.”10.1113/jphysiol.2007.147298__Journal of Physiology, vol. 586, no. 8, Wiley-Blackwell, 2008, pp. 2061–75, doi:10.1113/jphysiol.2007.147298.
LibreCat: https://research-explorer.ista.ac.at/record/3825
DOI: 10.1113/jphysiol.2007.147298

Schmidt Hieber, Christoph, et al. “Action Potential Initiation and Propagation in Hippocampal Mossy Fibre Axons.”10.1113/jphysiol.2007.150151 __Journal of Physiology, vol. 586, no. 7, Wiley-Blackwell, 2008, pp. 1849–57, doi:10.1113/jphysiol.2007.150151 .
LibreCat: https://research-explorer.ista.ac.at/record/3822
DOI: 10.1113/jphysiol.2007.150151 

Bucurenciu, Iancu, et al. “Nanodomain Coupling between Ca(2+) Channels and C+ Sensors Promotes Fast and Efficient Transmitter Release at a Cortical GABAergic Synapse.”10.1016/j.neuron.2007.12.026__Neuron, vol. 57, no. 4, Elsevier, 2008, pp. 536–45, doi:10.1016/j.neuron.2007.12.026.
LibreCat: https://research-explorer.ista.ac.at/record/3824
DOI: 10.1016/j.neuron.2007.12.026

Kerr, Angharad, and Peter M. Jonas. “The Two Sides of Hippocampal Mossy Fiber Plasticity (Review).”10.1016/j.neuron.2007.12.015__Neuron, vol. 57, no. 1, Elsevier, 2008, pp. 5–7, doi:10.1016/j.neuron.2007.12.015.
LibreCat: https://research-explorer.ista.ac.at/record/3823
DOI: 10.1016/j.neuron.2007.12.015

Berwanger, Dietmar, et al. Strategy Construction for Parity Games with Imperfect Information. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–39, doi:10.1007/978-3-540-85361-9.
LibreCat: https://research-explorer.ista.ac.at/record/3880
DOI: 10.1007/978-3-540-85361-9

Ugelvig, Line V., et al. “The Introduction History of Invasive Garden Ants in Europe: Integrating Genetic, Chemical and Behavioural Approaches.”10.1186/1741-7007-6-11__BMC Biology, vol. 6, no. 11, BioMed Central, 2008, doi:10.1186/1741-7007-6-11.
LibreCat: https://research-explorer.ista.ac.at/record/3903
DOI: 10.1186/1741-7007-6-11

Cremer, Sylvia, et al. “Imperfect Chemical Female Mimicry in Males of the Ant Cardiocondyla Obscurior.”10.1007/s00114-008-0430-8__Naturwissenschaften, vol. 95, no. 11, Springer, 2008, pp. 1101–05, doi:10.1007/s00114-008-0430-8.
LibreCat: https://research-explorer.ista.ac.at/record/3905
DOI: 10.1007/s00114-008-0430-8

Suefuji, Masaki, et al. “Queen Number Influences the Timing of the Sexual Production in Colonies of Cardiocondyla Ants.”10.1098/rsbl.2008.0355__Biology Letters, vol. 4, no. 6, Royal Society, The, 2008, pp. 670–73, doi:10.1098/rsbl.2008.0355.
LibreCat: https://research-explorer.ista.ac.at/record/3907
DOI: 10.1098/rsbl.2008.0355

Cremer, Sylvia, et al. “The Evolution of Invasiveness in Garden Ants.”10.1371/journal.pone.0003838__PLoS One, vol. 3, no. 12, Public Library of Science, 2008, doi:10.1371/journal.pone.0003838.
LibreCat: https://research-explorer.ista.ac.at/record/3906
DOI: 10.1371/journal.pone.0003838

Lämmermann, Tim, and Michael K. Sixt. “The Microanatomy of T-Cell Responses.”10.1111/j.1600-065X.2008.00592.x__Immunological Reviews, vol. 221, no. 1, Wiley-Blackwell, 2008, pp. 26–43, doi:10.1111/j.1600-065X.2008.00592.x.
LibreCat: https://research-explorer.ista.ac.at/record/3939
DOI: 10.1111/j.1600-065X.2008.00592.x

Lokmic, Zerina, et al. “The Extracellular Matrix of the Spleen as a Potential Organizer of Immune Cell Compartments.”10.1016/j.smim.2007.12.009__Seminars in Immunology, vol. 20, no. 1, Academic Press, 2008, pp. 4–13, doi:10.1016/j.smim.2007.12.009.
LibreCat: https://research-explorer.ista.ac.at/record/3940
DOI: 10.1016/j.smim.2007.12.009

Dequéant, Mary, et al. “Comparison of Pattern Detection Methods in Microarray Time Series of the Segmentation Clock.”10.1371/journal.pone.0002856__PLoS One, vol. 3, no. 8, Public Library of Science, 2008, doi:10.1371/journal.pone.0002856.
LibreCat: https://research-explorer.ista.ac.at/record/3970
DOI: 10.1371/journal.pone.0002856

Edelsbrunner, Herbert, et al. “Time-Varying Reeb Graphs for Continuous Space-Time Data.”10.1016/j.comgeo.2007.11.001__Computational Geometry: Theory and Applications, vol. 41, no. 3, Elsevier, 2008, pp. 149–66, doi:10.1016/j.comgeo.2007.11.001.
LibreCat: https://research-explorer.ista.ac.at/record/3971
DOI: 10.1016/j.comgeo.2007.11.001

Edelsbrunner, Herbert, and John Harer. “Persistent Homology - a Survey.” Surveys on Discrete and Computational Geometry: Twenty Years Later, American Mathematical Society, 2008, pp. 257–82.
LibreCat: https://research-explorer.ista.ac.at/record/3969

Vervenne, Hilke, et al. “Lpp Is Involved in Wnt/PCP Signaling and Acts Together with Scrib to Mediate Convergence and Extension Movements during Zebrafish Gastrulation.”10.1016/j.ydbio.2008.05.529__Developmental Biology, vol. 320, no. 1, Elsevier, 2008, pp. 267–77, doi:10.1016/j.ydbio.2008.05.529.
LibreCat: https://research-explorer.ista.ac.at/record/4141
DOI: 10.1016/j.ydbio.2008.05.529

Oteíza, Pablo, et al. “Origin and Shaping of the Laterality Organ in Zebrafish.”10.1242/dev.022228__Development, vol. 135, no. 16, Company of Biologists, 2008, pp. 2807–13, doi:10.1242/dev.022228.
LibreCat: https://research-explorer.ista.ac.at/record/4161
DOI: 10.1242/dev.022228

Kai, Masatake, et al. “Sphingosine-1-Phosphate Receptors Regulate Individual Cell Behaviours Underlying the Directed Migration of Prechordal Plate Progenitor Cells during Zebrafish Gastrulation.”10.1242/dev.020396__Development, vol. 135, no. 18, Company of Biologists, 2008, pp. 3043–51, doi:10.1242/dev.020396.
LibreCat: https://research-explorer.ista.ac.at/record/4190
DOI: 10.1242/dev.020396

Guerraoui, Rachid, et al. Model Checking Transactional Memories. ACM, 2008, pp. 372–82, doi:10.1145/1375581.1375626.
LibreCat: https://research-explorer.ista.ac.at/record/4384
DOI: 10.1145/1375581.1375626

Guerraoui, Rachid, et al. Permissiveness in Transactional Memories. Vol. 5218, Springer, 2008, pp. 305–19, doi:10.1007/978-3-540-87779-0_21.
LibreCat: https://research-explorer.ista.ac.at/record/4386
DOI: 10.1007/978-3-540-87779-0_21

Guerraoui, Rachid, et al. Completeness and Nondeterminism in Model Checking Transactional Memories. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35, doi:10.1007/978-3-540-85361-9_6.
LibreCat: https://research-explorer.ista.ac.at/record/4387
DOI: 10.1007/978-3-540-85361-9_6

Beyer, Dirk, et al. CSIsat: Interpolation for LA+EUF. Springer, 2008, pp. 304–08.
LibreCat: https://research-explorer.ista.ac.at/record/4397

Aviv, Adam, et al. Security Evaluation of ES&;amp;S Voting Machines and Election Management System. USENIX, 2008, doi:1545.
LibreCat: https://research-explorer.ista.ac.at/record/4400
DOI: 1545

Prabhu, Vinayak. Games for the Verification of Timed Systems. University of California, Berkeley, 2008, pp. 1–137.
LibreCat: https://research-explorer.ista.ac.at/record/4409

Matic, Slobodan. Compositionality in Deterministic Real-Time Embedded Systems. University of California, Berkeley, 2008, pp. 1–148.
LibreCat: https://research-explorer.ista.ac.at/record/4415

Henzinger, Thomas A., et al. Valigator: A Verification Tool with Bound and Invariant Generation. Vol. 5330, Springer, 2008, pp. 333–42, doi:10.1007/978-3-540-89439-1_24.
LibreCat: https://research-explorer.ista.ac.at/record/4452
DOI: 10.1007/978-3-540-89439-1_24

Henzinger, Thomas A. “Two Challenges in Embedded Systems Design: Predictability and Robustness.”10.1098/rsta.2008.0141__Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, vol. 366, no. 1881, Royal Society of London, 2008, pp. 3727–36, doi:10.1098/rsta.2008.0141.
LibreCat: https://research-explorer.ista.ac.at/record/4509
DOI: 10.1098/rsta.2008.0141

Ghosal, Arkadeb. A Hierarchical Coordination Language for Reliable Real-Time Tasks. University of California, Berkeley, 2008, pp. 1–210.
LibreCat: https://research-explorer.ista.ac.at/record/4524

Gupta, Ashutosh, et al. Proving Non-Termination. ACM, 2008, pp. 147–58, doi:10.1145/1328438.1328459.
LibreCat: https://research-explorer.ista.ac.at/record/4521
DOI: 10.1145/1328438.1328459

Fisher, Jasmin, et al. Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. Vol. 5054, Springer, 2008, pp. 17–32, doi:10.1007/978-3-540-68413-8_2.
LibreCat: https://research-explorer.ista.ac.at/record/4527
DOI: 10.1007/978-3-540-68413-8_2

Doyen, Laurent, et al. “Equivalence of Labeled Markov Chains.”10.1142/S0129054108005814 __International Journal of Foundations of Computer Science, vol. 19, no. 3, World Scientific Publishing, 2008, pp. 549–63, doi:10.1142/S0129054108005814 .
LibreCat: https://research-explorer.ista.ac.at/record/4532
DOI: 10.1142/S0129054108005814 

Doyen, Laurent, et al. Interface Theories with Component Reuse. ACM, 2008, pp. 79–88, doi:10.1145/1450058.1450070.
LibreCat: https://research-explorer.ista.ac.at/record/4533
DOI: 10.1145/1450058.1450070

Chatterjee, Krishnendu, and Thomas A. Henzinger. “Reduction of Stochastic Parity to Stochastic Mean-Payoff Games.”10.1016/j.ipl.2007.08.035__Information Processing Letters, vol. 106, no. 1, Elsevier, 2008, pp. 1–7, doi:10.1016/j.ipl.2007.08.035.
LibreCat: https://research-explorer.ista.ac.at/record/4534
DOI: 10.1016/j.ipl.2007.08.035

Chatterjee, Krishnendu, et al. Logical Reliability of Interacting Real-Time Tasks. IEEE, 2008, pp. 909–14, doi:10.1145/1403375.1403595.
LibreCat: https://research-explorer.ista.ac.at/record/4546
DOI: 10.1145/1403375.1403595

Chatterjee, Krishnendu, et al. “Stochastic Limit-Average Games Are in EXPTIME.”10.1007/s00182-007-0110-5__International Journal of Game Theory, vol. 37, no. 2, Springer, 2008, pp. 219–34, doi:10.1007/s00182-007-0110-5.
LibreCat: https://research-explorer.ista.ac.at/record/4548
DOI: 10.1007/s00182-007-0110-5

Beyer, Dirk, et al. Program Analysis with Dynamic Change of Precision. ACM, 2008, pp. 29–38, doi:10.1109/ASE.2008.13.
LibreCat: https://research-explorer.ista.ac.at/record/4568
DOI: 10.1109/ASE.2008.13

Hosten, Onur, and Paul Kwiat. “Observation of the Spin Hall Effect of Light via Weak Measurements.”10.1126/science.1152697__Science, vol. 319, no. 5864, American Association for the Advancement of Science, 2008, pp. 787–90, doi:10.1126/science.1152697.
LibreCat: https://research-explorer.ista.ac.at/record/581
DOI: 10.1126/science.1152697

Hosten, Onur, and Paul Kwiat. Spin Hall Effect of Light via Weak Measurements: Sharp and Smooth Index Variations. Optica Publishing Group, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/584

Bretscher, A. J., et al. “A Carbon Dioxide Avoidance Behavior Is Integrated with Responses to Ambient Oxygen and Food in Caenorhabditis Elegans.”10.1073/pnas.0707607105__Proceedings of the National Academy of Sciences, vol. 105, no. 23, Proceedings of the National Academy of Sciences, 2008, pp. 8044–49, doi:10.1073/pnas.0707607105.
LibreCat: https://research-explorer.ista.ac.at/record/6146
DOI: 10.1073/pnas.0707607105
PMID: 18524954

Kammenga, Jan E., et al. “Beyond Induced Mutants: Using Worms to Study Natural Variation in Genetic Pathways.”10.1016/j.tig.2008.01.001__Trends in Genetics, vol. 24, no. 4, Elsevier, 2008, pp. 178–85, doi:10.1016/j.tig.2008.01.001.
LibreCat: https://research-explorer.ista.ac.at/record/6148
DOI: 10.1016/j.tig.2008.01.001
PMID: 18325626

Olofsson, Birgitta, and Mario de Bono. “Sleep: Dozy Worms and Sleepy Flies.”10.1016/j.cub.2008.01.002__Current Biology, vol. 18, no. 5, Elsevier, 2008, pp. 4–06, doi:10.1016/j.cub.2008.01.002.
LibreCat: https://research-explorer.ista.ac.at/record/6149
DOI: 10.1016/j.cub.2008.01.002
PMID: 18334193

Freunberger, Stefan Alexander, et al. “Cell Interaction Phenomena in Polymer Electrolyte Fuel Cell Stacks.”10.1149/1.2913095__Journal of The Electrochemical Society, vol. 155, no. 7, 4, The Electrochemical Society, 2008, doi:10.1149/1.2913095.
LibreCat: https://research-explorer.ista.ac.at/record/7321
DOI: 10.1149/1.2913095

Flückiger, Reto, et al. “Anisotropic, Effective Diffusivity of Porous Gas Diffusion Layer Materials for PEFC.”10.1016/j.electacta.2008.07.034__Electrochimica Acta, vol. 54, no. 2, Elsevier, 2008, pp. 551–59, doi:10.1016/j.electacta.2008.07.034.
LibreCat: https://research-explorer.ista.ac.at/record/7320
DOI: 10.1016/j.electacta.2008.07.034

Kramer, Denis, et al. “Electrochemical Diffusimetry of Fuel Cell Gas Diffusion Layers.”10.1016/j.jelechem.2007.09.014__Journal of Electroanalytical Chemistry, vol. 612, no. 1, Elsevier, 2008, pp. 63–77, doi:10.1016/j.jelechem.2007.09.014.
LibreCat: https://research-explorer.ista.ac.at/record/7322
DOI: 10.1016/j.jelechem.2007.09.014

Santis, Marco, et al. “Experimental Investigation of the Propagation of Local Current Density Variations to Adjacent Cells in PEFC Stacks.”10.1115/fuelcell2005-74116__3rd International Conference on Fuel Cell Science, Engineering and Technology, ASMEDC, 2008, pp. 763–65, doi:10.1115/fuelcell2005-74116.
LibreCat: https://research-explorer.ista.ac.at/record/7425
DOI: 10.1115/fuelcell2005-74116

Alistarh, Dan-Adrian, et al. How to Solve Consensus in the Smallest Window of Synchrony. Vol. 5218 LNCS, Springer, 2008, pp. 32–46, doi:10.1007/978-3-540-87779-0_3.
LibreCat: https://research-explorer.ista.ac.at/record/753
DOI: 10.1007/978-3-540-87779-0_3

Robinson, Matthew Richard, et al. “Environmental Heterogeneity Generates Fluctuating Selection on a Secondary Sexual Trait.”10.1016/j.cub.2008.04.059__Current Biology, vol. 18, no. 10, Elsevier, 2008, pp. 751–57, doi:10.1016/j.cub.2008.04.059.
LibreCat: https://research-explorer.ista.ac.at/record/7752
DOI: 10.1016/j.cub.2008.04.059

Schmidt, Steffen, et al. “Hypermutable Non-Synonymous Sites Are under Stronger Negative Selection.”10.1371/journal.pgen.1000281__PLoS Genetics, vol. 4, no. 11, Public Library of Science, 2008, doi:10.1371/journal.pgen.1000281.
LibreCat: https://research-explorer.ista.ac.at/record/844
DOI: 10.1371/journal.pgen.1000281

Bersch, Beate, et al. “Molecular Structure and Metal-Binding Properties of the Periplasmic CopK Protein Expressed in Cupriavidus Metallidurans C during Copper Challenge.”10.1016/j.jmb.2008.05.017__Journal of Molecular Biology, vol. 380, no. 2, Elsevier, 2008, pp. 386–403, doi:10.1016/j.jmb.2008.05.017.
LibreCat: https://research-explorer.ista.ac.at/record/8481
DOI: 10.1016/j.jmb.2008.05.017

Schanda, Paul, et al. “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.”10.1016/j.jmb.2008.05.040__Journal of Molecular Biology, vol. 380, no. 4, Elsevier, 2008, pp. 726–41, doi:10.1016/j.jmb.2008.05.040.
LibreCat: https://research-explorer.ista.ac.at/record/8480
DOI: 10.1016/j.jmb.2008.05.040

Kern, Thomas, et al. “Sensitivity-Enhanced IPAP-SOFAST-HMQC for Fast-Pulsing 2D NMR with Reduced Radiofrequency Load.”10.1016/j.jmr.2007.11.015__Journal of Magnetic Resonance, vol. 190, no. 2, Elsevier, 2008, pp. 333–38, doi:10.1016/j.jmr.2007.11.015.
LibreCat: https://research-explorer.ista.ac.at/record/8482
DOI: 10.1016/j.jmr.2007.11.015

Zilberman, Daniel. “The Evolving Functions of DNA Methylation.”10.1016/j.pbi.2008.07.004__Current Opinion in Plant Biology, vol. 11, no. 5, Elsevier , 2008, pp. 554–59, doi:10.1016/j.pbi.2008.07.004.
LibreCat: https://research-explorer.ista.ac.at/record/9537
DOI: 10.1016/j.pbi.2008.07.004
PMID: 18774331

Morozov, Alexei, and Maksym Serbyn. “Nonlinear Algebra and Bogoliubov’s Recursion.”10.1007/s11232-008-0026-7__Theoretical and Mathematical Physics, vol. 154, no. 2, Elsevier, 2008, pp. 270–93, doi:10.1007/s11232-008-0026-7.
LibreCat: https://research-explorer.ista.ac.at/record/965
DOI: 10.1007/s11232-008-0026-7

Kaloshin, Vadim, and Mark Levi. “An Example of Arnold Diffusion for Near-Integrable Hamiltonians.”10.1090/s0273-0979-08-01211-1__Bulletin of the American Mathematical Society, vol. 45, no. 3, American Mathematical Society, 2008, pp. 409–27, doi:10.1090/s0273-0979-08-01211-1.
LibreCat: https://research-explorer.ista.ac.at/record/8510
DOI: 10.1090/s0273-0979-08-01211-1

Kaloshin, Vadim, and Mark Levi. “Geometry of Arnold Diffusion.”10.1137/070703235__SIAM Review, vol. 50, no. 4, Society for Industrial &; Applied Mathematics, 2008, pp. 702–20, doi:10.1137/070703235.
LibreCat: https://research-explorer.ista.ac.at/record/8509
DOI: 10.1137/070703235

Donaldson, Zoe, et al. “Evolution of a Behavior-Linked Microsatellite-Containing Element in the 5 Flanking Region of the Primate AVPA Gene.”10.1186/1471-2148-8-180__BMC Evolutionary Biology, vol. 8, no. 1, BioMed Central, 2008, doi:10.1186/1471-2148-8-180.
LibreCat: https://research-explorer.ista.ac.at/record/895
DOI: 10.1186/1471-2148-8-180

Assis, Raquel, et al. “Nested Genes and Increasing Organizational Complexity of Metazoan Genomes.”10.1016/j.tig.2008.08.003__Trends in Genetics, vol. 24, no. 10, Elsevier, 2008, pp. 475–78, doi:10.1016/j.tig.2008.08.003.
LibreCat: https://research-explorer.ista.ac.at/record/907
DOI: 10.1016/j.tig.2008.08.003

Zilberman, Daniel, et al. “Histone A.Z and DNA Methylation Are Mutually Antagonistic Chromatin Marks.”10.1038/nature07324__Nature, vol. 456, no. 7218, Springer Nature, 2008, pp. 125–29, doi:10.1038/nature07324.
LibreCat: https://research-explorer.ista.ac.at/record/9457
DOI: 10.1038/nature07324
PMID: 18815594

Klajn, Rafal, et al. “Bulk Synthesis and Surface Patterning of Nanoporous Metals and Alloys from Supraspherical Nanoparticle Aggregates.”10.1002/adfm.200800293__Advanced Functional Materials, vol. 18, no. 18, Wiley, 2008, pp. 2763–69, doi:10.1002/adfm.200800293.
LibreCat: https://research-explorer.ista.ac.at/record/13423
DOI: 10.1002/adfm.200800293

Wei, Yanhu, et al. “Synthesis, Shape Control, and Optical Properties of Hybrid Au/Fe3O4 ‘Nanoflowers.’”10.1002/smll.200800511__Small, vol. 4, no. 10, Wiley, 2008, pp. 1635–39, doi:10.1002/smll.200800511.
LibreCat: https://research-explorer.ista.ac.at/record/13422
DOI: 10.1002/smll.200800511
PMID: 18636405

Barton, Nicholas H. “Identity and Coalescence in Structured Populations: A Commentary on ‘Inbreeding Coefficients and Coalescence Times’ by Montgomery Slatkin.”10.1017/S0016672308009683__Genetics Research, vol. 89, no. 5–6, Cambridge University Press, 2008, pp. 475–77, doi:10.1017/S0016672308009683.
LibreCat: https://research-explorer.ista.ac.at/record/517
DOI: 10.1017/S0016672308009683