Kiermaier, E., &; Sixt, M. K. (2015). Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.aad0867 

Frehse, G., Bogomolov, S., Greitschus, M., Strump, T., &; Podelski, A. (2015). Eliminating spurious transitions in reachability with support functions. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (pp. 149–158). Seattle, WA, United States: ACM.https://doi.org/10.1145/2728606.2728622 

Amaro, P., Franke, B., Krauth, J., Diepold, M., Fratini, F., Safari, L.,https://doi.org/10.1103/PhysRevA.92.022514__Santos, J. (2015). Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3. Physical Review A. American Physical Society.https://doi.org/10.1103/PhysRevA.92.022514 

Bak, S., Bogomolov, S., &; Johnson, T. (2015). HYST: A source transformation and translation tool for hybrid automaton models (pp. 128–133). Presented at the HSCC: Hybrid Systems - Computation and Control, Seattle, WA, United States: Springer.https://doi.org/10.1145/2728606.2728630 

Svoreová, M., Chmelik, M., Leahy, K., Eniser, H., Chatterjee, K., Cbrná, I., &; Belta, C. (2015). Temporal logic motion planning using POMDPs with parity objectives: Case study paper. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (pp. 233–238). Seattle, WA, United States: ACM.https://doi.org/10.1145/2728606.2728617 

Chatterjee, K., &; Prabhu, V. (2015). Quantitative temporal simulation and refinement distances for timed systems. IEEE Transactions on Automatic Control. IEEE.https://doi.org/10.1109/TAC.2015.2404612 

Kaczmarczyk, J., Schickling, T., &; Bünemann, J. (2015). Evaluation techniques for Gutzwiller wave functions in finite dimensions. Physica Status Solidi (B): Basic Solid State Physics. Wiley.https://doi.org/10.1002/pssb.201552082 

Marre, O., Botella Soler, V., Simmons, K., Mora, T., Tkadik, G., &; Berry, M. (2015). High accuracy decoding of dynamical motion from a large retinal population. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1004304 

Uecker, H., Setter, D., &; Hermisson, J. (2015). Adaptive gene introgression after secondary contact. Journal of Mathematical Biology. Springer.https://doi.org/10.1007/s00285-014-0802-y 

Wysokiski, M., Kaczmarczyk, J., &; Spaek, J. (2015). Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states. Physical Review B. American Physical Society.https://doi.org/10.1103/PhysRevB.92.125135 

Tkadik, G., Mora, T., Marre, O., Amodei, D., Palmer, S., Berry Ii, M., &; Bialek, W. (2015). Thermodynamics and signatures of criticality in a network of neurons. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1514188112 

Velner, Y., Chatterjee, K., Doyen, L., Henzinger, T. A., Rabinovich, A., &; Raskin, J. (2015). The complexity of multi-mean-payoff and multi-energy games. Information and Computation. Elsevier.https://doi.org/10.1016/j.ic.2015.03.001 

Van Loon, E., Katsnelson, M., &; Lemeshko, M. (2015). Ultralong-range order in the Fermi-Hubbard model with long-range interactions. Physical Review B. American Physical Society.https://doi.org/10.1103/PhysRevB.92.081106 

Deuchert, A., Hainzl, C., &; Seiringer, R. (2015). Note on a family of monotone quantum relative entropies. Letters in Mathematical Physics. Springer.https://doi.org/10.1007/s11005-015-0787-5 

Broadhurst, L., Fifield, G., Vanzella, B., &; Pickup, M. (2015). An evaluation of the genetic structure of seed sources and the maintenance of genetic diversity during establishment of two yellow box (Eucalyptus melliodora) seed-production areas. Australian Journal of Botany. CSIRO.https://doi.org/10.1071/BT15023 

Pentina, A., &; Ben David, S. (2015). Multi-task and lifelong learning of kernels (Vol. 9355, pp. 194–208). Presented at the ALT: Algorithmic Learning Theory, Banff, AB, Canada: Springer.https://doi.org/10.1007/978-3-319-24486-0_13 

Ratheesh, A., Belyaeva, V., &; Siekhaus, D. E. (2015). Drosophila immune cell migration and adhesion during embryonic development and larval immune responses. Current Opinion in Cell Biology. Elsevier.https://doi.org/10.1016/j.ceb.2015.07.003 

Akopyan, A., &; Plakhov, A. (2015). Minimal resistance of curves under the single impact assumption. Society for Industrial and Applied Mathematics. SIAM.https://doi.org/10.1137/140993843 

Colin De Verdière, É., Hubard, A., &; de Mesmay, A. N. (2015). Discrete systolic inequalities and decompositions of triangulated surfaces. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-015-9679-9 

Ando, R., Thürey, N., &; Wojtan, C. (2015). A dimension-reduced pressure solver for liquid simulations. Computer Graphics Forum. Wiley.https://doi.org/10.1111/cgf.12576 

Klehm, O., Rousselle, F., Papas, M., Bradley, D., Hery, C., Bickel, B.,https://doi.org/10.1111/cgf.12594__Beeler, T. (2015). Recent advances in facial appearance capture. Computer Graphics Forum. Wiley-Blackwell.https://doi.org/10.1111/cgf.12594 

Kuechler, A., Zink, A., Wieland, T., Lüdecke, H., Cremer, K., Salviati, L.,https://doi.org/10.1038/ejhg.2014.165__Engels, H. (2015). Loss-of-function variants of SET cause intellectual disability and the core phenotype of microdeletion 3.3 syndrome. European Journal of Human Genetics. Nature Publishing Group.https://doi.org/10.1038/ejhg.2014.165 

Altmeyer, S., Do, Y., &; Lai, Y. (2015). Transition to turbulence in Taylor-Couette ferrofluidic flow. Scientific Reports. Nature Publishing Group.https://doi.org/10.1038/srep10781 

Goldman, M., &; Royo-Letelier, J. (2015). Sharp interface limit for two components Bose-Einstein condensates. ESAIM - Control, Optimisation and Calculus of Variations. EDP Sciences.https://doi.org/10.1051/cocv/2014040 

Bollenbach, M. T. (2015). Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution. Current Opinion in Microbiology. Elsevier.https://doi.org/10.1016/j.mib.2015.05.008 

Lahrz, M., Lemeshko, M., &; Mathey, L. (2015). Exotic roton excitations in quadrupolar Bose–Einstein condensates . New Journal of Physics. IOP Publishing Ltd.https://doi.org/10.1088/1367-2630/17/4/045005 

Safari, L., Santos, J., Amaro, P., Jänkälä, K., &; Fratini, F. (2015). Analytical evaluation of atomic form factors: Application to Rayleigh scattering. Journal of Mathematical Physics. American Institute of Physics.https://doi.org/10.1063/1.4921227 

Schmidt, R., &; Lemeshko, M. (2015). Rotation of quantum impurities in the presence of a many-body environment. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.114.203001 

Gupta, A., &; Henzinger, T. A. (2015). Guest editors’ introduction to special issue on computational methods in systems biology. ACM Transactions on Modeling and Computer Simulation. ACM.https://doi.org/10.1145/2745799 

Porazinski, S., Wang, H., Asaoka, Y., Behrndt, M., Miyamoto, T., Morita, H.,https://doi.org/10.1038/nature14215__Furutani Seiki, M. (2015). YAP is essential for tissue tension to ensure vertebrate 3D body shape. Nature. Nature Publishing Group.https://doi.org/10.1038/nature14215 

Chatterjee, K., Chmelik, M., Gupta, R., &; Kanodia, A. (2015). Optimal cost almost-sure reachability in POMDPs. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence  (Vol. 5, pp. 3496–3502). Austin, TX, USA: AAAI Press.

Jeschke, S., &; Wojtan, C. (2015). Water wave animation via wavefront parameter interpolation. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2714572 

Polechova, J., &; Barton, N. H. (2015). Limits to adaptation along environmental gradients. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1421515112 

Zwiewka, M., Nodzyski, T., Robert, S., Vanneste, S., &; Friml, J. (2015). Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana. Molecular Plant. Elsevier.https://doi.org/10.1016/j.molp.2015.03.007 

Chevereau, G., &; Bollenbach, M. T. (2015). Systematic discovery of drug interaction mechanisms. Molecular Systems Biology. Nature Publishing Group.https://doi.org/10.15252/msb.20156098 

Knebel, J., Weber, M., Krüger, T. H., &; Frey, E. (2015). Evolutionary games of condensates in coupled birth-death processes. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms7977 

Kappeler, P., Cremer, S., &; Nunn, C. (2015). Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society.https://doi.org/10.1098/rstb.2014.0116 

Akopyan, A., Pirogov, S., &; Rybko, A. (2015). Invariant measures of genetic recombination process. Journal of Statistical Physics. Springer.https://doi.org/10.1007/s10955-015-1238-5 

Cerny, P., Henzinger, T. A., Kovács, L., Radhakrishna, A., &; Zwirchmayr, J. (2015). Segment abstraction for worst-case execution time analysis. Presented at the ESOP: European Symposium on Programming, London, United Kingdom: Springer.https://doi.org/10.1007/978-3-662-46669-8_5 

Bloem, R., Chatterjee, K., Jacobs, S., &; Könighofer, R. (2015). Assume-guarantee synthesis for concurrent reactive programs with partial information (Vol. 9035, pp. 517–532). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer.https://doi.org/10.1007/978-3-662-46681-0_50 

Brázdil, T., Chatterjee, K., Forejt, V., &; Kudera, A. (2015). Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer.https://doi.org/10.1007/978-3-662-46681-0_12 

Kühnen, J., Braunshier, P., Schwegel, M., Kuhlmann, H., &; Hof, B. (2015). Subcritical versus supercritical transition to turbulence in curved pipes. Journal of Fluid Mechanics. Cambridge University Press.https://doi.org/10.1017/jfm.2015.184 

Schwamb, B., Pick, R., Fernández, S., Völp, K., Heering, J., Dötsch, V.,https://doi.org/10.1002/ijc.29498__Zörnig, M. (2015). FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors. International Journal of Cancer. Wiley.https://doi.org/10.1002/ijc.29498 

Benes, N., Kretinsky, J., Larsen, K., Möller, M., Sickert, S., &; Srba, J. (2015). Refinement checking on parametric modal transition systems. Acta Informatica. Springer.https://doi.org/10.1007/s00236-015-0215-4 

Vandael, D. H., Espinoza Martinez, C., &; Jonas, P. M. (2015). Excitement about inhibitory presynaptic terminals. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2015.03.006 

Geiger, B., Petrov, T., Kubin, G., &; Koeppl, H. (2015). Optimal Kullback-Leibler aggregation via information bottleneck. IEEE Transactions on Automatic Control. IEEE.https://doi.org/10.1109/TAC.2014.2364971 

Kolmogorov, V. (2015). A new look at reweighted message passing. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE.https://doi.org/10.1109/TPAMI.2014.2363465 

Himschoot, E., Beeckman, T., Friml, J., &; Vanneste, S. (2015). Calcium is an organizer of cell polarity in plants. Biochimica et Biophysica Acta - Molecular Cell Research. Elsevier.https://doi.org/10.1016/j.bbamcr.2015.02.017 

Grones, P., &; Friml, J. (2015). AB: Finally docking. Molecular Plant. Elsevier.https://doi.org/10.1016/j.molp.2014.12.013 

Novak, S., &; Cremer, S. (2015). Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates. Journal of Theoretical Biology. Elsevier.https://doi.org/10.1016/j.jtbi.2015.02.018 

Priklopil, T., Kisdi, E., &; Gyllenberg, M. (2015). Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating. Evolution. Wiley.https://doi.org/10.1111/evo.12618 

Shah, N., Kolmogorov, V., &; Lampert, C. (2015). A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle (pp. 2737–2745). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, USA: IEEE.https://doi.org/10.1109/CVPR.2015.7298890 

Royer, A., &; Lampert, C. (2015). Classifier adaptation at prediction time (pp. 1401–1409). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States: IEEE.https://doi.org/10.1109/CVPR.2015.7298746 

Lampert, C. (2015). Predicting the future behavior of a time-varying probability distribution (pp. 942–950). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States: IEEE.https://doi.org/10.1109/CVPR.2015.7298696 

Pentina, A., Sharmanska, V., &; Lampert, C. (2015). Curriculum learning of multiple tasks (pp. 5492–5500). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States: IEEE.https://doi.org/10.1109/CVPR.2015.7299188 

Hühner, J., Inglés Prieto, Á., Neusüß, C., Lämmerhofer, M., &; Janovjak, H. L. (2015). Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection. Electrophoresis. Wiley.https://doi.org/10.1002/elps.201400451 

Robert, H., Grunewald, W., Sauer, M., Cannoot, B., Soriano, M., Swarup, R.,https://doi.org/10.1242/dev.115832__Friml, J. (2015). Plant embryogenesis requires AUX/LAX-mediated auxin influx. Development. Company of Biologists.https://doi.org/10.1242/dev.115832 

Park, Y., Do, Y., Altmeyer, S., Lai, Y., &; Lee, G. (2015). Early effect in time-dependent, high-dimensional nonlinear dynamical systems with multiple resonances. Physical Review E. American Physical Society.https://doi.org/10.1103/PhysRevE.91.022906 

Erdös, L., &; Knowles, A. (2015). The Altshuler–Shklovskii formulas for random band matrices II: The general case. Annales Henri Poincare. Springer.https://doi.org/10.1007/s00023-014-0333-5 

Ruess, J., &; Lygeros, J. (2015). Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks. ACM Transactions on Modeling and Computer Simulation. ACM.https://doi.org/10.1145/2688906 

Henzinger, T. A., &; Raskin, J. (2015). The equivalence problem for finite automata: Technical perspective. Communications of the ACM. ACM.https://doi.org/10.1145/2701001 

Grones, P., &; Friml, J. (2015). Auxin transporters and binding proteins at a glance. Journal of Cell Science. Company of Biologists.https://doi.org/10.1242/jcs.159418 

Boccara, C. N., Kjønigsen, L., Hammer, I., Bjaalie, J., Leergaard, T., &; Witter, M. (2015). A three-plane architectonic atlas of the rat hippocampal region. Hippocampus. Wiley.https://doi.org/10.1002/hipo.22407 

Chatterjee, K., &; Chmelik, M. (2015). POMDPs under probabilistic semantics. Artificial Intelligence. Elsevier.https://doi.org/10.1016/j.artint.2014.12.009 

Kremer, A., Lippens, S., Bartunkova, S., Asselbergh, B., Blanpain, C., Fendrych, M.,https://doi.org/10.1111/jmi.12211__Guérin, C. (2015). Developing 3D SEM in a broad biological context. Journal of Microscopy. Wiley-Blackwell.https://doi.org/10.1111/jmi.12211 

Könenberg, M., Moser, T., Seiringer, R., &; Yngvason, J. (2015). Superfluid behavior of a Bose-Einstein condensate in a random potential. New Journal of Physics. IOP Publishing Ltd.https://doi.org/10.1088/1367-2630/17/1/013022 

Fahrenberg, U., Kretinsky, J., Legay, A., &; Traonouez, L. (2015). Compositionality for quantitative specifications (Vol. 8997, pp. 306–324). Presented at the FACS: Formal Aspects of Component Software, Bertinoro, Italy: Springer.https://doi.org/10.1007/978-3-319-15317-9_19 

Keller-Schmidt, S., Tugrul, M., Eguíluz, V., Hernandez Garcia, E., &; Klemm, K. (2015). Anomalous scaling in an age-dependent branching model. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics.https://doi.org/10.1103/PhysRevE.91.022803 

Cires Rodriguez, E., &; Prieto, J. (2015). Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula. Journal of Plant Research. Springer.https://doi.org/10.1007/s10265-014-0691-6 

Tkadik, G., Dubuis, J., Petkova, M., &; Gregor, T. (2015). Positional information, positional error, and readout precision in morphogenesis: A mathematical framework. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.114.171850 

Sokolowski, T. R., &; Tkadik, G. (2015). Optimizing information flow in small genetic networks. IV. Spatial coupling. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics.https://doi.org/10.1103/PhysRevE.91.062710 

Pausinger, F., &; Steinerberger, S. (2015). On the distribution of local extrema in quantum chaos. Physics Letters, Section A. Elsevier.https://doi.org/10.1016/j.physleta.2014.12.010 

Rakusová, H., Fendrych, M., &; Friml, J. (2015). Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants. Current Opinion in Plant Biology. Elsevier.https://doi.org/10.1016/j.pbi.2014.12.002 

Gupta, A., Henzinger, T. A., Radhakrishna, A., Samanta, R., &; Tarrach, T. (2015). Succinct representation of concurrent trace sets (pp. 433–444). Presented at the POPL: Principles of Programming Languages, Mumbai, India: ACM.https://doi.org/10.1145/2676726.2677008 

Noren, P. (2015). The three-state toric homogeneous Markov chain model has Markov degree two. Journal of Symbolic Computation. Elsevier.https://doi.org/10.1016/j.jsc.2014.09.014 

Klimova, A., &; Rudas, T. (2015). Iterative scaling in curved exponential families. Scandinavian Journal of Statistics. Wiley.https://doi.org/10.1111/sjos.12139 

Hein, N., Hillar, C., Martin del Campo Sanchez, A., Sottile, F., &; Teitler, Z. (2015). The monotone secant conjecture in the real Schubert calculus. Experimental Mathematics. Taylor &; Francis.https://doi.org/10.1080/10586458.2014.980044 

Klimova, A., Uhler, C., &; Rudas, T. (2015). Faithfulness and learning hypergraphs from discrete distributions. Computational Statistics &; Data Analysis. Elsevier.https://doi.org/10.1016/j.csda.2015.01.017 

Kawada, D., Kobayashi, H., Tomita, T., Nakata, E., Nagano, M., Siekhaus, D. E.,https://doi.org/10.1016/j.bbamcr.2014.10.009__Toshimaa, J. (2015). The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins. Biochimica et Biophysica Acta - Molecular Cell Research. Elsevier.https://doi.org/10.1016/j.bbamcr.2014.10.009 

Shi, L., Rampp, M., Hof, B., &; Avila, M. (2015). A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow. Computers and Fluids. Elsevier.https://doi.org/10.1016/j.compfluid.2014.09.021 

Edelsbrunner, H., Jablonski, G., &; Mrozek, M. (2015). The persistent homology of a self-map. Foundations of Computational Mathematics. Springer.https://doi.org/10.1007/s10208-014-9223-y 

Bérard, B., Chatterjee, K., &; Sznajder, N. (2015). Probabilistic opacity for Markov decision processes. https://doi.org/10.1016/j.ipl.2014.09.001__Information Processing Letters. Elsevier.https://doi.org/10.1016/j.ipl.2014.09.001 

Nam, P., &; Seiringer, R. (2015). Collective excitations of Bose gases in the mean-field regime. Archive for Rational Mechanics and Analysis. Springer.https://doi.org/10.1007/s00205-014-0781-6 

Erdös, L., &; Knowles, A. (2015). The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case. Communications in Mathematical Physics. Springer.https://doi.org/10.1007/s00220-014-2119-5 

Chakraborty, S., Henzinger, T. A., Sezgin, A., &; Vafeiadis, V. (2015). Aspect-oriented linearizability proofs. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.2168/LMCS-11(1:20)2015 

Kolmogorov, V., Thapper, J., &; divný, S. (2015). The power of linear programming for general-valued CSPs. SIAM Journal on Computing. SIAM.https://doi.org/10.1137/130945648 

Chatterjee, K., Joglekar, M., &; Shah, N. (2015). Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2015.01.050 

Attali, D., Bauer, U., Devillers, O., Glisse, M., &; Lieutier, A. (2015). Homological reconstruction and simplification in . Computational Geometry: Theory and Applications. Elsevier.https://doi.org/10.1016/j.comgeo.2014.08.010 

Chatterjee, K., Doyen, L., Gimbert, H., &; Henzinger, T. A. (2015). Randomness for free. Information and Computation. Elsevier.https://doi.org/10.1016/j.ic.2015.06.003 

Chatterjee, K., Henzinger, T. A., Jobstmann, B., &; Singh, R. (2015). Measuring and synthesizing systems in probabilistic environments. Journal of the ACM. ACM.https://doi.org/10.1145/2699430 

Chatterjee, K., Henzinger, M. H., &; Loitzenbauer, V. (2015). Improved algorithms for one-pair and k-pair Streett objectives. In Proceedings - Symposium on Logic in Computer Science (Vol. 2015–July). Kyoto, Japan: IEEE.https://doi.org/10.1109/LICS.2015.34 

Lewin, M., Nam, P., &; Rougerie, N. (2015). Derivation of nonlinear gibbs measures from many-body quantum mechanics. Journal de l’Ecole Polytechnique - Mathematiques. Ecole Polytechnique.https://doi.org/10.5802/jep.18 

Holst, K., Guseva, D., Schindler, S., Sixt, M. K., Braun, A., Chopra, H.,https://doi.org/10.1242/jcs.167999__Ponimaskin, E. (2015). The serotonin receptor 5-HR regulates the morphology and migratory properties of dendritic cells. Journal of Cell Science. Company of Biologists.https://doi.org/10.1242/jcs.167999 

Chatterjee, K., Doyen, L., Randour, M., &; Raskin, J. (2015). Looking at mean-payoff and total-payoff through windows. Information and Computation. Elsevier.https://doi.org/10.1016/j.ic.2015.03.010 

Li, W., Ma, M., Feng, Y., Li, H., Wang, Y., Ma, Y.,https://doi.org/10.1016/j.cell.2015.09.037__Guo, H. (2015). EIN2-directed translational regulation of ethylene signaling in arabidopsis. Cell. Cell Press.https://doi.org/10.1016/j.cell.2015.09.037 

Chatterjee, K., &; Ibsen-Jensen, R. (2015). Qualitative analysis of concurrent mean payoff games. Information and Computation. Elsevier.https://doi.org/10.1016/j.ic.2015.03.009 

Ahmed, U., Chatterjee, K., &; Gulwani, S. (2015). Automatic generation of alternative starting positions for simple traditional board games. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (Vol. 2, pp. 745–752). Austin, TX, USA: AAAI Press.

Chatterjee, K., Chmelik, M., Gupta, R., &; Kanodia, A. (2015). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications (pp. 325–330). Presented at the ICRA: International Conference on Robotics and Automation, Seattle, WA, United States: IEEE.https://doi.org/10.1109/ICRA.2015.7139019 

Chatterjee, K., Ibsen-Jensen, R., &; Hansen, K. (2015). The patience of concurrent stochastic games with safety and reachability objectives. IST Austria.https://doi.org/10.15479/AT:IST-2015-322-v1-1 

Anonymous, 1, &; Anonymous, 2. (2015). Optimal cost indefinite-horizon reachability in goal DEC-POMDPs. IST Austria.