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.

6553 Publications

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

Henzinger, T. A., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness under partial observations. In 23rd International Conference on Runtime Verification (Vol. 14245, pp. 291–311). Thessaloniki, Greece: Springer Nature. https://doi.org/10.1007/978-3-031-44267-4_15

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

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

Narzisi, A., Halladay, A., Masi, G., Novarino, G., & Lord, C. (2023). Tempering expectations: Considerations on the current state of stem cells therapy for autism treatment. Frontiers in Psychiatry. Frontiers. https://doi.org/10.3389/fpsyt.2023.1287879

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

Křišťan, J. M., & Svoboda, J. (2023). Shortest dominating set reconfiguration under token sliding. In 24th International Symposium on Fundamentals of Computation Theory (Vol. 14292, pp. 333–347). Trier, Germany: Springer Nature. https://doi.org/10.1007/978-3-031-43587-4_24

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

Hoffmann, C., & Simkin, M. (2023). Stronger lower bounds for leakage-resilient secret sharing. In 8th International Conference on Cryptology and Information Security in Latin America (Vol. 14168, pp. 215–228). Quito, Ecuador: Springer Nature. https://doi.org/10.1007/978-3-031-44469-2_11

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

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

Nikdan, M., Pegolotti, T., Iofinova, E. B., Kurtic, E., & Alistarh, D.-A. (2023). SparseProp: Efficient sparse backpropagation for faster training of neural networks at the edge. In Proceedings of the 40th International Conference on Machine Learning (Vol. 202, pp. 26215–26227). Honolulu, Hawaii, HI, United States: ML Research Press.

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

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

Fichtenberger, H., Henzinger, M., & Upadhyay, J. (2023). Constant matters: Fine-grained error bound on differentially private continual observation. In Proceedings of the 40th International Conference on Machine Learning (Vol. 202, pp. 10072–10092). Honolulu, Hawaii, HI, United States: ML Research Press.

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

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

Ambrus, Á., Csikós, M., Kiss, G., Pach, J., & Somlai, G. (2023). Optimal embedded and enclosing isosceles triangles. International Journal of Foundations of Computer Science. World Scientific Publishing. https://doi.org/10.1142/S012905412342008X

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

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

Vanhille-Campos, C. E., & Šarić, A. (2023). Stress granules plug and stabilize damaged endolysosomal membranes. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:14472

[Published Version] View | Files available | DOI

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

Aksenov, V., Anoprenko, M., Fedorov, A., & Spear, M. (2023). Brief announcement: BatchBoost: Universal batching for concurrent data structures. In 37th International Symposium on Distributed Computing (Vol. 281). L’Aquila, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DISC.2023.35

[Published Version] View | Files available | DOI

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

Koutentakis, G., Ghazaryan, A., & Lemeshko, M. (2023). Rotor lattice model of ferroelectric large polarons. Physical Review Research. American Physical Society. https://doi.org/10.1103/PhysRevResearch.5.043016

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

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

Buri, P., Fatichi, S., Shaw, T., Miles, E. S., McCarthy, M., Fyffe, C. L., … Pellicciotti, F. (2023). Land surface modeling in the Himalayas: On the importance of evaporative fluxes for the water balance of a high-elevation catchment. Water Resources Research. Wiley. https://doi.org/10.1029/2022WR033841

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

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

Fan, Z. Y., Qiu, L., Gröblacher, S., & Li, J. (2023). Microwave-optics entanglement via cavity optomagnomechanics. Laser and Photonics Reviews. Wiley. https://doi.org/10.1002/lpor.202200866

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

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

Buri, P., Fatichi, S., Shaw, T., Miles, E., McCarthy, M., Fyffe, C. L., … Pellicciotti, F. (2023). Model output data to “Land surface modeling in the Himalayas: on the importance of evaporative fluxes for the water balance of a high elevation catchment.” Zenodo. https://doi.org/10.5281/ZENODO.8402426

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

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

Kwan, M. A., Sah, A., Sauermann, L., & Sawhney, M. (2023). Anticoncentration in Ramsey graphs and a proof of the Erdős–McKay conjecture. Forum of Mathematics, Pi. Cambridge University Press. https://doi.org/10.1017/fmp.2023.17

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

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

Dimchev, G. A., Amiri, B., Fäßler, F., Falcke, M., & Schur, F. K. (2023). Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:14502

View | Files available | DOI

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

Mistakidis, S. I., Volosniev, A., Barfknecht, R. E., Fogarty, T., Busch, T., Foerster, A., … Zinner, N. T. (2023). Few-body Bose gases in low dimensions - A laboratory for quantum dynamics. Physics Reports. Elsevier. https://doi.org/10.1016/j.physrep.2023.10.004

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

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

Binysh, J., Chakraborty, I., Chubynsky, M. V., Diaz Melian, V. L., Waitukaitis, S. R., Sprittles, J. E., & Souslov, A. (2023). Modeling Leidenfrost levitation of soft elastic solids. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.131.168201

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

Reinhardt, M., Tkačik, G., & Ten Wolde, P. R. (2023). Path weight sampling: Exact Monte Carlo computation of the mutual information between stochastic trajectories. Physical Review X. American Physical Society. https://doi.org/10.1103/PhysRevX.13.041017

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

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

Beaver, D., Kelkar, M., Lewi, K., Nikolaenko, V., Sonnino, A., Chalkias, K., … Roy, A. (2023). STROBE: Streaming Threshold Random Beacons. In 5th Conference on Advances in Financial Technologies (Vol. 282). Princeton, NJ, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.AFT.2023.7

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

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

Avni, G., Meggendorfer, T., Sadhukhan, S., Tkadlec, J., & Zikelic, D. (2023). Reachability poorman discrete-bidding games. In Frontiers in Artificial Intelligence and Applications (Vol. 372, pp. 141–148). Krakow, Poland: IOS Press. https://doi.org/10.3233/FAIA230264

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

Institute of Science and Technology Austria (ISTA)

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

6553 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

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

6553 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options