Adamowski, M., Narasimhan, M., Kania, U., Glanc, M., De Jaeger, G., &; Friml, J. (2018). A functional study of AUXILIN LIK and 2 two putative clathrin uncoating factors in Arabidopsis. The Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.17.00785 

Brown, M., Assen, F. P., Leithner, A. F., Abe, J., Schachner, H., Asfour, G.,https://doi.org/10.1126/science.aal3662__Kerjaschki, D. (2018). Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination in mice. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.aal3662 

Case, M. J. (2018). From the left to the right: A tale of asymmetries, environments, and hippocampal development. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_1032 

Tarlungeanu, D.-C. (2018). The branched chain amino acids in autism spectrum disorders . Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_992 

Laukoter, S. (2018). Role of genomic imprinting in cerebral cortex development. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th1057 

Leithner, A. F. (2018). Branched actin networks in dendritic cell biology. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_998 

Hurny, A. (2018). Identification and characterization of novel auxin-cytokinin cross-talk components. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_930 

Gridchyn, I. (2018). Reactivation content is important for consolidation of spatial memory. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th_1042 

Belyaeva, V. (2018). Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo . Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th1064 

Mckenzie, C. (2018). Design and characterization of methods and biological components to realize synthetic neurotransmission . Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:th_1055 

Capek, D. (2018). Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:TH_1031 

Steinrück, M. (2018). The influence of sequence context on the evolution of bacterial gene expression. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th1059 

Hollmann, A., Jirovec, D., Kucharski, M., Kissinger, D., Fischer, G., &; Schreiber, L. R. (2018). 30 GHz-voltage controlled oscillator operating at 4 K. Review of Scientific Instruments. AIP Publishing.https://doi.org/10.1063/1.5038258 

Lukacisinova, M. (2018). Genetic determinants of antibiotic resistance evolution. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:th1072 

György, A., Roblek, M., Ratheesh, A., Valosková, K., Belyaeva, V., Wachner, S.,https://doi.org/10.1534/g3.117.300452__Siekhaus, D. E. (2018). Tools allowing independent visualization and genetic manipulation of Drosophila melanogaster macrophages and surrounding tissues. : Genes, Genomes, Genetics. Genetics Society of America.https://doi.org/10.1534/g3.117.300452 

Luján, R., Aguado, C., Ciruela, F., Cózar, J., Kleindienst, D., De La Ossa, L.,https://doi.org/10.1007/s00429-017-1568-y__Fukazawa, Y. (2018). Differential association of GABAB receptors with their effector ion channels in Purkinje cells. Brain Structure and Function. Springer.https://doi.org/10.1007/s00429-017-1568-y 

Espinoza Martinez, C., Guzmán, J., Zhang, X., &; Jonas, P. M. (2018). Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/s41467-018-06899-3 

Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., &; Velner, Y. (2018). Ergodic mean-payoff games for the analysis of attacks in crypto-currencies (Vol. 118). Presented at the CONCUR: Conference on Concurrency Theory, Beijing, China: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2018.11 

Chatterjee, K., Goharshady, A. K., &; Velner, Y. (2018). Quantitative analysis of smart contracts (Vol. 10801, pp. 739–767). Presented at the ESOP: European Symposium on Programming, Thessaloniki, Greece: Springer.https://doi.org/10.1007/978-3-319-89884-1_26 

Goharshady, A. K., Behrouz, A., &; Chatterjee, K. (2018). Secure Credit Reporting on the Blockchain. In Proceedings of the IEEE International Conference on Blockchain (pp. 1343–1348). Halifax, Canada: IEEE.https://doi.org/10.1109/Cybermatics_2018.2018.00231 

Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K., &; Pavlogiannis, A. (2018). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. ACM Transactions on Programming Languages and Systems. Association for Computing Machinery (ACM).https://doi.org/10.1145/3210257 

Chatterjee, K., Fu, H., Goharshady, A. K., &; Okati, N. (2018). Computational approaches for stochastic shortest path on succinct MDPs. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (Vol. 2018, pp. 4700–4707). Stockholm, Sweden: IJCAI.https://doi.org/10.24963/ijcai.2018/653 

Kühnen, J., Scarselli, D., Schaner, M., &; Hof, B. (2018). Relaminarization by steady modification of the streamwise velocity profile in a pipe. Flow Turbulence and Combustion. Springer.https://doi.org/10.1007/s10494-018-9896-4 

Kühnen, J., Song, B., Scarselli, D., Budanur, N. B., Riedl, M., Willis, A.,https://doi.org/10.1038/s41567-017-0018-3__Hof, B. (2018). Destabilizing turbulence in pipe flow. Nature Physics. Nature Publishing Group.https://doi.org/10.1038/s41567-017-0018-3 

Prat, T., Hajny, J., Grunewald, W., Vasileva, M. K., Molnar, G., Tejos, R.,https://doi.org/10.1371/journal.pgen.1007177__Friml, J. (2018). WRK is a component of the transcriptional network mediating auxin feedback on PIN polarity. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1007177 

Grones, P., Abas, M. F., Hajny, J., Jones, A., Waidmann, S., Kleine Vehn, J., &; Friml, J. (2018). PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter mediates polarity switches during gravitropism. Scientific Reports. Springer.https://doi.org/10.1038/s41598-018-28188-1 

Hons, M., Kopf, A., Hauschild, R., Leithner, A. F., Gärtner, F. R., Abe, J.,https://doi.org/10.1038/s41590-018-0109-z__Sixt, M. K. (2018). Chemokines and integrins independently tune actin flow and substrate friction during intranodal migration of T cells. Nature Immunology. Nature Publishing Group.https://doi.org/10.1038/s41590-018-0109-z 

Li, L., Krens, G., Fendrych, M., &; Friml, J. (2018). Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls. Bio-Protocol. Bio-protocol.https://doi.org/10.21769/BioProtoc.2685 

Deliu, E., Arecco, N., Morandell, J., Dotter, C., Contreras, X., Girardot, C.,https://doi.org/10.1038/s41593-018-0266-2__Novarino, G. (2018). Haploinsufficiency of the intellectual disability gene SET disturbs developmental gene expression and cognition. Nature Neuroscience. Nature Publishing Group.https://doi.org/10.1038/s41593-018-0266-2 

Hilbe, C., Schmid, L., Tkadlec, J., Chatterjee, K., &; Nowak, M. (2018). Indirect reciprocity with private, noisy, and incomplete information. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1810565115 

Igler, C., Lagator, M., Tkadik, G., Bollback, J. P., &; Guet, C. C. (2018). Evolutionary potential of transcription factors for gene regulatory rewiring. Nature Ecology and Evolution. Nature Publishing Group.https://doi.org/10.1038/s41559-018-0651-y 

Igler, C., Lagator, M., Tkadik, G., Bollback, J. P., &; Guet, C. C. (2018). Data for the paper Evolutionary potential of transcription factors for gene regulatory rewiring. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:108 

Rangel Guerrero, D. K., Donnett, J. G., Csicsvari, J. L., &; Kovács, K. (2018). Tetrode recording from the hippocampus of behaving mice coupled with four-point-irradiation closed-loop optogenetics: A technique to study the contribution of Hippocampal SWR events to learning. ENeuro. Society of Neuroscience.https://doi.org/10.1523/ENEURO.0087-18.2018 

Fink, J. M. (2017). Viewpoint: Microwave quantum states beat the heat. Physics. American Physical Society.https://doi.org/10.1103/Physics.10.32 

Mciver, A., Morgan, C., Kaminski, B. L., &; Katoen, J. P. (2017). A new proof rule for almost-sure termination. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery.https://doi.org/10.1145/3158121 

Alwen, J. F., De Rezende, S., Nordstrom, J., &; Vinyals, M. (2017). Cumulative space in black-white pebbling and resolution. In C. Papadimitriou (Ed.) (Vol. 67, p. 38:1-38-21). Presented at the ITCS: Innovations in Theoretical Computer Science, Berkeley, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.ITCS.2017.38 

Kollár, R., &; Novak, S. (2017). Existence of traveling waves for the generalized F–KPP equation. Bulletin of Mathematical Biology. Springer.https://doi.org/10.1007/s11538-016-0244-3 

Budanur, N. B., &; Cvitanovi, P. (2017). Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system. Journal of Statistical Physics. Springer.https://doi.org/10.1007/s10955-016-1672-z 

Fulek, R., Pelsmajer, M., &; Schaefer, M. (2017). Hanani-Tutte for radial planarity. Journal of Graph Algorithms and Applications. Brown University.https://doi.org/10.7155/jgaa.00408 

Fallesen, T., Roostalu, J., Düllberg, C. F., Pruessner, G., &; Surrey, T. (2017). Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement. Biophysical Journal. Biophysical Society.https://doi.org/10.1016/j.bpj.2017.09.006 

Chatterjee, K., Henzinger, M. H., &; Loitzenbauer, V. (2017). Improved algorithms for parity and Streett objectives. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.23638/LMCS-13(3:26)2017 

Jeschke, S., &; Wojtan, C. (2017). Water wave packets. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/3072959.3073678 

Daca, P., Henzinger, T. A., Kretinsky, J., &; Petrov, T. (2017). Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic (TOCL). ACM.https://doi.org/10.1145/3060139 

Biedl, T., Huber, S., &; Palfrader, P. (2017). Planar matchings for weighted straight skeletons. International Journal of Computational Geometry and Applications. World Scientific Publishing.https://doi.org/10.1142/S0218195916600050 

Nam, P., &; Napiórkowski, M. M. (2017). Bogoliubov correction to the mean-field dynamics of interacting bosons. Advances in Theoretical and Mathematical Physics. International Press.https://doi.org/10.4310/ATMP.2017.v21.n3.a4 

Bourgade, P., Erdös, L., Yau, H., &; Yin, J. (2017). Universality for a class of random band matrices. Advances in Theoretical and Mathematical Physics. International Press.https://doi.org/10.4310/ATMP.2017.v21.n3.a5 

Simonnet, J., Nassar, M., Stella, F., Cohen, I., Mathon, B., Boccara, C. N.,https://doi.org/10.1038/ncomms16032__Fricker, D. (2017). Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms16032 

Letts, J. A., &; Sazanov, L. A. (2017). Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain. Nature Structural and Molecular Biology. Nature Publishing Group.https://doi.org/10.1038/nsmb.3460 

Klotz, L., Lemoult, G. M., Frontczak, I., Tuckerman, L., &; Wesfreid, J. (2017). Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence. Physical Review Fluids. American Physical Society.https://doi.org/10.1103/PhysRevFluids.2.043904 

Austin, K., &; Virk, Z. (2017). Higson compactification and dimension raising. Topology and Its Applications. Elsevier.https://doi.org/10.1016/j.topol.2016.10.005 

Burton, B., de Mesmay, A. N., &; Wagner, U. (2017). Finding non-orientable surfaces in 3-Manifolds. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-017-9900-0 

Kainrath, S., Stadler, M., Gschaider-Reichhart, E., Distel, M., &; Janovjak, H. L. (2017). Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen. Angewandte Chemie. Wiley.https://doi.org/10.1002/ange.201611998 

Khamina, K., Lercher, A., Caldera, M., Schliehe, C., Vilagos, B., Sahin, M.,https://doi.org/10.1371/journal.ppat.1006758__Bergthaler, A. (2017). Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein. PLoS Pathogens. Public Library of Science.https://doi.org/10.1371/journal.ppat.1006758 

Chatterjee, K., Ketínská, Z., &; Kretinsky, J. (2017). Unifying two views on multiple mean-payoff objectives in Markov decision processes. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.23638/LMCS-13(2:15)2017 

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2017). Nested weighted automata. ACM Transactions on Computational Logic (TOCL). ACM.https://doi.org/10.1145/3152769 

Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., &; Otop, J. (2017). Edit distance for pushdown automata. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.23638/LMCS-13(3:23)2017 

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., &; Nowak, M. (2017). Amplification on undirected population structures: Comets beat stars. Scientific Reports. Nature Publishing Group.https://doi.org/10.1038/s41598-017-00107-w 

Chatterjee, K., Choudhary, B., &; Pavlogiannis, A. (2017). Optimal Dyck reachability for data-dependence and Alias analysis. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery.https://doi.org/10.1145/3158118 

Chatterjee, K., Choudhary, B., &; Pavlogiannis, A. (2017). Optimal Dyck reachability for data-dependence and alias analysis. IST Austria.https://doi.org/10.15479/AT:IST-2017-870-v1-1 

Petritsch, B. (2017). Implementing the institutional data repository IST DataRep. IST Austria.

Chalupa, M., Chatterjee, K., Pavlogiannis, A., Sinha, N., &; Vaidya, K. (2017). Data-centric dynamic partial order reduction. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery.https://doi.org/10.1145/3158119 

Chalupa, M., Chatterjee, K., Pavlogiannis, A., Sinha, N., &; Vaidya, K. (2017). Data-centric dynamic partial order reduction. IST Austria.https://doi.org/10.15479/AT:IST-2017-872-v1-1 

Chatterjee, K., Ibsen-Jensen, R., &; Nowak, M. (2017). Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. In Leibniz International Proceedings in Informatics (Vol. 83). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.MFCS.2017.61 

Chatterjee, K., Henzinger, M. H., &; Svozil, A. (2017). Faster algorithms for mean-payoff parity games. In Leibniz International Proceedings in Informatics (Vol. 83). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.MFCS.2017.39 

Chatterjee, K., Hansen, K., &; Ibsen-Jensen, R. (2017). Strategy complexity of concurrent safety games. In Leibniz International Proceedings in Informatics (Vol. 83). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.MFCS.2017.55 

Gerencser, M., Jentzen, A., &; Salimova, D. (2017). On stochastic differential equations with arbitrarily slow convergence rates for strong approximation in two space dimensions. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. Royal Society of London.https://doi.org/10.1098/rspa.2017.0104 

Franek, P., &; Krcál, M. (2017). Persistence of zero sets. Homology, Homotopy and Applications. International Press.https://doi.org/10.4310/HHA.2017.v19.n2.a16 

Lagator, M., Sarikas, S., Acar, H., Bollback, J. P., &; Guet, C. C. (2017). Regulatory network structure determines patterns of intermolecular epistasis. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.28921 

Spira, F., Cuylen Haering, S., Mehta, S., Samwer, M., Reversat, A., Verma, A.,https://doi.org/10.7554/eLife.30867__Gerlich, D. (2017). Cytokinesis in vertebrate cells initiates by contraction of an equatorial actomyosin network composed of randomly oriented filaments. ELife. eLife Sciences Publications.https://doi.org/10.7554/eLife.30867 

Olatunji, D., Geelen, D., &; Verstraeten, I. (2017). Control of endogenous auxin levels in plant root development. International Journal of Molecular Sciences. MDPI.https://doi.org/10.3390/ijms18122587 

Camus, N., Yakaboylu, E., Fechner, L., Klaiber, M., Laux, M., Mi, Y.,https://doi.org/10.1088/1742-6596/999/1/012004__Moshammer, R. (2017). Experimental evidence for Wigner’s tunneling time (Vol. 999). Presented at the Annual International Laser Physics Workshop LPHYS, Kazan, Russian Federation: American Physical Society.https://doi.org/10.1088/1742-6596/999/1/012004 

Camus, N., Yakaboylu, E., Fechner, L., Klaiber, M., Laux, M., Mi, Y.,https://doi.org/10.1103/PhysRevLett.119.023201__Moshammer, R. (2017). Experimental evidence for quantum tunneling time. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.119.023201 

Brody, J., Dziembowski, S., Faust, S., &; Pietrzak, K. Z. (2017). Position based cryptography and multiparty communication complexity. In Y. Kalai &; L. Reyzin (Eds.) (Vol. 10677, pp. 56–81). Presented at the TCC: Theory of Cryptography Conference, Baltimore, MD, United States: Springer.https://doi.org/10.1007/978-3-319-70500-2_3 

Lemeshko, M., &; Schmidt, R. (2017). Molecular impurities interacting with a many-particle environment: From ultracold gases to helium nanodroplets. In O. Dulieu &; A. Osterwalder (Eds.), Cold Chemistry: Molecular Scattering and Reactivity Near Absolute Zero  (Vol. 11, pp. 444–495). The Royal Society of Chemistry.https://doi.org/10.1039/9781782626800-00444 

Alwen, J. F., &; Tackmann, B. (2017). Moderately hard functions: Definition, instantiations, and applications. In Y. Kalai &; L. Reyzin (Eds.) (Vol. 10677, pp. 493–526). Presented at the TCC: Theory of Cryptography, Baltimore, MD, United States: Springer.https://doi.org/10.1007/978-3-319-70500-2_17 

Goaoc, X., Mabillard, I., Paták, P., Patakova, Z., Tancer, M., &; Wagner, U. (2017). On generalized Heawood inequalities for manifolds: A van Kampen–Flores type nonembeddability result. Israel Journal of Mathematics. Springer.https://doi.org/10.1007/s11856-017-1607-7 

Chait, R. P., Ruess, J., Bergmiller, T., Tkadik, G., &; Guet, C. C. (2017). Shaping bacterial population behavior through computer interfaced control of individual cells. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/s41467-017-01683-1 

Erdös, L., &; Schnelli, K. (2017). Universality for random matrix flows with time dependent density. Annales de l’institut Henri Poincare (B) Probability and Statistics. Institute of Mathematical Statistics.https://doi.org/10.1214/16-AIHP765 

Barton, N. H., Etheridge, A., &; Véber, A. (2017). The infinitesimal model: Definition derivation and implications. Theoretical Population Biology. Academic Press.https://doi.org/10.1016/j.tpb.2017.06.001 

Chatterjee, K., Doyen, L., &; Henzinger, T. A. (2017). The cost of exactness in quantitative reachability. In L. Aceto, G. Bacci, A. Ingólfsdóttir, A. Legay, &; R. Mardare (Eds.), Models, Algorithms, Logics and Tools (Vol. 10460, pp. 367–381). Springer.https://doi.org/10.1007/978-3-319-63121-9_18 

Nikolic, N., Didara, Z., &; Moll, I. (2017). MazF activation promotes translational heterogeneity of the grcA mRNA in Escherichia coli populations. PeerJ. PeerJ.https://doi.org/10.7717/peerj.3830 

Chatterjee, K., Fu, H., &; Murhekar, A. (2017). Automated recurrence analysis for almost linear expected runtime bounds. In R. Majumdar &; V. Kundak (Eds.) (Vol. 10426, pp. 118–139). Presented at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer.https://doi.org/10.1007/978-3-319-63387-9_6 

Sauermann, S., David, V., Schlögl, A., Egelkraut, R., Frohner, M., Pohn, B.,https://doi.org/10.3233/978-1-61499-759-7-356__Mense, A. (2017). Biosignals standards and FHIR: The way to go (Vol. 236, pp. 356–362). Presented at the eHealth: Health Informatics Meets eHealth, Vienna, Austria: IOS Press.https://doi.org/10.3233/978-1-61499-759-7-356 

Lewin, M., Nam, P., &; Rougerie, N. (2017). A note on 2D focusing many boson systems. Proceedings of the American Mathematical Society. American Mathematical Society.https://doi.org/10.1090/proc/13468 

Alwen, J. F., Chen, B., Pietrzak, K. Z., Reyzin, L., &; Tessaro, S. (2017). Scrypt is maximally memory hard. In J.-S. Coron &; J. Buus Nielsen (Eds.) (Vol. 10212, pp. 33–62). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Paris, France: Springer.https://doi.org/10.1007/978-3-319-56617-7_2 

Bakhirkin, A., Ferrere, T., Maler, O., &; Ulus, D. (2017). On the quantitative semantics of regular expressions over real-valued signals. In A. Abate &; G. Geeraerts (Eds.) (Vol. 10419, pp. 189–206). Presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany: Springer.https://doi.org/10.1007/978-3-319-65765-3_11 

Alwen, J. F., Blocki, J., &; Pietrzak, K. Z. (2017). Depth-robust graphs and their cumulative memory complexity. In J.-S. Coron &; J. Buus Nielsen (Eds.) (Vol. 10212, pp. 3–32). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Paris, France: Springer.https://doi.org/10.1007/978-3-319-56617-7_1 

Henzinger, T. A., Kragl, B., &; Qadeer, S. (2017). Synchronizing the asynchronous. IST Austria.https://doi.org/10.15479/AT:IST-2018-853-v2-2 

Gerencser, M., &; Gyöngy, I. (2017). Localization errors in solving stochastic partial differential equations in the whole space. Mathematics of Computation. American Mathematical Society.https://doi.org/10.1090/mcom/3201 

Ashok, P., Chatterjee, K., Daca, P., Kretinsky, J., &; Meggendorfer, T. (2017). Value iteration for long run average reward in markov decision processes. In R. Majumdar &; V. Kundak (Eds.) (Vol. 10426, pp. 201–221). Presented at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer.https://doi.org/10.1007/978-3-319-63387-9_10 

Kolmogorov, V., Krokhin, A., &; Rolinek, M. (2017). The complexity of general-valued CSPs. SIAM Journal on Computing. SIAM.https://doi.org/10.1137/16M1091836 

Kuske, J., Swoboda, P., &; Petra, S. (2017). A novel convex relaxation for non binary discrete tomography. In F. Lauze, Y. Dong, &; A. Bjorholm Dahl (Eds.) (Vol. 10302, pp. 235–246). Presented at the SSVM: Scale Space and Variational Methods in Computer Vision, Kolding, Denmark: Springer.https://doi.org/10.1007/978-3-319-58771-4_19 

Skórski, M. (2017). On the complexity of breaking pseudoentropy. In G. Jäger &; S. Steila (Eds.) (Vol. 10185, pp. 600–613). Presented at the TAMC: Theory and Applications of Models of Computation, Bern, Switzerland: Springer.https://doi.org/10.1007/978-3-319-55911-7_43 

Skórski, M. (2017). A cryptographic view of regularity lemmas: Simpler unified proofs and refined bounds. In G. Jäger &; S. Steila (Eds.) (Vol. 10185, pp. 586–599). Presented at the TAMC: Theory and Applications of Models of Computation, Bern, Switzerland: Springer.https://doi.org/10.1007/978-3-319-55911-7_42 

Chatterjee, K., Dvorák, W., Henzinger, M. H., &; Loitzenbauer, V. (2017). Improved set-based symbolic algorithms for parity games (Vol. 82). Presented at the CSL: Conference on Computer Science Logic, Stockholm, Sweden: Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik.https://doi.org/10.4230/LIPICS.CSL.2017.18 

Fulek, R. (2017). Embedding graphs into embedded graphs (Vol. 92). Presented at the ISAAC: International Symposium on Algorithms and Computation, Phuket, Thailand: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.ISAAC.2017.34 

Makohon Moore, A., Zhang, M., Reiter, J., Boei, I., Allen, B., Kundu, D.,https://doi.org/10.1038/ng.3764__Iacobuzio Donahue, C. (2017). Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer. Nature Genetics. Nature Publishing Group.https://doi.org/10.1038/ng.3764 

Alwen, J. F., Blocki, J., &; Harsha, B. (2017). Practical graphs for optimal side-channel resistant memory-hard functions. In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (pp. 1001–1017). Dallas, TX, USA: ACM Press.https://doi.org/10.1145/3133956.3134031 

Kicheva, A., &; Rivron, N. (2017). Creating to understand – developmental biology meets engineering in Paris. Development. Company of Biologists.https://doi.org/10.1242/dev.144915 

Skórski, M. (2017). On the complexity of estimating Rènyi divergences. In 2017 IEEE International Symposium on Information Theory (ISIT). Aachen, Germany: IEEE.https://doi.org/10.1109/isit.2017.8006529