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.
4178 Publications
2018 | Conference Paper | IST-REx-ID: 325 | 
Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs
S. Agrawal, K. Chatterjee, P. Novotný, in:, ACM, 2018.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Agrawal, K. Chatterjee, P. Novotný, in:, ACM, 2018.
2018 | Journal Article | IST-REx-ID: 53 |
IST PubRep and IST DataRep: the institutional repositories at IST Austria
B. Petritsch, J. Porsche, VÖB Mitteilungen 71 (2018) 199–206.
[Published Version]
View
| Files available
| DOI
B. Petritsch, J. Porsche, VÖB Mitteilungen 71 (2018) 199–206.
2018 | Journal Article | IST-REx-ID: 536 |
Communication-efficient randomized consensus
D.-A. Alistarh, J. Aspnes, V. King, J. Saia, Distributed Computing 31 (2018) 489–501.
[Published Version]
View
| Files available
| DOI
D.-A. Alistarh, J. Aspnes, V. King, J. Saia, Distributed Computing 31 (2018) 489–501.
2018 | Journal Article | IST-REx-ID: 554 |
The Bogoliubov free energy functional II: The dilute Limit
M.M. Napiórkowski, R. Reuvers, J. Solovej, Communications in Mathematical Physics 360 (2018) 347–403.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
M.M. Napiórkowski, R. Reuvers, J. Solovej, Communications in Mathematical Physics 360 (2018) 347–403.
2018 | Book Chapter | IST-REx-ID: 562 |
Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses
D. Dimitrov, L. Guillaud, K. Eguchi, T. Takahashi, in:, S.D. Skaper (Ed.), Neurotrophic Factors, Springer, 2018, pp. 201–215.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D. Dimitrov, L. Guillaud, K. Eguchi, T. Takahashi, in:, S.D. Skaper (Ed.), Neurotrophic Factors, Springer, 2018, pp. 201–215.