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.

1957 Publications


2023 |Published| Journal Article | IST-REx-ID: 13269 | OA
Polyanskii, Nikita, and Yihan Zhang. “Codes for the Z-Channel.” IEEE Transactions on Information Theory, vol. 69, no. 10, Institute of Electrical and Electronics Engineers, 2023, pp. 6340–57, doi:10.1109/TIT.2023.3292219.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 |Published| Journal Article | IST-REx-ID: 13128 | OA
Mohammadi, Ali, et al. “An Energy Decomposition Theorem for Matrices and Related Questions.” Canadian Mathematical Bulletin, vol. 66, no. 4, Cambridge University Press, 2023, pp. 1280–95, doi:10.4153/S000843952300036X.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 |Published| Journal Article | IST-REx-ID: 13209 | OA
Xia, Jing, et al. “Chemical Inhibition of Arabidopsis PIN-FORMED Auxin Transporters by the Anti-Inflammatory Drug Naproxen.” Plant Communications, vol. 4, no. 6, 100632, Elsevier , 2023, doi:10.1016/j.xplc.2023.100632.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 |Published| Journal Article | IST-REx-ID: 13319 | OA
Vernooij, Matthijs, and Melchior Wirth. “Derivations and KMS-Symmetric Quantum Markov Semigroups.” Communications in Mathematical Physics, vol. 403, Springer Nature, 2023, pp. 381–416, doi:10.1007/s00220-023-04795-6.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 |Published| Journal Article | IST-REx-ID: 13165 | OA
Fang, Lixing, et al. “Successive Vertex Orderings of Fully Regular Graphs.” Journal of Combinatorial Theory. Series A, vol. 199, no. 10, 105776, Elsevier, 2023, doi:10.1016/j.jcta.2023.105776.
[Published Version] View | Files available | DOI | arXiv
 

2023 |Published| Journal Article | IST-REx-ID: 14379
Mahato, Neelima, et al. “Polycrystalline Phases Grown In-Situ Engendering Unique Mechanism of Charge Storage in Polyaniline-Graphite Composite.” Synthetic Metals, vol. 299, 117463, Elsevier, 2023, doi:10.1016/j.synthmet.2023.117463.
View | DOI | WoS
 

2023 |Published| Journal Article | IST-REx-ID: 14401 | OA
Maes, Margaret E., et al. “BAX Activation in Mouse Retinal Ganglion Cells Occurs in Two Temporally and Mechanistically Distinct Steps.” Molecular Neurodegeneration, vol. 18, 67, Springer Nature, 2023, doi:10.1186/s13024-023-00659-8.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 |Published| Journal Article | IST-REx-ID: 14920 | OA
Banerjee, Tamajit, et al. “Fast Symbolic Algorithms for Mega-Regular Games under Strong Transition Fairness.” TheoretiCS, vol. 2, 4, EPI Sciences, 2023, doi:10.46298/theoretics.23.4.
[Published Version] View | Files available | DOI | arXiv
 

2023 |Submitted| Preprint | IST-REx-ID: 14961 | OA
Montagna, Francesco, et al. “Shortcuts for Causal Discovery of Nonlinear Models by Score Matching.” ArXiv, 2310.14246, doi:10.48550/arXiv.2310.14246.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 |Published| Conference Paper | IST-REx-ID: 14411 | OA
Beneš, Nikola, et al. “Phenotype Control of Partially Specified Boolean Networks.” 21st International Conference on Computational Methods in Systems Biology, vol. 14137, Springer Nature, 2023, pp. 18–35, doi:10.1007/978-3-031-42697-1_2.
[Submitted Version] View | Files available | DOI
 

2023 |Published| Book Chapter | IST-REx-ID: 14992 | OA
Lewin, Mathieu, et al. “Universal Functionals in Density Functional Theory.” Density Functional Theory, edited by Eric Cances and Gero Friesecke, 1st ed., Springer, 2023, pp. 115–82, doi:10.1007/978-3-031-22340-2_3.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 |Published| Thesis | IST-REx-ID: 14280
Radler, Philipp. Spatiotemporal Signaling during Assembly of the Bacterial Divisome. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14280.
[Published Version] View | Files available | DOI
 

2023 |Published| Conference Paper | IST-REx-ID: 14758 | OA
Majumdar, Rupak, et al. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” 35th International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 3–15, doi:10.1007/978-3-031-37709-9_1.
[Published Version] View | Files available | DOI
 

2023 |Published| Conference Paper | IST-REx-ID: 13139 | OA
Meggendorfer, Tobias. “Correct Approximation of Stationary Distributions.” TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, vol. 13993, Springer Nature, 2023, pp. 489–507, doi:10.1007/978-3-031-30823-9_25.
[Published Version] View | Files available | DOI | arXiv
 

2023 |Published| Conference Paper | IST-REx-ID: 14260 | OA
Koval, Nikita, et al. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” 35th International Conference on Computer Aided Verification , vol. 13964, Springer Nature, 2023, pp. 156–69, doi:10.1007/978-3-031-37706-8_8.
[Published Version] View | Files available | DOI
 

2023 | Research Data Reference | IST-REx-ID: 14995 | OA
Koval, Nikita, et al. Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM. Zenodo, 2023, doi:10.5281/ZENODO.7877757.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 |Published| Conference Paper | IST-REx-ID: 14076 | OA
Chalupa, Marek, and Thomas A. Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” 23nd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 168–90, doi:10.1007/978-3-031-44267-4_9.
[Published Version] View | Files available | DOI
 

2023 |Published| Thesis | IST-REx-ID: 13984
Franschitz, Anna. Individual and Social Immunity against Viral Infections in Ants. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13984.
[Published Version] View | Files available | DOI
 

2023 |Published| Conference Paper | IST-REx-ID: 13236 | OA
Zheng, Da Wei, and Monika H. Henzinger. “Multiplicative Auction Algorithm for Approximate Maximum Weight Bipartite Matching.” International Conference on Integer Programming and Combinatorial Optimization, vol. 13904, Springer Nature, 2023, pp. 453–65, doi:10.1007/978-3-031-32726-1_32.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 |Published| Journal Article | IST-REx-ID: 15173 | OA
Kwan, Matthew Alan, et al. “Enumerating Matroids and Linear Spaces.” Comptes Rendus Mathematique, vol. 361, no. G2, Academie des Sciences, 2023, pp. 565–75, doi:10.5802/crmath.423.
[Published Version] View | Files available | DOI | arXiv
 

Filters and Search Terms

isbn%3D978-3-99078-004-6

Search

Filter Publications