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.

8919 Publications


2016 | Published | Journal Article | IST-REx-ID: 1218 | OA
Angermayr A, Van Alphen P, Hasdemir D, et al. Culturing synechocystis sp. Strain pcc 6803 with N2 and CO2 in a diel regime reveals multiphase glycogen dynamics with low maintenance costs. Applied and Environmental Microbiology. 2016;82(14):4180-4189. doi:10.1128/AEM.00256-16
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1219 | OA
Lee J, Schnelli K, Stetler B, Yau H. Bulk universality for deformed wigner matrices. Annals of Probability. 2016;44(3):2349-2425. doi:10.1214/15-AOP1023
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 122 | OA
Waitukaitis SR, Van Hecke M. Origami building blocks: Generic and special four-vertices. Physical Review E - Statistical, Nonlinear, and Soft Matter Physics. 2016;93(2). doi:10.1103/PhysRevE.93.023003
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1220 | OA
Mikić G, Stoll A, Bevirt J, Grah R, Moore M. Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency. In: AIAA; 2016:1-19. doi:10.2514/6.2016-3764
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1221 | OA
Michalko J, Glanc M, Perrot Rechenmann C, Friml J. Strong morphological defects in conditional Arabidopsis abp1 knock-down mutants generated in absence of functional ABP1 protein. F1000 Research . 2016;5. doi:10.12688/f1000research.7654.1
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1222 | OA
Musin O, Nikitenko A. Optimal packings of congruent circles on a square flat torus. Discrete & Computational Geometry. 2016;55(1):1-20. doi:10.1007/s00454-015-9742-6
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1223 | OA
Froese R, Lee D, Sadel C, Spitzer W, Stolz G. Localization for transversally periodic random potentials on binary trees. Journal of Spectral Theory. 2016;6(3):557-600. doi:10.4171/JST/132
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1224
Teitel Z, Pickup M, Field D, Barrett S. The dynamics of resource allocation and costs of reproduction in a sexually dimorphic, wind-pollinated dioecious plant. Plant Biology. 2016;18(1):98-103. doi:10.1111/plb.12336
View | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1225 | OA
Fuchsbauer G, Hanser C, Kamath Hosdurg C, Slamanig D. Practical round-optimal blind signatures in the standard model from weaker assumptions. In: Vol 9841. Springer; 2016:391-408. doi:10.1007/978-3-319-44618-9_21
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1226 | OA
Fiedorczuk K, Letts JA, Degliesposti G, Kaszuba K, Skehel M, Sazanov LA. Atomic structure of the entire mammalian mitochondrial complex i. Nature. 2016;538(7625):406-410. doi:10.1038/nature19794
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Published | Conference Paper | IST-REx-ID: 1227 | OA
Kong H, Bartocci E, Bogomolov S, et al. Discrete abstraction of multiaffine systems. In: Vol 9957. Springer; 2016:128-144. doi:10.1007/978-3-319-47151-8_9
[Submitted Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1229 | OA
Abusalah HM, Fuchsbauer G, Pietrzak KZ. Offline witness encryption. In: Vol 9696. Springer; 2016:285-303. doi:10.1007/978-3-319-39555-5_16
[Submitted Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1230 | OA
Daca P, Gupta A, Henzinger TA. Abstraction-driven concolic testing. In: Vol 9583. Springer; 2016:328-347. doi:10.1007/978-3-662-49122-5_16
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2016 | Published | Conference Paper | IST-REx-ID: 1231 | OA
Alwen JF, Chen B, Kamath Hosdurg C, Kolmogorov V, Pietrzak KZ, Tessaro S. On the complexity of scrypt and proofs of space in the parallel random oracle model. In: Vol 9666. Springer; 2016:358-387. doi:10.1007/978-3-662-49896-5_13
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1232
Letts JA, Fiedorczuk K, Sazanov LA. The architecture of respiratory supercomplexes. Nature. 2016;537(7622):644-648. doi:10.1038/nature19774
View | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1233 | OA
Fuchsbauer G, Heuer F, Kiltz E, Pietrzak KZ. Standard security does imply security against selective opening for markov distributions. In: Vol 9562. Springer; 2016:282-305. doi:10.1007/978-3-662-49096-9_12
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2016 | Published | Conference Paper | IST-REx-ID: 1234 | OA
Daca P, Henzinger TA, Kretinsky J, Petrov T. Faster statistical model checking for unbounded temporal properties. In: Vol 9636. Springer; 2016:112-129. doi:10.1007/978-3-662-49674-9_7
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2016 | Published | Conference Paper | IST-REx-ID: 1235 | OA
Abusalah HM, Fuchsbauer G. Constrained PRFs for unbounded inputs with short keys. In: Vol 9696. Springer; 2016:445-463. doi:10.1007/978-3-319-39555-5_24
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2016 | Published | Conference Paper | IST-REx-ID: 1236 | OA
Abusalah HM, Fuchsbauer G, Pietrzak KZ. Constrained PRFs for unbounded inputs. In: Vol 9610. Springer; 2016:413-428. doi:10.1007/978-3-319-29485-8_24
[Submitted Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1237
Krcál M, Pilarczyk P. Computation of cubical Steenrod squares. In: Vol 9667. Springer; 2016:140-151. doi:10.1007/978-3-319-39441-1_13
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed