en
Please note that IST 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.
5483 Publications
2019 | Journal Article | IST-REx-ID: 6596 
Convergence results of forward-backward algorithms for sum of monotone operators in Banach spaces
Y. Shehu, Results in Mathematics 74 (2019).
View
| Files available
| DOI
Y. Shehu, Results in Mathematics 74 (2019).
2019 | Journal Article | IST-REx-ID: 6609
Stationary entangled radiation from micromechanical motion
S. Barzanjeh, E. Redchenko, M. Peruzzo, M. Wulf, D. Lewis, G.M. Arnold, J.M. Fink, Nature 570 (2019) 480–483.
View
| DOI
| Download (ext.)
| arXiv
S. Barzanjeh, E. Redchenko, M. Peruzzo, M. Wulf, D. Lewis, G.M. Arnold, J.M. Fink, Nature 570 (2019) 480–483.
2019 | 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.
View
| Files available
| DOI
R. Dyer, G. Vegter, M. Wintraecken, Journal of Computational Geometry 10 (2019) 223–256.
2019 | Journal Article | IST-REx-ID: 6611
PIN2 polarity establishment in arabidopsis in the absence of an intact cytoskeleton
M. Glanc, M. Fendrych, J. Friml, Biomolecules 9 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
M. Glanc, M. Fendrych, J. Friml, Biomolecules 9 (2019).
2019 | 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.
View
| Files available
G. Vegter, M. Wintraecken, in:, The 31st Canadian Conference in Computational Geometry, 2019, pp. 275–279.
2019 | Conference Paper | IST-REx-ID: 6642
On diffusive variants of some classical viscoelastic rate-type models
M. Dostalík, V. Pruša, T. Skrivan, in:, AIP Conference Proceedings, AIP, 2019.
View
| DOI
| Download (ext.)
| arXiv
M. Dostalík, V. Pruša, T. Skrivan, in:, AIP Conference Proceedings, AIP, 2019.
2019 | Journal Article | IST-REx-ID: 6680
Effect of partial selfing and polygenic selection on establishment in a new habitat
H. Sachdeva, Evolution 73 (2019) 1729–1745.
View
| Files available
| DOI
H. Sachdeva, Evolution 73 (2019) 1729–1745.
2019 | Conference Paper | IST-REx-ID: 6673
Efficiency guarantees for parallel incremental algorithms under relaxed schedulers
D.-A. Alistarh, G. Nadiradze, N. Koval, in:, 31st ACM Symposium on Parallelism in Algorithms and Architectures, ACM Press, 2019, pp. 145–154.
View
| DOI
D.-A. Alistarh, G. Nadiradze, N. Koval, in:, 31st ACM Symposium on Parallelism in Algorithms and Architectures, ACM Press, 2019, pp. 145–154.
2019 | 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.
View
| 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 | Journal Article | IST-REx-ID: 6779
Heteroclinic and homoclinic connections in a Kolmogorov-like flow
B. Suri, R.K. Pallantla, M.F. Schatz, R.O. Grigoriev, Physical Review E 100 (2019).
View
| DOI
| Download (ext.)
| arXiv
B. Suri, R.K. Pallantla, M.F. Schatz, R.O. Grigoriev, Physical Review E 100 (2019).
2019 | Journal Article | IST-REx-ID: 6793
The Regge symmetry, confocal conics, and the Schläfli formula
A. Akopyan, I. Izmestiev, Bulletin of the London Mathematical Society 51 (2019) 765–775.
View
| DOI
| Download (ext.)
| arXiv
A. Akopyan, I. Izmestiev, Bulletin of the London Mathematical Society 51 (2019) 765–775.
2019 | Preprint | IST-REx-ID: 6748
Analysis of a two-layer neural network via displacement convexity
A. Javanmard, M. Mondelli, A. Montanari, ArXiv:1901.01375 (2019).
View
| Download (ext.)
| arXiv
A. Javanmard, M. Mondelli, A. Montanari, ArXiv:1901.01375 (2019).
2019 | 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).
View
| DOI
| Download (ext.)
| arXiv
S.A. Hashemi, C. Condo, M. Mondelli, W.J. Gross, IEEE Transactions on Signal Processing 67 (2019).
2019 | Journal Article | IST-REx-ID: 6762
New optimal control problems in density functional theory motivated by photovoltaics
G. Friesecke, M. Kniely, Multiscale Modeling and Simulation 17 (2019) 926–947.
View
| DOI
| Download (ext.)
| arXiv
G. Friesecke, M. Kniely, Multiscale Modeling and Simulation 17 (2019) 926–947.
2019 | Journal Article | IST-REx-ID: 6755
Dosage compensation throughout the Schistosoma mansoni lifecycle: Specific chromatin landscape of the Z chromosome
M.A.L. Picard, B. Vicoso, D. Roquis, I. Bulla, R.C. Augusto, N. Arancibia, C. Grunau, J. Boissier, C. Cosseau, Genome Biology and Evolution 11 (2019) 1909–1922.
View
| Files available
| DOI
M.A.L. Picard, B. Vicoso, D. Roquis, I. Bulla, R.C. Augusto, N. Arancibia, C. Grunau, J. Boissier, C. Cosseau, Genome Biology and Evolution 11 (2019) 1909–1922.
2019 | Journal Article | IST-REx-ID: 6717
Commentary: A host-produced quorum-sensing autoinducer controls a phage lysis-lysogeny decision
C. Igler, S.T. Abedon, Frontiers in Microbiology 10 (2019).
View
| Files available
| DOI
C. Igler, S.T. Abedon, Frontiers in Microbiology 10 (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 | 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 | 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
| DOI
| Download (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 | Journal Article | IST-REx-ID: 6952
Learning single-image 3D reconstruction by generative modelling of shape, pose and shading
P.M. Henderson, V. Ferrari, International Journal of Computer Vision (2019).
View
| Files available
| DOI
P.M. Henderson, V. Ferrari, International Journal of Computer Vision (2019).
2019 | Thesis | IST-REx-ID: 6957
Onset of turbulence in plane Poiseuille flow
C.S. Paranjape, Onset of Turbulence in Plane Poiseuille Flow, IST Austria, 2019.
View
| Files available
| DOI
C.S. Paranjape, Onset of Turbulence in Plane Poiseuille Flow, IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 6983
Clustering of activated CD8 T cells around Malaria-infected hepatocytes is rapid and is driven by antigen-specific cells
R.K. Kelemen, H. Rajakaruna, I. Cockburn, V. Ganusov, Frontiers in Immunology 10 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
R.K. Kelemen, H. Rajakaruna, I. Cockburn, V. Ganusov, Frontiers in Immunology 10 (2019).
2019 | Journal Article | IST-REx-ID: 6988
Platelets in host defense: Experimental and clinical insights
L. Nicolai, F.R. Gärtner, S. Massberg, Trends in Immunology 40 (2019) 922–938.
View
| DOI
| PubMed | Europe PMC
L. Nicolai, F.R. Gärtner, S. Massberg, Trends in Immunology 40 (2019) 922–938.
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: 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: 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: 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: 7056
Persistent antiferromagnetic order in heavily overdoped Ca1−x La x FeAs2
E. Martino, M.D. Bachmann, L. Rossi, K.A. Modic, I. Zivkovic, H.M. Rønnow, P.J.W. Moll, A. Akrap, L. Forró, S. Katrych, Journal of Physics: Condensed Matter 31 (2019).
View
| DOI
| Download (ext.)
| arXiv
E. Martino, M.D. Bachmann, L. Rossi, K.A. Modic, I. Zivkovic, H.M. Rønnow, P.J.W. Moll, A. Akrap, L. Forró, S. Katrych, Journal of Physics: Condensed Matter 31 (2019).
2019 | Journal Article | IST-REx-ID: 7082
Spatial control of heavy-fermion superconductivity in CeIrIn5
M.D. Bachmann, G.M. Ferguson, F. Theuss, T. Meng, C. Putzke, T. Helm, K.R. Shirer, Y.-S. Li, K.A. Modic, M. Nicklas, M. König, D. Low, S. Ghosh, A.P. Mackenzie, F. Arnold, E. Hassinger, R.D. McDonald, L.E. Winter, E.D. Bauer, F. Ronning, B.J. Ramshaw, K.C. Nowack, P.J.W. Moll, Science 366 (2019) 221–226.
View
| DOI
M.D. Bachmann, G.M. Ferguson, F. Theuss, T. Meng, C. Putzke, T. Helm, K.R. Shirer, Y.-S. Li, K.A. Modic, M. Nicklas, M. König, D. Low, S. Ghosh, A.P. Mackenzie, F. Arnold, E. Hassinger, R.D. McDonald, L.E. Winter, E.D. Bauer, F. Ronning, B.J. Ramshaw, K.C. Nowack, P.J.W. Moll, Science 366 (2019) 221–226.
2019 | Journal Article | IST-REx-ID: 7013
Probing the many-body localization phase transition with superconducting circuits
T. Orell, A. Michailidis, M. Serbyn, M. Silveri, Physical Review B 100 (2019).
View
| DOI
| Download (ext.)
| arXiv
T. Orell, A. Michailidis, M. Serbyn, M. Silveri, Physical Review B 100 (2019).
2019 | Conference Paper | IST-REx-ID: 7032
Electro-optic frequency comb generation in lithium niobate whispering gallery mode resonators
A.R. Rueda Sanchez, F. Sedlmeir, G. Leuchs, M. Kuamri, H.G.L. Schwefel, in:, 2019 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference, IEEE, 2019.
View
| DOI
A.R. Rueda Sanchez, F. Sedlmeir, G. Leuchs, M. Kuamri, H.G.L. Schwefel, in:, 2019 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference, IEEE, 2019.
2019 | Journal Article | IST-REx-ID: 7145
End-to-end correlated subgap states in hybrid nanowires
G.L.R. Anselmetti, E.A. Martinez, G.C. Ménard, D. Puglia, F.K. Malinowski, J.S. Lee, S. Choi, M. Pendharkar, C.J. Palmstrøm, C.M. Marcus, L. Casparis, A.P. Higginbotham, Physical Review B 100 (2019).
View
| DOI
| Download (ext.)
| arXiv
G.L.R. Anselmetti, E.A. Martinez, G.C. Ménard, D. Puglia, F.K. Malinowski, J.S. Lee, S. Choi, M. Pendharkar, C.J. Palmstrøm, C.M. Marcus, L. Casparis, A.P. Higginbotham, Physical Review B 100 (2019).
2019 | Journal Article | IST-REx-ID: 7099
Structural and functional remodeling of amygdala GABAergic synapses in associative fear learning
Y. Kasugai, E. Vogel, H. Hörtnagl, S. Schönherr, E. Paradiso, M. Hauschild, G. Göbel, I. Milenkovic, Y. Peterschmitt, R. Tasan, G. Sperk, R. Shigemoto, W. Sieghart, N. Singewald, A. Lüthi, F. Ferraguti, Neuron 104 (2019) 781–794.e4.
View
| DOI
| PubMed | Europe PMC
Y. Kasugai, E. Vogel, H. Hörtnagl, S. Schönherr, E. Paradiso, M. Hauschild, G. Göbel, I. Milenkovic, Y. Peterschmitt, R. Tasan, G. Sperk, R. Shigemoto, W. Sieghart, N. Singewald, A. Lüthi, F. Ferraguti, Neuron 104 (2019) 781–794.e4.
2019 | Book (Editor) | IST-REx-ID: 7171
Wie Maschinen lernen
K. Kersting, C. Lampert, C. Rothkopf, eds., Wie Maschinen Lernen, Springer Nature, 2019.
View
| Files available
| DOI
K. Kersting, C. Lampert, C. Rothkopf, eds., Wie Maschinen Lernen, Springer Nature, 2019.
2019 | Journal Article | IST-REx-ID: 7234
Partial loss of actin nucleator actin-related protein 2/3 activity triggers blebbing in primary T lymphocytes
P. Obeidy, L.A. Ju, S.H. Oehlers, N.S. Zulkhernain, Q. Lee, J.L. Galeano Niño, R.Y.Q. Kwan, S. Tikoo, L.L. Cavanagh, P. Mrass, A.J.L. Cook, S.P. Jackson, M. Biro, B. Roediger, M.K. Sixt, W. Weninger, Immunology and Cell Biology (2019).
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
P. Obeidy, L.A. Ju, S.H. Oehlers, N.S. Zulkhernain, Q. Lee, J.L. Galeano Niño, R.Y.Q. Kwan, S. Tikoo, L.L. Cavanagh, P. Mrass, A.J.L. Cook, S.P. Jackson, M. Biro, B. Roediger, M.K. Sixt, W. Weninger, Immunology and Cell Biology (2019).
2019 | Journal Article | IST-REx-ID: 7190
In-medium bound states of two bosonic impurities in a one-dimensional Fermi gas
D. Huber, H.-W. Hammer, A. Volosniev, Physical Review Research 1 (2019).
View
| Files available
| DOI
| arXiv
D. Huber, H.-W. Hammer, A. Volosniev, Physical Review Research 1 (2019).
2019 | Thesis | IST-REx-ID: 6363
Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits
C.M. Espinoza Martinez, Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits, IST Austria, 2019.
View
| Files available
| DOI
C.M. Espinoza Martinez, Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6849
The role of CCK-interneurons in regulating hippocampal network dynamics
D.K. Rangel Guerrero, The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics, IST Austria, 2019.
View
| Files available
| DOI
D.K. Rangel Guerrero, The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics, IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 6046
Temporal order and precision of complex stress responses in individual bacteria
K. Mitosch, G. Rieckh, M.T. Bollenbach, Molecular Systems Biology 15 (2019).
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
K. Mitosch, G. Rieckh, M.T. Bollenbach, Molecular Systems Biology 15 (2019).
2019 | Journal Article | IST-REx-ID: 6786
Attractive dipolar coupling between stacked exciton fluids
C. Hubert, Y. Baruchi, Y. Mazuz-Harpaz, K. Cohen, K. Biermann, M. Lemeshko, K. West, L. Pfeiffer, R. Rapaport, P. Santos, Physical Review X 9 (2019).
View
| Files available
| DOI
| arXiv
C. Hubert, Y. Baruchi, Y. Mazuz-Harpaz, K. Cohen, K. Biermann, M. Lemeshko, K. West, L. Pfeiffer, R. Rapaport, P. Santos, Physical Review X 9 (2019).
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 | Conference Paper | IST-REx-ID: 6887
Near-linear time algorithms for Streett objectives in graphs and MDPs
K. Chatterjee, W. Dvorák, M. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
View
| Files available
| DOI
K. Chatterjee, W. Dvorák, M. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
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 (ext.)
| arXiv
G. Bighin, N. Defenu, I. Nándori, L. Salasnich, A. Trombettoni, Physical Review Letters 123 (2019).
2019 | Journal Article | IST-REx-ID: 6508
Bulk actin dynamics drive phase segregation in zebrafish oocytes
S. Shamipour, R. Kardos, S. Xue, B. Hof, E.B. Hannezo, C.-P.J. Heisenberg, Cell 177 (2019) 1463–1479.e18.
View
| Files available
| DOI
S. Shamipour, R. Kardos, S. Xue, B. Hof, E.B. Hannezo, C.-P.J. Heisenberg, Cell 177 (2019) 1463–1479.e18.
2019 | Conference Paper | IST-REx-ID: 6647
The crossing Tverberg theorem
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, U. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 38:1-38:13.
View
| Files available
| DOI
| arXiv
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, U. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 38:1-38:13.
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: 7227
Zebrafish gastrulation: Putting fate in motion
D.C. Nunes Pinheiro, C.-P.J. Heisenberg, Current Topics in Developmental Biology (n.d.).
View
| DOI
D.C. Nunes Pinheiro, C.-P.J. Heisenberg, Current Topics in Developmental Biology (n.d.).
2019 | Journal Article | IST-REx-ID: 73
On the geometry of geodesics in discrete optimal transport
M. Erbar, J. Maas, M. Wirth, Calculus of Variations and Partial Differential Equations 58 (2019).
View
| Files available
| DOI
| arXiv
M. Erbar, J. Maas, M. Wirth, Calculus of Variations and Partial Differential Equations 58 (2019).
2019 | 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.
View
| Files available
| DOI
A. Deuchert, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 368 (2019) 723–776.
2019 | Conference Paper | IST-REx-ID: 7183
Deciding fast termination for probabilistic VASS with nondeterminism
T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, D. Velan, in:, International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2019, pp. 462–478.
View
| DOI
| Download (ext.)
| arXiv
T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, D. Velan, in:, International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2019, pp. 462–478.