Pernisová, M., Prat, T., Grones, P., Harustiaková, D., Matonohova, M., Spíchal, L.,https://doi.org/10.1111/nph.14049__Hejátko, J. (2016). Cytokinins influence root gravitropism via differential regulation of auxin transporter expression and localization in Arabidopsis. New Phytologist. Wiley-Blackwell.https://doi.org/10.1111/nph.14049 

Kolesnikov, A., &; Lampert, C. (2016). Seed, expand and constrain: Three principles for weakly-supervised image segmentation (Vol. 9908, pp. 695–711). Presented at the ECCV: European Conference on Computer Vision, Amsterdam, The Netherlands: Springer.https://doi.org/10.1007/978-3-319-46493-0_42 

Wysokiski, M., Kaczmarczyk, J., &; Spaek, J. (2016). Correlation driven d wave superconductivity in Anderson lattice model: Two gaps. Physical Review B - Condensed Matter and Materials Physics. American Physical Society.https://doi.org/10.1103/PhysRevB.94.024517 

Martin, O., Krzywicki, A., &; Zagórski, M. P. (2016). Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function. Physics of Life Reviews. Elsevier.https://doi.org/10.1016/j.plrev.2016.06.002 

Barzanjeh, S., &; Vitali, D. (2016). Phonon Josephson junction with nanomechanical resonators. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society.https://doi.org/10.1103/PhysRevA.93.033846 

Martin, O., &; Zagórski, M. P. (2016). Network architectures and operating principles. Reply to comments on &;quot;Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function&;quot; Physics of Life Reviews. Elsevier.https://doi.org/10.1016/j.plrev.2016.06.006 

Kolmogorov, V., Pock, T., &; Rolinek, M. (2016). Total variation on a tree. SIAM Journal on Imaging Sciences. Society for Industrial and Applied Mathematics .https://doi.org/10.1137/15M1010257 

Mabillard, I., &; Wagner, U. (2016). Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range (Vol. 51, p. 51.1-51.12). Presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH.https://doi.org/10.4230/LIPIcs.SoCG.2016.51 

Chonev, V. K., Ouaknine, J., &; Worrell, J. (2016). On the complexity of the orbit problem. Journal of the ACM. ACM.https://doi.org/10.1145/2857050 

Chonev, V. K., Ouaknine, J., &; Worrell, J. (2016). On recurrent reachability for continuous linear dynamical systems. In LICS ’16 (pp. 515–524). New York, NY, USA: IEEE.https://doi.org/10.1145/2933575.2934548 

D’Antoni, L., Samanta, R., &; Singh, R. (2016). QLOSE: Program repair with quantitative objectives (Vol. 9780, pp. 383–401). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer.https://doi.org/10.1007/978-3-319-41540-6_21 

De Martino, D., Capuani, F., &; De Martino, A. (2016). Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli. Physical Biology. IOP Publishing Ltd.https://doi.org/10.1088/1478-3975/13/3/036005 

Goldade, R., Batty, C., &; Wojtan, C. (2016). A practical method for high-resolution embedded liquid surfaces. Computer Graphics Forum. Wiley-Blackwell.https://doi.org/10.1111/cgf.12826 

Ugalde, J., Rodríguez Furlán, C., De Rycke, R., Norambuena, L., Friml, J., León, G., &; Tejos, R. (2016). Phosphatidylinositol 4-phosphate 5-kinases 1 and 2 are involved in the regulation of vacuole morphology during Arabidopsis thaliana pollen development. Plant Science. Elsevier.https://doi.org/10.1016/j.plantsci.2016.05.014 

Abbott, R., Barton, N. H., &; Good, J. (2016). Genomics of hybridization and its evolutionary consequences. Molecular Ecology. Wiley-Blackwell.https://doi.org/10.1111/mec.13685 

Jeschke, S. (2016). Generalized diffusion curves: An improved vector representation for smooth-shaded images. Computer Graphics Forum. Wiley-Blackwell.https://doi.org/10.1111/cgf.12812 

Miguel Villalba, E., Miraut, D., &; Otaduy, M. (2016). Modeling and estimation of energy-based hyperelastic objects. Computer Graphics Forum. Wiley-Blackwell.https://doi.org/10.1111/cgf.12840 

Simon, S., Skfpa, P., Viaene, T., Zwiewka, M., Tejos, R., Klíma, P.,https://doi.org/10.1111/nph.14019__Friml, J. (2016). PIN6 auxin transporter at endoplasmic reticulum and plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis. New Phytologist. Wiley-Blackwell.https://doi.org/10.1111/nph.14019 

Ferstl, F., Ando, R., Wojtan, C., Westermann, R., &; Thuerey, N. (2016). Narrow band FLIP for liquid simulations. Computer Graphics Forum. Wiley-Blackwell.https://doi.org/10.1111/cgf.12825 

Van Loon, E., Katsnelson, M., Chomaz, L., &; Lemeshko, M. (2016). Interaction-driven Lifshitz transition with dipolar fermions in optical lattices. Physical Review B - Condensed Matter and Materials Physics. American Physical Society.https://doi.org/10.1103/PhysRevB.93.195145 

Tomski, A., &; Kaczmarczyk, J. (2016). Gutzwiller wave function for finite systems: Superconductivity in the Hubbard model. Journal of Physics: Condensed Matter. IOP Publishing Ltd.https://doi.org/10.1088/0953-8984/28/17/175701 

Lagator, M., Igler, C., Moreno, A., Guet, C. C., &; Bollback, J. P. (2016). Epistatic interactions in the arabinose cis-regulatory element. Molecular Biology and Evolution. Oxford University Press.https://doi.org/10.1093/molbev/msv269 

Könenberg, M., Moser, T., Seiringer, R., &; Yngvason, J. (2016). Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential. In Journal of Physics: Conference Series (Vol. 691). Shanghai, China: IOP Publishing Ltd.https://doi.org/10.1088/1742-6596/691/1/012016 

Chakra, M., Hilbe, C., &; Traulsen, A. (2016). Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites. Royal Society Open Science. Royal Society, The.https://doi.org/10.1098/rsos.160036 

Baek, S., Jeong, H., Hilbe, C., &; Nowak, M. (2016). Comparing reactive and memory-one strategies of direct reciprocity. Scientific Reports. Nature Publishing Group.https://doi.org/10.1038/srep25676 

Frank, R., Hainzl, C., Schlein, B., &; Seiringer, R. (2016). Incompatibility of time-dependent Bogoliubov–de-Gennes and Ginzburg–Landau equations. Letters in Mathematical Physics. Springer.https://doi.org/10.1007/s11005-016-0847-5 

Bak, S., Bogomolov, S., Henzinger, T. A., Johnson, T., &; Prakash, P. (2016). Scalable static hybridization methods for analysis of nonlinear systems (pp. 155–164). Presented at the HSCC 2016: International Conference on Hybrid Systems: Computation and Control, Vienna, Austria: Springer.https://doi.org/10.1145/2883817.2883837 

Bodova, K., Tkadik, G., &; Barton, N. H. (2016). A general approximation for the dynamics of quantitative traits. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.115.184127 

Husko, C., Wulf, M., Lefrançois, S., Combrié, S., Lehoucq, G., De Rossi, A.,https://doi.org/10.1038/ncomms11332__Kuipers, L. (2016). Free-carrier-induced soliton fission unveiled by in situ measurements in nanophotonic waveguides. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms11332 

Tartally, A., Kelager, A., Fürst, M., &; Nash, D. (2016). Host plant use drives genetic differentiation in syntopic populations of Maculinea alcon. PeerJ. PeerJ.https://doi.org/10.7717/peerj.1865 

Bao, Z., Erdös, L., &; Schnelli, K. (2016). Local stability of the free additive convolution. Journal of Functional Analysis. Academic Press.https://doi.org/10.1016/j.jfa.2016.04.006 

Bach, V., Breteaux, S., Petrat, S. P., Pickl, P., &; Tzaneteas, T. (2016). Kinetic energy estimates for the accuracy of the time-dependent Hartree-Fock approximation with Coulomb interaction. Journal de Mathématiques Pures et Appliquées. Elsevier.https://doi.org/10.1016/j.matpur.2015.09.003 

Guzmán, J., &; Gerevich, Z. (2016). Y receptors in synaptic transmission and plasticity: Therapeutic potential in cognitive dysfunction. Neural Plasticity. Hindawi Publishing Corporation.https://doi.org/10.1155/2016/1207393 

Dragoi, C., Henzinger, T. A., &; Zufferey, D. (2016). PSYNC: A partially synchronous language for fault-tolerant distributed algorithms (Vol. 20–22, pp. 400–415). Presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA: ACM.https://doi.org/10.1145/2837614.2837650 

Janovjak, H. L. (2016). Light at the end of the protein: Crystal structure of a C-terminal light-sensing domain. Structure. Cell Press.https://doi.org/10.1016/j.str.2016.01.002 

Calatrava Moreno, M., Auzinger, T., &; Werthner, H. (2016). On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data. Scientometrics. Springer.https://doi.org/10.1007/s11192-016-1842-4 

Fathi, M., &; Maas, J. (2016). Entropic Ricci curvature bounds for discrete interacting systems. The Annals of Applied Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/15-AAP1133 

Toshima, J., Horikomi, C., Okada, A., Hatori, M., Nagano, M., Masuda, A.,https://doi.org/10.1242/jcs.176651__Toshima, J. (2016). Sr/CAP is required for polarized actin cable assembly and patch internalization during clathrin-mediated endocytosis. Journal of Cell Science. Company of Biologists.https://doi.org/10.1242/jcs.176651 

Toshima, J., Furuya, E., Nagano, M., Kanno, C., Sakamoto, Y., Ebihara, M.,https://doi.org/10.7554/eLife.10276__Toshima, J. (2016). Yeast Ep-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.10276 

Seiringer, R., &; Warzel, S. (2016). Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas. New Journal of Physics. IOP Publishing Ltd.https://doi.org/10.1088/1367-2630/18/3/035002 

Michaek, M., Sturmfels, B., Uhler, C., &; Zwiernik, P. (2016). Exponential varieties. Proceedings of the London Mathematical Society. Oxford University Press.https://doi.org/10.1112/plms/pdv066 

Grion, N., Akrami, A., Zuo, Y., Stella, F., &; Diamond, M. (2016). Coherence between rat sensorimotor system and hippocampus is enhanced during tactile discrimination. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.1002384 

Adibi, M., Yoshida, S., Weijers, D., &; Fleck, C. (2016). Centering the organizing center in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin signaling and self-organization. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0147830 

Chen, X., Wu, S., Liu, Z., &; Friml, J. (2016). Environmental and endogenous control of cortical microtubule orientation. Trends in Cell Biology. Cell Press.https://doi.org/10.1016/j.tcb.2016.02.003 

De Martino, D. (2016). Genome-scale estimate of the metabolic turnover of E. Coli from the energy balance analysis. Physical Biology. IOP Publishing Ltd.https://doi.org/10.1088/1478-3975/13/1/016003 

Hainzl, C., &; Seiringer, R. (2016). The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties. Journal of Mathematical Physics. American Institute of Physics.https://doi.org/10.1063/1.4941723 

Riccio, P., Cebrián, C., Zong, H., Hippenmeyer, S., &; Costantini, F. (2016). Ret and Et promote directed movements of progenitor cells during renal branching morphogenesis. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.1002382 

Ajanki, O. H., Erdös, L., &; Krüger, T. H. (2016). Local spectral statistics of Gaussian matrices with correlated entries. Journal of Statistical Physics. Springer.https://doi.org/10.1007/s10955-016-1479-y 

Russo, E., Teijeira, A., Vaahtomeri, K., Willrodt, A., Bloch, J., Nitschké, M.,https://doi.org/10.1016/j.celrep.2016.01.048__Halin, C. (2016). Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels. Cell Reports. Cell Press.https://doi.org/10.1016/j.celrep.2016.01.048 

Petrat, S. P., &; Pickl, P. (2016). A new method and a new scaling for deriving fermionic mean-field dynamics. Mathematical Physics, Analysis and Geometry. Springer.https://doi.org/10.1007/s11040-016-9204-2 

Marhavý, P., Montesinos López, J. C., Abuzeineh, A., Van Damme, D., Vermeer, J., Duclercq, J.,https://doi.org/10.1101/gad.276964.115__Benková, E. (2016). Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation. Genes and Development. Cold Spring Harbor Laboratory Press.https://doi.org/10.1101/gad.276964.115 

Amaro, P., Fratini, F., Safari, L., Machado, J., Guerra, M., Indelicato, P., &; Santos, J. (2016). Relativistic evaluation of the two-photon decay of the metastable 1 state in berylliumlike ions with an effective-potential model. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society.https://doi.org/10.1103/PhysRevA.93.032502 

Lemoult, G. M., Shi, L., Avila, K., Jalikop, S. V., Avila, M., &; Hof, B. (2016). Directed percolation phase transition to sustained turbulence in Couette flow. Nature Physics. Nature Publishing Group.https://doi.org/10.1038/nphys3675 

Lewin, M., Nam, P., &; Rougerie, N. (2016). The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases. Transactions of the American Mathematical Society. American Mathematical Society.https://doi.org/10.1090/tran/6537 

Franek, P., &; Krcál, M. (2016). On computability and triviality of well groups. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-016-9794-2 

Lohse, K., Chmelik, M., Martin, S., &; Barton, N. H. (2016). Efficient strategies for calculating blockwise likelihoods under the coalescent. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.115.183814 

Beica, A., Guet, C. C., &; Petrov, T. (2016). Efficient reduction of kappa models by static inspection of the rule-set (Vol. 9271, pp. 173–191). Presented at the HSB: Hybrid Systems Biology, Madrid, Spain: Springer.https://doi.org/10.1007/978-3-319-26916-0_10 

Berrisford, J., Baradaran, R., &; Sazanov, L. A. (2016). Structure of bacterial respiratory complex I. Biochimica et Biophysica Acta - Bioenergetics. Elsevier.https://doi.org/10.1016/j.bbabio.2016.01.012 

Avvakumov, S. (2016). The classification of certain linked 3-manifolds in 6-space. Moscow Mathematical Journal. Independent University of Moscow.https://doi.org/10.17323/1609-4514-2016-16-1-1-25 

Gundert, A., &; Wagner, U. (2016). On topological minors in random simplicial complexes. Proceedings of the American Mathematical Society. American Mathematical Society.https://doi.org/10.1090/proc/12824 

Henzinger, T. A., Otop, J., &; Samanta, R. (2016). Lipschitz robustness of timed I/O systems (Vol. 9583, pp. 250–267). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA: Springer.https://doi.org/10.1007/978-3-662-49122-5_12 

Nam, P., Napiórkowski, M. M., &; Solovej, J. (2016). Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations. Journal of Functional Analysis. Academic Press.https://doi.org/10.1016/j.jfa.2015.12.007 

Qi, Q., Toll Riera, M., Heilbron, K., Preston, G., &; Maclean, R. C. (2016). The genomic basis of adaptation to the fitness cost of rifampicin resistance in Pseudomonas aeruginosa. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The.https://doi.org/10.1098/rspb.2015.2452 

Dunaeva, O., Edelsbrunner, H., Lukyanov, A., Machin, M., Malkova, D., Kuvaev, R., &; Kashin, S. (2016). The classification of endoscopy images with persistent homology. Pattern Recognition Letters. Elsevier.https://doi.org/10.1016/j.patrec.2015.12.012 

Fulek, R., Pelsmajer, M., &; Schaefer, M. (2016). Hanani-Tutte for radial planarity II (Vol. 9801, pp. 468–481). Presented at the GD: Graph Drawing and Network Visualization, Athens, Greece: Springer.https://doi.org/10.1007/978-3-319-50106-2_36 

Abe, M., Fuchsbauer, G., Groth, J., Haralambiev, K., &; Ohkubo, M. (2016). Structure preserving signatures and commitments to group elements. Journal of Cryptology. Springer.https://doi.org/10.1007/s00145-014-9196-7 

Kiermaier, E., Moussion, C., Veldkamp, C., Gerardy  Schahn, R., de Vries, I., Williams, L.,https://doi.org/10.1126/science.aad0512__Sixt, M. K. (2016). Polysialylation controls dendritic cell trafficking by regulating chemokine recognition. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.aad0512 

Schwarz, J., &; Sixt, M. K. (2016). Quantitative analysis of dendritic cell haptotaxis. Methods in Enzymology. Elsevier.https://doi.org/10.1016/bs.mie.2015.11.004 

Sadel, C. (2016). Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel. Annales Henri Poincare. Birkhäuser.https://doi.org/10.1007/s00023-015-0456-3 

Kazda, A. (2016). CSP for binary conservative relational structures. Algebra Universalis. Springer.https://doi.org/10.1007/s00012-015-0358-8 

Pausinger, F., &; Steinerberger, S. (2016). On the discrepancy of jittered sampling. Journal of Complexity. Academic Press.https://doi.org/10.1016/j.jco.2015.11.003 

Frank, R., Hainzl, C., Seiringer, R., &; Solovej, J. (2016). The external field dependence of the BCS critical temperature. Communications in Mathematical Physics. Springer.https://doi.org/10.1007/s00220-015-2526-2 

Lundholm, D., Nam, P., &; Portmann, F. (2016). Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems. Archive for Rational Mechanics and Analysis. Springer.https://doi.org/10.1007/s00205-015-0923-5 

Kelleher, J., Etheridge, A., Véber, A., &; Barton, N. H. (2016). Spread of pedigree versus genetic ancestry in spatially distributed populations. Theoretical Population Biology. Academic Press.https://doi.org/10.1016/j.tpb.2015.10.008 

Zemová, R., Zwiewka, M., Bielach, A., Robert, H., &; Friml, J. (2016). A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana. Journal of Plant Growth Regulation. Springer.https://doi.org/10.1007/s00344-015-9553-2 

Fuchsbauer, G., Hanser, C., Kamath Hosdurg, C., &; Slamanig, D. (2016). Practical round-optimal blind signatures in the standard model from weaker assumptions (Vol. 9841, pp. 391–408). Presented at the SCN: Security and Cryptography for Networks, Amalfi, Italy: Springer.https://doi.org/10.1007/978-3-319-44618-9_21 

Okamoto, T., Pietrzak, K. Z., Waters, B., &; Wichs, D. (2016). New realizations of somewhere statistically binding hashing and positional accumulators (Vol. 9452, pp. 121–145). Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Auckland, New Zealand: Springer.https://doi.org/10.1007/978-3-662-48797-6_6 

Schilling, C., Bogomolov, S., Henzinger, T. A., Podelski, A., &; Ruess, J. (2016). Adaptive moment closure for parameter inference of biochemical reaction networks. Biosystems. Elsevier.https://doi.org/10.1016/j.biosystems.2016.07.005 

Bogomolov, S., Donzé, A., Frehse, G., Grosu, R., Johnson, T., Ladan, H.,https://doi.org/10.1007/s10009-015-0393-y__Wehrle, M. (2016). Guided search for hybrid systems based on coarse-grained space abstractions. International Journal on Software Tools for Technology Transfer. Springer.https://doi.org/10.1007/s10009-015-0393-y 

Pielorz, J., &; Lampert, C. (2016). Optimal geospatial allocation of volunteers for crisis management. Presented at the ICT-DM: Information and Communication Technologies for Disaster Management, Rennes, France: IEEE.https://doi.org/10.1109/ICT-DM.2015.7402041 

Klimova, A., &; Rudas, T. (2016). On the closure of relational models. Journal of Multivariate Analysis. Elsevier.https://doi.org/10.1016/j.jmva.2015.10.005 

Lee, J., &; Schnelli, K. (2016). Extremal eigenvalues and eigenvectors of deformed Wigner matrices. Probability Theory and Related Fields. Springer.https://doi.org/10.1007/s00440-014-0610-8 

Matousek, J., Sedgwick, E., Tancer, M., &; Wagner, U. (2016). Untangling two systems of noncrossing curves. Israel Journal of Mathematics. Springer.https://doi.org/10.1007/s11856-016-1294-9 

Krenn, S., Pietrzak, K. Z., Wadia, A., &; Wichs, D. (2016). A counterexample to the chain rule for conditional HILL entropy. Computational Complexity. Springer.https://doi.org/10.1007/s00037-015-0120-9 

Chatterjee, K., &; Ibsen-Jensen, R. (2016). The complexity of deciding legality of a single step of magic: The gathering (Vol. 285, pp. 1432–1439). Presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands: IOS Press.https://doi.org/10.3233/978-1-61499-672-9-1432 

Jiang, Y., Liu, H., Kong, H., Wang, R., Hosseini, M., Sun, J., &; Sha, L. (2016). Use runtime verification to improve the quality of medical care practice. In Proceedings of the 38th International Conference on Software Engineering Companion  (pp. 112–121). Austin, TX, USA: IEEE.https://doi.org/10.1145/2889160.2889233 

Chatterjee, K., &; Doyen, L. (2016). Perfect-information stochastic games with generalized mean-payoff objectives (Vol. 05-08-July-2016, pp. 247–256). Presented at the LICS: Logic in Computer Science, New York, NY, USA: IEEE.https://doi.org/10.1145/2933575.2934513 

Burton, B., de Mesmay, A. N., &; Wagner, U. (2016). Finding non-orientable surfaces in 3-manifolds (Vol. 51, p. 24.1-24.15). Presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.https://doi.org/10.4230/LIPIcs.SoCG.2016.24 

Chatterjee, K., Chmelik, M., &; Tracol, M. (2016). What is decidable about partially observable Markov decision processes with <9-regular objectives. Journal of Computer and System Sciences. Elsevier.https://doi.org/10.1016/j.jcss.2016.02.009 

Chatterjee, K., Chmelik, M., Gupta, R., &; Kanodia, A. (2016). Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. Elsevier.https://doi.org/10.1016/j.artint.2016.01.007 

Chatterjee, K., Pavlogiannis, A., &; Velner, Y. (2016). Quantitative interprocedural analysis. IST Austria.https://doi.org/10.15479/AT:IST-2016-523-v1-1 

Chatterjee, K., Chmelik, M., &; Davies, J. (2016). A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps. In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (Vol. 2016, pp. 3225–3232). Phoenix, AZ, USA: AAAI Press.

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., &; Nowak, M. (2016). Amplification on undirected population structures: Comets beat stars. IST Austria.https://doi.org/10.15479/AT:IST-2016-648-v1-1 

Anonymous, 1, Anonymous, 2, &; Anonymous, 3. (2016). Termination and worst-case analysis of recursive programs. IST Austria.

Anonymous, 1, Anonymous, 2, &; Anonymous, 3. (2016). Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds. IST Austria.

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., &; Nowak, M. (2016). Arbitrarily strong amplifiers of natural selection. IST Austria.https://doi.org/10.15479/AT:IST-2017-749-v3-1 

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., &; Nowak, M. (2016). Strong amplifiers of natural selection. IST Austria.https://doi.org/10.15479/AT:IST-2016-728-v1-1 

Anonymous, 1, Anonymous, 2, Anonymous, 3, &; Anonymous, 4. (2016). Data-centric dynamic partial order reduction. IST Austria.

Martius, G. S., Hostettler, R., Knoll, A., &; Der, R. (2016). Self-organized control of an tendon driven arm by differential extrinsic plasticity. In Proceedings of the Artificial Life Conference 2016 (Vol. 28, pp. 142–143). Cancun, Mexico: MIT Press.https://doi.org/10.7551/978-0-262-33936-0-ch029 

Prentice, J., Marre, O., Ioffe, M., Loback, A., Tkadik, G., &; Berry, M. (2016). Error-robust modes of the retinal population code. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1005148