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 |

CrAM: A Compression-Aware Minimizer
A. Krumes, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, 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 |

Bottom-up synthesis of SnTe-based thermoelectric composites
B. Nan, X. Song, C. Chang, K. Xiao, Y. Zhang, L. Yang, S. Horta, J. Li, K.H. Lim, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 23380–23389.

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

Wrapping pathways of anisotropic dumbbell particles by Giant Unilamellar Vesicles
A. Azadbakht, B. Meadowcroft, T. Varkevisser, A. Šarić, D.J. Kraft, Nano Letters 23 (2023) 4267–4273.

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

Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR
L. Troussicot, A. Vallet, M. Molin, B.M. Burmann, P. Schanda, Journal of the American Chemical Society 145 (2023) 10700–10711.

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

Structural basis of NINJ1-mediated plasma membrane rupture in cell death
M. Degen, J.C. Santos, K. Pluhackova, G. Cebrero, S. Ramos, G. Jankevicius, E. Hartenian, U. Guillerm, S.A. Mari, B. Kohl, D.J. Müller, P. Schanda, T. Maier, C. Perez, C. Sieben, P. Broz, S. Hiller, Nature 618 (2023) 1065–1071.

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

Entangling microwaves with light
R. Sahu, L. Qiu, W.J. Hease, G.M. Arnold, Y. Minoguchi, P. Rabl, J.M. Fink, Science 380 (2023) 718–721.

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

The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival
L. Knaus, The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival, Institute of Science and Technology Austria, 2023.

[Published Version] View | Files available | DOI

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

Chiral and nematic phases of flexible active filaments
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, (2023).

[Published Version] View | Files available | DOI

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

Density-wave ordering in a unitary Fermi gas with photon-mediated interactions
V. Helson, T. Zwettler, F. Mivehvar, E. Colella, K.E.R. Roux, H. Konishi, H. Ritsch, J.P. Brantut, Nature 618 (2023) 716–720.

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

Entangling microwaves with light
R. Sahu, (2023).

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

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

Tunable directional photon scattering from a pair of superconducting qubits
E. Redchenko, A. Poshakinskiy, R. Sett, M. Zemlicka, A. Poddubny, J.M. Fink, (2023).

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

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

Research data for the publication "Imaging brain tissue architecture across millimeter to nanometer scales"
J.G. Danzl, (2023).

[Published Version] View | Files available | DOI

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

Dynamic pathogen detection and social feedback shape collective hygiene in ants
B.E. Casillas Perez, K. Bodova, A.V. Grasse, G. Tkačik, S. Cremer, Nature Communications 14 (2023).

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

Discrete analytical objects in the body-centered cubic grid
L. Čomić, G. Largeteau-Skapin, R. Zrour, R. Biswas, E. Andres, Pattern Recognition 142 (2023).

View | DOI | WoS

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

Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity
A. Agresti, M. Veraar, Journal of Differential Equations 368 (2023) 247–300.

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

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

Correct approximation of stationary distributions
T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.

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

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

Computing adequately permissive assumptions for synthesis
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.

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

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

A learner-verifier framework for neural network controllers and certificates of stochastic systems
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.

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

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

Certifying giant nonprimes
C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.

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

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

A Mecke-type characterization of the Dirichlet–Ferguson measure
L. Dello Schiavo, E. Lytvynov, Electronic Communications in Probability 28 (2023) 1–12.

[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