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.

3023 Publications


2016 | Journal Article | IST-REx-ID: 1204 | OA
A. Amir, M. Lemeshko, and T. Tokieda, “Surprises in numerical expressions of physical constants,” American Mathematical Monthly, vol. 123, no. 6, pp. 609–612, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1205 | OA
Y. Jiang et al., “Safety assured formal model driven design of the multifunction vehicle bus controller,” presented at the FM: International Symposium on Formal Methods, Limassol, Cyprus, 2016, vol. 9995, pp. 757–763.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1206 | OA
E. Redchenko and M. Lemeshko, “Libration of strongly oriented polar molecules inside a superfluid,” ChemPhysChem, vol. 17, no. 22, pp. 3649–3654, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1209 | OA
J. A. Letts, G. Degliesposti, K. Fiedorczuk, M. Skehel, and L. A. Sazanov, “Purification of ovine respiratory complex i results in a highly active and stable preparation,” Journal of Biological Chemistry, vol. 291, no. 47, pp. 24657–24675, 2016.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1212 | OA
H. Rakusová, M. Abbas, H. Han, S. Song, H. Robert, and J. Friml, “Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity,” Current Biology, vol. 26, no. 22, pp. 3026–3032, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1216 | OA
J. Kasten et al., “Acceleration feature points of unsteady shear flows,” Archives of Mechanics, vol. 68, no. 1, pp. 55–80, 2016.
View | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1218 | OA
A. Angermayr 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, vol. 82, no. 14, pp. 4180–4189, 2016.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1219 | OA
J. Lee, K. Schnelli, B. Stetler, and H. Yau, “Bulk universality for deformed wigner matrices,” Annals of Probability, vol. 44, no. 3, pp. 2349–2425, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 122 | OA
S. R. Waitukaitis and M. Van Hecke, “Origami building blocks: Generic and special four-vertices,” Physical Review E - Statistical, Nonlinear, and Soft Matter Physics, vol. 93, no. 2, 2016.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1220 | OA
G. Mikić, A. Stoll, J. Bevirt, R. Grah, and M. Moore, “Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency,” presented at the AIAA: Aviation Technology, Integration, and Operations Conference, Washington, D.C., USA, 2016, pp. 1–19.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1221 | OA
J. Michalko, M. Glanc, C. Perrot Rechenmann, and J. Friml, “Strong morphological defects in conditional Arabidopsis abp1 knock-down mutants generated in absence of functional ABP1 protein,” F1000 Research , vol. 5, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1222 | OA
O. Musin and A. Nikitenko, “Optimal packings of congruent circles on a square flat torus,” Discrete & Computational Geometry, vol. 55, no. 1, pp. 1–20, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1223 | OA
R. Froese, D. Lee, C. Sadel, W. Spitzer, and G. Stolz, “Localization for transversally periodic random potentials on binary trees,” Journal of Spectral Theory, vol. 6, no. 3, pp. 557–600, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1225 | OA
G. Fuchsbauer, C. Hanser, C. Kamath Hosdurg, and D. Slamanig, “Practical round-optimal blind signatures in the standard model from weaker assumptions,” presented at the SCN: Security and Cryptography for Networks, Amalfi, Italy, 2016, vol. 9841, pp. 391–408.
View | Files available | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1226 | OA
K. Fiedorczuk, J. A. Letts, G. Degliesposti, K. Kaszuba, M. Skehel, and L. A. Sazanov, “Atomic structure of the entire mammalian mitochondrial complex i,” Nature, vol. 538, no. 7625, pp. 406–410, 2016.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 1227 | OA
H. Kong et al., “Discrete abstraction of multiaffine systems,” presented at the HSB: Hybrid Systems Biology, Grenoble, France, 2016, vol. 9957, pp. 128–144.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1229 | OA
H. M. Abusalah, G. Fuchsbauer, and K. Z. Pietrzak, “Offline witness encryption,” presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK, 2016, vol. 9696, pp. 285–303.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1230 | OA
P. Daca, A. Gupta, and T. A. Henzinger, “Abstraction-driven concolic testing,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA, 2016, vol. 9583, pp. 328–347.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1231 | OA
J. F. Alwen, B. Chen, C. Kamath Hosdurg, V. Kolmogorov, K. Z. Pietrzak, and S. Tessaro, “On the complexity of scrypt and proofs of space in the parallel random oracle model,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Vienna, Austria, 2016, vol. 9666, pp. 358–387.
View | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1233 | OA
G. Fuchsbauer, F. Heuer, E. Kiltz, and K. Z. Pietrzak, “Standard security does imply security against selective opening for markov distributions,” presented at the TCC: Theory of Cryptography Conference, Tel Aviv, Israel, 2016, vol. 9562, pp. 282–305.
View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications