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.

12274 Publications


2019 | Published | Thesis | PhD | IST-REx-ID: 6947 | OA
Assen, Frank P. Lymph Node Mechanics: Deciphering the Interplay between Stroma Contractility, Morphology and Lymphocyte Trafficking. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6947.
[Published Version] View | Files available | DOI
 

2019 | Published | Thesis | PhD | IST-REx-ID: 6825 | OA
Käfer, Karola. The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6825.
[Published Version] View | Files available | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 5949 | OA
Käfer, Karola, et al. “Disrupted-in-Schizophrenia 1 Overexpression Disrupts Hippocampal Coding and Oscillatory Synchronization.” Hippocampus, vol. 29, no. 9, Wiley, 2019, pp. 802–16, doi:10.1002/hipo.23076.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6780 | OA
Huang, Mingzhang, et al. “Modular Verification for Almost-Sure Termination of Probabilistic Programs.” Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , vol. 3, 129, ACM, 2019, doi:10.1145/3360555.
[Published Version] View | Files available | DOI | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6490 | OA
Chatterjee, Krishnendu, et al. “The Treewidth of Smart Contracts.” Proceedings of the 34th ACM Symposium on Applied Computing, vol. Part F147772, ACM, 2019, pp. 400–08, doi:10.1145/3297280.3297322.
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 7158 | OA
Chatterjee, Krishnendu, et al. “Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.” ACM Transactions on Programming Languages and Systems, vol. 41, no. 4, 23, ACM, 2019, doi:10.1145/3363525.
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6378 | OA
Chatterjee, Krishnendu, et al. “Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving.” Proceedings of the 34th ACM Symposium on Applied Computing, vol. Part F147772, ACM, 2019, pp. 374–81, doi:10.1145/3297280.3297319.
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6175 | OA
Wang, Peixin, et al. “Cost Analysis of Nondeterministic Probabilistic Programs.” PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2019, pp. 204–20, doi:10.1145/3314221.3314581.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 7014 | OA
Chatterjee, Krishnendu, et al. “Non-Polynomial Worst-Case Analysis of Recursive Programs.” ACM Transactions on Programming Languages and Systems, vol. 41, no. 4, 20, ACM, 2019, doi:10.1145/3339984.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6380 | OA
Chatterjee, Krishnendu, et al. “Efficient Parameterized Algorithms for Data Packing.” Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, 53, ACM, 2019, doi:10.1145/3290366.
[Published Version] View | Files available | DOI
 

2019 | Published | Conference Paper | IST-REx-ID: 6056 | OA
Chatterjee, Krishnendu, et al. “Probabilistic Smart Contracts: Secure Randomness on the Blockchain.” IEEE International Conference on Blockchain and Cryptocurrency, 8751326, IEEE, 2019, doi:10.1109/BLOC.2019.8751326.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6187 | OA
Valosková, Katarina, et al. “A Conserved Major Facilitator Superfamily Member Orchestrates a Subset of O-Glycosylation to Aid Macrophage Tissue Invasion.” ELife, vol. 8, e41801, eLife Sciences Publications, 2019, doi:10.7554/elife.41801.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Thesis | PhD | IST-REx-ID: 6546 | OA
Valosková, Katarina. The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6546.
[Published Version] View | Files available | DOI
 

2019 | Published | Thesis | PhD | IST-REx-ID: 6849 | OA
Rangel Guerrero, Dámaris K. The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6849.
[Published Version] View | Files available | DOI
 

2019 | Published | Thesis | PhD | IST-REx-ID: 7132 | OA
Mckenzie, Catherine. Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission. Institute of Science and Technology Austria, 2019, doi:10.15479/at:ista:7132.
[Published Version] View | Files available | DOI
 

2018 | Published | Book Chapter | IST-REx-ID: 10864 | OA
Kazda, Alexandr, et al. “Absorption and Directed Jónsson Terms.” Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, edited by J Czelakowski, vol. 16, Springer Nature, 2018, pp. 203–20, doi:10.1007/978-3-319-74772-9_7.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 10880 | OA
Yuuta, Moriyama, and Kazuko Koshiba-Takeuchi. “Significance of Whole-Genome Duplications on the Emergence of Evolutionary Novelties.” Briefings in Functional Genomics, vol. 17, no. 5, Oxford University Press, 2018, pp. 329–38, doi:10.1093/bfgp/ely007.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 10881
Moturu, Taraka Ramji, et al. “Molecular Evolution and Diversification of the SMXL Gene Family.” Journal of Experimental Botany, vol. 69, no. 9, Oxford University Press, 2018, pp. 2367–78, doi:10.1093/jxb/ery097.
View | DOI | WoS | PubMed | Europe PMC
 

2018 | Published | Conference Paper | IST-REx-ID: 10882 | OA
Uijlings, Jasper, et al. “Learning Intelligent Dialogs for Bounding Box Annotation.” 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2018, pp. 9175–84, doi:10.1109/cvpr.2018.00956.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 10883 | OA
Chatterjee, Krishnendu, et al. “Quasipolynomial Set-Based Symbolic Algorithms for Parity Games.” 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol. 57, EasyChair, 2018, pp. 233–53, doi:10.29007/5z5k.
[Published Version] View | Files available | DOI | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed