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.

3235 Publications


2011 | Journal Article | IST-REx-ID: 3368 | OA
Krens G, Möllmert S, Heisenberg C-PJ. 2011. Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants. PNAS. 108(3), E9–E10.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3370 | OA
Kupczok A. 2011. Consequences of different null models on the tree shape bias of supertree methods. Systematic Biology. 60(2), 218–225.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3371 | OA
Sixt MK, Parent C. 2011. Cells on the move in Philadelphia. Molecular Biology and Evolution. 22(6), 724.
View | Files available | DOI
 

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

2011 | Journal Article | IST-REx-ID: 3373 | OA
Jahnel M, Behrndt M, Jannasch A, Schaeffer E, Grill S. 2011. Measuring the complete force field of an optical trap. Optics Letters. 36(7), 1260–1262.
View | Files available | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3374 | OA
Tkačik G, Walczak A. 2011. Information transmission in genetic regulatory networks a review. Journal of Physics: Condensed Matter. 23(15), 153102.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3375 | OA
de Vladar H, Barton NH. 2011. The statistical mechanics of a polygenic character under stabilizing selection mutation and drift. Journal of the Royal Society Interface. 8(58), 720–739.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3376 | OA
Bollenbach MT, Kishony R. 2011. Resolution of gene regulatory conflicts caused by combinations of antibiotics. Molecular Cell. 42(4), 413–425.
View | DOI | Download Submitted Version (ext.)
 

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

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

2011 | Journal Article | IST-REx-ID: 3380 | OA
Logeswaran S, Barton NH. 2011. Mapping Mendelian traits in asexual progeny using changes in marker allele frequency. Genetical Research. 93(3), 221–232.
View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3381 | OA
Henzinger TA, Jobstmann B, Wolf V. 2011. Formalisms for specifying Markovian population models. IJFCS: International Journal of Foundations of Computer Science. 22(4), 823–841.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3384 | OA
Tkačik G, Garrigan P, Ratliff C, Milcinski G, Klein J, Seyfarth L, Sterling P, Brainard D, Balasubramanian V. 2011. Natural images from the birthplace of the human eye. PLoS One. 6(6), e20409.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3387 | OA
Kupczok A. 2011. Split based computation of majority rule supertrees. BMC Evolutionary Biology. 11(205), 205.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3388 | OA
Ugelvig LV, Nielsen P, Boomsma J, Nash D. 2011. Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion. BMC Evolutionary Biology. 11(201), 201.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3390 | OA
Barton NH, Etheridge A. 2011. The relation between reproductive value and genetic contribution. Genetics. 188(4), 953–973.
View | DOI | Download Submitted Version (ext.)
 

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

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

2011 | Journal Article | IST-REx-ID: 3394 | OA
Polechova J, Barton NH. 2011. Genetic drift widens the expected cline but narrows the expected cline width. Genetics. 189(1), 227–235.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3396 | OA
Stockinger P, Heisenberg C-PJ, Maître J-L. 2011. Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube. Development. 138(21), 4673–4683.
View | Files available | DOI
 

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

2011 | Journal Article | IST-REx-ID: 3399 | OA
Cremer S, Schrempf A, Heinze J. 2011. Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior. PLoS One. 6(3), e17323.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3405 | OA
Janovjak HL, Sandoz G, Isacoff E. 2011. Modern ionotropic glutamate receptor with a K+ selectivity signature sequence. Nature Communications. 2(232), 1–6.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3505 | OA
Sixt MK, Lämmermann T. 2011. In vitro analysis of chemotactic leukocyte migration in 3D environments. Cell Migration. 769, 149–165.
View | DOI | Download Published Version (ext.)
 

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

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

2010 | Journal Article | IST-REx-ID: 232 | OA
De La Bretèche R, Browning TD. 2010. Le problème des diviseurs pour des formes binaires de degré 4. Journal fur die Reine und Angewandte Mathematik. (646), 1–44.
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Conference Paper | IST-REx-ID: 2322 | OA
Frank R, Lieb É, Seiringer R. 2010. Equivalence of Sobolev inequalities and Lieb-Thirring inequalities. ICMP: International Congress on Mathematical Physics, 523–535.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 2323 | OA
Seiringer R. 2010. Hot topics on cold gases. ICMP: International Congress on Mathematical Physics, 231–245.
View | DOI | Download (ext.)
 

2010 | Book Chapter | IST-REx-ID: 2324 | OA
Frank R, Seiringer R. 2010.Sharp fractional Hardy inequalities in half-spaces. In: Around the Research of Vladimir Maz’ya I. International Mathematical Series, vol. 11, 161–167.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2389 | OA
Hainzl C, Seiringer R. 2010. Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy. Mathematische Nachrichten. 283(3), 489–499.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2392 | OA
Frank R, Lieb É, Seiringer R, Thomas L. 2010. Bipolaron and N-polaron binding energies. Physical Review Letters. 104(21).
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2409 | OA
Kupczok A, Schmidt H, Von Haeseler A. 2010. Accuracy of phylogeny reconstruction methods combining overlapping gene data sets . Algorithms for Molecular Biology. 5(1), 37.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 2442 | OA
Beeckman T, Friml J. 2010. Nitrate Contra Auxin: Nutrient Sensing by roots. Developmental Cell. 18(6), 877–878.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 2701 | OA
Erdös L, Schlein B, Yau H. 2010. Wegner estimate and level repulsion for Wigner random matrices. International Mathematics Research Notices. (3), 436–479.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 2978 | OA
Bangerter E, Camenisch J, Krenn S. 2010. Efficiency Limitations for Σ-Protocols for Group Homomorphisms. TCC: Theory of Cryptography Conference, LNCS, vol. 5978, 553–571.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 2979 | OA
Almeida J, Bangerter E, Barbosa M, Krenn S, Sadeghi A, Schneider T. 2010. A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. ESORICS: European Symposium on Research in Computer Security, LNCS, vol. 6345, 151–167.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1752 | OA
Katsaros G, Spathis P, Stoffel M, Fournel F, Mongillo M, Bouchiat V, Lefloch F, Rastelli A, Schmidt O, De Franceschi S. 2010. Hybrid superconductor-semiconductor devices made from self-assembled SiGe nanocrystals on silicon. Nature Nanotechnology. 5(6), 458–464.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1753 | OA
Songmuang R, Katsaros G, Monroy E, Spathis P, Bougerol C, Mongillo M, De Franceschi S. 2010. Quantum transport in GaN/AlN double-barrier heterostructure nanowires. Nano Letters. 10(9), 3545–3550.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1773 | OA
Fink JM, Steffen L, Studer P, Bishop L, Baur M, Bianchetti R, Bozyigit D, Lang C, Filipp S, Leek P, Wallraff A. 2010. Quantum-to-classical transition in cavity quantum electrodynamics. Physical Review Letters. 105(16).
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1774 | OA
Bianchetti R, Filipp S, Baur M, Fink JM, Lang C, Steffen L, Boissonneault M, Blais A, Wallraff A. 2010. Control and tomography of a three level superconducting artificial atom. Physical Review Letters. 105(22).
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2095 | OA
Beeler T, Bickel B, Beardsley P, Sumner B, Groß M. 2010. High-quality single-shot capture of facial geometry. ACM Transactions on Graphics. 29(4).
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2124 | OA
Maas J. 2010. Malliavin calculus and decoupling inequalities in Banach spaces. Journal of Mathematical Analysis and Applications. 363(2), 383–398.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2194 | OA
Lemeshko M, Friedrich B. 2010. An analytic model of the stereodynamics of rotationally inelastic molecular collisions. Physical Chemistry Chemical Physics. 12(5), 1038–1041.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2195 | OA
Lemeshko M, Jambrina P, De Miranda M, Friedrich B. 2010. Communications: When diffraction rules the stereodynamics of rotationally inelastic collisions. Journal of Chemical Physics. 132(16).
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2196 | OA
Lemeshko M, Friedrich B. 2010. Fine-tuning molecular energy levels by nonresonant laser pulses. Journal of Physical Chemistry A. 114(36), 9848–9854.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2197 | OA
Lemeshko M, Friedrich B. 2010. Multiple scattering of matter waves: An analytic model of the refractive index for atomic and molecular gases. Physical Review A - Atomic, Molecular, and Optical Physics. 82(2).
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 488 | OA
Alur R, Cerny P. 2010. Expressiveness of streaming string transducers. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 8, 1–12.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 489 | OA
Cristau J, David C, Horn F. 2010. How do we remember the past in randomised strategies? . Proceedings of GandALF 2010. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25, 30–39.
View | DOI | Download Published Version (ext.)
 

2010 | Technical Report | IST-REx-ID: 5388 | OA
Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. 2010. Quantitative synthesis for concurrent programs, IST Austria, 17p.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5389 | OA
Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances, IST Austria, 24p.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5390 | OA
Chatterjee K, Fijalkow N. 2010. Topological, automata-theoretic and logical characterization of finitary languages, IST Austria, 21p.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5391 | OA
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations, IST Austria, 27p.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 598 | OA
Meyer K, Lin S, Bernecky C, Gao Y, Taatjes D. 2010. P53 activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. 17(6), 753–760.
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 6142 | OA
Weber KP, De S, Kozarewa I, Turner DJ, Babu MM, de Bono M. 2010. Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. 5(11), e13922.
View | Files available | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 6320 | OA
Bretèche R de la, Browning TD. 2010. Le problème des diviseurs pour des formes binaires de degré 4. Crelles Journal. 2010(646), 1–44.
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 7078 | OA
Salje EKH, Safarik DJ, Modic KA, Gubernatis JE, Cooley JC, Taylor RD, Mihaila B, Saxena A, Lookman T, Smith JL, Fisher RA, Pasternak M, Opeil CP, Siegrist T, Littlewood PB, Lashley JC. 2010. Tin telluride: A weakly co-elastic metal. Physical Review B. 82(18), 184112.
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 1465 | OA
Hausel T. 2010. Kac’s conjecture from Nakajima quiver varieties. Inventiones Mathematicae. 181(1), 21–37.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1466 | OA
Hausel T, Letellier E, Rodríguez Villegas F. 2010. Topology of character varieties and representations of quivers. Comptes Rendus Mathematique. 348(3–4), 131–135.
View | DOI | Download (ext.)
 

2010 | Book Chapter | IST-REx-ID: 1468 | OA
Hausel T. 2010.S-Duality in HyperkäHler Hodge Theory. In: The Many Facets of Geometry: A Tribute to Nigel Hitchin. .
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1044 | OA
Danzl JG, Mark M, Haller E, Gustavsson M, Hart R, Aldegunde J, Hutson J, Nägerl H. 2010. An ultracold high-density sample of rovibronic ground-state molecules in an optical lattice. Nature Physics. 6(4), 265–270.
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 1045 | OA
Haller E, Mark M, Hart R, Danzl JG, Reichsöllner L, Melezhik V, Schmelcher P, Nägerl H. 2010. Confinement-induced resonances in low-dimensional quantum systems. Physical Review Letters. 104(15).
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 1047 | OA
Haller E, Hart R, Mark M, Danzl JG, Reichsöllner L, Nägerl H. 2010. Inducing transport in a dissipation-free lattice with super bloch oscillations. Physical Review Letters. 104(20).
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 1049 | OA
Haller E, Hart R, Mark M, Danzl JG, Reichsöllner L, Gustavsson M, Dalmonte M, Pupillo G, Nägerl H. 2010. Pinning quantum phase transition for a Luttinger liquid of strongly interacting bosons. Nature. 466(7306), 597–600.
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 9012 | OA
Palacci JA, Abécassis B, Cottin-Bizonne C, Ybert C, Bocquet L. 2010. Colloidal motility and pattern formation under rectified diffusiophoresis. Physical Review Letters. 104(13), 138302.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Journal Article | IST-REx-ID: 9013 | OA
Palacci JA, Cottin-Bizonne C, Ybert C, Bocquet L. 2010. Sedimentation and effective temperature of active colloidal suspensions. Physical Review Letters. 105(8), 088304.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Journal Article | IST-REx-ID: 9146 | OA
O’Gorman PA, MULLER CJ. 2010. How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental Research Letters. 5(2), 025207.
View | DOI | Download Published Version (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3719 | OA
Feret J, Henzinger TA, Koeppl H, Petrov T. 2010. Lumpability abstractions of rule-based systems. MECBIC: Membrane Computing and Biologically Inspired Process Calculi, EPTCS, vol. 40, 142–161.
View | Files available | arXiv
 

2010 | Preprint | IST-REx-ID: 3743 | OA
Tkačik G. 2010. From statistical mechanics to information theory: understanding biophysical information-processing systems. ArXiv, q-MN, 1–52, .
View | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3748 | OA
Park H, Pontius W, Guet CC, Marko J, Emonet T, Cluzel P. 2010. Interdependence of behavioural variability and response to small stimuli in bacteria. Nature. 468, 819–823.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3749 | OA
Park H, Guet CC, Emonet T, Cluzel P. 2010. Fine-tuning of chemotactic response in E. coli determined by high-throughput capillary assay. Current Microbiology. 62(3), 764–769.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3772 | OA
Barton NH. 2010. Understanding adaptation in large populations. PLoS Genetics. 6(6), e1000987.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3773 | OA
Barton NH. 2010. What role does natural selection play in speciation? Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 365(1547), 1825–1840.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3776 | OA
Barton NH. 2010. Genetic linkage and natural selection. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 365(1552), 2559–2569.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3777 | OA
Barton NH. 2010. Mutation and the evolution of recombination. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 365(1544), 1281–1294.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3779 | OA
Rosas U, Barton NH, Copsey L, Barbier De Reuille P, Coen E. 2010. Cryptic variation between species and the basis of hybrid performance. PLoS Biology. 8(7), e1000429.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3787 | OA
Palero F, Hall S, Clark P, Johnston D, Mackenzie Dodds J, Thatje S. 2010. DNA extraction from formalin-fixed tissue: new light from the deep sea. Scientia Marina. 74(3), 465–470.
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 3790 | OA
Diz Muñoz A, Krieg M, Bergert M, Ibarlucea Benitez I, Müller D, Paluch E, Heisenberg C-PJ. 2010. Control of directed cell migration in vivo by membrane-to-cortex attachment. PLoS Biology. 8(11), e1000544.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3793 | OA
Nowozin S, Gehler P, Lampert C. 2010. On parameter learning in CRF-based approaches to object class image segmentation. ECCV: European Conference on Computer Vision, LNCS, vol. 6316, 98–111.
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 3795 | OA
Edelsbrunner H, Morozov D, Patel A. 2010.The stability of the apparent contour of an orientable 2-manifold. In: Topological Data Analysis and Visualization: Theory, Algorithms and Applications. Mathematics and Visualization, , 27–42.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3831 | OA
Norenberg A, Hu H, Vida I, Bartos M, Jonas PM. 2010. Distinct nonuniform cable properties optimize rapid and efficient activation of fast-spiking GABAergic interneurons. PNAS. 107(2), 894–9.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3832 | OA
Guzmán J, Jonas PM. 2010. Beyond TARPs: The growing list of auxiliary AMPAR subunits. Neuron. 66(1), 8–10.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3834 | OA
Wolf V, Goel R, Mateescu M, Henzinger TA. 2010. Solving the chemical master equation using sliding windows. BMC Systems Biology. 4(42), 1–19.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3838 | OA
Henzinger TA, Mateescu M, Mikeev L, Wolf V. 2010. Hybrid numerical solution of the chemical master equation. CMSB: Computational Methods in Systems Biology, 55–65.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3839 | OA
Henzinger TA, Hottelier T, Kovács L, Voronkov A. 2010. Invariant and type inference for matrices. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 163–179.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3842 | OA
Didier F, Henzinger TA, Mateescu M, Wolf V. 2010. Fast adaptive uniformization of the chemical master equation. IET Systems Biology. 4(6), 441–452.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3845 | OA
Henzinger TA, Hottelier T, Kovács L, Rybalchenko A. 2010. Aligators for arrays. LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, vol. 6397, 348–356.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3847 | OA
Didier F, Henzinger TA, Mateescu M, Wolf V. 2010. SABRE: A tool for the stochastic analysis of biochemical reaction networks. QEST: Quantitative Evaluation of Systems, 193–194.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3849 | OA
Bendich P, Edelsbrunner H, Kerber M, Patel A. 2010. Persistent homology under non-uniform error. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6281, 12–23.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 385 | OA
Alpichshev Z, Analytis J, Chu J, Fisher I, Chen Y, Shen Z, Fang A, Kapitulnik A. 2010. STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects. Physical Review Letters. 104(1).
View | DOI | Download None (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3851 | OA
Chatterjee K, Doyen L. 2010. Energy parity games. ICALP: Automata, Languages and Programming, 37th International Colloquium, LNCS, vol. 6199, 599–610.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2010 | Conference Paper | IST-REx-ID: 3852 | OA
Chatterjee K, Majumdar R. 2010. Discounting in games across time scales. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25, 22–29.
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 3853 | OA
Chatterjee K, Doyen L, Edelsbrunner H, Henzinger TA, Rannou P. 2010. Mean-payoff automaton expressions. CONCUR: Concurrency Theory, LNCS, vol. 6269, 269–283.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3855 | OA
Chatterjee K, Doyen L, Henzinger TA. 2010. Qualitative analysis of partially-observable Markov Decision Processes. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6281, 258–269.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3856 | OA
Chatterjee K, Doyen L, Gimbert H, Henzinger TA. 2010. Randomness for free. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6281, 246–257.
View | Files available | DOI | Download Preprint (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3858 | OA
Chatterjee K, Doyen L. 2010. The complexity of partial-observation parity games. LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, vol. 6397, 1–14.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3860 | OA
Chatterjee K, Doyen L, Henzinger TA, Raskin J. 2010. Generalized mean-payoff and energy games. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 8, 505–516.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3861 | OA
Chatterjee K, Henzinger TA, Piterman N. 2010. Strategy logic. Information and Computation. 208(6), 677–693.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3862 | OA
Chatterjee K, Doyen L, Henzinger TA. 2010. Quantitative languages. ACM Transactions on Computational Logic (TOCL). 11(4), 23.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3863 | OA
Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. 2010. Strategy construction for parity games with imperfect information. Information and Computation. 208(10), 1206–1220.
View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications