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.
7124 Publications
2013 | Published | Conference Paper | IST-REx-ID: 2279 | 
Looking at mean-payoff and total-payoff through windows
K. Chatterjee, L. Doyen, M. Randour, J. Raskin, 8172 (2013) 118–132.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, L. Doyen, M. Randour, J. Raskin, 8172 (2013) 118–132.
2013 | Published | Journal Article | IST-REx-ID: 2280 |
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: 2282 |
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: 2284 |
Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies
S. Tragust, L.V. Ugelvig, M. Chapuisat, J. Heinze, S. Cremer, BMC Evolutionary Biology 13 (2013).
[Published Version]
View
| Files available
| DOI
S. Tragust, L.V. Ugelvig, M. Chapuisat, J. Heinze, S. Cremer, BMC Evolutionary Biology 13 (2013).
2013 | Published | Journal Article | IST-REx-ID: 2286 |
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: 2287 |
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 | 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 | Journal Article | IST-REx-ID: 2289 |
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 |
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: 2291 |
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: 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 |
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: 2294 |
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 Paper | IST-REx-ID: 2295 |
What is decidable about partially observable Markov decision processes with omega-regular objectives
K. Chatterjee, M. Chmelik, M. Tracol, 23 (2013) 165–180.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M. Chmelik, M. Tracol, 23 (2013) 165–180.
2013 | Published | Journal Article | IST-REx-ID: 2297 |
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: 2298 |
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 |
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: 2300 |
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 | 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.