Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

10717 Publications


2017 | Published | Conference Paper | IST-REx-ID: 6841 | OA
Martius, G. S., & Lampert, C. (2017). Extrapolation and learning equations. In 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings. Toulon, France: International Conference on Learning Representations.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 626 | OA
Barton, Nicholas H, The infinitesimal model: Definition derivation and implications. Theoretical Population Biology 118. 2017
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1074 | OA
Ringbauer, Harald, Inferring recent demography from isolation by distance of long shared sequence blocks. Genetics 205 (3). 2017
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1063 | OA
Uecker, Hildegard, Evolutionary rescue in randomly mating, selfing, and clonal populations. Evolution 71 (4). 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1199 | OA
Barton, N. H. (2017). How does epistasis influence the response to selection? Heredity. Nature Publishing Group. https://doi.org/10.1038/hdy.2016.109
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Research Data Reference | IST-REx-ID: 9842 | OA
Etheridge, A., & Barton, N. H. (2017). Data for: Establishment in a new habitat by polygenic adaptation. Mendeley Data. https://doi.org/10.17632/nw68fxzjpm.1
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 990 | OA
Sachdeva, Himani, Divergence and evolution of assortative mating in a polygenic trait model of speciation with gene flow. Evolution; International Journal of Organic Evolution 71 (6). 2017
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 486 | OA
Elek, O., Sumin, D., Zhang, R., Weyrich, T., Myszkowski, K., Bickel, B., … Krivanek, J. (2017). Scattering-aware texture reproduction for 3D printing. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/3130800.3130890
[Submitted Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 1002 | OA
Zhang, R., Auzinger, T., Ceylan, D., Li, W., & Bickel, B. (2017). Functionality-aware retargeting of mechanisms to 3D shapes (Vol. 36). Presented at the SIGGRAPH: Computer Graphics and Interactive Techniques, Los Angeles, CA, United States : ACM. https://doi.org/10.1145/3072959.3073710
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 571
Gärtner, Florian R, Migrating platelets are mechano scavengers that collect and bundle bacteria. Cell Press 171 (6). 2017
View | DOI
 

2017 | Published | Thesis | IST-REx-ID: 837 | OA
Xu, H. (2017). Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_858
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1132 | OA
O'Neill, Joseph, Superficial layers of the medial entorhinal cortex replay independently of the hippocampus. Science 355 (6321). 2017
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 727
Mueller, Jan, Load adaptation of lamellipodial actin networks. Cell 171 (1). 2017
View | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 1116 | OA
Avni, G., Goel, S., Henzinger, T. A., & Rodríguez Navas, G. (2017). Computing scores of forwarding schemes in switched networks with probabilistic faults (Vol. 10206, pp. 169–187). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden: Springer. https://doi.org/10.1007/978-3-662-54580-5_10
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 942
Le, X., Chu, D. H., Lo, D., Le Goues, C., & Visser, W. (2017). S3: Syntax- and semantic-guided repair synthesis via programming by examples (Vol. F130154, pp. 593–604). Presented at the FSE: Foundations of Software Engineering, Paderborn, Germany: ACM. https://doi.org/10.1145/3106237.3106309
View | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 962
Trinh, M., Chu, D. H., & Jaffar, J. (2017). Model counting for recursively-defined strings. In R. Majumdar & V. Kunčak (Eds.) (Vol. 10427, pp. 399–418). Presented at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer. https://doi.org/10.1007/978-3-319-63390-9_21
View | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 647 | OA
Bogomolov, S., Giacobbe, M., Henzinger, T. A., & Kong, H. (2017). Conic abstractions for hybrid systems (Vol. 10419, pp. 116–132). Presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany: Springer. https://doi.org/10.1007/978-3-319-65765-3_7
[Submitted Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 631 | OA
Bogomolov, S., Frehse, G., Giacobbe, M., & Henzinger, T. A. (2017). Counterexample guided refinement of template polyhedra (Vol. 10205, pp. 589–606). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden: Springer. https://doi.org/10.1007/978-3-662-54577-5_34
[Submitted Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 636 | OA
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
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Published | Conference Paper | IST-REx-ID: 633
Bak, S., Bogomolov, S., Henzinger, T. A., & Kumar, A. (2017). Challenges and tool implementation of hybrid rapidly exploring random trees. In A. Abate & S. Bodo (Eds.) (Vol. 10381, pp. 83–89). Presented at the NSV: Numerical Software Verification, Heidelberg, Germany: Springer. https://doi.org/10.1007/978-3-319-63501-9_6
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 538 | OA
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
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1026
Agus, V., & Janovjak, H. L. (2017). Optogenetic methods in drug screening: Technologies and applications. Current Opinion in Biotechnology. Elsevier. https://doi.org/10.1016/j.copbio.2017.02.006
View | DOI | WoS
 

2017 | Published | Thesis | IST-REx-ID: 202 | OA
Pleska, M. (2017). Biology of restriction-modification systems at the single-cell and population level. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_916
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 561 | OA
Pleska, M., & Guet, C. C. (2017). Effects of mutations in phage restriction sites during escape from restriction–modification. Biology Letters. The Royal Society. https://doi.org/10.1098/rsbl.2017.0646
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Research Data Reference | IST-REx-ID: 9847 | OA
Pleska, M., & Guet, C. C. (2017). Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification. The Royal Society. https://doi.org/10.6084/m9.figshare.5633917.v1
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 1118 | OA
Gan, J., Weng, S.-M., Pernia-Andrade, A., Csicsvari, J. L., & Jonas, P. M. (2017). Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations in awake mice in vivo. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2016.12.018
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Thesis | IST-REx-ID: 1127 | OA
Prat, T. (2017). Identification of novel regulators of PIN polarity and development of novel auxin sensor. Institute of Science and Technology Austria.
[Published Version] View | Files available
 

2017 | Published | Journal Article | IST-REx-ID: 1159 | OA
Steenackers, W., Klíma, P., Quareshy, M., Cesarino, I., Kumpf, R., Corneillie, S., … Vanholme, B. (2017). Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1104/pp.16.00943
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 946 | OA
von Wangenheim, D., Hauschild, R., Fendrych, M., Barone, V., Benková, E., & Friml, J. (2017). Live tracking of moving samples in confocal microscopy for vertically grown roots. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.26792
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1078 | OA
von Wangenheim, D., Hauschild, R., & Friml, J. (2017). Light sheet fluorescence microscopy of plant roots growing on the surface of a gel. Journal of Visualized Experiments JoVE. Journal of Visualized Experiments. https://doi.org/10.3791/55044
[Published Version] View | Files available | DOI | WoS
 

2017 | Research Data | IST-REx-ID: 5565 | OA
von Wangenheim, D., Hauschild, R., & Friml, J. (2017). Light Sheet Fluorescence microscopy of plant roots growing on the surface of a gel. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:66
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5566 | OA
Hauschild, R. (2017). Live tracking of moving samples in confocal microscopy for vertically grown roots. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:69
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5571 | OA
Vicoso, B. (2017). Data for “The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:78
[Submitted Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5572 | OA
Vicoso, B. (2017). Code for “The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:79
[Submitted Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 552 | OA
Chatterjee, Krishnendu, Faster algorithms for mean-payoff parity games. Leibniz International Proceedings in Informatics 83. 2017
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 744 | OA
Priklopil, Tadeas, Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma. Journal of Theoretical Biology 433. 2017
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Published | Conference Paper | IST-REx-ID: 1009 | OA
Chatterjee, K., Novotný, P., Pérez, G., Raskin, J., & Zikelic, D. (2017). Optimizing expectation with guarantees in POMDPs. In Proceedings of the 31st AAAI Conference on Artificial Intelligence (Vol. 5, pp. 3725–3732). San Francisco, CA, United States: AAAI Press.
[Submitted Version] View | Download Submitted Version (ext.) | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 671 | OA
Hilbe, Christian, Memory-n strategies of direct reciprocity. PNAS 114 (18). 2017
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 716 | OA
Chatterjee, Krishnendu, The complexity of mean-payoff pushdown games. Journal of the ACM 64 (5). 2017
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 1065 | OA
Chatterjee, Krishnendu, Pushdown reachability with constant treewidth. Information Processing Letters 122. 2017
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1294 | OA
Brázdil, T., Chatterjee, K., Forejt, V., & Kučera, A. (2017). Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2016.09.009
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Book Chapter | IST-REx-ID: 625 | OA
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
[Submitted Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 621 | OA
Beattie, Robert J, Mechanisms of radial glia progenitor cell lineage progression. FEBS letters 591 (24). 2017
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 944
Beattie, R. J., Postiglione, M. P., Burnett, L., Laukoter, S., Streicher, C., Pauler, F., … Hippenmeyer, S. (2017). Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells. Neuron. Cell Press. https://doi.org/10.1016/j.neuron.2017.04.012
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 997 | OA
Yakaboylu, E., Deuchert, A., & Lemeshko, M. (2017). Emergence of non-abelian magnetic monopoles in a quantum impurity problem. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.119.235301
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 1207 | OA
Bao, Zhigang, Local law of addition of random matrices on optimal scale. Communications in Mathematical Physics 349 (3). 2017
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Book | IST-REx-ID: 567
Erdös, L., & Yau, H. (2017). A Dynamical Approach to Random Matrix Theory (Vol. 28). American Mathematical Society. https://doi.org/10.1090/cln/028
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 447 | OA
Ferrari, P., & Nejjar, P. (2017). Fluctuations of the competition interface in presence of shocks. Revista Latino-Americana de Probabilidade e Estatística. Instituto Nacional de Matematica Pura e Aplicada. https://doi.org/10.30757/ALEA.v14-17
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 1528 | OA
Bao, Z., & Erdös, L. (2017). Delocalization for a class of random block band matrices. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-015-0692-y
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1337 | OA
Ajanki, O. H., Erdös, L., & Krüger, T. H. (2017). Universality for general Wigner-type matrices. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-016-0740-2
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1144 | OA
Erdös, L., & Schröder, D. J. (2017). Fluctuations of functions of Wigner matrices. Electronic Communications in Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/16-ECP38
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 822 | OA
De Vos, Marjon, Interaction networks, ecological stability, and collective antibiotic tolerance in polymicrobial infections. PNAS 114 (40). 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 1196
Henzinger, T. A., & Otop, J. (2017). Model measuring for discrete and hybrid systems. Nonlinear Analysis: Hybrid Systems. Elsevier. https://doi.org/10.1016/j.nahs.2016.09.001
View | DOI | WoS
 

2017 | Published | Technical Report | IST-REx-ID: 6426 | OA
Henzinger, T. A., Kragl, B., & Qadeer, S. (2017). Synchronizing the asynchronous. IST Austria. https://doi.org/10.15479/AT:IST-2018-853-v2-2
[Published Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 941 | OA
Le, X., Chu, D. H., Lo, D., Le Goues, C., & Visser, W. (2017). JFIX: Semantics-based repair of Java programs via symbolic  PathFinder. In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 376–379). Santa Barbara, CA, United States: ACM. https://doi.org/10.1145/3092703.3098225
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Published | Conference Paper | IST-REx-ID: 950 | OA
Avni, G., Henzinger, T. A., & Chonev, V. K. (2017). Infinite-duration bidding games (Vol. 85). Presented at the CONCUR: Concurrency Theory, Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2017.21
[Published Version] View | Files available | DOI | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 10416 | OA
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
[Published Version] View | Files available | DOI | arXiv
 

2017 | Published | Technical Report | IST-REx-ID: 5455 | OA
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
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5559 | OA
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak , M. (2017). Strong amplifiers of natural selection. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:51
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 464 | OA
Chatterjee, K., Henzinger, M., & 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
[Published Version] View | Files available | DOI | arXiv
 

2017 | Published | Thesis | IST-REx-ID: 820 | OA
Jesse, F. (2017). The lac operon in the wild. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_857
[Published Version] View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9709 | OA
Prentice, J., Marre, O., Ioffe, M., Loback, A., Tkačik, G., & Berry, M. (2017). Data from: Error-robust modes of the retinal population code. Dryad. https://doi.org/10.5061/dryad.1f1rc
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 945 | OA
Huylmans, A. K., Macon, A., & Vicoso, B. (2017). Global dosage compensation is ubiquitous in Lepidoptera, but counteracted by the masculinization of the Z chromosome. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msx190
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 1001 | OA
Guseinov, R., Miguel, E., & Bickel, B. (2017). CurveUps: Shaping objects from flat plates with tension-actuated curvature (Vol. 36). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/3072959.3073709
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 910 | OA
Novak, S., & Barton, N. H. (2017). When does frequency-independent selection maintain genetic variation? Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.117.300129
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1111 | OA
Heredia, Jorge, Selection limits to adaptive walks on correlated landscapes. Genetics 205 (2). 2017
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 1336 | OA
Paixao, T., Pérez Heredia, J., Sudholt, D., & Trubenova, B. (2017). Towards a runtime comparison of natural and artificial evolution. Algorithmica. Springer. https://doi.org/10.1007/s00453-016-0212-1
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1169 | OA
Novak, Sebastian, Spatial gene frequency waves under genotype dependent dispersal. Genetics 205 (1). 2017
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1198 | OA
Moser, T., & Seiringer, R. (2017). Triviality of a model of particles with point interactions in the thermodynamic limit. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-016-0915-x
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 741 | OA
Moser, Thomas, Stability of a fermionic N+1 particle system with point interactions. Communications in Mathematical Physics 356 (1). 2017
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Book Chapter | IST-REx-ID: 1213
Baranova, Natalia, Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers. Cytokinesis 137. 2017
View | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 605 | OA
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
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Published | Thesis | IST-REx-ID: 838 | OA
Rybar, M. (2017). (The exact security of) Message authentication codes. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_828
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 6196 | OA
Gazi, P., Pietrzak, K. Z., & Rybar, M. (2017). The exact security of PMAC. IACR Transactions on Symmetric Cryptology. Ruhr University Bochum. https://doi.org/10.13154/TOSC.V2016.I2.145-161
[Published Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 635 | OA
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
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Published | Conference Paper | IST-REx-ID: 640 | OA
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
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Published | Conference Paper | IST-REx-ID: 6526 | OA
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
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 637 | OA
Jafargholi, Z., Kamath Hosdurg, C., Klein, K., Komargodski, I., Pietrzak, K. Z., & Wichs, D. (2017). Be adaptive avoid overcommitting. In J. Katz & H. Shacham (Eds.) (Vol. 10401, pp. 133–163). Presented at the CRYPTO: Cryptology, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-319-63688-7_5
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Published | Conference Paper | IST-REx-ID: 559 | OA
Abusalah, H. M., Alwen, J. F., Cohen, B., Khilko, D., Pietrzak, K. Z., & Reyzin, L. (2017). Beyond Hellman’s time-memory trade-offs with applications to proofs of space (Vol. 10625, pp. 357–379). Presented at the ASIACRYPT: Theory and Applications of Cryptology and Information Security, Hong Kong, China: Springer. https://doi.org/10.1007/978-3-319-70697-9_13
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 1187 | OA
Kiltz, E., Pietrzak, K. Z., Venturi, D., Cash, D., & Jain, A. (2017). Efficient authentication from hard learning problems. Journal of Cryptology. Springer. https://doi.org/10.1007/s00145-016-9247-3
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1433 | OA
Bauer, U., Kerber, M., Reininghaus, J., & Wagner, H. (2017). Phat - Persistent homology algorithms toolbox. Journal of Symbolic Computation. Academic Press. https://doi.org/10.1016/j.jsc.2016.03.008
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1072 | OA
Bauer, U., & Edelsbrunner, H. (2017). The Morse theory of Čech and delaunay complexes. Transactions of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/tran/6991
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 836
Ethier, M., Jablonski, G., & Mrozek, M. (2017). Finding eigenvalues of self-maps with the Kronecker canonical form. In Special Sessions in Applications of Computer Algebra (Vol. 198, pp. 119–136). Kalamata, Greece: Springer. https://doi.org/10.1007/978-3-319-56932-1_8
View | DOI | WoS
 

2017 | Published | Thesis | IST-REx-ID: 6287 | OA
Nikitenko, A. (2017). Discrete Morse theory for random complexes . Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_873
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 718 | OA
Edelsbrunner, Herbert, Expected sizes of poisson Delaunay mosaics and their discrete Morse functions. Advances in Applied Probability 49 (3). 2017
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Book Chapter | IST-REx-ID: 634
Schroeder, J., Deliu, E., Novarino, G., & Schmeisser, M. (2017). Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder. In M. Schmeisser & T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder (Vol. 224, pp. 189–211). Springer. https://doi.org/10.1007/978-3-319-52498-6_10
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 955 | OA
Friedlander, Tamar, Evolution of new regulatory functions on biophysically realistic fitness landscapes. Nature Communications 8 (1). 2017
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 840 | OA
Vukusic, Lada, Fast hole tunneling times in germanium hut wires probed by single-shot reflectometry. Nano Letters 17 (9). 2017
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1010 | OA
Alt, Johannes, Local law for random Gram matrices. Electronic Journal of Probability 22. 2017
[Published Version] View | Files available | DOI | WoS | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 550 | OA
Alt, Johannes, Singularities of the density of states of random Gram matrices. Electronic Communications in Probability 22. 2017
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1006 | OA
Greenwood, Jenny, Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. BMC Genomics 18 (1). 2017
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 1003 | OA
Avni, Guy, An abstraction-refinement methodology for reasoning about network games. 2017
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1017 | OA
Breuss, Martin, Tubulins and brain development: The origins of functional specification. Molecular and Cellular Neuroscience 84. 2017
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1015 | OA
Bighin, Giacomo, Vortices and antivortices in two-dimensional ultracold Fermi gases. Scientific Reports 7. 2017
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1023 | OA
Nemish, Yuriy, Local law for the product of independent non-Hermitian random matrices with independent entries. Electronic Journal of Probability 22. 2017
[Published Version] View | Files available | DOI | WoS
 

2017 | Research Data Reference | IST-REx-ID: 9859 | OA
Greenwood, J., Milutinovic, B., Peuß, R., Behrens, S., Essar, D., Rosenstiel, P., … Kurtz, J. (2017). Additional file 1: Table S1. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. Springer Nature. https://doi.org/10.6084/m9.figshare.c.3756974_d1.v1
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Research Data Reference | IST-REx-ID: 9860 | OA
Greenwood, J., Milutinovic, B., Peuß, R., Behrens, S., Essar, D., Rosenstiel, P., … Kurtz, J. (2017). Additional file 5: Table S3. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. Springer Nature. https://doi.org/10.6084/m9.figshare.c.3756974_d5.v1
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 1080 | OA
Reiter, Johannes, Reconstructing metastatic seeding patterns of human cancers. Nature Communications 8. 2017
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1067 | OA
Morita, Hitoshi, The physical basis of coordinated tissue spreading in zebrafish gastrulation. Developmental Cell 40 (4). 2017
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 963 | OA
Avni, Guy, Timed network games with clocks. 83. 2017
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed