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

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




4043 Publications

2017 | Conference Paper | IST-REx-ID: 636 | OA
Bakhirkin, Alexey, Thomas Ferrere, Oded Maler, and Dogan Ulus. “On the Quantitative Semantics of Regular Expressions over Real-Valued Signals.” edited by Alessandro Abate and Gilles Geeraerts, 10419:189–206. Springer, 2017. https://doi.org/10.1007/978-3-319-65765-3_11.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 637 | OA
Jafargholi, Zahra, Chethan Kamath Hosdurg, Karen Klein, Ilan Komargodski, Krzysztof Z Pietrzak, and Daniel Wichs. “Be Adaptive Avoid Overcommitting.” edited by Jonathan Katz and Hovav Shacham, 10401:133–63. Springer, 2017. https://doi.org/10.1007/978-3-319-63688-7_5.
View | Files available | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 640 | OA
Alwen, Joel F, Jeremiah Blocki, and Krzysztof Z Pietrzak. “Depth-Robust Graphs and Their Cumulative Memory Complexity.” edited by Jean-Sébastien Coron and Jesper Buus Nielsen, 10212:3–32. Springer, 2017. https://doi.org/10.1007/978-3-319-56617-7_1.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 641
Trajkovska, Vera, Paul Swoboda, Freddie Åström, and Stefanie Petra. “Graphical Model Parameter Learning by Inverse Linear Programming.” edited by François Lauze, Yiqiu Dong, and Anders Bjorholm Dahl, 10302:323–34. Springer, 2017. https://doi.org/10.1007/978-3-319-58771-4_26.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 642 | OA
Gerencser, Mate, and István Gyöngy. “Localization Errors in Solving Stochastic Partial Differential Equations in the Whole Space.” Mathematics of Computation. American Mathematical Society, 2017. https://doi.org/10.1090/mcom/3201.
View | DOI | Download Submitted Version (ext.)
 
2017 | Technical Report | IST-REx-ID: 6426 | OA
Henzinger, Thomas A, Bernhard Kragl, and Shaz Qadeer. Synchronizing the Asynchronous. IST Austria, 2017. https://doi.org/10.15479/AT:IST-2018-853-v2-2.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 643
Sun, Wuping, Ming-Zhu Zhai, Qian Zhou, Chengrui Qian, and Changyu Jiang. “Effects of B Vitamins Overload on Plasma Insulin Level and Hydrogen Peroxide Generation in Rats.” Chinese Journal of Physiology. Chinese Physiological Society, 2017. https://doi.org/10.4077/CJP.2017.BAF469.
View | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 644 | OA
Kolmogorov, Vladimir, Andrei Krokhin, and Michal Rolinek. “The Complexity of General-Valued CSPs.” SIAM Journal on Computing. SIAM, 2017. https://doi.org/10.1137/16M1091836.
View | Files available | DOI | Download Preprint (ext.)
 
2017 | Conference Paper | IST-REx-ID: 645 | OA
Ashok, Pranav, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretinsky, and Tobias Meggendorfer. “Value Iteration for Long Run Average Reward in Markov Decision Processes.” edited by Rupak Majumdar and Viktor Kunčak, 10426:201–21. Springer, 2017. https://doi.org/10.1007/978-3-319-63387-9_10.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 646 | OA
Kuske, Jan, Paul Swoboda, and Stefanie Petra. “A Novel Convex Relaxation for Non Binary Discrete Tomography.” edited by François Lauze, Yiqiu Dong, and Anders Bjorholm Dahl, 10302:235–46. Springer, 2017. https://doi.org/10.1007/978-3-319-58771-4_19.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 647 | OA
Bogomolov, Sergiy, Mirco Giacobbe, Thomas A Henzinger, and Hui Kong. “Conic Abstractions for Hybrid Systems,” 10419:116–32. Springer, 2017. https://doi.org/10.1007/978-3-319-65765-3_7.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 648 | OA
Skórski, Maciej. “On the Complexity of Breaking Pseudoentropy.” edited by Gerhard Jäger and Silvia Steila, 10185:600–613. Springer, 2017. https://doi.org/10.1007/978-3-319-55911-7_43.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 650 | OA
Skórski, Maciej. “A Cryptographic View of Regularity Lemmas: Simpler Unified Proofs and Refined Bounds.” edited by Gerhard Jäger and Silvia Steila, 10185:586–99. Springer, 2017. https://doi.org/10.1007/978-3-319-55911-7_42.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 651
Hof, Björn. “Fluid Dynamics: Water Flows out of Touch.” Nature. Nature Publishing Group, 2017. https://doi.org/10.1038/541161a.
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 6517 | OA
Fulek, Radoslav. “Embedding Graphs into Embedded Graphs,” Vol. 92. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPICS.ISAAC.2017.34.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 652
Der, Ralf, and Georg S Martius. “Dynamical Self Consistency Leads to Behavioral Development and Emergent Social Interactions in Robots.” IEEE, 2017. https://doi.org/10.1109/DEVLRN.2016.7846789.
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 6526 | OA
Skórski, Maciej. “On the Complexity of Estimating Rènyi Divergences.” In 2017 IEEE International Symposium on Information Theory (ISIT). IEEE, 2017. https://doi.org/10.1109/isit.2017.8006529.
View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Conference Paper | IST-REx-ID: 6527 | OA
Alwen, Joel F, Jeremiah Blocki, and Ben Harsha. “Practical Graphs for Optimal Side-Channel Resistant Memory-Hard Functions.” In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 1001–17. ACM Press, 2017. https://doi.org/10.1145/3133956.3134031.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 654 | OA
Kicheva, Anna, and Nicolas Rivron. “Creating to Understand – Developmental Biology Meets Engineering in Paris.” Development. Company of Biologists, 2017. https://doi.org/10.1242/dev.144915.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 655 | OA
Renault, Thibaud, Anthony Abraham, Tobias Bergmiller, Guillaume Paradis, Simon Rainville, Emmanuelle Charpentier, Calin C Guet, et al. “Bacterial Flagella Grow through an Injection Diffusion Mechanism.” ELife. eLife Sciences Publications, 2017. https://doi.org/10.7554/eLife.23136.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 656
Novarino, Gaia. “Modeling Alzheimer’s Disease in Mice with Human Neurons.” Science Translational Medicine. American Association for the Advancement of Science, 2017. https://doi.org/10.1126/scitranslmed.aam9867.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 657 | OA
Möller, Barbara, Colette Ten Hove, Daoquan Xiang, Nerys Williams, Lorena López, Saiko Yoshida, Margot Smit, Raju Datla, and Dolf Weijers. “Auxin Response Cell Autonomously Controls Ground Tissue Initiation in the Early Arabidopsis Embryo.” PNAS. National Academy of Sciences, 2017. https://doi.org/10.1073/pnas.1616493114.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 658 | OA
Der, Ralf, and Georg S Martius. “Self Organized Behavior Generation for Musculoskeletal Robots.” Frontiers in Neurorobotics. Frontiers Research Foundation, 2017. https://doi.org/10.3389/fnbot.2017.00008.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 659 | OA
Kage, Frieda, Moritz Winterhoff, Vanessa Dimchev, Jan Müller, Tobias Thalheim, Anika Freise, Stefan Brühmann, et al. “FMNL Formins Boost Lamellipodial Force Generation.” Nature Communications. Nature Publishing Group, 2017. https://doi.org/10.1038/ncomms14832.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 660 | OA
Rickman, Jamie, Christian F Düllberg, Nicholas Cade, Lewis Griffin, and Thomas Surrey. “Steady State EB Cap Size Fluctuations Are Determined by Stochastic Microtubule Growth and Maturation.” PNAS. National Academy of Sciences, 2017. https://doi.org/10.1073/pnas.1620274114.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 662 | OA
Shi, Liang, Björn Hof, Markus Rampp, and Marc Avila. “Hydrodynamic Turbulence in Quasi Keplerian Rotating Flows.” Physics of Fluids. American Institute of Physics, 2017. https://doi.org/10.1063/1.4981525.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 663 | OA
Kong, Hui, Sergiy Bogomolov, Christian Schilling, Yu Jiang, and Thomas A Henzinger. “Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters.” In Proceedings of the 20th International Conference on Hybrid Systems, 163–72. ACM, 2017. https://doi.org/10.1145/3049797.3049814.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 665
Bergmiller, Tobias, Anna M Andersson, Kathrin Tomasek, Enrique Balleza, Daniel Kiviet, Robert Hauschild, Gašper Tkačik, and Calin C Guet. “Biased Partitioning of the Multidrug Efflux Pump AcrAB TolC Underlies Long Lived Phenotypic Heterogeneity.” Science. American Association for the Advancement of Science, 2017. https://doi.org/10.1126/science.aaf4762.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 666 | OA
Mitosch, Karin, Georg Rieckh, and Mark Tobias Bollenbach. “Noisy Response to Antibiotic Stress Predicts Subsequent Single Cell Survival in an Acidic Environment.” Cell Systems. Cell Press, 2017. https://doi.org/10.1016/j.cels.2017.03.001.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 667
Novarino, Gaia. “The Antisocial Side of Antibiotics.” Science Translational Medicine. American Association for the Advancement of Science, 2017. https://doi.org/10.1126/scitranslmed.aan2786.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 668 | OA
Horsthemke, Markus, Anne Bachg, Katharina Groll, Sven Moyzio, Barbara Müther, Sandra Hemkemeyer, Roland Wedlich Söldner, et al. “Multiple Roles of Filopodial Dynamics in Particle Capture and Phagocytosis and Phenotypes of Cdc42 and Myo10 Deletion.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2017. https://doi.org/10.1074/jbc.M116.766923.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 669 | OA
Synek, Lukáš, Nemanja Vukašinović, Ivan Kulich, Michal Hála, Klára Aldorfová, Matyas Fendrych, and Viktor Žárský. “EXO70C2 Is a Key Regulatory Factor for Optimal Tip Growth of Pollen.” Plant Physiology. American Society of Plant Biologists, 2017. https://doi.org/10.1104/pp.16.01282.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 670 | OA
Schreck, Camille, Damien Rohmer, and Stefanie Hahmann. “Interactive Paper Tearing.” Computer Graphics Forum. Wiley, 2017. https://doi.org/10.1111/cgf.13110.
View | DOI | Download Published Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 671 | OA
Hilbe, Christian, Vaquero Martinez, Krishnendu Chatterjee, and Martin Nowak. “Memory-n Strategies of Direct Reciprocity.” PNAS. National Academy of Sciences, 2017. https://doi.org/10.1073/pnas.1621239114.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 672 | OA
Vaahtomeri, Kari, Markus Brown, Robert Hauschild, Ingrid de Vries, Alexander F Leithner, Matthias Mehling, Walter Kaufmann, and Michael K Sixt. “Locally Triggered Release of the Chemokine CCL21 Promotes Dendritic Cell Transmigration across Lymphatic Endothelia.” Cell Reports. Cell Press, 2017. https://doi.org/10.1016/j.celrep.2017.04.027.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 673 | OA
Altmeyer, Sebastian, and Richard Lueptow. “Wave Propagation Reversal for Wavy Vortices in Wide Gap Counter Rotating Cylindrical Couette Flow.” Physical Review E - Statistical, Nonlinear, and Soft Matter Physics. American Physiological Society, 2017. https://doi.org/10.1103/PhysRevE.95.053103.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 674
Schwarz, Jan, Veronika Bierbaum, Kari Vaahtomeri, Robert Hauschild, Markus Brown, Ingrid de Vries, Alexander F Leithner, et al. “Dendritic Cells Interpret Haptotactic Chemokine Gradients in a Manner Governed by Signal to Noise Ratio and Dependent on GRK6.” Current Biology. Cell Press, 2017. https://doi.org/10.1016/j.cub.2017.04.004.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 675
Haase, Johannes, Salvatore Bagiante, Hans Sigg, and Jeroen Van Bokhoven. “Surface Enhanced Infrared Absorption of Chemisorbed Carbon Monoxide Using Plasmonic Nanoantennas.” Optics Letters. OSA, 2017. https://doi.org/10.1364/OL.42.001931.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 677 | OA
Lademann, Claudio, Jörg Renkawitz, Boris Pfander, and Stefan Jentsch. “The INO80 Complex Removes H2A.Z to Promote Presynaptic Filament Formation during Homologous Recombination.” Cell Reports. Cell Press, 2017. https://doi.org/10.1016/j.celrep.2017.04.051.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 678
Petridou, Nicoletta, Zoltan P Spiro, and Carl-Philipp J Heisenberg. “Multiscale Force Sensing in Development.” Nature Cell Biology. Nature Publishing Group, 2017. https://doi.org/10.1038/ncb3524.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 679 | OA
Ebner, Florian, Vitaly Sedlyarov, Saren Tasciyan, Masa Ivin, Franz Kratochvill, Nina Gratz, Lukas Kenner, Andreas Villunger, Michael K Sixt, and Pavel Kovarik. “The RNA-Binding Protein Tristetraprolin Schedules Apoptosis of Pathogen-Engaged Neutrophils during Bacterial Infection.” The Journal of Clinical Investigation. American Society for Clinical Investigation, 2017. https://doi.org/10.1172/JCI80631.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 680 | OA
Chalk, Matthew J, Paul Masset, Boris Gutkin, and Sophie Denève. “Sensory Noise Predicts Divisive Reshaping of Receptive Fields.” PLoS Computational Biology. Public Library of Science, 2017. https://doi.org/10.1371/journal.pcbi.1005582.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 683 | OA
Lubiw, Anna, Zuzana Masárová, and Uli Wagner. “A Proof of the Orbit Conjecture for Flipping Edge Labelled Triangulations,” Vol. 77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.SoCG.2017.49.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 684 | OA
Chatterjee, Krishnendu, and Nir Piterman. “Obligation Blackwell Games and P-Automata.” Journal of Symbolic Logic. Cambridge University Press, 2017. https://doi.org/10.1017/jsl.2016.71.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 6841 | OA
Martius, Georg S, and Christoph Lampert. “Extrapolation and Learning Equations.” In 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings. International Conference on Learning Representations, 2017.
View | Download Preprint (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 685 | OA
Briscoe, James, and Anna Kicheva. “The Physics of Development 100 Years after D’Arcy Thompson’s ‘on Growth and Form.’” Mechanisms of Development. Elsevier, 2017. https://doi.org/10.1016/j.mod.2017.03.005.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 686
Heisenberg, Carl-Philipp J. “D’Arcy Thompson’s ‘on Growth and Form’: From Soap Bubbles to Tissue Self Organization.” Mechanisms of Development. Elsevier, 2017. https://doi.org/10.1016/j.mod.2017.03.006.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 687 | OA
Davison, Ben. “The Critical CoHA of a Quiver with Potential.” Quarterly Journal of Mathematics. Oxford University Press, 2017. https://doi.org/10.1093/qmath/haw053.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 688 | OA
Edelsbrunner, Herbert, and Hubert Wagner. “Topological Data Analysis with Bregman Divergences,” 77:391–3916. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.SoCG.2017.39.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 689
Novarino, Gaia. “Rett Syndrome Modeling Goes Simian.” Science Translational Medicine. American Association for the Advancement of Science, 2017. https://doi.org/10.1126/scitranslmed.aan8196.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 693 | OA
Miki, Takafumi, Walter Kaufmann, Gerardo Malagon, Laura Gomez, Katsuhiko Tabuchi, Masahiko Watanabe, Ryuichi Shigemoto, and Alain Marty. “Numbers of Presynaptic Ca2+ Channel Clusters Match Those of Functionally Defined Vesicular Docking Sites in Single Central Synapses.” PNAS. National Academy of Sciences, 2017. https://doi.org/10.1073/pnas.1704470114.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 694 | OA
Veß, Astrid, Ulrich Blache, Laura Leitner, Angela Kurz, Anja Ehrenpfordt, Michael K Sixt, and Guido Posern. “A Dual Phenotype of MDA MB 468 Cancer Cells Reveals Mutual Regulation of Tensin3 and Adhesion Plasticity.” Journal of Cell Science. Company of Biologists, 2017. https://doi.org/10.1242/jcs.200899.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 909 | OA
Akopyan, Arseniy, and Vladislav Vysotsky. “On the Lengths of Curves Passing through Boundary Points of a Planar Convex Shape.” The American Mathematical Monthly. Mathematical Association of America, 2017. https://doi.org/10.4169/amer.math.monthly.124.7.588.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 910 | OA
Novak, Sebastian, and Nicholas H Barton. “When Does Frequency-Independent Selection Maintain Genetic Variation?” Genetics. Genetics Society of America, 2017. https://doi.org/10.1534/genetics.117.300129.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 911 | OA
Royer, Amélie, Alexander Kolesnikov, and Christoph Lampert. “Probabilistic Image Colorization,” 85.1-85.12. BMVA Press, 2017. https://doi.org/10.5244/c.31.85.
View | Files available | DOI | arXiv
 
2017 | Journal Article | IST-REx-ID: 912 | OA
Deuchert, Andreas. “A Lower Bound for the BCS Functional with Boundary Conditions at Infinity.” Journal of Mathematical Physics. AIP, 2017. https://doi.org/10.1063/1.4996580.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 915 | OA
Swoboda, Paul, and Bjoern Andres. “A Message Passing Algorithm for the Minimum Cost Multicut Problem,” 2017:4990–99. IEEE, 2017. https://doi.org/10.1109/CVPR.2017.530.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 916 | OA
Swoboda, Paul, Carsten Rother, Carsten Abu Alhaija, Dagmar Kainmueller, and Bogdan Savchynskyy. “A Study of Lagrangean Decompositions and Dual Ascent Solvers for Graph Matching,” 2017:7062–71. IEEE, 2017. https://doi.org/10.1109/CVPR.2017.747.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 917 | OA
Swoboda, Paul, Jan Kuske, and Bogdan Savchynskyy. “A Dual Ascent Framework for Lagrangean Decomposition of Combinatorial Problems,” 2017:4950–60. IEEE, 2017. https://doi.org/10.1109/CVPR.2017.526.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1173 | OA
Edelsbrunner, Herbert, Alexey Glazyrin, Oleg Musin, and Anton Nikitenko. “The Voronoi Functional Is Maximized by the Delaunay Triangulation in the Plane.” Combinatorica. Springer, 2017. https://doi.org/10.1007/s00493-016-3308-y.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 1174 | OA
Skórski, Maciej. “Lower Bounds on Key Derivation for Square-Friendly Applications,” Vol. 66. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.STACS.2017.57.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 1175 | OA
Alwen, Joel F, Susanna De Rezende, Jakob Nordstrom, and Marc Vinyals. “Cumulative Space in Black-White Pebbling and Resolution.” edited by Christos Papadimitriou, 67:38:1-38-21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.ITCS.2017.38.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 1176 | OA
Alwen, Joel F, and Jeremiah Blocki. “Towards Practical Attacks on Argon2i and Balloon Hashing.” IEEE, 2017. https://doi.org/10.1109/EuroSP.2017.47.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1180 | OA
Akopyan, Arseniy, Imre Bárány, and Sinai Robins. “Algebraic Vertices of Non-Convex Polyhedra.” Advances in Mathematics. Academic Press, 2017. https://doi.org/10.1016/j.aim.2016.12.026.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1187 | OA
Kiltz, Eike, Krzysztof Z Pietrzak, Daniele Venturi, David Cash, and Abhishek Jain. “Efficient Authentication from Hard Learning Problems.” Journal of Cryptology. Springer, 2017. https://doi.org/10.1007/s00145-016-9247-3.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1191 | OA
Kollár, Richard, and Sebastian Novak. “Existence of Traveling Waves for the Generalized F–KPP Equation.” Bulletin of Mathematical Biology. Springer, 2017. https://doi.org/10.1007/s11538-016-0244-3.
View | DOI | Download Preprint (ext.)
 
2017 | Conference Paper | IST-REx-ID: 1192 | OA
Kazda, Alexandr, Vladimir Kolmogorov, and Michal Rolinek. “Even Delta-Matroids and the Complexity of Planar Boolean CSPs,” 307–26. SIAM, 2017. https://doi.org/10.1137/1.9781611974782.20.
View | Files available | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 1194 | OA
Chatterjee, Krishnendu, Petr Novotný, and Djordje Zikelic. “Stochastic Invariants for Probabilistic Termination,” 52:145–60. ACM, 2017. https://doi.org/10.1145/3009837.3009873.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1196
Henzinger, Thomas A, and Jan Otop. “Model Measuring for Discrete and Hybrid Systems.” Nonlinear Analysis: Hybrid Systems. Elsevier, 2017. https://doi.org/10.1016/j.nahs.2016.09.001.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1198 | OA
Moser, Thomas, and Robert Seiringer. “Triviality of a Model of Particles with Point Interactions in the Thermodynamic Limit.” Letters in Mathematical Physics. Springer, 2017. https://doi.org/10.1007/s11005-016-0915-x.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1207 | OA
Bao, Zhigang, László Erdös, and Kevin Schnelli. “Local Law of Addition of Random Matrices on Optimal Scale.” Communications in Mathematical Physics. Springer, 2017. https://doi.org/10.1007/s00220-016-2805-6.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1208 | OA
Zwiernik, Piotr, Caroline Uhler, and Donald Richards. “Maximum Likelihood Estimation for Linear Gaussian Covariance Models.” Journal of the Royal Statistical Society. Series B: Statistical Methodology. Wiley-Blackwell, 2017. https://doi.org/10.1111/rssb.12217.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1211 | OA
Budanur, Nazmi B, and Predrag Cvitanović. “Unstable Manifolds of Relative Periodic Orbits in the Symmetry Reduced State Space of the Kuramoto–Sivashinsky System.” Journal of Statistical Physics. Springer, 2017. https://doi.org/10.1007/s10955-016-1672-z.
View | Files available | DOI
 
2017 | Book Chapter | IST-REx-ID: 1213
Baranova, Natalia S., and Martin Loose. “Single-Molecule Measurements to Study Polymerization Dynamics of FtsZ-FtsA Copolymers.” In Cytokinesis, edited by Arnaud Echard, 137:355–70. Academic Press, 2017. https://doi.org/10.1016/bs.mcb.2016.03.036.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1294 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Trading Performance for Stability in Markov Decision Processes.” Journal of Computer and System Sciences. Elsevier, 2017. https://doi.org/10.1016/j.jcss.2016.09.009.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1336 | OA
Paixao, Tiago, Jorge Pérez Heredia, Dirk Sudholt, and Barbora Trubenova. “Towards a Runtime Comparison of Natural and Artificial Evolution.” Algorithmica. Springer, 2017. https://doi.org/10.1007/s00453-016-0212-1.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1337 | OA
Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Universality for General Wigner-Type Matrices.” Probability Theory and Related Fields. Springer, 2017. https://doi.org/10.1007/s00440-016-0740-2.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1338 | OA
Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” Formal Methods in System Design. Springer, 2017. https://doi.org/10.1007/s10703-016-0256-5.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1351 | OA
Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking the Evolution of Gene Regulatory Networks.” Acta Informatica. Springer, 2017. https://doi.org/10.1007/s00236-016-0278-x.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1367 | OA
Manteaux, Pierre, Christopher J Wojtan, Rahul Narain, Stéphane Redon, François Faure, and Marie Cani. “Adaptive Physically Based Models in Computer Graphics.” Computer Graphics Forum. Wiley-Blackwell, 2017. https://doi.org/10.1111/cgf.12941.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1407 | OA
Svoreňová, Mária, Jan Kretinsky, Martin Chmelik, Krishnendu Chatterjee, Ivana Cěrná, and Cǎlin Belta. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” Nonlinear Analysis: Hybrid Systems. Elsevier, 2017. https://doi.org/10.1016/j.nahs.2016.04.006.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2017 | Conference Paper | IST-REx-ID: 1000 | OA
Kolesnikov, Alexander, and Christoph Lampert. “PixelCNN Models with Auxiliary Variables for Natural Image Modeling.” In 34th International Conference on Machine Learning, 70:1905–14. JMLR, 2017.
View | Download Submitted Version (ext.) | arXiv
 
2017 | Conference Paper | IST-REx-ID: 1001 | OA
Guseinov, Ruslan, Eder Miguel, and Bernd Bickel. “CurveUps: Shaping Objects from Flat Plates with Tension-Actuated Curvature,” Vol. 36. ACM, 2017. https://doi.org/10.1145/3072959.3073709.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 1002 | OA
Zhang, Ran, Thomas Auzinger, Duygu Ceylan, Wilmot Li, and Bernd Bickel. “Functionality-Aware Retargeting of Mechanisms to 3D Shapes,” Vol. 36. ACM, 2017. https://doi.org/10.1145/3072959.3073710.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 1003 | OA
Avni, Guy, Shibashis Guha, and Orna Kupferman. “An Abstraction-Refinement Methodology for Reasoning about Network Games,” 70–76. AAAI Press, 2017. https://doi.org/10.24963/ijcai.2017/11.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1004 | OA
Ötvös, Krisztina, and Eva Benková. “Spatiotemporal Mechanisms of Root Branching.” Current Opinion in Genetics & Development. Elsevier, 2017. https://doi.org/10.1016/j.gde.2017.03.010.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 1007 | OA
Lang, Moritz, and Eduardo Sontag. “Zeros of Nonlinear Systems with Input Invariances.” Automatica. IFAC, the International Federation of Automatic Control, 2017. https://doi.org/10.1016/j.automatica.2017.03.030.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 1009 | OA
Chatterjee, Krishnendu, Petr Novotný, Guillermo Pérez, Jean Raskin, and Djordje Zikelic. “Optimizing Expectation with Guarantees in POMDPs.” In Proceedings of the 31st AAAI Conference on Artificial Intelligence, 5:3725–32. AAAI Press, 2017.
View | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1010 | OA
Alt, Johannes, László Erdös, and Torben H Krüger. “Local Law for Random Gram Matrices.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2017. https://doi.org/10.1214/17-EJP42.
View | Files available | DOI | arXiv
 
2017 | Conference Paper | IST-REx-ID: 1011 | OA
Chatterjee, Krishnendu, Bernhard Kragl, Samarth Mishra, and Andreas Pavlogiannis. “Faster Algorithms for Weighted Recursive State Machines.” edited by Hongseok Yang, 10201:287–313. Springer, 2017. https://doi.org/10.1007/978-3-662-54434-1_11.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1015 | OA
Bighin, Giacomo, and Luca Salasnich. “Vortices and Antivortices in Two-Dimensional Ultracold Fermi Gases.” Scientific Reports. Nature Publishing Group, 2017. https://doi.org/10.1038/srep45702.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1016
Breuss, Martin, Thai Nguyen, Anjana Srivatsan, Ines Leca, Guoling Tian, Tanja Fritz, Andi H Hansen, et al. “Uner Tan Syndrome Caused by a Homozygous TUBB2B Mutation Affecting Microtubule Stability.” Human Molecular Genetics. Oxford University Press, 2017. https://doi.org/10.1093/hmg/ddw383.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1017 | OA
Breuss, Martin, Ines Leca, Thomas Gstrein, Andi H Hansen, and David Keays. “Tubulins and Brain Development: The Origins of Functional Specification.” Molecular and Cellular Neuroscience. Academic Press, 2017. https://doi.org/10.1016/j.mcn.2017.03.002.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1018
Dobisova, Tereza, Vendula Hrdinova, Candela Cuesta, Sarka Michlickova, Ivana Urbankova, Romana Hejatkova, Petra Zadnikova, Markéta Pernisová, Eva Benková, and Jan Hejátko. “Light Regulated Expression of Sensor Histidine Kinase CKI1 Controls Cytokinin Related Development.” Plant Physiology. American Society of Plant Biologists, 2017. https://doi.org/10.1104/pp.16.01964.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1020 | OA
Caixeiro, Soraya, Matilda Peruzzo, Olimpia Onelli, Silvia Vignolini, and Riccardo Sapienza. “Disordered Cellulose Based Nanostructures for Enhanced Light Scattering.” ACS Applied Materials and Interfaces. American Chemical Society, 2017. https://doi.org/10.1021/acsami.6b15986.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1021 | OA
Lopez Alonso, Jose M, and Marc Avila. “Boundary Layer Turbulence in Experiments on Quasi Keplerian Flows.” Journal of Fluid Mechanics. Cambridge University Press, 2017. https://doi.org/10.1017/jfm.2017.109.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1022 | OA
Pranav, Pratyush, Herbert Edelsbrunner, Rien Van De Weygaert, Gert Vegter, Michael Kerber, Bernard Jones, and Mathijs Wintraecken. “The Topology of the Cosmic Web in Terms of Persistent Betti Numbers.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2017. https://doi.org/10.1093/mnras/stw2862.
View | DOI | Download Submitted Version (ext.)
 
2017 | 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. Institute of Mathematical Statistics, 2017. https://doi.org/10.1214/17-EJP38.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1025
Heisenberg, Carl-Philipp J. “Cell Biology: Stretched Divisions.” Nature. Nature Publishing Group, 2017. https://doi.org/10.1038/nature21502.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1030 | OA
Villányi, Márton. “Ein Freies Bibliothekssystem Für Wissenschaftliche Bibliotheken – Werkstattbericht Der IST Austria Library.” Informationspraxis. Univ.-Bibliothek Heidelberg, 2017. https://doi.org/10.11588/ip.2017.1.35227.
View | Files available | DOI
 

Search

Filter Publications