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.

7224 Publications


2010 | Journal Article | IST-REx-ID: 3956
Breaching multiple barriers: leukocyte motility through venular walls and the interstitium
S. Nourshargh, P. Hordijk, M.K. Sixt, Nature Reviews Molecular Cell Biology 11 (2010) 366–378.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3957
Lifeact mice for studying F-actin dynamics
J. Riedl, K. Flynn, A. Raducanu, F.R. Gärtner, G. Beck, M. Bosl, F. Bradke, S. Massberg, A. Aszodi, M.K. Sixt, R. Wedlich Söldner, Nature Methods 7 (2010) 168–169.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3958
Extracellular matrix in multiple sclerosis lesions: fibrillar collagens, biglycan and decorin are upregulated and associated with infiltrating immune cells
H. Mohan, M. Krumbholz, R. Sharma, S. Eisele, A. Junker, M.K. Sixt, J. Newcombe, H. Wekerle, R. Hohlfeld, H. Lassmann, E. Meinl, Brain Pathology 20 (2010) 966–975.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3959
Immobilized chemokine fields and soluble chemokine gradients cooperatively shape migration patterns of dendritic cells
K. Schumann, T. Lämmermann, M. Bruckner, D. Legler, J. Polleux, J. Spatz, G. Schuler, R. Förster, M. Lutz, L. Sorokin, M.K. Sixt, Immunity 32 (2010) 703–713.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3960 | OA
MEK signalling tunes actin treadmilling for interstitial lymphocyte migration
M. Weber, M.K. Sixt, EMBO Journal 29 (2010) 2861–2863.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3961 View | DOI
 

2010 | Thesis | IST-REx-ID: 3962
Dendritic cell migration across basement membranes in the skin
H. Pflicke,   Dendritic Cell Migration across Basement Membranes in the Skin, IST Austria, 2010.
View
 

2010 | Journal Article | IST-REx-ID: 3963
Visual discrimination between two sexually deceptive Ophrys species by a bee pollinator
M. Streinzer, T. Ellis, H. Paulus, J. Spaethe, Arthropod-Plant Interactions 4 (2010) 141–148.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3964
Lipschitz functions have L_p-stable persistence
D. Cohen Steiner, H. Edelsbrunner, J. Harer, Y. Mileyko, Foundations of Computational Mathematics 10 (2010) 127–139.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4134
Why is adaptation prevented at ecological margins? New insights from individual-based simulations
J. Bridle, J. Polechova, M. Kawata, R. Butlin, Ecology Letters 13 (2010) 485–494.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4157 | OA
Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis
E. Papusheva, C.-P.J. Heisenberg, EMBO Journal 29 (2010) 2753–2768.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 4163
Planar cell polarity signalling regulates cell adhesion properties in progenitors of the zebrafish laterality organ
P. Oteíza, M. Koeppen, M. Krieg, E. Pulgar, C. Farias, C. Melo, S. Preibisch, D. Mueller, M. Tada, S. Hartel, C.-P.J. Heisenberg, M. Concha, Development 137 (2010) 3459–3468.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4187
A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo
E. Kardash, M. Reichman Fried, J. Maître, B. Boldajipour, E. Papusheva, E. Messerschmidt, C. Heisenberg, E. Raz, Nature Cell Biology 12 (2010) 47–53.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4221
Movement directionality in collective migration of germ layer progenitors
Y. Arboleda Estudillo, M. Krieg, J. Stuehmer, N. Licata, D. Mueller, C.-P.J. Heisenberg, Current Biology 20 (2010) 161–169.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4243 | OA
A new model for evolution in a spatial continuum
N.H. Barton, A. Etheridge, A. Véber, Electronic Journal of Probability 15 (2010) 162–216.
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 4339 | OA
Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch
J. Bergmann, P. Danowski, in:, J. Bergmann, P. Danowski (Eds.), Handbuch Bibliothek 2.0, De Gruyter, 2010, pp. 5–20.
View | Files available | DOI
 

2010 | Other Publication | IST-REx-ID: 4340 | OA
Open bibliographic data
P. Danowski, Open Bibliographic Data, Elsevier, 2010.
View | Files available | Download None (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4341 View | Download (ext.)
 

2010 | Book (Editor) | IST-REx-ID: 4346 | OA
Handbuch Bibliothek 2.0
P. Danowski, J. Bergmann, eds., Handbuch Bibliothek 2.0, De Gruyter, 2010.
View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 4358
Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation
C. Guinane, N. Ben Zakour, M. Tormo Mas, L. Weinert, B. Lowder, R. Cartwright, D. Smyth, C. Smyth, J. Lindsay, K. Gould, A. Witney, J. Hinds, J.P. Bollback, A. Rambaut, J. Penades, J.R. Fitzgerald, Genome Biology and Evolution 2 (2010) 454–466.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4361 | OA
Forward analysis of depth-bounded processes
T. Wies, D. Zufferey, T.A. Henzinger, in:, L. Ong (Ed.), Springer, 2010, pp. 94–108.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4362
Runtime verification for software transactional memories
V. Singh, in:, O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G. Pace (Eds.), Springer, 2010, pp. 421–435.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4364
Counterexample-guided focus
A. Podelski, T. Wies, in:, ACM, 2010, pp. 249–260.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4369 | OA
From MTL to deterministic timed automata
D. Nickovic, N. Piterman, in:, T.A. Henzinger, K. Chatterjee (Eds.), Springer, 2010, pp. 152–167.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4378 | OA
Building a calculus of data structures
V. Kuncak, R. Piskac, P. Suter, T. Wies, in:, G. Barthe, M. Hermenegildo (Eds.), Springer, 2010, pp. 26–44.
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 4379 | OA
Analog property checkers: a DDR2 case study
K. Jones, V. Konrad, D. Nickovic, Formal Methods in System Design 36 (2010) 114–130.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4380 | OA
A marketplace for cloud resources
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2010, pp. 1–8.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4381 | OA
FlexPRICE: Flexible provisioning of resources in a cloud environment
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, IEEE, 2010, pp. 83–90.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4382 | OA
Transactions in the jungle
R. Guerraoui, T.A. Henzinger, M. Kapalka, V. Singh, in:, ACM, 2010, pp. 263–272.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388 | OA
GIST: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, in:, Springer, 2010, pp. 665–669.
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 4389 | OA
Robustness of sequential circuits
L. Doyen, T.A. Henzinger, A. Legay, D. Nickovic, in:, IEEE, 2010, pp. 77–84.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4390 | OA
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, in:, Springer, 2010, pp. 465–479.
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 4392
Quantitative Simulation Games
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Z. Manna, D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli, Springer, 2010, pp. 42–60.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4393 | OA
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–268.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4395
Verifying local transformations on relaxed memory models
S. Burckhardt, M. Musuvathi, V. Singh, in:, R. Gupta (Ed.), Springer, 2010, pp. 104–123.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
Shape refinement through explicit heap analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 10909
Hardness results for homology localization
C. Chen, D. Freedman, in:, Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2010, pp. 1594–1604.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 2796
An experimental study of the decay of turbulent puffs in pipe flow
A. De Lózar, B. Hof, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences 367 (2009) 589–599.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 2797
Quantitative measurement of the life time of turbulence in pipe flow
D. Kuik, C. Poelma, B. Hof, J. Westerweel, in:, Springer, 2009, pp. 145–148.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2868
Hormone interactions at the root apical meristem
E. Benková, J. Hejátko, Plant Molecular Biology 69 (2009) 383–396.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2869
Arabidopsis lateral root development: an emerging story
B. Péret, B. De Rybel, I. Casimiro, E. Benková, R. Swarup, L. Laplaze, T. Beeckman, M. Bennett, Trends in Plant Science 14 (2009) 399–408.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2932
Blossom V: A new implementation of a minimum cost perfect matching algorithm
V. Kolmogorov, Mathematical Programming Computation 1 (2009) 43–67.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3046
Parasitic nematodes modulate PIN mediated auxin transport to facilitate infection
W. Grunewald, B. Cannoot, J. Friml, G. Gheysen, PLoS Pathogens 5 (2009).
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3047
ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis
B. Titapiwatanakun, J. Blakeslee, A. Bandyopadhyay, H. Yang, J. Mravec, M. Sauer, Y. Cheng, J. Adamec, A. Nagashima, M. Geisler, T. Sakai, J. Friml, W. Peer, A. Murphy, Plant Journal 57 (2009) 27–44.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3048
Fluorescence imaging based screen identifies ARF GEF component of early endosomal trafficking
H. Tanaka, S. Kitakura, R. De Rycke, R. De Groodt, J. Friml, Current Biology 19 (2009) 391–397.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3049
Cytokinins modulate auxin induced organogenesis in plants via regulation of the auxin efflux
M. Pernisová, P. Klíma, J. Horák, M. Válková, J. Malbeck, P. Souček, P. Reichman, K. Hoyerová, J. Dubová, J. Friml, E. Zažímalová, J. Hejátko, PNAS 106 (2009) 3609–3614.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3050
Cytokinin regulates root meristem activity via modulation of the polar auxin transport
K. Růžička, M. Šimášková, J. Duclercq, J. Petrášek, E. Zažímalová, S. Simon, J. Friml, M. Van Montagu, E. Benková, PNAS 106 (2009) 4284–4289.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3051 | OA
SnapShot: Auxin signaling and transport
D. Weijers, J. Friml, Cell 136 (2009) 1172–1172.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3052 | OA
Auxin: A trigger for change in plant development
S. Vanneste, J. Friml, Cell 136 (2009) 1005–1016.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3053
A morphogenetic trigger: Is there an emerging concept in plant developmental biology?
E. Benková, M. Ivanchenko, J. Friml, S. Shishkova, J. Dubrovsky, Trends in Plant Science 14 (2009) 189–193.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3054
Auxin and other signals on the move in plants
H. Robert, J. Friml, Nature Chemical Biology 5 (2009) 325–332.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3055
Phosphoinositide-dependent regulation of VAN3 ARF-GAP localization and activity essential for vascular tissue continuity in plants
S. Naramoto, S. Sawa, K. Koizumi, T. Uemura, T. Ueda, J. Friml, A. Nakano, H. Fukuda, Development 136 (2009) 1529–1538.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3056
A regulated auxin minimum is required for seed dispersal in Arabidopsis
K. Sorefan, T. Girin, S. Liljegren, K. Ljung, P. Robles, C. Galván Ampudia, R. Offringa, J. Friml, M. Yanofsky, L. Østergaard, Nature 459 (2009) 583–586.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3057 | OA
Auxin transport routes in plant development
J. Petrášek, J. Friml, Development 136 (2009) 2675–2688.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3058
Subcellular homeostasis of phytohormone auxin is mediated by the ER localized PIN5 transporter
J. Mravec, P. Skůpa, A. Bailly, K. Hoyerová, P. Křeček, A. Bielach, J. Petrášek, J. Zhang, V. Gaykova, Y. Stierhof, P. Dobrev, K. Schwarzerová, J. Rolčík, D. Seifertová, C. Luschnig, E. Benková, E. Zažímalová, M. Geisler, J. Friml, Nature 459 (2009) 1136–1140.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3059
PIN auxin efflux carrier polarity is regulated by PINOID kinase mediated recruitment into GNOM independent trafficking in arabidopsis
J. Kleine Vehn, F. Huang, S. Naramoto, J. Zhang, M. Michniewicz, R. Offringa, J. Friml, Plant Cell 21 (2009) 3839–3849.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3060
Cell biology
K. Schumacher, J. Friml, Current Opinion in Plant Biology 12 (2009) 651–652.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3061 | OA
The PIN-FORMED (PIN) protein family of auxin transporters
P. Křeček, P. Skůpa, J. Libus, S. Naramoto, R. Tejos, J. Friml, E. Zažímalová, Genome Biology 10 (2009).
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3197 | OA
An analysis of convex relaxations for MAP estimation of discrete MRFs
M.P. Kumar, V. Kolmogorov, P. Torr, Journal of Machine Learning Research 10 (2009) 71–106.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3199
Joint optimization of segmentation and appearance models
S. Vicente, V. Kolmogorov, C. Rother, in:, IEEE, 2009, pp. 755–762.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3200
New algorithms for convex cost tension problem with application to computer vision
V. Kolmogorov, A. Shioura, Discrete Optimization 6 (2009) 378–393.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3203
A global perspective on MAP inference for low level vision
O. Woodford, C. Rother, V. Kolmogorov, in:, IEEE, 2009, pp. 2319–2326.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3230
A new randomness extraction paradigm for hybrid encryption
E. Kiltz, K.Z. Pietrzak, M. Stam, M. Yung, in:, Springer, 2009, pp. 590–609.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3231 View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3232
A leakage resilient mode of operation
K.Z. Pietrzak, in:, Springer, 2009, pp. 462–482.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3292
A single UDP galactofuranose transporter is required for galactofuranosylation in Aspergillus fumigatus
J. Engel, P.S. Schmalhorst, T. Dörk Bousset, V. Ferrières, F. Routier, Journal of Biological Chemistry 284 (2009) 33859–33868.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3293
Sensory correlates of imaginal conditioning in Drosophila melanogaster
S. Chakraborty Tuhin, S. Goswami, O. Siddiqi, Journal of Neurogenetics 23 (2009) 210–9.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3304
The rate at which asexual populations cross fitness valleys
D. Weissman, M. Desai, D. Fisher, M. Feldman, Theoretical Population Biology 75 (2009) 286–300.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3309
Mastitis in dairy production: Estimation of sensitivity, specificity and disease prevalence in the absence of a gold standard
C. Uhler, Journal of Agricultural Biological and Environmental Statistics 14 (2009) 79–98.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 337
Reaction regimes on the synthesis of hollow particles by the Kirkendall effect
A. Cabot, M. Ibáñez, P. Guardia, P. Alivisatos, Journal of the American Chemical Society 131 (2009) 11326–11328.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3398
Quiet gene circuit more fragile than its noisy peer
M.T. Bollenbach, R. Kishony, Cell 139 (2009) 460–461.
View | DOI
 

2009 | Thesis | IST-REx-ID: 3400
Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus fumigatus
P.S. Schmalhorst, Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus Fumigatus, Gottfried Wilhelm Leibniz Universität Hannover, 2009.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3408
Periodic forces trigger a complex mechanical response in ubiquitin
P. Szymczak, H.L. Janovjak, Journal of Molecular Biology 390 (2009) 443–456.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8026 | OA
Gating multiple signals through detailed balance of excitation and inhibition in spiking networks
T.P. Vogels, L.F. Abbott, Nature Neuroscience 12 (2009) 483–491.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 8474
Direct detection of 3hJN' hydrogen-bond scalar couplings in proteins by solid-state NMR spectroscopy
P. Schanda, M. Huber, R. Verel, M. Ernst, B. Meier, Angewandte Chemie International Edition 48 (2009) 9322–9325.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8475
Fast-pulsing longitudinal relaxation optimized techniques: Enriching the toolbox of fast biomolecular NMR spectroscopy
P. Schanda, Progress in Nuclear Magnetic Resonance Spectroscopy 55 (2009) 238–265.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8476
Longitudinal-relaxation-enhanced NMR experiments for the study of nucleic acids in solution
J. Farjon, J. Boisbouvier, P. Schanda, A. Pardi, J.-P. Simorre, B. Brutscher, Journal of the American Chemical Society 131 (2009) 8571–8577.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8477
Fast two-dimensional NMR spectroscopy of high molecular weight protein assemblies
C. Amero, P. Schanda, M.A. Durá, I. Ayala, D. Marion, B. Franzetti, B. Brutscher, J. Boisbouvier, Journal of the American Chemical Society 131 (2009) 3448–3449.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8478
Direct observation of the dynamic process underlying allosteric signal transmission
S. Brüschweiler, P. Schanda, K. Kloiber, B. Brutscher, G. Kontaxis, R. Konrat, M. Tollinger, Journal of the American Chemical Society 131 (2009) 3063–3068.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8479
An improved ultrafast 2D NMR experiment: Towards atom-resolved real-time studies of protein kinetics at multi-Hz rates
M. Gal, T. Kern, P. Schanda, L. Frydman, B. Brutscher, Journal of Biomolecular NMR 43 (2009) 1–10.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8508
Conservative homoclinic bifurcations and some applications
A. Gorodetski, V. Kaloshin, Proceedings of the Steklov Institute of Mathematics 267 (2009) 76–90.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
Sliding-window abstraction for infinite Markov chains
T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 337–352.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4535
Approximation of event probabilities in noisy cellular processes
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 173–188.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4540
Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, IEEE, 2009, pp. 199–208.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4542 | OA
Alternating weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4543
Stochastic games with finitary objectives
K. Chatterjee, T.A. Henzinger, F. Horn, in:, Springer, 2009, pp. 34–54.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4544 | OA
Termination criteria for solving concurrent safety and reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4545 | OA
A survey of stochastic games with limsup and liminf objectives
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569 | OA
Better quality in synthesis through quantitative objectives
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 4580 | OA
Alpaga: A tool for solving parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
View | Files available | DOI | Download (ext.)
 

2009 | Technical Report | IST-REx-ID: 5392 | OA
Probabilistic automata on infinite words: Decidability and undecidability results
K. Chatterjee, Probabilistic Automata on Infinite Words: Decidability and Undecidability Results, IST Austria, 2009.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5393 | OA
Gist: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5394 | OA
Improved lower bounds for request-response and finitary Streett games
K. Chatterjee, T.A. Henzinger, F. Horn, Improved Lower Bounds for Request-Response and Finitary Streett Games, IST Austria, 2009.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5395 | OA
Qualitative analysis of partially-observable Markov decision processes
K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 599 | OA
The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function
M. Knuesel, K. Meyer, C. Bernecky, D. Taatjes, Genes and Development 23 (2009) 439–451.
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 7080
Influence of magnetic fields on structural martensitic transitions
X.-D. Yang, P.S. Riseborough, K.A. Modic, R.A. Fisher, C.P. Opeil, T.R. Finlayson, J.C. Cooley, J.L. Smith, P.A. Goddard, A.V. Silhanek, J.C. Lashley, Philosophical Magazine 89 (2009) 2083–2091.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 7319
Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters
M. Reum, S.A. Freunberger, A. Wokaun, F.N. Büchi, Journal of The Electrochemical Society 156 (2009).
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 752
Of choices, failures and asynchrony: the many faces of set agreement
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2009, pp. 943–953.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 7751
The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep
M.R. Robinson, A.J. Wilson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Genetics 181 (2009) 1639–1648.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 110
Reconnection in three dimensions: The role of spines in three eruptive flares
A. Des Jardins, R. Canfield, D. Longcope, C. Fordyce, S.R. Waitukaitis, The Astrophysical Journal 693 (2009) 1628–1636.
View | DOI
 

Search

Filter Publications