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.
5270 Publications
2023 |Published| Journal Article | IST-REx-ID: 12521 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mrnjavac, Andrea, Kseniia Khudiakova, Nicholas H Barton, and Beatriz Vicoso. “Slower-X: Reduced Efficiency of Selection in the Early Stages of X Chromosome Evolution.” Evolution Letters. Oxford University Press, 2023. https://doi.org/10.1093/evlett/qrac004.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 12679 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hippenmeyer, Simon. “Principles of Neural Stem Cell Lineage Progression: Insights from Developing Cerebral Cortex.” Current Opinion in Neurobiology. Elsevier, 2023. https://doi.org/10.1016/j.conb.2023.102695.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 12429 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Agresti, Antonio, Nick Lindemulder, and Mark Veraar. “On the Trace Embedding and Its Applications to Evolution Equations.” Mathematische Nachrichten. Wiley, 2023. https://doi.org/10.1002/mana.202100192.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12430 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Falconi, Marco, Nikolai K Leopold, David Johannes Mitrouskas, and Sören P Petrat. “Bogoliubov Dynamics and Higher-Order Corrections for the Regularized Nelson Model.” Reviews in Mathematical Physics. World Scientific Publishing, 2023. https://doi.org/10.1142/S0129055X2350006X.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12762 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lombardi, Fabrizio, Selver Pepic, Oren Shriki, Gašper Tkačik, and Daniele De Martino. “Statistical Modeling of Adaptive Neural Networks Explains Co-Existence of Avalanches and Oscillations in Resting Human Brain.” Nature Computational Science. Springer Nature, 2023. https://doi.org/10.1038/s43588-023-00410-9.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14085 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Goranci, Gramoz, and Monika H Henzinger. “Efficient Data Structures for Incremental Exact and Approximate Maximum Flow.” In 50th International Colloquium on Automata, Languages, and Programming, Vol. 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.ICALP.2023.69.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 14084 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Harris, David G., and Vladimir Kolmogorov. “Parameter Estimation for Gibbs Distributions.” In 50th International Colloquium on Automata, Languages, and Programming, Vol. 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.ICALP.2023.72.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14086 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger, Monika H, Paul Liu, Jan Vondrák, and Da Wei Zheng. “Faster Submodular Maximization for Several Classes of Matroids.” In 50th International Colloquium on Automata, Languages, and Programming, Vol. 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.ICALP.2023.74.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12697 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Grosjean, Galien M, and Scott R Waitukaitis. “Single-Collision Statistics Reveal a Global Mechanism Driven by Sample History for Contact Electrification in Granular Media.” Physical Review Letters. American Physical Society, 2023. https://doi.org/10.1103/physrevlett.130.098202.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Thesis | IST-REx-ID: 13175 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sahu, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13175.
[Published Version]
View
| Files available
| DOI
2023 |Published| Thesis | IST-REx-ID: 12900
Sahu, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12900.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 14242 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lechner, Mathias, Dorde Zikelic, Krishnendu Chatterjee, Thomas A Henzinger, and Daniela Rus. “Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks.” In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:14964–73. Association for the Advancement of Artificial Intelligence, 2023. https://doi.org/10.1609/aaai.v37i12.26747.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14243 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Bidding Graph Games with Partially-Observable Budgets.” In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:5464–71, 2023. https://doi.org/10.1609/aaai.v37i5.25679.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14241 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tojo, Kenji, Ariel Shamir, Bernd Bickel, and Nobuyuki Umetani. “Stealth Shaper: Reflectivity Optimization as Surface Stylization.” In SIGGRAPH 2023 Conference Proceedings. Association for Computing Machinery, 2023. https://doi.org/10.1145/3588432.3591542.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12562
Ladle, David R., and Simon Hippenmeyer. “Loss of ETV1/ER81 in Motor Neurons Leads to Reduced Monosynaptic Inputs from Proprioceptive Sensory Neurons.” Journal of Neurophysiology. American Physiological Society, 2023. https://doi.org/10.1152/jn.00172.2022.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Conference Paper | IST-REx-ID: 13310 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness.” In Computer Aided Verification, 13965:358–382. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37703-7_17.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12205 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Glajzer, Jacek, Dan Cacsire Castillo-Tong, Rolf Richter, Ignace Vergote, Hagen Kulbe, Adriaan Vanderstichele, Ilary Ruscito, et al. “Impact of BRCA Mutation Status on Tumor Dissemination Pattern, Surgical Outcome and Patient Survival in Primary and Recurrent High-Grade Serous Ovarian Cancer: A Multicenter Retrospective Study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) Consortium.” Annals of Surgical Oncology. Springer Nature, 2023. https://doi.org/10.1245/s10434-022-12459-3.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 12115 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Glajzer, Jacek, Dan Cacsire Castillo-Tong, Rolf Richter, Ignace Vergote, Hagen Kulbe, Adriaan Vanderstichele, Ilary Ruscito, et al. “ASO Visual Abstract: Impact of BRCA Mutation Status on Tumor Dissemination Pattern, Surgical Outcome, and Patient Survival in Primary and Recurrent High-Grade Serous Ovarian Cancer (HGSOC). A Multicenter, Retrospective Study of the Ovarian Cancer Therapy—Innovative Models Prolong Survival (OCTIPS) Consortium.” Annals of Surgical Oncology. Springer Nature, 2023. https://doi.org/10.1245/s10434-022-12681-z.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2023 |Published| Journal Article | IST-REx-ID: 14253 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Vierra, Nicholas C., Luisa Ribeiro-Silva, Michael Kirmiz, Deborah Van Der List, Pradeep Bhandari, Olivia A. Mack, James Carroll, et al. “Neuronal ER-Plasma Membrane Junctions Couple Excitation to Ca2+-Activated PKA Signaling.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-40930-6.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |Published| Conference Paper | IST-REx-ID: 14259 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kretinsky, Jan, Tobias Meggendorfer, Maximilian Prokop, and Sabine Rieder. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.” In 35th International Conference on Computer Aided Verification , 13964:390–414. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37706-8_20.
[Published Version]
View
| Files available
| DOI