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.

7759 Publications


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

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

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

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

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

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

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

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

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

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

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

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

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

2010 | Conference Paper | IST-REx-ID: 4361 | OA
Wies T, Zufferey D, Henzinger TA. 2010. Forward analysis of depth-bounded processes. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 6014, 94–108.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4362
Singh V. 2010. Runtime verification for software transactional memories. RV: International Conference on Runtime Verification, LNCS, vol. 6418, 421–435.
View | DOI
 

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

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

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

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

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

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

2010 | Conference Paper | IST-REx-ID: 4382 | OA
Guerraoui R, Henzinger TA, Kapalka M, Singh V. 2010. Transactions in the jungle. SPAA: ACM Symposium on Parallel Algorithms and Architectures, 263–272.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388 | OA
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2010. GIST: A solver for probabilistic games. CAV: Computer Aided Verification, LNCS, vol. 6174, 665–669.
View | Files available | DOI | arXiv
 

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

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

2010 | Book Chapter | IST-REx-ID: 4392
Cerny P, Henzinger TA, Radhakrishna A. 2010.Quantitative Simulation Games. In: Time For Verification: Essays in Memory of Amir Pnueli. LNCS, vol. 6200, 42–60.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4393 | OA
Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances. CONCUR: Concurrency Theory, LNCS, vol. 6269, 235–268.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4395
Burckhardt S, Musuvathi M, Singh V. 2010. Verifying local transformations on relaxed memory models. CC: Compiler Construction, LNCS, vol. 6011, 104–123.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. 2010. Shape refinement through explicit heap analysis. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 6013, 263–277.
View | Files available | DOI
 

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

2010 | Conference Paper | IST-REx-ID: 10908 | OA
Blanc R, Henzinger TA, Hottelier T, Kovács L. 2010. ABC: Algebraic Bound Computation for loops. Logic for Programming, Artificial Intelligence, and Reasoning. LPAR: Conference on Logic for Programming, Artificial Intelligence and ReasoningLNCS vol. 6355, 103–118.
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 11099
Doucet CM, Hetzer M. 2010. Nuclear pore biogenesis into an intact nuclear envelope. Chromosoma. 119, 469–477.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11102 | OA
Capelson M, Liang Y, Schulte R, Mair W, Wagner U, Hetzer M. 2010. Chromatin-bound nuclear pore components regulate gene expression in higher eukaryotes. Cell. 140(3), 372–383.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11101 | OA
Doucet CM, Talamas JA, Hetzer M. 2010. Cell cycle-dependent differences in nuclear pore complex assembly in metazoa. Cell. 141(6), 1030–1041.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11097
Hetzer M. 2010. The nuclear envelope. Cold Spring Harbor Perspectives in Biology. 2(3), a000539–a000539.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11098 | OA
Hetzer M. 2010. The role of the nuclear pore complex in aging of post-mitotic cells. Aging. 2(2), 74–75.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Conference Paper | IST-REx-ID: 11753
Lang SB, Lashley JC, Modic KA, Fisher RA, Zhu WM, Ye ZG. 2010. Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary. Proceedings of the 2010 IEEE International Conference on Solid Dielectrics. ICSD: International Conference on Solid Dielectrics, 5568033.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 11754
Lang SB, Lashley JC, Modic KA, Fisher RA, Zhu WM, Ye ZG. 2010. Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary. 15th IEEE Mediterranean Electrotechnical Conference. MELECON: Mediterranean Electrotechnical Conference, 5476345.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3792
Carvalho L, Heisenberg C-PJ. 2010. The yolk syncytial layer in early, zebrafish development. Trends in Cell Biology. 20(10), 586–592.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 11975
Pieber B, Schober S, Goebl C, Mittelbach M. 2010. Novel sensitive determination of steryl glycosides in biodiesel by gas chromatography-mass spectroscopy. Journal of Chromatography A. 1217(42), 6555–6561.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 12199
Feng X, Dickinson HG. 2010. Tapetal cell fate, lineage and proliferation in the Arabidopsis anther. Development. 137(14), 2409–2416.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 12200
Feng X, Dickinson HG. 2010. Cell–cell interactions during patterning of the Arabidopsis anther. Biochemical Society Transactions. 38(2), 571–576.
View | DOI | PubMed | Europe PMC
 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2009 | Conference Paper | IST-REx-ID: 3232
Pietrzak KZ. 2009. A leakage resilient mode of operation. CRYPTO: International Cryptology Conference, LNCS, vol. 5479, 462–482.
View | DOI
 

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

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

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

2009 | Journal Article | IST-REx-ID: 3309
Uhler C. 2009. 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. 14(1), 79–98.
View | DOI
 

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

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

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

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

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

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

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

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

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

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

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

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

2009 | Conference Paper | IST-REx-ID: 4453 | OA
Henzinger TA, Mateescu M, Wolf V. 2009. Sliding-window abstraction for infinite Markov chains. CAV: Computer Aided Verification, LNCS, vol. 5643, 337–352.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4535
Didier F, Henzinger TA, Mateescu M, Wolf V. 2009. Approximation of event probabilities in noisy cellular processes. CMSB: Computational Methods in Systems Biology, LNCS, vol. 5688, 173–188.
View | Files available | DOI
 

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

2009 | Conference Paper | IST-REx-ID: 4542 | OA
Chatterjee K, Doyen L, Henzinger TA. 2009. Alternating weighted automata. FCT: Fundamentals of Computation Theory, LNCS, vol. 5699, 3–13.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4543
Chatterjee K, Henzinger TA, Horn F. 2009. Stochastic games with finitary objectives. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 5734, 34–54.
View | DOI
 

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

2009 | Conference Paper | IST-REx-ID: 4545 | OA
Chatterjee K, Doyen L, Henzinger TA. 2009. A survey of stochastic games with limsup and liminf objectives. ICALP: Automata, Languages and Programming, LNCS, vol. 5556, 1–15.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569 | OA
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. 2009. Better quality in synthesis through quantitative objectives. CAV: Computer Aided Verification, LNCS, vol. 5643, 140–156.
View | DOI | Download Preprint (ext.) | arXiv
 

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

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

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

2009 | Technical Report | IST-REx-ID: 5394 | OA
Chatterjee K, Henzinger TA, Horn F. 2009. Improved lower bounds for request-response and finitary Streett games, IST Austria, 11p.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5395 | OA
Chatterjee K, Doyen L, Henzinger TA. 2009. Qualitative analysis of partially-observable Markov decision processes, IST Austria, 20p.
View | Files available | DOI
 

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

Search

Filter Publications