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.
5736 Publications
2018 | Published | Thesis | IST-REx-ID: 69 | 
Vukušić L. Charge sensing and spin relaxation times of holes in Ge hut wires. 2018. doi:10.15479/AT:ISTA:TH_1047
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 6006 |
Avni G, Guha S, Kupferman O. An abstraction-refinement methodology for reasoning about network games. Games. 2018;9(3). doi:10.3390/g9030039
[Published Version]
View
| Files available
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 6005 |
Avni G, Guha S, Kupferman O. Timed network games with clocks. In: Vol 117. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPICS.MFCS.2018.23
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 324 |
Chen C. Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release. 2018. doi:10.15479/AT:ISTA:th_997
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 418 |
Gschaider-Reichhart E. Optical and optogenetic control of proliferation and survival . 2018. doi:10.15479/AT:ISTA:th_913
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 31 |
Ferrari U, Deny S, Chalk MJ, Tkačik G, Marre O, Mora T. Separating intrinsic interactions from extrinsic correlations in a network of sensory neurons. Physical Review E. 2018;98(4). doi:10.1103/PhysRevE.98.042410
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2018 | Published | Journal Article | IST-REx-ID: 543 |
Chalk MJ, Marre O, Tkačik G. Toward a unified theory of efficient, predictive, and sparse coding. Proceedings of the National Academy of Sciences of the United States of America. 2018;115(1):186-191. doi:10.1073/pnas.1711114115
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2018 | Published | Journal Article | IST-REx-ID: 5975 |
Kolmogorov V. Commutativity in the algorithmic Lovász local lemma. SIAM Journal on Computing. 2018;47(6):2029-2056. doi:10.1137/16m1093306
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 5967 |
Hansen KA, Ibsen-Jensen R, Neyman A. The Big Match with a clock and a bit of memory. In: Proceedings of the 2018 ACM Conference on Economics and Computation - EC ’18. ACM; 2018:149-150. doi:10.1145/3219166.3219198
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 19706 |
Mosienko V, Rasooli-Nejad S, Kishi K, et al. Putative receptors underpinning L-Lactate signalling in locus coeruleus. Neuroglia. 2018;1(2):365-380. doi:10.3390/neuroglia1020025
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 6354 |
Fan S, Lorenz M, Massberg S, Gärtner FR. Platelet migration and bacterial trapping assay under flow. Bio-Protocol. 2018;8(18). doi:10.21769/bioprotoc.3018
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2018 | Published | Journal Article | IST-REx-ID: 10417 |
Chalupa M, Chatterjee K, Pavlogiannis A, Sinha N, Vaidya K. Data-centric dynamic partial order reduction. Proceedings of the ACM on Programming Languages. 2018;2(POPL). doi:10.1145/3158119
[Published Version]
View
| Files available
| DOI
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 10286 |
Allini EN, Skórski M, Petura O, Bernard F, Laban M, Fischer V. Evaluation and monitoring of free running oscillators serving as source of randomness. IACR Transactions on Cryptographic Hardware and Embedded Systems. 2018;2018(3):214-242. doi:10.13154/tches.v2018.i3.214-242
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 43 |
Rybicki J, Kisdi E, Anttila J. Model of bacterial toxin-dependent pathogenesis explains infective dose. Proceedings of the National Academy of Sciences of the United States of America. 2018;115(42):10690-10695. doi:10.1073/pnas.1721061115
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 428 |
Salanenka Y, Verstraeten I, Löfke C, et al. Gibberellin DELLA signaling targets the retromer complex to redirect protein trafficking to the plasma membrane. Proceedings of the National Academy of Sciences of the United States of America. 2018;115(14):3716-3721. doi:10.1073/pnas.1721760115
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 64 |
Kalinin N, Guzmán Sáenz A, Prieto Y, Shkolnikov M, Kalinina V, Lupercio E. Self-organized criticality and pattern emergence through the lens of tropical geometry. Proceedings of the National Academy of Sciences of the United States of America. 2018;115(35):E8135-E8142. doi:10.1073/pnas.1805847115
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 5963 |
Alistarh D-A, Brown TA, Kopinsky J, Nadiradze G. Relaxed schedulers can efficiently parallelize iterative algorithms. In: Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18. ACM; 2018:377-386. doi:10.1145/3212734.3212756
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 5770 |
Qu K, Glass B, Doležal M, et al. Structure and architecture of immature and mature murine leukemia virus capsids. Proceedings of the National Academy of Sciences of the United States of America. 2018;115(50):E11751-E11760. doi:10.1073/pnas.1811580115
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2018 | Published | Conference Paper | IST-REx-ID: 5962 |
Alistarh D-A, De Sa C, Konstantinov NH. The convergence of stochastic gradient descent in asynchronous shared memory. In: Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18. ACM; 2018:169-178. doi:10.1145/3212734.3212763
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 5961
Alistarh D-A. A brief tutorial on distributed and concurrent machine learning. In: Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18. ACM; 2018:487-488. doi:10.1145/3212734.3212798
View
| DOI
| WoS