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 | OA
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
 

2019 | Journal Article | IST-REx-ID: 7158 | OA
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
 

2019 | Conference Paper | IST-REx-ID: 6056 | OA
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
 

2019 | Journal Article | IST-REx-ID: 7014 | OA
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
 

2019 | Journal Article | IST-REx-ID: 6380 | OA
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
 

2019 | Conference Paper | IST-REx-ID: 6490 | OA
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
 

2019 | Conference Paper | IST-REx-ID: 6780 | OA
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
 

2019 | Conference Paper | IST-REx-ID: 10877 | OA
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
 

2019 | Journal Article | IST-REx-ID: 6713 | OA
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
 

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
 

2018 | Journal Article | IST-REx-ID: 281 | OA
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
 

2018 | Journal Article | IST-REx-ID: 282 | OA
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.)
 

2018 | Journal Article | IST-REx-ID: 283 | OA
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
 

2018 | Journal Article | IST-REx-ID: 284 | OA
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
 

2018 | Conference Paper | IST-REx-ID: 285 | OA
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
 

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
 

2018 | Journal Article | IST-REx-ID: 287 | OA
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
 

2018 | Journal Article | IST-REx-ID: 288 | OA
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
 

2018 | Journal Article | IST-REx-ID: 289 | OA
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
 

2018 | Journal Article | IST-REx-ID: 29 | OA
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
 

Filters and Search Terms

extern<>1

Search

Filter Publications