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.

3831 Publications


2018 | Journal Article | IST-REx-ID: 326 | OA
K. Sawada, R. Kawakami, R. Shigemoto, and T. Nemoto, “Super resolution structural analysis of dendritic spines using three-dimensional structured illumination microscopy in cleared mouse brain slices,” European Journal of Neuroscience, vol. 47, no. 9. Wiley, pp. 1033–1042, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 327 | OA
A. Michailidis, M. Žnidarič, M. Medvedyeva, D. Abanin, T. Prosen, and Z. Papić, “Slow dynamics in translation-invariant quantum lattice models,” Physical Review B, vol. 97, no. 10. American Physical Society, 2018.
View | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 328 | OA
G. H. Choueiri, J. M. Lopez Alonso, and B. Hof, “Exceeding the asymptotic limit of polymer drag reduction,” Physical Review Letters, vol. 120, no. 12. American Physiological Society, 2018.
View | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 33 | OA
J. Bertl, H. Ringbauer, and M. Blum, “Can secondary contact following range expansion be distinguished from barriers to gene flow?,” PeerJ, vol. 2018, no. 10. PeerJ Inc , 2018.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Book | IST-REx-ID: 3300
E. M. Clarke, T. A. Henzinger, H. Veith, and R. Bloem, Handbook of Model Checking, 1st ed. Cham: Springer Nature, 2018.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 34 | OA
K. Chatterjee, M. Chemlík, and U. Topcu, “Sensor synthesis for POMDPs with reachability objectives,” presented at the ICAPS: International Conference on Automated Planning and Scheduling, Delft, Netherlands, 2018, vol. 2018, pp. 47–55.
View | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 78 | OA
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 | Conference Paper | IST-REx-ID: 7812 | OA
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 | OA
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: 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 | Conference Paper | IST-REx-ID: 81 | OA
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: 82 | OA
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 | Thesis | IST-REx-ID: 83 | OA
H. M. Abusalah, “Proof systems for sustainable decentralized cryptocurrencies,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 8437
G. Mas et al., “Structural investigation of a chaperonin in action reveals how nucleotide binding regulates the functional cycle,” Science Advances, vol. 4, no. 9. American Association for the Advancement of Science, 2018.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 85 | OA
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 | OA
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 | OA
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: 8618 | OA
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: 442 | OA
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: 446 | OA
R. Frank, P. Nam, and H. Van Den Bosch, “The ionization conjecture in Thomas–Fermi–Dirac–von Weizsäcker theory,” Communications on Pure and Applied Mathematics, vol. 71, no. 3. Wiley-Blackwell, pp. 577–614, 2018.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 448 | OA
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: 454 | OA
J. Reiter, C. Hilbe, D. Rand, K. Chatterjee, and M. Nowak, “Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness,” Nature Communications, vol. 9, no. 1. Nature Publishing Group, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 455 | OA
N. P. Benedikter, J. Sok, and J. Solovej, “The Dirac–Frenkel principle for reduced density matrices and the Bogoliubov–de Gennes equations,” Annales Henri Poincare, vol. 19, no. 4. Birkhäuser, pp. 1167–1214, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 456
G. Novarino, “Zika-associated microcephaly: Reduce the stress and race for the treatment,” Science Translational Medicine, vol. 10, no. 423. American Association for the Advancement of Science, 2018.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 457
M. Pleska, M. Lang, D. Refardt, B. Levin, and C. C. Guet, “Phage-host population dynamics promotes prophage acquisition in bacteria with innate immunity,” Nature Ecology and Evolution, vol. 2, no. 2. Springer Nature, pp. 359–366, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 458 | OA
A. Akopyan and A. Bobenko, “Incircular nets and confocal conics,” Transactions of the American Mathematical Society, vol. 370, no. 4. American Mathematical Society, pp. 2825–2854, 2018.
View | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 46 | OA
D. Hetterich, N. Yao, M. Serbyn, F. Pollmann, and B. Trauzettel, “Detection and characterization of many-body localization in central spin models,” Physical Review B, vol. 98, no. 16. American Physical Society, 2018.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 462 | OA
L. Fan et al., “NHX antiporters regulate the pH of endoplasmic reticulum and auxin-mediated development,” Plant, Cell and Environment, vol. 41. Wiley-Blackwell, pp. 850–864, 2018.
View | Files available | DOI | PubMed | Europe PMC
 

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 | Thesis | IST-REx-ID: 49 | OA
H. Watzinger, “Ge hut wires - from growth to hole spin resonance,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 503
K. Tomasek, T. Bergmiller, and C. C. Guet, “Lack of cations in flow cytometry buffers affect fluorescence signals by reducing membrane stability and viability of Escherichia coli strains,” Journal of Biotechnology, vol. 268. Elsevier, pp. 40–52, 2018.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 519 | OA
S. Altmeyer, “Non-linear dynamics and alternating ‘flip’ solutions in ferrofluidic Taylor-Couette flow,” Journal of Magnetism and Magnetic Materials, vol. 452. Elsevier, pp. 427–441, 2018.
View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 52 | OA
T. Moser, “Point interactions in systems of fermions,” IST Austria, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 53 | OA
B. Petritsch and J. Porsche, “IST PubRep and IST DataRep: the institutional repositories at IST Austria,” VÖB Mitteilungen, vol. 71, no. 1. Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare, pp. 199–206, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 530 | OA
H. Edelsbrunner and M. Iglesias Ham, “Multiple covers with balls I: Inclusion–exclusion,” Computational Geometry: Theory and Applications, vol. 68. Elsevier, pp. 119–133, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 536 | OA
D.-A. Alistarh, J. Aspnes, V. King, and J. Saia, “Communication-efficient randomized consensus,” Distributed Computing, vol. 31, no. 6. Springer, pp. 489–501, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 54
D. C. Nunes Pinheiro and Y. Bellaïche, “Mechanical force-driven adherents junction remodeling and epithelial dynamics,” Developmental Cell, vol. 47, no. 1. Cell Press, pp. 3–19, 2018.
View | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 542 | OA
R. K. Kelemen and B. Vicoso, “Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver,” Genetics, vol. 208, no. 1. Genetics Society of America, pp. 365–375, 2018.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 543 | OA
M. J. Chalk, O. Marre, and G. Tkačik, “Toward a unified theory of efficient, predictive, and sparse coding,” PNAS, vol. 115, no. 1. National Academy of Sciences, pp. 186–191, 2018.
View | DOI | Download Submitted Version (ext.)
 

2018 | Technical Report | IST-REx-ID: 5457 | OA
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, and 6 Anonymous, Cost analysis of nondeterministic probabilistic programs. IST Austria, 2018.
View | Files available
 

2018 | Journal Article | IST-REx-ID: 546
R. Sacco, E. Cacci, and G. Novarino, “Neural stem cells in neuropsychiatric disorders,” Current Opinion in Neurobiology, vol. 48, no. 2. Elsevier, pp. 131–138, 2018.
View | DOI
 

2018 | Journal Article | IST-REx-ID: 55 | OA
C. Pull, S. Metzler, E. Naderlinger, and S. Cremer, “Protection against the lethal side effects of social immunity in ants,” Current Biology, vol. 28, no. 19. Cell Press, pp. R1139–R1140, 2018.
View | DOI | Download Published Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 554 | OA
M. M. Napiórkowski, R. Reuvers, and J. Solovej, “The Bogoliubov free energy functional II: The dilute Limit,” Communications in Mathematical Physics, vol. 360, no. 1. Springer, pp. 347–403, 2018.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 555 | OA
R. Richter, N. S. Baranova, A. Day, and J. Kwok, “Glycosaminoglycans in extracellular matrix organisation: Are concepts from soft matter physics key to understanding the formation of perineuronal nets?,” Current Opinion in Structural Biology, vol. 50. Elsevier, pp. 65–74, 2018.
View | DOI | Download Submitted Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 556 | OA
D. Betea, J. Bouttier, P. Nejjar, and M. Vuletic, “The free boundary Schur process and applications I,” Annales Henri Poincare, vol. 19, no. 12. Fakultät für Mathematik Universität Wien, pp. 3663–3742, 2018.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5569 | OA
T. Bergmiller and N. Nikolic, “Time-lapse microscopy data.” IST Austria, 2018.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5573 | OA
H. Alhaija, A. Sellent, D. Kondermann, and C. Rother, “Graph matching problems for GraphFlow – 6D Large Displacement Scene Flow.” IST Austria, 2018.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5574 | OA
M. Villányi, “Data Check IOP Scopus vs. Publisher.” IST Austria, 2018.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5575 | OA
M. Villányi, “Data Check RSC Scopus vs. FWF.” IST Austria, 2018.
View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5576 | OA
M. Villányi, “Data Check T&F Scopus vs. FWF.” IST Austria, 2018.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications