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.
496 Publications
- 1
- 2
- 3
- 4
- 5 (current)
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 | 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.
2019 | Journal Article | IST-REx-ID: 196 |
Harmonic dynamics of the Abelian sandpile
M. Lang, M. Shkolnikov, Proceedings of the National Academy of Sciences 116 (2019) 2821–2830.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
M. Lang, M. Shkolnikov, Proceedings of the National Academy of Sciences 116 (2019) 2821–2830.
2019 | 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.
View
| Files available
| DOI
| arXiv
G. Avni, T.A. Henzinger, D. Zikelic, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 | Journal Article | IST-REx-ID: 6713 |
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, ELife 8 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
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, ELife 8 (2019).
2019 | Research Data Reference | IST-REx-ID: 9805
Data from: The consequences of an introgression event
N.H. Barton, (2019).
View
| Files available
| DOI
N.H. Barton, (2019).
2019 | Preprint | IST-REx-ID: 7358 |
TGFβ superfamily signaling regulates the state of human stem cell pluripotency and competency to create telencephalic organoids
M. Watanabe, J.R. Haney, N. Vishlaghi, F. Turcios, J.E. Buth, W. Gu, A.J. Collier, O. Miranda, D. Chen, S. Sabri, A.T. Clark, K. Plath, H.R. Christofk, M.J. Gandal, B.G. Novitch, BioRxiv (2019).
View
| DOI
| Download Preprint (ext.)
M. Watanabe, J.R. Haney, N. Vishlaghi, F. Turcios, J.E. Buth, W. Gu, A.J. Collier, O. Miranda, D. Chen, S. Sabri, A.T. Clark, K. Plath, H.R. Christofk, M.J. Gandal, B.G. Novitch, BioRxiv (2019).
2019 | 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.
View
| Download Preprint (ext.)
| arXiv
L. Portinale, U. Stefanelli, Advances in Mathematical Sciences and Applications 28 (2019) 425–447.
2019 | Preprint | IST-REx-ID: 8182 |
Vanishing of all equivariant obstructions and the mapping degree
S. Avvakumov, S. Kudrya, ArXiv (n.d.).
View
| Files available
| Download Preprint (ext.)
| arXiv
S. Avvakumov, S. Kudrya, ArXiv (n.d.).
2019 | Thesis | IST-REx-ID: 6392 |
Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory
M. Lukacisin, Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory, IST Austria, 2019.
View
| Files available
| DOI
M. Lukacisin, Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6435 |
Collective defenses of garden ants against a fungal pathogen
B.E. Casillas Perez, Collective Defenses of Garden Ants against a Fungal Pathogen, IST Austria, 2019.
View
| Files available
| DOI
B.E. Casillas Perez, Collective Defenses of Garden Ants against a Fungal Pathogen, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6947 |
Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking
F.P. Assen, Lymph Node Mechanics: Deciphering the Interplay between Stroma Contractility, Morphology and Lymphocyte Trafficking, IST Austria, 2019.
View
| Files available
| DOI
F.P. Assen, Lymph Node Mechanics: Deciphering the Interplay between Stroma Contractility, Morphology and Lymphocyte Trafficking, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6891 |
The implication of cytoskeletal dynamics on leukocyte migration
A. Kopf, The Implication of Cytoskeletal Dynamics on Leukocyte Migration, IST Austria, 2019.
View
| Files available
| DOI
A. Kopf, The Implication of Cytoskeletal Dynamics on Leukocyte Migration, IST Austria, 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
| Download Published Version (ext.)
| PubMed | Europe PMC
S. Shamipour, R. Kardos, S. Xue, B. Hof, E.B. Hannezo, C.-P.J. Heisenberg, Cell 177 (2019) 1463–1479.e18.
2019 | Journal Article | IST-REx-ID: 6328 |
Nuclear positioning facilitates amoeboid migration along the path of least resistance
J. Renkawitz, A. Kopf, J.A. Stopp, I. de Vries, M.K. Driscoll, J. Merrin, R. Hauschild, E.S. Welf, G. Danuser, R. Fiolka, M.K. Sixt, Nature 568 (2019) 546–550.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
J. Renkawitz, A. Kopf, J.A. Stopp, I. de Vries, M.K. Driscoll, J. Merrin, R. Hauschild, E.S. Welf, G. Danuser, R. Fiolka, M.K. Sixt, Nature 568 (2019) 546–550.
2019 | Journal Article | IST-REx-ID: 7001 |
Mechanosensation of tight junctions depends on ZO-1 phase separation and flow
C. Schwayer, S. Shamipour, K. Pranjic-Ferscha, A. Schauer, M. Balda, M. Tada, K. Matter, C.-P.J. Heisenberg, Cell 179 (2019) 937–952.e18.
View
| Files available
| DOI
| PubMed | Europe PMC
C. Schwayer, S. Shamipour, K. Pranjic-Ferscha, A. Schauer, M. Balda, M. Tada, K. Matter, C.-P.J. Heisenberg, Cell 179 (2019) 937–952.e18.
2019 | Journal Article | IST-REx-ID: 6877
The neural crest pitches in to remove apoptotic debris
A. Kopf, M.K. Sixt, Cell 179 (2019) 51–53.
View
| Files available
| DOI
| PubMed | Europe PMC
A. Kopf, M.K. Sixt, Cell 179 (2019) 51–53.
2019 | Thesis | IST-REx-ID: 6269 |
Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants
M. Narasimhan, Clathrin-Mediated Endocytosis, Post-Endocytic Trafficking and Their Regulatory Controls in Plants , IST Austria, 2019.
View
| Files available
| DOI
M. Narasimhan, Clathrin-Mediated Endocytosis, Post-Endocytic Trafficking and Their Regulatory Controls in Plants , 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: 6848 |
Structure and mechanism of mitochondrial proton-translocating transhydrogenase
D. Kampjut, L.A. Sazanov, Nature 573 (2019) 291–295.
View
| Files available
| DOI
| PubMed | Europe PMC
D. Kampjut, L.A. Sazanov, Nature 573 (2019) 291–295.
2019 | Thesis | IST-REx-ID: 6546 |
The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration
K. Valosková, The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration, IST Austria, 2019.
View
| Files available
| DOI
K. Valosková, The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration, IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 6830 |
Memo1 tiles the radial glial cell grid
X. Contreras, S. Hippenmeyer, Neuron 103 (2019) 750–752.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
X. Contreras, S. Hippenmeyer, Neuron 103 (2019) 750–752.
2019 | Thesis | IST-REx-ID: 6363 |
Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits
C. Espinoza Martinez, Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits, IST Austria, 2019.
View
| Files available
| DOI
C. Espinoza Martinez, Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6371 |
On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation
C. Igler, On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation, IST Austria, 2019.
View
| Files available
| DOI
C. Igler, On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation, IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 6486 |
Relaminarization of pipe flow by means of 3D-printed shaped honeycombs
J. Kühnen, D. Scarselli, B. Hof, Journal of Fluids Engineering 141 (2019).
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J. Kühnen, D. Scarselli, B. Hof, Journal of Fluids Engineering 141 (2019).
2019 | Journal Article | IST-REx-ID: 6228 |
Relaminarising pipe flow by wall movement
D. Scarselli, J. Kühnen, B. Hof, Journal of Fluid Mechanics 867 (2019) 934–948.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
D. Scarselli, J. Kühnen, B. Hof, Journal of Fluid Mechanics 867 (2019) 934–948.
2019 | Journal Article | IST-REx-ID: 6351 |
Re-activation of stem cell pathways for pattern restoration in plant wound healing
P. Marhavá, L. Hörmayer, S. Yoshida, P. Marhavý, E. Benková, J. Friml, Cell 177 (2019) 957–969.e13.
View
| Files available
| DOI
| PubMed | Europe PMC
P. Marhavá, L. Hörmayer, S. Yoshida, P. Marhavý, E. Benková, J. Friml, Cell 177 (2019) 957–969.e13.
2019 | Journal Article | IST-REx-ID: 6943 |
Targeted cell ablation-based insights into wound healing and restorative patterning
L. Hörmayer, J. Friml, Current Opinion in Plant Biology 52 (2019) 124–130.
View
| Files available
| DOI
| PubMed | Europe PMC
L. Hörmayer, J. Friml, Current Opinion in Plant Biology 52 (2019) 124–130.
2019 | Thesis | IST-REx-ID: 7132 |
Design and characterization of methods and biological components to realize synthetic neurotransmission
C. Mckenzie, Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission, IST Austria, 2019.
View
| Files available
| DOI
C. Mckenzie, Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission, IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 6187 |
A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion
K. Valosková, J. Biebl, M. Roblek, S. Emtenani, A. György, M. Misova, A. Ratheesh, P. Rodrigues, K. Shkarina, I.S.B. Larsen, S.Y. Vakhrushev, H. Clausen, D.E. Siekhaus, ELife 8 (2019).
View
| Files available
| DOI
K. Valosková, J. Biebl, M. Roblek, S. Emtenani, A. György, M. Misova, A. Ratheesh, P. Rodrigues, K. Shkarina, I.S.B. Larsen, S.Y. Vakhrushev, H. Clausen, D.E. Siekhaus, ELife 8 (2019).
2019 | Journal Article | IST-REx-ID: 5949 |
Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization
K. Käfer, H. Malagon-Vina, D. Dickerson, J. O’Neill, S.V. Trossbach, C. Korth, J.L. Csicsvari, Hippocampus 29 (2019) 802–816.
View
| Files available
| DOI
K. Käfer, H. Malagon-Vina, D. Dickerson, J. O’Neill, S.V. Trossbach, C. Korth, J.L. Csicsvari, Hippocampus 29 (2019) 802–816.
2019 | Thesis | IST-REx-ID: 6825 |
The hippocampus and medial prefrontal cortex during flexible behavior
K. Käfer, The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior, IST Austria, 2019.
View
| Files available
| DOI
K. Käfer, The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior, IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 6260 |
Pinstatic acid promotes auxin transport by inhibiting PIN internalization
A. Oochi, J. Hajny, K. Fukui, Y. Nakao, M.C. Gallei, M. Quareshy, K. Takahashi, T. Kinoshita, S. Harborough, S. Kepinski, H. Kasahara, R. Napier, J. Friml, K. Hayashi, Plant Physiology 180 (2019) 1152–1165.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Oochi, J. Hajny, K. Fukui, Y. Nakao, M.C. Gallei, M. Quareshy, K. Takahashi, T. Kinoshita, S. Harborough, S. Kepinski, H. Kasahara, R. Napier, J. Friml, K. Hayashi, Plant Physiology 180 (2019) 1152–1165.
2019 | Conference Paper | IST-REx-ID: 6378 |
Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving
K. Chatterjee, A.K. Goharshady, A. Pourdamghani, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, 2019, pp. 374–381.
View
| Files available
| DOI
K. Chatterjee, A.K. Goharshady, A. Pourdamghani, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, 2019, pp. 374–381.
2019 | Conference Paper | IST-REx-ID: 6175 |
Cost analysis of nondeterministic probabilistic programs
P. Wang, H. Fu, A.K. Goharshady, K. Chatterjee, X. Qin, W. Shi, in:, PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2019, pp. 204–220.
View
| Files available
| DOI
| arXiv
P. Wang, H. Fu, A.K. Goharshady, K. Chatterjee, X. Qin, W. Shi, in:, PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2019, pp. 204–220.
2019 | Journal Article | IST-REx-ID: 6380 |
Efficient parameterized algorithms for data packing
K. Chatterjee, A.K. Goharshady, N. Okati, A. Pavlogiannis, Proceedings of the ACM on Programming Languages 3 (2019).
View
| Files available
| DOI
K. Chatterjee, A.K. Goharshady, N. Okati, A. Pavlogiannis, Proceedings of the ACM on Programming Languages 3 (2019).
2019 | Conference Paper | IST-REx-ID: 6490 |
The treewidth of smart contracts
K. Chatterjee, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, n.d., pp. 400–408.
View
| Files available
| DOI
K. Chatterjee, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, n.d., pp. 400–408.
2019 | Journal Article | IST-REx-ID: 7158 |
Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth
K. Chatterjee, A.K. Goharshady, P. Goyal, R. Ibsen-Jensen, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 41 (2019).
View
| Files available
| DOI
K. Chatterjee, A.K. Goharshady, P. Goyal, R. Ibsen-Jensen, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 41 (2019).
2019 | Conference Paper | IST-REx-ID: 6056 |
Probabilistic smart contracts: Secure randomness on the blockchain
K. Chatterjee, A.K. Goharshady, A. Pourdamghani, in:, IEEE International Conference on Blockchain and Cryptocurrency, IEEE, 2019.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, A.K. Goharshady, A. Pourdamghani, in:, IEEE International Conference on Blockchain and Cryptocurrency, IEEE, 2019.
2019 | Journal Article | IST-REx-ID: 7014 |
Non-polynomial worst-case analysis of recursive programs
K. Chatterjee, H. Fu, A.K. Goharshady, ACM Transactions on Programming Languages and Systems 41 (2019).
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, H. Fu, A.K. Goharshady, ACM Transactions on Programming Languages and Systems 41 (2019).
2019 | Conference Paper | IST-REx-ID: 6780 |
Modular verification for almost-sure termination of probabilistic programs
M. Huang, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , ACM, 2019.
View
| Files available
| DOI
| arXiv
M. Huang, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , ACM, 2019.
- 1
- 2
- 3
- 4
- 5 (current)