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.
4387 Publications
2018 | Conference Paper | IST-REx-ID: 78 | 
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, and E. Asarin, “Online timed pattern matching using automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Bejing, China, 2018, vol. 11022, pp. 215–232.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 6001
D.-A. Alistarh, W. Leiserson, A. Matveev, and N. Shavit, “ThreadScan: Automatic and scalable memory reclamation,” ACM Transactions on Parallel Computing, vol. 4, no. 4. Association for Computing Machinery, 2018.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 7812 |
A. Polino, R. Pascanu, and D.-A. Alistarh, “Model compression via distillation and quantization,” in 6th International Conference on Learning Representations, Vancouver, Canada, 2018.
View
| Files available
| arXiv
2018 | Conference Paper | IST-REx-ID: 79 |
S. Arming, E. Bartocci, K. Chatterjee, J. P. Katoen, and A. Sokolova, “Parameter-independent strategies for pMDPs via POMDPs,” presented at the QEST: Quantitative Evaluation of Systems, Beijing, China, 2018, vol. 11024, pp. 53–70.
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 23 |
L. Vukušić, J. Kukucka, H. Watzinger, J. M. Milem, F. Schäffler, and G. Katsaros, “Single-shot readout of hole spins in Ge,” Nano Letters, vol. 18, no. 11. American Chemical Society, pp. 7141–7145, 2018.
View
| Files available
| DOI
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 77 |
H. Watzinger et al., “A germanium hole spin qubit,” Nature Communications, vol. 9, no. 3902. Nature Publishing Group, 2018.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 81 |
A. Elgyütt, T. Ferrere, and T. A. Henzinger, “Monitoring temporal logic with clock variables,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Beijing, China, 2018, vol. 11022, pp. 53–70.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 6355 |
A. Akopyan and S. Avvakumov, “Any cyclic quadrilateral can be inscribed in any closed convex smooth curve,” Forum of Mathematics, Sigma, vol. 6. Cambridge University Press, 2018.
View
| Files available
| DOI
| arXiv
2018 | Preprint | IST-REx-ID: 75 |
A. Akopyan, S. Avvakumov, and R. Karasev, “Convex fair partitions into arbitrary number of pieces.” arXiv, 2018.
View
| Files available
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 616 |
C. Pull et al., “Destructive disinfection of infected brood prevents systemic disease spread in ant colonies,” eLife, vol. 7. eLife Sciences Publications, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 806
S. Cremer, C. Pull, and M. Fürst, “Social immunity: Emergence and evolution of colony-level disease protection,” Annual Review of Entomology, vol. 63. Annual Reviews, pp. 105–123, 2018.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 83 |
H. M. Abusalah, “Proof systems for sustainable decentralized cryptocurrencies,” IST Austria, 2018.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 133 |
B. Kragl, S. Qadeer, and T. A. Henzinger, “Synchronizing the asynchronous,” presented at the CONCUR: International Conference on Concurrency Theory, Beijing, China, 2018, vol. 118.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 160 |
B. Kragl and S. Qadeer, “Layered Concurrent Programs,” presented at the CAV: Computer Aided Verification, Oxford, UK, 2018, vol. 10981, pp. 79–102.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 69 |
L. Vukušić, “Charge sensing and spin relaxation times of holes in Ge hut wires,” IST Austria, 2018.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 85 |
E. Gilad, T. A. Brown, M. Oskin, and Y. Etsion, “Snapshot based synchronization: A fast replacement for Hand-over-Hand locking,” presented at the Euro-Par: European Conference on Parallel Processing, Turin, Italy, 2018, vol. 11014, pp. 465–479.
View
| Files available
| DOI
2018 | Preprint | IST-REx-ID: 8547 |
A. Llorca et al., “Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture,” bioRxiv. Cold Spring Harbor Laboratory.
View
| DOI
| Download Preprint (ext.)
2018 | Book Chapter | IST-REx-ID: 86 |
K. Chatterjee, T. A. Henzinger, and J. Otop, “Computing average response time,” in Principles of Modeling, vol. 10760, M. Lohstroh, P. Derler, and M. Sirjani, Eds. Springer, 2018, pp. 143–161.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 87 |
H. Edelsbrunner and A. Nikitenko, “Random inscribed polytopes have similar radius functions as Poisson-Delaunay mosaics,” Annals of Applied Probability, vol. 28, no. 5. Institute of Mathematical Statistics, pp. 3215–3238, 2018.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 9229 |
J. G. Danzl, “Diffraction-unlimited optical imaging for synaptic physiology,” Opera Medica et Physiologica, vol. 4, no. S1. Lobachevsky State University of Nizhny Novgorod, p. 11, 2018.
View
| DOI
| Download Published Version (ext.)
2018 | Conference Paper | IST-REx-ID: 6005 |
G. Avni, S. Guha, and O. Kupferman, “Timed network games with clocks,” presented at the MFCS: Mathematical Foundations of Computer Science, Liverpool, United Kingdom, 2018, vol. 117.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 20 |
J. Higareda Almaraz et al., “Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes,” BMC Genomics, vol. 19, no. 1. BioMed Central, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 40 |
N. H. Barton, “The consequences of an introgression event,” Molecular Ecology, vol. 27, no. 24. Wiley, pp. 4973–4975, 2018.
View
| Files available
| DOI
| PubMed | Europe PMC
2018 | Research Data Reference | IST-REx-ID: 9807 |
J. Higareda Almaraz et al., “Additional file 1: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes.” Springer Nature, 2018.
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Research Data Reference | IST-REx-ID: 9808 |
J. Higareda Almaraz et al., “Additional file 3: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes.” Springer Nature, 2018.
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Journal Article | IST-REx-ID: 406 |
K. Bod’Ová, G. Mitchell, R. Harpaz, E. Schneidman, and G. Tkačik, “Probabilistic models of individual and collective animal behavior,” PLoS One, vol. 13, no. 3. Public Library of Science, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 162 |
Kaucka M, Petersen J, Tesarova M, Szarowska B, Kastriti M, Xie M, Kicheva A, Annusver K, Kasper M, Symmons O, Pan L, Spitz F, Kaiser J, Hovorakova M, Zikmund T, Sunadome K, Matise MP, Wang H, Marklund U, Abdo H, Ernfors P, Maire P, Wurmser M, Chagin AS, Fried K, Adameyko I. 2018. Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage. eLife. 7, e34465.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 315 |
J. Polechova, “Is the sky the limit? On the expansion threshold of a species’ range,” PLoS Biology, vol. 16, no. 6. Public Library of Science, 2018.
View
| Files available
| DOI
2018 | Research Data Reference | IST-REx-ID: 9838 |
Kaucka M, Petersen J, Tesarova M, Szarowska B, Kastriti ME, Xie M, Kicheva A, Annusver K, Kasper M, Symmons O, Pan L, Spitz F, Kaiser J, Hovorakova M, Zikmund T, Sunadome K, Matise MP, Wang H, Marklund U, Abdo H, Ernfors P, Maire P, Wurmser M, Chagin AS, Fried K, Adameyko I. 2018. Data from: Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage, Dryad, 10.5061/dryad.f1s76f2.
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Research Data Reference | IST-REx-ID: 9837 |
R. Faria et al., “Data from: Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes.” Dryad, 2018.
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Research Data Reference | IST-REx-ID: 9831
K. Bod’Ová, G. Mitchell, R. Harpaz, E. Schneidman, and G. Tkačik, “Implementation of the inference method in Matlab.” Public Library of Science, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 9917 |
A. M. Westram et al., “Clines on the seashore: The genomic architecture underlying rapid divergence in the face of gene flow,” Evolution Letters, vol. 2, no. 4. Wiley, pp. 297–309, 2018.
View
| Files available
| DOI
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 9915 |
J. Hollander et al., “Are assortative mating and genital divergence driven by reinforcement?,” Evolution Letters, vol. 2, no. 6. Wiley, pp. 557–566, 2018.
View
| Files available
| DOI
| PubMed | Europe PMC
2018 | Research Data Reference | IST-REx-ID: 9930 |
A. M. Westram et al., “Data from: Clines on the seashore: the genomic architecture underlying rapid divergence in the face of gene flow.” Dryad, 2018.
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Research Data Reference | IST-REx-ID: 9929 |
J. Hollander et al., “Data from: Are assortative mating and genital divergence driven by reinforcement?” Dryad, 2018.
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Journal Article | IST-REx-ID: 8618 |
C. Gregor, S. C. Sidenstein, M. Andresen, S. J. Sahl, J. G. Danzl, and S. W. Hell, “Novel reversibly switchable fluorescent proteins for RESOLFT and STED nanoscopy engineered from the bacterial photoreceptor YtvA,” Scientific Reports, vol. 8. Springer Nature, 2018.
View
| Files available
| DOI
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 913 |
R. Tejos, C. Rodríguez Furlán, M. Adamowski, M. Sauer, L. Norambuena, and J. Friml, “PATELLINS are regulators of auxin mediated PIN1 relocation and plant development in Arabidopsis thaliana,” Journal of Cell Science, vol. 131, no. 2. Company of Biologists, 2018.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 35 |
K. Chatterjee, W. Dvorák, M. H. Henzinger, and A. Svozil, “Algorithms and conditional lower bounds for planning problems,” in 28th International Conference on Automated Planning and Scheduling , Delft, Netherlands, 2018.
View
| Files available
| Download None (ext.)
| arXiv
2018 | Conference Paper | IST-REx-ID: 187 |
H. Edelsbrunner and G. F. Osang, “The multi-cover persistence of Euclidean balls,” presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol. 99.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 9471 |
J. M. Frost et al., “FACT complex is required for DNA demethylation at heterochromatin during reproduction in Arabidopsis,” Proceedings of the National Academy of Sciences, vol. 115, no. 20. National Academy of Sciences, pp. E4720–E4729, 2018.
View
| Files available
| DOI
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 279 |
L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, and M. Schaefer, “Negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome,” Genome Biology, vol. 19. BioMed Central, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 82 |
W. Chaudhry et al., “Leaky resistance and the conditions for the existence of lytic bacteriophage,” PLoS Biology, vol. 16, no. 8. Public Library of Science, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 198 |
R. Ibsen-Jensen, J. Tkadlec, K. Chatterjee, and M. Nowak, “Language acquisition with communication between learners,” Journal of the Royal Society Interface, vol. 15, no. 140. Royal Society, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 316 |
K. Bodova, T. Priklopil, D. Field, N. H. Barton, and M. Pickup, “Evolutionary pathways for the generation of new self-incompatibility haplotypes in a non-self recognition system,” Genetics, vol. 209, no. 3. Genetics Society of America, pp. 861–883, 2018.
View
| Files available
| DOI
| Download Preprint (ext.)
2018 | Research Data Reference | IST-REx-ID: 9813 |
K. Bodova, T. Priklopil, D. Field, N. H. Barton, and M. Pickup, “Supplemental material for Bodova et al., 2018.” Genetics Society of America, 2018.
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Research Data Reference | IST-REx-ID: 9812 |
L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, and M. Schaefer, “Additional file 2: Of negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome.” Springer Nature, 2018.
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Research Data Reference | IST-REx-ID: 9811 |
L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, and M. Schaefer, “Additional file 1: Of negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome.” Springer Nature, 2018.
View
| Files available
| DOI
| Download Preprint (ext.)
2018 | Research Data Reference | IST-REx-ID: 9810
W. Chaudhry et al., “Numerical data used in figures.” Public Library of Science, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 448 |
Harrison M, Jongepier E, Robertson H, Arning N, Bitard Feildel T, Chao H, Childers C, Dinh H, Doddapaneni H, Dugan S, Gowin J, Greiner C, Han Y, Hu H, Hughes D, Huylmans AK, Kemena K, Kremer L, Lee S, López Ezquerra A, Mallet L, Monroy Kuhn J, Moser A, Murali S, Muzny D, Otani S, Piulachs M, Poelchau M, Qu J, Schaub F, Wada Katsumata A, Worley K, Xie Q, Ylla G, Poulsen M, Gibbs R, Schal C, Richards S, Belles X, Korb J, Bornberg Bauer E. 2018. Hemimetabolous genomes reveal molecular basis of termite eusociality. Nature Ecology and Evolution. 2(3), 557–566.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 564 |
N. H. Barton and A. Etheridge, “Establishment in a new habitat by polygenic adaptation,” Theoretical Population Biology, vol. 122, no. 7. Academic Press, pp. 110–127, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 423 |
P. Payne, L. Geyrhofer, N. H. Barton, and J. P. Bollback, “CRISPR-based herd immunity can limit phage epidemics in bacterial populations,” eLife, vol. 7. eLife Sciences Publications, 2018.
View
| Files available
| DOI
2018 | Research Data Reference | IST-REx-ID: 9841 |
Harrison MC, Jongepier E, Robertson HM, Arning N, Bitard-Feildel T, Chao H, Childers CP, Dinh H, Doddapaneni H, Dugan S, Gowin J, Greiner C, Han Y, Hu H, Hughes DST, Huylmans AK, Kemena C, Kremer LPM, Lee SL, Lopez-Ezquerra A, Mallet L, Monroy-Kuhn JM, Moser A, Murali SC, Muzny DM, Otani S, Piulachs M-D, Poelchau M, Qu J, Schaub F, Wada-Katsumata A, Worley KC, Xie Q, Ylla G, Poulsen M, Gibbs RA, Schal C, Richards S, Belles X, Korb J, Bornberg-Bauer E. 2018. Data from: Hemimetabolous genomes reveal molecular basis of termite eusociality, Dryad, 10.5061/dryad.51d4r.
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Research Data Reference | IST-REx-ID: 9840 |
P. Payne, L. Geyrhofer, N. H. Barton, and J. P. Bollback, “Data from: CRISPR-based herd immunity limits phage epidemics in bacterial populations.” Dryad, 2018.
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Conference Paper | IST-REx-ID: 6558 |
D.-A. Alistarh, Z. Allen-Zhu, and J. Li, “Byzantine stochastic gradient descent,” in Advances in Neural Information Processing Systems, Montreal, Canada, 2018, vol. 2018, pp. 4613–4623.
View
| Download Published Version (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 7 |
N. Stroeymeyt, A. V. Grasse, A. Crespi, D. Mersch, S. Cremer, and L. Keller, “Social network plasticity decreases disease transmission in a eusocial insect,” Science, vol. 362, no. 6417. NLM , pp. 941–945, 2018.
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Research Data Reference | IST-REx-ID: 13055 |
N. Stroeymeyt, A. V. Grasse, A. Crespi, D. Mersch, S. Cremer, and L. Keller, “Social network plasticity decreases disease transmission in a eusocial insect.” Zenodo, 2018.
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Research Data Reference | IST-REx-ID: 13059 |
E. Garriga et al., “Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method.” Zenodo, 2018.
View
| Files available
| DOI
| Download Published Version (ext.)
2018 | Journal Article | IST-REx-ID: 412 |
M. Adamowski, M. Narasimhan, U. Kania, M. Glanc, G. De Jaeger, and J. Friml, “A functional study of AUXILIN LIKE1 and 2 two putative clathrin uncoating factors in Arabidopsis,” The Plant Cell, vol. 30, no. 3. American Society of Plant Biologists, pp. 700–716, 2018.
View
| Files available
| DOI
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 15 |
M. Hons et al., “Chemokines and integrins independently tune actin flow and substrate friction during intranodal migration of T cells,” Nature Immunology, vol. 19, no. 6. Nature Publishing Group, pp. 606–616, 2018.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 5914 |
D. K. Rangel Guerrero, J. G. Donnett, J. L. Csicsvari, and K. Kovács, “Tetrode recording from the hippocampus of behaving mice coupled with four-point-irradiation closed-loop optogenetics: A technique to study the contribution of Hippocampal SWR events to learning,” eNeuro, vol. 5, no. 4. Society of Neuroscience, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 402 |
M. Brown et al., “Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination in mice,” Science, vol. 359, no. 6382. American Association for the Advancement of Science, pp. 1408–1411, 2018.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2018 | Thesis | IST-REx-ID: 6263 |
M. Lukacisinova, “Genetic determinants of antibiotic resistance evolution,” IST Austria, 2018.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 395 |
D.-C. Tarlungeanu, “The branched chain amino acids in autism spectrum disorders ,” IST Austria, 2018.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 51 |
M. J. Case, “From the left to the right: A tale of asymmetries, environments, and hippocampal development,” IST Austria, 2018.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 323 |
A. F. Leithner, “Branched actin networks in dendritic cell biology,” IST Austria, 2018.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 10 |
S. Laukoter, “Role of genomic imprinting in cerebral cortex development,” IST Austria, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 544 |
A. György et al., “Tools allowing independent visualization and genetic manipulation of Drosophila melanogaster macrophages and surrounding tissues,” G3: Genes, Genomes, Genetics, vol. 8, no. 3. Genetics Society of America, pp. 845–857, 2018.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 539 |
A. Hurny, “Identification and characterization of novel auxin-cytokinin cross-talk components,” IST Austria, 2018.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 48 |
I. Gridchyn, “Reactivation content is important for consolidation of spatial memory,” IST Austria, 2018.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 6266 |
C. Mckenzie, “Design and characterization of methods and biological components to realize synthetic neurotransmission ,” IST Austria, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 21 |
C. Espinoza Martinez, J. Guzmán, X. Zhang, and P. M. Jonas, “Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus,” Nature Communications, vol. 9, no. 1. Nature Publishing Group, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 67 |
C. Igler, M. Lagator, G. Tkačik, J. P. Bollback, and C. C. Guet, “Evolutionary potential of transcription factors for gene regulatory rewiring,” Nature Ecology and Evolution, vol. 2, no. 10. Nature Publishing Group, pp. 1633–1643, 2018.
View
| Files available
| DOI
2018 | Research Data | IST-REx-ID: 5585 |
C. Igler, M. Lagator, G. Tkačik, J. P. Bollback, and C. C. Guet, “Data for the paper Evolutionary potential of transcription factors for gene regulatory rewiring.” IST Austria, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 28
X. Contreras and S. Hippenmeyer, “Incorrect trafficking route leads to autism,” Brain a journal of neurology, vol. 141, no. 9. Oxford University Press, pp. 2542–2544, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 422 |
J. Kühnen, D. Scarselli, M. Schaner, and B. Hof, “Relaminarization by steady modification of the streamwise velocity profile in a pipe,” Flow Turbulence and Combustion, vol. 100, no. 4. Springer, pp. 919–942, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 461 |
J. Kühnen et al., “Destabilizing turbulence in pipe flow,” Nature Physics, vol. 14. Nature Publishing Group, pp. 386–390, 2018.
View
| Files available
| DOI
| Download Preprint (ext.)
2018 | Thesis | IST-REx-ID: 50 |
D. Capek, “Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration,” IST Austria, 2018.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 9 |
V. Belyaeva, “Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo ,” IST Austria, 2018.
View
| Files available
| DOI
2018 | Thesis | IST-REx-ID: 26 |
M. Steinrück, “The influence of sequence context on the evolution of bacterial gene expression,” IST Austria, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 449 |
T. Prat et al., “WRKY23 is a component of the transcriptional network mediating auxin feedback on PIN polarity,” PLoS Genetics, vol. 14, no. 1. Public Library of Science, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 191 |
P. Grones et al., “PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter mediates polarity switches during gravitropism,” Scientific Reports, vol. 8, no. 1. Springer, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 612 |
R. Luján et al., “Differential association of GABAB receptors with their effector ion channels in Purkinje cells,” Brain Structure and Function, vol. 223, no. 3. Springer, pp. 1565–1587, 2018.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 311 |
K. Chatterjee, A. K. Goharshady, and Y. Velner, “Quantitative analysis of smart contracts,” presented at the ESOP: European Symposium on Programming, Thessaloniki, Greece, 2018, vol. 10801, pp. 739–767.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 6009 |
K. Chatterjee, R. Ibsen-Jensen, A. K. Goharshady, and A. Pavlogiannis, “Algorithms for algebraic path properties in concurrent systems of constant treewidth components,” ACM Transactions on Programming Languages and Systems, vol. 40, no. 3. Association for Computing Machinery (ACM), 2018.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Conference Paper | IST-REx-ID: 5977 |
K. Chatterjee, H. Fu, A. K. Goharshady, and N. Okati, “Computational approaches for stochastic shortest path on succinct MDPs,” in Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, Stockholm, Sweden, 2018, vol. 2018, pp. 4700–4707.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Conference Paper | IST-REx-ID: 66 |
K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and Y. Velner, “Ergodic mean-payoff games for the analysis of attacks in crypto-currencies,” presented at the CONCUR: Conference on Concurrency Theory, Beijing, China, 2018, vol. 118.
View
| Files available
| DOI
| arXiv
2018 | Conference Paper | IST-REx-ID: 6340 |
A. K. Goharshady, A. Behrouz, and K. Chatterjee, “Secure Credit Reporting on the Blockchain,” in Proceedings of the IEEE International Conference on Blockchain, Halifax, Canada, 2018, pp. 1343–1348.
View
| Files available
| DOI
| arXiv
2018 | Journal Article | IST-REx-ID: 442 |
L. Li, G. Krens, M. Fendrych, and J. Friml, “Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls,” Bio-protocol, vol. 8, no. 1. Bio-protocol, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 47
R. Abualia, E. Benková, and B. Lacombe, “Transporters and mechanisms of hormone transport in arabidopsis,” Advances in Botanical Research, vol. 87. Elsevier, pp. 115–138, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 2 |
C. Hilbe, L. Schmid, J. Tkadlec, K. Chatterjee, and M. Nowak, “Indirect reciprocity with private, noisy, and incomplete information,” PNAS, vol. 115, no. 48. National Academy of Sciences, pp. 12241–12246, 2018.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 5816 |
A. Hollmann, D. Jirovec, M. Kucharski, D. Kissinger, G. Fischer, and L. R. Schreiber, “30 GHz-voltage controlled oscillator operating at 4 K,” Review of Scientific Instruments, vol. 89, no. 11. AIP Publishing, 2018.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 1000 |
A. Kolesnikov and C. Lampert, “PixelCNN models with auxiliary variables for natural image modeling,” in 34th International Conference on Machine Learning, Sydney, Australia, 2017, vol. 70, pp. 1905–1914.
View
| Download Submitted Version (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 1004 |
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: 1007 |
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 |
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 | Conference Paper | IST-REx-ID: 1011 |
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 |
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 |
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: 1017 |
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