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.




6293 Publications

2016 | Published | Journal Article | IST-REx-ID: 1436 | OA
Bach V, Breteaux S, Petrat SP, Pickl P, Tzaneteas T. 2016. Kinetic energy estimates for the accuracy of the time-dependent Hartree-Fock approximation with Coulomb interaction. Journal de Mathématiques Pures et Appliquées. 105(1), 1–30.
[Published Version] View | Files available | DOI | WoS
 
2016 | Published | Conference Paper | IST-REx-ID: 1438 | OA
Chatterjee K, Fu H, Novotný P, Hasheminezhad R. 2016. Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. POPL: Principles of Programming Languages, POPL, vol. 20–22, 327–342.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1439 | OA
Dragoi C, Henzinger TA, Zufferey D. 2016. PSYNC: A partially synchronous language for fault-tolerant distributed algorithms. POPL: Principles of Programming Languages, ACM SIGPLAN Notices, vol. 20–22, 400–415.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1440
Janovjak HL. 2016. Light at the end of the protein: Crystal structure of a C-terminal light-sensing domain. Structure. 24(2), 213–215.
View | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1441 | OA
Gschaider-Reichhart E, Inglés Prieto Á, Tichy A-M, Mckenzie C, Janovjak HL. 2016. A phytochrome sensory domain permits receptor activation by red light. Angewandte Chemie - International Edition. 55(21), 6339–6342.
[Submitted Version] View | Files available | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1446 | OA
Calatrava Moreno M, Auzinger T, Werthner H. 2016. On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data. Scientometrics. 107(1), 213–232.
[Published Version] View | Files available | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1448 | OA
Fathi M, Maas J. 2016. Entropic Ricci curvature bounds for discrete interacting systems. The Annals of Applied Probability. 26(3), 1774–1806.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1794 | OA
Kolmogorov V, Takhanov R. 2016. Inference algorithms for pattern-based CRFs on sequence data. Algorithmica. 76(1), 17–46.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1833 | OA
Klimova A, Rudas T. 2016. On the closure of relational models. Journal of Multivariate Analysis. 143, 440–452.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1227 | OA
Kong H, Bartocci E, Bogomolov S, Grosu R, Henzinger TA, Jiang Y, Schilling C. 2016. Discrete abstraction of multiaffine systems. HSB: Hybrid Systems Biology, LNCS, vol. 9957, 128–144.
[Submitted Version] View | Files available | DOI | WoS
 
2016 | Published | Conference Paper | IST-REx-ID: 1229 | OA
Abusalah HM, Fuchsbauer G, Pietrzak KZ. 2016. Offline witness encryption. ACNS: Applied Cryptography and Network Security, LNCS, vol. 9696, 285–303.
[Submitted Version] View | Files available | DOI | WoS
 
2016 | Published | Conference Paper | IST-REx-ID: 1230 | OA
Daca P, Gupta A, Henzinger TA. 2016. Abstraction-driven concolic testing. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 9583, 328–347.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1231 | OA
Alwen JF, Chen B, Kamath Hosdurg C, Kolmogorov V, Pietrzak KZ, Tessaro S. 2016. On the complexity of scrypt and proofs of space in the parallel random oracle model. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 9666, 358–387.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1232
Letts JA, Fiedorczuk K, Sazanov LA. 2016. The architecture of respiratory supercomplexes. Nature. 537(7622), 644–648.
View | DOI | WoS
 
2016 | Published | Conference Paper | IST-REx-ID: 1233 | OA
Fuchsbauer G, Heuer F, Kiltz E, Pietrzak KZ. 2016. Standard security does imply security against selective opening for markov distributions. TCC: Theory of Cryptography Conference, LNCS, vol. 9562, 282–305.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2016 | Published | Conference Paper | IST-REx-ID: 1234 | OA
Daca P, Henzinger TA, Kretinsky J, Petrov T. 2016. Faster statistical model checking for unbounded temporal properties. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 9636, 112–129.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1235 | OA
Abusalah HM, Fuchsbauer G. 2016. Constrained PRFs for unbounded inputs with short keys. ACNS: Applied Cryptography and Network Security, LNCS, vol. 9696, 445–463.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 
2016 | Published | Conference Paper | IST-REx-ID: 1236 | OA
Abusalah HM, Fuchsbauer G, Pietrzak KZ. 2016. Constrained PRFs for unbounded inputs. CT-RSA: Topics in Cryptology, LNCS, vol. 9610, 413–428.
[Submitted Version] View | Files available | DOI | WoS
 
2016 | Published | Conference Paper | IST-REx-ID: 1237
Krcál M, Pilarczyk P. 2016. Computation of cubical Steenrod squares. CTIC: Computational Topology in Image Context, LNCS, vol. 9667, 140–151.
View | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1238 | OA
von Wangenheim D, Rosero A, Komis G, Šamajová O, Ovečka M, Voigt B, Šamaj J. 2016. Endosomal interactions during root hair growth. Frontiers in Plant Science. 6(JAN2016), 1262.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed