Please note that ISTA 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.

7707 Publications


2007 | Conference Paper | IST-REx-ID: 3881
Qualitative logics and equivalences for probabilistic systems
L. De Alfaro, K. Chatterjee, M. Faella, A. Legay, in:, IEEE, 2007, pp. 237–248.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3882
Concurrent games with tail objectives
K. Chatterjee, Theoretical Computer Science 388 (2007) 181–198.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3883
Generalized parity games
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Springer, 2007, pp. 153–167.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3884
Strategy logic
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73.
View | Files available | DOI
 

2007 | Conference Paper | IST-REx-ID: 3885
Optimal strategy synthesis in stochastic Müller games
K. Chatterjee, in:, Springer, 2007, pp. 138–152.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3886
Stochastic Müller games are PSPACE-complete
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 436–448.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3887
Markov decision processes with multiple long-run average objectives
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 473–484.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3909
Social immunity
S. Cremer, S. Armitage, P. Schmid Hempel, Current Biology 17 (2007) R693–R702.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3910
Plasticity in anti-parasite behaviours and its suggested role in invasion biology
D. Hughes, S. Cremer, Animal Behaviour 74 (2007) 1593–1599.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3911
Social prophylaxis: group interaction promotes collective immunity in ant colonies
L.V. Ugelvig, S. Cremer, Current Biology 17 (2007) 1967–1971.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3937
Lymph node chemokines promote sustained T lymphocyte motility without triggering stable integrin adhesiveness in the absence of shear forces
E. Woolf, I. Grigorova, A. Sagiv, V. Grabovsky, S. Feigelson, Z. Shulman, T. Hartmann, M.K. Sixt, J. Cyster, R. Alon, Nature Immunology 8 (2007) 1076–1085.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3938
RhoH is important for positive thymocyte selection and T-cell receptor signaling
T. Dorn, U. Kuhn, G. Bungartz, S. Stiller, M. Bauer, J. Ellwart, T. Peters, K. Scharffetter Kochanek, M. Semmrich, M. Laschinger, B. Holzmann, W. Klinkert, P. Straten, T. Køllgaard, M.K. Sixt, C. Brakebusch, Blood 109 (2007) 2346–2355.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3972
Stability of persistence diagrams
D. Cohen Steiner, H. Edelsbrunner, J. Harer, Discrete & Computational Geometry 37 (2007) 103–120.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3973
Inequalities for the curvature of curves and surfaces
D. Cohen Steiner, H. Edelsbrunner, Foundations of Computational Mathematics 7 (2007) 391–404.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3975
Inferring local homology from sampled stratified spaces
P. Bendich, D. Cohen Steiner, H. Edelsbrunner, J. Harer, D. Morozov, in:, IEEE, 2007, pp. 536–546.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3976
Protein-protein interfaces: Properties, preferences, and projections
J. Headd, Y.E.A. Ban, P. Brown, H. Edelsbrunner, M. Vaidya, J. Rudolph, Journal of Proteome Research 6 (2007) 2576–2586.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3977
Inclusion-exclusion formulas from independent complexes
D. Attali, H. Edelsbrunner, Discrete & Computational Geometry 37 (2007) 59–77.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3981
Alpha-beta witness complexes
D. Attali, H. Edelsbrunner, J. Harer, Y. Mileyko, in:, Springer, 2007, pp. 386–397.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4152
Zebrafish gastrulation: Cell movements, signals, and mechanisms
L. Rohde, C.-P.J. Heisenberg, International Review of Cytology - A Survey of Cell Biology 261 (2007) 159–192.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4182
The role of cell adhesion and contractility for germ layer morphogenesis during zebrafish gastrulation
M. Krieg, Y. Arboleda, D. Müller, C.-P.J. Heisenberg, European Journal of Cell Biology 86 (2007) 39–39.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4205
The Bmp gradient of the zebrafish gastrula guides migrating lateral cells by regulating cell-cell adhesion
S. Von Der Hardt, J. Bakkers, A. Inbal, L. Carvalho, L. Solnica Krezel, C.-P.J. Heisenberg, M. Hammerschmidt, Current Biology 17 (2007) 475–487.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4225
Evolution and multilevel optimization of the genetic code
M.T. Bollenbach, K. Vetsigian, R. Kishony, Genome Research 17 (2007) 401–404.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4226
Kinetics of morphogen gradient formation
A. Kicheva, P. Pantazis, T. Bollenbach, Y. Kalaidzidis, T. Bittig, F. Julicher, M. Gonzalez Gaitan, Science 315 (2007) 521–525.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4233
Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas
H. de Vladar, in:, N. Falcón, Y. Loyo De Sardi (Eds.), Consejo de Desarrollo Cientifico y Tecnologico, 2007, pp. 91–109.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4234 | OA View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 4246
Do evolution and ecology need the Gaia hypothesis?
A. Free, N.H. Barton, Trends in Ecology and Evolution 22 (2007) 611–619.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4247
The relation between multilocus population genetics and social evolution theory
A. Gardner, S. West, N.H. Barton, American Naturalist 169 (2007) 207–226.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4342 View | DOI | Download None (ext.)
 

2007 | Journal Article | IST-REx-ID: 4343
Wikipedia und Normdateien: Wege der Vernetzung am Beispiel der Kooperation mit der Personennamendatei
P. Danowski, B. Pfeifer, Bibliothek - Forschung Und Praxis 31 (2007) 149–155.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4344
Bibliothek 2.0 ? Wird alles anders?
P. Danowski, L. Heller, Bibliothek - Forschung Und Praxis 31 (2007) 130–136.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 4353
The use of coded PCR primers enables high-throughput sequencing of multiple homolog amplification products by 454 parallel sequencing
J. Binladen, M.T. Gilbert, J.P. Bollback, F. Panitz, C. Bendixen, R. Nielsen, E. Willerslev, PLoS One 2 (2007).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4354
Exploring genomic dark matter: a critical assessment of the performance of homology search methods on noncoding RNA
E. Freyhult, J.P. Bollback, P. Gardner, Genome Research 17 (2007) 117–25.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 4355
Clonal interference is alleviated by high mutation rates in large populations
J.P. Bollback, J. Huelsenbeck, Molecular Biology and Evolution 24 (2007) 1397–1406.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4356
Genes under positive selection in Escherichia coli
L. Petersen, J.P. Bollback, M. Dimmic, M. Hubisz, R. Nielsen, Genome Research 17 (2007) 1336–1343.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4368
AMT: a property-based monitoring tool for analog systems
D. Nickovic, O. Maler, in:, Springer, 2007, pp. 304–319.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4370
On synthesizing controllers from bounded-response properties
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2007, pp. 95–107.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4394
Using First-Order Theorem Provers in the Jahob Data Structure Verification System
C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, M. Rinard, in:, Springer, 2007, pp. 74–88.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4398
Shape Analysis for Composite Data Structures
J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O’Hearn, T. Wies, H. Yang, in:, Springer, 2007, pp. 178–192.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4399
Algorithms for interface synthesis
D. Beyer, T.A. Henzinger, V. Singh, in:, Springer, 2007, pp. 4–19.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4402
Model Checking on Trees with Path Equivalences
R. Alur, P. Cerny, S. Chaudhuri, in:, Springer, 2007, pp. 664–678.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4405
Qualitative networks: A symbolic approach to analyze biological signaling networks
M. Schaub, T.A. Henzinger, J. Fisher, BMC Systems Biology 1 (2007).
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 11116 | OA
MEL‐28/ELYS is required for the recruitment of nucleoporins to chromatin and postmitotic nuclear pore complex assembly
C. Franz, R. Walczak, S. Yavuz, R. Santarella, M. Gentzel, P. Askjaer, V. Galy, M. Hetzer, I.W. Mattaj, W. Antonin, EMBO Reports 8 (2007) 165–172.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 11115
Nuclear envelope formation by chromatin-mediated reorganization of the endoplasmic reticulum
D.J. Anderson, M. Hetzer, Nature Cell Biology 9 (2007) 1160–1166.
View | DOI | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 2894
Stochastic Monoallelic Expression of IL 10 in T Cells
D. Calado, T. Paixao, D. Holmberg, M. Haury, Journal of Immunology 177 (2006) 5358–5364.
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 2921
Graph cut algorithms for binocular stereo with occlusions
V. Kolmogorov, R. Zabih, in:, Handbook of Mathematical Models in Computer Vision, Springer, 2006, pp. 423–427.
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3002
In vitro culture of Arabidopsis embryos
M. Sauer, J. Friml, in:, A. Mujib, J. Šamaj (Eds.), Somatic Embryogenesis, Springer, 2006, pp. 343–354.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3005
Apical-basal polarity: Why plant cells don't stand on their heads
J. Friml, P. Benfey, E. Benková, M. Bennett, T. Berleth, N. Geldner, M. Grebe, M. Heisler, J. Hejátko, G. Jürgens, T. Laux, K. Lindsey, W. Lukowitz, C. Luschnig, R. Offringa, B. Scheres, R. Swarup, R. Torres Ruiz, D. Weijers, E. Zažímalová, Trends in Plant Science 11 (2006) 12–14.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3006
Endocytosis of cell surface material mediates cell plate formation during plant cytokinesis
P. Dhonukshe, F. Baluška, M. Schlicht, A. Hlavacka, J. Šamaj, J. Friml, T. Gadella, Developmental Cell 10 (2006) 137–150.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3007
Intracellular trafficking and proteolysis of the Arabidopsis auxin-efflux facilitator PIN2 are involved in root gravitropism
L. Abas, R. Benjamins, N. Malenica, T. Paciorek, J. Wiśniewska, J. Moulinier Anzola, T. Sieberer, J. Friml, C. Luschnig, Nature Cell Biology 8 (2006) 249–256.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3008
A molecular framework for plant regeneration
J. Xu, H. Hofhuis, R. Heidstra, M. Sauer, J. Friml, B. Scheres, Science 311 (2006) 385–388.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3009 | OA
Auxin signaling
T. Paciorek, J. Friml, Journal of Cell Science 119 (2006) 1199–1202.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 3010
Control of leaf vascular patterning by polar auxin transport
E. Scarpella, D. Marcos, J. Friml, T. Berleth, Genes and Development 20 (2006) 1015–1027.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3011
Polar PIN localization directs auxin flow in plants
J. Wiśniewska, J. Xu, D. Seifertová, P. Brewer, K. Růžička, I. Blilou, D. Rouquié, E. Benková, B. Scheres, J. Friml, Science 312 (2006).
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3012
PIN proteins perform a rate-limiting function in cellular auxin efflux
Petrášek J, Mravec J, Bouchard R, Blakeslee J, Abas MF, Seifertová D, Wiśniewska J, Tadele Z, Kubeš M, Čovanová M, Dhonukshe P, Skůpa P, Benková E, Perry L, Křeček P, Lee O, Fink G, Geisler M, Murphy A, Luschnig C, Zažímalová E, Friml J. 2006. PIN proteins perform a rate-limiting function in cellular auxin efflux. Science. 312(5775), 914–918.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3013
Immunocytochemical technique for protein localization in sections of plant tissues
T. Paciorek, M. Sauer, J. Balla, J. Wiśniewska, J. Friml, Nature Protocols 1 (2006) 104–107.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3014
In situ hybridization for mRNA detection in Arabidopsis tissue sections
P. Brewer, M. Heisler, J. Hejátko, J. Friml, E. Benková, Nature Protocols 1 (2006) 1462–1467.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3015
Immunocytochemical techniques for whole mount in situ protein localization in plants
M. Sauer, T. Paciorek, E. Benková, J. Friml, Nature Protocols 1 (2006) 98–103.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3016
Canalization of auxin flow by Aux/IAA-ARF-dependent feedback regulation of PIN polarity
M. Sauer, J. Balla, C. Luschnig, J. Wiśniewska, V. Reinöhl, J. Friml, E. Benková, Genes and Development 20 (2006) 2902–2911.
View | Files available | DOI
 

2006 | Journal Article | IST-REx-ID: 3017
Spatiotemporal asymmetric auxin distribution: A means to coordinate plant development
H. Tanaka, P. Dhonukshe, P. Brewer, J. Friml, Cellular and Molecular Life Sciences 63 (2006) 2738–2754.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3018
Subcellular trafficking of the Arabidopsis auxin influx carrier AUX1 uses a novel pathway distinct from PIN1
J. Kleine Vehn, P. Dhonukshe, R. Swarup, M. Bennett, J. Friml, Plant Cell 18 (2006) 3171–3181.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3020
In situ hybridization technique for mRNA detection in whole mount Arabidopsis samples
J. Hejátko, I. Blilou, P. Brewer, J. Friml, B. Scheres, E. Benková, Nature Protocols 1 (2006) 1939–1946.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3152
In vivo migration A germ cell perspective
P. Kunwar, D.E. Siekhaus, R. Lehmann, Annual Review of Cell and Developmental Biology 22 (2006) 237–265.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3180
A comparative study of energy minimization methods for Markov random fields
R. Szeliski, R. Zabih, D. Scharstein, O. Veksler, V. Kolmogorov, A. Agarwala, M. Tappen, C. Rother, in:, Springer, 2006, pp. 16–29.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3184
Comparison of energy minimization algorithms for highly connected graphs
V. Kolmogorov, C. Rother, in:, Springer, 2006, pp. 1–15.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3185
Probabilistic fusion of stereo with color and contrast for bilayer segmentation
V. Kolmogorov, A. Criminisi, A. Blake, G. Cross, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 28 (2006) 1480–1492.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3186
An integral solution to surface evolution PDEs via geo cuts
Y. Boykov, V. Kolmogorov, D. Cremers, A. Delong, in:, Springer, 2006, pp. 409–422.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3188
Cosegmentation of image pairs by histogram matching - Incorporating a global constraint into MRFs
C. Rother, V. Kolmogorov, T. Minka, A. Blake, in:, IEEE, 2006, pp. 993–1000.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3189
Bilayer segmentation of live video
A. Criminisi, G. Cross, A. Blake, V. Kolmogorov, in:, IEEE, 2006, pp. 53–60.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3190
Convergent tree reweighted message passing for energy minimization
V. Kolmogorov, IEEE Transactions on Pattern Analysis and Machine Intelligence 28 (2006) 1568–1583.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3214
Luby Rackoff ciphers from weak round functions
U. Maurer, Y. Oswald, K.Z. Pietrzak, J. Sjödin, in:, Springer, 2006, pp. 391–408.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3215
Separating sources for encryption and secret sharing
Y. Dodis, K.Z. Pietrzak, B. Przydatek, in:, Springer, 2006, pp. 601–616.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3216
A tight bound for EMAC
K.Z. Pietrzak, in:, Springer, 2006, pp. 168–179.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3217
Composition implies adaptive security in minicrypt
K.Z. Pietrzak, in:, Springer, 2006, pp. 328–338.
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3404
Atomic force microscopy
H.L. Janovjak, R. Sawhney, M. Stark, D. Mueller, in:, Techniques in Microscopy for Biomedical Applications, World Scientific Publishing, 2006, pp. 213–284.
View
 

2006 | Journal Article | IST-REx-ID: 3413
Bacteriorhodopsin folds into the membrane against an external force
M. Kessler, K. Gottschalk, H.L. Janovjak, D. Mueller, H. Gaub, Journal of Molecular Biology 357 (2006) 644–654.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3414
Observing folding pathways and kinetics of a single sodium-proton antiporter from Escherichia coli
A. Kedrov, H.L. Janovjak, C. Ziegler, W. Kühlbrandt, D. Mueller, Journal of Molecular Biology 355 (2006) 2–8.
View | DOI
 

2006 | Book Review | IST-REx-ID: 3415
Imaging and detecting molecular interactions of single membrane proteins
H.L. Janovjak, A. Kedrov, D. Cisneros, T. Sapra, J. Struckmeier, D. Mueller, Neurobiology of Aging 27 (2006) 546–561.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8488
Speeding up three-dimensional protein NMR experiments to a few minutes
P. Schanda, H. Van Melckebeke, B. Brutscher, Journal of the American Chemical Society 128 (2006) 9042–9043.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8489
HET-SOFAST NMR for fast detection of structural compactness and heterogeneity along polypeptide chains
P. Schanda, V. Forge, B. Brutscher, Magnetic Resonance in Chemistry 44 (2006) S177–S184.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8490
Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR
P. Schanda, B. Brutscher, Journal of Magnetic Resonance 178 (2006) 334–339.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8513
Generic 3-dimensional volume-preserving diffeomorphisms with superexponential growth of number of periodic orbits
V. Kaloshin, M. Saprykina, Discrete & Continuous Dynamical Systems - A 15 (2006) 611–640.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8514
The effect of projections on fractal sets and measures in Banach spaces
W. OTT, B. HUNT, V. Kaloshin, Ergodic Theory and Dynamical Systems 26 (2006) 869–891.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 8515
Long time behaviour of periodic stochastic flows
V. Kaloshin, D. DOLGOPYAT, L. KORALOV, in:, XIVth International Congress on Mathematical Physics, World Scientific, 2006, pp. 290–295.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 854
Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius
E. Rogaev, Y. Moliaka, B. Malyarchuk, F. Kondrashov, M. Derenko, I. Chumakov, A. Grigorenko, PLoS Biology 4 (2006) 0403–0410.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4431
The embedded systems design challenge
T.A. Henzinger, J. Sifakis, in:, Springer, 2006, pp. 1–15.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4432
Timed alternating-time temporal logic
T.A. Henzinger, V. Prabhu, in:, Springer, 2006, pp. 1–17.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4436
An interface algebra for real-time components
T.A. Henzinger, S. Matic, in:, IEEE, 2006, pp. 253–266.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4437
Solving games without determinization
T.A. Henzinger, N. Piterman, in:, Springer, 2006, pp. 395–410.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4451
On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, Theoretical Computer Science 354 (2006) 173–186.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4523
Synergy: A new algorithm for property checking
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, ACM, 2006, pp. 117–127.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4526
A hierarchical coordination language for interacting real-time tasks
A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, A. Sangiovanni Vincentelli, in:, ACM, 2006, pp. 132–141.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4528
Executable biology
J. Fisher, T.A. Henzinger, in:, IEEE, 2006, pp. 1675–1682.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4538
Strategy improvement and randomized subexponential algorithms for stochastic parity games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 512–523.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4539
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 257–271.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4549
Compositional quantitative reasoning
K. Chatterjee, L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, IEEE, 2006, pp. 179–188.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4550
Games with secure equilibria
K. Chatterjee, T.A. Henzinger, M. Jurdziński, Theoretical Computer Science 365 (2006) 67–82.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4551
Markov decision processes with multiple objectives
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2006, pp. 325–336.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
Strategy improvement for concurrent reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2006, pp. 291–300.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4574
Lazy shape analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2006, pp. 532–546.
View | DOI
 

2006 | Preprint | IST-REx-ID: 573 | OA
Counterfactual computation revisited
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, (2006).
View | Download Preprint (ext.) | arXiv
 

Search

Filter Publications