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.
517 Publications
2019 | 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.
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 | Journal Article | IST-REx-ID: 6824
Patrolling the vascular borders: Platelets in immunity to infection and cancer
F.R. Gärtner, S. Massberg, Nature Reviews Immunology 19 (2019) 747–760.
View
| DOI
| PubMed | Europe PMC
F.R. Gärtner, S. Massberg, Nature Reviews Immunology 19 (2019) 747–760.
2019 | Journal Article | IST-REx-ID: 6828 |

Arakawa-Suzuki functors for Whittaker modules
A. Brown, Journal of Algebra 538 (2019) 261–289.
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Brown, Journal of Algebra 538 (2019) 261–289.
2019 | Journal Article | IST-REx-ID: 6832
Active cell migration is critical for steady-state epithelial turnover in the gut
D. Krndija, F.E. Marjou, B. Guirao, S. Richon, O. Leroy, Y. Bellaiche, E.B. Hannezo, D.M. Vignjevic, Science 365 (2019) 705–710.
View
| DOI
| PubMed | Europe PMC
D. Krndija, F.E. Marjou, B. Guirao, S. Richon, O. Leroy, Y. Bellaiche, E.B. Hannezo, D.M. Vignjevic, Science 365 (2019) 705–710.
2019 | Journal Article | IST-REx-ID: 6835 |

Rational points and prime values of polynomials in moderately many variables
K.N. Destagnol, E. Sofos, Bulletin Des Sciences Mathematiques 156 (2019).
View
| DOI
| Download Preprint (ext.)
| arXiv
K.N. Destagnol, E. Sofos, Bulletin Des Sciences Mathematiques 156 (2019).
2019 | Journal Article | IST-REx-ID: 6836 |

Social dilemmas among unequals
O.P. Hauser, C. Hilbe, K. Chatterjee, M.A. Nowak, Nature 572 (2019) 524–527.
View
| Files available
| DOI
O.P. Hauser, C. Hilbe, K. Chatterjee, M.A. Nowak, Nature 572 (2019) 524–527.
2019 | Journal Article | IST-REx-ID: 6837
Migrasomes take center stage
S. Tavano, C.-P.J. Heisenberg, Nature Cell Biology 21 (2019) 918–920.
View
| DOI
| PubMed | Europe PMC
S. Tavano, C.-P.J. Heisenberg, Nature Cell Biology 21 (2019) 918–920.
2019 | Journal Article | IST-REx-ID: 6840 |

Thermodynamics of inhomogeneous imperfect quantum gases in harmonic traps
K. Mysliwy, M. Napiórkowski, Journal of Statistical Mechanics: Theory and Experiment 2019 (2019).
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Mysliwy, M. Napiórkowski, Journal of Statistical Mechanics: Theory and Experiment 2019 (2019).
2019 | Journal Article | IST-REx-ID: 6843 |

On isometric embeddings of Wasserstein spaces – the discrete case
G.P. Gehér, T. Titkos, D. Virosztek, Journal of Mathematical Analysis and Applications 480 (2019).
View
| DOI
| Download Preprint (ext.)
| arXiv
G.P. Gehér, T. Titkos, D. Virosztek, Journal of Mathematical Analysis and Applications 480 (2019).
2019 | Journal Article | IST-REx-ID: 6844 |

A mathematical insight into cell labelling experiments for clonal analysis
N. Picco, S. Hippenmeyer, J. Rodarte, C. Streicher, Z. Molnár, P.K. Maini, T.E. Woolley, Journal of Anatomy 235 (2019) 686–696.
View
| Files available
| DOI
N. Picco, S. Hippenmeyer, J. Rodarte, C. Streicher, Z. Molnár, P.K. Maini, T.E. Woolley, Journal of Anatomy 235 (2019) 686–696.
2019 | Journal Article | IST-REx-ID: 6855 |

Thinking about the evolution of complex traits in the era of genome-wide association studies
G. Sella, N.H. Barton, Annual Review of Genomics and Human Genetics 20 (2019) 461–493.
View
| Files available
| DOI
| PubMed | Europe PMC
G. Sella, N.H. Barton, Annual Review of Genomics and Human Genetics 20 (2019) 461–493.
2019 | Journal Article | IST-REx-ID: 6856 |

Mating system variation in hybrid zones: Facilitation, barriers and asymmetries to gene flow
M. Pickup, N.H. Barton, Y. Brandvain, C. Fraisse, S. Yakimowski, T. Dixit, C. Lexer, E. Cereghetti, D. Field, New Phytologist 224 (2019) 1035–1047.
View
| Files available
| DOI
| PubMed | Europe PMC
M. Pickup, N.H. Barton, Y. Brandvain, C. Fraisse, S. Yakimowski, T. Dixit, C. Lexer, E. Cereghetti, D. Field, New Phytologist 224 (2019) 1035–1047.
2019 | Journal Article | IST-REx-ID: 6857 |

Gene Drives: Dynamics and regulatory matters – A report from the workshop “Evaluation of spatial and temporal control of Gene Drives”, 4 – 5 April 2019, Vienna
B. Giese, J.L. Friess, M.F. Schetelig, N.H. Barton, P. Messer, F. Debarre, H. Meimberg, N. Windbichler, C. Boete, BioEssays 41 (2019).
View
| Files available
| DOI
B. Giese, J.L. Friess, M.F. Schetelig, N.H. Barton, P. Messer, F. Debarre, H. Meimberg, N. Windbichler, C. Boete, BioEssays 41 (2019).
2019 | Journal Article | IST-REx-ID: 6858 |

Is speciation driven by cycles of mixing and isolation?
N.H. Barton, National Science Review 6 (2019) 291–292.
View
| Files available
| DOI
N.H. Barton, National Science Review 6 (2019) 291–292.
2019 | Journal Article | IST-REx-ID: 6859
Structure and conformational plasticity of the intact Thermus thermophilus V/A-type ATPase
L. Zhou, L.A. Sazanov, Science 365 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
L. Zhou, L.A. Sazanov, Science 365 (2019).
2019 | Journal Article | IST-REx-ID: 6867 |

A novel magnet-based scratch method for standardisation of wound-healing assays
M. Fenu, T. Bettermann, C. Vogl, N. Darwish-Miranda, J. Schramel, F. Jenner, I. Ribitsch, Scientific Reports 9 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
M. Fenu, T. Bettermann, C. Vogl, N. Darwish-Miranda, J. Schramel, F. Jenner, I. Ribitsch, Scientific Reports 9 (2019).
2019 | Journal Article | IST-REx-ID: 6868 |

HCN channel-mediated neuromodulation can control action potential velocity and fidelity in central axons
N. Byczkowicz, A. Eshra, J.-C. Montanaro-Punzengruber, A. Trevisiol, J. Hirrlinger, M.H. Kole, R. Shigemoto, S. Hallermann, ELife 8 (2019).
View
| Files available
| DOI
N. Byczkowicz, A. Eshra, J.-C. Montanaro-Punzengruber, A. Trevisiol, J. Hirrlinger, M.H. Kole, R. Shigemoto, S. Hallermann, ELife 8 (2019).
2019 | 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.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 | 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.
View
| Files available
| DOI
| arXiv
M. Aghajohari, G. Avni, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 | 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.
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 | 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.
View
| Files available
| DOI
K. Chatterjee, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 | Book Chapter | IST-REx-ID: 6890
Structural analysis of pleomorphic and asymmetric viruses using cryo-electron tomography and subtomogram averaging
M. Obr, F.K. Schur, in:, F.A. Rey (Ed.), Complementary Strategies to Study Virus Structure and Function, Elsevier, 2019, pp. 117–159.
View
| DOI
| PubMed | Europe PMC
M. Obr, F.K. Schur, in:, F.A. Rey (Ed.), Complementary Strategies to Study Virus Structure and Function, Elsevier, 2019, pp. 117–159.
2019 | Thesis | IST-REx-ID: 6894 |

Automatic time-unbounded reachability analysis of hybrid systems
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, IST Austria, 2019.
View
| Files available
| DOI
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 6896
Modeling cell-cell interactions in the brain using cerebral organoids
B. Oliveira, A.Ç. Yahya, G. Novarino, Brain Research 1724 (2019).
View
| DOI
| PubMed | Europe PMC
B. Oliveira, A.Ç. Yahya, G. Novarino, Brain Research 1724 (2019).
2019 | Journal Article | IST-REx-ID: 6897 |

Root gravity response module guides differential growth determining both root bending and apical hook formation in Arabidopsis
Q. Zhu, M. Gallemi, J. Pospíšil, P. Žádníková, M. Strnad, E. Benková, Development 146 (2019).
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
Q. Zhu, M. Gallemi, J. Pospíšil, P. Žádníková, M. Strnad, E. Benková, Development 146 (2019).
2019 | Journal Article | IST-REx-ID: 6899 |

Biomechanical signaling within the developing zebrafish heart attunes endocardial growth to myocardial chamber dimensions
D. Bornhorst, P. Xia, H. Nakajima, C. Dingare, W. Herzog, V. Lecaudey, N. Mochizuki, C.-P.J. Heisenberg, D. Yelon, S. Abdelilah-Seyfried, Nature Communications 10 (2019) 4113.
View
| Files available
| DOI
| PubMed | Europe PMC
D. Bornhorst, P. Xia, H. Nakajima, C. Dingare, W. Herzog, V. Lecaudey, N. Mochizuki, C.-P.J. Heisenberg, D. Yelon, S. Abdelilah-Seyfried, Nature Communications 10 (2019) 4113.
2019 | Journal Article | IST-REx-ID: 6900 |

Estimating information in time-varying signals
S.A. Cepeda Humerez, J. Ruess, G. Tkačik, PLoS Computational Biology 15 (2019) e1007290.
View
| Files available
| DOI
| PubMed | Europe PMC
S.A. Cepeda Humerez, J. Ruess, G. Tkačik, PLoS Computational Biology 15 (2019) e1007290.
2019 | Journal Article | IST-REx-ID: 6906 |

Optimal rate for Bose-Einstein condensation in the Gross-Pitaevskii regime
C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein, Communications in Mathematical Physics 376 (2019) 1311–1395.
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein, Communications in Mathematical Physics 376 (2019) 1311–1395.
2019 | Journal Article | IST-REx-ID: 6919 |

Structural basis of sterol recognition by human hedgehog receptor PTCH1
C. Qi, G.D. Minin, I. Vercellino, A. Wutz, V.M. Korkhov, Science Advances 5 (2019).
View
| Files available
| DOI
C. Qi, G.D. Minin, I. Vercellino, A. Wutz, V.M. Korkhov, Science Advances 5 (2019).
2019 | Journal Article | IST-REx-ID: 6920
Ethylene and cytokinin - partners in root growth regulation
C. Artner, E. Benková, Molecular Plant 12 (2019) 1312–1314.
View
| DOI
| PubMed | Europe PMC
C. Artner, E. Benková, Molecular Plant 12 (2019) 1312–1314.
2019 | 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.
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 | Conference Paper | IST-REx-ID: 6933 |

Fast approximate shortest paths in the congested clique
K. Censor-Hillel, M. Dory, J. Korhonen, D. Leitersdorf, in:, Proceedings of the 2019 ACM Symposium on Principles of Distributed Computin, ACM, 2019, pp. 74–83.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Censor-Hillel, M. Dory, J. Korhonen, D. Leitersdorf, in:, Proceedings of the 2019 ACM Symposium on Principles of Distributed Computin, ACM, 2019, pp. 74–83.
2019 | Conference Paper | IST-REx-ID: 6935 |

Does preprocessing help under congestion?
K.-T. Foerster, J. Korhonen, J. Rybicki, S. Schmid, in:, Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, ACM, 2019, pp. 259–261.
View
| DOI
| Download Preprint (ext.)
| arXiv
K.-T. Foerster, J. Korhonen, J. Rybicki, S. Schmid, in:, Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, ACM, 2019, pp. 259–261.
2019 | Journal Article | IST-REx-ID: 6936 |

What can observational data reveal about metacommunity processes?
O. Ovaskainen, J. Rybicki, N. Abrego, Ecography 42 (2019) 1877–1886.
View
| Files available
| DOI
O. Ovaskainen, J. Rybicki, N. Abrego, Ecography 42 (2019) 1877–1886.
2019 | Journal Article | IST-REx-ID: 6940 |

Berezinskii-Kosterlitz-Thouless paired phase in coupled XY models
G. Bighin, N. Defenu, I. Nándori, L. Salasnich, A. Trombettoni, Physical Review Letters 123 (2019).
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
G. Bighin, N. Defenu, I. Nándori, L. Salasnich, A. Trombettoni, Physical Review Letters 123 (2019).
2019 | Conference Paper | IST-REx-ID: 6942 |

Strategy representation by decision trees with linear classifiers
P. Ashok, T. Brázdil, K. Chatterjee, J. Křetínský, C. Lampert, V. Toman, in:, 16th International Conference on Quantitative Evaluation of Systems, Springer Nature, 2019, pp. 109–128.
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Ashok, T. Brázdil, K. Chatterjee, J. Křetínský, C. Lampert, V. Toman, in:, 16th International Conference on Quantitative Evaluation of Systems, Springer Nature, 2019, pp. 109–128.
2019 | Journal Article | IST-REx-ID: 8693 |

V. I. Arnold’s “pointwise” KAM theorem
L. Chierchia, E. Koudjinan, Regular and Chaotic Dynamics 24 (2019) 583–606.
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Chierchia, E. Koudjinan, Regular and Chaotic Dynamics 24 (2019) 583–606.
2019 | Journal Article | IST-REx-ID: 9016 |

Recognition of ASF1 by using hydrocarbon‐constrained peptides
M.M. Bakail, S. Rodriguez‐Marin, Z. Hegedüs, M.E. Perrin, F. Ochsenbein, A.J. Wilson, ChemBioChem 20 (2019) 891–895.
View
| DOI
| Download Published Version (ext.)
M.M. Bakail, S. Rodriguez‐Marin, Z. Hegedüs, M.E. Perrin, F. Ochsenbein, A.J. Wilson, ChemBioChem 20 (2019) 891–895.
2019 | Journal Article | IST-REx-ID: 9018 |

Design on a rational basis of high-affinity peptides inhibiting the histone chaperone ASF1
Bakail MM, Gaubert A, Andreani J, Moal G, Pinna G, Boyarchuk E, Gaillard M-C, Courbeyrette R, Mann C, Thuret J-Y, Guichard B, Murciano B, Richet N, Poitou A, Frederic C, Le Du M-H, Agez M, Roelants C, Gurard-Levin ZA, Almouzni G, Cherradi N, Guerois R, Ochsenbein F. 2019. Design on a rational basis of high-affinity peptides inhibiting the histone chaperone ASF1. Cell Chemical Biology. 26(11), 1573–1585.e10.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
Bakail MM, Gaubert A, Andreani J, Moal G, Pinna G, Boyarchuk E, Gaillard M-C, Courbeyrette R, Mann C, Thuret J-Y, Guichard B, Murciano B, Richet N, Poitou A, Frederic C, Le Du M-H, Agez M, Roelants C, Gurard-Levin ZA, Almouzni G, Cherradi N, Guerois R, Ochsenbein F. 2019. Design on a rational basis of high-affinity peptides inhibiting the histone chaperone ASF1. Cell Chemical Biology. 26(11), 1573–1585.e10.
2019 | Journal Article | IST-REx-ID: 9060 |

Activity-controlled annealing of colloidal monolayers
S. Ramananarivo, E. Ducrot, J.A. Palacci, Nature Communications 10 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
S. Ramananarivo, E. Ducrot, J.A. Palacci, Nature Communications 10 (2019).
2019 | Conference Paper | IST-REx-ID: 9261
FlexMaps Pavilion: A twisted arc made of mesostructured flat flexible panels
F. Laccone, L. Malomo, J. Perez Rodriguez, N. Pietroni, F. Ponchio, B. Bickel, P. Cignoni, in:, IASS Symposium 2019 - 60th Anniversary Symposium of the International Association for Shell and Spatial Structures; Structural Membranes 2019 - 9th International Conference on Textile Composites and Inflatable Structures, FORM and FORCE, International Center for Numerical Methods in Engineering, 2019, pp. 509–515.
View
F. Laccone, L. Malomo, J. Perez Rodriguez, N. Pietroni, F. Ponchio, B. Bickel, P. Cignoni, in:, IASS Symposium 2019 - 60th Anniversary Symposium of the International Association for Shell and Spatial Structures; Structural Membranes 2019 - 9th International Conference on Textile Composites and Inflatable Structures, FORM and FORCE, International Center for Numerical Methods in Engineering, 2019, pp. 509–515.
2019 | Journal Article | IST-REx-ID: 138 |

Autoregulation of bacterial gene expression: lessons from the MazEF toxin–antitoxin system
N. Nikolic, Current Genetics 65 (2019) 133–138.
View
| Files available
| DOI
N. Nikolic, Current Genetics 65 (2019) 133–138.
2019 | Journal Article | IST-REx-ID: 151 |

Bi-Sobolev solutions to the prescribed Jacobian inequality in the plane with L p data and applications to nonlinear elasticity
J.L. Fischer, O. Kneuss, Journal of Differential Equations 266 (2019) 257–311.
View
| DOI
| Download Preprint (ext.)
| arXiv
J.L. Fischer, O. Kneuss, Journal of Differential Equations 266 (2019) 257–311.
2019 | Conference Paper | IST-REx-ID: 10190 |

Value-centric dynamic partial order reduction
K. Chatterjee, A. Pavlogiannis, V. Toman, in:, Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, ACM, 2019.
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
K. Chatterjee, A. Pavlogiannis, V. Toman, in:, Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, ACM, 2019.
2019 | Journal Article | IST-REx-ID: 10354 |

Changes in ESCRT-III filament geometry drive membrane remodelling and fission in silico
L. Harker-Kirschneck, B. Baum, A. Šarić, BMC Biology 17 (2019).
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
L. Harker-Kirschneck, B. Baum, A. Šarić, BMC Biology 17 (2019).
2019 | Journal Article | IST-REx-ID: 10355 |

Minimal coarse-grained models for molecular self-organisation in biology
A.E. Hafner, J. Krausser, A. Šarić, Current Opinion in Structural Biology 58 (2019) 43–52.
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
A.E. Hafner, J. Krausser, A. Šarić, Current Opinion in Structural Biology 58 (2019) 43–52.
2019 | Journal Article | IST-REx-ID: 105 |

CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63
A. Marsh, G. Novarino, P. Lockhart, R. Leventer, European Journal of Human Genetics 27 (2019) 161–166.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Marsh, G. Novarino, P. Lockhart, R. Leventer, European Journal of Human Genetics 27 (2019) 161–166.
2019 | Journal Article | IST-REx-ID: 27 |

Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex
N. Amberg, S. Laukoter, S. Hippenmeyer, Journal of Neurochemistry 149 (2019) 12–26.
View
| Files available
| DOI
N. Amberg, S. Laukoter, S. Hippenmeyer, Journal of Neurochemistry 149 (2019) 12–26.
2019 | Journal Article | IST-REx-ID: 9460 |

DNA demethylation by ROS1a in rice vegetative cells promotes methylation in sperm
M.Y. Kim, A. Ono, S. Scholten, T. Kinoshita, D. Zilberman, T. Okamoto, R.L. Fischer, Proceedings of the National Academy of Sciences 116 (2019) 9652–9657.
View
| Files available
| DOI
| PubMed | Europe PMC
M.Y. Kim, A. Ono, S. Scholten, T. Kinoshita, D. Zilberman, T. Okamoto, R.L. Fischer, Proceedings of the National Academy of Sciences 116 (2019) 9652–9657.
2019 | Journal Article | IST-REx-ID: 9530 |

DNA methylation is maintained with high fidelity in the honey bee germline and exhibits global non-functional fluctuations during somatic development
K.D. Harris, J.P.B. Lloyd, K. Domb, D. Zilberman, A. Zemach, Epigenetics and Chromatin 12 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
K.D. Harris, J.P.B. Lloyd, K. Domb, D. Zilberman, A. Zemach, Epigenetics and Chromatin 12 (2019).