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.
543 Publications
2016 | Published | Journal Article | IST-REx-ID: 1408 |
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
P. Franek, M. Krcál, Discrete & Computational Geometry 56 (2016) 126–164.
2016 | Published | Journal Article | IST-REx-ID: 1394 |
Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli
D. De Martino, F. Capuani, A. De Martino, Physical Biology 13 (2016).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D. De Martino, F. Capuani, A. De Martino, Physical Biology 13 (2016).
2016 | Published | Journal Article | IST-REx-ID: 1411 |
Untangling two systems of noncrossing curves
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Israel Journal of Mathematics 212 (2016) 37–79.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Israel Journal of Mathematics 212 (2016) 37–79.
2016 | Published | Journal Article | IST-REx-ID: 1409 |
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
R. Abbott, N.H. Barton, J. Good, Molecular Ecology 25 (2016) 2325–2332.
2016 | Published | Conference Paper | IST-REx-ID: 1391 |
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
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
2016 | Published | Conference Paper | IST-REx-ID: 1389 |
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
V.K. Chonev, J. Ouaknine, J. Worrell, in:, LICS ’16, IEEE, 2016, pp. 515–524.
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
L. D’Antoni, R. Samanta, R. Singh, in:, Springer, 2016, pp. 383–401.
2016 | Published | Journal Article | IST-REx-ID: 1372 |
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
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.
2016 | Published | Conference Paper | IST-REx-ID: 1369 |
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
A. Kolesnikov, C. Lampert, in:, Springer, 2016, pp. 695–711.
2016 | Published | Journal Article | IST-REx-ID: 1382
Repeated gains in yellow and anthocyanin pigmentation in flower colour transitions in the Antirrhineae
T. Ellis, D. Field, Annals of Botany 117 (2016) 1133–1140.
View
| Files available
| DOI
| WoS
T. Ellis, D. Field, Annals of Botany 117 (2016) 1133–1140.
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
O. Martin, A. Krzywicki, M.P. Zagórski, Physics of Life Reviews 17 (2016) 124–158.
2016 | Published | Journal Article | IST-REx-ID: 1377 |
Total variation on a tree
V. Kolmogorov, T. Pock, M. Rolinek, SIAM Journal on Imaging Sciences 9 (2016) 605–636.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
V. Kolmogorov, T. Pock, M. Rolinek, SIAM Journal on Imaging Sciences 9 (2016) 605–636.
2016 | Published | Journal Article | IST-REx-ID: 1370 |
Phonon Josephson junction with nanomechanical resonators
S. Barzanjeh, D. Vitali, Physical Review A - Atomic, Molecular, and Optical Physics 93 (2016).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Barzanjeh, D. Vitali, Physical Review A - Atomic, Molecular, and Optical Physics 93 (2016).
2016 | Research Data | IST-REx-ID: 5550 |
Flower colour data and phylogeny (NEXUS) files
T. Ellis, D. Field, (2016).
[Published Version]
View
| Files available
| DOI
T. Ellis, D. Field, (2016).
2016 | Published | Journal Article | IST-REx-ID: 1380 |
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
V.K. Chonev, J. Ouaknine, J. Worrell, Journal of the ACM 63 (2016).
2016 | Published | Journal Article | IST-REx-ID: 1373 |
Network architectures and operating principles. Reply to comments on "Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function"
O. Martin, M.P. Zagórski, Physics of Life Reviews 17 (2016) 168–171.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
O. Martin, M.P. Zagórski, Physics of Life Reviews 17 (2016) 168–171.
2016 | Published | Conference Paper | IST-REx-ID: 1363 |
Generalized non-reflecting boundaries for fluid re-simulation
M. Bojsen-Hansen, C. Wojtan, in:, ACM, 2016.
[Published Version]
View
| Files available
| DOI
| WoS
M. Bojsen-Hansen, C. Wojtan, in:, ACM, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 1362 |
Fast approximations for boundary element based brittle fracture simulation
D. Hahn, C. Wojtan, in:, ACM, 2016.
[Published Version]
View
| Files available
| DOI
| WoS
D. Hahn, C. Wojtan, in:, ACM, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 1364 |
Computational design of stable planar-rod structures
E. Miguel Villalba, M. Lepoutre, B. Bickel, in:, ACM, 2016.
[Preprint]
View
| Files available
| DOI
| WoS
E. Miguel Villalba, M. Lepoutre, B. Bickel, in:, ACM, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 1361 |
Surface only liquids
F. Da, D. Hahn, C. Batty, C. Wojtan, E. Grinspun, in:, ACM, 2016.
[Published Version]
View
| Files available
| DOI
| WoS
F. Da, D. Hahn, C. Batty, C. Wojtan, E. Grinspun, in:, ACM, 2016.