Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
566 Publications
2023 |
Published |
Journal Article |
IST-REx-ID: 14628 |
L. Makatura et al., “Procedural metamaterials: A unified procedural graph for metamaterial design,” ACM Transactions on Graphics, vol. 42, no. 5. Association for Computing Machinery, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14651 |
L. S. Arathoon, “Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Conference Paper |
IST-REx-ID: 14735 |
C. Stefo, Z. Xiang, and E. Kokoris Kogias, “Executing and proving over dirty ledgers,” in 27th International Conference on Financial Cryptography and Data Security, Bol, Brac, Croatia, 2023, vol. 13950, pp. 3–20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2023 |
Published |
Conference Poster |
IST-REx-ID: 15292 |
Y.-L. Chen, M. Ly, and C. Wojtan, Unified treatment of contact, friction and shock-propagation in rigid body animation. ACM, 2023.
View
| Files available
| DOI
2023 |
Draft |
Preprint |
IST-REx-ID: 20572 |
L. Dello Schiavo and F. Quattrocchi, “Multivariate Dirichlet moments and a polychromatic Ewens sampling formula,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Conference Abstract |
IST-REx-ID: 14863 |
A. Polesello, C. J. Muller, C. Pasquero, and A. N. Meroni, “Intensification mechanisms of tropical cyclones,” in EGU General Assembly 2023, Vienna, Austria & Virtual, 2023.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 12885 |
M. Calcabrini, “Nanoparticle-based semiconductor solids: From synthesis to consolidation,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Conference Paper |
IST-REx-ID: 14260 |
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM,” in 35th International Conference on Computer Aided Verification, Paris, France, 2023, vol. 13964, pp. 156–169.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14547 |
D. T. Phan, “Resonant microwave spectroscopy of Al-InAs,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14641
M. Hennessey-Wesen, “Adaptive mutation in E. coli modulated by luxS,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 12675 |
L. M. Becker et al., “The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle Spinning NMR of aromatic residues,” Angewandte Chemie International Edition, vol. 62, no. 19. Wiley, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Draft |
Preprint |
IST-REx-ID: 15039 |
B. Prach and C. Lampert, “1-Lipschitz neural networks are more expressive with N-activations,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
earlier version | 2023 |
Published |
Conference Paper |
IST-REx-ID: 13221 |
U. Boker, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Safety and liveness of quantitative automata,” in 34th International Conference on Concurrency Theory, Antwerp, Belgium, 2023, vol. 279.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 12762 |
F. Lombardi, S. Pepic, O. Shriki, G. Tkačik, and D. De Martino, “Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain,” Nature Computational Science, vol. 3. Springer Nature, pp. 254–263, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 13120 |
M. Dvorak and J. Blanchette, “Closure properties of general grammars - formally verified,” in 14th International Conference on Interactive Theorem Proving, Bialystok, Poland, 2023, vol. 268.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 13049 |
M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, and S. Lefebvre, “PCBend: Light up your 3D shapes with foldable circuit boards,” Transactions on Graphics, vol. 42, no. 4. Association for Computing Machinery, 2023.
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 14343 |
G. Cipolloni, L. Erdös, S. J. Henheik, and O. Kolupaiev, “Gaussian fluctuations in the equipartition principle for Wigner matrices,” Forum of Mathematics, Sigma, vol. 11. Cambridge University Press, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 14421 |
S. J. Henheik and R. Tumulka, “Creation rate of Dirac particles at a point source,” Journal of Physics A: Mathematical and Theoretical, vol. 56, no. 44. IOP Publishing, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 12491 |
B. Zens, “Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 13984 |
A. Franschitz, “Individual and social immunity against viral infections in ants,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI