Please note that IST 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.
436 Publications
2019 | Conference Paper | IST-REx-ID: 6490 | 
Chatterjee K, Goharshady AK, Goharshady EK. The treewidth of smart contracts. In: Proceedings of the 34th ACM Symposium on Applied Computing. Vol Part F147772. ACM; :400-408. doi:10.1145/3297280.3297322
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7158 |
Chatterjee K, Goharshady AK, Goyal P, Ibsen-Jensen R, Pavlogiannis A. Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth. ACM Transactions on Programming Languages and Systems. 2019;41(4). doi:10.1145/3363525
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6056 |
Chatterjee K, Goharshady AK, Pourdamghani A. Probabilistic smart contracts: Secure randomness on the blockchain. In: IEEE International Conference on Blockchain and Cryptocurrency. IEEE; 2019. doi:10.1109/BLOC.2019.8751326
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7014 |
Chatterjee K, Fu H, Goharshady AK. Non-polynomial worst-case analysis of recursive programs. ACM Transactions on Programming Languages and Systems. 2019;41(4). doi:10.1145/3339984
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6187 |
Valosková K, Biebl J, Roblek M, et al. A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion. eLife. 2019;8. doi:10.7554/elife.41801
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 9018 |
Bakail MM, Gaubert A, Andreani J, et al. Design on a rational basis of high-affinity peptides inhibiting the histone chaperone ASF1. Cell Chemical Biology. 2019;26(11):1573-1585.e10. doi:10.1016/j.chembiol.2019.09.002
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 9016 |
Bakail MM, Rodriguez‐Marin S, Hegedüs Z, Perrin ME, Ochsenbein F, Wilson AJ. Recognition of ASF1 by using hydrocarbon‐constrained peptides. ChemBioChem. 2019;20(7):891-895. doi:10.1002/cbic.201800633
View
| DOI
| Download Published Version (ext.)
2019 | Thesis | IST-REx-ID: 6891 |
Kopf A. The implication of cytoskeletal dynamics on leukocyte migration. 2019. doi:10.15479/AT:ISTA:6891
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6947 |
Assen FP. Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking. 2019. doi:10.15479/AT:ISTA:6947
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6849 |
Rangel Guerrero DK. The role of CCK-interneurons in regulating hippocampal network dynamics. 2019. doi:10.15479/AT:ISTA:6849
View
| Files available
| DOI