Re-activation of stem cell pathways for pattern restoration in plant wound healing
P. Marhavá, L. Hörmayer, S. Yoshida, P. Marhavý, E. Benková, J. Friml, Cell 177 (2019) 957–969.e13.
LibreCat: https://research-explorer.ista.ac.at/record/6351
DOI: 10.1016/j.cell.2019.04.015
WoS: 000466843000015
PMID: 31051107

Targeted cell ablation-based insights into wound healing and restorative patterning
L. Hörmayer, J. Friml, Current Opinion in Plant Biology 52 (2019) 124–130.
LibreCat: https://research-explorer.ista.ac.at/record/6943
DOI: 10.1016/j.pbi.2019.08.006
WoS: 000502890600017
PMID: 31585333

Electron microscopic detection of single membrane proteins by a specific chemical labeling
S. Tabata, M. Jevtic, N. Kurashige, H. Fuchida, M. Kido, K. Tani, N. Zenmyo, S. Uchinomiya, H. Harada, M. Itakura, I. Hamachi, R. Shigemoto, A. Ojida, IScience 22 (2019) 256–268.
LibreCat: https://research-explorer.ista.ac.at/record/7391
DOI: 10.1016/j.isci.2019.11.025
WoS: :000504652000020
PMID: 31786521

Structure and mechanism of mitochondrial proton-translocating transhydrogenase
D. Kampjut, L.A. Sazanov, Nature 573 (2019) 291–295.
LibreCat: https://research-explorer.ista.ac.at/record/6848
DOI: 10.1038/s41586-019-1519-2
WoS: 000485415400061
PMID: 31462775

The entorhinal cognitive map is attracted to goals
C.N. Boccara, M. Nardin, F. Stella, J. O’Neill, J.L. Csicsvari, Science 363 (2019) 1443–1447.
LibreCat: https://research-explorer.ista.ac.at/record/6194
DOI: 10.1126/science.aav4837
WoS: 000462738000034

Design and characterization of methods and biological components to realize synthetic neurotransmission
C. Mckenzie, Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission, Institute of Science and Technology Austria, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/7132
DOI: 10.15479/at:ista:7132

An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice
J.P. Castro, M.N. Yancoskie, M. Marchini, S. Belohlavy, L. Hiramatsu, M. Kudka, W.H. Beluch, R. Naumann, I. Skuplik, J. Cobb, N.H. Barton, C. Rolian, Y.F. Chan, ELife 8 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/6713
DOI: 10.7554/eLife.42014
WoS: 000473588700001
PMID: 31169497

Assessing the potential of Ge/SiGe quantum dots as hosts for singlet-triplet qubits
A.C. Hofmann, D. Jirovec, M. Borovkov, I. Prieto Gonzalez, A. Ballabio, J. Frigerio, D. Chrastina, G. Isella, G. Katsaros, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/10065
DOI: 10.48550/arXiv.1910.05841
arXiv: 1910.05841

A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion
K. Valosková, J. Bicher, M. Roblek, S. Emtenani, A. György, M. Misova, A. Ratheesh, P. Rodrigues, K. Shkarina, I.S.B. Larsen, S.Y. Vakhrushev, H. Clausen, D.E. Siekhaus, ELife 8 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/6187
DOI: 10.7554/elife.41801
WoS: 000462530200001

The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration
K. Valosková, The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration, Institute of Science and Technology Austria, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6546
DOI: 10.15479/AT:ISTA:6546

Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits
C. Espinoza Martinez, Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits, Institute of Science and Technology Austria, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6363
DOI: 10.15479/AT:ISTA:6363

Modular verification for almost-sure termination of probabilistic programs
M. Huang, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , ACM, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6780
DOI: 10.1145/3360555
arXiv: 1901.06087

Efficient parameterized algorithms for data packing
K. Chatterjee, A.K. Goharshady, N. Okati, A. Pavlogiannis, Proceedings of the ACM on Programming Languages 3 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/6380
DOI: 10.1145/3290366

Probabilistic smart contracts: Secure randomness on the blockchain
K. Chatterjee, A.K. Goharshady, A. Pourdamghani, in:, IEEE International Conference on Blockchain and Cryptocurrency, IEEE, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6056
DOI: 10.1109/BLOC.2019.8751326
arXiv: 1902.07986

Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving
K. Chatterjee, A.K. Goharshady, A. Pourdamghani, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, 2019, pp. 374–381.
LibreCat: https://research-explorer.ista.ac.at/record/6378
DOI: 10.1145/3297280.3297319
WoS: 000474685800049

Cost analysis of nondeterministic probabilistic programs
P. Wang, H. Fu, A.K. Goharshady, K. Chatterjee, X. Qin, W. Shi, in:, PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2019, pp. 204–220.
LibreCat: https://research-explorer.ista.ac.at/record/6175
DOI: 10.1145/3314221.3314581
WoS: 000523190300014
arXiv: 1902.04659

The treewidth of smart contracts
K. Chatterjee, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, n.d., pp. 400–408.
LibreCat: https://research-explorer.ista.ac.at/record/6490
DOI: 10.1145/3297280.3297322
WoS: 000474685800052

Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth
K. Chatterjee, A.K. Goharshady, P. Goyal, R. Ibsen-Jensen, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 41 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/7158
DOI: 10.1145/3363525
WoS: 000564108400004

Non-polynomial worst-case analysis of recursive programs
K. Chatterjee, H. Fu, A.K. Goharshady, ACM Transactions on Programming Languages and Systems 41 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/7014
DOI: 10.1145/3339984
WoS: 000564108400001
arXiv: 1705.00317

Relaminarization of pipe flow by means of 3D-printed shaped honeycombs
J. Kühnen, D. Scarselli, B. Hof, Journal of Fluids Engineering 141 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/6486
DOI: 10.1115/1.4043494
WoS: 000487748600005
arXiv: 1809.07625