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.

2601 Publications


2011 | Journal Article | IST-REx-ID: 3386
Schrempf, A., Cremer, S., & Heinze, J. (2011). Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies. Journal of Evolutionary Biology, 24(7), 1455–1461. https://doi.org/10.1111/j.1420-9101.2011.02278.x
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3393   OA
Barton, N. H., & Turelli, M. (2011). Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects. American Naturalist, 178(3), E48–E75. https://doi.org/10.1086/661246
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3374   OA
Tkacik, G., & Walczak, A. (2011). Information transmission in genetic regulatory networks a review. Journal of Physics: Condensed Matter, 23(15). https://doi.org/10.1088/0953-8984/23/15/153102
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3379   OA
Row, R., Maître, J.-L., Martin, B., Stockinger, P., Heisenberg, C.-P. J., & Kimelman, D. (2011). Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail. Developmental Biology, 354(1), 102–110. https://doi.org/10.1016/j.ydbio.2011.03.025
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3381
Henzinger, T. A., Jobstmann, B., & Wolf, V. (2011). Formalisms for specifying Markovian population models. IJFCS: International Journal of Foundations of Computer Science, 22(4), 823–841. https://doi.org/10.1142/S0129054111008441
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3336
Chen, C., Freedman, D., & Lampert, C. (2011). Enforcing topological constraints in random field image segmentation. In CVPR: Computer Vision and Pattern Recognition (pp. 2089–2096). Colorado Springs, CO, USA: IEEE. https://doi.org/10.1109/CVPR.2011.5995503
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3348   OA
Chatterjee, K., & Prabhu, V. (2011). Synthesis of memory efficient real time controllers for safety objectives (pp. 221–230). Presented at the HSCC: Hybrid Systems - Computation and Control, Chicago, USA: Springer. https://doi.org/10.1145/1967701.1967734
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3350
Chatterjee, K., & Majumdar, R. (2011). Minimum attention controller synthesis for omega regular objectives. In U. Fahrenberg & S. Tripakis (Eds.) (Vol. 6919, pp. 145–159). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Aalborg, Denmark: Springer. https://doi.org/10.1007/978-3-642-24310-3_11
View | DOI
 

2011 | Technical Report | IST-REx-ID: 5382
Chatterjee, K. (2011). Robustness of structurally equivalent concurrent parity games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0006
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5387
Chatterjee, K., & Doyen, L. (2011). Energy and mean-payoff parity Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2011-0001
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed