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: 3961
J. Renkawitz and M. K. Sixt, “Mechanisms of force generation and force transmission during interstitial leukocyte migration,” EMBO Reports, vol. 11, no. 10. Wiley-Blackwell, pp. 744–750, 2010.
View | DOI
 

2010 | Thesis | IST-REx-ID: 3962
H. Pflicke, “  Dendritic cell migration across basement membranes in the skin,” IST Austria, 2010.
View
 

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

2010 | Journal Article | IST-REx-ID: 3964
D. Cohen Steiner, H. Edelsbrunner, J. Harer, and Y. Mileyko, “Lipschitz functions have L_p-stable persistence,” Foundations of Computational Mathematics, vol. 10, no. 2. Springer, pp. 127–139, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4134
J. Bridle, J. Polechova, M. Kawata, and R. Butlin, “Why is adaptation prevented at ecological margins? New insights from individual-based simulations,” Ecology Letters, vol. 13, no. 4. Wiley-Blackwell, pp. 485–494, 2010.
View | DOI
 

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

2010 | Journal Article | IST-REx-ID: 4163
P. Oteíza et al., “Planar cell polarity signalling regulates cell adhesion properties in progenitors of the zebrafish laterality organ,” Development, vol. 137, no. 20. Company of Biologists, pp. 3459–3468, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4187
E. Kardash et al., “A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo,” Nature Cell Biology, vol. 12, no. 1. Nature Publishing Group, pp. 47–53, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4221
Y. Arboleda Estudillo, M. Krieg, J. Stuehmer, N. Licata, D. Mueller, and C.-P. J. Heisenberg, “Movement directionality in collective migration of germ layer progenitors,” Current Biology, vol. 20, no. 2. Cell Press, pp. 161–169, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4243 | OA
N. H. Barton, A. Etheridge, and A. Véber, “A new model for evolution in a spatial continuum,” Electronic Journal of Probability, vol. 15, no. 7. Institute of Mathematical Statistics, pp. 162–216, 2010.
View | Files available | DOI
 

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

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

2010 | Conference Paper | IST-REx-ID: 4341
P. Danowski, “Step one: blow up the silo! - Open bibliographic data, the first step towards Linked Open Data,” presented at the WLIC: World Library and Information Congress, 2010.
View | Download (ext.)
 

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

2010 | Journal Article | IST-REx-ID: 4358
C. Guinane et al., “Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation,” Genome Biology and Evolution, vol. 2. Oxford University Press, pp. 454–466, 2010.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4361 | OA
T. Wies, D. Zufferey, and T. A. Henzinger, “Forward analysis of depth-bounded processes,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus, 2010, vol. 6014, pp. 94–108.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4362
V. Singh, “Runtime verification for software transactional memories,” presented at the RV: International Conference on Runtime Verification, St. Julians, Malta, 2010, vol. 6418, pp. 421–435.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4364
A. Podelski and T. Wies, “Counterexample-guided focus,” presented at the POPL: Principles of Programming Languages, 2010, pp. 249–260.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4369 | OA
D. Nickovic and N. Piterman, “From MTL to deterministic timed automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria, 2010, vol. 6246, pp. 152–167.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4378 | OA
V. Kuncak, R. Piskac, P. Suter, and T. Wies, “Building a calculus of data structures,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 26–44.
View | DOI | Download Submitted Version (ext.)
 

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

2010 | Conference Paper | IST-REx-ID: 4380 | OA
T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “A marketplace for cloud resources,” presented at the EMSOFT: Embedded Software , Arizona, USA, 2010, pp. 1–8.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4381 | OA
T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “FlexPRICE: Flexible provisioning of resources in a cloud environment,” presented at the CLOUD: Cloud Computing, Miami, USA, 2010, pp. 83–90.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4382 | OA
R. Guerraoui, T. A. Henzinger, M. Kapalka, and V. Singh, “Transactions in the jungle,” presented at the SPAA: ACM Symposium on Parallel Algorithms and Architectures, Santorini, Greece, 2010, pp. 263–272.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388 | OA
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, “GIST: A solver for probabilistic games,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 665–669.
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 4389 | OA
L. Doyen, T. A. Henzinger, A. Legay, and D. Nickovic, “Robustness of sequential circuits,” presented at the ACSD: Application of Concurrency to System Design, 2010, pp. 77–84.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4390 | OA
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, “Model checking of linearizability of concurrent list implementations,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 465–479.
View | Files available | DOI
 

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

2010 | Conference Paper | IST-REx-ID: 4393 | OA
P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Simulation distances,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 235–268.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4395
S. Burckhardt, M. Musuvathi, and V. Singh, “Verifying local transformations on relaxed memory models,” presented at the CC: Compiler Construction, Pahos, Cyprus, 2010, vol. 6011, pp. 104–123.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
D. Beyer, T. A. Henzinger, G. Théoduloz, and D. Zufferey, “Shape refinement through explicit heap analysis,” presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 263–277.
View | Files available | DOI
 

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

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

2009 | Conference Paper | IST-REx-ID: 2797
D. Kuik, C. Poelma, B. Hof, and J. Westerweel, “Quantitative measurement of the life time of turbulence in pipe flow,” presented at the EETC11: European Turbulence Conference, 2009, vol. 132, pp. 145–148.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2868
E. Benková and J. Hejátko, “Hormone interactions at the root apical meristem,” Plant Molecular Biology, vol. 69, no. 4. Springer, pp. 383–396, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2869
B. Péret et al., “Arabidopsis lateral root development: an emerging story,” Trends in Plant Science, vol. 14, no. 7. Cell Press, pp. 399–408, 2009.
View | DOI
 

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

2009 | Journal Article | IST-REx-ID: 3046
W. Grunewald, B. Cannoot, J. Friml, and G. Gheysen, “Parasitic nematodes modulate PIN mediated auxin transport to facilitate infection,” PLoS Pathogens, vol. 5, no. 1. Public Library of Science, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3047
B. Titapiwatanakun et al., “ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis,” Plant Journal, vol. 57, no. 1. Wiley-Blackwell, pp. 27–44, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3048
H. Tanaka, S. Kitakura, R. De Rycke, R. De Groodt, and J. Friml, “Fluorescence imaging based screen identifies ARF GEF component of early endosomal trafficking,” Current Biology, vol. 19, no. 5. Cell Press, pp. 391–397, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3049
M. Pernisová et al., “Cytokinins modulate auxin induced organogenesis in plants via regulation of the auxin efflux,” PNAS, vol. 106, no. 9. National Academy of Sciences, pp. 3609–3614, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3050
K. Růžička et al., “Cytokinin regulates root meristem activity via modulation of the polar auxin transport,” PNAS, vol. 106, no. 11. National Academy of Sciences, pp. 4284–4289, 2009.
View | DOI
 

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

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

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

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

2009 | Journal Article | IST-REx-ID: 3055
S. Naramoto et al., “Phosphoinositide-dependent regulation of VAN3 ARF-GAP localization and activity essential for vascular tissue continuity in plants,” Development, vol. 136, no. 9. Company of Biologists, pp. 1529–1538, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3056
K. Sorefan et al., “A regulated auxin minimum is required for seed dispersal in Arabidopsis,” Nature, vol. 459, no. 7246. Nature Publishing Group, pp. 583–586, 2009.
View | DOI
 

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

2009 | Journal Article | IST-REx-ID: 3058
J. Mravec et al., “Subcellular homeostasis of phytohormone auxin is mediated by the ER localized PIN5 transporter,” Nature, vol. 459, no. 7250. Nature Publishing Group, pp. 1136–1140, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3059
J. Kleine Vehn et al., “PIN auxin efflux carrier polarity is regulated by PINOID kinase mediated recruitment into GNOM independent trafficking in arabidopsis,” Plant Cell, vol. 21, no. 12. American Society of Plant Biologists, pp. 3839–3849, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3060
K. Schumacher and J. Friml, “Cell biology,” Current Opinion in Plant Biology, vol. 12, no. 6. Elsevier, pp. 651–652, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3061 | OA
P. Křeček et al., “The PIN-FORMED (PIN) protein family of auxin transporters,” Genome Biology, vol. 10, no. 12. BioMed Central, 2009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

2009 | Conference Paper | IST-REx-ID: 3199
S. Vicente, V. Kolmogorov, and C. Rother, “Joint optimization of segmentation and appearance models,” presented at the ICCV: International Conference on Computer Vision, 2009, pp. 755–762.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3200
V. Kolmogorov and A. Shioura, “New algorithms for convex cost tension problem with application to computer vision,” Discrete Optimization, vol. 6, no. 4. Elsevier, pp. 378–393, 2009.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3203
O. Woodford, C. Rother, and V. Kolmogorov, “A global perspective on MAP inference for low level vision,” presented at the ICCV: International Conference on Computer Vision, 2009, pp. 2319–2326.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3230
E. Kiltz, K. Z. Pietrzak, M. Stam, and M. Yung, “A new randomness extraction paradigm for hybrid encryption,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, 2009, vol. 5479, pp. 590–609.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3231
E. Kiltz and K. Z. Pietrzak, “On the security of padding based encryption schemes Why We cannot prove OAEP secure in the standard model,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, 2009, vol. 5479, pp. 389–406.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3232
K. Z. Pietrzak, “A leakage resilient mode of operation,” presented at the CRYPTO: International Cryptology Conference, 2009, vol. 5479, pp. 462–482.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3292
J. Engel, P. S. Schmalhorst, T. Dörk Bousset, V. Ferrières, and F. Routier, “A single UDP galactofuranose transporter is required for galactofuranosylation in Aspergillus fumigatus,” Journal of Biological Chemistry, vol. 284, no. 49. American Society for Biochemistry and Molecular Biology, pp. 33859–33868, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3293
S. Chakraborty Tuhin, S. Goswami, and O. Siddiqi, “Sensory correlates of imaginal conditioning in Drosophila melanogaster,” Journal of Neurogenetics, vol. 23, no. 1–2. Informa Healthcare, pp. 210–9, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3304
D. Weissman, M. Desai, D. Fisher, and M. Feldman, “The rate at which asexual populations cross fitness valleys,” Theoretical Population Biology, vol. 75, no. 4. Academic Press, pp. 286–300, 2009.
View | DOI
 

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

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

2009 | Journal Article | IST-REx-ID: 3398
M. T. Bollenbach and R. Kishony, “Quiet gene circuit more fragile than its noisy peer,” Cell, vol. 139, no. 3. Cell Press, pp. 460–461, 2009.
View | DOI
 

2009 | Thesis | IST-REx-ID: 3400
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
P. Szymczak and H. L. Janovjak, “Periodic forces trigger a complex mechanical response in ubiquitin,” Journal of Molecular Biology, vol. 390, no. 3. Elsevier, pp. 443–456, 2009.
View | DOI
 

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

2009 | Journal Article | IST-REx-ID: 8474
P. Schanda, M. Huber, R. Verel, M. Ernst, and B. Meier, “Direct detection of 3hJN’ hydrogen-bond scalar couplings in proteins by solid-state NMR spectroscopy,” Angewandte Chemie International Edition, vol. 48, no. 49. Wiley, pp. 9322–9325, 2009.
View | DOI
 

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

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

2009 | Journal Article | IST-REx-ID: 8477
C. Amero et al., “Fast two-dimensional NMR spectroscopy of high molecular weight protein assemblies,” Journal of the American Chemical Society, vol. 131, no. 10. American Chemical Society, pp. 3448–3449, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8478
S. Brüschweiler et al., “Direct observation of the dynamic process underlying allosteric signal transmission,” Journal of the American Chemical Society, vol. 131, no. 8. American Chemical Society, pp. 3063–3068, 2009.
View | DOI
 

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

2009 | Journal Article | IST-REx-ID: 8508
A. Gorodetski and V. Kaloshin, “Conservative homoclinic bifurcations and some applications,” Proceedings of the Steklov Institute of Mathematics, vol. 267, no. 1. Springer Nature, pp. 76–90, 2009.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
T. A. Henzinger, M. Mateescu, and V. Wolf, “Sliding-window abstraction for infinite Markov chains,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 337–352.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4535
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Approximation of event probabilities in noisy cellular processes,” presented at the CMSB: Computational Methods in Systems Biology, 2009, vol. 5688, pp. 173–188.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4540
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Expressiveness and closure properties for quantitative languages,” presented at the LICS: Logic in Computer Science, 2009, pp. 199–208.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4542 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Alternating weighted automata,” presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland, 2009, vol. 5699, pp. 3–13.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4543
K. Chatterjee, T. A. Henzinger, and F. Horn, “Stochastic games with finitary objectives,” presented at the MFCS: Mathematical Foundations of Computer Science, High Tatras, Slovakia, 2009, vol. 5734, pp. 34–54.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4544 | OA
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Termination criteria for solving concurrent safety and reachability games,” presented at the SODA: Symposium on Discrete Algorithms, 2009, pp. 197–206.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4545 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of stochastic games with limsup and liminf objectives,” presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece, 2009, vol. 5556, pp. 1–15.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569 | OA
R. Bloem, K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Better quality in synthesis through quantitative objectives,” presented at the CAV: Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 140–156.
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 4580 | OA
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Alpaga: A tool for solving parity games with imperfect information,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2009, vol. 5505, pp. 58–61.
View | Files available | DOI | Download (ext.)
 

2009 | Technical Report | IST-REx-ID: 5392 | OA
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
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, Gist: A solver for probabilistic games. IST Austria, 2009.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5394 | OA
K. Chatterjee, T. A. Henzinger, and 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
K. Chatterjee, L. Doyen, and 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
M. Knuesel, K. Meyer, C. Bernecky, and D. Taatjes, “The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function,” Genes and Development, vol. 23, no. 4. Cold Spring Harbor Laboratory Press, pp. 439–451, 2009.
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 7080
X.-D. Yang et al., “Influence of magnetic fields on structural martensitic transitions,” Philosophical Magazine, vol. 89, no. 22–24. Taylor & Francis, pp. 2083–2091, 2009.
View | DOI
 

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

2009 | Conference Paper | IST-REx-ID: 752
D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “Of choices, failures and asynchrony: the many faces of set agreement,” presented at the ISAAC: International Symposium on Algorithms and Computation, 2009, vol. 5878 LNCS, pp. 943–953.
View | DOI
 

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

2009 | Journal Article | IST-REx-ID: 110
A. Des Jardins, R. Canfield, D. Longcope, C. Fordyce, and S. R. Waitukaitis, “Reconnection in three dimensions: The role of spines in three eruptive flares,” The Astrophysical Journal, vol. 693, no. 2. IOP Publishing Ltd., pp. 1628–1636, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 111
J. Royer et al., “High-speed tracking of rupture and clustering in freely falling granular streams,” Nature, vol. 459, no. 7250. Nature Publishing Group, pp. 1110–1113, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 11103 | OA
M. W. HETZER and S. R. Wente, “Border control at the nucleus: Biogenesis and organization of the nuclear membrane and pore complexes,” Developmental Cell, vol. 17, no. 5. Elsevier, pp. 606–616, 2009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11105 | OA
M. Capelson and M. W. HETZER, “The role of nuclear pores in gene regulation, development and disease,” EMBO reports, vol. 10, no. 7. EMBO, pp. 697–705, 2009.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11106 | OA
D. J. Anderson, J. D. Vargas, J. P. Hsiao, and M. W. HETZER, “Recruitment of functionally distinct membrane proteins to chromatin mediates nuclear envelope formation in vivo,” Journal of Cell Biology, vol. 186, no. 2. Rockefeller University Press, pp. 183–191, 2009.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11107 | OA
T. R. Dawson, M. D. Lazarus, M. W. HETZER, and S. R. Wente, “ER membrane–bending proteins are necessary for de novo nuclear pore formation,” Journal of Cell Biology, vol. 184, no. 5. Rockefeller University Press, pp. 659–675, 2009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications