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.
4966 Publications
2018 |
Published |
Journal Article |
IST-REx-ID: 322 |
Ganev IV. 2018. Quantizations of multiplicative hypertoric varieties at a root of unity. Journal of Algebra. 506, 92–128.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 323 |
Leithner AF. 2018. Branched actin networks in dendritic cell biology. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 |
Published |
Thesis | PhD |
IST-REx-ID: 324 |
Chen C. 2018. Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2018 |
Published |
Conference Paper |
IST-REx-ID: 325 |
Agrawal S, Chatterjee K, Novotný P. 2018. Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs. POPL: Principles of Programming Languages vol. 2, 34.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |
Published |
Journal Article |
IST-REx-ID: 326 |
Sawada K, Kawakami R, Shigemoto R, Nemoto T. 2018. Super resolution structural analysis of dendritic spines using three-dimensional structured illumination microscopy in cleared mouse brain slices. European Journal of Neuroscience. 47(9), 1033–1042.
[Published Version]
View
| Files available
| DOI
| WoS
2018 |
Published |
Journal Article |
IST-REx-ID: 327 |
Michailidis A, Žnidarič M, Medvedyeva M, Abanin D, Prosen T, Papić Z. 2018. Slow dynamics in translation-invariant quantum lattice models. Physical Review B. 97(10), 104307.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2018 |
Published |
Journal Article |
IST-REx-ID: 328 |
Choueiri GH, Lopez Alonso JM, Hof B. 2018. Exceeding the asymptotic limit of polymer drag reduction. Physical Review Letters. 120(12), 124501.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2018 |
Published |
Journal Article |
IST-REx-ID: 33 |
Bertl J, Ringbauer H, Blum M. 2018. Can secondary contact following range expansion be distinguished from barriers to gene flow? PeerJ. 2018(10), e5325.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2018 |
Published |
Journal Article |
IST-REx-ID: 107 |
Dziembowski S, Pietrzak KZ, Wichs D. 2018. Non-malleable codes. Journal of the ACM. 65(4), 20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2018 |
Published |
Conference Paper |
IST-REx-ID: 108 |
Obremski M, Skórski M. 2018. Inverted leftover hash lemma. ISIT: International Symposium on Information Theory, ISIT Proceedings, vol. 2018.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2018 |
Published |
Book Chapter |
IST-REx-ID: 10864 |
Kazda A, Kozik M, McKenzie R, Moore M. 2018.Absorption and directed Jónsson terms. In: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science. vol. 16, 203–220.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |
Published |
Journal Article |
IST-REx-ID: 10880 |
Yuuta M, Koshiba-Takeuchi K. 2018. Significance of whole-genome duplications on the emergence of evolutionary novelties. Briefings in Functional Genomics. 17(5), 329–338.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2018 |
Published |
Journal Article |
IST-REx-ID: 10881
Moturu TR, Thula S, Singh RK, Nodzyński T, Vařeková RS, Friml J, Simon S. 2018. Molecular evolution and diversification of the SMXL gene family. Journal of Experimental Botany. 69(9), 2367–2378.
View
| DOI
| WoS
| PubMed | Europe PMC
2018 |
Published |
Conference Paper |
IST-REx-ID: 10882 |
Uijlings J, Konyushkova K, Lampert C, Ferrari V. 2018. Learning intelligent dialogs for bounding box annotation. 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition. CVF: Conference on Computer Vision and Pattern Recognition, 9175–9184.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |
Published |
Conference Paper |
IST-REx-ID: 10883 |
Chatterjee K, Dvořák W, Henzinger MH, Svozil A. 2018. Quasipolynomial set-based symbolic algorithms for parity games. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. LPAR: Conference on Logic for Programming, Artificial Intelligence and Reasoning, EPiC Series in Computing, vol. 57, 233–253.
[Published Version]
View
| Files available
| DOI
| arXiv
2018 |
Published |
Conference Paper |
IST-REx-ID: 11 |
Leopold NK, Pickl P. 2018. Mean-field limits of particles in interaction with quantised radiation fields. MaLiQS: Macroscopic Limits of Quantum Systems vol. 270, 185–214.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |
Published |
Conference Paper |
IST-REx-ID: 78 |
Bakhirkin A, Ferrere T, Nickovic D, Maler O, Asarin E. 2018. Online timed pattern matching using automata. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 11022, 215–232.
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 |
Published |
Conference Paper |
IST-REx-ID: 7812 |
Polino A, Pascanu R, Alistarh D-A. 2018. Model compression via distillation and quantization. 6th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.
[Published Version]
View
| Files available
| arXiv
2018 |
Published |
Conference Paper |
IST-REx-ID: 79 |
Arming S, Bartocci E, Chatterjee K, Katoen JP, Sokolova A. 2018. Parameter-independent strategies for pMDPs via POMDPs. QEST: Quantitative Evaluation of Systems, LNCS, vol. 11024, 53–70.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv