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.

6568 Publications

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

Global renormalised solutions and equilibration of reaction-diffusion systems with non-linear diffusion
K. Fellner, J.L. Fischer, M. Kniely, B.Q. Tang, Journal of Nonlinear Science 33 (2023).

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

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

The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles
F. Cornalba, J.L. Fischer, Archive for Rational Mechanics and Analysis 247 (2023).

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

Where do mistakes lead? A survey of games with incompetent players
T. Graham, M. Kleshnina, J.A. Filar, Dynamic Games and Applications 13 (2023) 231–264.

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

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

Highly irregular separated nets
M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.

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

Contractive coupling rates and curvature lower bounds for Markov chains
F. Pedrotti, ArXiv (n.d.).

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2023 | Published | Conference Abstract | IST-REx-ID: 14863 |

Intensification mechanisms of tropical cyclones
A. Polesello, C.J. Muller, C. Pasquero, A.N. Meroni, in:, EGU General Assembly 2023, European Geosciences Union, 2023.

[Published Version] View | Files available | DOI

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

Fully extended r-spin TQFTs
N. Carqueville, L. Szegedy, Quantum Topology 14 (2023) 467–532.

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

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

CQS: A formally-verified framework for fair and abortable synchronization
N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).

[Published Version] View | Files available | DOI

2023 | Published | Book Chapter | IST-REx-ID: 19983 |

Sinkless Orientation Made Simple
A. Balliu, J. Korhonen, F. Kuhn, H. Lievonen, D. Olivetti, S. Pai, A. Paz, J. Rybicki, S. Schmid, J. Studený, J. Suomela, J. Uitto, in:, Symposium on Simplicity in Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 175–191.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

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

Magnetic activity evolution of solar-like stars. I. Sph–age relation derived from Kepler observations
S. Mathur, Z.R. Claytor, Â.R.G. Santos, R.A. García, L. Amard, L.A. Bugnet, E. Corsaro, A. Bonanno, S.N. Breton, D. Godoy-Rivera, M.H. Pinsonneault, J. van Saders, The Astrophysical Journal 952 (2023).

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

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

Nanoparticle-based semiconductor solids: From synthesis to consolidation
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 | Journal Article | IST-REx-ID: 14402 |

Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state
F. Lombardi, H.J. Herrmann, L. Parrino, D. Plenz, S. Scarpetta, A.E. Vaudano, L. De Arcangelis, O. Shriki, Cell Reports 42 (2023).

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

Dense 4D nanoscale reconstruction of living brain tissue
P. Velicky, E. Miguel Villalba, J.M. Michalska, J. Lyudchik, D. Wei, Z. Lin, J. Watson, J. Troidl, J. Beyer, Y. Ben Simon, C.M. Sommer, W. Jahr, A. Cenameri, J. Broichhagen, S.G.N. Grant, P.M. Jonas, G. Novarino, H. Pfister, B. Bickel, J.G. Danzl, Nature Methods 20 (2023) 1256–1265.

2023 | Scientific Software | IST-REx-ID: 14502 |

Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data
G.A. Dimchev, B. Amiri, F. Fäßler, M. Falcke, F.K. Schur, (2023).

View | Files available | DOI

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

Distinct functions of TIR1 and AFB1 receptors in auxin signalling.
H. Chen, L. Li, M. Zou, L. Qi, J. Friml, Molecular Plant 16 (2023) 1117–1119.

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

Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen
J. Xia, M. Kong, Z. Yang, L. Sun, Y. Peng, Y. Mao, H. Wei, W. Ying, Y. Gao, J. Friml, J. Weng, X. Liu, L. Sun, S. Tan, Plant Communications 4 (2023).

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

On type II degenerations of hyperkähler manifolds
D. Huybrechts, M. Mauri, Mathematical Research Letters 30 (2023) 125–141.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

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

Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling
S. Das, Z. Xiang, E. Kokoris Kogias, L. Ren, in:, 32nd USENIX Security Symposium, Usenix Association, 2023, pp. 5359–5376.

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

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

Binary decision diagrams on modern hardware
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2023, pp. 122–131.

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

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

Bidding graph games with partially-observable budgets
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI Press, 2023, pp. 5464–5471.

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

Research Groups

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

6568 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).

6568 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options