Edelsbrunner, Herbert. “Alpha Shapes - a Survey.” Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings, edited by R van de Weygaert et al., Springer.
LibreCat: https://research-explorer.ista.ac.at/record/3311

Almagor, Shaull, et al. What’s Decidable about Weighted Automata . Vol. 6996, Springer, 2011, pp. 482–91, doi:10.1007/978-3-642-24372-1_37.
LibreCat: https://research-explorer.ista.ac.at/record/3326
DOI: 10.1007/978-3-642-24372-1_37

Alur, Rajeev, and Pavol Cerny. Streaming Transducers for Algorithmic Verification of Single Pass List Processing Programs. Vol. 46, no. 1, ACM, 2011, pp. 599–610, doi:10.1145/1926385.1926454.
LibreCat: https://research-explorer.ista.ac.at/record/3325
DOI: 10.1145/1926385.1926454

Piskac, Ruzica, and Thomas Wies. Decision Procedures for Automating Termination Proofs. Edited by Ranjit Jhala and David Schmidt, vol. 6538, Springer, 2011, pp. 371–86, doi:10.1007/978-3-642-18275-4_26.
LibreCat: https://research-explorer.ista.ac.at/record/3324
DOI: 10.1007/978-3-642-18275-4_26

Wang, Zhikun, et al. Learning Anticipation Policies for Robot Table Tennis. IEEE, 2011, pp. 332–37, doi:10.1109/IROS.2011.6094892.
LibreCat: https://research-explorer.ista.ac.at/record/3337
DOI: 10.1109/IROS.2011.6094892

Chatterjee, Krishnendu, et al. “Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-Run Average Objectives.” ArXiv, ArXiv, 2011.
LibreCat: https://research-explorer.ista.ac.at/record/3339
arXiv: 1107.2132

Chatterjee, Krishnendu, et al. Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives. Edited by Ganesh Gopalakrishnan and Shaz Qadeer, vol. 6806, Springer, 2011, pp. 260–76, doi:10.1007/978-3-642-22110-1_21.
LibreCat: https://research-explorer.ista.ac.at/record/3342
DOI: 10.1007/978-3-642-22110-1_21
arXiv: 1104.3348

Chatterjee, Krishnendu, and Nathanaël Fijalkow. Finitary Languages. Vol. 6638, Springer, 2011, pp. 216–26, doi:10.1007/978-3-642-21254-3_16.
LibreCat: https://research-explorer.ista.ac.at/record/3347
DOI: 10.1007/978-3-642-21254-3_16
arXiv: 1101.1727

Brázdil, Tomás, et al. Two Views on Multiple Mean Payoff Objectives in Markov Decision Processes. 5970225, IEEE, 2011, doi:10.1109/LICS.2011.10.
LibreCat: https://research-explorer.ista.ac.at/record/3346
DOI: 10.1109/LICS.2011.10

Chatterjee, Krishnendu, and Vinayak Prabhu. Synthesis of Memory Efficient Real Time Controllers for Safety Objectives. Springer, 2011, pp. 221–30, doi:10.1145/1967701.1967734.
LibreCat: https://research-explorer.ista.ac.at/record/3348
DOI: 10.1145/1967701.1967734

Chatterjee, Krishnendu. Graph Games with Reachability Objectives. Edited by Giorgo Delzanno and Igor Potapov, vol. 6945, Springer, 2011, pp. 1–1, doi:10.1007/978-3-642-24288-5_1.
LibreCat: https://research-explorer.ista.ac.at/record/3344
DOI: 10.1007/978-3-642-24288-5_1

Chatterjee, Krishnendu, and Monika H. Henzinger. Faster and Dynamic Algorithms for Maximal End-Component Decomposition and Related Graph Problems in Probabilistic Verification. SIAM, 2011, pp. 1318–36, doi:10.1137/1.9781611973082.101.
LibreCat: https://research-explorer.ista.ac.at/record/3343
DOI: 10.1137/1.9781611973082.101

Boker, Udi, and Thomas A. Henzinger. Determinizing Discounted-Sum Automata. Vol. 12, Springer, 2011, pp. 82–96, doi:10.4230/LIPIcs.CSL.2011.82.
LibreCat: https://research-explorer.ista.ac.at/record/3360
DOI: 10.4230/LIPIcs.CSL.2011.82

Cerny, Pavol, et al. The Complexity of Quantitative Information Flow Problems. IEEE, 2011, pp. 205–17, doi:10.1109/CSF.2011.21.
LibreCat: https://research-explorer.ista.ac.at/record/3361
DOI: 10.1109/CSF.2011.21

Henzinger, Thomas A., et al. Scheduling Large Jobs by Abstraction Refinement. ACM, 2011, pp. 329–42, doi:10.1145/1966445.1966476.
LibreCat: https://research-explorer.ista.ac.at/record/3358
DOI: 10.1145/1966445.1966476

Cerny, Pavol, and Thomas A. Henzinger. From Boolean to Quantitative Synthesis. ACM, 2011, pp. 149–54, doi:10.1145/2038642.2038666.
LibreCat: https://research-explorer.ista.ac.at/record/3359
DOI: 10.1145/2038642.2038666

Chatterjee, Krishnendu, et al. The Complexity of Request-Response Games. Edited by Adrian-Horia Dediu et al., vol. 6638, Springer, 2011, pp. 227–37, doi:10.1007/978-3-642-21254-3_17.
LibreCat: https://research-explorer.ista.ac.at/record/3357
DOI: 10.1007/978-3-642-21254-3_17

Row, Richard, et al. “Completion of the Epithelial to Mesenchymal Transition in Zebrafish Mesoderm Requires Spadetail.”10.1016/j.ydbio.2011.03.025__Developmental Biology, vol. 354, no. 1, Elsevier, 2011, pp. 102–10, doi:10.1016/j.ydbio.2011.03.025.
LibreCat: https://research-explorer.ista.ac.at/record/3379
DOI: 10.1016/j.ydbio.2011.03.025
PMID: 1463614

Bollenbach, Mark Tobias, and Roy Kishony. “Resolution of Gene Regulatory Conflicts Caused by Combinations of Antibiotics.”10.1016/j.molcel.2011.04.016__Molecular Cell, vol. 42, no. 4, Cell Press, 2011, pp. 413–25, doi:10.1016/j.molcel.2011.04.016.
LibreCat: https://research-explorer.ista.ac.at/record/3376
DOI: 10.1016/j.molcel.2011.04.016

Logeswaran, Sayanthan, and Nicholas H. Barton. “Mapping Mendelian Traits in Asexual Progeny Using Changes in Marker Allele Frequency.”10.1017/S0016672311000115__Genetical Research, vol. 93, no. 3, Cambridge University Press, 2011, pp. 221–32, doi:10.1017/S0016672311000115.
LibreCat: https://research-explorer.ista.ac.at/record/3380
DOI: 10.1017/S0016672311000115

Edelsbrunner, Herbert, et al. “Quantifying Transversality by Measuring the Robustness of Intersections.”10.1007/s10208-011-9090-8__Foundations of Computational Mathematics, vol. 11, no. 3, Springer, 2011, pp. 345–61, doi:10.1007/s10208-011-9090-8.
LibreCat: https://research-explorer.ista.ac.at/record/3377
DOI: 10.1007/s10208-011-9090-8

Bendich, Paul, and John Harer. “Persistent Intersection Homology.”10.1007/s10208-010-9081-1__Foundations of Computational Mathematics, vol. 11, no. 3, Springer, 2011, pp. 305–36, doi:10.1007/s10208-010-9081-1.
LibreCat: https://research-explorer.ista.ac.at/record/3378
DOI: 10.1007/s10208-010-9081-1

Ugelvig, Line V., et al. “Reconstructing Eight Decades of Genetic Variation in an Isolated Danish Population of the Large Blue Butterfly Maculinea Arion.”10.1186/1471-2148-11-201__BMC Evolutionary Biology, vol. 11, no. 201, 201, BioMed Central, 2011, doi:10.1186/1471-2148-11-201.
LibreCat: https://research-explorer.ista.ac.at/record/3388
DOI: 10.1186/1471-2148-11-201

Tkadik, Gasper, et al. “Natural Images from the Birthplace of the Human Eye.”10.1371/journal.pone.0020409__PLoS One, vol. 6, no. 6, e20409, Public Library of Science, 2011, doi:10.1371/journal.pone.0020409.
LibreCat: https://research-explorer.ista.ac.at/record/3384
DOI: 10.1371/journal.pone.0020409

Kupczok, Anne. “Split Based Computation of Majority Rule Supertrees.”10.1186/1471-2148-11-205__BMC Evolutionary Biology, vol. 11, no. 205, 205, BioMed Central, 2011, doi:10.1186/1471-2148-11-205.
LibreCat: https://research-explorer.ista.ac.at/record/3387
DOI: 10.1186/1471-2148-11-205

Blaschko, Matthew, et al. “Semi Supervised Kernel Canonical Correlation Analysis with Application to Human FMRI.”10.1016/j.patrec.2011.02.011__Pattern Recognition Letters, vol. 32, no. 11, Elsevier, 2011, pp. 1572–83, doi:10.1016/j.patrec.2011.02.011.
LibreCat: https://research-explorer.ista.ac.at/record/3389
DOI: 10.1016/j.patrec.2011.02.011

Kroemer, Oliver, et al. “Learning Dynamic Tactile Sensing with Robust Vision Based Training.”10.1109/TRO.2011.2121130__IEEE Transactions on Robotics, vol. 27, no. 3, IEEE, 2011, pp. 545–57, doi:10.1109/TRO.2011.2121130.
LibreCat: https://research-explorer.ista.ac.at/record/3382
DOI: 10.1109/TRO.2011.2121130

Schrempf, Alexandra, et al. “Social Influence on Age and Reproduction Reduced Lifespan and Fecundity in Multi Queen Ant Colonies.”10.1111/j.1420-9101.2011.02278.x__Journal of Evolutionary Biology, vol. 24, no. 7, Wiley-Blackwell, 2011, pp. 1455–61, doi:10.1111/j.1420-9101.2011.02278.x.
LibreCat: https://research-explorer.ista.ac.at/record/3386
DOI: 10.1111/j.1420-9101.2011.02278.x

Sixt, Michael K. “Interstitial Locomotion of Leukocytes.”10.1016/j.imlet.2011.02.013__Immunology Letters, vol. 138, no. 1, Elsevier, 2011, pp. 32–34, doi:10.1016/j.imlet.2011.02.013.
LibreCat: https://research-explorer.ista.ac.at/record/3385
DOI: 10.1016/j.imlet.2011.02.013

Heisenberg, Carl-Philipp J. “Invited Lectures10.1111/j.1742-4658.2011.08136.x__Symposia Area.”10.1111/j.1742-4658.2011.08136.x__FEBS Journal, vol. 278, no. , Wiley-Blackwell, 2011, pp. 24–24, doi:10.1111/j.1742-4658.2011.08136.x.
LibreCat: https://research-explorer.ista.ac.at/record/3383
DOI: 10.1111/j.1742-4658.2011.08136.x

Cremer, Sylvia, et al. “Competition and Opportunity Shape the Reproductive Tactics of Males in the Ant Cardiocondyla Obscurior.”10.1371/journal.pone.0017323__PLoS One, vol. 6, no. 3, e17323, Public Library of Science, 2011, doi:10.1371/journal.pone.0017323.
LibreCat: https://research-explorer.ista.ac.at/record/3399
DOI: 10.1371/journal.pone.0017323

Pavan, Ana, et al. “Patterns of Diversification in Two Species of Short-Tailed Bats (Carollia Gray, 1838): The Effects of Historical Fragmentation of Brazilian Rainforests.”10.1111/j.1095-8312.2010.01601.x__Biological Journal of the Linnean Society, vol. 102, no. 3, Wiley-Blackwell, 2011, pp. 527–39, doi:10.1111/j.1095-8312.2010.01601.x.
LibreCat: https://research-explorer.ista.ac.at/record/3771
DOI: 10.1111/j.1095-8312.2010.01601.x

Barton, Nicholas H. “Estimating Linkage Disequilibria.”10.1038/hdy.2010.67__Heredity, vol. 106, no. 2, Nature Publishing Group, 2011, pp. 205–06, doi:10.1038/hdy.2010.67.
LibreCat: https://research-explorer.ista.ac.at/record/3778
DOI: 10.1038/hdy.2010.67
PMID: 20502479

Krens, Gabriel, and Carl-Philipp J. Heisenberg. “Cell Sorting in Development.”10.1016/B978-0-12-385065-2.00006-2__Forces and Tension in Development, edited by Michel Labouesse, vol. 95, Elsevier, 2011, pp. 189–213, doi:10.1016/B978-0-12-385065-2.00006-2.
LibreCat: https://research-explorer.ista.ac.at/record/3791
DOI: 10.1016/B978-0-12-385065-2.00006-2

Didier, Frédéric, et al. “Approximation of Event Probabilities in Noisy Cellular Processes.”10.1016/j.tcs.2010.10.022__Theoretical Computer Science, vol. 412, no. 21, Elsevier, 2011, pp. 2128–41, doi:10.1016/j.tcs.2010.10.022.
LibreCat: https://research-explorer.ista.ac.at/record/3364
DOI: 10.1016/j.tcs.2010.10.022

Vyleta, Nicholas, and Stephen Smith. “Spontaneous Glutamate Release Is Independent of Calcium Influx and Tonically Activated by the Calcium-Sensing Receptor.”10.1523/JNEUROSCI.6398-10.2011__European Journal of Neuroscience, vol. 31, no. 12, Wiley-Blackwell, 2011, pp. 4593–606, doi:10.1523/JNEUROSCI.6398-10.2011.
LibreCat: https://research-explorer.ista.ac.at/record/469
DOI: 10.1523/JNEUROSCI.6398-10.2011

Schlögl, Alois, et al. “BioSig: The Free and Open Source Software Library for Biomedical Signal Processing.”10.1155/2011/935364__Computational Intelligence and Neuroscience, vol. 2011, 935364, Hindawi Publishing Corporation, 2011, doi:10.1155/2011/935364.
LibreCat: https://research-explorer.ista.ac.at/record/490
DOI: 10.1155/2011/935364

Eichner, Alexander, and Michael K. Sixt. “Setting the Clock for Recirculating Lymphocytes.”10.1126/scisignal.2002617__Science Signaling, vol. 4, no. 198, pe43, American Association for the Advancement of Science, 2011, doi:10.1126/scisignal.2002617.
LibreCat: https://research-explorer.ista.ac.at/record/491
DOI: 10.1126/scisignal.2002617

Schraivogel, Daniel, et al. “CAMT Is a Novel Tumour Suppressor Regulated by MiR-9/9 * in Glioblastoma Stem Cells.”10.1038/emboj.2011.301__EMBO Journal, vol. 30, no. 20, Wiley-Blackwell, 2011, pp. 4309–22, doi:10.1038/emboj.2011.301.
LibreCat: https://research-explorer.ista.ac.at/record/518
DOI: 10.1038/emboj.2011.301
PMID: 21857646

Guerraoui, Rachid, et al. “Verification of STM on Relaxed Memory Models.”10.1007/s10703-011-0131-3__Formal Methods in System Design, vol. 39, no. 3, Springer, 2011, pp. 297–331, doi:10.1007/s10703-011-0131-3.
LibreCat: https://research-explorer.ista.ac.at/record/531
DOI: 10.1007/s10703-011-0131-3

Chatterjee, Krishnendu, and Monika H. Henzinger. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0009.
LibreCat: https://research-explorer.ista.ac.at/record/5379
DOI: 10.15479/AT:IST-2011-0009

Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria, 2011, doi:10.15479/AT:IST-2011-0007.
LibreCat: https://research-explorer.ista.ac.at/record/5381
DOI: 10.15479/AT:IST-2011-0007

Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0008.
LibreCat: https://research-explorer.ista.ac.at/record/5380
DOI: 10.15479/AT:IST-2011-0008

Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0006.
LibreCat: https://research-explorer.ista.ac.at/record/5382
DOI: 10.15479/AT:IST-2011-0006

Chatterjee, Krishnendu. “Bounded Rationality in Concurrent Parity Games.” ArXiv, ArXiv, 2011, pp. 1–51.
LibreCat: https://research-explorer.ista.ac.at/record/3338
arXiv: 1107.2146

Boker, Udi, et al. Temporal Specifications with Accumulative Values. 5970226, IEEE, 2011, doi:10.1109/LICS.2011.33.
LibreCat: https://research-explorer.ista.ac.at/record/3356
DOI: 10.1109/LICS.2011.33

Boker, Udi, et al. Temporal Specifications with Accumulative Values. IST Austria, 2011, doi:10.15479/AT:IST-2011-0003.
LibreCat: https://research-explorer.ista.ac.at/record/5385
DOI: 10.15479/AT:IST-2011-0003

Chen, Chao, et al. Enforcing Topological Constraints in Random Field Image Segmentation. IST Austria, 2011, doi:10.15479/AT:IST-2011-0002.
LibreCat: https://research-explorer.ista.ac.at/record/5386
DOI: 10.15479/AT:IST-2011-0002

Wies, Thomas, et al. On an Efficient Decision Procedure for Imperative Tree Data Structures. IST Austria, 2011, doi:10.15479/AT:IST-2011-0005.
LibreCat: https://research-explorer.ista.ac.at/record/5383
DOI: 10.15479/AT:IST-2011-0005

Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria, 2011, doi:10.15479/AT:IST-2011-0004.
LibreCat: https://research-explorer.ista.ac.at/record/5384
DOI: 10.15479/AT:IST-2011-0004

Chen, Chao, et al. “Enforcing Topological Constraints in Random Field Image Segmentation.”10.1109/CVPR.2011.5995503__CVPR: Computer Vision and Pattern Recognition, IEEE, 2011, pp. 2089–96, doi:10.1109/CVPR.2011.5995503.
LibreCat: https://research-explorer.ista.ac.at/record/3336
DOI: 10.1109/CVPR.2011.5995503

Wies, Thomas, et al. An Efficient Decision Procedure for Imperative Tree Data Structures. Vol. 6803, Springer, 2011, pp. 476–91, doi:10.1007/978-3-642-22438-6_36.
LibreCat: https://research-explorer.ista.ac.at/record/3323
DOI: 10.1007/978-3-642-22438-6_36

Cerny, Pavol, et al. Quantitative Synthesis for Concurrent Programs. Edited by Ganesh Gopalakrishnan and Shaz Qadeer, vol. 6806, Springer, 2011, pp. 243–59, doi:10.1007/978-3-642-22110-1_20.
LibreCat: https://research-explorer.ista.ac.at/record/3366
DOI: 10.1007/978-3-642-22110-1_20

Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. Vol. 6907, Springer, 2011, pp. 206–18, doi:10.1007/978-3-642-22993-0_21.
LibreCat: https://research-explorer.ista.ac.at/record/3345
DOI: 10.1007/978-3-642-22993-0_21
arXiv: 1104.2909

Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria, 2011, doi:10.15479/AT:IST-2011-0001.
LibreCat: https://research-explorer.ista.ac.at/record/5387
DOI: 10.15479/AT:IST-2011-0001

Park, Heungwon, et al. “Noise Underlies Switching Behavior of the Bacterial Flagellum.”10.1016/j.bpj.2011.09.040__Biophysical Journal, vol. 101, no. 10, Elsevier, 2011, pp. 2336–40, doi:10.1016/j.bpj.2011.09.040.
LibreCat: https://research-explorer.ista.ac.at/record/6496
DOI: 10.1016/j.bpj.2011.09.040
PMID: 22098731

Hsieh, Tzung-Fu, et al. “Regulation of Imprinted Gene Expression in Arabidopsis Endosperm.”10.1073/pnas.1019273108__Proceedings of the National Academy of Sciences, vol. 108, no. 5, National Academy of Sciences, 2011, pp. 1755–62, doi:10.1073/pnas.1019273108.
LibreCat: https://research-explorer.ista.ac.at/record/9483
DOI: 10.1073/pnas.1019273108
PMID: 21257907

Zilberman, Daniel. “Balancing Parental Contributions in Plant Embryonic Gene Activation.”10.1016/j.devcel.2011.05.018__Developmental Cell, vol. 20, no. 6, Elsevier, 2011, pp. 735–36, doi:10.1016/j.devcel.2011.05.018.
LibreCat: https://research-explorer.ista.ac.at/record/9522
DOI: 10.1016/j.devcel.2011.05.018
PMID: 21664571

Gonzalez-Diaz, Rocio, et al. “Incremental-Decremental Algorithm for Computing AT-Models and Persistent Homology.”10.1007/978-3-642-23672-3_35__Computer Analysis of Images and Patterns, vol. 6854, Springer Nature, 2011, pp. 286–93, doi:10.1007/978-3-642-23672-3_35.
LibreCat: https://research-explorer.ista.ac.at/record/9648
DOI: 10.1007/978-3-642-23672-3_35

Palero, Ferran, et al. “Effect of Oceanographic Barriers and Overfishing on the Population Genetic Structure of the European Spiny Lobster Palinurus Elephas.”10.1111/j.1095-8312.2011.01728.x__Biological Journal of the Linnean Society, vol. 104, no. 2, Wiley-Blackwell, 2011, pp. 407–18, doi:10.1111/j.1095-8312.2011.01728.x.
LibreCat: https://research-explorer.ista.ac.at/record/3395
DOI: 10.1111/j.1095-8312.2011.01728.x

Palero, Ferran, et al. Data from: Effect of Oceanographic Barriers and Overfishing on the Population Genetic Structure of the European Spiny Lobster (Palinurus Elephas). IST Austria, 2011, doi:10.5061/dryad.299h8.
LibreCat: https://research-explorer.ista.ac.at/record/9762
DOI: 10.5061/dryad.299h8

Sommer, Christoph M., et al. “Ilastik: Interactive Learning and Segmentation Toolkit.”10.1109/isbi.2011.5872394__2011 IEEE International Symposium on Biomedical Imaging: From Nano to Micro, Institute of Electrical and Electronics Engineers, 2011, doi:10.1109/isbi.2011.5872394.
LibreCat: https://research-explorer.ista.ac.at/record/9943
DOI: 10.1109/isbi.2011.5872394

Artner, Nicole M., et al. “Spatio-Temporal Extraction of Articulated Models in a Graph Pyramid.”10.1007/978-3-642-20844-7_22__Graph-Based Representations in Pattern Recognition, edited by Xiaoyi Jiang et al., vol. 6658, Springer, 2011, pp. 215–24, doi:10.1007/978-3-642-20844-7_22.
LibreCat: https://research-explorer.ista.ac.at/record/10907
DOI: 10.1007/978-3-642-20844-7_22

Schumann, Kathrin. The Role of Chemotactic Gradients in Dendritic Cell Migration. Institute of Science and Technology Austria, 2011.
LibreCat: https://research-explorer.ista.ac.at/record/3275

Maître, Jean-Léon. Mechanics of Adhesion and Deadhesion in Zebrafish Germ Layer Progenitors. Institute of Science and Technology Austria, 2011.
LibreCat: https://research-explorer.ista.ac.at/record/3273

Soriano, Silvia, et al. “In Vivo Analysis of Uropod Function during Physiological T Cell Trafficking.”10.4049/jimmunol.1100935__Journal of Immunology, vol. 187, no. 5, American Association of Immunologists, 2011, pp. 2356–64, doi:10.4049/jimmunol.1100935.
LibreCat: https://research-explorer.ista.ac.at/record/3392
DOI: 10.4049/jimmunol.1100935

Lampert, Christoph. Maximum Margin Multi-Label Structured Prediction. Neural Information Processing Systems, 2011.
LibreCat: https://research-explorer.ista.ac.at/record/3163

Lampert, Christoph. “Maximum Margin Multi Label Structured Prediction.” NIPS: Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2011.
LibreCat: https://research-explorer.ista.ac.at/record/3322

Nowozin, Sebastian, and Christoph Lampert. “Structured Learning and Prediction in Computer Vision.”10.1561/0600000033__Foundations and Trends in Computer Graphics and Vision, vol. 6, no. 3–4, Now Publishers, 2011, pp. 185–365, doi:10.1561/0600000033.
LibreCat: https://research-explorer.ista.ac.at/record/3320
DOI: 10.1561/0600000033

Quadrianto, Novi, and Christoph Lampert. Learning Multi-View Neighborhood Preserving Projections. ML Research Press, 2011, pp. 425–32.
LibreCat: https://research-explorer.ista.ac.at/record/3319

Jahnel, Marcus, et al. “Measuring the Complete Force Field of an Optical Trap.”10.1364/OL.36.001260__Optics Letters, vol. 36, no. 7, Optica Publishing Group, 2011, pp. 1260–62, doi:10.1364/OL.36.001260.
LibreCat: https://research-explorer.ista.ac.at/record/3373
DOI: 10.1364/OL.36.001260

de Vladar, Harold, and Nicholas H. Barton. “The Statistical Mechanics of a Polygenic Character under Stabilizing Selection Mutation and Drift.”10.1098/rsif.2010.0438__Journal of the Royal Society Interface, vol. 8, no. 58, The Royal Society, 2011, pp. 720–39, doi:10.1098/rsif.2010.0438.
LibreCat: https://research-explorer.ista.ac.at/record/3375
DOI: 10.1098/rsif.2010.0438
PMID: 21084341

Barton, Nicholas H., and Michael Turelli. “Spatial Waves of Advance with Bistable Dynamics: Cytoplasmic and Genetic Analogues of Allee Effects.”10.1086/661246__American Naturalist, vol. 178, no. 3, The University of Chicago Press, 2011, pp. –75, doi:10.1086/661246.
LibreCat: https://research-explorer.ista.ac.at/record/3393
DOI: 10.1086/661246

Blanc, Régis, et al. “ABC: Algebraic Bound Computation for Loops.”10.1007/978-3-642-17511-4_7__Logic for Programming, Artificial Intelligence, and Reasoning, edited by Edmund M Clarke and Andrei Voronkov, vol. 6355, Springer Nature, 2010, pp. 103–18, doi:10.1007/978-3-642-17511-4_7.
LibreCat: https://research-explorer.ista.ac.at/record/10908
DOI: 10.1007/978-3-642-17511-4_7

Kupczok, Anne, et al. “Accuracy of Phylogeny Reconstruction Methods Combining Overlapping Gene Data Sets .”10.1186/1748-7188-5-37__Algorithms for Molecular Biology, vol. 5, no. 1, 37, BioMed Central, 2010, doi:10.1186/1748-7188-5-37.
LibreCat: https://research-explorer.ista.ac.at/record/2409
DOI: 10.1186/1748-7188-5-37

Chen, Chao, and Daniel Freedman. “Hardness Results for Homology Localization.”10.1137/1.9781611973075.129__Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2010, pp. 1594–604, doi:10.1137/1.9781611973075.129.
LibreCat: https://research-explorer.ista.ac.at/record/10909
DOI: 10.1137/1.9781611973075.129

Weissman, Daniel, et al. “The Rate of Fitness-Valley Crossing in Sexual Populations.”10.1534/genetics.110.123240__Genetics, vol. 186, no. 4, Genetics Society of America, 2010, pp. 1389–410, doi:10.1534/genetics.110.123240.
LibreCat: https://research-explorer.ista.ac.at/record/3303
DOI: 10.1534/genetics.110.123240

Senn, Helen, et al. “Investigating Temporal Changes in Hybridisation and Introgression between Invasive Sika (Cervus Nippon) and Native Red Deer (Cervus Elaphus) on the Kintyre Peninsula, Scotland.”10.1111/j.1365-294X.2009.04497.x__Molecular Ecology, vol. 19, no. 5, Wiley-Blackwell, 2010, pp. 910–24, doi:10.1111/j.1365-294X.2009.04497.x.
LibreCat: https://research-explorer.ista.ac.at/record/3604
DOI: 10.1111/j.1365-294X.2009.04497.x

Feret, Jérôme, et al. Lumpability Abstractions of Rule-Based Systems. Vol. 40, Open Publishing Association, 2010, pp. 142–61.
LibreCat: https://research-explorer.ista.ac.at/record/3719
arXiv: 1011.0496

Guzmán, José, et al. “Receptors Inhibit Long-Term Depression in the Prefrontal Cortex.”10.1016/j.neuropharm.2010.05.013__Neuropharmacology, vol. 59, no. 6, Elsevier, 2010, pp. 406–15, doi:10.1016/j.neuropharm.2010.05.013.
LibreCat: https://research-explorer.ista.ac.at/record/3718
DOI: 10.1016/j.neuropharm.2010.05.013

Palero, Ferran, et al. “Microsatelight – Pipeline to Expedite Microsatellite Analysis.”10.1093/jhered/esq111__Journal of Heredity, vol. 102, no. 2, Oxford University Press, 2010, pp. 247–49, doi:10.1093/jhered/esq111.
LibreCat: https://research-explorer.ista.ac.at/record/3783
DOI: 10.1093/jhered/esq111

Chen, Chao, and Daniel Freedman. “Topology Noise Removal for Curve  and Surface Evolution.”10.1007/978-3-642-18421-5_4__10.1007/978-3-642-18421-5_4__Conference Proceedings MCV 2010, vol. 6533, Springer, 2010, pp. 31–42, doi:10.1007/978-3-642-18421-5_4.
LibreCat: https://research-explorer.ista.ac.at/record/3782
DOI: 10.1007/978-3-642-18421-5_4

Edelsbrunner, Herbert, et al. “The Stability of the Apparent Contour of an Orientable 2-Manifold.”10.1007/978-3-642-15014-2_3__Topological Data Analysis and Visualization: Theory, Algorithms and Applications, Springer, 2010, pp. 27–42, doi:10.1007/978-3-642-15014-2_3.
LibreCat: https://research-explorer.ista.ac.at/record/3795
DOI: 10.1007/978-3-642-15014-2_3

Lampert, Christoph, and Oliver Krömer. Weakly-Paired Maximum Covariance Analysis for Multimodal Dimensionality Reduction and Transfer Learning. Vol. 6312, Springer, 2010, pp. 566–79, doi:10.1007/978-3-642-15552-9_41.
LibreCat: https://research-explorer.ista.ac.at/record/3794
DOI: 10.1007/978-3-642-15552-9_41

Guzmán, José, and Peter M. Jonas. “Beyond TARPs: The Growing List of Auxiliary AMPAR Subunits.”10.1016/j.neuron.2010.04.003__Neuron, vol. 66, no. 1, Elsevier, 2010, pp. 8–10, doi:10.1016/j.neuron.2010.04.003.
LibreCat: https://research-explorer.ista.ac.at/record/3832
DOI: 10.1016/j.neuron.2010.04.003
PMID: 20399724

Jonas, Peter M., and Stefan Hefft. “GABA Release at Terminals of CCK-Interneurons: Synchrony, Asynchrony and Modulation by Cannabinoid Receptors (Commentary on Ali &;amp; Todorova).”10.1111/j.1460-9568.2010.07189.x__The European Journal of Neuroscience, vol. 31, no. 7, Wiley-Blackwell, 2010, pp. 1194–95, doi:10.1111/j.1460-9568.2010.07189.x.
LibreCat: https://research-explorer.ista.ac.at/record/3833
DOI: 10.1111/j.1460-9568.2010.07189.x

Didier, Frédéric, et al. SABRE: A Tool for the Stochastic Analysis of Biochemical Reaction Networks. IEEE, 2010, pp. 193–94, doi:10.1109/QEST.2010.33.
LibreCat: https://research-explorer.ista.ac.at/record/3847
DOI: 10.1109/QEST.2010.33

Henzinger, Thomas A., et al. Aligators for Arrays. Vol. 6397, Springer, 2010, pp. 348–56, doi:10.1007/978-3-642-16242-8_25.
LibreCat: https://research-explorer.ista.ac.at/record/3845
DOI: 10.1007/978-3-642-16242-8_25

Didier, Frédéric, et al. “Fast Adaptive Uniformization of the Chemical Master Equation.”10.1049/iet-syb.2010.0005__IET Systems Biology, vol. 4, no. 6, Institution of Engineering and Technology, 2010, pp. 441–52, doi:10.1049/iet-syb.2010.0005.
LibreCat: https://research-explorer.ista.ac.at/record/3842
DOI: 10.1049/iet-syb.2010.0005

Bendich, Paul, et al. The Robustness of Level Sets. Vol. 6346, Springer, 2010, pp. 1–10, doi:10.1007/978-3-642-15775-2_1.
LibreCat: https://research-explorer.ista.ac.at/record/3848
DOI: 10.1007/978-3-642-15775-2_1

Chatterjee, Krishnendu, and Laurent Doyen. The Complexity of Partial-Observation Parity Games. Vol. 6397, Springer, 2010, pp. 1–14, doi:10.1007/978-3-642-16242-8_1.
LibreCat: https://research-explorer.ista.ac.at/record/3858
DOI: 10.1007/978-3-642-16242-8_1

Chatterjee, Krishnendu, et al. Randomness for Free. Vol. 6281, Springer, 2010, pp. 246–57, doi:10.1007/978-3-642-15155-2_23.
LibreCat: https://research-explorer.ista.ac.at/record/3856
DOI: 10.1007/978-3-642-15155-2_23

Chatterjee, Krishnendu, and Thomas A. Henzinger, editors. Formal Modeling and Analysis of Timed Systems. Vol. 6246, Springer, 2010, doi:10.1007/978-3-642-15297-9.
LibreCat: https://research-explorer.ista.ac.at/record/3859
DOI: 10.1007/978-3-642-15297-9

Bloem, Roderick, et al. Robustness in the Presence of Liveness. Edited by Tayssir Touili et al., vol. 6174, Springer, 2010, pp. 410–24, doi:10.1007/978-3-642-14295-6_36.
LibreCat: https://research-explorer.ista.ac.at/record/3866
DOI: 10.1007/978-3-642-14295-6_36

Chatterjee, Krishnendu, et al. “Algorithms for Game Metrics.”10.2168/LMCS-6(3:13)2010__Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–27, doi:10.2168/LMCS-6(3:13)2010.
LibreCat: https://research-explorer.ista.ac.at/record/3868
DOI: 10.2168/LMCS-6(3:13)2010

Bridle, Jon, et al. “Why Is Adaptation Prevented at Ecological Margins? New Insights from Individual-Based Simulations.”10.1111/j.1461-0248.2010.01442.x__Ecology Letters, vol. 13, no. 4, Wiley-Blackwell, 2010, pp. 485–94, doi:10.1111/j.1461-0248.2010.01442.x.
LibreCat: https://research-explorer.ista.ac.at/record/4134
DOI: 10.1111/j.1461-0248.2010.01442.x

Barton, Nicholas H., et al. “A New Model for Evolution in a Spatial Continuum.”10.1214/EJP.v15-741__Electronic Journal of Probability, vol. 15, no. 7, Institute of Mathematical Statistics, 2010, pp. 162–216, doi:10.1214/EJP.v15-741.
LibreCat: https://research-explorer.ista.ac.at/record/4243
DOI: 10.1214/EJP.v15-741

Danowski, Patrick, and Julia Bergmann, editors. Handbuch Bibliothek 2.0. Vol. 41, De Gruyter, 2010, doi:10.1515/9783110232103.
LibreCat: https://research-explorer.ista.ac.at/record/4346
DOI: 10.1515/9783110232103

Nickovic, Dejan, and Nir Piterman. From MTL to Deterministic Timed Automata. Edited by Thomas A. Henzinger and Krishnendu Chatterjee, vol. 6246, Springer, 2010, pp. 152–67, doi:10.1007/978-3-642-15297-9_13.
LibreCat: https://research-explorer.ista.ac.at/record/4369
DOI: 10.1007/978-3-642-15297-9_13

Barton, Nicholas H. “Genetic Linkage and Natural Selection.”10.1098/rstb.2010.0106__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1552, Royal Society, 2010, pp. 2559–69, doi:10.1098/rstb.2010.0106.
LibreCat: https://research-explorer.ista.ac.at/record/3776
DOI: 10.1098/rstb.2010.0106