ISTA Research Explorer

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.

6586 Publications

2023 | Published | Conference Paper | IST-REx-ID: 13053 |

Krumes, Alexandra, Adrian Vladu, Eldar Kurtic, Christoph Lampert, and Dan-Adrian Alistarh. “CrAM: A Compression-Aware Minimizer.” In 11th International Conference on Learning Representations . OpenReview, 2023.

[Published Version] View | Files available | Download Published Version (ext.) | arXiv

2023 | Published | Journal Article | IST-REx-ID: 13092 |

Nan, Bingfei, Xuan Song, Cheng Chang, Ke Xiao, Yu Zhang, Linlin Yang, Sharona Horta, et al. “Bottom-up Synthesis of SnTe-Based Thermoelectric Composites.” ACS Applied Materials and Interfaces. American Chemical Society, 2023. https://doi.org/10.1021/acsami.3c00625.

2023 | Published | Journal Article | IST-REx-ID: 13094 |

Azadbakht, Ali, Billie Meadowcroft, Thijs Varkevisser, Anđela Šarić, and Daniela J. Kraft. “Wrapping Pathways of Anisotropic Dumbbell Particles by Giant Unilamellar Vesicles.” Nano Letters. American Chemical Society, 2023. https://doi.org/10.1021/acs.nanolett.3c00375.

2023 | Published | Journal Article | IST-REx-ID: 13095 |

Troussicot, Laura, Alicia Vallet, Mikael Molin, Björn M. Burmann, and Paul Schanda. “Disulfide-Bond-Induced Structural Frustration and Dynamic Disorder in a Peroxiredoxin from MAS NMR.” Journal of the American Chemical Society. American Chemical Society, 2023. https://doi.org/10.1021/jacs.3c01200.

2023 | Published | Journal Article | IST-REx-ID: 13096 |

Degen, Morris, José Carlos Santos, Kristyna Pluhackova, Gonzalo Cebrero, Saray Ramos, Gytis Jankevicius, Ella Hartenian, et al. “Structural Basis of NINJ1-Mediated Plasma Membrane Rupture in Cell Death.” Nature. Springer Nature, 2023. https://doi.org/10.1038/s41586-023-05991-z.

2023 | Published | Journal Article | IST-REx-ID: 13106 |

Sahu, Rishabh, Liu Qiu, William J Hease, Georg M Arnold, Y. Minoguchi, P. Rabl, and Johannes M Fink. “Entangling Microwaves with Light.” Science. American Association for the Advancement of Science, 2023. https://doi.org/10.1126/science.adg3812.

2023 | Published | Thesis | PhD | IST-REx-ID: 13107 |

Knaus, Lisa. “The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13107.

[Published Version] View | Files available | DOI

2023 | Research Data | IST-REx-ID: 13116 |

Dunajova, Zuzana, Batirtze Prats Mateu, Philipp Radler, Keesiang Lim, Dörte Brandis, Philipp Velicky, Johann G Danzl, et al. “Chiral and Nematic Phases of Flexible Active Filaments.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:13116.

[Published Version] View | Files available | DOI

2023 | Published | Journal Article | IST-REx-ID: 13119 |

Helson, Victor, Timo Zwettler, Farokh Mivehvar, Elvia Colella, Kevin Etienne Robert Roux, Hideki Konishi, Helmut Ritsch, and Jean Philippe Brantut. “Density-Wave Ordering in a Unitary Fermi Gas with Photon-Mediated Interactions.” Nature. Springer Nature, 2023. https://doi.org/10.1038/s41586-023-06018-3.

2023 | Research Data Reference | IST-REx-ID: 13122 |

Sahu, Rishabh. “Entangling Microwaves with Light.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7789417.

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2023 | Research Data Reference | IST-REx-ID: 13124 |

Redchenko, Elena, Alexander Poshakinskiy, Riya Sett, Martin Zemlicka, Alexander Poddubny, and Johannes M Fink. “Tunable Directional Photon Scattering from a Pair of Superconducting Qubits.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7858567.

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2023 | Research Data | IST-REx-ID: 13126 |

Danzl, Johann G. “Research Data for the Publication ‘Imaging Brain Tissue Architecture across Millimeter to Nanometer Scales.’” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:13126.

[Published Version] View | Files available | DOI

2023 | Published | Journal Article | IST-REx-ID: 13127 |

Casillas Perez, Barbara E, Katarina Bodova, Anna V Grasse, Gašper Tkačik, and Sylvia Cremer. “Dynamic Pathogen Detection and Social Feedback Shape Collective Hygiene in Ants.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-38947-y.

2023 | Published | Journal Article | IST-REx-ID: 13134

Čomić, Lidija, Gaëlle Largeteau-Skapin, Rita Zrour, Ranita Biswas, and Eric Andres. “Discrete Analytical Objects in the Body-Centered Cubic Grid.” Pattern Recognition. Elsevier, 2023. https://doi.org/10.1016/j.patcog.2023.109693.

View | DOI | WoS

2023 | Published | Journal Article | IST-REx-ID: 13135 |

Agresti, Antonio, and Mark Veraar. “Reaction-Diffusion Equations with Transport Noise and Critical Superlinear Diffusion: Local Well-Posedness and Positivity.” Journal of Differential Equations. Elsevier, 2023. https://doi.org/10.1016/j.jde.2023.05.038.

[Published Version] View | Files available | DOI | WoS

2023 | Published | Conference Paper | IST-REx-ID: 13139 |

Meggendorfer, Tobias. “Correct Approximation of Stationary Distributions.” In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, 13993:489–507. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30823-9_25.

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Published | Conference Paper | IST-REx-ID: 13141 |

Anand, Ashwani, Kaushik Mallik, Satya Prakash Nayak, and Anne Kathrin Schmuck. “Computing Adequately Permissive Assumptions for Synthesis.” In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, 13994:211–28. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30820-8_15.

[Published Version] View | Files available | DOI | WoS

2023 | Published | Conference Paper | IST-REx-ID: 13142 |

Chatterjee, Krishnendu, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.” In Tools and Algorithms for the Construction and Analysis of Systems , 13993:3–25. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30823-9_1.

[Published Version] View | Files available | DOI | WoS

2023 | Published | Conference Paper | IST-REx-ID: 13143 |

Hoffmann, Charlotte, Pavel Hubáček, Chethan Kamath, and Krzysztof Z Pietrzak. “Certifying Giant Nonprimes.” In Public-Key Cryptography - PKC 2023, 13940:530–53. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-31368-4_19.

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS

2023 | Published | Journal Article | IST-REx-ID: 13145 |

Dello Schiavo, Lorenzo, and Eugene Lytvynov. “A Mecke-Type Characterization of the Dirichlet–Ferguson Measure.” Electronic Communications in Probability. Institute of Mathematical Statistics, 2023. https://doi.org/10.1214/23-ECP528.

[Published Version] View | Files available | DOI | WoS

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6586 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6586 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options