Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. Temporal Specifications with Accumulative Values. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0003 .

Chen, Chao, Daniel Freedman, and Christoph Lampert. Enforcing Topological Constraints in Random Field Image Segmentation. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0002 .

Wies, Thomas, Marco Muñiz, and Viktor Kuncak. On an Efficient Decision Procedure for Imperative Tree Data Structures. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0005 .

Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0004 .

Chen, Chao, Daniel Freedman, and Christoph Lampert. “Enforcing Topological Constraints in Random Field Image Segmentation.”https://doi.org/10.1109/CVPR.2011.5995503__In CVPR: Computer Vision and Pattern Recognition, 2089–96. IEEE, 2011.https://doi.org/10.1109/CVPR.2011.5995503 .

Wies, Thomas, Marco Muñiz, and Viktor Kuncak. “An Efficient Decision Procedure for Imperative Tree Data Structures,”https://doi.org/10.1007/978-3-642-22438-6_36__6803:476–91. Springer, 2011.https://doi.org/10.1007/978-3-642-22438-6_36 .

Cerny, Pavol, Krishnendu Chatterjee, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. “Quantitative Synthesis for Concurrent Programs.”https://doi.org/10.1007/978-3-642-22110-1_20__edited by Ganesh Gopalakrishnan and Shaz Qadeer, 6806:243–59. Springer, 2011.https://doi.org/10.1007/978-3-642-22110-1_20 .

Chatterjee, Krishnendu, and Laurent Doyen. “Energy and Mean-Payoff Parity Markov Decision Processes,”https://doi.org/10.1007/978-3-642-22993-0_21__6907:206–18. Springer, 2011.https://doi.org/10.1007/978-3-642-22993-0_21 .

Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0001 .

Hosten, Onur. “Quantum Physics: How to Catch a Wave.”https://doi.org/10.1038/474170a__Nature. Nature Publishing Group, 2011.https://doi.org/10.1038/474170a .

Schmid, David, Shiraz Hazrat, Radhika Rangarajan, Onur Hosten, Stephan Quint, and Paul Kwiat. “Methods towards Achieving Precise Birefringent Focusing.”https://doi.org/10.1364/CLEO_AT.2011.JThB130__OSA, 2011.https://doi.org/10.1364/CLEO_AT.2011.JThB130 .

Vrijsen, Geert, Onur Hosten, Jongmin Lee, Simon Bernon, and Mark Kasevich. “Raman Lasing with a Cold Atom Gain Medium in a High-Finesse Optical Cavity.”https://doi.org/10.1103/PhysRevLett.107.063904__Physical Review Letters. American Physical Society, 2011.https://doi.org/10.1103/PhysRevLett.107.063904 .

Bernecky, Carrie, Patricia Grob, Christopher Ebmeier, Eva Nogales, and Dylan Taatjes. “Molecular Architecture of the Human Mediator-RNA Polymerase II-TFIIF Assembly.”https://doi.org/10.1371/journal.pbio.1000603__PLoS Biology. Public Library of Science, 2011.https://doi.org/10.1371/journal.pbio.1000603 .

Arellano-Carbajal, Fausto, Luis Briseño-Roa, Africa Couto, Benny H. H. Cheung, Michel Labouesse, and Mario de Bono. “Macoilin, a Conserved Nervous System–Specific ER Membrane Protein That Regulates Neuronal Excitability.”https://doi.org/10.1371/journal.pgen.1001341__PLoS Genetics. Public Library of Science, 2011.https://doi.org/10.1371/journal.pgen.1001341 .

Milward, K., K. E. Busch, R. J. Murphy, Mario de Bono, and B. Olofsson. “Neuronal and Molecular Substrates for Optimal Foraging in Caenorhabditis Elegans.”https://doi.org/10.1073/pnas.1106134109__Proceedings of the National Academy of Sciences. National Academy of Sciences, 2011.https://doi.org/10.1073/pnas.1106134109 .

Bretscher, Andrew Jonathan, Eiji Kodama-Namba, Karl Emanuel Busch, Robin Joseph Murphy, Zoltan Soltesz, Patrick Laurent, and Mario de Bono. “Temperature, Oxygen, and Salt-Sensing Neurons in C. Elegans Are Carbon Dioxide Sensors That Control Avoidance Behavior.”https://doi.org/10.1016/j.neuron.2011.02.023__Neuron. Elsevier BV, 2011.https://doi.org/10.1016/j.neuron.2011.02.023 .

Baranova, Natalia S., Erik Nilebäck, F. Michael Haller, David C. Briggs, Sofia Svedhem, Anthony J. Day, and Ralf P. Richter. “The Inflammation-Associated Protein TSG-6 Cross-Links Hyaluronan via Hyaluronan-Induced TSG-6 Oligomers.”https://doi.org/10.1074/jbc.m111.247395__Journal of Biological Chemistry. American Society for Biochemistry &; Molecular Biology, 2011.https://doi.org/10.1074/jbc.m111.247395 .

Park, Heungwon, Panos Oikonomou, Calin C Guet, and Philippe Cluzel. “Noise Underlies Switching Behavior of the Bacterial Flagellum.”https://doi.org/10.1016/j.bpj.2011.09.040__Biophysical Journal. Elsevier, 2011.https://doi.org/10.1016/j.bpj.2011.09.040 .

Mondelli, Marco, and Adina Ciomaga. “Finite Difference Schemes for MCM and AMSS.”https://doi.org/10.5201/ipol.2011.cm_fds__Image Processing On Line. IPOL Image Processing On Line, 2011.https://doi.org/10.5201/ipol.2011.cm_fds .

Mondelli, Marco, and Adina Ciomaga. “On Finite Difference Schemes for Curvature Motions.”https://doi.org/10.13140/2.1.1862.4646__In Proceedings of the International Student Conference on Pure and Applied Mathematics, 137–56. Editura Universitãtii eAlexandru Ioan Cuza”https://doi.org/10.13140/2.1.1862.4646__Iasi, 2011.https://doi.org/10.13140/2.1.1862.4646 .