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.

5611 Publications


2018 | Published | Conference Paper | IST-REx-ID: 6005 | OA
Avni, Guy, et al. Timed Network Games with Clocks. Vol. 117, 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:10.4230/LIPICS.MFCS.2018.23.
[Published Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 6006 | OA
Avni, Guy, et al. “An Abstraction-Refinement Methodology for Reasoning about Network Games.” Games, vol. 9, no. 3, 39, MDPI AG, 2018, doi:10.3390/g9030039.
[Published Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 6009 | OA
Chatterjee, Krishnendu, et al. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.” ACM Transactions on Programming Languages and Systems, vol. 40, no. 3, 9, Association for Computing Machinery (ACM), 2018, doi:10.1145/3210257.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 6010 | OA
Garrido-Charad, Florencia, et al. ““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, vol. 115, no. 32, National Academy of Sciences, 2018, pp. E7615–23, doi:10.1073/pnas.1804517115.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Published | Conference Paper | IST-REx-ID: 6011 | OA
Kuzborskij, Ilja, and Christoph Lampert. “Data-Dependent Stability of Stochastic Gradient Descent.” Proceedings of the 35 Th International Conference on Machine Learning, vol. 80, ML Research Press, 2018, pp. 2815–24.
[Preprint] View | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 6012 | OA
Sahoo, Subham, et al. “Learning Equations for Extrapolation and Control.” Proceedings of the 35th International Conference on Machine Learning, vol. 80, ML Research Press, 2018, pp. 4442–50.
[Preprint] View | Files available | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 6032 | OA
Kazda, Alexandr, et al. “Even Delta-Matroids and the Complexity of Planar Boolean CSPs.” ACM Transactions on Algorithms, vol. 15, no. 2, 22, ACM, 2018, doi:10.1145/3230649.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 606 | OA
Duerinckx, Mitia, and Julian L. Fischer. “Well-Posedness for Mean-Field Evolutions Arising in Superconductivity.” Annales de l’Institut Henri Poincare (C) Non Linear Analysis, vol. 35, no. 5, Elsevier, 2018, pp. 1267–319, doi:10.1016/j.anihpc.2017.11.004.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 607 | OA
Bodova, Katarina, et al. “Well Posedness and Maximum Entropy Approximation for the Dynamics of Quantitative Traits.” Physica D: Nonlinear Phenomena, vol. 376–377, Elsevier, 2018, pp. 108–20, doi:10.1016/j.physd.2017.10.015.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 608 | OA
Avni, Guy, and Orna Kupferman. “Synthesis from Component Libraries with Costs.” Theoretical Computer Science, vol. 712, Elsevier, 2018, pp. 50–72, doi:10.1016/j.tcs.2017.11.001.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2018 | Published | Book Chapter | IST-REx-ID: 61 | OA
Bondarenko, Andriy, et al. “There Is No Strongly Regular Graph with Parameters (460; 153; 32; 60).” Contemporary Computational Mathematics, Springer, 2018, pp. 131–34, doi:10.1007/978-3-319-72456-0_7.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 6109 | OA
Laurent, Patrick, et al. “Genetic Dissection of Neuropeptide Cell Biology at High and Low Activity in a Defined Sensory Neuron.” Proceedings of the National Academy of Sciences, vol. 115, no. 29, National Academy of Sciences, 2018, pp. E6890–99, doi:10.1073/pnas.1714610115.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 6111 | OA
McLachlan, Ian G., et al. “A Neuronal MAP Kinase Constrains Growth of a Caenorhabditis Elegans Sensory Dendrite throughout the Life of the Organism.” PLOS Genetics, vol. 14, no. 6, e1007435, Public Library of Science, 2018, doi:10.1371/journal.pgen.1007435.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 612 | OA
Luján, Rafael, et al. “Differential Association of GABAB Receptors with Their Effector Ion Channels in Purkinje Cells.” Brain Structure and Function, vol. 223, no. 3, Springer, 2018, pp. 1565–87, doi:10.1007/s00429-017-1568-y.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 616 | OA
Pull, Christopher, et al. “Destructive Disinfection of Infected Brood Prevents Systemic Disease Spread in Ant Colonies.” ELife, vol. 7, e32073, eLife Sciences Publications, 2018, doi:10.7554/eLife.32073.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 617 | OA
Kutzer, Megan, et al. “Genotype and Diet Affect Resistance, Survival, and Fecundity but Not Fecundity Tolerance.” Journal of Evolutionary Biology, vol. 31, no. 1, Wiley, 2018, pp. 159–71, doi:10.1111/jeb.13211.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Submitted | Preprint | IST-REx-ID: 6183 | OA
Alt, Johannes, et al. “The Dyson Equation with Linear Self-Energy: Spectral Bands, Edges and  Cusps.” ArXiv, 1804.07752.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 62 | OA
Shabazi, Ali, et al. “Flexible Learning-Free Segmentation and Reconstruction of Neural Volumes.” Scientific Reports, vol. 8, no. 1, 14247, Nature Publishing Group, 2018, doi:10.1038/s41598-018-32628-3.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 620 | OA
Yamamoto, Wataru, et al. “Distinct Roles for Plasma Membrane PtdIns 4 P and PtdIns 4 5 P2 during Yeast Receptor Mediated Endocytosis.” Journal of Cell Science, vol. 131, no. 1, jcs207696, Company of Biologists, 2018, doi:10.1242/jcs.207696.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Published | Thesis | PhD | IST-REx-ID: 6263 | OA
Lukacisinova, Marta. Genetic Determinants of Antibiotic Resistance Evolution. Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:th1072.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed