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.
5250 Publications
2013 |Published| Conference Paper | IST-REx-ID: 2238
Chatterjee K, Forejt V, Wojtczak D. Multi-objective discounted reward verification in graphs and MDPs. 2013;8312:228-242. doi:10.1007/978-3-642-45221-5_17
View
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2243 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Michaliszyn J, Otop J. Elementary modal logics over transitive structures. 2013;23:563-577. doi:10.4230/LIPIcs.CSL.2013.563
[Published Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2244 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Matoušek J, Sedgwick E, Tancer M, Wagner U. Untangling two systems of noncrossing curves. 2013;8242:472-483. doi:10.1007/978-3-319-03841-4_41
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Conference Paper | IST-REx-ID: 2259 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alwen JF, Krenn S, Pietrzak KZ, Wichs D. Learning with rounding, revisited: New reduction properties and applications. 2013;8042(1):57-74. doi:10.1007/978-3-642-40041-4_4
[Published Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2258 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kiltz E, Pietrzak KZ, Szegedy M. Digital signatures with minimal overhead from indifferentiable random invertible functions. 2013;8042:571-588. doi:10.1007/978-3-642-40041-4_31
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2256 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Danowski P, Goldfarb D, Schaffner V, Seidler W. Linked (Open) Data - Bibliographische Daten im Semantic Web. VÖB Mitteilungen. 2013;66(3/4):559-587.
[Published Version]
View
| Files available
2013 |Published| Conference Paper | IST-REx-ID: 2260 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bernhard D, Fuchsbauer G, Ghadafi E. Efficient signatures of knowledge and DAA in the standard model. 2013;7954:518-533. doi:10.1007/978-3-642-38980-1_33
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2013 |Published| 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. Neural development is dependent on the function of specificity protein 2 in cell cycle progression. Development. 2013;140(3):552-561. doi:10.1242/dev.085621
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 |Published| 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. Optimal Coalition Structures in Cooperative Graph Games. In: AAAI Press; 2013:81-87.
View
| Download None (ext.)
| arXiv
2013 |Published| Report | IST-REx-ID: 2273 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kolmogorov V. Reweighted Message Passing Revisited. IST Austria; 2013.
View
| Download (ext.)
2013 |Published| Journal Article | IST-REx-ID: 2278
Pérez Gómez R, Slovakova J, Rives Quinto N, Krejčí A, Carmena A. A serrate-notch-canoe complex mediates essential interactions between glia and neuroepithelial cells during Drosophila optic lobe development. Journal of Cell Science. 2013;126(21):4873-4884. doi:10.1242/jcs.125617
View
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2276 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gridchyn I, Kolmogorov V. Potts model, parametric maxflow and k-submodular functions. In: IEEE; 2013:2320-2327. doi:10.1109/ICCV.2013.288
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Journal Article | IST-REx-ID: 2280 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Uhler C, Wright S. Packing ellipsoids with overlap. SIAM Review. 2013;55(4):671-706. doi:10.1137/120872309
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Journal Article | IST-REx-ID: 2287 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pickup M, Barrett S. The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant. Ecology and Evolution. 2013;3(3):629-639. doi:10.1002/ece3.465
[Published Version]
View
| Files available
| DOI
2013 |Published| 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. Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly. Nature Cell Biology. 2013;15:1405-1414. doi:10.1038/ncb2869
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2013 |Published| Journal Article | IST-REx-ID: 2283
Pull C, Hughes W, Brown M. Tolerating an infection: an indirect benefit of co-founding queen associations in the ant Lasius niger . Naturwissenschaften. 2013;100(12):1125-1136. doi:10.1007/s00114-013-1115-5
View
| DOI
2013 |Published| 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. The force and effect of cell proliferation. EMBO Journal. 2013;32(21):2783-2784. doi:10.1038/emboj.2013.225
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 2289 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger TA. Quantitative reactive modeling and verification. Computer Science Research and Development. 2013;28(4):331-344. doi:10.1007/s00450-013-0251-7
[Published Version]
View
| Files available
| DOI
2013 |Published| 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, et al. ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation. PNAS. 2013;110(40):16259-16264. doi:10.1073/pnas.1309057110
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 |Published| 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. Drosophila Embryo Stage Annotation using Label Propagation. In: IEEE; 2013. doi:10.1109/ICCV.2013.139
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)