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.

2030 Publications


2017 | Published | Conference Paper | IST-REx-ID: 788 | OA
Alistarh, Dan-Adrian, et al. Robust Detection in Leak-Prone Population Protocols. Vol. 10467 LNCS, Springer, 2017, pp. 155–71, doi:10.1007/978-3-319-66799-7_11.
View | DOI | Download None (ext.) | arXiv
 

2017 | Published | Book Chapter | IST-REx-ID: 7980 | OA
Yee Liew, Soon, et al. “Polysaccharides in Supercapacitors.” Polysaccharide Based Supercapacitors, edited by Soon Yee Liew et al., Springer Nature, 2017, pp. 15–53, doi:10.1007/978-3-319-50754-5_2.
[Submitted Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 799 | OA
Kitakura, Saeko, et al. “BEN3/BIG2 ARF GEF Is Involved in Brefeldin a-Sensitive Trafficking at the Trans-Golgi Network/Early Endosome in Arabidopsis Thaliana.” Plant and Cell Physiology, vol. 58, no. 10, 1801–1811, Oxford University Press, 2017, doi:10.1093/pcp/pcx118.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 800 | OA
Strüber, Michael, et al. “Distance-Dependent Inhibition Facilitates Focality of Gamma Oscillations in the Dentate Gyrus.” Nature Communications, vol. 8, no. 1, 758, Nature Publishing Group, 2017, doi:10.1038/s41467-017-00936-3.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Thesis | PhD | IST-REx-ID: 818 | OA
Mitosch, Karin. Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_862.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 8239 | OA
Roth-Walter, Franziska, et al. “Janus-Faced Acrolein Prevents Allergy but Accelerates Tumor Growth by Promoting Immunoregulatory Foxp3+ Cells: Mouse Model for Passive Respiratory Exposure.” Scientific Reports, vol. 7, 45067, Springer Nature, 2017, doi:10.1038/srep45067.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Published | Conference Paper | IST-REx-ID: 833 | OA
Heiss, Teresa, and Hubert Wagner. Streaming Algorithm for Euler Characteristic Curves of Multidimensional Images. Edited by Michael Felsberg et al., vol. 10424, Springer, 2017, pp. 397–409, doi:10.1007/978-3-319-64689-3_32.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 836
Ethier, Marc, et al. “Finding Eigenvalues of Self-Maps with the Kronecker Canonical Form.” Special Sessions in Applications of Computer Algebra, vol. 198, Springer, 2017, pp. 119–36, doi:10.1007/978-3-319-56932-1_8.
View | DOI | WoS
 

2017 | Published | Thesis | PhD | IST-REx-ID: 838 | OA
Rybar, Michal. (The Exact Security of) Message Authentication Codes. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_828.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 8445 | OA
Kurauskas, Vilius, et al. “Slow Conformational Exchange and Overall Rocking Motion in Ubiquitin Protein Crystals.” Nature Communications, vol. 8, 145, Springer Nature, 2017, doi:10.1038/s41467-017-00165-8.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Published | Thesis | PhD | IST-REx-ID: 938 | OA
Adamowski, Maciek. Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana . Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_842.
[Published Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 942
Le, Xuan, et al. S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples. Vol. F130154, ACM, 2017, pp. 593–604, doi:10.1145/3106237.3106309.
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 951 | OA
Schmidt, Tom, et al. “Local Introduction and Heterogeneous Spatial Spread of Dengue-Suppressing Wolbachia through an Urban Population of Aedes Aegypti.” PLoS Biology, vol. 15, no. 5, e2001894, Public Library of Science, 2017, doi:10.1371/journal.pbio.2001894.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 962
Trinh, Minh, et al. Model Counting for Recursively-Defined Strings. Edited by Rupak Majumdar and Viktor Kunčak, vol. 10427, Springer, 2017, pp. 399–418, doi:10.1007/978-3-319-63390-9_21.
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 464 | OA
Chatterjee, Krishnendu, et al. “Improved Algorithms for Parity and Streett Objectives.” Logical Methods in Computer Science, vol. 13, no. 3, 26, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(3:26)2017.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 465 | OA
Chatterjee, Krishnendu, et al. “Edit Distance for Pushdown Automata.” Logical Methods in Computer Science, vol. 13, no. 3, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(3:23)2017.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 484 | OA
Nam, Phan, and Marcin M. Napiórkowski. “Bogoliubov Correction to the Mean-Field Dynamics of Interacting Bosons.” Advances in Theoretical and Mathematical Physics, vol. 21, no. 3, International Press, 2017, pp. 683–738, doi:10.4310/ATMP.2017.v21.n3.a4.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 534 | OA
Burton, Benjamin, et al. “Finding Non-Orientable Surfaces in 3-Manifolds.” Discrete & Computational Geometry, vol. 58, no. 4, Springer, 2017, pp. 871–88, doi:10.1007/s00454-017-9900-0.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 559 | OA
Abusalah, Hamza M., et al. Beyond Hellman’s Time-Memory Trade-Offs with Applications to Proofs of Space. Vol. 10625, Springer, 2017, pp. 357–79, doi:10.1007/978-3-319-70697-9_13.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 560 | OA
Gerencser, Mate, et al. “On Stochastic Differential Equations with Arbitrarily Slow Convergence Rates for Strong Approximation in Two Space Dimensions.” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 473, no. 2207, 0104, Royal Society of London, 2017, doi:10.1098/rspa.2017.0104.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed