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.
6306 Publications
2016 | Conference Paper | IST-REx-ID: 1220 | 
Mikić, Gregor, Alex Stoll, Joe Bevirt, Rok Grah, and Mark Moore. “Fuselage Boundary Layer Ingestion Propulsion Applied to a Thin Haul Commuter Aircraft for Optimal Efficiency,” 1–19. AIAA, 2016. https://doi.org/10.2514/6.2016-3764.
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1221 |
Michalko, Jaroslav, Matous Glanc, Catherine Perrot Rechenmann, and Jiří Friml. “Strong Morphological Defects in Conditional Arabidopsis Abp1 Knock-down Mutants Generated in Absence of Functional ABP1 Protein.” F1000 Research . F1000 Research Ltd. , 2016. https://doi.org/10.12688/f1000research.7654.1.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1222 |
Musin, Oleg, and Anton Nikitenko. “Optimal Packings of Congruent Circles on a Square Flat Torus.” Discrete & Computational Geometry. Springer, 2016. https://doi.org/10.1007/s00454-015-9742-6.
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1223 |
Froese, Richard, Darrick Lee, Christian Sadel, Wolfgang Spitzer, and Günter Stolz. “Localization for Transversally Periodic Random Potentials on Binary Trees.” Journal of Spectral Theory. European Mathematical Society, 2016. https://doi.org/10.4171/JST/132.
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1224
Teitel, Zachary, Melinda Pickup, David Field, and Spencer Barrett. “The Dynamics of Resource Allocation and Costs of Reproduction in a Sexually Dimorphic, Wind-Pollinated Dioecious Plant.” Plant Biology. Wiley-Blackwell, 2016. https://doi.org/10.1111/plb.12336.
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1225 |
Fuchsbauer, Georg, Christian Hanser, Chethan Kamath Hosdurg, and Daniel Slamanig. “Practical Round-Optimal Blind Signatures in the Standard Model from Weaker Assumptions,” 9841:391–408. Springer, 2016. https://doi.org/10.1007/978-3-319-44618-9_21.
View
| Files available
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1226 |
Fiedorczuk, Karol, James A Letts, Gianluca Degliesposti, Karol Kaszuba, Mark Skehel, and Leonid A Sazanov. “Atomic Structure of the Entire Mammalian Mitochondrial Complex I.” Nature. Nature Publishing Group, 2016. https://doi.org/10.1038/nature19794.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2016 | Conference Paper | IST-REx-ID: 1227 |
Kong, Hui, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A Henzinger, Yu Jiang, and Christian Schilling. “Discrete Abstraction of Multiaffine Systems,” 9957:128–44. Springer, 2016. https://doi.org/10.1007/978-3-319-47151-8_9.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1229 |
Abusalah, Hamza M, Georg Fuchsbauer, and Krzysztof Z Pietrzak. “Offline Witness Encryption,” 9696:285–303. Springer, 2016. https://doi.org/10.1007/978-3-319-39555-5_16.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1230 |
Daca, Przemyslaw, Ashutosh Gupta, and Thomas A Henzinger. “Abstraction-Driven Concolic Testing,” 9583:328–47. Springer, 2016. https://doi.org/10.1007/978-3-662-49122-5_16.
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1231 |
Alwen, Joel F, Binyi Chen, Chethan Kamath Hosdurg, Vladimir Kolmogorov, Krzysztof Z Pietrzak, and Stefano Tessaro. “On the Complexity of Scrypt and Proofs of Space in the Parallel Random Oracle Model,” 9666:358–87. Springer, 2016. https://doi.org/10.1007/978-3-662-49896-5_13.
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1232
Letts, James A, Karol Fiedorczuk, and Leonid A Sazanov. “The Architecture of Respiratory Supercomplexes.” Nature. Nature Publishing Group, 2016. https://doi.org/10.1038/nature19774.
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1233 |
Fuchsbauer, Georg, Felix Heuer, Eike Kiltz, and Krzysztof Z Pietrzak. “Standard Security Does Imply Security against Selective Opening for Markov Distributions,” 9562:282–305. Springer, 2016. https://doi.org/10.1007/978-3-662-49096-9_12.
View
| DOI
| Download Submitted Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1234 |
Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Faster Statistical Model Checking for Unbounded Temporal Properties,” 9636:112–29. Springer, 2016. https://doi.org/10.1007/978-3-662-49674-9_7.
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1235 |
Abusalah, Hamza M, and Georg Fuchsbauer. “Constrained PRFs for Unbounded Inputs with Short Keys,” 9696:445–63. Springer, 2016. https://doi.org/10.1007/978-3-319-39555-5_24.
View
| Files available
| DOI
| Download Submitted Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1236 |
Abusalah, Hamza M, Georg Fuchsbauer, and Krzysztof Z Pietrzak. “Constrained PRFs for Unbounded Inputs,” 9610:413–28. Springer, 2016. https://doi.org/10.1007/978-3-319-29485-8_24.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1237
Krcál, Marek, and Pawel Pilarczyk. “Computation of Cubical Steenrod Squares,” 9667:140–51. Springer, 2016. https://doi.org/10.1007/978-3-319-39441-1_13.
View
| DOI
2016 | Journal Article | IST-REx-ID: 1238 |
Wangenheim, Daniel von, Amparo Rosero, George Komis, Olga Šamajová, Miroslav Ovečka, Boris Voigt, and Jozef Šamaj. “Endosomal Interactions during Root Hair Growth.” Frontiers in Plant Science. Frontiers Research Foundation, 2016. https://doi.org/10.3389/fpls.2015.01262.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1239
Callan Jones, Andrew, Verena Ruprecht, Stefan Wieser, Carl-Philipp J Heisenberg, and Raphaël Voituriez. “Cortical Flow-Driven Shapes of Nonadherent Cells.” Physical Review Letters. American Physical Society, 2016. https://doi.org/10.1103/PhysRevLett.116.028102.
View
| DOI
2016 | Journal Article | IST-REx-ID: 1240 |
Kornienko, Aleksandra, Christoph Dotter, Philipp Guenzl, Heinz Gisslinger, Bettina Gisslinger, Ciara Cleary, Robert Kralovics, Florian Pauler, and Denise Barlow. “Long Non-Coding RNAs Display Higher Natural Expression Variation than Protein-Coding Genes in Healthy Humans.” Genome Biology. BioMed Central, 2016. https://doi.org/10.1186/s13059-016-0873-8.
View
| Files available
| DOI