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.

2492 Publications


2012 | Journal Article | IST-REx-ID: 3262   OA
G. Tkacik, A. Walczak, and W. Bialek, “Optimizing information flow in small genetic networks. III. A self-interacting gene,” Physical Review E statistical nonlinear and soft matter physics , vol. 85, no. 4, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3274
G. Rieckh, W. Kreuzer, H. Waubke, and P. Balazs, “A 2.5D-Fourier-BEM model for vibrations in a tunnel running through layered anisotropic soil,” Engineering Analysis with Boundary Elements, vol. 36, no. 6, pp. 960–967, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3279
A. Jain, K. Z. Pietrzak, and A. Tentes, “Hardness preserving constructions of pseudorandom functions,” presented at the TCC: Theory of Cryptography Conference, Taormina, Sicily, Italy, 2012, vol. 7194, pp. 369–382.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3281
K. Z. Pietrzak, A. Rosen, and G. Segev, “Lossy functions do not amplify well,” presented at the TCC: Theory of Cryptography Conference, Taormina, Sicily, Italy, 2012, vol. 7194, pp. 458–475.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 495   OA
A. Kruckman, S. Rubin, J. Sheridan, and B. Zax, “A Myhill Nerode theorem for automata with advice,” in Proceedings GandALF 2012, Napoli, Italy, 2012, vol. 96, pp. 238–246.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 6588   OA
F. Pausinger, “Elementary solutions of the bernstein problem on two intervals,” Journal of Mathematical Physics, Analysis, Geometry, vol. 8, no. 1, pp. 63–78, 2012.
View | Download (ext.) | WoS
 

2011 | Conference Paper | IST-REx-ID: 3270
C. Chen and M. Kerber, “Persistent homology computation with a twist,” presented at the EuroCG: European Workshop on Computational Geometry, Morschach, Switzerland, 2011, pp. 197–200.
View
 

2011 | Thesis | IST-REx-ID: 3275
K. Schumann, The role of chemotactic gradients in dendritic cell migration. IST Austria, 2011.
View | Files available
 

2011 | Journal Article | IST-REx-ID: 3287
V. Ruprecht, M. Axmann, S. Wieser, and G. Schuetz, “What can we learn from single molecule trajectories?,” Current Protein & Peptide Science, vol. 12, no. 8, pp. 714–724, 2011.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3299   OA
T. A. Henzinger and M. Mateescu, “Propagation models for computing biochemical reaction networks,” presented at the CMSB: Computational Methods in Systems Biology, Paris, France, 2011, pp. 1–3.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3302   OA
T. A. Henzinger, A. Singh, V. Singh, T. Wies, and D. Zufferey, “Static scheduling in clouds,” presented at the HotCloud: Workshop on Hot Topics in Cloud Computing, 2011, pp. 1–6.
View | Files available
 

2011 | Conference Paper | IST-REx-ID: 3319
N. Quadrianto and C. Lampert, “Learning multi-view neighborhood preserving projections,” presented at the ICML: International Conference on Machine Learning, Bellevue, USA, 2011, pp. 425–432.
View
 

2011 | Conference Paper | IST-REx-ID: 3326
S. Almagor, U. Boker, and O. Kupferman, “What’s decidable about weighted automata ,” presented at the ATVA: Automated Technology for Verification and Analysis, Taipei, Taiwan, 2011, vol. 6996, pp. 482–491.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3383
C.-P. J. Heisenberg, “Invited Lectures ‐ Symposia Area,” FEBS Journal, vol. 278, no. S1, pp. 24–24, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3388   OA
L. V. Ugelvig, P. Nielsen, J. Boomsma, and D. Nash, “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, p. 201, 2011.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3390   OA
N. H. Barton and A. Etheridge, “The relation between reproductive value and genetic contribution,” Genetics, vol. 188, no. 4, pp. 953–973, 2011.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3395
F. Palero, P. Abello, E. Macpherson, M. Beaumont, and M. Pascual, “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, pp. 407–418, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3352
J. Fisher, D. Harel, and T. A. Henzinger, “Biology as reactivity,” Communications of the ACM, vol. 54, no. 10, pp. 72–82, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3369
A. Pernia-Andrade and P. M. Jonas, “The multiple faces of RIM,” Neuron, vol. 69, no. 2, pp. 185–187, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3371   OA
M. K. Sixt and C. Parent, “Cells on the move in Philadelphia,” Molecular Biology and Evolution, vol. 22, no. 6, p. 724, 2011.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3364   OA
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Approximation of event probabilities in noisy cellular processes,” Theoretical Computer Science, vol. 412, no. 21, pp. 2128–2141, 2011.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3357
K. Chatterjee, T. A. Henzinger, and F. Horn, “The complexity of request-response games,” presented at the LATA: Language and Automata Theory and Applications, Tarragona, Spain, 2011, vol. 6638, pp. 227–237.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3376   OA
M. T. Bollenbach and R. Kishony, “Resolution of gene regulatory conflicts caused by combinations of antibiotics,” Molecular Cell, vol. 42, no. 4, pp. 413–425, 2011.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3965
B. Wang, H. Edelsbrunner, and D. Morozov, “Computing elevation maxima by searching the Gauss sphere,” Journal of Experimental Algorithmics, vol. 16, no. 2.2, pp. 1–13, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 491
A. Eichner and M. K. Sixt, “Setting the clock for recirculating lymphocytes,” Science Signaling, vol. 4, no. 198, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 504   OA
J. Polechova, N. H. Barton, and G. Marion, “Erratum: Species’ range: Adaptation in space and time (American Naturalist 174 (E186 E204)) ,” American Naturalist, vol. 177, no. 4, pp. 546–547, 2011.
View | Files available | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3345
K. Chatterjee and L. Doyen, “Energy and mean-payoff parity Markov Decision Processes,” presented at the MFCS: Mathematical Foundations of Computer Science, Warsaw, Poland, 2011, vol. 6907, pp. 206–218.
View | Files available | DOI | Download (ext.) | arXiv
 

2011 | Technical Report | IST-REx-ID: 5384   OA
K. Chatterjee and M. Tracol, Decidable problems for probabilistic automata on infinite words. IST Austria, 2011.
View | Files available | DOI
 

2011 | Preprint | IST-REx-ID: 3338
K. Chatterjee, “Bounded rationality in concurrent parity games,” arXiv. ArXiv, pp. 1–51, 2011.
View | Files available | Download (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3264
A. Gupta, C. Popeea, and A. Rybalchenko, “Solving recursion-free Horn clauses over LI+UIF,” presented at the APLAS: Asian Symposium on Programming Languages and Systems, Kenting, Taiwan, 2011, vol. 7078, pp. 188–203.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3269
Y. Sheng, B. Cutler, C. Chen, and J. Nasman, “Perceptual global illumination cancellation in complex projection environments,” Computer Graphics Forum, vol. 30, no. 4, pp. 1261–1268, 2011.
View | DOI
 

2011 | Book Chapter | IST-REx-ID: 3271
H. Wagner, C. Chen, and E. Vuçini, “Efficient computation of persistent homology for cubical data,” in Topological Methods in Data Analysis and Visualization II, R. Peikert, H. Hauser, H. Carr, and R. Fuchs, Eds. Springer, 2011, pp. 91–106.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3288   OA
M. Smutny, S. Wu, G. Gomez, S. Mangold, A. Yap, and N. Hamilton, “Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens,” PLoS One, vol. 6, no. 7, 2011.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3290   OA
K. Lohse, R. Harrison, and N. H. Barton, “A general method for calculating likelihoods under the coalescent process,” Genetics, vol. 189, no. 3, pp. 977–987, 2011.
View | DOI | Download (ext.)
 

2011 | Preprint | IST-REx-ID: 3339   OA
K. Chatterjee, L. De Alfaro, and R. Pritam, “Magnifying lens abstraction for stochastic games with discounted and long-run average objectives,” arXiv. ArXiv, 2011.
View | Download (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3163
C. Lampert, “Maximum margin multi-label structured prediction,” presented at the NIPS: Neural Information Processing Systems, Granada, Spain, 2011.
View | Files available
 

2011 | Journal Article | IST-REx-ID: 3315   OA
K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Timed parity games: Complexity and robustness,” Logical Methods in Computer Science, vol. 7, no. 4, 2011.
View | Files available | DOI
 

2011 | Conference Poster | IST-REx-ID: 3322
C. Lampert, Maximum margin multi label structured prediction. Neural Information Processing Systems, 2011.
View | Files available
 

2011 | Journal Article | IST-REx-ID: 3334
H. Edelsbrunner, J. Pach, and G. Ziegler, “Letter from the new editors-in-chief,” Discrete & Computational Geometry, vol. 45, no. 1, pp. 1–2, 2011.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3346   OA
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, and A. Kučera, “Two views on multiple mean payoff objectives in Markov Decision Processes,” presented at the LICS: Logic in Computer Science, Toronto, Canada, 2011.
View | DOI | Download (ext.)
 

2011 | 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 (TOPLAS), vol. 33, no. 4, 2011.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3358
T. A. Henzinger, V. Singh, T. Wies, and D. Zufferey, “Scheduling large jobs by abstraction refinement,” presented at the EuroSys, Salzburg, Austria, 2011, pp. 329–342.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3360   OA
U. Boker and T. A. Henzinger, “Determinizing discounted-sum automata,” presented at the CSL: Computer Science Logic, Bergen, Norway, 2011, vol. 12, pp. 82–96.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3372   OA
P. Abbot et al., “Inclusive fitness theory and eusociality,” Nature, vol. 471, no. 7339, pp. E1–E4, 2011.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2011 | Conference Paper | IST-REx-ID: 3365   OA
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and R. Singh, “QUASY: quantitative synthesis tool,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Saarbrucken, Germany, 2011, vol. 6605, pp. 267–271.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3377   OA
H. Edelsbrunner, D. Morozov, and A. Patel, “Quantifying transversality by measuring the robustness of intersections,” Foundations of Computational Mathematics, vol. 11, no. 3, pp. 345–361, 2011.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3771
A. Pavan, F. Martins, F. Santos, A. Ditchfield, and R. A. Fernandes Redondo, “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, vol. 102, no. 3, pp. 527–539, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3505
M. K. Sixt and T. Lämmermann, “In vitro analysis of chemotactic leukocyte migration in 3D environments,” Cell Migration, vol. 769, pp. 149–165, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3384   OA
G. Tkacik et al., “Natural images from the birthplace of the human eye,” PLoS One, vol. 6, no. 6, 2011.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3389
M. Blaschko, J. Shelton, A. Bartels, C. Lampert, and A. Gretton, “Semi supervised kernel canonical correlation analysis with application to human fMRI,” Pattern Recognition Letters, vol. 32, no. 11, pp. 1572–1583, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3391   OA
H. de Vladar and N. H. Barton, “The contribution of statistical physics to evolutionary biology,” Trends in Ecology and Evolution, vol. 26, no. 8, pp. 424–432, 2011.
View | DOI | Download (ext.)
 

2011 | 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, pp. 4673–4683, 2011.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 531
R. Guerraoui, T. A. Henzinger, and V. Singh, “Verification of STM on relaxed memory models,” Formal Methods in System Design, vol. 39, no. 3, pp. 297–331, 2011.
View | DOI
 

2011 | Technical Report | IST-REx-ID: 5380   OA
K. Chatterjee, Bounded rationality in concurrent parity games. IST Austria, 2011.
View | Files available | DOI
 

2011 | 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.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 6496   OA
H. Park, P. Oikonomou, C. C. Guet, and P. Cluzel, “Noise underlies switching behavior of the bacterial flagellum,” Biophysical Journal, vol. 101, no. 10, pp. 2336–2340, 2011.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2011 | Book Chapter | IST-REx-ID: 3311
H. Edelsbrunner, “Alpha shapes - a survey,” in Tessellations in the Sciences, Springer, 2011.
View
 

2011 | Conference Paper | IST-REx-ID: 3359
P. Cerny and T. A. Henzinger, “From boolean to quantitative synthesis,” presented at the EMSOFT: Embedded Software , Taipei; Taiwan, 2011, pp. 149–154.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3361   OA
P. Cerny, K. Chatterjee, and T. A. Henzinger, “The complexity of quantitative information flow problems,” presented at the CSF: Computer Security Foundations, Cernay-la-Ville, France, 2011, pp. 205–217.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3330   OA
M. Kerber and M. Sagraloff, “Root refinement for real polynomials,” presented at the ISSAC: International Symposium on Symbolic and Algebraic Computation, California, USA, 2011, pp. 209–216.
View | DOI | Download (ext.) | arXiv
 

2011 | Book Chapter | IST-REx-ID: 3335   OA
R. Van De Weygaert et al., “Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web,” in Transactions on Computational Science XIV, vol. 6970, M. Gavrilova, K. Tan, and M. Mostafavi, Eds. Springer, 2011, pp. 60–101.
View | DOI | Download (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3328
E. Berberich, M. Hemmer, and M. Kerber, “A generic algebraic kernel for non linear geometric applications,” presented at the SCG: Symposium on Computational Geometry, Paris, France, 2011, pp. 179–186.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3342   OA
K. Chatterjee, M. Henzinger, M. Joglekar, and S. Nisarg, “Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives,” presented at the CAV: Computer Aided Verification, Snowbird, USA, 2011, vol. 6806, pp. 260–276.
View | DOI | Download (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3347   OA
K. Chatterjee and N. Fijalkow, “Finitary languages,” presented at the LATA: Language and Automata Theory and Applications, Tarragona, Spain, 2011, vol. 6638, pp. 216–226.
View | DOI | Download (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 3354
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Qualitative concurrent parity games,” ACM Transactions on Computational Logic (TOCL), vol. 12, no. 4, 2011.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3316
R. Bloem, K. Chatterjee, K. Greimel, T. A. Henzinger, and B. Jobstmann, “Specification-centered robustness,” in 6th IEEE International Symposium on Industrial and Embedded Systems, Vasteras, Sweden, 2011, pp. 176–185.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3784
F. Palero, G. Guerao, P. Clark, and P. Abello, “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, vol. 91, no. 2, pp. 485–492, 2011.
View | DOI
 

2011 | Book Chapter | IST-REx-ID: 3791
G. Krens and C.-P. J. Heisenberg, “Cell sorting in development,” in Current Topics in Developmental Biology, vol. 95, M. Labouesse, Ed. Elsevier, 2011, pp. 189–213.
View | DOI
 

2011 | Book Chapter | IST-REx-ID: 3796   OA
H. Edelsbrunner and M. Kerber, “Covering and packing with spheres by diagonal distortion in R^n,” in Rainbow of Computer Science, vol. 6570, C. Calude, G. Rozenberg, and A. Salomaa, Eds. Springer, 2011, pp. 20–35.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3385
M. K. Sixt, “Interstitial locomotion of leukocytes,” Immunology Letters, vol. 138, no. 1, pp. 32–34, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3392
S. Soriano et al., “In vivo analysis of uropod function during physiological T cell trafficking,” Journal of Immunology, vol. 187, no. 5, pp. 2356–2364, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3397   OA
J.-L. Maître and C.-P. J. Heisenberg, “The role of adhesion energy in controlling cell-cell contacts,” Current Opinion in Cell Biology, vol. 23, no. 5, pp. 508–514, 2011.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3405   OA
H. L. Janovjak, G. Sandoz, and E. Isacoff, “Modern ionotropic glutamate receptor with a K+ selectivity signature sequence,” Nature Communications, vol. 2, no. 232, pp. 1–6, 2011.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3429
N. Plachta, M. T. Bollenbach, S. Pease, S. Fraser, and P. Pantazis, “Oct4 kinetics predict cell lineage patterning in the early mammalian embryo,” Nature Cell Biology, vol. 13, no. 2, pp. 117–123, 2011.
View | DOI
 

2011 | 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, pp. 1260–1262, 2011.
View | Files available | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3378
P. Bendich and J. Harer, “Persistent intersection homology,” Foundations of Computational Mathematics, vol. 11, no. 3, pp. 305–336, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3380
S. Logeswaran and N. H. Barton, “Mapping Mendelian traits in asexual progeny using changes in marker allele frequency,” Genetical Research, vol. 93, no. 3, pp. 221–232, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 518
D. Schraivogel et al., “CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells,” EMBO Journal, vol. 30, no. 20, pp. 4309–4322, 2011.
View | DOI
 

2011 | 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.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5379   OA
K. Chatterjee and M. Henzinger, An O(n2) time algorithm for alternating Büchi games. IST Austria, 2011.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3323
T. Wies, M. Muñiz, and V. Kuncak, “An efficient decision procedure for imperative tree data structures,” presented at the CADE 23: Automated Deduction , Wrocław, Poland, 2011, vol. 6803, pp. 476–491.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3366
P. Cerny, K. Chatterjee, T. A. Henzinger, A. Radhakrishna, and R. Singh, “Quantitative synthesis for concurrent programs,” presented at the CAV: Computer Aided Verification, Snowbird, USA, 2011, vol. 6806, pp. 243–259.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5386   OA
C. Chen, D. Freedman, and C. Lampert, Enforcing topological constraints in random field image segmentation. IST Austria, 2011.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3266
A. Ion, J. Carreira, and C. Sminchisescu, “Probabilistic joint image segmentation and labeling,” in NIPS Proceedings, Granada, Spain, 2011, vol. 24, pp. 1827–1835.
View
 

2011 | Thesis | IST-REx-ID: 3273
J.-L. Maître, Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors. IST Austria, 2011.
View
 

2011 | Conference Paper | IST-REx-ID: 3297   OA
C. J. Wojtan, M. Müller Fischer, and T. Brochu, “Liquid simulation with mesh-based surface tracking,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Vancouver, BC, Canada, 2011.
View | Files available | DOI
 

2011 | Conference Poster | IST-REx-ID: 3312   OA
Y. Zheng, S. Gu, H. Edelsbrunner, C. Tomasi, and P. Benfey, Detailed reconstruction of 3D plant root shape. IEEE, 2011, p. 6126475.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3329   OA
E. Berberich, D. Halperin, M. Kerber, and R. Pogalnikova, “Deconstructing approximate offsets,” in Proceedings of the twenty-seventh annual symposium on Computational geometry, Paris, France, 2011, pp. 187–196.
View | Files available | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3343   OA
K. Chatterjee and M. Henzinger, “Faster and dynamic algorithms for maximal end component decomposition and related graph problems in probabilistic verification,” presented at the SODA: Symposium on Discrete Algorithms, San Francisco, USA, 2011, pp. 1318–1336.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3324   OA
R. Piskac and T. Wies, “Decision procedures for automating termination proofs,” presented at the VMCAI: Verification Model Checking and Abstract Interpretation, Texas, USA, 2011, vol. 6538, pp. 371–386.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3386
A. Schrempf, S. Cremer, and J. Heinze, “Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies,” Journal of Evolutionary Biology, vol. 24, no. 7, pp. 1455–1461, 2011.
View | DOI
 

2011 | 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, pp. E48–E75, 2011.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3374   OA
G. Tkacik and A. Walczak, “Information transmission in genetic regulatory networks a review,” Journal of Physics: Condensed Matter, vol. 23, no. 15, 2011.
View | DOI | Download (ext.)
 

2011 | 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, pp. 102–110, 2011.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2011 | Conference Paper | IST-REx-ID: 3348   OA
K. Chatterjee and V. Prabhu, “Synthesis of memory efficient real time controllers for safety objectives,” presented at the HSCC: Hybrid Systems - Computation and Control, Chicago, USA, 2011, pp. 221–230.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3350
K. Chatterjee and R. Majumdar, “Minimum attention controller synthesis for omega regular objectives,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Aalborg, Denmark, 2011, vol. 6919, pp. 145–159.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3355   OA
R. Halalai, T. A. Henzinger, and V. Singh, “Quantitative evaluation of BFT protocols,” presented at the QEST: Quantitative Evaluation of Systems, Aachen, Germany, 2011, pp. 255–264.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3362
J. Fisher, T. A. Henzinger, D. Nickovic, N. Piterman, A. Singh, and M. Vardi, “Dynamic reactive modules,” presented at the CONCUR: Concurrency Theory, Aachen, Germany, 2011, vol. 6901, pp. 404–418.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3367
C. Chen and M. Kerber, “An output sensitive algorithm for persistent homology,” presented at the SoCG: Symposium on Computational Geometry, Paris, France, 2011, pp. 207–216.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3778   OA
N. H. Barton, “Estimating linkage disequilibria,” Heredity, vol. 106, no. 2, pp. 205–206, 2011.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed