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.
2030 Publications
2016 |
Published |
Journal Article |
IST-REx-ID: 11891 |
Henzinger, Monika, et al. “Dynamic Approximate All-Pairs Shortest Paths: Breaking the O(Mn) Barrier and Derandomization.” SIAM Journal on Computing, vol. 45, no. 3, Society for Industrial & Applied Mathematics, 2016, pp. 947–1006, doi:10.1137/140957299.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |
Published |
Conference Paper |
IST-REx-ID: 1193 |
Kolmogorov, Vladimir. “Commutativity in the Algorithmic Lovasz Local Lemma.” Proceedings - Annual IEEE Symposium on Foundations of Computer Science, vol. 2016–December, 7782993, IEEE, 2016, doi:10.1109/FOCS.2016.88.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2016 |
Published |
Journal Article |
IST-REx-ID: 11988
Kappe, C., et al. “Continuous Synthesis of Hydantoins: Intensifying the Bucherer–Bergs Reaction.” Synlett, vol. 27, no. 01, Georg Thieme Verlag, 2016, pp. 83–87, doi:10.1055/s-0035-1560317.
View
| DOI
2016 |
Published |
Conference Paper |
IST-REx-ID: 1205 |
Jiang, Yu, et al. Safety Assured Formal Model Driven Design of the Multifunction Vehicle Bus Controller. Vol. 9995, Springer, 2016, pp. 757–63, doi:10.1007/978-3-319-48989-6_47.
[Submitted Version]
View
| Files available
| DOI
| WoS
2016 |
Published |
Journal Article |
IST-REx-ID: 1212 |
Rakusová, Hana, et al. “Termination of Shoot Gravitropic Responses by Auxin Feedback on PIN3 Polarity.” Current Biology, vol. 26, no. 22, Cell Press, 2016, pp. 3026–32, doi:10.1016/j.cub.2016.08.067.
[Submitted Version]
View
| Files available
| DOI
| WoS
2016 |
Published |
Journal Article |
IST-REx-ID: 1216 |
Kasten, Jens, et al. “Acceleration Feature Points of Unsteady Shear Flows.” Archives of Mechanics, vol. 68, no. 1, Polish Academy of Sciences Publishing House, 2016, pp. 55–80.
[Published Version]
View
| Download Published Version (ext.)
2016 |
Published |
Journal Article |
IST-REx-ID: 122 |
Waitukaitis, Scott R., and Martin Van Hecke. “Origami Building Blocks: Generic and Special Four-Vertices.” Physical Review E - Statistical, Nonlinear, and Soft Matter Physics, vol. 93, no. 2, 023003, American Physiological Society, 2016, doi:10.1103/PhysRevE.93.023003.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |
Published |
Conference Paper |
IST-REx-ID: 1225 |
Fuchsbauer, Georg, et al. Practical Round-Optimal Blind Signatures in the Standard Model from Weaker Assumptions. Vol. 9841, Springer, 2016, pp. 391–408, doi:10.1007/978-3-319-44618-9_21.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2016 |
Published |
Conference Paper |
IST-REx-ID: 1340 |
Hansen, Kristoffer, et al. The Big Match in Small Space. Vol. 9928, Springer, 2016, pp. 64–76, doi:10.1007/978-3-662-53354-3_6.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2016 |
Published |
Conference Paper |
IST-REx-ID: 1341 |
Avni, Guy, et al. Dynamic Resource Allocation Games. Vol. 9928, Springer, 2016, pp. 153–66, doi:10.1007/978-3-662-53354-3_13.
[Preprint]
View
| Files available
| DOI
| WoS
2016 |
Published |
Conference Paper |
IST-REx-ID: 1348 |
Fulek, Radoslav. Bounded Embeddings of Graphs in the Plane. Vol. 9843, Springer, 2016, pp. 31–42, doi:10.1007/978-3-319-44543-4_3.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2016 |
Published |
Conference Paper |
IST-REx-ID: 1365 |
Alwen, Joel F., and Jeremiah Blocki. Efficiently Computing Data-Independent Memory-Hard Functions. Vol. 9815, Springer, 2016, pp. 241–71, doi:10.1007/978-3-662-53008-5_9.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2016 |
Published |
Conference Paper |
IST-REx-ID: 1366 |
Gazi, Peter, and Stefano Tessaro. Provably Robust Sponge-Based PRNGs and KDFs. Vol. 9665, Springer, 2016, pp. 87–116, doi:10.1007/978-3-662-49890-3_4.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2016 |
Published |
Conference Paper |
IST-REx-ID: 1369 |
Kolesnikov, Alexander, and Christoph Lampert. Seed, Expand and Constrain: Three Principles for Weakly-Supervised Image Segmentation. Vol. 9908, Springer, 2016, pp. 695–711, doi:10.1007/978-3-319-46493-0_42.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2016 |
Published |
Journal Article |
IST-REx-ID: 1372 |
Pernisová, Markéta, et al. “Cytokinins Influence Root Gravitropism via Differential Regulation of Auxin Transporter Expression and Localization in Arabidopsis.” New Phytologist, vol. 212, no. 2, Wiley-Blackwell, 2016, pp. 497–509, doi:10.1111/nph.14049.
[Submitted Version]
View
| Files available
| DOI
| WoS
2016 |
Published |
Conference Paper |
IST-REx-ID: 1379 |
Burton, Benjamin, et al. Finding Non-Orientable Surfaces in 3-Manifolds. Vol. 51, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, p. 24.1-24.15, doi:10.4230/LIPIcs.SoCG.2016.24.
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Conference Paper |
IST-REx-ID: 1381 |
Mabillard, Isaac, and Uli Wagner. Eliminating Higher-Multiplicity Intersections, II. The Deleted Product Criterion in the r-Metastable Range. Vol. 51, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, p. 51.1-51.12, doi:10.4230/LIPIcs.SoCG.2016.51.
[Published Version]
View
| Files available
| DOI
2016 |
Published |
Conference Paper |
IST-REx-ID: 1390
D’Antoni, Loris, et al. QLOSE: Program Repair with Quantitative Objectives. Vol. 9780, Springer, 2016, pp. 383–401, doi:10.1007/978-3-319-41540-6_21.
View
| DOI
| WoS
2016 |
Published |
Conference Paper |
IST-REx-ID: 1391 |
Daca, Przemyslaw, et al. Array Folds Logic. Vol. 9780, Springer, 2016, pp. 230–48, doi:10.1007/978-3-319-41540-6_13.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2016 |
Published |
Journal Article |
IST-REx-ID: 1394 |
De Martino, Daniele, et al. “Growth against Entropy in Bacterial Metabolism: The Phenotypic Trade-off behind Empirical Growth Rate Distributions in E. Coli.” Physical Biology, vol. 13, no. 3, 036005, IOP Publishing, 2016, doi:10.1088/1478-3975/13/3/036005.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv