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.

7340 Publications


2009 | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee K, Henzinger TA, Horn F. 2009. Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). 11(1), 1.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee K, Doyen L, Henzinger TA. 2009. Probabilistic weighted automata. CONCUR: Concurrency Theory, LNCS, vol. 5710, 244–258.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3946 | OA
Cremer S, Sixt MK. 2009. Analogies in the evolution of individual and social immunity. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 364(1513), 129–142.
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 3947
Lämmermann T, Renkawitz J, Wu X, Hirsch K, Brakebusch C, Sixt MK. 2009. Cdc42-dependent leading edge coordination is essential for interstitial dendritic cell migration (Plenary Paper). Blood. 113(23), 5703–5710.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3948
Bauer M, Brakebusch C, Coisne C, Sixt MK, Wekerle H, Engelhardt B, Fässler R. 2009. β1 integrins differentially control extravasation of inflammatory cell subsets into the CNS during autoimmunity. PNAS. 106(6), 1920–1925.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3949
Quast T, Tappertzhofen B, Schild C, Grell J, Czeloth N, Förster R, Alon R, Fraemohs L, Dreck K, Weber C, Lämmermann T, Sixt MK, Kolanus W. 2009. Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells. Blood. 113(23), 5801–5810.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3950
Moser M, Bauer M, Schmid S, Ruppert R, Schmidt S, Sixt MK, Wang H, Sperandio M, Fässler R. 2009. Kindlin-3 is required for β2 integrin-mediated leukocyte adhesion to endothelial cells. Nature Medicine. 15(3), 300–305.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3951
Lämmermann T, Sixt MK. 2009. Mechanical modes of ‘amoeboid’ cell migration. Current Opinion in Cell Biology. 21(5), 636–644.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3952
Schymeinsky J, Gerstl R, Mannigel I, Niedung K, Frommhold D, Panthel K, Heesemann J, Sixt MK, Quast T, Kolanus W, Mocsai A, Wienands J, Sperandio M, Walzog B. 2009. A fundamental role of mAbp1 in neutrophils: impact on β(2) integrin-mediated phagocytosis and adhesion in vivo. Blood. 114(19), 4209–4220.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3953
Wolf A, Eller K, Zeiser R, Dürr C, Gerlach U, Sixt MK, Markut L, Gastl G, Rosenkranz A, Wolf D. 2009. The sphingosine 1-phosphate receptor agonist FTY720 potently inhibits regulatory T cell proliferation in vitro and in vivo. Journal of Immunology. 183(6), 3751–3760.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3954
Renkawitz J, Schumann K, Weber M, Lämmermann T, Pflicke H, Piel M, Polleux J, Spatz J, Sixt MK. 2009. Adaptive force transmission in amoeboid cell migration. Nature Cell Biology. 11(12), 1438–1443.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3955
Pflicke H, Sixt MK. 2009. Preformed portals facilitate dendritic cell entry into afferent lymphatic vessels. The Journal of Experimental Medicine. 206(13), 2925–2935.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3966
Cohen Steiner D, Edelsbrunner H, Harer J. 2009. Extending persistence using Poincare and Lefschetz duality. Foundations of Computational Mathematics. 9(1), 79–103.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3967
Cohen Steiner D, Edelsbrunner H, Harer J, Morozov D. 2009. Persistent homology for kernels, images, and cokernels. SODA: Symposium on Discrete Algorithms, 1011–1020.
View
 

2009 | Conference Paper | IST-REx-ID: 3968 | OA
Edelsbrunner H, Harer J. 2009. The persistent Morse complex segmentation of a 3-manifold. 3DPH: Modelling the Physiological Human, LNCS, vol. 5903, 36–50.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 4136 | OA
Polechova J, Barton NH, Marion G. 2009. Species’ range: Adaptation in space and time. American Naturalist. 174(5), E186–E204.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 4143
Ulrich F, Heisenberg C-PJ. 2009. Trafficking and cell migration. Traffic. 10(7), 811–818.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4149
Soete G, Heisenberg C-PJ. 2009. The role of the extracellular matrix in Kupffer’s vesicle formation in zebrafish. Mechanisms of Development. 126, S168–S168.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4158
Paluch E, Heisenberg C-PJ. 2009. Biology and physics of cell shape changes in development. Current Biology. 19(17), R790–R799.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4159
Paluch E, Heisenberg C-PJ. 2009. Chaos begets order: Asynchronous cell contractions drive epithelial morphogenesis. Developmental Cell. 16(1), 4–6.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4160
Oteíza P, Lemus C, Köppen M, Palma K, Krieg M, Melo C, Farias C, Pulgar E, Preibisch S, Hartel S, Heisenberg C-PJ, Concha M. 2009. Linking organ formation to left-right patterning in the embryonic zebrafish. Mechanisms of Development. 126(Supplement 1), S11–S11.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4162
Oteíza P, Köppen M, Krieg M, Preibisch S, Haertel S, Müller D, Heisenberg C-PJ, Concha M. 2009. Wnt11/Pk1a-mediated planar cell polarity signalling orchestrates epithelial organ morphogenesis by regulating N-cadherin dependent cell adhesion forces. Mechanisms of Development. 126(Supplement 1), S80–S80.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4165
Oates A, Gorfinkiel N, Gonzalez Gaitan M, Heisenberg C-PJ. 2009. Quantitative approaches in developmental biology. Nature Reviews Genetics. 10(8), 517–530.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4192
Kai M, Buchan N, Heisenberg C-PJ, Tada M. 2009. Regulation of planar cell polarity signalling by the prenylation pathway. Mechanisms of Development. 126(Supplement 1), S132–S132.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4206
Heisenberg C-PJ. 2009. Dorsal closure in Drosophila: cells cannot get out of the tight spot. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. 31(12), 1284–1287.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4217
Carvalho L, Stuehmer J, Bois J, Kalaidzidis Y, Lecaudey V, Heisenberg C-PJ. 2009. Control of convergent yolk syncytial layer nuclear movement in zebrafish. Development. 136(8), 1305–1315.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4223
Swoboda J, Meredith T, Campbell J, Brown S, Suzuki T, Bollenbach MT, Malhowski A, Kishony R, Gilmore M, Walker S. 2009. Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus. ACS Chemical Biology. 4(10), 875–883.
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 4228
Bollenbach T, Quan S, Chait RP, Kishony R. 2009. Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions. Cell. 139(4), 707–718.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4231
Barton NH, De Vladar H. 2009. Statistical mechanics and the evolution of polygenic quantitative traits. Genetics. 181(3), 997–1011.
View | DOI
 

2009 | Thesis | IST-REx-ID: 4232
de Vladar H. 2009. Stochasticity and Variability in the dynamics and genetics of populations. Faculty of mathematical and natural sciences, University of Groningen.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 4242 | OA
Barton NH, De Cara M. 2009. The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. 63(5), 1171–1190.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 4357
Bollback JP, Huelsenbeck J. 2009. Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence. Genetics. 181(1), 225–234.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4360
Wies T, Piskac R, Kuncak V. 2009. Combining Theories with Shared Set Operations. FroCoS: Frontiers of Combining Systems, LNCS 5749, , 366–382.
View | DOI
 

2009 | Thesis | IST-REx-ID: 4363
Singh V. 2009. Formalizing and Verifying Transactional Memories. EPFL Lausanne.
View
 

2009 | Conference Paper | IST-REx-ID: 4365
Seghir M, Podelski A, Wies T. 2009. Abstraction Refinement for Quantified Array Assertions. SAS: Static Analysis Symposium, LNCS 5673, , 3–18.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4375
Lahiri S, Qadeer S, Galeotti J, Voung J, Wies T. 2009. Intra-module Inference. CAV: Computer Aided Verification, LNCS 5643, , 493–508.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4376
Lublinerman R, Chaudhuri S, Cerny P. 2009. Parallel programming with object assemblies. Oopsla Object Oriented Programming Systems Languages and Applications, 61–80.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4377
Hoenicke J, Leino KR, Podelski A, Schäf M, Wies T. 2009. It’s Doomed; We Can Prove It. FM: Formal Methods, LNCS 5850, , 338–353.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
Guerraoui R, Henzinger TA, Singh V. 2009. Software transactional memory on relaxed memory models. CAV: Computer Aided Verification, LNCS, vol. 5643, 321–336.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4385
Dragojevic A, Guerraoui R, Singh A, Singh V. 2009. Preventing versus curing: avoiding conflicts in transactional memories. POPL: Principles of Programming Languages, 7–16.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4391
Cerny P, Alur R. 2009. Automated Analysis of Java Methods for Confidentiality. CAV: Computer Aided Verification, LNCS, , 173–187.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
Alur R, Cerny P, Weinstein S. 2009. Algorithmic analysis of array-accessing programs. CSL: Computer Science Logic, LNCS, vol. 5771, 86–101.
View | Files available | DOI | Download Submitted Version (ext.)
 

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

2009 | Journal Article | IST-REx-ID: 11107 | OA
Dawson TR, Lazarus MD, Hetzer M, Wente SR. 2009. ER membrane–bending proteins are necessary for de novo nuclear pore formation. Journal of Cell Biology. 184(5), 659–675.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11103 | OA
Hetzer M, Wente SR. 2009. Border control at the nucleus: Biogenesis and organization of the nuclear membrane and pore complexes. Developmental Cell. 17(5), 606–616.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11108 | OA
D’Angelo MA, Raices M, Panowski SH, Hetzer M. 2009. Age-dependent deterioration of nuclear pore complexes causes a loss of nuclear integrity in postmitotic cells. Cell. 136(2), 284–295.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11106 | OA
Anderson DJ, Vargas JD, Hsiao JP, Hetzer M. 2009. Recruitment of functionally distinct membrane proteins to chromatin mediates nuclear envelope formation in vivo. Journal of Cell Biology. 186(2), 183–191.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 2795
Hof B, De Lózar A, Kuik D, Westerweel J. 2008. Repeller or attractor? Selecting the dynamical model for the onset of turbulence in pipe flow. Physical Review Letters. 101(21).
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2892
Azevedo R, Lohaus R, Paixao T. 2008. Networking networks. Evolution & Development. 10(5), 514–515.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3030
Růčková E, Friml J, Procházková Schrumpfová P, Fajkus J. 2008. Role of alternative telomere lengthening unmasked in telomerase knock-out mutant plants. Plant Molecular Biology. 66(6), 637–646.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3031
Dhonukshe P, Grigoriev I, Fischer R, Tominaga M, Robinson D, Hašek J, Paciorek T, Petrášek J, Seifertová D, Tejos R, Meisel L, Zažímalová E, Gadella T, Stierhof Y, Ueda T, Oiwa K, Akhmanova A, Brock R, Spang A, Friml J. 2008. Auxin transport inhibitors impair vesicle motility and actin cytoskeleton dynamics in diverse eukaryotes. PNAS. 105(11), 4489–4494.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3032
Kleine Vehn J, Dhonukshe P, Sauer M, Brewer P, Wiśniewska J, Paciorek T, Benková E, Friml J. 2008. ARF GEF dependent transcytosis and polar delivery of PIN auxin carriers in Arabidopsis. Current Biology. 18(7), 526–531.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3033
Sauer M, Friml J. 2008.Visualization of auxin gradients in embryogenesis . In: Plant Embryogenesis. Methods In Molecular Biology, vol. 427, 137–144.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3034
Friml J, Sauer M. 2008. Plant biology: In their neighbour’s shadow. Nature. 453(7193), 298–299.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3035
Sauer M, Friml J. 2008.In vitro culture of Arabidopsis embryos . In: Plant Embryogenesis. Methods In Molecular Biology, vol. 427, 71–76.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3036
Dubrovsky J, Sauer M, Napsucialy Mendivil S, Ivanchenko M, Friml J, Shishkova S, Celenza J, Benková E. 2008. Auxin acts as a local morphogenetic trigger to specify lateral root founder cells. PNAS. 105(25), 8790–8794.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3037 | OA
Feraru E, Friml J. 2008. PIN polar targeting. Plant Physiology. 147(4), 1553–1559.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3038
Swarup K, Benková E, Swarup R, Casimiro I, Péret B, Yang Y, Parry G, Nielsen E, De Smet I, Vanneste S, Levesque M, Carrier D, James N, Calvo V, Ljung K, Kramer E, Roberts R, Graham N, Marillonnet S, Patel K, Jones J, Taylor C, Schachtman D, May S, Sandberg G, Benfey P, Friml J, Kerr I, Beeckman T, Laplaze L, Bennett M. 2008. The auxin influx carrier LAX3 promotes lateral root emergence. Nature Cell Biology. 10(8), 946–954.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3039
De Smet I, Vassileva V, De Rybel B, Levesque M, Grunewald W, Van Damme D, Van Noorden G, Naudts M, Van Isterdael G, De Clercq R, Wang J, Meuli N, Vanneste S, Friml J, Hilson P, Jürgens G, Ingram G, Inzé D, Benfey P, Beeckman T. 2008. Receptor-like kinase ACR4 restricts formative cell divisions in the Arabidopsis root. Science. 322(5901), 594–597.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3040
Kleine Vehn J, Łangowski Ł, Wiśniewska J, Dhonukshe P, Brewer P, Friml J. 2008. Cellular and molecular requirements for polar PIN targeting and transcytosis in plants. Molecular Plant. 1(6), 1056–1066.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3041
Santelia D, Henrichs S, Vincenzetti V, Sauer M, Bigler L, Klein M, Bailly A, Lee Y, Friml J, Geisler M, Martinoia E. 2008. Flavonoids redirect PIN mediated polar auxin fluxes during root gravitropic responses. Journal of Biological Chemistry. 283(45), 31218–31226.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3042
Kleine Vehn J, Leitner J, Zwiewka M, Sauer M, Abas L, Luschnig C, Friml J. 2008. Differential degradation of PIN2 auxin efflux carrier by retromer dependent vacuolar targeting. PNAS. 105(46), 17812–17817.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3043
Kleine Vehn J, Friml J. 2008. Polar targeting and endocytic recycling in auxin-dependent plant development. Annual Review of Cell and Developmental Biology. 24, 447–473.
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3044
Mravec J, Kubeš M, Bielach A, Gaykova V, Petrášek J, Skůpa P, Chand S, Benková E, Zažímalová E, Friml J. 2008. Interaction of PIN and PGP transport mechanisms in auxin distribution-dependent development. Development. 135(20), 3345–3354.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3045
Dhonukshe P, Tanaka H, Goh T, Ebine K, Mähönen A, Prasad K, Blilou I, Geldner N, Xu J, Uemura T, Chory J, Ueda T, Nakano A, Scheres B, Friml J. 2008. Generation of cell polarity in plants links endocytosis auxin distribution and cell fate decisions. Nature. 456(7224), 962–966.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3194
Kohli P, Shekhovtsov A, Rother C, Kolmogorov V, Torr P. 2008. On partial optimality in multi label MRFs. ICML: International Conference on Machine Learning, 480–487.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3195
Vicente S, Kolmogorov V, Rother C. 2008. Graph cut based image segmentation with connectivity priors. CVPR: Computer Vision and Pattern Recognition.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3196
Szeliski R, Zabih R, Scharstein D, Veksler O, Kolmogorov V, Agarwala A, Tappen M, Rother C. 2008. A comparative study of energy minimization methods for Markov random fields with smoothness-based priors. IEEE Transactions on Pattern Analysis and Machine Intelligence. 30(6), 1068–1080.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3198
Torresani L, Kolmogorov V, Rother C. 2008. Feature correspondence via graph matching: Models and global optimization. ECCV: European Conference on Computer Vision, LNCS, vol. 5303, 596–609.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3224
Dodis Y, Pietrzak KZ, Puniya P. 2008. A new mode of operation for block ciphers and length preserving MACs. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 4965, 198–219.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3225
Fischlin M, Lehmann A, Pietrzak KZ. 2008. Robust multi property combiners for hash functions revisited. ICALP: Automata, Languages and Programming, LNCS, vol. 5126, 655–666.
View | Files available | DOI
 

2008 | Conference Paper | IST-REx-ID: 3226
Pietrzak KZ, Sjödin J. 2008. Weak pseudorandom functions in minicrypt. ICALP: Automata, Languages and Programming, LNCS, vol. 5126, 423–436.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3227
Zubielik P, Nadaczny J, Pietrzak KZ, Lawenda M. 2008. Elektrowiz – system of measurement data management. Przeglad Elektrotechniczny. 84(10), 239–242.
View | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3228
Pietrzak KZ. 2008. Compression from collisions or why CRHF combiners have a long output. CRYPTO: International Cryptology Conference, LNCS, vol. 5157, 413–432.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3229
Dziembowski S, Pietrzak KZ. 2008. Leakage resilient cryptography. FOCS: Foundations of Computer Science, 293–302.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3291
Schmalhorst PS, Krappmann S, Vervecken W, Rohde M, Müller M, Braus G, Contreras R, Braun A, Bakker H, Routier F. 2008. Contribution of galactofuranose to the virulence of the opportunistic pathogen Aspergillus fumigatus. Eukaryotic Cell. 7(8), 1268–1277.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3307 | OA
Green R, Malaspinas A, Krause J, Briggs A, Johnson P, Uhler C, Meyer M, Good J, Maricic T, Stenzel U, Prüfer K, Siebauer M, Burbano H, Ronan M, Rothberg J, Egholm M, Rudan P, Brajković D, Kućan Ž, Gušić I, Wikström M, Laakkonen L, Kelso J, Slatkin M, Pääbo S. 2008. A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. Cell. 134, 416–426.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3409
Struckmeier J, Wahl R, Leuschner M, Nunes J, Janovjak HL, Geisler U, Hofmann G, Jähnke T, Mueller D. 2008. Fully automated single-molecule force spectroscopy for screening applications. Nanotechnology. 19(38).
View | DOI
 

2008 | Book Review | IST-REx-ID: 3410
Janovjak HL, Sapra T, Kedrov A, Mueller D. 2008. From valleys to ridges: Exploring the energy landscape of single membrane proteins. ChemPhysChem. 9(7), 954–966.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 844
Schmidt S, Gerasimova A, Kondrashov F, Adzuhbei I, Kondrashov A, Sunyaev S. 2008. Hypermutable non-synonymous sites are under stronger negative selection. PLoS Genetics. 4(11).
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8480
Schanda P, Brutscher B, Konrat R, Tollinger M. 2008. Folding of the KIX domain: Characterization of the equilibrium analog of a folding intermediate using 15N/13C relaxation dispersion and fast 1H/2H amide exchange NMR spectroscopy. Journal of Molecular Biology. 380(4), 726–741.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8481
Bersch B, Favier A, Schanda P, van Aelst S, Vallaeys T, Covès J, Mergeay M, Wattiez R. 2008. Molecular structure and metal-binding properties of the periplasmic CopK protein expressed in Cupriavidus metallidurans CH34 during copper challenge. Journal of Molecular Biology. 380(2), 386–403.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8482
Kern T, Schanda P, Brutscher B. 2008. Sensitivity-enhanced IPAP-SOFAST-HMQC for fast-pulsing 2D NMR with reduced radiofrequency load. Journal of Magnetic Resonance. 190(2), 333–338.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8509
Kaloshin V, Levi M. 2008. Geometry of Arnold diffusion. SIAM Review. 50(4), 702–720.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8510
Kaloshin V, Levi M. 2008. An example of Arnold diffusion for near-integrable Hamiltonians. Bulletin of the American Mathematical Society. 45(3), 409–427.
View | DOI
 

2008 | Thesis | IST-REx-ID: 4415
Matic S. 2008. Compositionality in deterministic real-time embedded systems. University of California, Berkeley.
View
 

2008 | Conference Paper | IST-REx-ID: 4452
Henzinger TA, Hottelier T, Kovács L. 2008. Valigator: A verification tool with bound and invariant generation. LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, vol. 5330, 333–342.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4509
Henzinger TA. 2008. Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. 366(1881), 3727–3736.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4521
Gupta A, Henzinger TA, Majumdar R, Rybalchenko A, Xu R. 2008. Proving non-termination. POPL: Principles of Programming Languages, 147–158.
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4524
Ghosal A. 2008. A hierarchical coordination language for reliable real-time tasks. University of California, Berkeley.
View
 

2008 | Conference Paper | IST-REx-ID: 4527
Fisher J, Henzinger TA, Mateescu M, Piterman N. 2008. Bounded asynchrony: Concurrency for modeling cell-cell interactions. FMSB: Formal Methods in Systems Biology, LNCS, vol. 5054, 17–32.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4532
Doyen L, Henzinger TA, Raskin J. 2008. Equivalence of labeled Markov chains. International Journal of Foundations of Computer Science. 19(3), 549–563.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4533
Doyen L, Henzinger TA, Jobstmann B, Petrov T. 2008. Interface theories with component reuse. EMSOFT: Embedded Software , 79–88.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4534
Chatterjee K, Henzinger TA. 2008. Reduction of stochastic parity to stochastic mean-payoff games. Information Processing Letters. 106(1), 1–7.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4546
Chatterjee K, Ghosal A, Henzinger TA, Iercan D, Kirsch C, Pinello C, Sangiovanni Vincentelli A. 2008. Logical reliability of interacting real-time tasks. DATE: Design, Automation and Test in Europe, 909–914.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4548
Chatterjee K, Majumdar R, Henzinger TA. 2008. Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. 37(2), 219–234.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4568
Beyer D, Henzinger TA, Théoduloz G. 2008. Program analysis with dynamic change of precision. ASE: Automated Software Engineering, 29–38.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 517
Barton NH. 2008. Identity and coalescence in structured populations: A commentary on ‘Inbreeding coefficients and coalescence times’ by Montgomery Slatkin. Genetical Research. 89(5–6), 475–477.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 581
Hosten O, Kwiat P. 2008. Observation of the spin hall effect of light via weak measurements. Science. 319(5864), 787–790.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 7320
Flückiger R, Freunberger SA, Kramer D, Wokaun A, Scherer GG, Büchi FN. 2008. Anisotropic, effective diffusivity of porous gas diffusion layer materials for PEFC. Electrochimica Acta. 54(2), 551–559.
View | DOI
 

Search

Filter Publications