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.
6585 Publications
2011 |
Published |
Journal Article |
IST-REx-ID: 3405 |
Janovjak HL, Sandoz G, Isacoff E. Modern ionotropic glutamate receptor with a K+ selectivity signature sequence. Nature Communications. 2011;2(232):1-6. doi:10.1038/ncomms1231
[Submitted Version]
View
| Files available
| DOI
| WoS
2011 |
Published |
Journal Article |
IST-REx-ID: 3429
Plachta N, Bollenbach MT, Pease S, Fraser S, Pantazis P. Oct4 kinetics predict cell lineage patterning in the early mammalian embryo. Nature Cell Biology. 2011;13(2):117-123. doi:10.1038/ncb2154
View
| DOI
| WoS
2011 |
Published |
Journal Article |
IST-REx-ID: 3505 |
Sixt MK, Lämmermann T. In vitro analysis of chemotactic leukocyte migration in 3D environments. Cell Migration. 2011;769:149-165. doi:10.1007/978-1-61779-207-6_11
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 |
Published |
Journal Article |
IST-REx-ID: 3771
Pavan A, Martins F, Santos F, Ditchfield A, Fernandes Redondo RA. Patterns of diversification in two species of short-tailed bats (Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests. Biological Journal of the Linnean Society. 2011;102(3):527-539. doi:10.1111/j.1095-8312.2010.01601.x
View
| DOI
| WoS
2011 |
Published |
Journal Article |
IST-REx-ID: 3778 |
Barton NH. Estimating linkage disequilibria. Heredity. 2011;106(2):205-206. doi:10.1038/hdy.2010.67
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2011 |
Published |
Journal Article |
IST-REx-ID: 3784 |
Palero F, Guerao G, Clark P, Abello P. Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description. Journal of the Marine Biological Association of the United Kingdom. 2011;91(2):485-492. doi:10.1017/S0025315410000287
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2011 |
Published |
Book Chapter |
IST-REx-ID: 3791
Krens G, Heisenberg C-PJ. Cell sorting in development. In: Labouesse M, ed. Forces and Tension in Development. Vol 95. Elsevier; 2011:189-213. doi:10.1016/B978-0-12-385065-2.00006-2
View
| DOI
| WoS
2011 |
Published |
Book Chapter |
IST-REx-ID: 3796 |
Edelsbrunner H, Kerber M. Covering and packing with spheres by diagonal distortion in R^n. In: Calude C, Rozenberg G, Salomaa A, eds. Rainbow of Computer Science. Vol 6570. Dedicated to Hermann Maurer on the Occasion of His 70th Birthday. Springer; 2011:20-35. doi:10.1007/978-3-642-19391-0_2
[Submitted Version]
View
| Files available
| DOI
2011 |
Published |
Journal Article |
IST-REx-ID: 3965
Wang B, Edelsbrunner H, Morozov D. Computing elevation maxima by searching the Gauss sphere. Journal of Experimental Algorithmics. 2011;16(2.2):1-13. doi:10.1145/1963190.1970375
View
| DOI
2011 |
Published |
Journal Article |
IST-REx-ID: 3315 |
Chatterjee K, Henzinger TA, Prabhu V. Timed parity games: Complexity and robustness. Logical Methods in Computer Science. 2011;7(4). doi:10.2168/LMCS-7(4:8)2011
[Published Version]
View
| Files available
| DOI
2011 |
Published |
Conference Paper |
IST-REx-ID: 3302 |
Henzinger TA, Singh A, Singh V, Wies T, Zufferey D. Static scheduling in clouds. In: 3rd USENIX Workshop on Hot Topics in Cloud Computing. Usenix Association; 2011:1-6.
[Submitted Version]
View
| Files available
earlier version | 2011 |
Published |
Conference Paper |
IST-REx-ID: 3356 |
Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal specifications with accumulative values. In: IEEE; 2011. doi:10.1109/LICS.2011.33
[Submitted Version]
View
| Files available
| DOI
| WoS
earlier version | 2011 |
Published |
Technical Report |
IST-REx-ID: 5385 |
Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal Specifications with Accumulative Values. IST Austria; 2011. doi:10.15479/AT:IST-2011-0003
[Published Version]
View
| Files available
| DOI
earlier version | 2011 |
Published |
Technical Report |
IST-REx-ID: 5381 |
Chatterjee K, Doyen L. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria; 2011. doi:10.15479/AT:IST-2011-0007
[Published Version]
View
| Files available
| DOI
2011 |
Published |
Journal Article |
IST-REx-ID: 3353 |
Tripakis S, Lickly B, Henzinger TA, Lee E. A theory of synchronous relational interfaces. ACM Transactions on Programming Languages and Systems. 2011;33(4). doi:10.1145/1985342.1985345
[Submitted Version]
View
| Files available
| DOI
| WoS
earlier version | 2011 |
Published |
Journal Article |
IST-REx-ID: 3354
Chatterjee K, De Alfaro L, Henzinger TA. Qualitative concurrent parity games. ACM Transactions on Computational Logic. 2011;12(4). doi:10.1145/1970398.1970404
View
| Files available
| DOI
| WoS
2011 |
Published |
Journal Article |
IST-REx-ID: 3396 |
Stockinger P, Heisenberg C-PJ, Maître J-L. Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube. Development. 2011;138(21):4673-4683. doi:10.1242/dev.071233
[Published Version]
View
| Files available
| DOI
| WoS
2011 |
Published |
Journal Article |
IST-REx-ID: 3379 |
Row R, Maître J-L, Martin B, Stockinger P, Heisenberg C-PJ, Kimelman D. Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail. Developmental Biology. 2011;354(1):102-110. doi:10.1016/j.ydbio.2011.03.025
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2011 |
Published |
Journal Article |
IST-REx-ID: 3781
Fasy BT. The difference in length of curves in R^n. Acta Scientiarum Mathematicarum. 2011;77(1-2):359-367. doi:10.1007/BF03651375
View
| DOI
2011 |
Published |
Conference Abstract |
IST-REx-ID: 3383 |
Heisenberg C-PJ. Invited Lectures ‐ Symposia Area. In: The FEBS Journal. Vol 278. Wiley; 2011:24-24. doi:10.1111/j.1742-4658.2011.08136.x
[Published Version]
View
| DOI
| Download Published Version (ext.)