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.
5017 Publications
2013 | Journal Article | IST-REx-ID: 2264 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Liang H, Xiao G, Yin H, Hippenmeyer S, Horowitz J, Ghashghaei T. 2013. Neural development is dependent on the function of specificity protein 2 in cell cycle progression. Development. 140(3), 552–561.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 2270 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bachrach Y, Kohli P, Kolmogorov V, Zadimoghaddam M. 2013. Optimal Coalition Structures in Cooperative Graph Games. AAAI: Conference on Artificial Intelligence, 81–87.
View
| Download None (ext.)
| arXiv
2013 | Report | IST-REx-ID: 2273 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kolmogorov V. 2013. Reweighted message passing revisited, IST Austria,p.
View
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2278
Pérez Gómez R, Slovakova J, Rives Quinto N, Krejčí A, Carmena A. 2013. A serrate-notch-canoe complex mediates essential interactions between glia and neuroepithelial cells during Drosophila optic lobe development. Journal of Cell Science. 126(21), 4873–4884.
View
| DOI
2013 | Conference Paper | IST-REx-ID: 2276 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gridchyn I, Kolmogorov V. 2013. Potts model, parametric maxflow and k-submodular functions. ICCV: International Conference on Computer Vision, 2320–2327.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2280 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Uhler C, Wright S. 2013. Packing ellipsoids with overlap. SIAM Review. 55(4), 671–706.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2287 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pickup M, Barrett S. 2013. The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant. Ecology and Evolution. 3(3), 629–639.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2282 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Campinho P, Behrndt M, Ranft J, Risler T, Minc N, Heisenberg C-PJ. 2013. Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly. Nature Cell Biology. 15, 1405–1414.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2013 | Journal Article | IST-REx-ID: 2286 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Campinho P, Heisenberg C-PJ. 2013. The force and effect of cell proliferation. EMBO Journal. 32(21), 2783–2784.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2289 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger TA. 2013. Quantitative reactive modeling and verification. Computer Science Research and Development. 28(4), 331–344.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2290 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Boutté Y, Jonsson K, Mcfarlane H, Johnson E, Gendre D, Swarup R, Friml J, Samuels L, Robert S, Bhalerao R. 2013. ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation. PNAS. 110(40), 16259–16264.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 2294 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kazmar T, Kvon E, Stark A, Lampert C. 2013. Drosophila Embryo Stage Annotation using Label Propagation. ICCV: International Conference on Computer Vision.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2293 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sharmanska V, Quadrianto N, Lampert C. 2013. Learning to rank using privileged information. ICCV: International Conference on Computer Vision, 825–832.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2291 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ferrara A, Fuchsbauer G, Warinschi B. 2013. Cryptographically enforced RBAC. CSF: Computer Security Foundations, 115–129.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2298 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dragoi C, Enea C, Sighireanu M. 2013. Local shape analysis for overlaid data structures. SAS: Static Analysis Symposium, LNCS, vol. 7935, 150–171.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2299 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Godhal Y, Chatterjee K, Henzinger TA. 2013. Synthesis of AMBA AHB from formal specification: A case study. International Journal on Software Tools for Technology Transfer. 15(5–6), 585–601.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2297 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Seiringer R. 2013. Hot topics in cold gases: A mathematical physics perspective. Japanese Journal of Mathematics. 8(2), 185–232.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv