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.




6293 Publications

2023 | Published | Journal Article | IST-REx-ID: 13135 | OA
A. Agresti and M. Veraar, “Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity,” Journal of Differential Equations, vol. 368, no. 9. Elsevier, pp. 247–300, 2023.
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Conference Paper | IST-REx-ID: 13139 | OA
T. Meggendorfer, “Correct approximation of stationary distributions,” in TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13993, pp. 489–507.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 13141 | OA
A. Anand, K. Mallik, S. P. Nayak, and A. K. Schmuck, “Computing adequately permissive assumptions for synthesis,” in TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13994, pp. 211–228.
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Conference Paper | IST-REx-ID: 13142 | OA
K. Chatterjee, T. A. Henzinger, M. Lechner, and D. 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 , Paris, France, 2023, vol. 13993, pp. 3–25.
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Conference Paper | IST-REx-ID: 13143 | OA
C. Hoffmann, P. Hubáček, C. Kamath, and K. Z. Pietrzak, “Certifying giant nonprimes,” in Public-Key Cryptography - PKC 2023, Atlanta, GA, United States, 2023, vol. 13940, pp. 530–553.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 13145 | OA
L. Dello Schiavo and E. Lytvynov, “A Mecke-type characterization of the Dirichlet–Ferguson measure,” Electronic Communications in Probability, vol. 28. Institute of Mathematical Statistics, pp. 1–12, 2023.
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 13164 | OA
K. R. B. Gert et al., “Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries,” Nature Communications, vol. 14. Springer Nature, 2023.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 13165 | OA
L. Fang, H. Huang, J. Pach, G. Tardos, and J. Zuo, “Successive vertex orderings of fully regular graphs,” Journal of Combinatorial Theory. Series A, vol. 199, no. 10. Elsevier, 2023.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 13168 | OA
Xu J, Liu N, Polemiti E, Garcia-Mondragon L, Tang J, Liu X, Lett T, Yu L, Nöthen MM, Feng J, Yu C, Marquand A, Schumann G, Walter H, Heinz A, Ralser M, Twardziok S, Vaidya N, Serin E, Jentsch M, Hitchen E, Eils R, Taron UH, Schütz T, Schepanski K, Banks J, Banaschewski T, Jansone K, Christmann N, Meyer-Lindenberg A, Tost H, Holz N, Schwarz E, Stringaris A, Neidhart M, Nees F, Siehl S, A. Andreassen O, T. Westlye L, Van Der Meer D, Fernandez S, Kjelkenes R, Ask H, Rapp M, Tschorn M, Böttger SJ, Novarino G, Marr L, Slater M, Viapiana GF, Orosa FE, Gallego J, Pastor A, Forstner A, Hoffmann P, M. Nöthen M, J. Forstner A, Claus I, Miller A, Heilmann-Heimbach S, Sommer P, Boye M, Wilbertz J, Schmitt K, Jirsa V, Petkoski S, Pitel S, Otten L, Athanasiadis AP, Pearmund C, Spanlang B, Alvarez E, Sanchez M, Giner A, Hese S, Renner P, Jia T, Gong Y, Xia Y, Chang X, Calhoun V, Liu J, Thompson P, Clinton N, Desrivieres S, H. Young A, Stahl B, Ogoh G. 2023. Effects of urban living environments on mental health in adults. Nature Medicine. 29, 1456–1467.
[Published Version] View | Files available | DOI | WoS
 
2023 | Research Data | IST-REx-ID: 13173 | OA
R. Shigemoto, “Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals.” Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | PhD | IST-REx-ID: 13175 | OA
R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 13177 | OA
B. Hua, M. Keller, M. Schwarz, and M. Wirth, “Sobolev-type inequalities and eigenvalue growth on graphs with finite measure,” Proceedings of the American Mathematical Society, vol. 151, no. 8. American Mathematical Society, pp. 3401–3414, 2023.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 13178 | OA
D. J. Mitrouskas, K. Mysliwy, and R. Seiringer, “Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron,” Forum of Mathematics, vol. 11. Cambridge University Press, pp. 1–52, 2023.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 13179 | OA
N. Koval, D. Khalanskiy, and D.-A. Alistarh, “CQS: A formally-verified framework for fair and abortable synchronization,” Proceedings of the ACM on Programming Languages, vol. 7. Association for Computing Machinery , 2023.
[Published Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 13180 | OA
T. D. Browning, J. Lyczak, and R. Sarapin, “Local solubility for a family of quadrics over a split quadric surface,” Involve, vol. 16, no. 2. Mathematical Sciences Publishers, pp. 331–342, 2023.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 13197 | OA
G. M. Grosjean and S. R. Waitukaitis, “Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts,” Physical Review Materials, vol. 7, no. 6. American Physical Society, 2023.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 13202 | OA
K. Eguchi, E. Le Monnier, and R. Shigemoto, “Nanoscale phosphoinositide distribution on cell membranes of mouse cerebellar neurons,” The Journal of Neuroscience, vol. 43, no. 23. Society for Neuroscience, pp. 4197–4216, 2023.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 13207 | OA
C. Hainzl, B. Roos, and R. Seiringer, “Boundary superconductivity in the BCS model,” Journal of Spectral Theory, vol. 12, no. 4. EMS Press, pp. 1507–1540, 2023.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 13209 | OA
J. Xia et al., “Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen,” Plant Communications, vol. 4, no. 6. Elsevier , 2023.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 13212 | OA
H. Chen, L. Li, M. Zou, L. Qi, and J. Friml, “Distinct functions of TIR1 and AFB1 receptors in auxin signalling.,” Molecular Plant, vol. 16, no. 7. Elsevier , pp. 1117–1119, 2023.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed