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