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.

3934 Publications


2017 | Conference Paper | IST-REx-ID: 432 | OA
Zhang H, Li J, Kara K, Alistarh D-A, Liu J, Zhang C. ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning. In: Proceedings of Machine Learning Research. Vol 70. PMLR; 2017:4035-4043.
View | Files available
 

2017 | Journal Article | IST-REx-ID: 481 | OA
Biedl T, Huber S, Palfrader P. Planar matchings for weighted straight skeletons. International Journal of Computational Geometry and Applications. 2017;26(3-4):211-229. doi:10.1142/S0218195916600050
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 681 | OA
Chatterjee K, Doyen L, Filiot E, Raskin J. Doomsday equilibria for omega-regular games. Information and Computation. 2017;254:296-315. doi:10.1016/j.ic.2016.10.012
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 1159 | OA
Steenackers W, Klíma P, Quareshy M, et al. Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation. Plant Physiology. 2017;173(1):552-565. doi:10.1104/pp.16.00943
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Book Chapter | IST-REx-ID: 625 | OA
Chatterjee K, Doyen L, Henzinger TA. The cost of exactness in quantitative reachability. In: Aceto L, Bacci G, Ingólfsdóttir A, Legay A, Mardare R, eds. Models, Algorithms, Logics and Tools. Vol 10460. Theoretical Computer Science and General Issues. Springer; 2017:367-381. doi:10.1007/978-3-319-63121-9_18
View | Files available | DOI
 

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

2017 | Book Chapter | IST-REx-ID: 649
Maas J. Entropic Ricci curvature for discrete spaces. In: Najman L, Romon P, eds. Modern Approaches to Discrete Curvature. Vol 2184. Lecture Notes in Mathematics. Springer; 2017:159-174. doi:10.1007/978-3-319-58002-9_5
View | DOI
 

2017 | Conference (Editor) | IST-REx-ID: 638
Bogomolov S, Martel M, Prabhakar P, eds. Numerical Software Verification. Vol 10152. Springer; 2017. doi:10.1007/978-3-319-54292-8
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1528 | OA
Bao Z, Erdös L. Delocalization for a class of random block band matrices. Probability Theory and Related Fields. 2017;167(3-4):673-776. doi:10.1007/s00440-015-0692-y
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 202 | OA
Pleska M. Biology of restriction-modification systems at the single-cell and population level. 2017. doi:10.15479/AT:ISTA:th_916
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 561 | OA
Pleska M, Guet CC. Effects of mutations in phage restriction sites during escape from restriction–modification. Biology Letters. 2017;13(12). doi:10.1098/rsbl.2017.0646
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1013 | OA
Fink JM. Viewpoint: Microwave quantum states beat the heat. Physics. 2017;10(32). doi:10.1103/Physics.10.32
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9847
Pleska M, Guet CC. Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification. 2017. doi:10.6084/m9.figshare.5633917.v1
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 653 | OA
Makohon Moore A, Zhang M, Reiter J, et al. Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer. Nature Genetics. 2017;49(3):358-366. doi:10.1038/ng.3764
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1228 | OA
Sauerzopf U, Sacco R, Novarino G, et al. Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence. European Journal of Neuroscience. 2017;45(1):45-57. doi:10.1111/ejn.13418
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Thesis | IST-REx-ID: 961 | OA
Barone V. Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. 2017. doi:10.15479/AT:ISTA:th_825
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1026
Agus V, Janovjak HL. Optogenetic methods in drug screening: Technologies and applications. Current Opinion in Biotechnology. 2017;48:8-14. doi:10.1016/j.copbio.2017.02.006
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1433 | OA
Bauer U, Kerber M, Reininghaus J, Wagner H. Phat - Persistent homology algorithms toolbox. Journal of Symbolic Computation. 2017;78:76-90. doi:10.1016/j.jsc.2016.03.008
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 840 | OA
Vukušić L, Kukucka J, Watzinger H, Katsaros G. Fast hole tunneling times in germanium hut wires probed by single-shot reflectometry. Nano Letters. 2017;17(9):5706-5710. doi:10.1021/acs.nanolett.7b02627
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 552 | OA
Chatterjee K, Henzinger MH, Svozil A. Faster algorithms for mean-payoff parity games. In: Leibniz International Proceedings in Informatics. Vol 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.MFCS.2017.39
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 6519 | OA
Chatterjee K, Dvorák W, Henzinger MH, Loitzenbauer V. Improved set-based symbolic algorithms for parity games. In: Vol 82. Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik; 2017. doi:10.4230/LIPICS.CSL.2017.18
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 464 | OA
Chatterjee K, Henzinger MH, Loitzenbauer V. Improved algorithms for parity and Streett objectives. Logical Methods in Computer Science. 2017;13(3). doi:10.23638/LMCS-13(3:26)2017
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1029 | OA
Lukacisin M, Landon M, Jajoo R. Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast. PLoS One. 2017;12(3). doi:10.1371/journal.pone.0174066
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 664
Assen FP, Sixt MK. The dynamic cytokine niche. Immunity. 2017;46(4):519-520. doi:10.1016/j.immuni.2017.04.006
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 735
Barone V, Lang M, Krens G, et al. An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate. Developmental Cell. 2017;43(2):198-211. doi:10.1016/j.devcel.2017.09.014
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 682 | OA
Ukai H, Kawahara A, Hirayama K, et al. PirB regulates asymmetries in hippocampal circuitry. PLoS One. 2017;12(6). doi:10.1371/journal.pone.0179377
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1028 | OA
Kainrath S, Stadler M, Gschaider-Reichhart E, Distel M, Janovjak HL. Green-light-induced inactivation of receptor signaling using cobalamin-binding domains. Angewandte Chemie - International Edition. 2017;56(16):4608-4611. doi:10.1002/anie.201611998
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1024 | OA
Hurny A, Benková E. Methodological advances in auxin and cytokinin biology. Auxins and Cytokinins in Plant Biology. 2017;1569:1-29. doi:10.1007/978-1-4939-6831-2_1
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 676 | OA
Krens G, Veldhuis J, Barone V, et al. Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation. Development. 2017;144(10):1798-1806. doi:10.1242/dev.144964
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 661 | OA
Smutny M, Ákos Z, Grigolon S, et al. Friction forces position the neural anlage. Nature Cell Biology. 2017;19:306-317. doi:10.1038/ncb3492
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 704 | OA
Steinrück M, Guet CC. Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection. eLife. 2017;6. doi:10.7554/eLife.25100
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 696 | OA
Lukacisinova M, Novak S, Paixao T. Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes. PLoS Computational Biology. 2017;13(7). doi:10.1371/journal.pcbi.1005609
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1027 | OA
Lukacisinova M, Bollenbach MT. Toward a quantitative understanding of antibiotic resistance evolution. Current Opinion in Biotechnology. 2017;46:90-97. doi:10.1016/j.copbio.2017.02.013
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 949 | OA
Chatterjee K, Goharshady AK, Pavlogiannis A. JTDec: A tool for tree decompositions in soot. In: D’Souza D, ed. Vol 10482. Springer; 2017:59-66. doi:10.1007/978-3-319-68167-2_4
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 639 | OA
Chatterjee K, Fu H, Goharshady AK. Non-polynomial worst case analysis of recursive programs. In: Majumdar R, Kunčak V, eds. Vol 10427. Springer; 2017:41-63. doi:10.1007/978-3-319-63390-9_3
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 8094 | OA
Martius GS, Hostettler R, Knoll A, Der R. Self-organized control of an tendon driven arm by differential extrinsic plasticity. In: Proceedings of the Artificial Life Conference 2016. Vol 28. MIT Press; 2016:142-143. doi:10.7551/978-0-262-33936-0-ch029
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 478 | OA
Chatterjee K, Ibsen-Jensen R. The complexity of deciding legality of a single step of magic: The gathering. In: Vol 285. IOS Press; 2016:1432-1439. doi:10.3233/978-1-61499-672-9-1432
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 479
Jiang Y, Liu H, Kong H, et al. Use runtime verification to improve the quality of medical care practice. In: Proceedings of the 38th International Conference on Software Engineering Companion . IEEE; 2016:112-121. doi:10.1145/2889160.2889233
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 480 | OA
Chatterjee K, Doyen L. Perfect-information stochastic games with generalized mean-payoff objectives. In: Vol 05-08-July-2016. IEEE; 2016:247-256. doi:10.1145/2933575.2934513
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 482
Rueda A, Sedlmeir F, Collodo M, et al. Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator. In: OSA; 2016. doi:10.1364/NP.2016.NTh3A.6
View | DOI
 

2016 | Journal Article | IST-REx-ID: 510 | OA
Liu Z, Yang N, Lv Y, et al. The CLE gene family in Populus trichocarpa. Plant Signaling & Behavior. 2016;11(6). doi:10.1080/15592324.2016.1191734
View | DOI | Download Submitted Version (ext.)
 

2016 | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee K, Pavlogiannis A, Velner Y. Quantitative Interprocedural Analysis. IST Austria; 2016. doi:10.15479/AT:IST-2016-523-v1-1
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5446 | OA
Anonymous 1, Anonymous 2, Anonymous 3. Termination and Worst-Case Analysis of Recursive Programs. IST Austria; 2016.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5447 | OA
Anonymous 1, Anonymous 2, Anonymous 3. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria; 2016.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5448 | OA
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. Data-Centric Dynamic Partial Order Reduction. IST Austria; 2016.
View | Files available | arXiv
 

2016 | Technical Report | IST-REx-ID: 5449 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria; 2016. doi:10.15479/AT:IST-2016-648-v1-1
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5451 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2016-728-v1-1
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5452 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2017-728-v2-1
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5453 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2017-749-v3-1
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5550 | OA
Ellis T, Field D. Flower colour data and phylogeny (NEXUS) files. 2016. doi:10.15479/AT:ISTA:34
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications