Please note that IST 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.

3256 Publications


2017 | Conference Paper | IST-REx-ID: 633
S. Bak, S. Bogomolov, T. A. Henzinger, and A. Kumar, “Challenges and tool implementation of hybrid rapidly exploring random trees,” presented at the NSV: Numerical Software Verification, Heidelberg, Germany, 2017, vol. 10381, pp. 83–89.
View | DOI
 

2017 | Book Chapter | IST-REx-ID: 634
J. Schroeder, E. Deliu, G. Novarino, and M. Schmeisser, “Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder,” in Translational Anatomy and Cell Biology of Autism Spectrum Disorder, vol. 224, M. Schmeisser and T. Boekers, Eds. Springer, 2017, pp. 189–211.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 635 | OA
J. F. Alwen, B. Chen, K. Z. Pietrzak, L. Reyzin, and S. Tessaro, “Scrypt is maximally memory hard,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Paris, France, 2017, vol. 10212, pp. 33–62.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 636 | OA
A. Bakhirkin, T. Ferrere, O. Maler, and D. Ulus, “On the quantitative semantics of regular expressions over real-valued signals,” presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany, 2017, vol. 10419, pp. 189–206.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 637 | OA
Z. Jafargholi, C. Kamath Hosdurg, K. Klein, I. Komargodski, K. Z. Pietrzak, and D. Wichs, “Be adaptive avoid overcommitting,” presented at the CRYPTO: Cryptology, Santa Barbara, CA, United States, 2017, vol. 10401, pp. 133–163.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference (Editor) | IST-REx-ID: 638
S. Bogomolov, M. Martel, and P. Prabhakar, Eds., Numerical Software Verification, vol. 10152. Springer, 2017.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 640 | OA
J. F. Alwen, J. Blocki, and K. Z. Pietrzak, “Depth-robust graphs and their cumulative memory complexity,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Paris, France, 2017, vol. 10212, pp. 3–32.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 641
V. Trajkovska, P. Swoboda, F. Åström, and S. Petra, “Graphical model parameter learning by inverse linear programming,” presented at the SSVM: Scale Space and Variational Methods in Computer Vision, Kolding, Denmark, 2017, vol. 10302, pp. 323–334.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 642 | OA
M. Gerencser and I. Gyöngy, “Localization errors in solving stochastic partial differential equations in the whole space,” Mathematics of Computation, vol. 86, no. 307. American Mathematical Society, pp. 2373–2397, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Technical Report | IST-REx-ID: 6426 | OA
T. A. Henzinger, B. Kragl, and S. Qadeer, Synchronizing the asynchronous. IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 643
W. Sun, M.-Z. Zhai, Q. Zhou, C. Qian, and C. Jiang, “Effects of B vitamins overload on plasma insulin level and hydrogen peroxide generation in rats,” Chinese Journal of Physiology, vol. 60, no. 4. Chinese Physiological Society, pp. 207–214, 2017.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 644 | OA
V. Kolmogorov, A. Krokhin, and M. Rolinek, “The complexity of general-valued CSPs,” SIAM Journal on Computing, vol. 46, no. 3. SIAM, pp. 1087–1110, 2017.
View | Files available | DOI | Download Preprint (ext.)
 

2017 | Conference Paper | IST-REx-ID: 645 | OA
P. Ashok, K. Chatterjee, P. Daca, J. Kretinsky, and T. Meggendorfer, “Value iteration for long run average reward in markov decision processes,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10426, pp. 201–221.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 646 | OA
J. Kuske, P. Swoboda, and S. Petra, “A novel convex relaxation for non binary discrete tomography,” presented at the SSVM: Scale Space and Variational Methods in Computer Vision, Kolding, Denmark, 2017, vol. 10302, pp. 235–246.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 647 | OA
S. Bogomolov, M. Giacobbe, T. A. Henzinger, and H. Kong, “Conic abstractions for hybrid systems,” presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany, 2017, vol. 10419, pp. 116–132.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 648 | OA
M. Skórski, “On the complexity of breaking pseudoentropy,” presented at the TAMC: Theory and Applications of Models of Computation, Bern, Switzerland, 2017, vol. 10185, pp. 600–613.
View | DOI | Download Submitted Version (ext.)
 

2017 | Book Chapter | IST-REx-ID: 649
J. Maas, “Entropic Ricci curvature for discrete spaces,” in Modern Approaches to Discrete Curvature, vol. 2184, L. Najman and P. Romon, Eds. Springer, 2017, pp. 159–174.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 650 | OA
M. Skórski, “A cryptographic view of regularity lemmas: Simpler unified proofs and refined bounds,” presented at the TAMC: Theory and Applications of Models of Computation, Bern, Switzerland, 2017, vol. 10185, pp. 586–599.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 651
B. Hof, “Fluid dynamics: Water flows out of touch,” Nature, vol. 541, no. 7636. Nature Publishing Group, pp. 161–162, 2017.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 6517 | OA
R. Fulek, “Embedding graphs into embedded graphs,” presented at the ISAAC: International Symposium on Algorithms and Computation, Phuket, Thailand, 2017, vol. 92.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 6519 | OA
K. Chatterjee, W. Dvorák, M. Henzinger, and V. Loitzenbauer, “Improved set-based symbolic algorithms for parity games,” presented at the CSL: Conference on Computer Science Logic, Stockholm, Sweden, 2017, vol. 82.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 652
R. Der and G. S. Martius, “Dynamical self consistency leads to behavioral development and emergent social interactions in robots,” presented at the ICDL EpiRob: International Conference on Development and Learning and Epigenetic Robotics , Cergy-Pontoise, France, 2017.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 6526 | OA
M. Skórski, “On the complexity of estimating Rènyi divergences,” in 2017 IEEE International Symposium on Information Theory (ISIT), Aachen, Germany, 2017.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 6527 | OA
J. F. Alwen, J. Blocki, and B. Harsha, “Practical graphs for optimal side-channel resistant memory-hard functions,” in Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, Dallas, TX, USA, 2017, pp. 1001–1017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 653 | OA
A. Makohon Moore et al., “Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer,” Nature Genetics, vol. 49, no. 3. Nature Publishing Group, pp. 358–366, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 654 | OA
A. Kicheva and N. Rivron, “Creating to understand – developmental biology meets engineering in Paris,” Development, vol. 144, no. 5. Company of Biologists, pp. 733–736, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 655 | OA
T. Renault et al., “Bacterial flagella grow through an injection diffusion mechanism,” eLife, vol. 6. eLife Sciences Publications, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 656
G. Novarino, “Modeling Alzheimer’s disease in mice with human neurons,” Science Translational Medicine, vol. 9, no. 381. American Association for the Advancement of Science, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 657 | OA
B. Möller et al., “Auxin response cell autonomously controls ground tissue initiation in the early arabidopsis embryo,” PNAS, vol. 114, no. 12. National Academy of Sciences, pp. E2533–E2539, 2017.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 658 | OA
R. Der and G. S. Martius, “Self organized behavior generation for musculoskeletal robots,” Frontiers in Neurorobotics, vol. 11, no. MAR. Frontiers Research Foundation, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 659 | OA
F. Kage et al., “FMNL formins boost lamellipodial force generation,” Nature Communications, vol. 8. Nature Publishing Group, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 660 | OA
J. Rickman, C. F. Düllberg, N. Cade, L. Griffin, and T. Surrey, “Steady state EB cap size fluctuations are determined by stochastic microtubule growth and maturation,” PNAS, vol. 114, no. 13. National Academy of Sciences, pp. 3427–3432, 2017.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 662 | OA
L. Shi, B. Hof, M. Rampp, and M. Avila, “Hydrodynamic turbulence in quasi Keplerian rotating flows,” Physics of Fluids, vol. 29, no. 4. American Institute of Physics, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 663 | OA
H. Kong, S. Bogomolov, C. Schilling, Y. Jiang, and T. A. Henzinger, “Safety verification of nonlinear hybrid systems based on invariant clusters,” in Proceedings of the 20th International Conference on Hybrid Systems, Pittsburgh, PA, United States, 2017, pp. 163–172.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 665
T. Bergmiller et al., “Biased partitioning of the multidrug efflux pump AcrAB TolC underlies long lived phenotypic heterogeneity,” Science, vol. 356, no. 6335. American Association for the Advancement of Science, pp. 311–315, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 666 | OA
K. Mitosch, G. Rieckh, and M. T. Bollenbach, “Noisy response to antibiotic stress predicts subsequent single cell survival in an acidic environment,” Cell Systems, vol. 4, no. 4. Cell Press, pp. 393–403, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 667
G. Novarino, “The antisocial side of antibiotics,” Science Translational Medicine, vol. 9, no. 387. American Association for the Advancement of Science, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 668 | OA
M. Horsthemke et al., “Multiple roles of filopodial dynamics in particle capture and phagocytosis and phenotypes of Cdc42 and Myo10 deletion,” Journal of Biological Chemistry, vol. 292, no. 17. American Society for Biochemistry and Molecular Biology, pp. 7258–7273, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 669 | OA
L. Synek et al., “EXO70C2 is a key regulatory factor for optimal tip growth of pollen,” Plant Physiology, vol. 174, no. 1. American Society of Plant Biologists, pp. 223–240, 2017.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 670 | OA
C. Schreck, D. Rohmer, and S. Hahmann, “Interactive paper tearing,” Computer Graphics Forum, vol. 36, no. 2. Wiley, pp. 95–106, 2017.
View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 671 | OA
C. Hilbe, V. Martinez, K. Chatterjee, and M. Nowak, “Memory-n strategies of direct reciprocity,” PNAS, vol. 114, no. 18. National Academy of Sciences, pp. 4715–4720, 2017.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 672 | OA
K. Vaahtomeri et al., “Locally triggered release of the chemokine CCL21 promotes dendritic cell transmigration across lymphatic endothelia,” Cell Reports, vol. 19, no. 5. Cell Press, pp. 902–909, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 673 | OA
S. Altmeyer and R. Lueptow, “Wave propagation reversal for wavy vortices in wide gap counter rotating cylindrical Couette flow,” Physical Review E - Statistical, Nonlinear, and Soft Matter Physics, vol. 95, no. 5. American Physiological Society, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 674
J. Schwarz et al., “Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6,” Current Biology, vol. 27, no. 9. Cell Press, pp. 1314–1325, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 675
J. Haase, S. Bagiante, H. Sigg, and J. Van Bokhoven, “Surface enhanced infrared absorption of chemisorbed carbon monoxide using plasmonic nanoantennas,” Optics Letters, vol. 42, no. 10. OSA, pp. 1931–1934, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 677 | OA
C. Lademann, J. Renkawitz, B. Pfander, and S. Jentsch, “The INO80 complex removes H2A.Z to promote presynaptic filament formation during homologous recombination,” Cell Reports, vol. 19, no. 7. Cell Press, pp. 1294–1303, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 678
N. Petridou, Z. P. Spiro, and C.-P. J. Heisenberg, “Multiscale force sensing in development,” Nature Cell Biology, vol. 19, no. 6. Nature Publishing Group, pp. 581–588, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 679 | OA
F. Ebner et al., “The RNA-binding protein tristetraprolin schedules apoptosis of pathogen-engaged neutrophils during bacterial infection,” The Journal of Clinical Investigation, vol. 127, no. 6. American Society for Clinical Investigation, pp. 2051–2065, 2017.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 680 | OA
M. J. Chalk, P. Masset, B. Gutkin, and S. Denève, “Sensory noise predicts divisive reshaping of receptive fields,” PLoS Computational Biology, vol. 13, no. 6. Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 681 | OA
K. Chatterjee, L. Doyen, E. Filiot, and J. Raskin, “Doomsday equilibria for omega-regular games,” Information and Computation, vol. 254. Elsevier, pp. 296–315, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 683 | OA
A. Lubiw, Z. Masárová, and U. Wagner, “A proof of the orbit conjecture for flipping edge labelled triangulations,” presented at the SoCG: Symposium on Computational Geometry, Brisbane, Australia, 2017, vol. 77.
View | Files available | DOI
 

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

2017 | Journal Article | IST-REx-ID: 685 | OA
J. Briscoe and A. Kicheva, “The physics of development 100 years after D’Arcy Thompson’s ‘on growth and form,’” Mechanisms of Development, vol. 145. Elsevier, pp. 26–31, 2017.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 686
C.-P. J. Heisenberg, “D’Arcy Thompson’s ‘on growth and form’: From soap bubbles to tissue self organization,” Mechanisms of Development, vol. 145. Elsevier, pp. 32–37, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 687 | OA
B. Davison, “The critical CoHA of a quiver with potential,” Quarterly Journal of Mathematics, vol. 68, no. 2. Oxford University Press, pp. 635–703, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 688 | OA
H. Edelsbrunner and H. Wagner, “Topological data analysis with Bregman divergences,” presented at the Symposium on Computational Geometry, SoCG, Brisbane, Australia, 2017, vol. 77, pp. 391–3916.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 689
G. Novarino, “Rett syndrome modeling goes simian,” Science Translational Medicine, vol. 9, no. 393. American Association for the Advancement of Science, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 693 | OA
T. Miki et al., “Numbers of presynaptic Ca2+ channel clusters match those of functionally defined vesicular docking sites in single central synapses,” PNAS, vol. 114, no. 26. National Academy of Sciences, pp. E5246–E5255, 2017.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 694 | OA
A. Veß et al., “A dual phenotype of MDA MB 468 cancer cells reveals mutual regulation of tensin3 and adhesion plasticity,” Journal of Cell Science, vol. 130, no. 13. Company of Biologists, pp. 2172–2184, 2017.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Conference Paper | IST-REx-ID: 697 | OA
K. Z. Pietrzak and M. Skórski, “Non uniform attacks against pseudoentropy,” presented at the ICALP: International Colloquium on Automata, Languages, and Programming, Warsaw, Poland, 2017, vol. 80.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 698 | OA
Y. Wang, M. Nagarajan, C. Uhler, and G. Shivashankar, “Orientation and repositioning of chromosomes correlate with cell geometry dependent gene expression,” Molecular Biology of the Cell, vol. 28, no. 14. American Society for Cell Biology, pp. 1997–2009, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 699 | OA
C. Veller, L. Hayward, M. Nowak, and C. Hilbe, “The red queen and king in finite populations,” PNAS, vol. 114, no. 27. National Academy of Sciences, pp. E5396–E5405, 2017.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 700 | OA
S. Barzanjeh, V. Salari, J. Tuszynski, M. Cifra, and C. Simon, “Optomechanical proposal for monitoring microtubule mechanical vibrations,” Physical Review E Statistical Nonlinear and Soft Matter Physics , vol. 96, no. 1. American Institute of Physics, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 701 | OA
J. Kynčl and Z. Patakova, “On the nonexistence of k reptile simplices in ℝ^3 and ℝ^4,” The Electronic Journal of Combinatorics, vol. 24, no. 3. International Press, pp. 1–44, 2017.
View | Files available
 

2017 | Journal Article | IST-REx-ID: 702
G. Novarino, “The riddle of CHD8 haploinsufficiency in autism spectrum disorder,” Science Translational Medicine, vol. 9, no. 399. American Association for the Advancement of Science, p. eaao0972, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 706
X. Geng et al., “Roles of afadin in functional differentiations of hippocampal mossy fiber synapse,” Genes to Cells, vol. 22, no. 8. Wiley-Blackwell, pp. 715–722, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 707 | OA
A. Akopyan and R. Karasev, “A tight estimate for the waist of the ball ,” Bulletin of the London Mathematical Society, vol. 49, no. 4. Wiley-Blackwell, pp. 690–693, 2017.
View | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 708 | OA
B. Nagy, A. Hovhannisyan, R. Barzan, T. Chen, and M. Kukley, “Different patterns of neuronal activity trigger distinct responses of oligodendrocyte precursor cells in the corpus callosum,” PLoS Biology, vol. 15, no. 8. Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 709
W. Sun et al., “Gene expression changes of thermo sensitive transient receptor potential channels in obese mice,” Cell Biology International, vol. 41, no. 8. Wiley-Blackwell, pp. 908–913, 2017.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 710 | OA
M. Obremski and M. Skórski, “Renyi entropy estimation revisited,” presented at the 20th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX, Berkeley, USA, 2017, vol. 81.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 711 | OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Bidirectional nested weighted automata,” presented at the 28th International Conference on Concurrency Theory, CONCUR, Berlin, Germany, 2017, vol. 85.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 712 | OA
J. L. Fischer, “Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations,” Nonlinear Analysis: Theory, Methods and Applications, vol. 159. Elsevier, pp. 181–207, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 713 | OA
D. Andergassen et al., “Mapping the mouse Allelome reveals tissue specific regulation of allelic expression,” eLife, vol. 6. eLife Sciences Publications, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 714 | OA
G. Brailoiu et al., “HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens,” Drug and Alcohol Dependence, vol. 178. Elsevier, pp. 7–14, 2017.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1294 | OA
T. Brázdil, K. Chatterjee, V. Forejt, and A. Kučera, “Trading performance for stability in Markov decision processes,” Journal of Computer and System Sciences, vol. 84. Elsevier, pp. 144–170, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1336 | OA
T. Paixao, J. Pérez Heredia, D. Sudholt, and B. Trubenova, “Towards a runtime comparison of natural and artificial evolution,” Algorithmica, vol. 78, no. 2. Springer, pp. 681–713, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1337 | OA
O. H. Ajanki, L. Erdös, and T. H. Krüger, “Universality for general Wigner-type matrices,” Probability Theory and Related Fields, vol. 169, no. 3–4. Springer, pp. 667–727, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1338 | OA
P. Cerny et al., “From non-preemptive to preemptive scheduling using synchronization synthesis,” Formal Methods in System Design, vol. 50, no. 2–3. Springer, pp. 97–139, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1351 | OA
M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking the evolution of gene regulatory networks,” Acta Informatica, vol. 54, no. 8. Springer, pp. 765–787, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1367 | OA
P. Manteaux, C. J. Wojtan, R. Narain, S. Redon, F. Faure, and M. Cani, “Adaptive physically based models in computer graphics,” Computer Graphics Forum, vol. 36, no. 6. Wiley-Blackwell, pp. 312–337, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1407 | OA
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, and C. Belta, “Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games,” Nonlinear Analysis: Hybrid Systems, vol. 23, no. 2. Elsevier, pp. 230–253, 2017.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 1433
U. Bauer, M. Kerber, J. Reininghaus, and H. Wagner, “Phat - Persistent homology algorithms toolbox,” Journal of Symbolic Computation, vol. 78. Academic Press, pp. 76–90, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1528 | OA
Z. Bao and L. Erdös, “Delocalization for a class of random block band matrices,” Probability Theory and Related Fields, vol. 167, no. 3–4. Springer, pp. 673–776, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1000 | OA
A. Kolesnikov and C. Lampert, “PixelCNN models with auxiliary variables for natural image modeling,” presented at the ICML: International Conference on Machine Learning, Sydney, Australia, 2017, vol. 70, pp. 1905–1914.
View | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1001 | OA
R. Guseinov, E. Miguel, and B. Bickel, “CurveUps: Shaping objects from flat plates with tension-actuated curvature,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2017, vol. 36, no. 4.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1002 | OA
R. Zhang, T. Auzinger, D. Ceylan, W. Li, and B. Bickel, “Functionality-aware retargeting of mechanisms to 3D shapes,” presented at the SIGGRAPH: Computer Graphics and Interactive Techniques, Los Angeles, CA, United States , 2017, vol. 36, no. 4.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1003 | OA
G. Avni, S. Guha, and O. Kupferman, “An abstraction-refinement methodology for reasoning about network games,” presented at the IJCAI: International Joint Conference on Artificial Intelligence , Melbourne, Australia, 2017, pp. 70–76.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1004 | OA
K. Ötvös and E. Benková, “Spatiotemporal mechanisms of root branching,” Current Opinion in Genetics & Development, vol. 45. Elsevier, pp. 82–89, 2017.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1006 | OA
J. Greenwood et al., “Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae,” BMC Genomics, vol. 18, no. 1. BioMed Central, p. 329, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1007 | OA
M. Lang and E. Sontag, “Zeros of nonlinear systems with input invariances,” Automatica, vol. 81C. IFAC, the International Federation of Automatic Control, pp. 46–55, 2017.
View | Files available | DOI
 

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

2017 | Journal Article | IST-REx-ID: 1010 | OA
J. Alt, L. Erdös, and T. H. Krüger, “Local law for random Gram matrices,” Electronic Journal of Probability, vol. 22. Institute of Mathematical Statistics, 2017.
View | Files available | DOI | arXiv
 

2017 | Conference Paper | IST-REx-ID: 1011 | OA
K. Chatterjee, B. Kragl, S. Mishra, and A. Pavlogiannis, “Faster algorithms for weighted recursive state machines,” presented at the ESOP: European Symposium on Programming, Uppsala, Sweden, 2017, vol. 10201, pp. 287–313.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1013 | OA
J. M. Fink, “Viewpoint: Microwave quantum states beat the heat,” Physics, vol. 10, no. 32. American Physical Society, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1015 | OA
G. Bighin and L. Salasnich, “Vortices and antivortices in two-dimensional ultracold Fermi gases,” Scientific Reports, vol. 7. Nature Publishing Group, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1016
M. Breuss et al., “Uner Tan syndrome caused by a homozygous TUBB2B mutation affecting microtubule stability,” Human Molecular Genetics, vol. 26, no. 2. Oxford University Press, pp. 258–269, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1017 | OA
M. Breuss, I. Leca, T. Gstrein, A. H. Hansen, and D. Keays, “Tubulins and brain development: The origins of functional specification,” Molecular and Cellular Neuroscience, vol. 84. Academic Press, pp. 58–67, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1018
T. Dobisova et al., “Light regulated expression of sensor histidine kinase CKI1 controls cytokinin related development,” Plant Physiology, vol. 174, no. 1. American Society of Plant Biologists, pp. 387–404, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1019
E. Argyridou, A. K. Huylmans, A. Königer, and J. Parsch, “X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster,” Heredity, vol. 119, no. 1. Nature Publishing Group, pp. 27–34, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1020 | OA
S. Caixeiro, M. Peruzzo, O. Onelli, S. Vignolini, and R. Sapienza, “Disordered cellulose based nanostructures for enhanced light scattering,” ACS Applied Materials and Interfaces, vol. 9, no. 9. American Chemical Society, pp. 7885–7890, 2017.
View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications