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.
4404 Publications
2020 |Published| Journal Article | IST-REx-ID: 8319 |
Retrieval of cavity-generated atomic spin squeezing after free-space release
Y. Wu, R. Krishnakumar, J. Martínez-Rincón, B.K. Malia, O. Hosten, M.A. Kasevich, Physical Review A 102 (2020).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Y. Wu, R. Krishnakumar, J. Martínez-Rincón, B.K. Malia, O. Hosten, M.A. Kasevich, Physical Review A 102 (2020).
2020 |Published| Journal Article | IST-REx-ID: 15055 |
Reinforcement learning of risk-constrained policies in Markov decision processes
T. Brázdil, K. Chatterjee, P. Novotný, J. Vahala, Proceedings of the 34th AAAI Conference on Artificial Intelligence 34 (2020) 9794–9801.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Brázdil, K. Chatterjee, P. Novotný, J. Vahala, Proceedings of the 34th AAAI Conference on Artificial Intelligence 34 (2020) 9794–9801.
2020 |Published| Journal Article | IST-REx-ID: 15057 |
VRK-1 extends life span by activation of AMPK via phosphorylation
S. Park, M. Artan, S.H. Han, H.-E.H. Park, Y. Jung, A.B. Hwang, W.S. Shin, K.-T. Kim, S.-J.V. Lee, Science Advances 6 (2020).
[Published Version]
View
| Files available
| DOI
S. Park, M. Artan, S.H. Han, H.-E.H. Park, Y. Jung, A.B. Hwang, W.S. Shin, K.-T. Kim, S.-J.V. Lee, Science Advances 6 (2020).
2020 |Published| Journal Article | IST-REx-ID: 15061 |
Calcium modulates the domain flexibility and function of an α-actinin similar to the ancestral α-actinin
N. Pinotsis, K. Zielinska, M. Babuta, J.L. Arolas, J. Kostan, M.B. Khan, C. Schreiner, A.P. Testa Salmazo, L. Ciccarelli, M. Puchinger, E.A. Gkougkoulia, E. de A. Ribeiro, T.C. Marlovits, A. Bhattacharya, K. Djinovic-Carugo, Proceedings of the National Academy of Sciences 117 (2020) 22101–22112.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
N. Pinotsis, K. Zielinska, M. Babuta, J.L. Arolas, J. Kostan, M.B. Khan, C. Schreiner, A.P. Testa Salmazo, L. Ciccarelli, M. Puchinger, E.A. Gkougkoulia, E. de A. Ribeiro, T.C. Marlovits, A. Bhattacharya, K. Djinovic-Carugo, Proceedings of the National Academy of Sciences 117 (2020) 22101–22112.
2020 |Published| Journal Article | IST-REx-ID: 15064 |
Čech-Delaunay gradient flow and homology inference for self-maps
U. Bauer, H. Edelsbrunner, G. Jablonski, M. Mrozek, Journal of Applied and Computational Topology 4 (2020) 455–480.
[Published Version]
View
| Files available
| DOI
U. Bauer, H. Edelsbrunner, G. Jablonski, M. Mrozek, Journal of Applied and Computational Topology 4 (2020) 455–480.
2020 |Published| Journal Article | IST-REx-ID: 15063 |
Optimal lower bound on the least singular value of the shifted Ginibre ensemble
G. Cipolloni, L. Erdös, D.J. Schröder, Probability and Mathematical Physics 1 (2020) 101–146.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Probability and Mathematical Physics 1 (2020) 101–146.
2020 |Published| Conference Paper | IST-REx-ID: 15074 |
Brief announcement: Efficient load-balancing through distributed token dropping
S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, 34th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| Files available
| DOI
| arXiv
S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, 34th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 |Published| Conference Paper | IST-REx-ID: 15082 |
Disjoint tree-compatible plane perfect matchings
O. Aichholzer, J. Obmann, P. Patak, D. Perz, J. Tkadlec, in:, 36th European Workshop on Computational Geometry, 2020.
[Published Version]
View
| Download Published Version (ext.)
O. Aichholzer, J. Obmann, P. Patak, D. Perz, J. Tkadlec, in:, 36th European Workshop on Computational Geometry, 2020.
2020 |Published| Journal Article | IST-REx-ID: 6748 |
Analysis of a two-layer neural network via displacement convexity
A. Javanmard, M. Mondelli, A. Montanari, Annals of Statistics 48 (2020) 3619–3642.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Javanmard, M. Mondelli, A. Montanari, Annals of Statistics 48 (2020) 3619–3642.
2020 |Published| Journal Article | IST-REx-ID: 8741 |
Emergence of cascading dynamics in interacting tipping elements of ecology and climate: Cascading dynamics in tipping elements
A.K. Klose, V. Karle, R. Winkelmann, J.F. Donges, Royal Society Open Science 7 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A.K. Klose, V. Karle, R. Winkelmann, J.F. Donges, Royal Society Open Science 7 (2020).
2020 |Published| Journal Article | IST-REx-ID: 7687 |
(Core Trust) Seal your repository!
D. Ernst, G. Novotny, E.M. Schönher, Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare 73 (2020) 46–59.
[Published Version]
View
| Files available
| DOI
D. Ernst, G. Novotny, E.M. Schönher, Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare 73 (2020) 46–59.
2020 |Published| Conference Paper | IST-REx-ID: 15071 |
Characterization of methanosarcina mazei JL01 isolated from holocene arctic permafrost and study of the archaeon cooperation with bacterium Sphaerochaeta associata GLS2T
V. Oshurkova, O. Troshina, V. Trubitsyn, Y. Ryzhmanova, O. Bochkareva, V. Shcherbakova, in:, Proceedings of 1st International Electronic Conference on Microbiology, MDPI, 2020.
[Published Version]
View
| Files available
| DOI
V. Oshurkova, O. Troshina, V. Trubitsyn, Y. Ryzhmanova, O. Bochkareva, V. Shcherbakova, in:, Proceedings of 1st International Electronic Conference on Microbiology, MDPI, 2020.
2020 |Published| Conference Paper | IST-REx-ID: 15086 |
Adaptive gradient quantization for data-parallel SGD
F. Faghri, I. Tabrizian, I. Markov, D.-A. Alistarh, D. Roy, A. Ramezani-Kebrya, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2020.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
F. Faghri, I. Tabrizian, I. Markov, D.-A. Alistarh, D. Roy, A. Ramezani-Kebrya, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2020.
2020 |Published| Conference Paper | IST-REx-ID: 15077 |
Dynamic averaging load balancing on cycles
D.-A. Alistarh, G. Nadiradze, A. Sabour, in:, 47th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| Files available
| DOI
| arXiv
D.-A. Alistarh, G. Nadiradze, A. Sabour, in:, 47th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 |Published| Journal Article | IST-REx-ID: 8755 |
Surpassing the resistance quantum with a geometric superinductor
M. Peruzzo, A. Trioni, F. Hassani, M. Zemlicka, J.M. Fink, Physical Review Applied 14 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Peruzzo, A. Trioni, F. Hassani, M. Zemlicka, J.M. Fink, Physical Review Applied 14 (2020).
2020 |Published| Journal Article | IST-REx-ID: 7541 |
Site-controlled uniform Ge/Si hut wires with electrically tunable spin-orbit coupling
F. Gao, J.-H. Wang, H. Watzinger, H. Hu, M.J. Rančić, J.-Y. Zhang, T. Wang, Y. Yao, G.-L. Wang, J. Kukucka, L. Vukušić, C. Kloeffel, D. Loss, F. Liu, G. Katsaros, J.-J. Zhang, Advanced Materials 32 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
F. Gao, J.-H. Wang, H. Watzinger, H. Hu, M.J. Rančić, J.-Y. Zhang, T. Wang, Y. Yao, G.-L. Wang, J. Kukucka, L. Vukušić, C. Kloeffel, D. Loss, F. Liu, G. Katsaros, J.-J. Zhang, Advanced Materials 32 (2020).
2020 |Published| Other Publication | IST-REx-ID: 17444 |
Nanowires: Site‐controlled uniform Ge/Si Hut wires with electrically tunable spin–orbit coupling (Adv. Mater. 16/2020)
F. Gao, J. Wang, H. Watzinger, H. Hu, M.J. Rančić, J. Zhang, T. Wang, Y. Yao, G. Wang, J. Kukucka, L. Vukušić, C. Kloeffel, D. Loss, F. Liu, G. Katsaros, J. Zhang, Nanowires: Site‐controlled Uniform Ge/Si Hut Wires with Electrically Tunable Spin–Orbit Coupling (Adv. Mater. 16/2020), Wiley, 2020.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
F. Gao, J. Wang, H. Watzinger, H. Hu, M.J. Rančić, J. Zhang, T. Wang, Y. Yao, G. Wang, J. Kukucka, L. Vukušić, C. Kloeffel, D. Loss, F. Liu, G. Katsaros, J. Zhang, Nanowires: Site‐controlled Uniform Ge/Si Hut Wires with Electrically Tunable Spin–Orbit Coupling (Adv. Mater. 16/2020), Wiley, 2020.
2020 |Published| Conference Paper | IST-REx-ID: 9198 |
Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks
A. Shevchenko, M. Mondelli, in:, Proceedings of the 37th International Conference on Machine Learning, ML Research Press, 2020, pp. 8773–8784.
[Published Version]
View
| Files available
| arXiv
A. Shevchenko, M. Mondelli, in:, Proceedings of the 37th International Conference on Machine Learning, ML Research Press, 2020, pp. 8773–8784.
2020 |Published| Thesis | IST-REx-ID: 7525 |
Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway
P. Bhandari, Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
P. Bhandari, Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway, Institute of Science and Technology Austria, 2020.
2020 |Published| Journal Article | IST-REx-ID: 8586 |
3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy
F. Fäßler, B. Zens, R. Hauschild, F.K. Schur, Journal of Structural Biology 212 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
F. Fäßler, B. Zens, R. Hauschild, F.K. Schur, Journal of Structural Biology 212 (2020).
2020 |Published| Journal Article | IST-REx-ID: 7473 |
Functional electron microscopy (“Flash and Freeze”) of identified cortical synapses in acute brain slices
C. Borges Merjane, O. Kim, P.M. Jonas, Neuron 105 (2020) 992–1006.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C. Borges Merjane, O. Kim, P.M. Jonas, Neuron 105 (2020) 992–1006.
2020 |Published| Thesis | IST-REx-ID: 8657 |
Perturbations of protein synthesis: from antibiotics to genetics and physiology
B. Kavcic, Perturbations of Protein Synthesis: From Antibiotics to Genetics and Physiology, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
B. Kavcic, Perturbations of Protein Synthesis: From Antibiotics to Genetics and Physiology, Institute of Science and Technology Austria, 2020.
2020 |Published| Journal Article | IST-REx-ID: 8250 |
Mechanisms of drug interactions between translation-inhibiting antibiotics
B. Kavcic, G. Tkačik, M.T. Bollenbach, Nature Communications 11 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
B. Kavcic, G. Tkačik, M.T. Bollenbach, Nature Communications 11 (2020).
2020 |Published| Preprint | IST-REx-ID: 7673 |
A minimal biophysical model of combined antibiotic action
B. Kavcic, G. Tkačik, M.T. Bollenbach, BioRxiv (2020).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
B. Kavcic, G. Tkačik, M.T. Bollenbach, BioRxiv (2020).
2020 |Published| Journal Article | IST-REx-ID: 8002 |
Wounding-induced changes in cellular pressure and localized auxin signalling spatially coordinate restorative divisions in roots
L. Hörmayer, J.C. Montesinos López, P. Marhavá, E. Benková, S. Yoshida, J. Friml, Proceedings of the National Academy of Sciences 117 (2020).
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L. Hörmayer, J.C. Montesinos López, P. Marhavá, E. Benková, S. Yoshida, J. Friml, Proceedings of the National Academy of Sciences 117 (2020).
2020 |Published| Thesis | IST-REx-ID: 7680 |
Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals
S. Kainrath, Synthetic Tools for Optogenetic and Chemogenetic Inhibition of Cellular Signals, Institute of Science and Technology Austria, 2020.
View
| Files available
| DOI
S. Kainrath, Synthetic Tools for Optogenetic and Chemogenetic Inhibition of Cellular Signals, Institute of Science and Technology Austria, 2020.
2020 |Published| Thesis | IST-REx-ID: 8620 |
Illuminating the role of Cul3 in autism spectrum disorder pathogenesis
J. Morandell, Illuminating the Role of Cul3 in Autism Spectrum Disorder Pathogenesis, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
J. Morandell, Illuminating the Role of Cul3 in Autism Spectrum Disorder Pathogenesis, Institute of Science and Technology Austria, 2020.
2020 |Published| Thesis | IST-REx-ID: 8340 |
Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes
D. Kampjut, Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes, Institute of Science and Technology Austria, 2020.
View
| Files available
| DOI
D. Kampjut, Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes, Institute of Science and Technology Austria, 2020.
2020 |Submitted| Preprint | IST-REx-ID: 7800 |
Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development
J. Morandell, L.A. Schwarz, B. Basilico, S. Tasciyan, A. Nicolas, C.M. Sommer, C. Kreuzinger, L. Knaus, Z. Dobler, E. Cacci, J.G. Danzl, G. Novarino, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
J. Morandell, L.A. Schwarz, B. Basilico, S. Tasciyan, A. Nicolas, C.M. Sommer, C. Kreuzinger, L. Knaus, Z. Dobler, E. Cacci, J.G. Danzl, G. Novarino, BioRxiv (n.d.).
2020 |Published| Journal Article | IST-REx-ID: 8131 |
Molecular mechanisms for targeted ASD treatments
B. Basilico, J. Morandell, G. Novarino, Current Opinion in Genetics and Development 65 (2020) 126–137.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B. Basilico, J. Morandell, G. Novarino, Current Opinion in Genetics and Development 65 (2020) 126–137.
2020 |Published| Journal Article | IST-REx-ID: 8434 |
Lamellipodin tunes cell migration by stabilizing protrusions and promoting adhesion formation
G.A. Dimchev, B. Amiri, A.C. Humphries, M. Schaks, V. Dimchev, T.E.B. Stradal, J. Faix, M. Krause, M. Way, M. Falcke, K. Rottner, Journal of Cell Science 133 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
G.A. Dimchev, B. Amiri, A.C. Humphries, M. Schaks, V. Dimchev, T.E.B. Stradal, J. Faix, M. Krause, M. Way, M. Falcke, K. Rottner, Journal of Cell Science 133 (2020).
2020 |Published| Journal Article | IST-REx-ID: 7889 |
Plants with genetically encoded autoluminescence
Mitiouchkina T, Mishin AS, Gonzalez Somermeyer L, Markina NM, Chepurnyh TV, Guglya EB, Karataeva TA, Palkina KA, Shakhova ES, Fakhranurova LI, Chekova SV, Tsarkova AS, Golubev YV, Negrebetsky VV, Dolgushin SA, Shalaev PV, Shlykov D, Melnik OA, Shipunova VO, Deyev SM, Bubyrev AI, Pushin AS, Choob VV, Dolgov SV, Kondrashov F, Yampolsky IV, Sarkisyan KS. 2020. Plants with genetically encoded autoluminescence. Nature Biotechnology. 38, 944–946.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Mitiouchkina T, Mishin AS, Gonzalez Somermeyer L, Markina NM, Chepurnyh TV, Guglya EB, Karataeva TA, Palkina KA, Shakhova ES, Fakhranurova LI, Chekova SV, Tsarkova AS, Golubev YV, Negrebetsky VV, Dolgushin SA, Shalaev PV, Shlykov D, Melnik OA, Shipunova VO, Deyev SM, Bubyrev AI, Pushin AS, Choob VV, Dolgov SV, Kondrashov F, Yampolsky IV, Sarkisyan KS. 2020. Plants with genetically encoded autoluminescence. Nature Biotechnology. 38, 944–946.
2020 |Published| Journal Article | IST-REx-ID: 7888 |
Zebrafish embryonic explants undergo genetically encoded self-assembly
A. Schauer, D.C. Nunes Pinheiro, R. Hauschild, C.-P.J. Heisenberg, ELife 9 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Schauer, D.C. Nunes Pinheiro, R. Hauschild, C.-P.J. Heisenberg, ELife 9 (2020).
2020 |Published| Preprint | IST-REx-ID: 9750 |
Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion
J. Slovakova, M.K. Sikora, S. Caballero Mancebo, G. Krens, W. Kaufmann, K. Huljev, C.-P.J. Heisenberg, BioRxiv (2020).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
J. Slovakova, M.K. Sikora, S. Caballero Mancebo, G. Krens, W. Kaufmann, K. Huljev, C.-P.J. Heisenberg, BioRxiv (2020).
2020 |Published| Journal Article | IST-REx-ID: 7426 |
Abstraction based verification of stability of polyhedral switched systems
M. Garcia Soto, P. Prabhakar, Nonlinear Analysis: Hybrid Systems 36 (2020).
[Submitted Version]
View
| Files available
| DOI
| WoS
M. Garcia Soto, P. Prabhakar, Nonlinear Analysis: Hybrid Systems 36 (2020).
2020 |Published| Thesis | IST-REx-ID: 8983 |
Metabolic regulation of Drosophila macrophage tissue invasion
S. Emtenani, Metabolic Regulation of Drosophila Macrophage Tissue Invasion, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
S. Emtenani, Metabolic Regulation of Drosophila Macrophage Tissue Invasion, Institute of Science and Technology Austria, 2020.
2020 |Submitted| Preprint | IST-REx-ID: 8557 |
Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance
V. Belyaeva, S. Wachner, I. Gridchyn, M. Linder, S. Emtenani, A. György, M. Sibilia, D.E. Siekhaus, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
V. Belyaeva, S. Wachner, I. Gridchyn, M. Linder, S. Emtenani, A. György, M. Sibilia, D.E. Siekhaus, BioRxiv (n.d.).
2020 |Published| Journal Article | IST-REx-ID: 8532 |
Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses
D. Kleindienst, J.-C. Montanaro-Punzengruber, P. Bhandari, M.J. Case, Y. Fukazawa, R. Shigemoto, International Journal of Molecular Sciences 21 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
D. Kleindienst, J.-C. Montanaro-Punzengruber, P. Bhandari, M.J. Case, Y. Fukazawa, R. Shigemoto, International Journal of Molecular Sciences 21 (2020).
2020 |Published| Journal Article | IST-REx-ID: 7161 |
Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces
Y. Shehu, A. Gibali, S. Sagratella, Journal of Optimization Theory and Applications 184 (2020) 877–894.
[Submitted Version]
View
| Files available
| DOI
| WoS
Y. Shehu, A. Gibali, S. Sagratella, Journal of Optimization Theory and Applications 184 (2020) 877–894.
2020 |Published| Journal Article | IST-REx-ID: 7652 |
Gene amplification as a form of population-level gene expression regulation
I. Tomanek, R. Grah, M. Lagator, A.M.C. Andersson, J.P. Bollback, G. Tkačik, C.C. Guet, Nature Ecology & Evolution 4 (2020) 612–625.
[Submitted Version]
View
| Files available
| DOI
| WoS
I. Tomanek, R. Grah, M. Lagator, A.M.C. Andersson, J.P. Bollback, G. Tkačik, C.C. Guet, Nature Ecology & Evolution 4 (2020) 612–625.
2020 |Published| Thesis | IST-REx-ID: 7258 |
New approaches to reduce friction in turbulent pipe flow
D. Scarselli, New Approaches to Reduce Friction in Turbulent Pipe Flow, Institute of Science and Technology Austria, 2020.
View
| Files available
| DOI
D. Scarselli, New Approaches to Reduce Friction in Turbulent Pipe Flow, Institute of Science and Technology Austria, 2020.
2020 |Published| Thesis | IST-REx-ID: 8653 |
The evolution of gene expression by copy number and point mutations
I. Tomanek, The Evolution of Gene Expression by Copy Number and Point Mutations, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
I. Tomanek, The Evolution of Gene Expression by Copy Number and Point Mutations, Institute of Science and Technology Austria, 2020.
2020 |Published| Journal Article | IST-REx-ID: 7427 |
Salicylic acid targets protein phosphatase 2A to attenuate growth in plants
S. Tan, M.F. Abas, I. Verstraeten, M. Glanc, G. Molnar, J. Hajny, P. Lasák, I. Petřík, E. Russinova, J. Petrášek, O. Novák, J. Pospíšil, J. Friml, Current Biology 30 (2020) 381–395.e8.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Tan, M.F. Abas, I. Verstraeten, M. Glanc, G. Molnar, J. Hajny, P. Lasák, I. Petřík, E. Russinova, J. Petrášek, O. Novák, J. Pospíšil, J. Friml, Current Biology 30 (2020) 381–395.e8.
2020 |Published| Journal Article | IST-REx-ID: 7500 |
Auxin canalization and vascular tissue formation by TIR1/AFB-mediated auxin signaling in arabidopsis
E. Mazur, I. Kulik, J. Hajny, J. Friml, New Phytologist 226 (2020) 1375–1383.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
E. Mazur, I. Kulik, J. Hajny, J. Friml, New Phytologist 226 (2020) 1375–1383.
2020 |Published| Thesis | IST-REx-ID: 8822 |
Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration
J. Hajny, Identification and Characterization of the Molecular Machinery of Auxin-Dependent Canalization during Vasculature Formation and Regeneration, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
J. Hajny, Identification and Characterization of the Molecular Machinery of Auxin-Dependent Canalization during Vasculature Formation and Regeneration, Institute of Science and Technology Austria, 2020.
2020 |Published| Thesis | IST-REx-ID: 8350 |
Bulk actin dynamics drive phase segregation in zebrafish oocytes
S. Shamipour, Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes , Institute of Science and Technology Austria, 2020.
View
| Files available
| DOI
S. Shamipour, Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes , Institute of Science and Technology Austria, 2020.
2020 |Published| Journal Article | IST-REx-ID: 8569 |
Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex
A.H. Hansen, S. Hippenmeyer, Frontiers in Cell and Developmental Biology 8 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A.H. Hansen, S. Hippenmeyer, Frontiers in Cell and Developmental Biology 8 (2020).
2020 |Published| Journal Article | IST-REx-ID: 7815 |
Lineage tracing and clonal analysis in developing cerebral cortex using mosaic analysis with double markers (MADM)
R.J. Beattie, C. Streicher, N. Amberg, G.T. Cheung, X. Contreras, A.H. Hansen, S. Hippenmeyer, Journal of Visual Experiments (2020).
[Published Version]
View
| Files available
| DOI
| WoS
R.J. Beattie, C. Streicher, N. Amberg, G.T. Cheung, X. Contreras, A.H. Hansen, S. Hippenmeyer, Journal of Visual Experiments (2020).
2020 |Published| Thesis | IST-REx-ID: 7902 |
Genetic dissection of neural development in health and disease at single cell resolution
X. Contreras, Genetic Dissection of Neural Development in Health and Disease at Single Cell Resolution, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
X. Contreras, Genetic Dissection of Neural Development in Health and Disease at Single Cell Resolution, Institute of Science and Technology Austria, 2020.
2020 |Published| Journal Article | IST-REx-ID: 8190 |
Zena Werb (1945-2020): Cell biology in context
M.K. Sixt, A. Huttenlocher, The Journal of Cell Biology 219 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
M.K. Sixt, A. Huttenlocher, The Journal of Cell Biology 219 (2020).
2020 |Published| Journal Article | IST-REx-ID: 8986 |
Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants
Y. Zhang, L. Rodriguez Solovey, L. Li, X. Zhang, J. Friml, Science Advances 6 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Y. Zhang, L. Rodriguez Solovey, L. Li, X. Zhang, J. Friml, Science Advances 6 (2020).
2020 |Published| Journal Article | IST-REx-ID: 8283 |
AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling
H. Chen, L. Lai, L. Li, L. Liu, B.H. Jakada, Y. Huang, Q. He, M. Chai, X. Niu, Y. Qin, International Journal of Molecular Sciences 21 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
H. Chen, L. Lai, L. Li, L. Liu, B.H. Jakada, Y. Huang, Q. He, M. Chai, X. Niu, Y. Qin, International Journal of Molecular Sciences 21 (2020).
2020 |Published| Journal Article | IST-REx-ID: 8139 |
Experimental toolbox for quantitative evaluation of clathrin-mediated endocytosis in the plant model Arabidopsis
A.J. Johnson, N. Gnyliukh, W. Kaufmann, M. Narasimhan, G. Vert, S. Bednarek, J. Friml, Journal of Cell Science 133 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A.J. Johnson, N. Gnyliukh, W. Kaufmann, M. Narasimhan, G. Vert, S. Bednarek, J. Friml, Journal of Cell Science 133 (2020).
2020 |Published| Journal Article | IST-REx-ID: 9160 |
All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways
H. Semerádová, J.C. Montesinos López, E. Benková, Plant Communications 1 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
H. Semerádová, J.C. Montesinos López, E. Benková, Plant Communications 1 (2020).
2020 |Published| Conference Paper | IST-REx-ID: 7810 |
Optimal and perfectly parallel algorithms for on-demand data-flow analysis
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
[Published Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
2020 |Published| Conference Paper | IST-REx-ID: 8728 |
Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. Pavlogiannis, in:, Automated Technology for Verification and Analysis, Springer Nature, 2020, pp. 253–270.
[Submitted Version]
View
| Files available
| DOI
| WoS
A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. Pavlogiannis, in:, Automated Technology for Verification and Analysis, Springer Nature, 2020, pp. 253–270.
2020 |Published| Conference Paper | IST-REx-ID: 8089 |
Polynomial invariant generation for non-deterministic recursive programs
K. Chatterjee, H. Fu, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 672–687.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, H. Fu, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 672–687.
2020 |Published| Journal Article | IST-REx-ID: 6918 |
An efficient algorithm for computing network reliability in small treewidth
A.K. Goharshady, F. Mohammadi, Reliability Engineering and System Safety 193 (2020).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A.K. Goharshady, F. Mohammadi, Reliability Engineering and System Safety 193 (2020).
2020 |Submitted| Preprint | IST-REx-ID: 8831 |
Enhancement of proximity induced superconductivity in planar Germanium
K. Aggarwal, A.C. Hofmann, D. Jirovec, I. Prieto Gonzalez, A. Sammak, M. Botifoll, S. Marti-Sanchez, M. Veldhorst, J. Arbiol, G. Scappucci, G. Katsaros, ArXiv (n.d.).
[Submitted Version]
View
| Files available
| arXiv
K. Aggarwal, A.C. Hofmann, D. Jirovec, I. Prieto Gonzalez, A. Sammak, M. Botifoll, S. Marti-Sanchez, M. Veldhorst, J. Arbiol, G. Scappucci, G. Katsaros, ArXiv (n.d.).
2019 |Published| Journal Article | IST-REx-ID: 10664 |
New correlated phenomena in magic-angle twisted bilayer graphene/s
M. Yankowitz, S. Chen, H. Polshyn, K. Watanabe, T. Taniguchi, D. Graf, A.F. Young, C.R. Dean, A.L. Sharpe, E.J. Fox, A.W. Barnard, J. Finney, Journal Club for Condensed Matter Physics 03 (2019).
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Yankowitz, S. Chen, H. Polshyn, K. Watanabe, T. Taniguchi, D. Graf, A.F. Young, C.R. Dean, A.L. Sharpe, E.J. Fox, A.W. Barnard, J. Finney, Journal Club for Condensed Matter Physics 03 (2019).
2019 |Published| Conference Paper | IST-REx-ID: 10877 |
ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics
G. Frehse, A. Abate, D. Adzkiya, A. Becchi, L. Bu, A. Cimatti, M. Giacobbe, A. Griggio, S. Mover, M.S. Mufid, I. Riouak, S. Tonetta, E. Zaffanella, in:, G. Frehse, M. Althoff (Eds.), ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, EasyChair, 2019, pp. 1–13.
[Published Version]
View
| Files available
| DOI
G. Frehse, A. Abate, D. Adzkiya, A. Becchi, L. Bu, A. Cimatti, M. Giacobbe, A. Griggio, S. Mover, M.S. Mufid, I. Riouak, S. Tonetta, E. Zaffanella, in:, G. Frehse, M. Althoff (Eds.), ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, EasyChair, 2019, pp. 1–13.
2019 |Published| Journal Article | IST-REx-ID: 441 |
Tropical formulae for summation over a part of SL(2,Z)
N. Kalinin, M. Shkolnikov, European Journal of Mathematics 5 (2019) 909–928.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
N. Kalinin, M. Shkolnikov, European Journal of Mathematics 5 (2019) 909–928.
2019 |Published| Journal Article | IST-REx-ID: 5887 |
Per-session security: Password-based cryptography revisited
G. Demay, P. Gazi, U. Maurer, B. Tackmann, Journal of Computer Security 27 (2019) 75–111.
[Preprint]
View
| DOI
| Download Preprint (ext.)
G. Demay, P. Gazi, U. Maurer, B. Tackmann, Journal of Computer Security 27 (2019) 75–111.
2019 |Published| Journal Article | IST-REx-ID: 6515 |
Simplices modelled on spaces of constant curvature
R. Dyer, G. Vegter, M. Wintraecken, Journal of Computational Geometry 10 (2019) 223–256.
[Published Version]
View
| Files available
| DOI
R. Dyer, G. Vegter, M. Wintraecken, Journal of Computational Geometry 10 (2019) 223–256.
2019 |Published| Conference Paper | IST-REx-ID: 6528 |
Simple verifiable delay functions
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 |Published| Conference Paper | IST-REx-ID: 6565 |
Formal synthesis of stabilizing controllers for periodically controlled linear switched systems
A. Kundu, M. Garcia Soto, P. Prabhakar, in:, 5th Indian Control Conference Proceedings, IEEE, 2019.
[Submitted Version]
View
| Files available
| DOI
A. Kundu, M. Garcia Soto, P. Prabhakar, in:, 5th Indian Control Conference Proceedings, IEEE, 2019.
2019 |Published| Conference Paper | IST-REx-ID: 6628 |
The extrinsic nature of the Hausdorff distance of optimal triangulations of manifolds
G. Vegter, M. Wintraecken, in:, The 31st Canadian Conference in Computational Geometry, 2019, pp. 275–279.
[Submitted Version]
View
| Files available
G. Vegter, M. Wintraecken, in:, The 31st Canadian Conference in Computational Geometry, 2019, pp. 275–279.
2019 |Published| Conference Paper | IST-REx-ID: 6648 |
Topological data analysis in information space
H. Edelsbrunner, Z. Virk, H. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 31:1-31:14.
[Published Version]
View
| Files available
| DOI
| arXiv
H. Edelsbrunner, Z. Virk, H. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 31:1-31:14.
2019 |Published| Journal Article | IST-REx-ID: 6659 |
Optimized reaction pair of the CysHis tag and Ni(II)-NTA probe for highly selective chemical labeling of membrane proteins
N. Zenmyo, H. Tokumaru, S. Uchinomiya, H. Fuchida, S. Tabata, I. Hamachi, R. Shigemoto, A. Ojida, Bulletin of the Chemical Society of Japan 92 (2019) 995–1000.
[Published Version]
View
| Files available
| DOI
N. Zenmyo, H. Tokumaru, S. Uchinomiya, H. Fuchida, S. Tabata, I. Hamachi, R. Shigemoto, A. Ojida, Bulletin of the Chemical Society of Japan 92 (2019) 995–1000.
2019 |Published| Conference Paper | IST-REx-ID: 6725 |
Testing the complexity of a valued CSP language
V. Kolmogorov, in:, 46th International Colloquium on Automata, Languages and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 77:1-77:12.
[Published Version]
View
| Files available
| DOI
| arXiv
V. Kolmogorov, in:, 46th International Colloquium on Automata, Languages and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 77:1-77:12.
2019 |Published| Book Chapter | IST-REx-ID: 6726 |
Sampling the integers with low relative error
M. Walter, in:, J. Buchmann, A. Nitaj, T. Rachidi (Eds.), Progress in Cryptology – AFRICACRYPT 2019, Springer Nature, Cham, 2019, pp. 157–180.
[Preprint]
View
| DOI
| Download Preprint (ext.)
M. Walter, in:, J. Buchmann, A. Nitaj, T. Rachidi (Eds.), Progress in Cryptology – AFRICACRYPT 2019, Springer Nature, Cham, 2019, pp. 157–180.
2019 |Published| Journal Article | IST-REx-ID: 6750 |
Rate-flexible fast polar decoders
S.A. Hashemi, C. Condo, M. Mondelli, W.J. Gross, IEEE Transactions on Signal Processing 67 (2019).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S.A. Hashemi, C. Condo, M. Mondelli, W.J. Gross, IEEE Transactions on Signal Processing 67 (2019).
2019 |Published| Journal Article | IST-REx-ID: 6759 |
On grounded L-graphs and their relatives
V. Jelínek, M. Töpfer, Electronic Journal of Combinatorics 26 (2019).
[Published Version]
View
| Files available
| DOI
| arXiv
V. Jelínek, M. Töpfer, Electronic Journal of Combinatorics 26 (2019).
2019 |Published| Conference Paper | IST-REx-ID: 6822 |
Bidding games on Markov decision processes
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, P. Novotny, in:, Proceedings of the 13th International Conference of Reachability Problems, Springer, 2019, pp. 1–12.
[Submitted Version]
View
| Files available
| DOI
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, P. Novotny, in:, Proceedings of the 13th International Conference of Reachability Problems, Springer, 2019, pp. 1–12.
2019 |Published| Conference Paper | IST-REx-ID: 6887 |
Near-linear time algorithms for Streett objectives in graphs and MDPs
K. Chatterjee, W. Dvorák, M.H. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, W. Dvorák, M.H. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 |Published| Conference Paper | IST-REx-ID: 6888 |
Designing worm-inspired neural networks for interpretable robotic control
M. Lechner, R. Hasani, M. Zimmer, T.A. Henzinger, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2019.
[Submitted Version]
View
| Files available
| DOI
M. Lechner, R. Hasani, M. Zimmer, T.A. Henzinger, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2019.
2019 |Published| Conference Paper | IST-REx-ID: 6886 |
Determinacy in discrete-bidding infinite-duration games
M. Aghajohari, G. Avni, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Aghajohari, G. Avni, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 |Published| Conference Paper | IST-REx-ID: 6885 |
Long-run average behavior of vector addition systems with states
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 |Published| Conference Paper | IST-REx-ID: 6889 |
Combinations of Qualitative Winning for Stochastic Parity Games
K. Chatterjee, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 |Published| Conference Paper | IST-REx-ID: 6931 |
Byzantine approximate agreement on graphs
T. Nowak, J. Rybicki, in:, 33rd International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 29:1--29:17.
[Published Version]
View
| Files available
| DOI
| arXiv
T. Nowak, J. Rybicki, in:, 33rd International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 29:1--29:17.
2019 |Published| Conference Paper | IST-REx-ID: 6985 |
Response characterization for auditing cell dynamics in long short-term memory networks
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus, in:, Proceedings of the International Joint Conference on Neural Networks, IEEE, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus, in:, Proceedings of the International Joint Conference on Neural Networks, IEEE, 2019.
2019 |Published| Journal Article | IST-REx-ID: 7007 |
A new coding paradigm for the primitive relay channel
M. Mondelli, S.H. Hassani, R. Urbanke, Algorithms 12 (2019).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Mondelli, S.H. Hassani, R. Urbanke, Algorithms 12 (2019).
2019 |Published| Conference Paper | IST-REx-ID: 7035 |
Dirac masses and isometric rigidity
G.P. Geher, T. Titkos, D. Virosztek, in:, Kyoto RIMS Kôkyûroku, Research Institute for Mathematical Sciences, Kyoto University, 2019, pp. 34–41.
[Submitted Version]
View
| Download Submitted Version (ext.)
G.P. Geher, T. Titkos, D. Virosztek, in:, Kyoto RIMS Kôkyûroku, Research Institute for Mathematical Sciences, Kyoto University, 2019, pp. 34–41.
2019 |Published| Conference Paper | IST-REx-ID: 7401 |
Z_2-Genus of graphs and minimum rank of partial symmetric matrices
R. Fulek, J. Kyncl, in:, 35th International Symposium on Computational Geometry (SoCG 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version]
View
| Files available
| DOI
| arXiv
R. Fulek, J. Kyncl, in:, 35th International Symposium on Computational Geometry (SoCG 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 |Published| Book Chapter | IST-REx-ID: 7453 |
Continuous-time models for system design and analysis
R. Alur, M. Giacobbe, T.A. Henzinger, K.G. Larsen, M. Mikučionis, in:, B. Steffen, G. Woeginger (Eds.), Computing and Software Science, Springer Nature, 2019, pp. 452–477.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R. Alur, M. Giacobbe, T.A. Henzinger, K.G. Larsen, M. Mikučionis, in:, B. Steffen, G. Woeginger (Eds.), Computing and Software Science, Springer Nature, 2019, pp. 452–477.
2019 |Published| Journal Article | IST-REx-ID: 7550 |
Penalization via global functionals of optimal-control problems for dissipative evolution
L. Portinale, U. Stefanelli, Advances in Mathematical Sciences and Applications 28 (2019) 425–447.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
L. Portinale, U. Stefanelli, Advances in Mathematical Sciences and Applications 28 (2019) 425–447.
2019 |Submitted| Preprint | IST-REx-ID: 7552 |
Action at a distance in transcriptional regulation
W. Bialek, T. Gregor, G. Tkačik, ArXiv:1912.08579 (n.d.).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
W. Bialek, T. Gregor, G. Tkačik, ArXiv:1912.08579 (n.d.).
2019 |Published| Conference Paper | IST-REx-ID: 7576 |
ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics
F. Immler, M. Althoff, L. Benet, A. Chapoutot, X. Chen, M. Forets, L. Geretti, N. Kochdumper, D.P. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair Publications, 2019, pp. 41–61.
[Published Version]
View
| Files available
| DOI
F. Immler, M. Althoff, L. Benet, A. Chapoutot, X. Chen, M. Forets, L. Geretti, N. Kochdumper, D.P. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair Publications, 2019, pp. 41–61.
2019 |Published| Conference Paper | IST-REx-ID: 8175 |
New edge asymptotics of skew Young diagrams via free boundaries
D. Betea, J. Bouttier, P. Nejjar, M. Vuletíc, in:, Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics, Formal Power Series and Algebraic Combinatorics, 2019.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
D. Betea, J. Bouttier, P. Nejjar, M. Vuletíc, in:, Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics, Formal Power Series and Algebraic Combinatorics, 2019.
2019 |Published| Conference Paper | IST-REx-ID: 8570 |
ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous dynamics
M. Althoff, S. Bak, M. Forets, G. Frehse, N. Kochdumper, R. Ray, C. Schilling, S. Schupp, in:, EPiC Series in Computing, EasyChair, 2019, pp. 14–40.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Althoff, S. Bak, M. Forets, G. Frehse, N. Kochdumper, R. Ray, C. Schilling, S. Schupp, in:, EPiC Series in Computing, EasyChair, 2019, pp. 14–40.
2019 |Published| Journal Article | IST-REx-ID: 6819 |
Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells
M.N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F.V. Rao, C.V. Martin, BMC Research Notes 12 (2019).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M.N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F.V. Rao, C.V. Martin, BMC Research Notes 12 (2019).
2019 | Research Data Reference | IST-REx-ID: 9784 |
MOESM1 of Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells
M.N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F.V. Rao, C.V. Martin, (2019).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M.N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F.V. Rao, C.V. Martin, (2019).
2019 | Research Data Reference | IST-REx-ID: 9839 |
Data from: Is the sky the limit? On the expansion threshold of a species' range
J. Polechova, (2019).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
J. Polechova, (2019).
2019 |Submitted| Preprint | IST-REx-ID: 8305 |
Bootstrapping consensus without trusted setup: fully asynchronous distributed key generation
E. Kokoris Kogias, A. Spiegelman, D. Malkhi, I. Abraham, Cryptology EPrint Archive (n.d.).
[Preprint]
View
| Download Preprint (ext.)
E. Kokoris Kogias, A. Spiegelman, D. Malkhi, I. Abraham, Cryptology EPrint Archive (n.d.).
2019 |Published| Conference Abstract | IST-REx-ID: 12901 |
Is Debian suitable for running an HPC Cluster?
A. Schlögl, J. Kiss, S. Elefante, in:, AHPC19 - Austrian HPC Meeting 2019 , Institut für Mathematik und wissenschaftliches Rechnen der Universität Graz, 2019, p. 25.
[Published Version]
View
| Files available
| Download Published Version (ext.)
A. Schlögl, J. Kiss, S. Elefante, in:, AHPC19 - Austrian HPC Meeting 2019 , Institut für Mathematik und wissenschaftliches Rechnen der Universität Graz, 2019, p. 25.
2019 |Published| Conference Paper | IST-REx-ID: 6989 |
Folding polyominoes with holes into a cube
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, in:, Proceedings of the 31st Canadian Conference on Computational Geometry, Canadian Conference on Computational Geometry, 2019, pp. 164–170.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, in:, Proceedings of the 31st Canadian Conference on Computational Geometry, Canadian Conference on Computational Geometry, 2019, pp. 164–170.
2019 |Published| Conference Paper | IST-REx-ID: 6884 |
Bidding mechanisms in graph games
G. Avni, T.A. Henzinger, D. Zikelic, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version]
View
| Files available
| DOI
| arXiv
G. Avni, T.A. Henzinger, D. Zikelic, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 |Published| Journal Article | IST-REx-ID: 6671 |
The reach, metric distortion, geodesic convexity and the variation of tangent spaces
J.-D. Boissonnat, A. Lieutier, M. Wintraecken, Journal of Applied and Computational Topology 3 (2019) 29–58.
[Published Version]
View
| Files available
| DOI
J.-D. Boissonnat, A. Lieutier, M. Wintraecken, Journal of Applied and Computational Topology 3 (2019) 29–58.
2019 |Published| Journal Article | IST-REx-ID: 301 |
A Feynman–Kac formula for stochastic Dirichlet problems
M. Gerencser, I. Gyöngy, Stochastic Processes and Their Applications 129 (2019) 995–1012.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Gerencser, I. Gyöngy, Stochastic Processes and Their Applications 129 (2019) 995–1012.
2019 |Published| Journal Article | IST-REx-ID: 80 |
Bose–Einstein condensation in a dilute, trapped gas at positive temperature
A. Deuchert, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 368 (2019) 723–776.
[Published Version]
View
| Files available
| DOI
| WoS
A. Deuchert, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 368 (2019) 723–776.