Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5148 Publications
2013 |Published| Conference Paper | IST-REx-ID: 2276 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Potts model, parametric maxflow and k-submodular functions
I. Gridchyn, V. Kolmogorov, in:, IEEE, 2013, pp. 2320–2327.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
I. Gridchyn, V. Kolmogorov, in:, IEEE, 2013, pp. 2320–2327.
2013 |Published| Journal Article | IST-REx-ID: 2280 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Packing ellipsoids with overlap
C. Uhler, S. Wright, SIAM Review 55 (2013) 671–706.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Uhler, S. Wright, SIAM Review 55 (2013) 671–706.
2013 |Published| Journal Article | IST-REx-ID: 2287 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant
M. Pickup, S. Barrett, Ecology and Evolution 3 (2013) 629–639.
[Published Version]
View
| Files available
| DOI
M. Pickup, S. Barrett, Ecology and Evolution 3 (2013) 629–639.
2013 |Published| Journal Article | IST-REx-ID: 2282 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly
P. Campinho, M. Behrndt, J. Ranft, T. Risler, N. Minc, C.-P.J. Heisenberg, Nature Cell Biology 15 (2013) 1405–1414.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
P. Campinho, M. Behrndt, J. Ranft, T. Risler, N. Minc, C.-P.J. Heisenberg, Nature Cell Biology 15 (2013) 1405–1414.
2013 |Published| Journal Article | IST-REx-ID: 2283
Tolerating an infection: an indirect benefit of co-founding queen associations in the ant Lasius niger
C. Pull, W. Hughes, M. Brown, Naturwissenschaften 100 (2013) 1125–1136.
View
| DOI
C. Pull, W. Hughes, M. Brown, Naturwissenschaften 100 (2013) 1125–1136.
2013 |Published| Journal Article | IST-REx-ID: 2286 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The force and effect of cell proliferation
P. Campinho, C.-P.J. Heisenberg, EMBO Journal 32 (2013) 2783–2784.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
P. Campinho, C.-P.J. Heisenberg, EMBO Journal 32 (2013) 2783–2784.
2013 |Published| Journal Article | IST-REx-ID: 2289 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Quantitative reactive modeling and verification
T.A. Henzinger, Computer Science Research and Development 28 (2013) 331–344.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, Computer Science Research and Development 28 (2013) 331–344.
2013 |Published| Journal Article | IST-REx-ID: 2290 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation
Y. Boutté, K. Jonsson, H. Mcfarlane, E. Johnson, D. Gendre, R. Swarup, J. Friml, L. Samuels, S. Robert, R. Bhalerao, PNAS 110 (2013) 16259–16264.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
Y. Boutté, K. Jonsson, H. Mcfarlane, E. Johnson, D. Gendre, R. Swarup, J. Friml, L. Samuels, S. Robert, R. Bhalerao, PNAS 110 (2013) 16259–16264.
2013 |Published| Conference Paper | IST-REx-ID: 2294 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Drosophila Embryo Stage Annotation using Label Propagation
T. Kazmar, E. Kvon, A. Stark, C. Lampert, in:, IEEE, 2013.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
T. Kazmar, E. Kvon, A. Stark, C. Lampert, in:, IEEE, 2013.
2013 |Published| Conference (Editor) | IST-REx-ID: 2292
Mathematical Foundations of Computer Science 2013
K. Chatterjee, J. Sgall, eds., Mathematical Foundations of Computer Science 2013, Springer, 2013.
View
| DOI
K. Chatterjee, J. Sgall, eds., Mathematical Foundations of Computer Science 2013, Springer, 2013.
2013 |Published| Conference Paper | IST-REx-ID: 2293 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Learning to rank using privileged information
V. Sharmanska, N. Quadrianto, C. Lampert, in:, IEEE, 2013, pp. 825–832.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
V. Sharmanska, N. Quadrianto, C. Lampert, in:, IEEE, 2013, pp. 825–832.
2013 |Published| Conference Paper | IST-REx-ID: 2291 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cryptographically enforced RBAC
A. Ferrara, G. Fuchsbauer, B. Warinschi, in:, IEEE, 2013, pp. 115–129.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
A. Ferrara, G. Fuchsbauer, B. Warinschi, in:, IEEE, 2013, pp. 115–129.
2013 |Published| Conference (Editor) | IST-REx-ID: 2288
Computational Methods in Systems Biology
A. Gupta, T.A. Henzinger, eds., Computational Methods in Systems Biology, Springer, 2013.
View
| DOI
A. Gupta, T.A. Henzinger, eds., Computational Methods in Systems Biology, Springer, 2013.
2013 |Published| Conference Paper | IST-REx-ID: 2298 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Local shape analysis for overlaid data structures
C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2013, pp. 150–171.
[Submitted Version]
View
| Files available
| DOI
C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2013, pp. 150–171.
2013 |Published| Journal Article | IST-REx-ID: 2299 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Synthesis of AMBA AHB from formal specification: A case study
Y. Godhal, K. Chatterjee, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 15 (2013) 585–601.
[Submitted Version]
View
| Files available
| DOI
Y. Godhal, K. Chatterjee, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 15 (2013) 585–601.
2013 |Published| Journal Article | IST-REx-ID: 2297 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hot topics in cold gases: A mathematical physics perspective
R. Seiringer, Japanese Journal of Mathematics 8 (2013) 185–232.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Seiringer, Japanese Journal of Mathematics 8 (2013) 185–232.
2013 |Published| Conference Paper | IST-REx-ID: 2301
P: Safe asynchronous event-driven programming
A. Desai, V. Gupta, E. Jackson, S. Qadeer, S. Rajamani, D. Zufferey, in:, Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, 2013, pp. 321–331.
View
| DOI
| Download None (ext.)
A. Desai, V. Gupta, E. Jackson, S. Qadeer, S. Rajamani, D. Zufferey, in:, Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, 2013, pp. 321–331.
2013 |Published| Journal Article | IST-REx-ID: 2300 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Realization of stripes and slabs in two and three dimensions
A. Giuliani, É. Lieb, R. Seiringer, Physical Review B 88 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Giuliani, É. Lieb, R. Seiringer, Physical Review B 88 (2013).
2013 |Published| Journal Article | IST-REx-ID: 2303
Dissection of gene function at clonal level using mosaic analysis with double markers
S. Hippenmeyer, Frontiers in Biology 8 (2013) 557–568.
View
| DOI
S. Hippenmeyer, Frontiers in Biology 8 (2013) 557–568.
2013 |Published| Journal Article | IST-REx-ID: 2304
Van der Corput sequences and linear permutations
F. Pausinger, Electronic Notes in Discrete Mathematics 43 (2013) 43–50.
View
| DOI
F. Pausinger, Electronic Notes in Discrete Mathematics 43 (2013) 43–50.