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.
4947 Publications
2019 | Journal Article | IST-REx-ID: 5857 | 
Thrackles: An improved upper bound
R. Fulek, J. Pach, Discrete Applied Mathematics 259 (2019) 266–231.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R. Fulek, J. Pach, Discrete Applied Mathematics 259 (2019) 266–231.
2019 | Journal Article | IST-REx-ID: 5944 |
Thermodynamics of duplication thresholds in synthetic protocell systems
B. Corominas-Murtra, Life 9 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
B. Corominas-Murtra, Life 9 (2019).
2019 | Journal Article | IST-REx-ID: 6029 |
A fast and simple contact printing approach to generate 2D protein nanopatterns
M. Lindner, A. Tresztenyak, G. Fülöp, W. Jahr, A. Prinz, I. Prinz, J.G. Danzl, G.J. Schütz, E. Sevcsik, Frontiers in Chemistry 6 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
M. Lindner, A. Tresztenyak, G. Fülöp, W. Jahr, A. Prinz, I. Prinz, J.G. Danzl, G.J. Schütz, E. Sevcsik, Frontiers in Chemistry 6 (2019).
2019 | Journal Article | IST-REx-ID: 6028 |
A solution theory for quasilinear singular SPDEs
M. Gerencser, M. Hairer, Communications on Pure and Applied Mathematics 72 (2019) 1983–2005.
[Published Version]
View
| Files available
| DOI
| WoS
M. Gerencser, M. Hairer, Communications on Pure and Applied Mathematics 72 (2019) 1983–2005.
2019 | Conference Paper | IST-REx-ID: 5948
Termination of nondeterministic probabilistic programs
H. Fu, K. Chatterjee, in:, International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2019, pp. 468–490.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
H. Fu, K. Chatterjee, in:, International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2019, pp. 468–490.