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.
5025 Publications
2021 |Published| Thesis | IST-REx-ID: 10199 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Improved verification techniques for concurrent systems
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
2021 |Published| Journal Article | IST-REx-ID: 8429 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Probabilistic inference of the genetic architecture underlying functional enrichment of complex traits
M. Patxot, D. Trejo Banos, A. Kousathanas, E.J. Orliac, S.E. Ojavee, G. Moser, J. Sidorenko, Z. Kutalik, R. Magi, P.M. Visscher, L. Ronnegard, M.R. Robinson, Nature Communications 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
M. Patxot, D. Trejo Banos, A. Kousathanas, E.J. Orliac, S.E. Ojavee, G. Moser, J. Sidorenko, Z. Kutalik, R. Magi, P.M. Visscher, L. Ronnegard, M.R. Robinson, Nature Communications 12 (2021).
2021 |Published| Conference Paper | IST-REx-ID: 10854 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Input-dynamic distributed algorithms for communication networks
K.-T. Foerster, J. Korhonen, A. Paz, J. Rybicki, S. Schmid, in:, Abstract Proceedings of the 2021 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, Association for Computing Machinery, 2021, pp. 71–72.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K.-T. Foerster, J. Korhonen, A. Paz, J. Rybicki, S. Schmid, in:, Abstract Proceedings of the 2021 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, Association for Computing Machinery, 2021, pp. 71–72.
2021 |Published| Journal Article | IST-REx-ID: 10855 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Input-dynamic distributed algorithms for communication networks
K.-T. Foerster, J. Korhonen, A. Paz, J. Rybicki, S. Schmid, Proceedings of the ACM on Measurement and Analysis of Computing Systems 5 (2021) 1–33.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K.-T. Foerster, J. Korhonen, A. Paz, J. Rybicki, S. Schmid, Proceedings of the ACM on Measurement and Analysis of Computing Systems 5 (2021) 1–33.
2021 |Published| Journal Article | IST-REx-ID: 9293 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Algorithms and conditional lower bounds for planning problems
K. Chatterjee, W. Dvořák, M.H. Henzinger, A. Svozil, Artificial Intelligence 297 (2021).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, W. Dvořák, M.H. Henzinger, A. Svozil, Artificial Intelligence 297 (2021).
2021 | Research Data Reference | IST-REx-ID: 13063 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Probabilistic inference of the genetic architecture of functional enrichment of complex traits
M.R. Robinson, (2021).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M.R. Robinson, (2021).
2021 |Published| Journal Article | IST-REx-ID: 9304 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Influence of copper telluride nanodomains on the transport properties of n-type bismuth telluride
Y. Zhang, C. Xing, Y. Liu, M. Li, K. Xiao, P. Guardia, S. Lee, X. Han, A. Moghaddam, J.J. Roa, J. Arbiol, M. Ibáñez, K. Pan, M. Prato, Y. Xie, A. Cabot, Chemical Engineering Journal 418 (2021).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
Y. Zhang, C. Xing, Y. Liu, M. Li, K. Xiao, P. Guardia, S. Lee, X. Han, A. Moghaddam, J.J. Roa, J. Arbiol, M. Ibáñez, K. Pan, M. Prato, Y. Xie, A. Cabot, Chemical Engineering Journal 418 (2021).
2021 |Published| Journal Article | IST-REx-ID: 9793 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
HepaCAM controls astrocyte self-organization and coupling
K.T. Baldwin, C.X. Tan, S.T. Strader, C. Jiang, J.T. Savage, X. Elorza-Vidal, X. Contreras, T. Rülicke, S. Hippenmeyer, R. Estévez, R.-R. Ji, C. Eroglu, Neuron 109 (2021) 2427–2442.e10.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
K.T. Baldwin, C.X. Tan, S.T. Strader, C. Jiang, J.T. Savage, X. Elorza-Vidal, X. Contreras, T. Rülicke, S. Hippenmeyer, R. Estévez, R.-R. Ji, C. Eroglu, Neuron 109 (2021) 2427–2442.e10.
2021 |Published| Journal Article | IST-REx-ID: 9305 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Doping-mediated stabilization of copper vacancies to promote thermoelectric properties of Cu2-xS
Y. Zhang, C. Xing, Y. Liu, M.C. Spadaro, X. Wang, M. Li, K. Xiao, T. Zhang, P. Guardia, K.H. Lim, A.O. Moghaddam, J. Llorca, J. Arbiol, M. Ibáñez, A. Cabot, Nano Energy 85 (2021).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
Y. Zhang, C. Xing, Y. Liu, M.C. Spadaro, X. Wang, M. Li, K. Xiao, T. Zhang, P. Guardia, K.H. Lim, A.O. Moghaddam, J. Llorca, J. Arbiol, M. Ibáñez, A. Cabot, Nano Energy 85 (2021).
2021 |Published| Journal Article | IST-REx-ID: 9212 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Auxin-regulated lateral root organogenesis
N. Cavallari, C. Artner, E. Benková, Cold Spring Harbor Perspectives in Biology 13 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
N. Cavallari, C. Artner, E. Benková, Cold Spring Harbor Perspectives in Biology 13 (2021).
2021 |Published| Journal Article | IST-REx-ID: 9953 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Microglial-glucocorticoid receptor depletion alters the response of hippocampal microglia and neurons in a chronic unpredictable mild stress paradigm in female mice
K. Picard, K. Bisht, S. Poggini, S. Garofalo, M.T. Golia, B. Basilico, F. Abdallah, N. Ciano Albanese, I. Amrein, N. Vernoux, K. Sharma, C.W. Hui, J. C. Savage, C. Limatola, D. Ragozzino, L. Maggi, I. Branchi, M.È. Tremblay, Brain, Behavior, and Immunity 97 (2021) 423–439.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
K. Picard, K. Bisht, S. Poggini, S. Garofalo, M.T. Golia, B. Basilico, F. Abdallah, N. Ciano Albanese, I. Amrein, N. Vernoux, K. Sharma, C.W. Hui, J. C. Savage, C. Limatola, D. Ragozzino, L. Maggi, I. Branchi, M.È. Tremblay, Brain, Behavior, and Immunity 97 (2021) 423–439.
2021 |Published| Journal Article | IST-REx-ID: 10327 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
PbS–Pb–CuxS composites for thermoelectric application
M. Li, Y. Liu, Y. Zhang, X. Han, K. Xiao, M. Nabahat, J. Arbiol, J. Llorca, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 13 (2021) 51373–51382.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
M. Li, Y. Liu, Y. Zhang, X. Han, K. Xiao, M. Nabahat, J. Arbiol, J. Llorca, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 13 (2021) 51373–51382.
2021 |Published| Journal Article | IST-REx-ID: 9235 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Effect of the annealing atmosphere on crystal phase and thermoelectric properties of copper sulfide
M. Li, Y. Liu, Y. Zhang, X. Han, T. Zhang, Y. Zuo, C. Xie, K. Xiao, J. Arbiol, J. Llorca, M. Ibáñez, J. Liu, A. Cabot, ACS Nano 15 (2021) 4967–4978.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
M. Li, Y. Liu, Y. Zhang, X. Han, T. Zhang, Y. Zuo, C. Xie, K. Xiao, J. Arbiol, J. Llorca, M. Ibáñez, J. Liu, A. Cabot, ACS Nano 15 (2021) 4967–4978.
2021 |Published| Journal Article | IST-REx-ID: 10204 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Topological signatures and stability of hexagonal close packing and Barlow stackings
G.F. Osang, H. Edelsbrunner, M. Saadatfar, Soft Matter 17 (2021) 9107–9115.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
G.F. Osang, H. Edelsbrunner, M. Saadatfar, Soft Matter 17 (2021) 9107–9115.
2021 |Published| Conference Paper | IST-REx-ID: 9464
Ge/Si quantum wires for quantum computing
F. Gao, J.Y. Zhang, J.H. Wang, M. Ming, T. Wang, J.J. Zhang, H. Watzinger, J. Kukucka, L. Vukušić, G. Katsaros, K. Wang, G. Xu, H.O. Li, G.P. Guo, in:, 2021 5th IEEE Electron Devices Technology and Manufacturing Conference, EDTM 2021, IEEE, 2021.
View
| DOI
| WoS
F. Gao, J.Y. Zhang, J.H. Wang, M. Ming, T. Wang, J.J. Zhang, H. Watzinger, J. Kukucka, L. Vukušić, G. Katsaros, K. Wang, G. Xu, H.O. Li, G.P. Guo, in:, 2021 5th IEEE Electron Devices Technology and Manufacturing Conference, EDTM 2021, IEEE, 2021.
2021 |Published| Conference Paper | IST-REx-ID: 9605 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Computing the multicover bifiltration
R. Corbet, M. Kerber, M. Lesnick, G.F. Osang, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
R. Corbet, M. Kerber, M. Lesnick, G.F. Osang, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 |Published| Conference Paper | IST-REx-ID: 9441 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations
J.-D. Boissonnat, S. Kachanovich, M. Wintraecken, in:, 37th International Symposium on Computational Geometry (SoCG 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2021, p. 17:1-17:16.
[Published Version]
View
| Files available
| DOI
J.-D. Boissonnat, S. Kachanovich, M. Wintraecken, in:, 37th International Symposium on Computational Geometry (SoCG 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2021, p. 17:1-17:16.
2021 |Published| Journal Article | IST-REx-ID: 9393 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Faster algorithms for quantitative verification in bounded treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Formal Methods in System Design 57 (2021) 401–428.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Formal Methods in System Design 57 (2021) 401–428.
2021 |Published| Conference Paper | IST-REx-ID: 9227
Experimental evaluation of a local search approximation algorithm for the multiway cut problem
A. Bloch-Hansen, N. Samei, R. Solis-Oba, in:, Conference on Algorithms and Discrete Applied Mathematics, Springer Nature, 2021, pp. 346–358.
View
| DOI
A. Bloch-Hansen, N. Samei, R. Solis-Oba, in:, Conference on Algorithms and Discrete Applied Mathematics, Springer Nature, 2021, pp. 346–358.
2021 |Published| Journal Article | IST-REx-ID: 8817
An inertial subgradient extragradient algorithm extended to pseudomonotone equilibrium problems
Y. Shehu, O.S. Iyiola, D.V. Thong, N.T.C. Van, Mathematical Methods of Operations Research 93 (2021) 213–242.
View
| DOI
| WoS
Y. Shehu, O.S. Iyiola, D.V. Thong, N.T.C. Van, Mathematical Methods of Operations Research 93 (2021) 213–242.