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.
3820 Publications
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: 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 | 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 | 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.
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: 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).
2018 | Journal Article | IST-REx-ID: 280
KIRA1 and ORESARA1 terminate flower receptivity by promoting cell death in the stigma of Arabidopsis
Z. Gao, A. Daneva, Y. Salanenka, M. Van Durme, M. Huysmans, Z. Lin, F. De Winter, S. Vanneste, M. Karimi, J. Van De Velde, K. Vandepoele, D. Van De Walle, K. Dewettinck, B. Lambrecht, M. Nowack, Nature Plants 4 (2018) 365–375.
View
| DOI
Z. Gao, A. Daneva, Y. Salanenka, M. Van Durme, M. Huysmans, Z. Lin, F. De Winter, S. Vanneste, M. Karimi, J. Van De Velde, K. Vandepoele, D. Van De Walle, K. Dewettinck, B. Lambrecht, M. Nowack, Nature Plants 4 (2018) 365–375.
2018 | Journal Article | IST-REx-ID: 281 |
Distributed and dynamic intracellular organization of extracellular information
A. Granados, J. Pietsch, S.A. Cepeda Humerez, I. Farquhar, G. Tkačik, P. Swain, PNAS 115 (2018) 6088–6093.
View
| Files available
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
A. Granados, J. Pietsch, S.A. Cepeda Humerez, I. Farquhar, G. Tkačik, P. Swain, PNAS 115 (2018) 6088–6093.
2018 | Journal Article | IST-REx-ID: 282 |
Introgression of a block of genome under infinitesimal selection
H. Sachdeva, N.H. Barton, Genetics 209 (2018) 1279–1303.
View
| DOI
| Download Submitted Version (ext.)
H. Sachdeva, N.H. Barton, Genetics 209 (2018) 1279–1303.
2018 | Journal Article | IST-REx-ID: 283 |
Mutations in blind cavefish target the light regulated circadian clock gene period 2
R.M. Ceinos, E. Frigato, C. Pagano, N. Frohlich, P. Negrini, N. Cavallari, D. Vallone, S. Fuselli, C. Bertolucci, N.S. Foulkes, Scientific Reports 8 (2018).
View
| Files available
| DOI
R.M. Ceinos, E. Frigato, C. Pagano, N. Frohlich, P. Negrini, N. Cavallari, D. Vallone, S. Fuselli, C. Bertolucci, N.S. Foulkes, Scientific Reports 8 (2018).
2018 | Journal Article | IST-REx-ID: 284 |
Maps on probability measures preserving certain distances - a survey and some new results
D. Virosztek, Acta Scientiarum Mathematicarum (Szeged) 84 (2018) 65–80.
View
| DOI
| Download Preprint (ext.)
| arXiv
D. Virosztek, Acta Scientiarum Mathematicarum (Szeged) 84 (2018) 65–80.
2018 | Conference Paper | IST-REx-ID: 285 |
On the treewidth of triangulated 3-manifolds
K. Huszár, J. Spreer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
View
| Files available
| DOI
| arXiv
K. Huszár, J. Spreer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 | Journal Article | IST-REx-ID: 286
Efficient inference of paternity and sibship inference given known maternity via hierarchical clustering
T. Ellis, D. Field, N.H. Barton, Molecular Ecology Resources 18 (2018) 988–999.
View
| Files available
| DOI
T. Ellis, D. Field, N.H. Barton, Molecular Ecology Resources 18 (2018) 988–999.
2018 | Journal Article | IST-REx-ID: 287 |
Electromagnetic fields and optomechanics In cancer diagnostics and treatment
V. Salari, S. Barzanjeh, M. Cifra, C. Simon, F. Scholkmann, Z. Alirezaei, J. Tuszynski, Frontiers in Bioscience - Landmark 23 (2018) 1391–1406.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
V. Salari, S. Barzanjeh, M. Cifra, C. Simon, F. Scholkmann, Z. Alirezaei, J. Tuszynski, Frontiers in Bioscience - Landmark 23 (2018) 1391–1406.
2018 | Journal Article | IST-REx-ID: 288 |
Clonal analysis of Notch1-expressing cells reveals the existence of unipotent stem cells that retain long-term plasticity in the embryonic mammary gland
A. Lilja, V. Rodilla, M. Huyghe, E.B. Hannezo, C. Landragin, O. Renaud, O. Leroy, S. Rulands, B. Simons, S. Fré, Nature Cell Biology 20 (2018) 677–687.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
A. Lilja, V. Rodilla, M. Huyghe, E.B. Hannezo, C. Landragin, O. Renaud, O. Leroy, S. Rulands, B. Simons, S. Fré, Nature Cell Biology 20 (2018) 677–687.
2018 | Journal Article | IST-REx-ID: 289 |
Emergent dirac gullies and gully-symmetry-breaking quantum hall states in ABA trilayer graphene
A. Zibrov, P. Rao, C. Kometter, J. Li, C. Dean, T. Taniguchi, K. Watanabe, M. Serbyn, A. Young, Physical Review Letters 121 (2018).
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Zibrov, P. Rao, C. Kometter, J. Li, C. Dean, T. Taniguchi, K. Watanabe, M. Serbyn, A. Young, Physical Review Letters 121 (2018).
2018 | Journal Article | IST-REx-ID: 29 |
Social environment affects the transcriptomic response to bacteria in ant queens
L. Viljakainen, J. Jurvansuu, I. Holmberg, T. Pamminger, S. Erler, S. Cremer, Ecology and Evolution 8 (2018) 11031–11070.
View
| Files available
| DOI
L. Viljakainen, J. Jurvansuu, I. Holmberg, T. Pamminger, S. Erler, S. Cremer, Ecology and Evolution 8 (2018) 11031–11070.