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 | OA
M. Henzinger, S. Krinninger, and D. Nanongkai, “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, pp. 947–1006, 2016.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1193 | OA
V. Kolmogorov, “Commutativity in the algorithmic Lovasz local lemma,” in Proceedings - Annual IEEE Symposium on Foundations of Computer Science, New Brunswick, NJ, USA , 2016, vol. 2016–December.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 11988
C. Kappe, J. Monteiro, B. Pieber, and A. Corrêa, “Continuous synthesis of hydantoins: Intensifying the Bucherer–Bergs reaction,” Synlett, vol. 27, no. 01. Georg Thieme Verlag, pp. 83–87, 2016.
View | DOI
 

2016 | Published | 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: Formal Methods, Limassol, Cyprus, 2016, vol. 9995, pp. 757–763.
[Submitted Version] View | Files available | DOI | WoS
 

2016 | Published | 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. Cell Press, pp. 3026–3032, 2016.
[Submitted Version] View | Files available | DOI | WoS
 

2016 | Published | 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. Polish Academy of Sciences Publishing House, pp. 55–80, 2016.
[Published Version] View | Download Published Version (ext.)
 

2016 | Published | 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. American Physiological Society, 2016.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | 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.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1340 | OA
K. Hansen, R. Ibsen-Jensen, and M. Koucký, “The big match in small space,” presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom, 2016, vol. 9928, pp. 64–76.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1341 | OA
G. Avni, T. A. Henzinger, and O. Kupferman, “Dynamic resource allocation games,” presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom, 2016, vol. 9928, pp. 153–166.
[Preprint] View | Files available | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1348 | OA
R. Fulek, “Bounded embeddings of graphs in the plane,” presented at the IWOCA: International Workshop on Combinatorial Algorithms, Helsinki, Finland, 2016, vol. 9843, pp. 31–42.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1365 | OA
J. F. Alwen and J. Blocki, “Efficiently computing data-independent memory-hard functions,” presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, USA, 2016, vol. 9815, pp. 241–271.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1366 | OA
P. Gazi and S. Tessaro, “Provably robust sponge-based PRNGs and KDFs,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Vienna, Austria, 2016, vol. 9665, pp. 87–116.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1369 | OA
A. Kolesnikov and C. Lampert, “Seed, expand and constrain: Three principles for weakly-supervised image segmentation,” presented at the ECCV: European Conference on Computer Vision, Amsterdam, The Netherlands, 2016, vol. 9908, pp. 695–711.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1372 | OA
M. Pernisová 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, pp. 497–509, 2016.
[Submitted Version] View | Files available | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1379 | OA
B. Burton, A. N. de Mesmay, and U. Wagner, “Finding non-orientable surfaces in 3-manifolds,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 24.1-24.15.
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1381 | OA
I. Mabillard and U. Wagner, “Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 51.1-51.12.
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1390
L. D’Antoni, R. Samanta, and R. Singh, “QLOSE: Program repair with quantitative objectives,” presented at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9780, pp. 383–401.
View | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1391 | OA
P. Daca, T. A. Henzinger, and A. Kupriyanov, “Array folds logic,” presented at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9780, pp. 230–248.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1394 | OA
D. De Martino, F. Capuani, and A. De Martino, “Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli,” Physical Biology, vol. 13, no. 3. IOP Publishing, 2016.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed