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.
500 Publications
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 | Preprint | IST-REx-ID: 10065 |
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.).
View
| Files available
| Download Preprint (ext.)
| arXiv
A.C. Hofmann, D. Jirovec, M. Borovkov, I. Prieto Gonzalez, A. Ballabio, J. Frigerio, D. Chrastina, G. Isella, G. Katsaros, ArXiv (n.d.).
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).
2019 | Journal Article | IST-REx-ID: 9580 |
Hypergraph cuts above the average
D. Conlon, J. Fox, M.A. Kwan, B. Sudakov, Israel Journal of Mathematics 233 (2019) 67–111.
View
| DOI
| Download Preprint (ext.)
| arXiv
D. Conlon, J. Fox, M.A. Kwan, B. Sudakov, Israel Journal of Mathematics 233 (2019) 67–111.
2019 | Journal Article | IST-REx-ID: 9585 |
Proof of a conjecture on induced subgraphs of Ramsey graphs
M.A. Kwan, B. Sudakov, Transactions of the American Mathematical Society 372 (2019) 5571–5594.
View
| DOI
| Download Submitted Version (ext.)
| arXiv
M.A. Kwan, B. Sudakov, Transactions of the American Mathematical Society 372 (2019) 5571–5594.
2019 | Journal Article | IST-REx-ID: 9586 |
Anticoncentration for subgraph statistics
M.A. Kwan, B. Sudakov, T. Tran, Journal of the London Mathematical Society 99 (2019) 757–777.
View
| DOI
| Download Preprint (ext.)
| arXiv
M.A. Kwan, B. Sudakov, T. Tran, Journal of the London Mathematical Society 99 (2019) 757–777.
2019 | Journal Article | IST-REx-ID: 9677 |
i-PI 2.0: A universal force engine for advanced molecular simulations
Kapil V, Rossi M, Marsalek O, Petraglia R, Litman Y, Spura T, Cheng B, Cuzzocrea A, Meißner RH, Wilkins DM, Helfrecht BA, Juda P, Bienvenue SP, Fang W, Kessler J, Poltavsky I, Vandenbrande S, Wieme J, Corminboeuf C, Kühne TD, Manolopoulos DE, Markland TE, Richardson JO, Tkatchenko A, Tribello GA, Van Speybroeck V, Ceriotti M. 2019. i-PI 2.0: A universal force engine for advanced molecular simulations. Computer Physics Communications. 236, 214–223.
View
| DOI
| Download Preprint (ext.)
| arXiv
Kapil V, Rossi M, Marsalek O, Petraglia R, Litman Y, Spura T, Cheng B, Cuzzocrea A, Meißner RH, Wilkins DM, Helfrecht BA, Juda P, Bienvenue SP, Fang W, Kessler J, Poltavsky I, Vandenbrande S, Wieme J, Corminboeuf C, Kühne TD, Manolopoulos DE, Markland TE, Richardson JO, Tkatchenko A, Tribello GA, Van Speybroeck V, Ceriotti M. 2019. i-PI 2.0: A universal force engine for advanced molecular simulations. Computer Physics Communications. 236, 214–223.
2019 | Journal Article | IST-REx-ID: 9680 |
Iterative unbiasing of quasi-equilibrium sampling
F. Giberti, B. Cheng, G.A. Tribello, M. Ceriotti, Journal of Chemical Theory and Computation 16 (2019) 100–107.
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
F. Giberti, B. Cheng, G.A. Tribello, M. Ceriotti, Journal of Chemical Theory and Computation 16 (2019) 100–107.
2019 | Journal Article | IST-REx-ID: 9689 |
Ab initio thermodynamics of liquid and solid water
B. Cheng, E.A. Engel, J. Behler, C. Dellago, M. Ceriotti, Proceedings of the National Academy of Sciences 116 (2019) 1110–1115.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
B. Cheng, E.A. Engel, J. Behler, C. Dellago, M. Ceriotti, Proceedings of the National Academy of Sciences 116 (2019) 1110–1115.
2019 | Research Data Reference | IST-REx-ID: 9726
Supplementary information - Collective force generation by molecular motors is determined by strain-induced unbinding
M.C. Ucar, R. Lipowsky, (2019).
View
| Files available
| DOI
M.C. Ucar, R. Lipowsky, (2019).
2019 | Research Data Reference | IST-REx-ID: 9731
Additional file 11 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction
O. Sigalova, A. Chaplin, O. Bochkareva, P. Shelyakin, V. Filaretov, E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
View
| Files available
| DOI
O. Sigalova, A. Chaplin, O. Bochkareva, P. Shelyakin, V. Filaretov, E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
2019 | Research Data Reference | IST-REx-ID: 9783
Additional file 10 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
View
| Files available
| DOI
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (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).
View
| Files available
| DOI
M.N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F.V. Rao, C.V. Martin, (2019).
2019 | Research Data Reference | IST-REx-ID: 9786
Supporting text and results
J. Ruess, M. Pleska, C.C. Guet, G. Tkačik, (2019).
View
| Files available
| DOI
J. Ruess, M. Pleska, C.C. Guet, G. Tkačik, (2019).
2019 | Research Data Reference | IST-REx-ID: 9789
Multiple alignment of His3 orthologues
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, (2019).
View
| Files available
| DOI
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, (2019).
2019 | Research Data Reference | IST-REx-ID: 9790
A statistical summary of segment libraries and sequencing results
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, (2019).
View
| Files available
| DOI
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, (2019).
2019 | Research Data Reference | IST-REx-ID: 9797
A statistical summary of segment libraries and sequencing results
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, (2019).
View
| Files available
| DOI
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, (2019).
2019 | Research Data Reference | IST-REx-ID: 9801
Raw behavioral data
R.M. Merrill, P. Rastas, S.H. Martin, M.C. Melo Hurtado, S. Barker, J. Davey, W.O. Mcmillan, C.D. Jiggins, (2019).
View
| Files available
| DOI
R.M. Merrill, P. Rastas, S.H. Martin, M.C. Melo Hurtado, S. Barker, J. Davey, W.O. Mcmillan, C.D. Jiggins, (2019).
2019 | Research Data Reference | IST-REx-ID: 9802
Data from: Effect of partial selfing and polygenic selection on establishment in a new habitat
H. Sachdeva, (2019).
View
| Files available
| DOI
H. Sachdeva, (2019).
2019 | Research Data Reference | IST-REx-ID: 9803
Data from: Variation in sexual dimorphism in a wind-pollinated plant: the influence of geographical context and life-cycle dynamics
G. Puixeu Sala, M. Pickup, D. Field, S.C.H. Barrett, (2019).
View
| Files available
| DOI
G. Puixeu Sala, M. Pickup, D. Field, S.C.H. Barrett, (2019).
2019 | Research Data Reference | IST-REx-ID: 9804
Data from: 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. Kučka, W.H. Beluch, R. Naumann, I. Skuplik, J. Cobb, N.H. Barton, C. Rolian, Y.F. Chan, (2019).
View
| Files available
| DOI
J.P. Castro, M.N. Yancoskie, M. Marchini, S. Belohlavy, L. Hiramatsu, M. Kučka, W.H. Beluch, R. Naumann, I. Skuplik, J. Cobb, N.H. Barton, C. Rolian, Y.F. Chan, (2019).
2019 | Research Data Reference | IST-REx-ID: 9806
Data from: A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance
M. Kutzer, J. Kurtz, S.A.O. Armitage, (2019).
View
| Files available
| DOI
M. Kutzer, J. Kurtz, S.A.O. Armitage, (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).
View
| Files available
| DOI
J. Polechova, (2019).
2019 | Research Data Reference | IST-REx-ID: 9890
Additional file 15 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
View
| Files available
| DOI
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
2019 | Research Data Reference | IST-REx-ID: 9892
Additional file 16 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
View
| Files available
| DOI
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
2019 | Research Data Reference | IST-REx-ID: 9893
Additional file 17 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
View
| Files available
| DOI
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
2019 | Research Data Reference | IST-REx-ID: 9894
Additional file 18 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
View
| Files available
| DOI
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
2019 | Research Data Reference | IST-REx-ID: 9895
Additional file 19 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
View
| Files available
| DOI
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
2019 | Research Data Reference | IST-REx-ID: 9896
Additional file 1 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
View
| Files available
| DOI
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
2019 | Research Data Reference | IST-REx-ID: 9897
Additional file 20 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
View
| Files available
| DOI
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
2019 | Research Data Reference | IST-REx-ID: 9898
Additional file 21 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
View
| Files available
| DOI
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
2019 | Research Data Reference | IST-REx-ID: 9899
Additional file 2 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
View
| Files available
| DOI
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
2019 | Research Data Reference | IST-REx-ID: 9900
Additional file 5 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
View
| Files available
| DOI
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
2019 | Research Data Reference | IST-REx-ID: 9901
Additional file 9 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
View
| Files available
| DOI
O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov, E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
2019 | Journal Article | IST-REx-ID: 405 |
Jointly convex quantum Jensen divergences
D. Virosztek, Linear Algebra and Its Applications 576 (2019) 67–78.
View
| DOI
| Download Preprint (ext.)
| arXiv
D. Virosztek, Linear Algebra and Its Applications 576 (2019) 67–78.
2019 | Journal Article | IST-REx-ID: 429 |
Stability of the matrix Dyson equation and random matrices with correlations
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 173 (2019) 293–373.
View
| Files available
| DOI
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 173 (2019) 293–373.
2019 | Journal Article | IST-REx-ID: 439 |
Arithmetic and representation theory of wild character varieties
T. Hausel, M. Mereb, M. Wong, Journal of the European Mathematical Society 21 (2019) 2995–3052.
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Hausel, M. Mereb, M. Wong, Journal of the European Mathematical Society 21 (2019) 2995–3052.
2019 | 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.
View
| DOI
| Download Preprint (ext.)
| arXiv
N. Kalinin, M. Shkolnikov, European Journal of Mathematics 5 (2019) 909–928.
2019 | 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.
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 | Journal Article | IST-REx-ID: 7391 |
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.
View
| Files available
| DOI
| PubMed | Europe PMC
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.
2019 | Conference Paper | IST-REx-ID: 7402 |
Graph planning with expected finite horizon
K. Chatterjee, L. Doyen, in:, 34th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2019, pp. 1–13.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. Doyen, in:, 34th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2019, pp. 1–13.