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.

2973 Publications


2011 | Conference Paper | IST-REx-ID: 3348 | OA
Chatterjee, Krishnendu, and Vinayak Prabhu. Synthesis of Memory Efficient Real Time Controllers for Safety Objectives. Springer, 2011, pp. 221–30, doi:10.1145/1967701.1967734.
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3349 | OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. A Reduction from Parity Games to Simple Stochastic Games. Vol. 54, EPTCS, 2011, pp. 74–86, doi:10.4204/EPTCS.54.6.
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3350
Chatterjee, Krishnendu, and Ritankar Majumdar. Minimum Attention Controller Synthesis for Omega Regular Objectives. Edited by Uli Fahrenberg and Stavros Tripakis, vol. 6919, Springer, 2011, pp. 145–59, doi:10.1007/978-3-642-24310-3_11.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3351 | OA
Chatterjee, Krishnendu, et al. On Memoryless Quantitative Objectives. Edited by Olaf Owe et al., vol. 6914, Springer, 2011, pp. 148–59, doi:10.1007/978-3-642-22953-4_13.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3352
Fisher, Jasmin, et al. “Biology as Reactivity.” Communications of the ACM, vol. 54, no. 10, ACM, 2011, pp. 72–82, doi:10.1145/2001269.2001289.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3353 | OA
Tripakis, Stavros, et al. “A Theory of Synchronous Relational Interfaces.” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 33, no. 4, 14, ACM, 2011, doi:10.1145/1985342.1985345.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3354
Chatterjee, Krishnendu, et al. “Qualitative Concurrent Parity Games.” ACM Transactions on Computational Logic (TOCL), vol. 12, no. 4, 28, ACM, 2011, doi:10.1145/1970398.1970404.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3355 | OA
Halalai, Raluca, et al. Quantitative Evaluation of BFT Protocols. IEEE, 2011, pp. 255–64, doi:10.1109/QEST.2011.40.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3356 | OA
Boker, Udi, et al. Temporal Specifications with Accumulative Values. 5970226, IEEE, 2011, doi:10.1109/LICS.2011.33.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3357
Chatterjee, Krishnendu, et al. The Complexity of Request-Response Games. Edited by Adrian-Horia Dediu et al., vol. 6638, Springer, 2011, pp. 227–37, doi:10.1007/978-3-642-21254-3_17.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3358 | OA
Henzinger, Thomas A., et al. Scheduling Large Jobs by Abstraction Refinement. ACM, 2011, pp. 329–42, doi:10.1145/1966445.1966476.
View | DOI | Download Published Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3359
Cerny, Pavol, and Thomas A. Henzinger. From Boolean to Quantitative Synthesis. ACM, 2011, pp. 149–54, doi:10.1145/2038642.2038666.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3360 | OA
Boker, Udi, and Thomas A. Henzinger. Determinizing Discounted-Sum Automata. Vol. 12, Springer, 2011, pp. 82–96, doi:10.4230/LIPIcs.CSL.2011.82.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3361 | OA
Cerny, Pavol, et al. The Complexity of Quantitative Information Flow Problems. IEEE, 2011, pp. 205–17, doi:10.1109/CSF.2011.21.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3362 | OA
Fisher, Jasmin, et al. Dynamic Reactive Modules. Vol. 6901, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 404–18, doi:10.1007/978-3-642-23217-6_27.
View | Files available | DOI
 

2011 | Preprint | IST-REx-ID: 3363 | OA
Chatterjee, Krishnendu, et al. The Decidability Frontier for Probabilistic Automata on Infinite Words. ArXiv.
View | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 3364 | OA
Didier, Frédéric, et al. “Approximation of Event Probabilities in Noisy Cellular Processes.” Theoretical Computer Science, vol. 412, no. 21, Elsevier, 2011, pp. 2128–41, doi:10.1016/j.tcs.2010.10.022.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3365 | OA
Chatterjee, Krishnendu, et al. QUASY: Quantitative Synthesis Tool. Vol. 6605, Springer, 2011, pp. 267–71, doi:10.1007/978-3-642-19835-9_24.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3366 | OA
Cerny, Pavol, et al. Quantitative Synthesis for Concurrent Programs. Edited by Ganesh Gopalakrishnan and Shaz Qadeer, vol. 6806, Springer, 2011, pp. 243–59, doi:10.1007/978-3-642-22110-1_20.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3367
Chen, Chao, and Michael Kerber. An Output Sensitive Algorithm for Persistent Homology. ACM, 2011, pp. 207–16, doi:10.1145/1998196.1998228.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3368 | OA
Krens, Gabriel, et al. “Enveloping Cell Layer Differentiation at the Surface of Zebrafish Germ Layer Tissue Explants.” PNAS, vol. 108, no. 3, National Academy of Sciences, 2011, pp. E9–10, doi:10.1073/pnas.1010767108.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3369
Pernia-Andrade, Alejandro, and Peter M. Jonas. “The Multiple Faces of RIM.” Neuron, vol. 69, no. 2, Elsevier, 2011, pp. 185–87, doi:10.1016/j.neuron.2011.01.010.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3370 | OA
Kupczok, Anne. “Consequences of Different Null Models on the Tree Shape Bias of Supertree Methods.” Systematic Biology, vol. 60, no. 2, Oxford University Press, 2011, pp. 218–25, doi:10.1093/sysbio/syq086.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3371 | OA
Sixt, Michael K., and Carole Parent. “Cells on the Move in Philadelphia.” Molecular Biology and Evolution, vol. 22, no. 6, Oxford University Press, 2011, p. 724, doi:10.1091/mbc.E10-12-0958.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3372 | OA
Abbot, Patrick, et al. “Inclusive Fitness Theory and Eusociality.” Nature, vol. 471, no. 7339, Nature Publishing Group, 2011, pp. E1–4, doi:10.1038/nature09831.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3373 | OA
Jahnel, Marcus, et al. “Measuring the Complete Force Field of an Optical Trap.” Optics Letters, vol. 36, no. 7, OSA, 2011, pp. 1260–62, doi:10.1364/OL.36.001260.
View | Files available | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3374 | OA
Tkacik, Gasper, and Aleksandra Walczak. “Information Transmission in Genetic Regulatory Networks a Review.” Journal of Physics: Condensed Matter, vol. 23, no. 15, 153102, IOP Publishing Ltd., 2011, doi:10.1088/0953-8984/23/15/153102.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3375 | OA
de Vladar, Harold, and Nicholas 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 of London, 2011, pp. 720–39, doi:10.1098/rsif.2010.0438.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3376 | OA
Bollenbach, Mark Tobias, and Roy Kishony. “Resolution of Gene Regulatory Conflicts Caused by Combinations of Antibiotics.” Molecular Cell, vol. 42, no. 4, Cell Press, 2011, pp. 413–25, doi:10.1016/j.molcel.2011.04.016.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3377 | OA
Edelsbrunner, Herbert, et al. “Quantifying Transversality by Measuring the Robustness of Intersections.” Foundations of Computational Mathematics, vol. 11, no. 3, Springer, 2011, pp. 345–61, doi:10.1007/s10208-011-9090-8.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3378
Bendich, Paul, and John Harer. “Persistent Intersection Homology.” Foundations of Computational Mathematics, vol. 11, no. 3, Springer, 2011, pp. 305–36, doi:10.1007/s10208-010-9081-1.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3379 | OA
Row, Richard, et al. “Completion of the Epithelial to Mesenchymal Transition in Zebrafish Mesoderm Requires Spadetail.” Developmental Biology, vol. 354, no. 1, Elsevier, 2011, pp. 102–10, doi:10.1016/j.ydbio.2011.03.025.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3380 | OA
Logeswaran, Sayanthan, and Nicholas H. Barton. “Mapping Mendelian Traits in Asexual Progeny Using Changes in Marker Allele Frequency.” Genetical Research, vol. 93, no. 3, Cambridge University Press, 2011, pp. 221–32, doi:10.1017/S0016672311000115.
View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3381 | OA
Henzinger, Thomas A., et al. “Formalisms for Specifying Markovian Population Models.” IJFCS: International Journal of Foundations of Computer Science, vol. 22, no. 4, World Scientific Publishing, 2011, pp. 823–41, doi:10.1142/S0129054111008441.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3382
Kroemer, Oliver, et al. “Learning Dynamic Tactile Sensing with Robust Vision Based Training.” IEEE Transactions on Robotics, vol. 27, no. 3, IEEE, 2011, pp. 545–57, doi:10.1109/TRO.2011.2121130.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3383
Heisenberg, Carl-Philipp J. “Invited Lectures ‐ Symposia Area.” FEBS Journal, vol. 278, no. S1, Wiley-Blackwell, 2011, pp. 24–24, doi:10.1111/j.1742-4658.2011.08136.x.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3384 | OA
Tkačik, Gašper, et al. “Natural Images from the Birthplace of the Human Eye.” PLoS One, vol. 6, no. 6, e20409, Public Library of Science, 2011, doi:10.1371/journal.pone.0020409.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3385
Sixt, Michael K. “Interstitial Locomotion of Leukocytes.” Immunology Letters, vol. 138, no. 1, Elsevier, 2011, pp. 32–34, doi:10.1016/j.imlet.2011.02.013.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3386
Schrempf, Alexandra, et al. “Social Influence on Age and Reproduction Reduced Lifespan and Fecundity in Multi Queen Ant Colonies.” Journal of Evolutionary Biology, vol. 24, no. 7, Wiley-Blackwell, 2011, pp. 1455–61, doi:10.1111/j.1420-9101.2011.02278.x.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3387 | OA
Kupczok, Anne. “Split Based Computation of Majority Rule Supertrees.” BMC Evolutionary Biology, vol. 11, no. 205, 205, BioMed Central, 2011, doi:10.1186/1471-2148-11-205.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3388 | OA
Ugelvig, Line V., et al. “Reconstructing Eight Decades of Genetic Variation in an Isolated Danish Population of the Large Blue Butterfly Maculinea Arion.” BMC Evolutionary Biology, vol. 11, no. 201, 201, BioMed Central, 2011, doi:10.1186/1471-2148-11-201.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3389
Blaschko, Matthew, et al. “Semi Supervised Kernel Canonical Correlation Analysis with Application to Human FMRI.” Pattern Recognition Letters, vol. 32, no. 11, Elsevier, 2011, pp. 1572–83, doi:10.1016/j.patrec.2011.02.011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3390 | OA
Barton, Nicholas H., and Alison Etheridge. “The Relation between Reproductive Value and Genetic Contribution.” Genetics, vol. 188, no. 4, Genetics Society of America, 2011, pp. 953–73, doi:10.1534/genetics.111.127555.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3391 | OA
de Vladar, Harold, and Nicholas H. Barton. “The Contribution of Statistical Physics to Evolutionary Biology.” Trends in Ecology and Evolution, vol. 26, no. 8, Cell Press, 2011, pp. 424–32, doi:10.1016/j.tree.2011.04.002.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3392
Soriano, Silvia, et al. “In Vivo Analysis of Uropod Function during Physiological T Cell Trafficking.” Journal of Immunology, vol. 187, no. 5, American Association of Immunologists, 2011, pp. 2356–64, doi:10.4049/jimmunol.1100935.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3393 | OA
Barton, Nicholas H., and Michael 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, 2011, pp. E48–75, doi:10.1086/661246.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3394 | OA
Polechova, Jitka, and Nicholas H. Barton. “Genetic Drift Widens the Expected Cline but Narrows the Expected Cline Width.” Genetics, vol. 189, no. 1, Genetics Society of America, 2011, pp. 227–35, doi:10.1534/genetics.111.129817.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3395
Palero, Ferran, et al. “Effect of Oceanographic Barriers and Overfishing on the Population Genetic Structure of the European Spiny Lobster Palinurus Elephas .” Biological Journal of the Linnean Society, vol. 104, no. 2, Wiley-Blackwell, 2011, pp. 407–18, doi:10.1111/j.1095-8312.2011.01728.x.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3396 | OA
Stockinger, Petra, et al. “Defective Neuroepithelial Cell Cohesion Affects Tangential Branchiomotor Neuron Migration in the Zebrafish Neural Tube.” Development, vol. 138, no. 21, Company of Biologists, 2011, pp. 4673–83, doi:10.1242/dev.071233.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3397 | OA
Maître, Jean-Léon, and Carl-Philipp J. Heisenberg. “The Role of Adhesion Energy in Controlling Cell-Cell Contacts.” Current Opinion in Cell Biology, vol. 23, no. 5, Elsevier, 2011, pp. 508–14, doi:10.1016/j.ceb.2011.07.004.
View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications