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.

3236 Publications


2011 | Conference Paper | IST-REx-ID: 3366 | OA
Quantitative synthesis for concurrent programs
P. Cerny, K. Chatterjee, T.A. Henzinger, A. Radhakrishna, R. Singh, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 243–259.
View | Files available | DOI
 

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

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

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

2011 | Journal Article | IST-REx-ID: 3372 | OA
Inclusive fitness theory and eusociality
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
Measuring the complete force field of an optical trap
M. Jahnel, M. Behrndt, A. Jannasch, E. Schaeffer, S. Grill, Optics Letters 36 (2011) 1260–1262.
View | Files available | DOI | Download Published Version (ext.)
 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2011 | Journal Article | IST-REx-ID: 3399 | OA View | Files available | DOI
 

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

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

2011 | Thesis | IST-REx-ID: 3275 | OA
The role of chemotactic gradients in dendritic cell migration
K. Schumann, The Role of Chemotactic Gradients in Dendritic Cell Migration, IST Austria, 2011.
View | Files available
 

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

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

2010 | Conference Paper | IST-REx-ID: 2322 | OA
Equivalence of Sobolev inequalities and Lieb-Thirring inequalities
R. Frank, É. Lieb, R. Seiringer, in:, World Scientific Publishing, 2010, pp. 523–535.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 2323 | OA
Hot topics on cold gases
R. Seiringer, in:, World Scientific Publishing, 2010, pp. 231–245.
View | DOI | Download (ext.)
 

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

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

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

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

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

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

2010 | Conference Paper | IST-REx-ID: 2978 | OA
Efficiency Limitations for Σ-Protocols for Group Homomorphisms
E. Bangerter, J. Camenisch, S. Krenn, in:, D. Micciancio (Ed.), Springer, 2010, pp. 553–571.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 2979 | OA
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
J. Almeida, E. Bangerter, M. Barbosa, S. Krenn, A. Sadeghi, T. Schneider, in:, D. Gritzalis, B. Preneel, M. Theoharidou (Eds.), Springer, 2010, pp. 151–167.
View | DOI | Download (ext.)
 

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

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

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

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

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

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

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

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

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

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

2010 | Conference Paper | IST-REx-ID: 488 | OA
Expressiveness of streaming string transducers
R. Alur, P. Cerny, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 489 | OA
How do we remember the past in randomised strategies?
J. Cristau, C. David, F. Horn, in:, Proceedings of GandALF 2010, Open Publishing Association, 2010, pp. 30–39.
View | DOI | Download Published Version (ext.)
 

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

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

2010 | Technical Report | IST-REx-ID: 5390 | OA
Topological, automata-theoretic and logical characterization of finitary languages
K. Chatterjee, N. Fijalkow, Topological, Automata-Theoretic and Logical Characterization of Finitary Languages, IST Austria, 2010.
View | Files available | DOI
 

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

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

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

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

2010 | Journal Article | IST-REx-ID: 7078 | OA
Tin telluride: A weakly co-elastic metal
E.K.H. Salje, D.J. Safarik, K.A. Modic, J.E. Gubernatis, J.C. Cooley, R.D. Taylor, B. Mihaila, A. Saxena, T. Lookman, J.L. Smith, R.A. Fisher, M. Pasternak, C.P. Opeil, T. Siegrist, P.B. Littlewood, J.C. Lashley, Physical Review B 82 (2010).
View | DOI | Download Preprint (ext.) | arXiv
 

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

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

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

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

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

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

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

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

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

2010 | Journal Article | IST-REx-ID: 9146 | OA View | DOI | Download Published Version (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3719 | OA
Lumpability abstractions of rule-based systems
J. Feret, T.A. Henzinger, H. Koeppl, T. Petrov, in:, Open Publishing Association, 2010, pp. 142–161.
View | Files available | arXiv
 
 

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

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

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

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

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

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

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

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

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

2010 | Conference Paper | IST-REx-ID: 3793 | OA
On parameter learning in CRF-based approaches to object class image segmentation
S. Nowozin, P. Gehler, C. Lampert, in:, Springer, 2010, pp. 98–111.
View | Files available | DOI
 

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

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

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

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

2010 | Conference Paper | IST-REx-ID: 3838 | OA
Hybrid numerical solution of the chemical master equation
T.A. Henzinger, M. Mateescu, L. Mikeev, V. Wolf, in:, Springer, 2010, pp. 55–65.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3839 | OA
Invariant and type inference for matrices
T.A. Henzinger, T. Hottelier, L. Kovács, A. Voronkov, in:, Springer, 2010, pp. 163–179.
View | Files available | DOI
 

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

2010 | Conference Paper | IST-REx-ID: 3845 | OA
Aligators for arrays
T.A. Henzinger, T. Hottelier, L. Kovács, A. Rybalchenko, in:, Springer, 2010, pp. 348–356.
View | Files available | DOI
 

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

2010 | Conference Paper | IST-REx-ID: 3849 | OA
Persistent homology under non-uniform error
P. Bendich, H. Edelsbrunner, M. Kerber, A. Patel, in:, Springer, 2010, pp. 12–23.
View | Files available | DOI
 

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

2010 | Conference Paper | IST-REx-ID: 3851 | OA
Energy parity games
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 599–610.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2010 | Conference Paper | IST-REx-ID: 3852 | OA
Discounting in games across time scales
K. Chatterjee, R. Majumdar, in:, EPTCS, 2010, pp. 22–29.
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 3853 | OA
Mean-payoff automaton expressions
K. Chatterjee, L. Doyen, H. Edelsbrunner, T.A. Henzinger, P. Rannou, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–283.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3855 | OA
Qualitative analysis of partially-observable Markov Decision Processes
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2010, pp. 258–269.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3856 | OA
Randomness for free
K. Chatterjee, L. Doyen, H. Gimbert, T.A. Henzinger, in:, Springer, 2010, pp. 246–257.
View | Files available | DOI | Download Preprint (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3858 | OA
The complexity of partial-observation parity games
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 1–14.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3860 | OA
Generalized mean-payoff and energy games
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–516.
View | Files available | DOI
 

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

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

Filters and Search Terms

oa=1

Search

Filter Publications