ISTA Research Explorer

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.

5046 Publications

2018 | Journal Article | IST-REx-ID: 306 |

De Martino A, De Martino D. An introduction to the maximum entropy approach and its application to inference problems in biology. Heliyon. 2018;4(4). doi:10.1016/j.heliyon.2018.e00596

[Published Version] View | Files available | DOI

2018 | Book | IST-REx-ID: 3300

Clarke EM, Henzinger TA, Veith H, Bloem R. Handbook of Model Checking. 1st ed. Cham: Springer Nature; 2018. doi:10.1007/978-3-319-10575-8

View | DOI

2018 | Book Chapter | IST-REx-ID: 37 |

Zagórski MP, Kicheva A. Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube. In: Morphogen Gradients . Vol 1863. MIMB. Springer Nature; 2018:47-63. doi:10.1007/978-1-4939-8772-6_4

[Submitted Version] View | Files available | DOI

2018 | Journal Article | IST-REx-ID: 305

Misun P, Birchler A, Lang M, Hierlemann A, Frey O. Fabrication and operation of microfluidic hanging drop networks. Methods in Molecular Biology. 2018;1771:183-202. doi:10.1007/978-1-4939-7792-5_15

View | DOI

2018 | Conference Paper | IST-REx-ID: 325 |

Agrawal S, Chatterjee K, Novotný P. Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs. In: Vol 2. ACM; 2018. doi:10.1145/3158122

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2018 | Book Chapter | IST-REx-ID: 408

Trinh H, Verstraeten I, Geelen D. In vitro assay for induction of adventitious rooting on intact arabidopsis hypocotyls. In: Root Development . Vol 1761. Springer Nature; 2018:95-102. doi:10.1007/978-1-4939-7747-5_7

View | DOI | PubMed | Europe PMC

2018 | Book Chapter | IST-REx-ID: 411

Karampelias M, Tejos R, Friml J, Vanneste S. Optimized whole mount in situ immunolocalization for Arabidopsis thaliana root meristems and lateral root primordia. In: Ristova D, Barbez E, eds. Root Development. Methods and Protocols. Vol 1761. MIMB. Springer; 2018:131-143. doi:10.1007/978-1-4939-7747-5_10

View | DOI

2018 | Journal Article | IST-REx-ID: 456

Novarino G. Zika-associated microcephaly: Reduce the stress and race for the treatment. Science Translational Medicine. 2018;10(423). doi:10.1126/scitranslmed.aar7514

View | DOI

2018 | Journal Article | IST-REx-ID: 53 |

Petritsch B, Porsche J. IST PubRep and IST DataRep: the institutional repositories at IST Austria. VÖB Mitteilungen. 2018;71(1):199-206. doi:10.31263/voebm.v71i1.1993

[Published Version] View | Files available | DOI

2018 | Journal Article | IST-REx-ID: 536 |

Alistarh D-A, Aspnes J, King V, Saia J. Communication-efficient randomized consensus. Distributed Computing. 2018;31(6):489-501. doi:10.1007/s00446-017-0315-1

[Published Version] View | Files available | DOI

2018 | Journal Article | IST-REx-ID: 554 |

Napiórkowski MM, Reuvers R, Solovej J. The Bogoliubov free energy functional II: The dilute Limit. Communications in Mathematical Physics. 2018;360(1):347-403. doi:10.1007/s00220-017-3064-x

[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv

2018 | Book Chapter | IST-REx-ID: 562 |

Dimitrov D, Guillaud L, Eguchi K, Takahashi T. Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses. In: Skaper SD, ed. Neurotrophic Factors. Vol 1727. Springer; 2018:201-215. doi:10.1007/978-1-4939-7571-6_15

[Submitted Version] View | Files available | DOI | PubMed | Europe PMC

2018 | Book Chapter | IST-REx-ID: 59

Bloem R, Chatterjee K, Jobstmann B. Graph games and reactive synthesis. In: Henzinger TA, Clarke EM, Veith H, Bloem R, eds. Handbook of Model Checking. 1st ed. Springer; 2018:921-962. doi:10.1007/978-3-319-10575-8_27

View | DOI

2018 | Book Chapter | IST-REx-ID: 60

Clarke E, Henzinger TA, Veith H. Introduction to model checking. In: Henzinger TA, ed. Handbook of Model Checking. Handbook of Model Checking. Springer; 2018:1-26. doi:10.1007/978-3-319-10575-8_1

View | DOI

2018 | Book Chapter | IST-REx-ID: 61 |

Bondarenko A, Mellit A, Prymak A, Radchenko D, Viazovska M. There is no strongly regular graph with parameters (460; 153; 32; 60). In: Contemporary Computational Mathematics. Springer; 2018:131-134. doi:10.1007/978-3-319-72456-0_7

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2018 | Journal Article | IST-REx-ID: 6354 |

Fan S, Lorenz M, Massberg S, Gärtner FR. Platelet migration and bacterial trapping assay under flow. Bio-Protocol. 2018;8(18). doi:10.21769/bioprotoc.3018

[Published Version] View | Files available | DOI

2018 | Conference Poster | IST-REx-ID: 6459 |

Petritsch B. Open Access at IST Austria 2009-2017. IST Austria; 2018. doi:10.5281/zenodo.1410279

[Published Version] View | Files available | DOI

2018 | Book Chapter | IST-REx-ID: 6525

Hausel T, Mellit A, Pei D. Mirror symmetry with branes by equivariant verlinde formulas. In: Geometry and Physics: Volume I. Oxford University Press; 2018:189-218. doi:10.1093/oso/9780198802013.003.0009

View | DOI

2018 | Journal Article | IST-REx-ID: 690 |

Lee J, Schnelli K. Local law and Tracy–Widom limit for sparse random matrices. Probability Theory and Related Fields. 2018;171(1-2). doi:10.1007/s00440-017-0787-8

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2018 | Journal Article | IST-REx-ID: 703 |

Shekhovtsov A, Swoboda P, Savchynskyy B. Maximum persistency via iterative relaxed inference with graphical models. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2018;40(7):1668-1682. doi:10.1109/TPAMI.2017.2730884

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2018 | Conference Paper | IST-REx-ID: 7116 |

Grubic D, Tam L, Alistarh D-A, Zhang C. Synchronous multi-GPU training for deep learning with low-precision communications: An empirical study. In: Proceedings of the 21st International Conference on Extending Database Technology. OpenProceedings; 2018:145-156. doi:10.5441/002/EDBT.2018.14

[Published Version] View | Files available | DOI

2018 | Conference Paper | IST-REx-ID: 7407 |

Pietrzak KZ. Proofs of catalytic space. In: 10th Innovations in Theoretical Computer Science Conference (ITCS 2019). Vol 124. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018:59:1-59:25. doi:10.4230/LIPICS.ITCS.2019.59

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2018 | Journal Article | IST-REx-ID: 6001

Alistarh D-A, Leiserson W, Matveev A, Shavit N. ThreadScan: Automatic and scalable memory reclamation. ACM Transactions on Parallel Computing. 2018;4(4). doi:10.1145/3201897

View | Files available | DOI

2018 | Conference Paper | IST-REx-ID: 7812 |

Polino A, Pascanu R, Alistarh D-A. Model compression via distillation and quantization. In: 6th International Conference on Learning Representations. ; 2018.

[Published Version] View | Files available | arXiv

2018 | Preprint | IST-REx-ID: 8547 |

Llorca A, Ciceri G, Beattie RJ, et al. Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture. bioRxiv. doi:10.1101/494088

[Preprint] View | DOI | Download Preprint (ext.)

2018 | Book Chapter | IST-REx-ID: 86 |

Chatterjee K, Henzinger TA, Otop J. Computing average response time. In: Lohstroh M, Derler P, Sirjani M, eds. Principles of Modeling. Vol 10760. Springer; 2018:143-161. doi:10.1007/978-3-319-95246-8_9

[Submitted Version] View | Files available | DOI

2018 | Journal Article | IST-REx-ID: 9229 |

Danzl JG. Diffraction-unlimited optical imaging for synaptic physiology. Opera Medica et Physiologica. 2018;4(S1):11. doi:10.20388/omp2018.00s1.001

[Published Version] View | DOI | Download Published Version (ext.)

2018 | Conference Paper | IST-REx-ID: 6005 |

Avni G, Guha S, Kupferman O. Timed network games with clocks. In: Vol 117. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPICS.MFCS.2018.23

[Published Version] View | Files available | DOI

2018 | Journal Article | IST-REx-ID: 315 |

Polechova J. Is the sky the limit? On the expansion threshold of a species’ range. PLoS Biology. 2018;16(6). doi:10.1371/journal.pbio.2005372

[Published Version] View | Files available | DOI

2018 | Journal Article | IST-REx-ID: 9471 |

Frost JM, Kim MY, Park GT, et al. FACT complex is required for DNA demethylation at heterochromatin during reproduction in Arabidopsis. Proceedings of the National Academy of Sciences. 2018;115(20):E4720-E4729. doi:10.1073/pnas.1713333115

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2018 | Conference Paper | IST-REx-ID: 186 |

Fulek R, Kynčl J. The ℤ2-Genus of Kuratowski minors. In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018:40.1-40.14. doi:10.4230/LIPIcs.SoCG.2018.40

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv

2018 | Conference Paper | IST-REx-ID: 433 |

Fulek R, Pach J. Thrackles: An improved upper bound. In: Vol 10692. Springer; 2018:160-166. doi:10.1007/978-3-319-73915-1_14

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv

2018 | Research Data Reference | IST-REx-ID: 9837 |

Faria R, Chaube P, Morales HE, et al. Data from: Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes. 2018. doi:10.5061/dryad.72cg113

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2018 | Book Chapter | IST-REx-ID: 10864 |

Kazda A, Kozik M, McKenzie R, Moore M. Absorption and directed Jónsson terms. In: Czelakowski J, ed. Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science. Vol 16. OCTR. Cham: Springer Nature; 2018:203-220. doi:10.1007/978-3-319-74772-9_7

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2018 | Conference Paper | IST-REx-ID: 184 |

Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. Shellability is NP-complete. In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018:41:1-41:16. doi:10.4230/LIPIcs.SoCG.2018.41

[Published Version] View | Files available | DOI

2018 | Conference Paper | IST-REx-ID: 285 |

Huszár K, Spreer J, Wagner U. On the treewidth of triangulated 3-manifolds. In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPIcs.SoCG.2018.46

[Submitted Version] View | Files available | DOI | arXiv

2018 | Research Data Reference | IST-REx-ID: 13059 |

Garriga E, di Tommaso P, Magis C, et al. Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method. 2018. doi:10.5281/ZENODO.2025846

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2018 | Thesis | IST-REx-ID: 49 |

Watzinger H. Ge hut wires - from growth to hole spin resonance. 2018. doi:10.15479/AT:ISTA:th_1033

[Published Version] View | Files available | DOI

2018 | Thesis | IST-REx-ID: 201 |

Iglesias Ham M. Multiple covers with balls. 2018. doi:10.15479/AT:ISTA:th_1026

[Published Version] View | Files available | DOI

2018 | Thesis | IST-REx-ID: 68 |

Zimin A. Learning from dependent data. 2018. doi:10.15479/AT:ISTA:TH1048

[Published Version] View | Files available | DOI

2018 | Thesis | IST-REx-ID: 83 |

Abusalah HM. Proof systems for sustainable decentralized cryptocurrencies. 2018. doi:10.15479/AT:ISTA:TH_1046

[Published Version] View | Files available | DOI

2018 | Thesis | IST-REx-ID: 197 |

Kolesnikov A. Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images. 2018. doi:10.15479/AT:ISTA:th_1021

[Published Version] View | Files available | DOI

2018 | Journal Article | IST-REx-ID: 6774 |

Filakovský M, Franek P, Wagner U, Zhechev SY. Computing simplicial representatives of homotopy group elements. Journal of Applied and Computational Topology. 2018;2(3-4):177-231. doi:10.1007/s41468-018-0021-5

[Published Version] View | Files available | DOI

2018 | Conference Paper | IST-REx-ID: 133 |

Kragl B, Qadeer S, Henzinger TA. Synchronizing the asynchronous. In: Vol 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPIcs.CONCUR.2018.21

[Published Version] View | Files available | DOI

2018 | Conference Paper | IST-REx-ID: 187 |

Edelsbrunner H, Osang GF. The multi-cover persistence of Euclidean balls. In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPIcs.SoCG.2018.34

[Published Version] View | Files available | DOI

2018 | Journal Article | IST-REx-ID: 692 |

Akopyan A. 3-Webs generated by confocal conics and circles. Geometriae Dedicata. 2018;194(1):55-64. doi:10.1007/s10711-017-0265-6

[Published Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 77 |

Watzinger H, Kukucka J, Vukušić L, et al. A germanium hole spin qubit. Nature Communications. 2018;9(3902). doi:10.1038/s41467-018-06418-4

[Published Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 401 |

Qin X, Hannezo EB, Mangeat T, et al. A biochemical network controlling basal myosin oscillation. Nature Communications. 2018;9(1). doi:10.1038/s41467-018-03574-5

[Published Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 318 |

Casano AM, Sixt MK. A fat lot of good for wound healing. Developmental Cell. 2018;44(4):405-406. doi:10.1016/j.devcel.2018.02.009

2018 | Journal Article | IST-REx-ID: 410 |

Masís J, Mankus D, Wolff S, Guitchounts G, Jösch MA, Cox D. A micro-CT-based method for quantitative brain lesion characterization and electrode localization. Scientific Reports. 2018;8(1). doi:10.1038/s41598-018-23247-z

[Published Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 277 |

Dokládal L, Benková E, Honys D, et al. An armadillo-domain protein participates in a telomerase interaction network. Plant Molecular Biology. 2018;97(5):407-420. doi:10.1007/s11103-018-0747-4

[Submitted Version] View | Files available | DOI | WoS

2018 | Conference Paper | IST-REx-ID: 299 |

Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. In: Beyer D, Huisman M, eds. Vol 10806. Springer; 2018:303-319. doi:10.1007/978-3-319-89963-3_18

[Published Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 413 |

Konrad M, Pull C, Metzler S, et al. Ants avoid superinfections by performing risk-adjusted sanitary care. PNAS. 2018;115(11):2782-2787. doi:10.1073/pnas.1713501115

2018 | Journal Article | IST-REx-ID: 195 |

Yakaboylu E, Lemeshko M. Anyonic statistics of quantum impurities in two dimensions. Physical Review B - Condensed Matter and Materials Physics. 2018;98(4). doi:10.1103/PhysRevB.98.045402

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv

2018 | Conference Paper | IST-REx-ID: 144

Ferrere T, Henzinger TA, Saraç E. A theory of register monitors. In: Vol Part F138033. IEEE; 2018:394-403. doi:10.1145/3209108.3209194

View | DOI | WoS

2018 | Journal Article | IST-REx-ID: 203 |

Abbas M, Hernández GJ, Pollmann S, et al. Auxin methylation is required for differential growth in Arabidopsis. PNAS. 2018;115(26):6864-6869. doi:10.1073/pnas.1806565115

View | DOI | Download None (ext.) | WoS

2018 | Journal Article | IST-REx-ID: 399 |

Napiórkowski MM, Reuvers R, Solovej J. Calculation of the critical temperature of a dilute Bose gas in the Bogoliubov approximation. EPL. 2018;121(1). doi:10.1209/0295-5075/121/10007

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2018 | Journal Article | IST-REx-ID: 5830 |

Zhang L, Shi X, Zhang Y, Wang J, Yang J, Ishida T, Jiang W, Han X, Kang J, Wang X, Pan L, Lv S, Cao B, Zhang Y, Wu J, Han H, Hu Z, Cui L, Sawa S, He J, 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.

2018 | Journal Article | IST-REx-ID: 288 |

Lilja A, Rodilla V, Huyghe M, et al. Clonal analysis of Notch1-expressing cells reveals the existence of unipotent stem cells that retain long-term plasticity in the embryonic mammary gland. Nature Cell Biology. 2018;20(6):677-687. doi:10.1038/s41556-018-0108-1

2018 | Journal Article | IST-REx-ID: 304 |

Auzinger T, Heidrich W, Bickel B. Computational design of nanostructural color for additive manufacturing. ACM Transactions on Graphics. 2018;37(4). doi:10.1145/3197517.3201376

[Submitted Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 12 |

Nakashima K, Auzinger T, Iarussi E, Zhang R, Igarashi T, Bickel B. CoreCavity: Interactive shell decomposition for fabrication with two-piece rigid molds. ACM Transaction on Graphics. 2018;37(4). doi:10.1145/3197517.3201341

[Submitted Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 454 |

Reiter J, Hilbe C, Rand D, Chatterjee K, Nowak M. Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness. Nature Communications. 2018;9(1). doi:10.1038/s41467-017-02721-8

[Published Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 320 |

Hu H, Roth F, Vandael DH, Jonas PM. Complementary tuning of Na+ and K+ channel gating underlies fast and energy-efficient action potentials in GABAergic interneuron axons. Neuron. 2018;98(1):156-165. doi:10.1016/j.neuron.2018.02.024

[Published Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 423 |

Payne P, Geyrhofer L, Barton NH, Bollback JP. CRISPR-based herd immunity can limit phage epidemics in bacterial populations. eLife. 2018;7. doi:10.7554/eLife.32035

[Published Version] View | Files available | DOI | WoS

2018 | Conference Paper | IST-REx-ID: 5791 |

Fulek R, Tóth CD. Crossing minimization in perturbed drawings. In: Vol 11282. Springer; 2018:229-241. doi:10.1007/978-3-030-04414-5_16

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2018 | Journal Article | IST-REx-ID: 291 |

Budanur NB, Hof B. Complexity of the laminar-turbulent boundary in pipe flow. Physical Review Fluids. 2018;3(5). doi:10.1103/PhysRevFluids.3.054401

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2018 | Journal Article | IST-REx-ID: 58 |

Akopyan A, Segal Halevi E. Counting blanks in polygonal arrangements. SIAM Journal on Discrete Mathematics. 2018;32(3):2242-2257. doi:10.1137/16M110407X

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2018 | Research Data Reference | IST-REx-ID: 9840 |

Payne P, Geyrhofer L, Barton NH, Bollback JP. Data from: CRISPR-based herd immunity limits phage epidemics in bacterial populations. 2018. doi:10.5061/dryad.42n44

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2018 | Journal Article | IST-REx-ID: 616 |

Pull C, Ugelvig LV, Wiesenhofer F, et al. Destructive disinfection of infected brood prevents systemic disease spread in ant colonies. eLife. 2018;7. doi:10.7554/eLife.32073

[Published Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 132 |

Sznurkowska M, Hannezo EB, Azzarelli R, et al. Defining lineage potential and fate behavior of precursors during pancreas development. Developmental Cell. 2018;46(3):360-375. doi:10.1016/j.devcel.2018.06.028

[Published Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 42 |

Cucinotta M, Manrique S, Cuesta C, Benková E, Novák O, Colombo L. Cup-shaped Cotyledon1 (CUC1) and CU2 regulate cytokinin homeostasis to determine ovule number in arabidopsis. Journal of Experimental Botany. 2018;69(21):5169-5176. doi:10.1093/jxb/ery281

[Published Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 407

Kubiasová K, Mik V, Nisler J, et al. Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins. Phytochemistry. 2018;150:1-11. doi:10.1016/j.phytochem.2018.02.015

View | DOI | WoS

2018 | Journal Article | IST-REx-ID: 46 |

Hetterich D, Yao N, Serbyn M, Pollmann F, Trauzettel B. Detection and characterization of many-body localization in central spin models. Physical Review B. 2018;98(16). doi:10.1103/PhysRevB.98.161122

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2018 | Journal Article | IST-REx-ID: 308 |

Ratheesh A, Bicher J, Smutny M, et al. Drosophila TNF modulates tissue tension in the embryo to facilitate macrophage invasive migration. Developmental Cell. 2018;45(3):331-346. doi:10.1016/j.devcel.2018.04.002

2018 | Journal Article | IST-REx-ID: 17 |

Varshney A, Steinberg V. Drag enhancement and drag reduction in viscoelastic flow. Physical Review Fluids. 2018;3(10). doi:10.1103/PhysRevFluids.3.103302

[Published Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 281 |

Granados A, Pietsch J, Cepeda Humerez SA, Farquhar I, Tkačik G, Swain P. Distributed and dynamic intracellular organization of extracellular information. PNAS. 2018;115(23):6088-6093. doi:10.1073/pnas.1716659115

2018 | Journal Article | IST-REx-ID: 620 |

Yamamoto W, Wada S, Nagano M, et al. Distinct roles for plasma membrane PtdIns 4 P and PtdIns 4 5 P2 during yeast receptor mediated endocytosis. Journal of Cell Science. 2018;131(1). doi:10.1242/jcs.207696

2018 | Conference Paper | IST-REx-ID: 182 |

Bakhirkin A, Ferrere T, Maler O. Efficient parametric identification for STL. In: Proceedings of the 21st International Conference on Hybrid Systems. ACM; 2018:177-186. doi:10.1145/3178126.3178132

[Submitted Version] View | Files available | DOI | WoS

2018 | Conference Paper | IST-REx-ID: 143 |

Brázdil T, Chatterjee K, Kučera A, Novotný P, Velan D, Zuleger F. Efficient algorithms for asymptotic bounds on termination time in VASS. In: Vol F138033. IEEE; 2018:185-194. doi:10.1145/3209108.3209191

[Preprint] View | DOI | Download Preprint (ext.) | WoS

2018 | Conference Paper | IST-REx-ID: 273 |

Mohapatra P, Rolinek M, Jawahar CV, Kolmogorov V, Kumar MP. Efficient optimization for rank-based loss functions. In: 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition. IEEE; 2018:3693-3701. doi:10.1109/cvpr.2018.00389

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2018 | Journal Article | IST-REx-ID: 289 |

Zibrov A, Rao P, Kometter C, et al. Emergent dirac gullies and gully-symmetry-breaking quantum hall states in ABA trilayer graphene. Physical Review Letters. 2018;121(16). doi:10.1103/PhysRevLett.121.167601

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2018 | Journal Article | IST-REx-ID: 287 |

Salari V, Barzanjeh S, Cifra M, et al. Electromagnetic fields and optomechanics In cancer diagnostics and treatment. Frontiers in Bioscience - Landmark. 2018;23(8):1391-1406. doi:10.2741/4651

2018 | Journal Article | IST-REx-ID: 425 |

Matoušek J, Sedgwick E, Tancer M, Wagner U. Embeddability in the 3-Sphere is decidable. Journal of the ACM. 2018;65(1). doi:10.1145/3078632

2018 | Journal Article | IST-REx-ID: 564 |

Barton NH, Etheridge A. Establishment in a new habitat by polygenic adaptation. Theoretical Population Biology. 2018;122(7):110-127. doi:10.1016/j.tpb.2017.11.007

[Submitted Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 157 |

Hilbe C, Šimsa Š, Chatterjee K, Nowak M. Evolution of cooperation in stochastic games. Nature. 2018;559(7713):246-249. doi:10.1038/s41586-018-0277-x

[Submitted Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 384 |

Hönigschmid P, Bykova N, Schneider R, Ivankov D, Frishman D. Evolutionary interplay between symbiotic relationships and patterns of signal peptide gain and loss. Genome Biology and Evolution. 2018;10(3):928-938. doi:10.1093/gbe/evy049

[Published Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 563 |

Ringbauer H, Kolesnikov A, Field D, Barton NH. Estimating barriers to gene flow from distorted isolation-by-distance patterns. Genetics. 2018;208(3):1231-1245. doi:10.1534/genetics.117.300638

[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS

2018 | Journal Article | IST-REx-ID: 135 |

Sato T, Wojtan C, Thuerey N, Igarashi T, Ando R. Extended narrow band FLIP for liquid simulations. Computer Graphics Forum. 2018;37(2):169-177. doi:10.1111/cgf.13351

[Submitted Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 316 |

Bodova K, Priklopil T, Field D, Barton NH, Pickup M. Evolutionary pathways for the generation of new self-incompatibility haplotypes in a non-self recognition system. Genetics. 2018;209(3):861-883. doi:10.1534/genetics.118.300748

[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS

2018 | Journal Article | IST-REx-ID: 190 |

Harrison M, Arning N, Kremer L, et al. Expansions of key protein families in the German cockroach highlight the molecular basis of its remarkable success as a global indoor pest. Journal of Experimental Zoology Part B: Molecular and Developmental Evolution. 2018;330:254-264. doi:10.1002/jez.b.22824

2018 | Journal Article | IST-REx-ID: 404 |

Fischer JL, Grün G. Existence of positive solutions to stochastic thin-film equations. SIAM Journal on Mathematical Analysis. 2018;50(1):411-455. doi:10.1137/16M1098796

[Published Version] View | Files available | DOI | WoS

2018 | Research Data Reference | IST-REx-ID: 9813 |

Bodova K, Priklopil T, Field D, Barton NH, Pickup M. Supplemental material for Bodova et al., 2018. 2018. doi:10.25386/genetics.6148304.v1

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2018 | Journal Article | IST-REx-ID: 5780 |

Kotlobay AA, Sarkisyan K, Mokrushina YA, Marcet-Houben M, Serebrovskaya EO, Markina NM, Gonzalez Somermeyer L, Gorokhovatsky AY, Vvedensky A, Purtov KV, Petushkov VN, Rodionova NS, Chepurnyh TV, Fakhranurova L, Guglya EB, Ziganshin R, Tsarkova AS, Kaskova ZM, Shender V, Abakumov M, Abakumova TO, Povolotskaya IS, Eroshkin FM, Zaraisky AG, Mishin AS, Dolgov SV, Mitiouchkina TY, Kopantzev EP, Waldenmaier HE, Oliveira AG, Oba Y, Barsova E, Bogdanova EA, Gabaldón T, Stevani CV, Lukyanov S, Smirnov IV, Gitelson JI, Kondrashov F, Yampolsky IV. 2018. Genetically encodable bioluminescent system from fungi. Proceedings of the National Academy of Sciences of the United States of America. 115(50), 12728–12732.

[Published Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 428 |

Salanenka Y, Verstraeten I, Löfke C, et al. Gibberellin DELLA signaling targets the retromer complex to redirect protein trafficking to the plasma membrane. PNAS. 2018;115(14):3716-3721. doi:10.1073/pnas.1721760115

[Published Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 62 |

Shabazi A, Kinnison J, Vescovi R, et al. Flexible learning-free segmentation and reconstruction of neural volumes. Scientific Reports. 2018;8(1). doi:10.1038/s41598-018-32628-3

[Published Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 437 |

Leithner AF, Renkawitz J, de Vries I, Hauschild R, Haecker H, Sixt MK. Fast and efficient genetic engineering of hematopoietic precursor cells for the study of dendritic cell migration. European Journal of Immunology. 2018;48(6):1074-1077. doi:10.1002/eji.201747358

[Published Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 617 |

Kutzer M, Kurtz J, Armitage S. Genotype and diet affect resistance, survival, and fecundity but not fecundity tolerance. Journal of Evolutionary Biology. 2018;31(1):159-171. doi:10.1111/jeb.13211

2018 | Journal Article | IST-REx-ID: 5888 |

Tarlungeanu D-C, Novarino G. Genomics in neurodevelopmental disorders: an avenue to personalized medicine. Experimental & Molecular Medicine. 2018;50(8). doi:10.1038/s12276-018-0129-7

2018 | Journal Article | IST-REx-ID: 295 |

Lundholm D, Seiringer R. Fermionic behavior of ideal anyons. Letters in Mathematical Physics. 2018;108(11):2523-2541. doi:10.1007/s11005-018-1091-y

[Published Version] View | Files available | DOI | WoS | arXiv

2018 | Journal Article | IST-REx-ID: 555 |

Richter R, Baranova NS, Day A, Kwok J. Glycosaminoglycans in extracellular matrix organisation: Are concepts from soft matter physics key to understanding the formation of perineuronal nets? Current Opinion in Structural Biology. 2018;50:65-74. doi:10.1016/j.sbi.2017.12.002

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

5046 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

5046 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options