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.

6715 Publications


2016 | Published | Conference Paper | IST-REx-ID: 1361 | OA
Surface only liquids
F. Da, D. Hahn, C. Batty, C. Wojtan, E. Grinspun, in:, ACM, 2016.
[Published Version] View | Files available | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1363 | OA
Generalized non-reflecting boundaries for fluid re-simulation
M. Bojsen-Hansen, C. Wojtan, in:, ACM, 2016.
[Published Version] View | Files available | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1364 | OA
Computational design of stable planar-rod structures
E. Miguel Villalba, M. Lepoutre, B. Bickel, in:, ACM, 2016.
[Preprint] View | Files available | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1365 | OA
Efficiently computing data-independent memory-hard functions
J.F. Alwen, J. Blocki, in:, Springer, 2016, pp. 241–271.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | Cryptology ePrint
 

2016 | Published | Conference Paper | IST-REx-ID: 1366 | OA
Provably robust sponge-based PRNGs and KDFs
P. Gazi, S. Tessaro, in:, Springer, 2016, pp. 87–116.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1369 | OA
Seed, expand and constrain: Three principles for weakly-supervised image segmentation
A. Kolesnikov, C. Lampert, in:, Springer, 2016, pp. 695–711.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1371
Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function
O. Martin, A. Krzywicki, M.P. Zagórski, Physics of Life Reviews 17 (2016) 124–158.
View | DOI | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 1372 | OA
Cytokinins influence root gravitropism via differential regulation of auxin transporter expression and localization in Arabidopsis
M. Pernisová, T. Prat, P. Grones, D. Haruštiaková, M. Matonohova, L. Spíchal, T. Nodzyński, J. Friml, J. Hejátko, New Phytologist 212 (2016) 497–509.
[Submitted Version] View | Files available | DOI | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 1373 | OA [Preprint] View | DOI | Download Preprint (ext.) | WoS
 

earlier version | 2016 | Published | Conference Paper | IST-REx-ID: 1378 | OA
On expansion and topological overlap
D. Dotterrer, T. Kaufman, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, p. 35.1-35.10.
[Published Version] View | Files available | DOI
 

earlier version | 2016 | Published | Conference Paper | IST-REx-ID: 1379 | OA
Finding non-orientable surfaces in 3-manifolds
B. Burton, A.N. de Mesmay, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, p. 24.1-24.15.
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1380 | OA
On the complexity of the orbit problem
V.K. Chonev, J. Ouaknine, J. Worrell, Journal of the ACM 63 (2016).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1381 | OA
Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range
I. Mabillard, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, p. 51.1-51.12.
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1382 View | Files available | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1389 | OA
On recurrent reachability for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, LICS ’16, IEEE, 2016, pp. 515–524.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1390
QLOSE: Program repair with quantitative objectives
L. D’Antoni, R. Samanta, R. Singh, in:, Springer, 2016, pp. 383–401.
View | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1391 | OA
Array folds logic
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1394 | OA [Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1408 | OA
On computability and triviality of well groups
P. Franek, M. Krcál, Discrete & Computational Geometry 56 (2016) 126–164.
[Published Version] View | Files available | DOI | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 1409 | OA
Genomics of hybridization and its evolutionary consequences
R. Abbott, N.H. Barton, J. Good, Molecular Ecology 25 (2016) 2325–2332.
[Submitted Version] View | Files available | DOI | WoS
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed