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.
5058 Publications
2018 |Published| Book Chapter | IST-REx-ID: 562 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dimitrov, Dimitar, et al. “Culture of Mouse Giant Central Nervous System Synapses and Application for Imaging and Electrophysiological Analyses.” Neurotrophic Factors, edited by Stephen D. Skaper, vol. 1727, Springer, 2018, pp. 201–15, doi:10.1007/978-1-4939-7571-6_15.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2018 |Published| Book Chapter | IST-REx-ID: 59
Bloem, Roderick, et al. “Graph Games and Reactive Synthesis.” Handbook of Model Checking, edited by Thomas A Henzinger et al., 1st ed., Springer, 2018, pp. 921–62, doi:10.1007/978-3-319-10575-8_27.
View
| DOI
2018 |Published| Book Chapter | IST-REx-ID: 60
Clarke, Edmund, et al. “Introduction to Model Checking.” Handbook of Model Checking, edited by Thomas A Henzinger, Springer, 2018, pp. 1–26, doi:10.1007/978-3-319-10575-8_1.
View
| DOI
2018 |Published| Book Chapter | IST-REx-ID: 61 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bondarenko, Andriy, et al. “There Is No Strongly Regular Graph with Parameters (460; 153; 32; 60).” Contemporary Computational Mathematics, Springer, 2018, pp. 131–34, doi:10.1007/978-3-319-72456-0_7.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 6354 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fan, Shuxia, et al. “Platelet Migration and Bacterial Trapping Assay under Flow.” Bio-Protocol, vol. 8, no. 18, e3018, Bio-Protocol, 2018, doi:10.21769/bioprotoc.3018.
[Published Version]
View
| Files available
| DOI
2018 |Published| Conference Poster | IST-REx-ID: 6459 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Petritsch, Barbara. Open Access at IST Austria 2009-2017. IST Austria, 2018, doi:10.5281/zenodo.1410279.
[Published Version]
View
| Files available
| DOI
2018 |Published| Book Chapter | IST-REx-ID: 6525
Hausel, Tamás, et al. “Mirror Symmetry with Branes by Equivariant Verlinde Formulas.” Geometry and Physics: Volume I, Oxford University Press, 2018, pp. 189–218, doi:10.1093/oso/9780198802013.003.0009.
View
| DOI
2018 |Published| Journal Article | IST-REx-ID: 690 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lee, Jii, and Kevin Schnelli. “Local Law and Tracy–Widom Limit for Sparse Random Matrices.” Probability Theory and Related Fields, vol. 171, no. 1–2, 543–616, Springer, 2018, doi:10.1007/s00440-017-0787-8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |Published| Journal Article | IST-REx-ID: 703 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Shekhovtsov, Alexander, et al. “Maximum Persistency via Iterative Relaxed Inference with Graphical Models.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 40, no. 7, IEEE, 2018, pp. 1668–82, doi:10.1109/TPAMI.2017.2730884.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |Published| Conference Paper | IST-REx-ID: 7116 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Grubic, Demjan, et al. “Synchronous Multi-GPU Training for Deep Learning with Low-Precision Communications: An Empirical Study.” Proceedings of the 21st International Conference on Extending Database Technology, OpenProceedings, 2018, pp. 145–56, doi:10.5441/002/EDBT.2018.14.
[Published Version]
View
| Files available
| DOI
2018 |Published| Conference Paper | IST-REx-ID: 7407 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pietrzak, Krzysztof Z. “Proofs of Catalytic Space.” 10th Innovations in Theoretical Computer Science Conference (ITCS 2019), vol. 124, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 59:1-59:25, doi:10.4230/LIPICS.ITCS.2019.59.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2018 |Published| Journal Article | IST-REx-ID: 6001
Alistarh, Dan-Adrian, et al. “ThreadScan: Automatic and Scalable Memory Reclamation.” ACM Transactions on Parallel Computing, vol. 4, no. 4, 18, Association for Computing Machinery, 2018, doi:10.1145/3201897.
View
| Files available
| DOI
2018 |Published| Conference Paper | IST-REx-ID: 7812 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Polino, Antonio, et al. “Model Compression via Distillation and Quantization.” 6th International Conference on Learning Representations, 2018.
[Published Version]
View
| Files available
| arXiv
2018 |Submitted| Preprint | IST-REx-ID: 8547 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Llorca, Alfredo, et al. “Heterogeneous Progenitor Cell Behaviors Underlie the Assembly of Neocortical Cytoarchitecture.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/494088.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2018 |Published| Book Chapter | IST-REx-ID: 86 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. “Computing Average Response Time.” Principles of Modeling, edited by Marten Lohstroh et al., vol. 10760, Springer, 2018, pp. 143–61, doi:10.1007/978-3-319-95246-8_9.
[Submitted Version]
View
| Files available
| DOI
2018 |Published| Journal Article | IST-REx-ID: 9229 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Danzl, Johann G. “Diffraction-Unlimited Optical Imaging for Synaptic Physiology.” Opera Medica et Physiologica, vol. 4, no. S1, Lobachevsky State University of Nizhny Novgorod, 2018, p. 11, doi:10.20388/omp2018.00s1.001.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 |Published| Conference Paper | IST-REx-ID: 6005 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Avni, Guy, et al. Timed Network Games with Clocks. Vol. 117, 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:10.4230/LIPICS.MFCS.2018.23.
[Published Version]
View
| Files available
| DOI
2018 |Published| Journal Article | IST-REx-ID: 315 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Polechova, Jitka. “Is the Sky the Limit? On the Expansion Threshold of a Species’ Range.” PLoS Biology, vol. 16, no. 6, e2005372, Public Library of Science, 2018, doi:10.1371/journal.pbio.2005372.
[Published Version]
View
| Files available
| DOI
2018 |Published| Journal Article | IST-REx-ID: 9471 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Frost, Jennifer M., et al. “FACT Complex Is Required for DNA Demethylation at Heterochromatin during Reproduction in Arabidopsis.” Proceedings of the National Academy of Sciences, vol. 115, no. 20, National Academy of Sciences, 2018, pp. E4720–29, doi:10.1073/pnas.1713333115.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2018 |Published| Conference Paper | IST-REx-ID: 186 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fulek, Radoslav, and Jan Kynčl. The ℤ2-Genus of Kuratowski Minors. Vol. 99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 40.1-40.14, doi:10.4230/LIPIcs.SoCG.2018.40.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv