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.

1861 Publications


2018 | Conference Paper | IST-REx-ID: 299   OA
Nickovic, D., Lebeltel, O., Maler, O., Ferrere, T., & Ulus, D. (2018). AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. In D. Beyer & M. Huisman (Eds.) (Vol. 10806, pp. 303–319). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece: Springer. https://doi.org/10.1007/978-3-319-89963-3_18
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 326   OA
Sawada, K., Kawakami, R., Shigemoto, R., & Nemoto, T. (2018). Super resolution structural analysis of dendritic spines using three-dimensional structured illumination microscopy in cleared mouse brain slices. European Journal of Neuroscience, 47(9), 1033–1042. https://doi.org/10.1111/ejn.13901
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 410   OA
Masís, J., Mankus, D., Wolff, S., Guitchounts, G., Jösch, M. A., & Cox, D. (2018). A micro-CT-based method for quantitative brain lesion characterization and electrode localization. Scientific Reports, 8(1). https://doi.org/10.1038/s41598-018-23247-z
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 4   OA
Umetani, N., & Bickel, B. (2018). Learning three-dimensional flow for interactive aerodynamic design. ACM Trans. Graph., 37(4). https://doi.org/10.1145/3197517.3201325
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 42   OA
Cucinotta, M., Manrique, S., Cuesta, C., Benková, E., Novák, O., & Colombo, L. (2018). Cup-shaped Cotyledon1 (CUC1) and CU2 regulate cytokinin homeostasis to determine ovule number in arabidopsis. Journal of Experimental Botany, 69(21), 5169–5176. https://doi.org/10.1093/jxb/ery281
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 458   OA
Akopyan, A., & Bobenko, A. (2018). Incircular nets and confocal conics. Transactions of the American Mathematical Society, 370(4), 2825–2854. https://doi.org/10.1090/tran/7292
View | DOI | Download (ext.)
 

2018 | Journal Article | IST-REx-ID: 530   OA
Edelsbrunner, H., & Iglesias Ham, M. (2018). Multiple covers with balls I: Inclusion–exclusion. Computational Geometry: Theory and Applications, 68, 119–133. https://doi.org/10.1016/j.comgeo.2017.06.014
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5581   OA
Villányi, M. (2018). Springer Austrian Publications 2013-2016. IST Austria. https://doi.org/10.15479/AT:ISTA:93
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5579   OA
Villányi, M. (2018). RSC Austrian Publications 2013-2017. IST Austria. https://doi.org/10.15479/AT:ISTA:91
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5574   OA
Villányi, M. (2018). Data Check IOP Scopus vs. Publisher. IST Austria. https://doi.org/10.15479/AT:ISTA:86
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5858   OA
Hross, S., Theis, F. J., Sixt, M. K., & Hasenauer, J. (2018). Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data. Journal of the Royal Society Interface, 15(149). https://doi.org/10.1098/rsif.2018.0600
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5860   OA
Corominas-Murtra, B., Seoane, L. F., & Solé, R. (2018). Zipf’s Law, unbounded complexity and open-ended evolution. Journal of the Royal Society Interface, 15(149). https://doi.org/10.1098/rsif.2018.0395
View | DOI | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 566   OA
Alt, J., Erdös, L., & Krüger, T. H. (2018). Local inhomogeneous circular law. Annals Applied Probability , 28(1), 148–203. https://doi.org/10.1214/17-AAP1302
View | Files available | DOI | Download (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 5966   OA
Alistarh, D.-A., Haider, S. K., Kübler, R., & Nadiradze, G. (2018). The transactional conflict problem. In Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures  - SPAA ’18 (pp. 383–392). Vienna, Austria: ACM Press. https://doi.org/10.1145/3210377.3210406
View | DOI | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5992   OA
Dolati, S., Kage, F., Mueller, J., Müsken, M., Kirchner, M., Dittmar, G., … Falcke, M. (2018). On the relation between filament density, force generation, and protrusion rate in mesenchymal cell motility. Molecular Biology of the Cell, 29(22), 2674–2686. https://doi.org/10.1091/mbc.e18-02-0082
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 612   OA
Luján, R., Aguado, C., Ciruela, F., Cózar, J., Kleindienst, D., De La Ossa, L., … Fukazawa, Y. (2018). Differential association of GABAB receptors with their effector ion channels in Purkinje cells. Brain Structure and Function, 223(3), 1565–1587. https://doi.org/10.1007/s00429-017-1568-y
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6010   OA
Garrido-Charad, F., Vega Zuniga, T. A., Gutiérrez-Ibáñez, C., Fernandez, P., López-Jury, L., González-Cabrera, C., … Marín, G. J. (2018). “Shepherd’s crook” neurons drive and synchronize the enhancing and suppressive mechanisms of the midbrain stimulus selection network. Proceedings of the National Academy of Sciences, 115(32), E7615–E7623. https://doi.org/10.1073/pnas.1804517115
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 6003   OA
Bickel, B., Cignoni, P., Malomo, L., & Pietroni, N. (2018). State of the art on stylized fabrication. Computer Graphics Forum, 37(6), 325–342. https://doi.org/10.1111/cgf.13327
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 617   OA
Kutzer, M., Kurtz, J., & Armitage, S. (2018). Genotype and diet affect resistance, survival, and fecundity but not fecundity tolerance. Journal of Evolutionary Biology, 31(1), 159–171. https://doi.org/10.1111/jeb.13211
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2018 | Conference Paper | IST-REx-ID: 6558   OA
Alistarh, D.-A., Allen-Zhu, Z., & Li, J. (2018). Byzantine Stochastic Gradient Descent. In S. Bengio, H. Wallach, H. Larochelle, K. Grauman, N. Cesa-Bianchi, & R. Garnett (Eds.), Advances in Neural Information Processing Systems (Vol. Volume 2018, pp. 4613–4623). Montreal, Canada: Neural Information Processing Systems Foundation.
View | Download (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6589   OA
Alistarh, D.-A., Hoefler, T., Johansson, M., Konstantinov, N. H., Khirirat, S., & Renggli, C. (2018). The convergence of sparsified gradient methods. In Advances in Neural Information Processing Systems 31 (Vol. Volume 2018, pp. 5973–5983). Montreal, Canada: Neural information processing systems.
View | Download (ext.) | arXiv
 

2018 | Thesis | IST-REx-ID: 9   OA
Belyaeva, V. (2018). Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo . IST Austria. https://doi.org/10.15479/AT:ISTA:th1064
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 85   OA
Gilad, E., Brown, T. A., Oskin, M., & Etsion, Y. (2018). Snapshot based synchronization: A fast replacement for Hand-over-Hand locking (Vol. 11014, pp. 465–479). Presented at the Euro-Par: European Conference on Parallel Processing, Turin, Italy: Springer. https://doi.org/10.1007/978-3-319-96983-1_33
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 143   OA
Brázdil, T., Chatterjee, K., Kučera, A., Novotny, P., Velan, D., & Zuleger, F. (2018). Efficient algorithms for asymptotic bounds on termination time in VASS (Vol. F138033, pp. 185–194). Presented at the LICS: Logic in Computer Science, Oxford, United Kingdom: IEEE. https://doi.org/10.1145/3209108.3209191
View | DOI | Download (ext.)
 

2018 | Conference Paper | IST-REx-ID: 186   OA
Fulek, R., & Kynčl, J. (2018). The ℤ2-Genus of Kuratowski minors (Vol. 99, pp. 401–4014). Presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2018.40
View | DOI | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 181   OA
Erdös, L., Krüger, T. H., & Renfrew, D. T. (2018). Power law decay for systems of randomly coupled differential equations. SIAM Journal on Mathematical Analysis, 50(3), 3271–3290. https://doi.org/10.1137/17M1143125
View | DOI | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 198   OA
Ibsen-Jensen, R., Tkadlec, J., Chatterjee, K., & Nowak, M. (2018). Language acquisition with communication between learners. Journal of the Royal Society Interface, 15(140). https://doi.org/10.1098/rsif.2018.0073
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 275   OA
Brown, M., Johnson, L., Leone, D., Májek, P., Vaahtomeri, K., Senfter, D., … Kerjaschki, D. (2018). Lymphatic exosomes promote dendritic cell migration along guidance cues. Journal of Cell Biology, 217(6), 2205–2221. https://doi.org/10.1083/jcb.201612051
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Thesis | IST-REx-ID: 395   OA
Tarlungeanu, D.-C. (2018). The branched chain amino acids in autism spectrum disorders . IST Austria. https://doi.org/10.15479/AT:ISTA:th_992
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 35   OA
Chatterjee, K., Dvorák, W., Henzinger, M., & Svozil, A. (2018). Algorithms and conditional lower bounds for planning problems. In 28th International Conference on Automated Planning and Scheduling . Delft, Netherlands: AAAI Press.
View | Download (ext.) | arXiv
 

2018 | Research Data | IST-REx-ID: 5586   OA
Vicoso, B. (2018). Input files and scripts from “Evolution of gene dosage on the Z-chromosome of schistosome parasites” by Picard M.A.L., et al (2018). IST Austria. https://doi.org/10.15479/AT:ISTA:109
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 554   OA
Napiórkowski, M. M., Reuvers, R., & Solovej, J. (2018). The Bogoliubov free energy functional II: The dilute Limit. Communications in Mathematical Physics, 360(1), 347–403. https://doi.org/10.1007/s00220-017-3064-x
View | DOI | Download (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 5788   OA
Avni, G., Henzinger, T. A., & Ibsen-Jensen, R. (2018). Infinite-duration poorman-bidding games (Vol. 11316, pp. 21–36). Presented at the 14th International Conference on Web and Internet Economics, WINE, Oxford, UK: Springer. https://doi.org/10.1007/978-3-030-04612-5_2
View | DOI | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6774   OA
Filakovský, M., Franek, P., Wagner, U., & Zhechev, S. Y. (2018). Computing simplicial representatives of homotopy group elements. Journal of Applied and Computational Topology, 2(3–4), 177–231. https://doi.org/10.1007/s41468-018-0021-5
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 66   OA
Chatterjee, K., Goharshady, A., Ibsen-Jensen, R., & Velner, Y. (2018). Ergodic mean-payoff games for the analysis of attacks in crypto-currencies. (Vol. 118). Presented at the CONCUR: Conference on Concurrency Theory, Beijing, China: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2018.11
View | Files available | DOI | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 150   OA
Dick, R., Zadrozny, K. K., Xu, C., Schur, F., Lyddon, T. D., Ricana, C. L., … Vogt, V. (2018). Inositol phosphates are assembly co-factors for HIV-1. Nature, 560(7719), 509–512. https://doi.org/10.1038/s41586-018-0396-4
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 427   OA
Amaro, P., Loureiro, U., Safari, L., Fratini, F., Indelicato, P., Stöhlker, T., & Santos, J. (2018). Quantum interference in laser spectroscopy of highly charged lithiumlike ions. Physical Review A - Atomic, Molecular, and Optical Physics, 97(2), 022510. https://doi.org/10.1103/PhysRevA.97.022510
View | DOI | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 16   OA
Varshney, A., & Steinberg, V. (2018). Mixing layer instability and vorticity amplification in a creeping viscoelastic flow. Physical Review Fluids, 3(10), 103303. https://doi.org/10.1103/PhysRevFluids.3.103303
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 415   OA
Rzadkowski, W., & Lemeshko, M. (2018). Effect of a magnetic field on molecule–solvent angular momentum transfer . The Journal of Chemical Physics, 148(10), 104307. https://doi.org/ 10.1063/1.5017591
View | DOI | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 446   OA
Frank, R., Phan Thanh, N., & Van Den Bosch, H. (2018). The ionization conjecture in Thomas–Fermi–Dirac–von Weizsäcker theory. Communications on Pure and Applied Mathematics, 71(3), 577–614. https://doi.org/10.1002/cpa.21717
View | DOI | Download (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 78   OA
Bakhirkin, A., Ferrere, T., Nickovic, D., Maler, O., & Asarin, E. (2018). Online timed pattern matching using automata (Vol. 11022, pp. 215–232). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Bejing, China: Springer. https://doi.org/10.1007/978-3-030-00151-3_13
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 321   OA
Darrell, T., Lampert, C., Sebe, N., Wu, Y., & Yan, Y. (2018). Guest editors’ introduction to the special section on learning with Shared information for computer vision and multimedia analysis. IEEE Transactions on Pattern Analysis and Machine Intelligence, 40(5), 1029–1031. https://doi.org/10.1109/TPAMI.2018.2804998
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 5959   OA
Bakhirkin, A., Ferrere, T., Henzinger, T. A., & Nickovicl, D. (2018). Keynote: The first-order logic of signals. In 2018 International Conference on Embedded Software (pp. 1–10). Turin, Italy: IEEE. https://doi.org/10.1109/emsoft.2018.8537203
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 106   OA
Akopyan, A., & Petrunin, A. (2018). Long geodesics on convex surfaces. Mathematical Intelligencer, 40(3), 26–31. https://doi.org/10.1007/s00283-018-9795-5
View | DOI | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 12   OA
Nakashima, K., Auzinger, T., Iarussi, E., Zhang, R., Igarashi, T., & Bickel, B. (2018). CoreCavity: Interactive shell decomposition for fabrication with two-piece rigid molds. ACM Transaction on Graphics, 37(4). https://doi.org/10.1145/3197517.3201341
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 17   OA
Varshney, A., & Steinberg, V. (2018). Drag enhancement and drag reduction in viscoelastic flow. Physical Review Fluids, 3(10). https://doi.org/10.1103/PhysRevFluids.3.103302
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 199   OA
Ma, W., Veltsos, P., Toups, M. A., Rodrigues, N., Sermier, R., Jeffries, D., & Perrin, N. (2018). Tissue specificity and dynamics of sex biased gene expression in a common frog population with differentiated, yet homomorphic, sex chromosomes. Genes, 9(6). https://doi.org/10.3390/genes9060294
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 276   OA
Frick, C., Dettinger, P., Renkawitz, J., Jauch, A., Berger, C., Recher, M., … Mehling, M. (2018). Nano-scale microfluidics to study 3D chemotaxis at the single cell level. PLoS One, 13(6). https://doi.org/10.1371/journal.pone.0198330
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 29   OA
Viljakainen, L., Jurvansuu, J., Holmberg, I., Pamminger, T., Erler, S., & Cremer, S. (2018). Social environment affects the transcriptomic response to bacteria in ant queens. Ecology and Evolution, 8(22), 11031–11070. https://doi.org/10.1002/ece3.4573
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 283   OA
Ceinos, R. M., Frigato, E., Pagano, C., Frohlich, N., Negrini, P., Cavallari, N., … Foulkes, N. S. (2018). Mutations in blind cavefish target the light regulated circadian clock gene period 2. Scientific Reports, 8(1). https://doi.org/10.1038/s41598-018-27080-2
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 303   OA
Kalinin, N., & Shkolnikov, M. (2018). Introduction to tropical series and wave dynamic on them. Discrete and Continuous Dynamical Systems- Series A, 38(6), 2827–2849. https://doi.org/10.3934/dcds.2018120
View | DOI | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 322   OA
Ganev, I. V. (2018). Quantizations of multiplicative hypertoric varieties at a root of unity. Journal of Algebra, 506, 92–128. https://doi.org/10.1016/j.jalgebra.2018.03.015
View | DOI | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 315   OA
Polechova, J. (2018). Is the sky the limit? On the expansion threshold of a species’ range. PLoS Biology, 16(6). https://doi.org/10.1371/journal.pbio.2005372
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 327   OA
Michailidis, A., Žnidarič, M., Medvedyeva, M., Abanin, D., Prosen, T., & Papić, Z. (2018). Slow dynamics in translation-invariant quantum lattice models. Physical Review B, 97(10). https://doi.org/10.1103/PhysRevB.97.104307
View | DOI | Download (ext.)
 

2018 | Journal Article | IST-REx-ID: 384   OA
Hönigschmid, P., Bykova, N., Schneider, R., Ivankov, D., & Frishman, D. (2018). Evolutionary interplay between symbiotic relationships and patterns of signal peptide gain and loss. Genome Biology and Evolution, 10(3), 928–938. https://doi.org/10.1093/gbe/evy049
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 404   OA
Fischer, J. L., & Grün, G. (2018). Existence of positive solutions to stochastic thin-film equations. SIAM Journal on Mathematical Analysis, 50(1), 411–455. https://doi.org/10.1137/16M1098796
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 428   OA
Salanenka, Y., Verstraeten, I., Löfke, C., Tabata, K., Naramoto, S., Glanc, M., & Friml, J. (2018). Gibberellin DELLA signaling targets the retromer complex to redirect protein trafficking to the plasma membrane. PNAS, 115(14), 3716–3721. https://doi.org/10.1073/pnas.1721760115
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 423   OA
Payne, P., Geyrhofer, L., Barton, N. H., & Bollback, J. P. (2018). CRISPR-based herd immunity can limit phage epidemics in bacterial populations. ELife, 7. https://doi.org/10.7554/eLife.32035
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 43   OA
Rybicki, J., Kisdi, E., & Anttila, J. (2018). Model of bacterial toxin-dependent pathogenesis explains infective dose. PNAS, 115(42), 10690–10695. https://doi.org/10.1073/pnas.1721061115
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 435   OA
Midya, B., & Konotop, V. (2018). Coherent-perfect-absorber and laser for bound states in a continuum. Optics Letters, 43(3), 607–610. https://doi.org/10.1364/OL.43.000607
View | DOI | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 430   OA
Novembre, J., & Barton, N. H. (2018). Tread lightly interpreting polygenic tests of selection. Genetics, 208(4), 1351–1355. https://doi.org/10.1534/genetics.118.300786
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 442   OA
Li, L., Krens, G., Fendrych, M., & Friml, J. (2018). Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls. Bio-Protocol, 8(1). https://doi.org/10.21769/BioProtoc.2685
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 48   OA
Gridchyn, I. (2018). Reactivation content is important for consolidation of spatial memory. IST Austria. https://doi.org/10.15479/AT:ISTA:th_1042
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 536   OA
Alistarh, D.-A., Aspnes, J., King, V., & Saia, J. (2018). Communication-efficient randomized consensus. Distributed Computing, 31(6), 489–501. https://doi.org/10.1007/s00446-017-0315-1
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5582   OA
Villányi, M. (2018). Taylor&Francis Austrian Publications 2013-2017. IST Austria. https://doi.org/10.15479/AT:ISTA:94
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5575   OA
Villányi, M. (2018). Data Check RSC Scopus vs. FWF. IST Austria. https://doi.org/10.15479/AT:ISTA:87
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5676   OA
Carvalho, L., Patricio, P., Ponte, S., Heisenberg, C.-P. J., Almeida, L., Nunes, A. S., … Jacinto, A. (2018). Occluding junctions as novel regulators of tissue mechanics during wound repair. Journal of Cell Biology, 217(12), 4267–4283. https://doi.org/10.1083/jcb.201804048
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2018 | Book Chapter | IST-REx-ID: 562   OA
Dimitrov, D., Guillaud, L., Eguchi, K., & Takahashi, T. (2018). Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses. In S. D. Skaper (Ed.), Neurotrophic Factors (Vol. 1727, pp. 201–215). Springer. https://doi.org/10.1007/978-1-4939-7571-6_15
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 5830   OA
Zhang, L., Shi, X., Zhang, Y., Wang, J., Yang, J., Ishida, T., … Wang, G. (2018). CLE9 peptide-induced stomatal closure is mediated by abscisic acid, hydrogen peroxide, and nitric oxide in arabidopsis thaliana. Plant Cell and Environment. https://doi.org/10.1111/pce.13475
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 5859   OA
Corominas-Murtra, B., Fibla, M. S., Valverde, S., & Solé, R. (2018). Chromatic transitions in the emergence of syntax networks. Royal Society Open Science, 5(12). https://doi.org/10.1098/rsos.181286
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5816   OA
Hollmann, A., Jirovec, D., Kucharski, M., Kissinger, D., Fischer, G., & Schreiber, L. R. (2018). 30 GHz-voltage controlled oscillator operating at 4 K. Review of Scientific Instruments, 89(11). https://doi.org/10.1063/1.5038258
View | DOI | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 606   OA
Duerinckx, M., & Fischer, J. L. (2018). Well-posedness for mean-field evolutions arising in superconductivity. Annales de l’Institut Henri Poincare (C) Non Linear Analysis, 35(5), 1267–1319. https://doi.org/10.1016/j.anihpc.2017.11.004
View | DOI | Download (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6011   OA
Kuzborskij, I., & Lampert, C. (2018). Data-dependent stability of stochastic gradient descent. In Proceedings of the 35 th International Conference on Machine Learning (Vol. 80, pp. 2815–2824). Stockholm, Sweden: International Machine Learning Society.
View | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 5998   OA
Velicky, P., Meinhardt, G., Plessl, K., Vondra, S., Weiss, T., Haslinger, P., … Pollheimer, J. (2018). Genome amplification and cellular senescence are hallmarks of human placenta development. PLOS Genetics, 14(10). https://doi.org/10.1371/journal.pgen.1007698
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 5962   OA
Alistarh, D.-A., De Sa, C., & Konstantinov, N. H. (2018). The convergence of stochastic gradient descent in asynchronous shared memory. In Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18 (pp. 169–178). Egham, United Kingdom: ACM Press. https://doi.org/10.1145/3212734.3212763
View | DOI | Download (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 5967   OA
Hansen, K. A., Ibsen-Jensen, R., & Neyman, A. (2018). The Big Match with a clock and a bit of memory. In Proceedings of the 2018 ACM Conference on Economics and Computation  - EC ’18 (pp. 149–150). Ithaca, NY, United States: ACM Press. https://doi.org/10.1145/3219166.3219198
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 62   OA
Shabazi, A., Kinnison, J., Vescovi, R., Du, M., Hill, R., Jösch, M. A., … Scheirer, W. (2018). Flexible learning-free segmentation and reconstruction of neural volumes. Scientific Reports, 8(1). https://doi.org/10.1038/s41598-018-32628-3
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 620   OA
Yamamoto, W., Wada, S., Nagano, M., Aoshima, K., Siekhaus, D. E., Toshima, J., & Toshima, J. (2018). Distinct roles for plasma membrane PtdIns 4 P and PtdIns 4 5 P2 during yeast receptor mediated endocytosis. Journal of Cell Science, 131(1). https://doi.org/10.1242/jcs.207696
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2018 | Conference Paper | IST-REx-ID: 6941   OA
Park, S., Kwon, A., Fuchsbauer, G., Gazi, P., Alwen, J. F., & Pietrzak, K. Z. (2018). SpaceMint: A cryptocurrency based on proofs of space. In 22nd International Conference on Financial Cryptography and Data Security (Vol. 10957, pp. 480–499). Nieuwpoort, Curacao: Springer Nature. https://doi.org/10.1007/978-3-662-58387-6_26
View | DOI | Download (ext.)
 

2018 | Preprint | IST-REx-ID: 74   OA
Akopyan, A., & Karasev, R. (2018). Gromov’s waist of non-radial Gaussian measures and radial non-Gaussian measures. ArXiv. ArXiv.
View | Download (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 187   OA
Edelsbrunner, H., & Osang, G. F. (2018). The multi-cover persistence of Euclidean balls (Vol. 99). Presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2018.34
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 24   OA
Chatterjee, K., Elgyütt, A., Novotny, P., & Rouillé, O. (2018). Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives (Vol. 2018, pp. 4692–4699). Presented at the IJCAI: International Joint Conference on Artificial Intelligence, Stockholm, Sweden: IJCAI. https://doi.org/10.24963/ijcai.2018/652
View | DOI | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 295   OA
Lundholm, D., & Seiringer, R. (2018). Fermionic behavior of ideal anyons. Letters in Mathematical Physics, 108(11), 2523–2541. https://doi.org/10.1007/s11005-018-1091-y
View | Files available | DOI | arXiv
 

2018 | Journal Article | IST-REx-ID: 454   OA
Reiter, J., Hilbe, C., Rand, D., Chatterjee, K., & Nowak, M. (2018). Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness. Nature Communications, 9(1). https://doi.org/10.1038/s41467-017-02721-8
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 543   OA
Chalk, M. J., Marre, O., & Tkacik, G. (2018). Toward a unified theory of efficient, predictive, and sparse coding. PNAS, 115(1), 186–191. https://doi.org/10.1073/pnas.1711114115
View | DOI | Download (ext.)
 

2018 | Research Data | IST-REx-ID: 5587   OA
De Martino, D., & Tkacik, G. (2018). Supporting materials “STATISTICAL MECHANICS FOR METABOLIC NETWORKS IN STEADY-STATE GROWTH.” IST Austria. https://doi.org/10.15479/AT:ISTA:62
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 738   OA
Chatterjee, K., Pavlogiannis, A., Kößler, A., & Schmid, U. (2018). Automated competitive analysis of real time scheduling with graph games. Real-Time Systems, 54(1), 166–207. https://doi.org/10.1007/s11241-017-9293-4
View | Files available | DOI
 

2018 | Book Chapter | IST-REx-ID: 86   OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2018). Computing average response time. In M. Lohstroh, P. Derler, & M. Sirjani (Eds.), Principles of Modeling (Vol. 10760, pp. 143–161). Springer. https://doi.org/10.1007/978-3-319-95246-8_9
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 6263   OA
Lukacisinova, M. (2018). Genetic determinants of antibiotic resistance evolution. IST Austria. https://doi.org/10.15479/AT:ISTA:th1072
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5861   OA
Alanko, J. H., & Sixt, M. K. (2018). The cell sets the tone. ELife, 7, e37888. https://doi.org/10.7554/eLife.37888
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 50   OA
Capek, D. (2018). Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration. IST Austria. https://doi.org/10.15479/AT:ISTA:TH_1031
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5993   OA
Chatterjee, K., Fu, H., Novotný, P., & Hasheminezhad, R. (2018). Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. ACM Transactions on Programming Languages and Systems, 40(2), 7. https://doi.org/10.1145/3174800
View | Files available | DOI | Download (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 6009   OA
Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K., & Pavlogiannis, A. (2018). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. ACM Transactions on Programming Languages and Systems, 40(3), 9. https://doi.org/10.1145/3210257
View | Files available | DOI | Download (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 6340   OA
Goharshady, A. K., Behrouz, A., & Chatterjee, K. (2018). Secure Credit Reporting on the Blockchain. In Proceedings of the IEEE International Conference on Blockchain (pp. 1343–1348). Halifax, Canada: IEEE. https://doi.org/10.1109/Cybermatics_2018.2018.00231
View | Files available | DOI | arXiv
 

2018 | Journal Article | IST-REx-ID: 132   OA
Sznurkowska, M., Hannezo, E. B., Azzarelli, R., Rulands, S., Nestorowa, S., Hindley, C., … Simons, B. (2018). Defining lineage potential and fate behavior of precursors during pancreas development. Developmental Cell, 46(3), 360–375. https://doi.org/10.1016/j.devcel.2018.06.028
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 137   OA
Zhang, W., Herde, M., Mitchell, J., Whitfield, J., Wulff, A., Vongsouthi, V., … Henneberger, C. (2018). Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS. Nature Chemical Biology, 14(9), 861–869. https://doi.org/10.1038/s41589-018-0108-2
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 31   OA
Ferrari, U., Deny, S., Chalk, M. J., Tkacik, G., Marre, O., & Mora, T. (2018). Separating intrinsic interactions from extrinsic correlations in a network of sensory neurons. Physical Review E, 98(4), 042410. https://doi.org/10.1103/PhysRevE.98.042410
View | DOI | Download (ext.)
 

2018 | Journal Article | IST-REx-ID: 555   OA
Richter, R., Baranova, N., Day, A., & Kwok, J. (2018). Glycosaminoglycans in extracellular matrix organisation: Are concepts from soft matter physics key to understanding the formation of perineuronal nets? Current Opinion in Structural Biology, 50, 65–74. https://doi.org/10.1016/j.sbi.2017.12.002
View | DOI | Download (ext.)
 

2018 | Journal Article | IST-REx-ID: 409   OA
Akopyan, A. (2018). On the number of non-hexagons in a planar tiling. Comptes Rendus Mathematique, 356(4), 412–414. https://doi.org/10.1016/j.crma.2018.03.005
View | DOI | Download (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 310   OA
Chatterjee, K., Dvorák, W., Henzinger, M., & Loitzenbauer, V. (2018). Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety and diameter (pp. 2341–2356). Presented at the SODA: Symposium on Discrete Algorithms, New Orleans, Louisiana, United States: ACM. https://doi.org/10.1137/1.9781611975031.151
View | DOI | Download (ext.) | arXiv
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed