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.
414 Publications
2023 | Published | Journal Article | IST-REx-ID: 12890 | 
Klausen, Frederik Ravn, and Asbjørn Bækgaard Lauritsen. “Stochastic Cellular Automaton Model of Culture Formation.” Physical Review E, vol. 108, no. 5, 054307, American Physical Society, 2023, doi:10.1103/PhysRevE.108.054307.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Research Data | IST-REx-ID: 12869 |
Klausen, Frederik Ravn, and Asbjørn Bækgaard Lauritsen. Research Data for: A Stochastic Cellular Automaton Model of Culture Formation. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:12869.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 13310 |
Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness.” Computer Aided Verification, vol. 13965, Springer Nature, 2023, pp. 358–382, doi:10.1007/978-3-031-37703-7_17.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13314 |
Dunajova, Zuzana, et al. “Chiral and Nematic Phases of Flexible Active Filaments.” Nature Physics, vol. 19, Springer Nature, 2023, pp. 1916–26, doi:10.1038/s41567-023-02218-w.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 13262 |
Fedorov, Alexander, et al. “Provably-Efficient and Internally-Deterministic Parallel Union-Find.” Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–71, doi:10.1145/3558481.3591082.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14260 |
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
| WoS
2023 | Published | Thesis | IST-REx-ID: 14506 |
Yeo, Michelle X. Advances in Efficiency and Privacy in Payment Channel Network Analysis. Institute of Science and Technology Austria, 2023, doi:10.15479/14506.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14628 |
Makatura, Liane, et al. “Procedural Metamaterials: A Unified Procedural Graph for Metamaterial Design.” ACM Transactions on Graphics, vol. 42, no. 5, 168, Association for Computing Machinery, 2023, doi:10.1145/3605389.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 14735 |
Stefo, Christos, et al. “Executing and Proving over Dirty Ledgers.” 27th International Conference on Financial Cryptography and Data Security, vol. 13950, Springer Nature, 2023, pp. 3–20, doi:10.1007/978-3-031-47754-6_1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13049 |
Freire, Marco, et al. “PCBend: Light up Your 3D Shapes with Foldable Circuit Boards.” Transactions on Graphics, vol. 42, no. 4, 142, Association for Computing Machinery, 2023, doi:10.1145/3592411.
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 | Published | Thesis | IST-REx-ID: 14641
Hennessey-Wesen, Mike. Adaptive Mutation in E. Coli Modulated by LuxS. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14641.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 13221 |
Boker, Udi, et al. “Safety and Liveness of Quantitative Automata.” 34th International Conference on Concurrency Theory, vol. 279, 17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.CONCUR.2023.17.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Draft | Preprint | IST-REx-ID: 20572 |
Dello Schiavo, Lorenzo, and Filippo Quattrocchi. “Multivariate Dirichlet Moments and a Polychromatic Ewens Sampling Formula.” ArXiv, 2309.11292, doi:10.48550/arXiv.2309.11292.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Thesis | IST-REx-ID: 12491 |
Zens, Bettina. Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12491.
[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 | Thesis | IST-REx-ID: 14422 |
Confavreux, Basile J. Synapseek: Meta-Learning Synaptic Plasticity Rules. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14422.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12809 |
Alcarva, Catarina. Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12809.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14622 |
Sack, Stefan. Improving Variational Quantum Algorithms : Innovative Initialization Techniques and Extensions to Qudit Systems. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14622.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12349 |
Gupta, Divyansh, et al. “Panoramic Visual Statistics Shape Retina-Wide Organization of Receptive Fields.” Nature Neuroscience, vol. 26, Springer Nature, 2023, pp. 606–14, doi:10.1038/s41593-023-01280-0.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Research Data | IST-REx-ID: 12370 |
Gupta, Divyansh, et al. Research Data for: Panoramic Visual Statistics Shape Retina-Wide Organization of Receptive Fields. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:12370.
[Published Version]
View
| Files available
| DOI