Please note that IST 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.
3144 Publications
2014 | Journal Article | IST-REx-ID: 1532
Yang H, Von Der Fecht Bartenbach J, Friml J, Lohmann J, Neuhäuser B, Ludewig U. Auxin-modulated root growth inhibition in Arabidopsis thaliana seedlings with ammonium as the sole nitrogen source. Functional Plant Biology. 2014;42(3):239-251. doi:10.1071/FP14171
View
| DOI
2014 | Journal Article | IST-REx-ID: 1629 |

Guerrero P, Jeschke S, Wimmer M, Wonka P. Edit propagation using geometric relationship functions. ACM Transactions on Graphics. 2014;33(2). doi:10.1145/2591010
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 1643 |

Fuchsbauer G. Constrained Verifiable Random Functions . In: Abdalla M, De Prisco R, eds. SCN 2014. Vol 8642. Springer; 2014:95-114. doi:10.1007/978-3-319-10879-7_7
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 3263 |

Tkačik G, Ghosh A, Schneidman E, Segev R. Adaptation to changes in higher-order stimulus statistics in the salamander retina. PLoS One. 2014;9(1). doi:10.1371/journal.pone.0085841
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2218 |

Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. Regression-free synthesis for concurrency. In: Vol 8559. Springer; 2014:568-584. doi:10.1007/978-3-319-08867-9_38
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 2159 |

Mabillard I, Wagner U. Eliminating Tverberg points, I. An analogue of the Whitney trick. In: Proceedings of the Annual Symposium on Computational Geometry. ACM; 2014:171-180. doi:10.1145/2582112.2582134
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2023 |

Novak S. Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution. Ecology and Evolution. 2014;4(24):4589-4597. doi:10.1002/ece3.1289
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1913 |

Milenković I, Petrov T, Kovács G. Patterns of hippocampal tau pathology differentiate neurodegenerative dementias. Dementia and Geriatric Cognitive Disorders. 2014;38(5-6):375-388. doi:10.1159/000365548
View
| DOI
| Download Published Version (ext.)
2014 | Journal Article | IST-REx-ID: 1999
Stroeymeyt N, Casillas Perez BE, Cremer S. Organisational immunity in social insects. Current Opinion in Insect Science. 2014;5(1):1-15. doi:10.1016/j.cois.2014.09.001
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2260 |

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
View
| DOI
| Download Submitted Version (ext.)
2013 | Journal Article | IST-REx-ID: 2264 |

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
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 2270 |

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 | Conference Paper | IST-REx-ID: 2272 |

Takhanov R, Kolmogorov V. Inference algorithms for pattern-based CRFs on sequence data. In: ICML’13 Proceedings of the 30th International Conference on International. Vol 28. International Machine Learning Society; 2013:145-153.
View
| Files available
| Download Submitted Version (ext.)
2013 | Report | IST-REx-ID: 2273 |

Kolmogorov V. Reweighted Message Passing Revisited. IST Austria; 2013.
View
| Download (ext.)
2013 | Report | IST-REx-ID: 2274 |

Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. Proofs of Space. IST Austria; 2013.
View
| Files available
2013 | Conference Paper | IST-REx-ID: 2276 |

Gridchyn I, Kolmogorov V. Potts model, parametric maxflow and k-submodular functions. In: IEEE; 2013:2320-2327. doi:10.1109/ICCV.2013.288
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2277 |

Simmons K, Prentice J, Tkačik G, et al. Transformation of stimulus correlations by the retina. PLoS Computational Biology. 2013;9(12). doi:10.1371/journal.pcbi.1003344
View
| Files available
| DOI
2013 | 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 | Conference Paper | IST-REx-ID: 2279 |

Chatterjee K, Doyen L, Randour M, Raskin J. Looking at mean-payoff and total-payoff through windows. 2013;8172:118-132. doi:10.1007/978-3-319-02444-8_10
View
| Files available
| DOI
| Download Preprint (ext.)
2013 | Journal Article | IST-REx-ID: 2280 |

Uhler C, Wright S. Packing ellipsoids with overlap. SIAM Review. 2013;55(4):671-706. doi:10.1137/120872309
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2282 |

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
View
| Files available
| DOI
| Download Submitted Version (ext.)
2013 | 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 | Journal Article | IST-REx-ID: 2284 |

Tragust S, Ugelvig LV, Chapuisat M, Heinze J, Cremer S. Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. BMC Evolutionary Biology. 2013;13(1). doi:10.1186/1471-2148-13-225
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2286 |

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
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2287 |

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
View
| Files available
| DOI
2013 | Conference (Editor) | IST-REx-ID: 2288
Gupta A, Henzinger TA, eds. Computational Methods in Systems Biology. Vol 8130. Springer; 2013. doi:10.1007/978-3-642-40708-6
View
| DOI
2013 | Journal Article | IST-REx-ID: 2289 |

Henzinger TA. Quantitative reactive modeling and verification. Computer Science Research and Development. 2013;28(4):331-344. doi:10.1007/s00450-013-0251-7
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2290 |

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
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 2291 |

Ferrara A, Fuchsbauer G, Warinschi B. Cryptographically enforced RBAC. In: IEEE; 2013:115-129. doi:10.1109/CSF.2013.15
View
| DOI
| Download Submitted Version (ext.)
2013 | Conference (Editor) | IST-REx-ID: 2292
Chatterjee K, Sgall J, eds. Mathematical Foundations of Computer Science 2013. Vol 8087. Springer; 2013:VI-854. doi:10.1007/978-3-642-40313-2
View
| DOI
2013 | Conference Paper | IST-REx-ID: 2293 |

Sharmanska V, Quadrianto N, Lampert C. Learning to rank using privileged information. In: IEEE; 2013:825-832. doi:10.1109/ICCV.2013.107
View
| DOI
| Download Submitted Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2294 |

Kazmar T, Kvon E, Stark A, Lampert C. Drosophila Embryo Stage Annotation using Label Propagation. In: IEEE; 2013. doi:10.1109/ICCV.2013.139
View
| DOI
| Download Submitted Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2295 |

Chatterjee K, Chmelik M, Tracol M. What is decidable about partially observable Markov decision processes with omega-regular objectives. 2013;23:165-180. doi:10.4230/LIPIcs.CSL.2013.165
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2297 |

Seiringer R. Hot topics in cold gases: A mathematical physics perspective. Japanese Journal of Mathematics. 2013;8(2):185-232. doi:10.1007/s11537-013-1264-5
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2298 |

Dragoi C, Enea C, Sighireanu M. Local shape analysis for overlaid data structures. In: Vol 7935. Springer; 2013:150-171. doi:10.1007/978-3-642-38856-9_10
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2299 |

Godhal Y, Chatterjee K, Henzinger TA. Synthesis of AMBA AHB from formal specification: A case study. International Journal on Software Tools for Technology Transfer. 2013;15(5-6):585-601. doi:10.1007/s10009-011-0207-9
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2300 |

Giuliani A, Lieb É, Seiringer R. Realization of stripes and slabs in two and three dimensions. Physical Review B. 2013;88(6). doi:10.1103/PhysRevB.88.064401
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2301
Desai A, Gupta V, Jackson E, Qadeer S, Rajamani S, Zufferey D. P: Safe asynchronous event-driven programming. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM; 2013:321-331. doi:10.1145/2491956.2462184
View
| DOI
| Download None (ext.)
2013 | Journal Article | IST-REx-ID: 2303
Hippenmeyer S. Dissection of gene function at clonal level using mosaic analysis with double markers. Frontiers in Biology. 2013;8(6):557-568. doi:10.1007/s11515-013-1279-6
View
| DOI
2013 | Journal Article | IST-REx-ID: 2304
Pausinger F. Van der Corput sequences and linear permutations. Electronic Notes in Discrete Mathematics. 2013;43:43-50. doi:10.1016/j.endm.2013.07.008
View
| DOI
2013 | Conference Paper | IST-REx-ID: 2305 |

Brázdil T, Chatterjee K, Forejt V, Kučera A. Trading performance for stability in Markov decision processes. In: 28th Annual ACM/IEEE Symposium. IEEE; 2013:331-340. doi:10.1109/LICS.2013.39
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Book | IST-REx-ID: 2306 |

Danowski P, Pohl A. (Open) Linked Data in Bibliotheken. Vol 50. De Gruyter; 2013. doi:10.1515/9783110278736
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2327 |

Henzinger TA, Otop J. From model checking to model measuring. 2013;8052:273-287. doi:10.1007/978-3-642-40184-8_20
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2328 |

Henzinger TA, Sezgin A, Vafeiadis V. Aspect-oriented linearizability proofs. 2013;8052:242-256. doi:10.1007/978-3-642-40184-8_18
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2329 |

Chatterjee K, Velner Y. Hyperplane separation technique for multidimensional mean-payoff games. 2013;8052:500-515. doi:10.1007/978-3-642-40184-8_35
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2410 |

Fernandes Redondo RA, Kupczok A, Stift G, Bollback JP. Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis. Genome Announcements. 2013;1(3). doi:10.1128/genomeA.00216-13
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2412 |

Kupczok A, Bollback JP. Probabilistic models for CRISPR spacer content evolution . BMC Evolutionary Biology. 2013;13(1):54-54. doi:10.1186/1471-2148-13-54
View
| Files available
| DOI
2013 | Book Chapter | IST-REx-ID: 2413
Valderrama M, Botella Soler V, Le Van Quyen M. Neuronal oscillations scale up and scale down the brain dynamics . In: Meyer M, Pesenson Z, eds. Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain. Wiley-VCH; 2013. doi:10.1002/9783527671632.ch08
View
| DOI
2013 | Journal Article | IST-REx-ID: 2443
Simon S, Kubeš M, Baster P, et al. Defining the selectivity of processes along the auxin response chain: A study using auxin analogues. New Phytologist. 2013;200(4):1034-1048. doi:10.1111/nph.12437
View
| DOI
2013 | Conference Paper | IST-REx-ID: 2444 |

Chatterjee K, Ła̧Cki J. Faster algorithms for Markov decision processes with low treewidth. 2013;8044:543-558. doi:10.1007/978-3-642-39799-8_36
View
| DOI
| Download Preprint (ext.)
| arXiv