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.
5589 Publications
2021 | Published | Journal Article | IST-REx-ID: 10167 |

Elkrewi, Marwan N., et al. “Schistosome W-Linked Genes Inform Temporal Dynamics of Sex Chromosome Evolution and Suggest Candidate for Sex Determination.” Molecular Biology and Evolution, vol. 138, no. 12, Oxford University Press , 2021, pp. 5345–58, doi:10.1093/molbev/msab178.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9376 |

Zhang, Ran, et al. “Computational Design of Planar Multistable Compliant Structures.” ACM Transactions on Graphics, vol. 40, no. 5, 186, Association for Computing Machinery, 2021, doi:10.1145/3453477.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 9547 |

Rittig, Tobias, et al. “Neural Acceleration of Scattering-Aware Color 3D Printing.” Computer Graphics Forum, vol. 40, no. 2, Wiley, 2021, pp. 205–19, doi:10.1111/cgf.142626.
[Submitted Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 9241 |

Elek, Oskar, et al. “Robust and Practical Measurement of Volume Transport Parameters in Solid Photo-Polymer Materials for 3D Printing.” Optics Express, vol. 29, no. 5, The Optical Society, 2021, pp. 7568–88, doi:10.1364/OE.406095.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 10148 |

Degraen, Donald, et al. “Capturing Tactile Properties of Real Surfaces for Haptic Reproduction.” 34th Annual ACM Symposium, Association for Computing Machinery, 2021, pp. 954–71, doi:10.1145/3472749.3474798.
[Preprint]
View
| Files available
| DOI
2021 | Scientific Software | IST-REx-ID: 9327 |

Sperl, Georg, et al. Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data). IST Austria, 2021, doi:10.15479/AT:ISTA:9327.
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9818 |

Sperl, Georg, et al. “Mechanics-Aware Deformation of Yarn Pattern Geometry.” ACM Transactions on Graphics, vol. 40, no. 4, 168, Association for Computing Machinery, 2021, doi:10.1145/3450626.3459816.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2021 | Published | Thesis | IST-REx-ID: 9022 |

Cipolloni, Giorgio. Fluctuations in the Spectrum of Random Matrices. Institute of Science and Technology Austria, 2021, doi:10.15479/AT:ISTA:9022.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9928 |

Peruzzo, Matilda, et al. “Geometric Superinductance Qubits: Controlling Phase Delocalization across a Single Josephson Junction.” PRX Quantum, vol. 2, no. 4, American Physical Society, 2021, p. 040341, doi:10.1103/PRXQuantum.2.040341.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Thesis | IST-REx-ID: 10035 |

Klein, Karen. On the Adaptive Security of Graph-Based Games. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10035.
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 9920 |

Peruzzo, Matilda. Geometric Superinductors and Their Applications in Circuit Quantum Electrodynamics. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:9920.
[Published Version]
View
| Files available
| DOI
2021 | Research Data Reference | IST-REx-ID: 13057 |

Peruzzo, Matilda, et al. Geometric Superinductance Qubits: Controlling Phase Delocalization across a Single Josephson Junction. Zenodo, 2021, doi:10.5281/ZENODO.5592103.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Published | Conference Paper | IST-REx-ID: 9987 |

Agarwal, Pratyush, et al. “Stateless Model Checking under a Reads-Value-from Equivalence.” 33rd International Conference on Computer-Aided Verification , vol. 12759, Springer Nature, 2021, pp. 341–66, doi:10.1007/978-3-030-81685-8_16.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10191 |

Bui, Truc Lam, et al. “The Reads-from Equivalence for the TSO and PSO Memory Models.” Proceedings of the ACM on Programming Languages, vol. 5, no. OOPSLA, 164, Association for Computing Machinery, 2021, doi:10.1145/3485541.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10635 |

Nardin, Michele, et al. “Nonlinear Computations in Spiking Neural Networks through Multiplicative Synapses.” Peer Community Journal, vol. 1, e68, Centre Mersenne ; Peer Community In, 2021, doi:10.24072/pcjournal.69.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10631 |

Cherepanov, Igor, et al. “Excited Rotational States of Molecules in a Superfluid.” Physical Review A, vol. 104, no. 6, L061303, American Physical Society, 2021, doi:10.1103/PhysRevA.104.L061303.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10665 |

Henzinger, Thomas A., et al. “Scalable Verification of Quantized Neural Networks.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 5A, AAAI Press, 2021, pp. 3787–95.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9642 |

Venturino, Alessandro, et al. “Microglia Enable Mature Perineuronal Nets Disassembly upon Anesthetic Ketamine Exposure or 60-Hz Light Entrainment in the Healthy Brain.” Cell Reports, vol. 36, no. 1, 109313, Elsevier, 2021, doi:10.1016/j.celrep.2021.109313.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Conference Paper | IST-REx-ID: 10667 |

Lechner, Mathias, et al. “Infinite Time Horizon Safety of Bayesian Neural Networks.” 35th Conference on Neural Information Processing Systems, 2021, doi:10.48550/arXiv.2111.03165.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 9826 |

Auerbach, Benedikt, et al. “Inverse-Sybil Attacks in Automated Contact Tracing.” Topics in Cryptology – CT-RSA 2021, vol. 12704, Springer Nature, 2021, pp. 399–421, doi:10.1007/978-3-030-75539-3_17.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)