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


2008 | Journal Article | IST-REx-ID: 3825 | OA
Aponte Y, Bischofberger J, Jonas PM. 2008. Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus. Journal of Physiology. 586(8), 2061–75.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3826
Doischer D, Hosp J, Yanagawa Y, Obata K, Jonas PM, Vida I, Bartos M. 2008. Postnatal differentiation of basket cells from slow to fast signaling devices. Journal of Neuroscience. 28(48), 12956–68.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3827
Kerr A, Reisinger E, Jonas PM. 2008. Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses. PNAS. 105(40), 15581–6.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3872
Chatterjee K, Henzinger TA. 2008.Value iteration. In: 25 Years in Model Checking. LNCS, vol. 5000, 107–138.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3873
Chatterjee K, Majumdar R, Henzinger TA. 2008. Controller synthesis with budget constraints. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 4981, 72–86.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3874
Chatterjee K, Henzinger TA, Prabhu V. 2008. Trading infinite memory for uniform randomness in timed games. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 4981, 87–100.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3875
Chatterjee K, Henzinger TA, Sen K. 2008. Model-checking omega-regular properties of interval Markov chains. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 4962, 302–317.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3876
Chatterjee K, Henzinger TA, Prabhu V. 2008. Timed parity games: complexity and robustness. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 5215, 124–140.
View | Files available | DOI
 

2008 | Conference Paper | IST-REx-ID: 3877
Chatterjee K, Henzinger TA, Jobstmann B. 2008. Environment assumptions for synthesis. CONCUR: Concurrency Theory, LNCS, vol. 5201, 147–161.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3878 | OA
Chatterjee K, De Alfaro L, Majumdar R. 2008. The complexity of coverage. APLAS: Asian Symposium on Programming Languages and Systems, LNCS, vol. 5356, 91–106.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3879
Chatterjee K, Doyen L, Henzinger TA. 2008. Quantitative languages. CSL: Computer Science Logic, LNCS, vol. 5213, 385–400.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3880
Berwanger D, Chatterjee K, Doyen L, Henzinger TA, Raje S. 2008. Strategy construction for parity games with imperfect information. CONCUR: Concurrency Theory, LNCS, vol. 5201, 325–339.
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 3903
Ugelvig LV, Drijfhout F, Kronauer D, Boomsma J, Pedersen J, Cremer S. 2008. The introduction history of invasive garden ants in Europe: integrating genetic, chemical and behavioural approaches. BMC Biology. 6(11).
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3905
Cremer S, D’Ettorre P, Drijfhout F, Sledge M, Turillazzi S, Heinze J. 2008. Imperfect chemical female mimicry in males of the ant Cardiocondyla obscurior. Naturwissenschaften. 95(11), 1101–1105.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3906
Cremer S, Ugelvig LV, Drijfhout F, Schlick Steiner B, Steiner F, Seifert B, Hughes D, Schulz A, Petersen K, Konrad H, Stauffer C, Kiran K, Espadaler X, D’Ettorre P, Aktaç N, Eilenberg J, Jones G, Nash D, Pedersen J, Boomsma J. 2008. The evolution of invasiveness in garden ants. PLoS One. 3(12).
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3907
Suefuji M, Cremer S, Oettler J, Heinze J. 2008. Queen number influences the timing of the sexual production in colonies of Cardiocondyla ants. Biology Letters. 4(6), 670–673.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3939
Lämmermann T, Sixt MK. 2008. The microanatomy of T-cell responses. Immunological Reviews. 221(1), 26–43.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3940
Lokmic Z, Lämmermann T, Sixt MK, Cardell S, Hallmann R, Sorokin L. 2008. The extracellular matrix of the spleen as a potential organizer of immune cell compartments. Seminars in Immunology. 20(1), 4–13.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3941
Lämmermann T, Bader B, Monkley S, Worbs T, Wedlich Söldner R, Hirsch K, Keller M, Förster R, Critchley D, Fässler R, Sixt MK. 2008. Rapid leukocyte migration by integrin-independent flowing and squeezing. Nature. 453(7191), 51–55.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3942
Frommhold D, Ludwig A, Bixel MG, Zarbock A, Babushkina I, Weissinger M, Cauwenberghs S, Ellies L, Marth J, Beck Sickinger A, Sixt MK, Lange Sperandio B, Zernecke A, Brandt E, Weber C, Vestweber D, Ley K, Sperandio M. 2008. Sialyltransferase ST3Gal-IV controls CXCR2-mediated firm leukocyte arrest during inflammation. The Journal of Experimental Medicine. 205(6), 1435–1446.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3943
Kessenbrock K, Fröhlich L, Sixt MK, Lämmermann T, Pfister H, Bateman A, Belaaouaj A, Ring J, Ollert M, Fässler R, Jenne D. 2008. Proteinase 3 and neutrophil elastase enhance inflammation in mice by inactivating antiinflammatory progranulin. The Journal of Clinical Investigation. 118(7), 2438–2447.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3944
Riedl J, Crevenna A, Kessenbrock K, Yu J, Neukirchen D, Bista M, Bradke F, Jenne D, Holak T, Werb Z, Sixt MK, Wedlich Soldner R. 2008. Lifeact: a versatile marker to visualize F-actin. Nature Methods. 5(7), 605–607.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3945
Tripp C, Haid B, Flacher V, Sixt MK, Peter H, Farkas J, Gschwentner R, Sorokin L, Romani N, Stoitzner P. 2008. The lymph vessel network in mouse skin visualised with antibodies against the hyaluronan receptor LYVE-1. Immunobiology. 213(9–10), 715–28.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3969
Edelsbrunner H, Harer J. 2008.Persistent homology - a survey. In: Surveys on Discrete and Computational Geometry: Twenty Years Later. Contemporary Mathematics, , 257–282.
View
 

2008 | Journal Article | IST-REx-ID: 3970
Dequéant M, Ahnert S, Edelsbrunner H, Fink T, Glynn E, Hattem G, Kudlicki A, Mileyko Y, Morton J, Mushegian A, Pachter L, Rowicka M, Shiu A, Sturmfels B, Pourquie O. 2008. Comparison of pattern detection methods in microarray time series of the segmentation clock. PLoS One. 3(8).
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3971
Edelsbrunner H, Harer J, Mascarenhas A, Pascucci V, Snoeyink J. 2008. Time-varying Reeb graphs for continuous space-time data. Computational Geometry: Theory and Applications. 41(3), 149–166.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3974
Edelsbrunner H, Harer J, Patel A. 2008. Reeb spaces of piecewise linear mappings. SCG: Symposium on Computational Geometry, 242–250.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4135
Storch D, Šizling A, Reif J, Polechova J, Šizlingová E, Gaston K. 2008. The quest for a null model for macroecological patterns: geometry of species distributions at multiple spatial scales. Ecology Letters. 11(8), 771–784.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 4137
Bridle J, Polechova J, Vines T. 2008.Patterns of biodiversity and limits to adaptation in time and space. In: Evolution and Speciation. , 77–101.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4141
Vervenne H, Crombez K, Lambaerts K, Carvalho L, Köppen M, Heisenberg C-PJ, Van De Ven W, Petit M. 2008. Lpp is involved in Wnt/PCP signaling and acts together with Scrib to mediate convergence and extension movements during zebrafish gastrulation. Developmental Biology. 320(1), 267–277.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4150
Schötz E, Burdine R, Julicher F, Steinberg M, Heisenberg C-PJ, Foty R. 2008. Quantitative differences in tissue surface tension influence zebrafish germ layer positioning. HFSP Journal. 2(1), 42–56.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4161
Oteíza P, Köppen M, Concha M, Heisenberg C-PJ. 2008. Origin and shaping of the laterality organ in zebrafish. Development. 135(16), 2807–2813.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4180
Krieg M, Helenius J, Heisenberg C-PJ, Mueller D. 2008. A Bond for a Lifetime: Employing Membrane Nanotubes from Living Cells to Determine Receptor-Ligand Kinetics. Angewandte Chemie - International Edition. 47(50), 9775–9777.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4181
Krieg M, Arboleda Estudillo Y, Puech P, Käfer J, Graner F, Mueller D, Heisenberg C-PJ. 2008. Tensile forces govern germ-layer organization in zebrafish. Nature Cell Biology. 10(4), 429–436.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4190
Kai M, Heisenberg C-PJ, Tada M. 2008. Sphingosine-1-phosphate receptors regulate individual cell behaviours underlying the directed migration of prechordal plate progenitor cells during zebrafish gastrulation. Development. 135(18), 3043–3051.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4193
Helenius J, Heisenberg C-PJ, Gaub H, Mueller D. 2008. Single-cell force spectroscopy. Journal of Cell Science. 121(11), 1785–1791.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4198
Heisenberg C-PJ, Solnica Krezel L. 2008. Back and forth between cell fate specification and movement during vertebrate gastrulation. Current Opinion in Genetics & Development. 18(4), 311–316.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4227
Bollenbach T, Pantazis P, Kicheva A, Bokel C, González Gaitán M, Julicher F. 2008. Precision of the Dpp gradient. Development. 135(6), 1137–1146.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4244
Yang E, Barton NH, Arslan T, Erdogan A. 2008. A novel shifting balance theory-based approach to optimization of an energy-constrained modulation scheme for wireless sensor networks. WCCI: IEEE World Congress on Computational Intelligence, 2749–2756.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4245
Pannebakker B, Halligan D, Reynolds KT, Ballantyne G, Shuker D, Barton NH, West S. 2008. Effects of spontaneous mutation accumulation on sex ratio traits. Evolution; International Journal of Organic Evolution. 62(8), 1921–1935.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4366
Podelski A, Rybalchenko A, Wies T. 2008. Heap Assumptions on Demand. CAV: Computer Aided Verification, LNCS, vol. 5123, 314–327.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 4371
Maler O, Nickovic D, Pnueli A. 2008.Checking temporal properties of discrete, timed and continuous behaviors. In: Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. LNCS, , 475–505.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4384 | OA
Guerraoui R, Henzinger TA, Jobstmann B, Singh V. 2008. Model checking transactional memories. PLDI: Programming Languages Design and Implementation, 372–382.
View | Files available | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4386
Guerraoui R, Henzinger TA, Singh V. 2008. Permissiveness in transactional memories. DISC: Distributed Computing, LNCS, vol. 5218, 305–319.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4387
Guerraoui R, Henzinger TA, Singh V. 2008. Completeness and nondeterminism in model checking transactional memories. CONCUR: Concurrency Theory, LNCS, vol. 5201, 21–35.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4397
Beyer D, Zufferey D, Majumdar R. 2008. CSIsat: Interpolation for LA+EUF. CAV: Computer Aided Verification, LNCS 5123, , 304–308.
View
 

2008 | Conference Paper | IST-REx-ID: 4400
Aviv A, Cerny P, Clark S, Cronin E, Shah G, Sherr M, Blaze M. 2008. Security Evaluation of ES&S Voting Machines and Election Management System. Usenix/ Accurate Electronic Voting Technology Workshop (EVT) 08.
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4409 | OA
Prabhu V. 2008. Games for the verification of timed systems. University of California, Berkeley.
View | Download None (ext.)
 

2008 | Conference Paper | IST-REx-ID: 584
Hosten O, Kwiat P. 2008. Spin hall effect of light via weak measurements: Sharp and smooth index variations. QELS: Quantum Electronics and Laser Science Conference, Optics InfoBase Conference Papers, .
View | Download None (ext.)
 

2008 | Journal Article | IST-REx-ID: 11111
Anderson DJ, Hetzer M. 2008. Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation. Journal of Cell Biology. 182(5), 911–924.
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 11113 | OA
Anderson DJ, Hetzer M. 2008. Shaping the endoplasmic reticulum into the nuclear envelope. Journal of Cell Science. 121(2), 137–142.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 11114 | OA
Schulte R, Talamas J, Doucet C, Hetzer M. 2008. Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions. PLoS ONE. 3(4), e2061.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 11110
D’Angelo MA, Hetzer M. 2008. Structure, dynamics and function of nuclear pore complexes. Trends in Cell Biology. 18(10), 456–466.
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 11109
Kutay U, Hetzer M. 2008. Reorganization of the nuclear envelope during open mitosis. Current Opinion in Cell Biology. 20(6), 669–677.
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 11112
Anderson DJ, Hetzer M. 2008. The life cycle of the metazoan nuclear envelope. Current Opinion in Cell Biology. 20(4), 386–392.
View | DOI | PubMed | Europe PMC
 

2007 | Conference Paper | IST-REx-ID: 2794
Hof B, Tax W, Westerweel J. 2007. Lifetime of turbulence in pipe flow. EETC11: European Turbulence Conference, Springer Proceedings in Physics, vol. 117, 556–558.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2893
Carneiro J, Leon K, Caramalho Í, Van Den Dool C, Gardner R, Oliveira V, Bergman M, Sepúlveda N, Paixao T, Faro J, Demengeot J. 2007. When three is not a crowd a Crossregulation Model of the dynamics and repertoire selection of regulatory CD4 T cells. Immunological Reviews. 216(1), 48–68.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2896
Paixao T, Carvalho T, Calado D, Carneiro J. 2007. Quantitative insights into stochastic monoallelic expression of cytokine genes. Immunology and Cell Biology. 85(4), 315–322.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 2933
Kumar MP, Kolmogorov V, Torr P. 2007. An Analysis of Convex Relaxations for MAP Estimation. Neural Information Processing Systems.
View
 

2007 | Journal Article | IST-REx-ID: 3019
Blakeslee J, Bandyopadhyay A, Ok R, Mravec J, Titapiwatanakun B, Sauer M, Makam S, Cheng Y, Bouchard R, Adamec J, Geisler M, Nagashima A, Sakai T, Martinoia E, Friml J, Peer W, Murphy A. 2007. Interactions among PIN FORMED and P glycoprotein auxin transporters in Arabidopsis. Plant Cell. 19(1), 131–147.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3021
Bandyopadhyay A, Blakeslee J, Lee O, Mravec J, Sauer M, Titapiwatanakun B, Makam S, Bouchard R, Geisler M, Martinoia E, Friml J, Peer W, Murphy A. 2007. Interactions of PIN and PGP auxin transport mechanisms. Intercellular Signalling in Plants, Biochemical Society Transactions, vol. 35, 137–141.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3022
Dhonukshe P, Aniento F, Hwang I, Robinson D, Mravec J, Stierhof Y, Friml J. 2007. Clathrin-mediated constitutive endocytosis of PIN auxin efflux carriers in Arabidopsis. Current Biology. 17(6), 520–527.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3023
Dhonukshe P, Šamaj J, Baluška F, Friml J. 2007. A unifying new model of cytokinesis for the dividing plant and animal cells. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. 29(4), 371–381.
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 3024
Vieten A, Sauer M, Brewer P, Friml J. 2007. Molecular and cellular aspects of auxin-transport-mediated development. Trends in Plant Science. 12(4), 160–168.
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 3026
Růžička K, Ljung K, Vanneste S, Podhorská R, Beeckman T, Friml J, Benková E. 2007. Ethylene regulates root growth through effects on auxin biosynthesis and transport dependent auxin distribution. Plant Cell. 19(7), 2197–2212.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3027
Malenica N, Abas L, Benjamins R, Kitakura S, Sigmund H, Jun K, Hauser M, Friml J, Luschnig C. 2007. MODULATOR of PIN genes control steady state levels of Arabidopsis PIN proteins. Plant Journal. 51(4), 537–550.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3028
Michniewicz M, Zago M, Abas L, Weijers D, Schweighofer A, Meskiene I, Heisler M, Ohno C, Zhang J, Huang F, Schwab R, Weigel D, Meyerowitz E, Luschnig C, Offringa R, Friml J. 2007. Antagonistic regulation of PIN phosphorylation by PP2A and PINOID directs auxin flux. Cell. 130(6), 1044–1056.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3029
Laplaze L, Benková E, Casimiro I, Maes L, Vanneste S, Swarup R, Weijers D, Calvo V, Parizot B, Herrera Rodriguez M, Offringa R, Graham N, Doumas P, Friml J, Bogusz D, Beeckman T, Bennett M. 2007. Cytokinins act directly on lateral root founder cells to inhibit root initiation. Plant Cell. 19(12), 3889–3900.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3144
Hippenmeyer S, Huber R, Ladle D, Murphy K, Arber S. 2007. ETS transcription factor Erm controls subsynaptic gene expression in skeletal muscles. Neuron. 55(5), 726–740.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3187
Blake A, Criminisi A, Cross G, Kolmogorov V, Rother C. 2007. Fusion of stereo colour and contrast. Springer Tracts in Advanced Robotics. 28, 295–304.
View | DOI | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3191
Kolmogorov V, Boykov Y, Rother C. 2007. Applications of parametric maxflow in computer vision. ICCV: International Conference on Computer Vision.
View | DOI | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3192
Rother C, Kolmogorov V, Lempitsky V, Szummer M. 2007. Optimizing binary MRFs via extended roof duality. CVPR: Computer Vision and Pattern Recognition.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 3193
Kolmogorov V, Rother C. 2007. Minimizing nonsubmodular functions with graph cuts - A review. IEEE Transactions on Pattern Analysis and Machine Intelligence. 29(7), 1274–1279.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3218
Pietrzak KZ. 2007. Non-trivial black-box combiners for collision-resistant hash-functions don’t exist. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 4515, 23–33.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3219
Maurer U, Pietrzak KZ, Renner R. 2007. Indistinguishability amplification. CRYPTO: International Cryptology Conference, LNCS, vol. 4622, 130–149.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3220
Dziembowski S, Pietrzak KZ. 2007. Intrusion resilient secret sharing. FOCS: Foundations of Computer Science, 227–237.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3221
Pietrzak KZ, Sjödin J. 2007. Range extension for weak PRFs the good the bad and the ugly. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 4515, 517–533.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3222
Pietrzak KZ, Wikström D. 2007. Parallel repetition of computationally sound protocols revisited. TCC: Theory of Cryptography Conference, LNCS, vol. 4392, 86–102.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3223
Dodis Y, Pietrzak KZ. 2007. Improving the security of MACs via randomized message preprocessing. FSE: Fast Software Encryption, LNCS, vol. 4593, 414–433.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3305
Desai M, Weissman D, Feldman M. 2007. Evolution can favor antagonistic epistasis. Genetics. 177(2), 1001–10.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3411 | OA
Preiner J, Janovjak HL, Rankl C, Knaus H, Cisneros D, Kedrov A, Kienberger F, Mueller D, Hinterdorfer P. 2007. Free energy of membrane protein unfolding derived from single-molecule force measurements. Biophysical Journal. 93(3), 930–937.
View | DOI | Download (ext.)
 

2007 | Book Review | IST-REx-ID: 3412
Kedrov A, Janovjak HL, Sapra T, Mueller D. 2007. Deciphering molecular interactions of native membrane proteins by single-molecule force spectroscopy. Annual Review of Biophysics. 36, 233–260.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7780
Goodrich CP, Kirmizialtin S, Huyghues-Despointes BM, Zhu A, Scholtz JM, Makarov DE, Movileanu L. 2007. Single-molecule electrophoresis of β-hairpin peptides by electrical recordings and Langevin dynamics simulations. The Journal of Physical Chemistry B. 111(13), 3332–3335.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7781
Robinson MR, Pilkington JG, Clutton-Brock TH, Pemberton JM, Kruuk LEB. 2007. Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep. Evolution. 60(10), 2168–2181.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8027
Vogels TP, Abbott L. 2007. Gating deficits in model networks: A path to schizophrenia? Pharmacopsychiatry. 40(S 1), S73–S77.
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 8483
Schanda P, Forge V, Brutscher B. 2007. Protein folding and unfolding studied at atomic resolution by fast two-dimensional NMR spectroscopy. Proceedings of the National Academy of Sciences. 104(27), 11257–11262.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8484
Lescop E, Schanda P, Brutscher B. 2007. A set of BEST triple-resonance experiments for time-optimized protein resonance assignment. Journal of Magnetic Resonance. 187(1), 163–169.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8485
Schanda P, Lescop E, Falge M, Sounier R, Boisbouvier J, Brutscher B. 2007. Sensitivity-optimized experiment for the measurement of residual dipolar couplings between amide protons. Journal of Biomolecular NMR. 38, 47–55.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8486
Lescop E, Schanda P, Rasia R, Brutscher B. 2007. Automated spectral compression for fast multidimensional NMR and increased time resolution in real-time NMR spectroscopy. Journal of the American Chemical Society. 129(10), 2756–2757.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8487
Gal M, Schanda P, Brutscher B, Frydman L. 2007. UltraSOFAST HMQC NMR and the repetitive acquisition of 2D protein spectra at Hz rates. Journal of the American Chemical Society. 129(5), 1372–1377.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8511
Gorodetski A, Kaloshin V. 2007. How often surface diffeomorphisms have infinitely many sinks and hyperbolicity of periodic points near a homoclinic tangency. Advances in Mathematics. 208(2), 710–797.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8512
Kaloshin V, Hunt B. 2007. Stretched exponential estimates on growth of the number of periodic points for prevalent diffeomorphisms I. Annals of Mathematics. 165(1), 89–170.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 860
Plotnikova O, Kondrashov F, Vlasov P, Grigorenko A, Ginter E, Rogaev E. 2007. Conversion and compensatory evolution of the γ-crystallin genes and identification of a cataractogenic mutation that reverses the sequence of the human CRYGD gene to an ancestral state. American Journal of Human Genetics. 81(1), 32–43.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 861
Popadin K, Mamirova L, Kondrashov F. 2007. A manually curated database of tetrapod mitochondrially encoded tRNA sequences and secondary structures. BMC Bioinformatics. 8.
View | DOI
 

2007 | Book Chapter | IST-REx-ID: 4417
Manevich R, Field J, Henzinger TA, Ramalingam G, Sagiv M. 2007.Abstract counterexample-based refinement for powerset domains. In: Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. LNCS, vol. 4444, 273–292.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4446
Henzinger TA, Kirsch C. 2007. The embedded machine: Predictable, portable real-time code. ACM Transactions on Programming Languages and Systems (TOPLAS). 29(393).
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4511
Henzinger TA. 2007. Quantitative generalizations of languages. DLT: Developments in Language Theory, LNCS, vol. 4588, 20–22.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4514
Henzinger TA. 2007. Games, time, and probability: Graph models for system design and analysis. SOFSEM: Current Trends in Theory and Practice of Computer Science, LNCS, vol. 4362, 103–110.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4529
Fisher J, Henzinger TA. 2007. Executable cell biology. Nature Biotechnology. 25, 1239–1249.
View | DOI
 

2007 | Conference (Editor) | IST-REx-ID: 4530
Duparc J, Henzinger TA. 2007. CSL: Computer Science Logic , Springer,p.
View | DOI
 

Search

Filter Publications