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.

254 Publications


2023 | Research Data | IST-REx-ID: 12693 | OA [Published Version] View | Files available | DOI
 
 
 

2023 | Research Data | IST-REx-ID: 12817 | OA [Published Version] View | Files available | DOI
 

2023 | Research Data Reference | IST-REx-ID: 14892 | OA View | Files available | DOI | Download None (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14919 | OA
Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer
T. Shaw, P. Buri, M. McCarthy, E. Miles, F. Pellicciotti, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
 

2023 | Research Data | IST-REx-ID: 13126 | OA [Published Version] View | Files available | DOI
 

2023 | Research Data | IST-REx-ID: 13116 | OA
Chiral and nematic phases of flexible active filaments
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, (2023).
[Published Version] View | Files available | DOI
 

2023 | Research Data | IST-REx-ID: 14614 | OA [Published Version] View | Files available | DOI
 

2023 | Research Data Reference | IST-REx-ID: 15027 | OA
aggregation_data
S. Curk, (2023).
[Published Version] View | Files available | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14991 | OA
Data-assessing memory in convection schemes using idealized tests
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14990 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14995 | OA
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14994 | OA
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 15035 | OA
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14812 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 
 
 

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.)
 

Filters and Search Terms

type=(research_data OR research_data_reference)

Search

Filter Publications