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.

7668 Publications


2013 | Published | Journal Article | IST-REx-ID: 2264 | OA
Neural development is dependent on the function of specificity protein 2 in cell cycle progression
H. Liang, G. Xiao, H. Yin, S. Hippenmeyer, J. Horowitz, T. Ghashghaei, Development 140 (2013) 552–561.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2013 | Published | Conference Paper | IST-REx-ID: 2270 | OA
Optimal Coalition Structures in Cooperative Graph Games
Y. Bachrach, P. Kohli, V. Kolmogorov, M. Zadimoghaddam, in:, AAAI Press, 2013, pp. 81–87.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2013 | Published | Conference Paper | IST-REx-ID: 2272 | OA
Inference algorithms for pattern-based CRFs on sequence data
R. Takhanov, V. Kolmogorov, in:, ICML’13 Proceedings of the 30th International Conference on International, ML Research Press, 2013, pp. 145–153.
[Submitted Version] View | Files available | Download Submitted Version (ext.) | WoS
 

2013 | Draft | Report | IST-REx-ID: 2273 | OA
Reweighted message passing revisited
V. Kolmogorov, Reweighted Message Passing Revisited, IST Austria, n.d.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2013 | Published | Report | IST-REx-ID: 2274 | OA
Proofs of Space
S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, Proofs of Space, IST Austria, 2013.
[Published Version] View | Files available
 

2013 | Published | Conference Paper | IST-REx-ID: 2276 | OA
Potts model, parametric maxflow and k-submodular functions
I. Gridchyn, V. Kolmogorov, in:, IEEE, 2013, pp. 2320–2327.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2013 | Published | Journal Article | IST-REx-ID: 2277 | OA
Transformation of stimulus correlations by the retina
K. Simmons, J. Prentice, G. Tkačik, J. Homann, H. Yee, S. Palmer, P. Nelson, V. Balasubramanian, PLoS Computational Biology 9 (2013).
[Published Version] View | Files available | DOI | WoS
 

2013 | Published | Conference Paper | IST-REx-ID: 2279 | OA
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.) | arXiv
 

2013 | Published | Journal Article | IST-REx-ID: 2280 | OA
Packing ellipsoids with overlap
C. Uhler, S. Wright, SIAM Review 55 (2013) 671–706.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2013 | Published | Journal Article | IST-REx-ID: 2282 | OA
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.) | WoS
 

2013 | Published | Journal Article | IST-REx-ID: 2284 | OA
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 | WoS
 

2013 | Published | Journal Article | IST-REx-ID: 2286 | OA
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.) | WoS | PubMed | Europe PMC
 

2013 | Published | Journal Article | IST-REx-ID: 2287 | OA
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 | WoS
 

2013 | Published | Journal Article | IST-REx-ID: 2289 | OA
Quantitative reactive modeling and verification
T.A. Henzinger, Computer Science Research and Development 28 (2013) 331–344.
[Published Version] View | Files available | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 2290 | OA
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.) | WoS | PubMed | Europe PMC
 

2013 | Published | Conference Paper | IST-REx-ID: 2291 | OA
Cryptographically enforced RBAC
A. Ferrara, G. Fuchsbauer, B. Warinschi, in:, IEEE, 2013, pp. 115–129.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2013 | Published | Conference Paper | IST-REx-ID: 2293 | OA
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.) | WoS
 

2013 | Published | Conference Paper | IST-REx-ID: 2294 | OA
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.) | WoS
 

2013 | Published | Conference Paper | IST-REx-ID: 2295 | OA
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
 

2013 | Published | Journal Article | IST-REx-ID: 2297 | OA
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.) | WoS | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed