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.
7176 Publications
2020 | Published | Conference Paper | IST-REx-ID: 8089 | 
Polynomial invariant generation for non-deterministic recursive programs
K. Chatterjee, H. Fu, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 672–687.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, H. Fu, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 672–687.
2020 | Published | Journal Article | IST-REx-ID: 6918 |
An efficient algorithm for computing network reliability in small treewidth
A.K. Goharshady, F. Mohammadi, Reliability Engineering and System Safety 193 (2020).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A.K. Goharshady, F. Mohammadi, Reliability Engineering and System Safety 193 (2020).
2020 | Published | Conference Paper | IST-REx-ID: 7810 |
Optimal and perfectly parallel algorithms for on-demand data-flow analysis
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
[Published Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
2020 | Published | Conference Paper | IST-REx-ID: 8728 |
Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. Pavlogiannis, in:, Automated Technology for Verification and Analysis, Springer Nature, 2020, pp. 253–270.
[Submitted Version]
View
| Files available
| DOI
| WoS
A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. Pavlogiannis, in:, Automated Technology for Verification and Analysis, Springer Nature, 2020, pp. 253–270.
2020 | Published | Journal Article | IST-REx-ID: 7885
Cellular locomotion using environmental topography
A. Reversat, F.R. Gärtner, J. Merrin, J.A. Stopp, S. Tasciyan, J.L. Aguilera Servin, I. de Vries, R. Hauschild, M. Hons, M. Piel, A. Callan-Jones, R. Voituriez, M.K. Sixt, Nature 582 (2020) 582–585.
View
| Files available
| DOI
| WoS
A. Reversat, F.R. Gärtner, J. Merrin, J.A. Stopp, S. Tasciyan, J.L. Aguilera Servin, I. de Vries, R. Hauschild, M. Hons, M. Piel, A. Callan-Jones, R. Voituriez, M.K. Sixt, Nature 582 (2020) 582–585.
2020 | Published | Journal Article | IST-REx-ID: 8139 |
Experimental toolbox for quantitative evaluation of clathrin-mediated endocytosis in the plant model Arabidopsis
A.J. Johnson, N. Gnyliukh, W. Kaufmann, M. Narasimhan, G. Vert, S. Bednarek, J. Friml, Journal of Cell Science 133 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A.J. Johnson, N. Gnyliukh, W. Kaufmann, M. Narasimhan, G. Vert, S. Bednarek, J. Friml, Journal of Cell Science 133 (2020).
2019 | Published | 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.
[Published Version]
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 | Published | 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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
A. Marsh, G. Novarino, P. Lockhart, R. Leventer, European Journal of Human Genetics 27 (2019) 161–166.
2019 | Research Data Reference | IST-REx-ID: 9784 |
MOESM1 of Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells
M.N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F.V. Rao, C.V. Martin, (2019).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M.N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F.V. Rao, C.V. Martin, (2019).
2019 | Research Data Reference | IST-REx-ID: 9786
Supporting text and results
J. Ruess, M. Pleska, C.C. Guet, G. Tkačik, (2019).
[Published Version]
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).
[Published Version]
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).
[Published Version]
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).
[Published Version]
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).
[Published Version]
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).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
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).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
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).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
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: 9805 |
Data from: The consequences of an introgression event
N.H. Barton, (2019).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
N.H. Barton, (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).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
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).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
J. Polechova, (2019).