Vyleta N, Smith S. Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor. European Journal of Neuroscience. 2011;31(12):4593-4606. doi:10.1523/JNEUROSCI.6398-10.2011

Schlögl A, Vidaurre C, Sander T. BioSig: The free and open source software library for biomedical signal processing. Computational Intelligence and Neuroscience. 2011;2011. doi:10.1155/2011/935364

Eichner A, Sixt MK. Setting the clock for recirculating lymphocytes. Science Signaling. 2011;4(198). doi:10.1126/scisignal.2002617

Schraivogel D, Weinmann L, Beier D, et al. CAMT is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. 2011;30(20):4309-4322. doi:10.1038/emboj.2011.301

Guerraoui R, Henzinger TA, Singh V. Verification of STM on relaxed memory models. Formal Methods in System Design. 2011;39(3):297-331. doi:10.1007/s10703-011-0131-3

Chatterjee K, Henzinger MH. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria; 2011. doi:10.15479/AT:IST-2011-0009

Chatterjee K, Doyen L. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria; 2011. doi:10.15479/AT:IST-2011-0007

Chatterjee K. Bounded Rationality in Concurrent Parity Games. IST Austria; 2011. doi:10.15479/AT:IST-2011-0008

Chatterjee K. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria; 2011. doi:10.15479/AT:IST-2011-0006

Chatterjee K. Bounded rationality in concurrent parity games. arXiv. 2011:1-51.

Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal specifications with accumulative values. In: IEEE; 2011. doi:10.1109/LICS.2011.33

Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal Specifications with Accumulative Values. IST Austria; 2011. doi:10.15479/AT:IST-2011-0003

Chen C, Freedman D, Lampert C. Enforcing Topological Constraints in Random Field Image Segmentation. IST Austria; 2011. doi:10.15479/AT:IST-2011-0002

Wies T, Muñiz M, Kuncak V. On an Efficient Decision Procedure for Imperative Tree Data Structures. IST Austria; 2011. doi:10.15479/AT:IST-2011-0005

Chatterjee K, Tracol M. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria; 2011. doi:10.15479/AT:IST-2011-0004

Chen C, Freedman D, Lampert C. Enforcing topological constraints in random field image segmentation. In: CVPR: Computer Vision and Pattern Recognition. IEEE; 2011:2089-2096. doi:10.1109/CVPR.2011.5995503

Wies T, Muñiz M, Kuncak V. An efficient decision procedure for imperative tree data structures. In: Vol 6803. Springer; 2011:476-491. doi:10.1007/978-3-642-22438-6_36

Cerny P, Chatterjee K, Henzinger TA, Radhakrishna A, Singh R. Quantitative synthesis for concurrent programs. In: Gopalakrishnan G, Qadeer S, eds. Vol 6806. Springer; 2011:243-259. doi:10.1007/978-3-642-22110-1_20

Chatterjee K, Doyen L. Energy and mean-payoff parity Markov Decision Processes. In: Vol 6907. Springer; 2011:206-218. doi:10.1007/978-3-642-22993-0_21

Chatterjee K, Doyen L. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria; 2011. doi:10.15479/AT:IST-2011-0001