Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5473 Publications
2019 | Published | 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).
[Published Version]
View
| Files available
| DOI
K. Chatterjee, A.K. Goharshady, N. Okati, A. Pavlogiannis, Proceedings of the ACM on Programming Languages 3 (2019).
2019 | Published | 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).
[Submitted Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, A.K. Goharshady, P. Goyal, R. Ibsen-Jensen, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 41 (2019).
2019 | Published | 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.
[Preprint]
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 | Published | 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).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, H. Fu, A.K. Goharshady, ACM Transactions on Programming Languages and Systems 41 (2019).
2019 | Published | 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.
[Published Version]
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.
2018 | Published | Journal Article | IST-REx-ID: 10286 |
Evaluation and monitoring of free running oscillators serving as source of randomness
E.N. Allini, M. Skórski, O. Petura, F. Bernard, M. Laban, V. Fischer, IACR Transactions on Cryptographic Hardware and Embedded Systems 2018 (2018) 214–242.
[Published Version]
View
| Files available
| DOI
E.N. Allini, M. Skórski, O. Petura, F. Bernard, M. Laban, V. Fischer, IACR Transactions on Cryptographic Hardware and Embedded Systems 2018 (2018) 214–242.
2018 | Published | Journal Article | IST-REx-ID: 104 |
The core effector Cce1 is required for early infection of maize by Ustilago maydis
D. Seitner, S. Uhse, M.C. Gallei, A. Djamei, Molecular Plant Pathology 19 (2018) 2277–2287.
[Published Version]
View
| Files available
| DOI
| WoS
D. Seitner, S. Uhse, M.C. Gallei, A. Djamei, Molecular Plant Pathology 19 (2018) 2277–2287.
2018 | Published | Journal Article | IST-REx-ID: 106 |
Long geodesics on convex surfaces
A. Akopyan, A. Petrunin, Mathematical Intelligencer 40 (2018) 26–31.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Akopyan, A. Petrunin, Mathematical Intelligencer 40 (2018) 26–31.
2018 | Published | Journal Article | IST-REx-ID: 1064 |
On the circle covering theorem by A.W. Goodman and R.E. Goodman
A. Akopyan, A. Balitskiy, M. Grigorev, Discrete & Computational Geometry 59 (2018) 1001–1009.
[Published Version]
View
| Files available
| DOI
| WoS
A. Akopyan, A. Balitskiy, M. Grigorev, Discrete & Computational Geometry 59 (2018) 1001–1009.
2018 | Published | Journal Article | IST-REx-ID: 107 |
Non-malleable codes
S. Dziembowski, K.Z. Pietrzak, D. Wichs, Journal of the ACM 65 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
S. Dziembowski, K.Z. Pietrzak, D. Wichs, Journal of the ACM 65 (2018).
2018 | Published | Conference Paper | IST-REx-ID: 108 |
Inverted leftover hash lemma
M. Obremski, M. Skórski, in:, IEEE, 2018.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
M. Obremski, M. Skórski, in:, IEEE, 2018.
2018 | Published | Journal Article | IST-REx-ID: 9471 |
FACT complex is required for DNA demethylation at heterochromatin during reproduction in Arabidopsis
J.M. Frost, M.Y. Kim, G.T. Park, P.-H. Hsieh, M. Nakamura, S.J.H. Lin, H. Yoo, J. Choi, Y. Ikeda, T. Kinoshita, Y. Choi, D. Zilberman, R.L. Fischer, Proceedings of the National Academy of Sciences 115 (2018) E4720–E4729.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
J.M. Frost, M.Y. Kim, G.T. Park, P.-H. Hsieh, M. Nakamura, S.J.H. Lin, H. Yoo, J. Choi, Y. Ikeda, T. Kinoshita, Y. Choi, D. Zilberman, R.L. Fischer, Proceedings of the National Academy of Sciences 115 (2018) E4720–E4729.
2018 | Research Data Reference | IST-REx-ID: 9807 |
Additional file 1: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes
J. Higareda Almaraz, M. Karbiener, M. Giroud, F. Pauler, T. Gerhalter, S. Herzig, M. Scheideler, (2018).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
J. Higareda Almaraz, M. Karbiener, M. Giroud, F. Pauler, T. Gerhalter, S. Herzig, M. Scheideler, (2018).
2018 | Research Data Reference | IST-REx-ID: 9808 |
Additional file 3: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes
J. Higareda Almaraz, M. Karbiener, M. Giroud, F. Pauler, T. Gerhalter, S. Herzig, M. Scheideler, (2018).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
J. Higareda Almaraz, M. Karbiener, M. Giroud, F. Pauler, T. Gerhalter, S. Herzig, M. Scheideler, (2018).
2018 | Research Data Reference | IST-REx-ID: 9810
Numerical data used in figures
W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta, C.C. Guet, B. Levin, (2018).
[Published Version]
View
| Files available
| DOI
W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta, C.C. Guet, B. Levin, (2018).
2018 | Research Data Reference | IST-REx-ID: 9811 |
Additional file 1: Of negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome
L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, M. Schaefer, (2018).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, M. Schaefer, (2018).
2018 | Research Data Reference | IST-REx-ID: 9812 |
Additional file 2: Of negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome
L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, M. Schaefer, (2018).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, M. Schaefer, (2018).
2018 | Research Data Reference | IST-REx-ID: 9813 |
Supplemental material for Bodova et al., 2018
K. Bodova, T. Priklopil, D. Field, N.H. Barton, M. Pickup, (2018).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
K. Bodova, T. Priklopil, D. Field, N.H. Barton, M. Pickup, (2018).
2018 | Research Data Reference | IST-REx-ID: 9831
Implementation of the inference method in Matlab
K. Bod’Ová, G. Mitchell, R. Harpaz, E. Schneidman, G. Tkačik, (2018).
[Published Version]
View
| Files available
| DOI
K. Bod’Ová, G. Mitchell, R. Harpaz, E. Schneidman, G. Tkačik, (2018).
2018 | Research Data Reference | IST-REx-ID: 9837 |
Data from: Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes
R. Faria, P. Chaube, H.E. Morales, T. Larsson, A.R. Lemmon, E.M. Lemmon, M. Rafajlović, M. Panova, M. Ravinet, K. Johannesson, A.M. Westram, R.K. Butlin, (2018).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
R. Faria, P. Chaube, H.E. Morales, T. Larsson, A.R. Lemmon, E.M. Lemmon, M. Rafajlović, M. Panova, M. Ravinet, K. Johannesson, A.M. Westram, R.K. Butlin, (2018).