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

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

7112 Publications


2022 | Published | Conference Paper | IST-REx-ID: 12509 | OA
An updated survey of bidding games on graphs
G. Avni, T.A. Henzinger, in:, 47th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2022, p. 3:1-3:6.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 12511 | OA
Stability verification in stochastic control systems via neural network supermartingales
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 7326–7336.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Submitted | Preprint | IST-REx-ID: 12660 | OA
Cross-client Label Propagation for transductive federated learning
J.A. Scott, M.X. Yeo, C. Lampert, ArXiv (n.d.).
[Preprint] View | Files available | DOI | arXiv
 

2022 | Submitted | Preprint | IST-REx-ID: 12662 | OA
Generalization in Multi-objective machine learning
P. Súkeník, C. Lampert, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Submitted | Preprint | IST-REx-ID: 12677 | OA
Repeated prophet inequality with near-optimal bounds
K. Chatterjee, M. Mohammadi, R.J. Saona Urmeneta, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12775 | OA
Anytime guarantees for reachability in uncountable Markov decision processes
K. Grover, J. Kretinsky, T. Meggendorfer, M. Weininger, in:, 33rd International Conference on Concurrency Theory , Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12776 | OA
Revisiting the Manin–Peyre conjecture for the split del Pezzo surface of degree 5
T.D. Browning, New York Journal of Mathematics 28 (2022) 1193–1229.
[Published Version] View | Files available
 

2022 | Published | Journal Article | IST-REx-ID: 12793 | OA [Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Conference Abstract | IST-REx-ID: 12894 | OA
Where is the sweet spot? A procurement story of general purpose compute nodes
A. Schlögl, A. Hornoiu, S. Elefante, S. Stadlbauer, in:, ASHPC22 - Austrian-Slovenian HPC Meeting 2022, EuroCC Austria c/o Universität Wien, 2022, p. 7.
[Published Version] View | Files available | DOI
 

2022 | Research Data Reference | IST-REx-ID: 13066 | OA
Data from: Genetic architecture of repeated phenotypic divergence in Littorina saxatilis ecotype evolution
E. Koch, M. Ravinet, A.M. Westram, K. Jonannesson, R. Butlin, (2022).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2022 | Research Data Reference | IST-REx-ID: 13076 | OA
Multi-queues can be state-of-the-art priority schedulers
A. Postnikova, N. Koval, G. Nadiradze, D.-A. Alistarh, (2022).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 10812
The physiology and genetics of bacterial responses to antibiotic combinations
R. Römhild, M.T. Bollenbach, D.I. Andersson, Nature Reviews Microbiology 20 (2022) 478–490.
View | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 10825 | OA
Cell surface fluctuations regulate early embryonic lineage sorting
A. Yanagida, E. Corujo-Simon, C.K. Revell, P. Sahu, G.G. Stirparo, I.M. Aspalter, A.K. Winkel, R. Peters, H. De Belly, D.A.D. Cassani, S. Achouri, R. Blumenfeld, K. Franze, E.B. Hannezo, E.K. Paluch, J. Nichols, K.J. Chalut, Cell 185 (2022) 777–793.e20.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 10826 | OA [Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Conference Paper | IST-REx-ID: 10828 | OA
The impact of changes in resolution on the persistent homology of images
T. Heiss, S. Tymochko, B. Story, A. Garin, H. Bui, B. Bleile, V. Robins, in:, 2021 IEEE International Conference on Big Data, IEEE, 2022, pp. 3824–3834.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10829 | OA
Field-effect transistor with a plasmonic fiber optic gate electrode as a multivariable biosensor device
R. Hasler, C. Reiner-Rozman, S. Fossati, P. Aspermair, J. Dostalek, S. Lee, M. Ibáñez, J. Bintinger, W. Knoll, ACS Sensors 7 (2022) 504–512.
[Published Version] View | Files available | DOI | WoS
 

2022 | Research Data Reference | IST-REx-ID: 10833 | OA
Field-effect transistor with a plasmonic fiber optic gate electrode as a multivariable biosensor device
R. Hasler, C. Reiner-Rozman, S. Fossati, P. Aspermair, J. Dostalek, S. Lee, M. Ibáñez, J. Bintinger, W. Knoll, (2022).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 10841 | OA
Proteomic characterization of isolated Arabidopsis clathrin-coated vesicles reveals evolutionarily conserved and plant-specific components
D. Dahhan, G. Reynolds, J. Cárdenas, D. Eeckhout, A.J. Johnson, K. Yperman, W. Kaufmann, N. Vang, X. Yan, I. Hwang, A. Heese, G. De Jaeger, J. Friml, D. Van Damme, J. Pan, S. Bednarek, Plant Cell 34 (2022) 2150–2173.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 10845 | OA
Impurity with a resonance in the vicinity of the Fermi energy
M. Maslov, M. Lemeshko, A. Volosniev, Physical Review Research 4 (2022).
[Published Version] View | Files available | DOI | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10850 | OA
Two-particle bound states at interfaces and corners
B. Roos, R. Seiringer, Journal of Functional Analysis 282 (2022).
[Published Version] View | Files available | DOI | WoS | arXiv
 

Filters and Search Terms

supervisor%3D40C20FD2-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications

Display / Sort

Export / Embed