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.




6824 Publications

earlier version | 2011 | Published | Technical Report | IST-REx-ID: 5385 | OA
U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, Temporal specifications with accumulative values. IST Austria, 2011.
[Published Version] View | Files available | DOI
 
earlier version | 2011 | Published | Technical Report | IST-REx-ID: 5381 | OA
K. Chatterjee and L. Doyen, Partial-observation stochastic games: How to win when belief fails. IST Austria, 2011.
[Published Version] View | Files available | DOI
 
2011 | Published | Journal Article | IST-REx-ID: 3353 | OA
S. Tripakis, B. Lickly, T. A. Henzinger, and E. Lee, “A theory of synchronous relational interfaces,” ACM Transactions on Programming Languages and Systems, vol. 33, no. 4. ACM, 2011.
[Submitted Version] View | Files available | DOI | WoS
 
earlier version | 2011 | Published | Journal Article | IST-REx-ID: 3354
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Qualitative concurrent parity games,” ACM Transactions on Computational Logic, vol. 12, no. 4. ACM, 2011.
View | Files available | DOI | WoS
 
2011 | Published | Journal Article | IST-REx-ID: 3396 | OA
P. Stockinger, C.-P. J. Heisenberg, and J.-L. Maître, “Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube,” Development, vol. 138, no. 21. Company of Biologists, pp. 4673–4683, 2011.
[Published Version] View | Files available | DOI | WoS
 
2011 | Published | Journal Article | IST-REx-ID: 3379 | OA
R. Row, J.-L. Maître, B. Martin, P. Stockinger, C.-P. J. Heisenberg, and D. Kimelman, “Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail,” Developmental Biology, vol. 354, no. 1. Elsevier, pp. 102–110, 2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2011 | Published | Journal Article | IST-REx-ID: 3781
B. T. Fasy, “The difference in length of curves in R^n,” Acta Scientiarum Mathematicarum, vol. 77, no. 1–2. Springer Nature, pp. 359–367, 2011.
View | DOI
 
2011 | Published | Conference Abstract | IST-REx-ID: 3383 | OA
C.-P. J. Heisenberg, “Invited Lectures ‐ Symposia Area,” in The FEBS Journal, Torino, Italy, 2011, vol. 278, no. S1, pp. 24–24.
[Published Version] View | DOI | Download Published Version (ext.)
 
2011 | Published | Journal Article | IST-REx-ID: 3368 | OA
G. Krens, S. Möllmert, and C.-P. J. Heisenberg, “Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants,” PNAS, vol. 108, no. 3. National Academy of Sciences, pp. E9–E10, 2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2011 | Published | Journal Article | IST-REx-ID: 3373 | OA
M. Jahnel, M. Behrndt, A. Jannasch, E. Schaeffer, and S. Grill, “Measuring the complete force field of an optical trap,” Optics Letters, vol. 36, no. 7. Optica Publishing Group, pp. 1260–1262, 2011.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
2011 | Published | Journal Article | IST-REx-ID: 3393 | OA
N. H. Barton and M. Turelli, “Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects,” American Naturalist, vol. 178, no. 3. University of Chicago Press, pp. E48–E75, 2011.
[Submitted Version] View | Files available | DOI | WoS
 
2011 | Published | Journal Article | IST-REx-ID: 3375 | OA
H. de Vladar and N. H. Barton, “The statistical mechanics of a polygenic character under stabilizing selection mutation and drift,” Journal of the Royal Society Interface, vol. 8, no. 58. Royal Society, pp. 720–739, 2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2010 | Published | Conference Paper | IST-REx-ID: 10908 | OA
R. Blanc, T. A. Henzinger, T. Hottelier, and L. Kovács, “ABC: Algebraic Bound Computation for loops,” in Logic for Programming, Artificial Intelligence, and Reasoning, Dakar, Senegal, 2010, vol. 6355, pp. 103–118.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
earlier version | 2010 | Published | Conference Paper | IST-REx-ID: 10909
C. Chen and D. Freedman, “Hardness results for homology localization,” in Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, Austin, TX, United States, 2010, pp. 1594–1604.
View | Files available | DOI
 
2010 | Published | Journal Article | IST-REx-ID: 2409 | OA
A. Kupczok, H. Schmidt, and A. Von Haeseler, “Accuracy of phylogeny reconstruction methods combining overlapping gene data sets,” Algorithms for Molecular Biology, vol. 5, no. 1. BioMed Central, 2010.
[Published Version] View | Files available | DOI | WoS
 
2010 | Published | Journal Article | IST-REx-ID: 12199
X. Feng and H. G. Dickinson, “Tapetal cell fate, lineage and proliferation in the Arabidopsis anther,” Development, vol. 137, no. 14. The Company of Biologists, pp. 2409–2416, 2010.
View | DOI | PubMed | Europe PMC
 
2010 | Published | Journal Article | IST-REx-ID: 12200
X. Feng and H. G. Dickinson, “Cell–cell interactions during patterning of the Arabidopsis anther,” Biochemical Society Transactions, vol. 38, no. 2. Portland Press Ltd., pp. 571–576, 2010.
View | DOI | PubMed | Europe PMC
 
2010 | Published | Book Chapter | IST-REx-ID: 14983
A. Schlögl, C. Vidaurre, and K.-R. Müller, “Adaptive Methods in BCI Research - An Introductory Tutorial,” in Brain-Computer Interfaces, 1st ed., B. Graimann, G. Pfurtscheller, and B. Allison, Eds. Berlin, Heidelberg: Springer, 2010, pp. 331–355.
View | DOI
 
2010 | Published | Conference Paper | IST-REx-ID: 4361 | OA
T. Wies, D. Zufferey, and T. A. Henzinger, “Forward analysis of depth-bounded processes,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus, 2010, vol. 6014, pp. 94–108.
[Submitted Version] View | Files available | DOI
 
2010 | Published | Conference Paper | IST-REx-ID: 4362
V. Singh, “Runtime verification for software transactional memories,” presented at the RV: International Conference on Runtime Verification, St. Julians, Malta, 2010, vol. 6418, pp. 421–435.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed