Please note that IST 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.

6759 Publications


2008 | Journal Article | IST-REx-ID: 1749
Rastelli A, Stoffel M, Malachias Â, et al. Three-dimensional composition profiles of single quantum dots determined by scanning-probe-microscopy-based nanotomography. Nano Letters. 2008;8(5):1404-1409. doi:10.1021/nl080290y
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1751
Katsaros G, Tersoff J, Stoffel M, et al. Positioning of strained islands by interaction with surface nanogrooves. Physical Review Letters. 2008;101(9). doi:10.1103/PhysRevLett.101.096103
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1763 | OA
Fink JM, Göppl M, Baur M, et al. Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system. Nature. 2008;454(7202):315-318. doi:10.1038/nature07112
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1764
Fragner A, Göppl M, Fink JM, et al. Resolving vacuum fluctuations in an electrical circuit by measuring the lamb shift. Science. 2008;322(5906):1357-1360. doi:10.1126/science.1164482
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1765 | OA
Göppl M, Fragner A, Baur M, et al. Coplanar waveguide resonators for circuit quantum electrodynamics. Journal of Applied Physics. 2008;104(11). doi:10.1063/1.3010859
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1826
Friedlander T, Brenner N. Cellular properties and population asymptotics in the population balance equation. Physical Review Letters. 2008;101(1). doi:10.1103/PhysRevLett.101.018104
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1967
Berrisford J, Thompson C, Sazanov LA. Chemical and NADH-induced, ROS-dependent, cross-linking between sublimits of complex I from Escherichia coli and Thermus thermophilus. Biochemistry. 2008;47(39):10262-10270. doi:10.1021/bi801160u
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1968
Morgan D, Sazanov LA. Three-dimensional structure of respiratory complex I from Escherichia coli in ice in the presence of nucleotides. Biochimica et Biophysica Acta - Bioenergetics. 2008;1777(7-8):711-718. doi:10.1016/j.bbabio.2008.03.023
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1982
Loose M, Fischer Friedrich E, Ries J, Kruse K, Schwille P. Spatial regulators for bacterial cell division self-organize into surface waves in vitro. Science. 2008;320(5877):789-792. doi:10.1126/science.1154413
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2065
Vicoso B, Haddrill P, Charlesworth B. A multispecies approach for comparing sequence evolution of X-linked and autosomal sites in Drosophila. Genetical Research. 2008;90(5):421-431. doi:10.1017/S0016672308009804
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 2078
Bickel B, Lang M, Botsch M, Otaduy M, Gross M. Pose-space animation and transfer of facial details. In: ACM; 2008:57-66. doi:10.2312/SCA/SCA08/057-066
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2120 | OA
Maas J, Van Neerven J. On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces. Infinite Dimensional Analysis, Quantum Probability and Related Topics. 2008;11(4):603-626. doi:10.1142/S0219025708003245
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2121 | OA
Van Neerven J, Maas J. A Clark-Ocone formula in UMD Banach spaces. Electronic Communications in Probability. 2008;13:151-164.
View | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2146 | OA
Lemeshko M, Friedrich B. An analytic model of rotationally inelastic collisions of polar molecules in electric fields. Journal of Chemical Physics. 2008;129(2). doi:10.1063/1.2948392
View | DOI | Download (ext.)
 

2008 | Book Review | IST-REx-ID: 2147
Lemeshko M, Friedrich B. Kvantový Zenonův jev aneb co nesejde z očí, nezestárne. Chemicke Listy. 2008;102(10):880-883.
View
 

2008 | Journal Article | IST-REx-ID: 2148
Pokrovski G, Roux J, Hazemann J, Borisova A, Gonchar A, Lemeshko M. In situ X-ray absorption spectroscopy measurement of vapour-brine fractionation of antimony at hydrothermal conditions. Mineralogical Magazine. 2008;72(2):667-681. doi:10.1180/minmag.2008.072.2.667
View | DOI
 

2008 | Journal Article | IST-REx-ID: 224
Browning TD, Dietmann R. On the representation of integers by quadratic forms. Proceedings of the London Mathematical Society. 2008;96(2):389-416. doi:10.1112/plms/pdm032
View | DOI
 

2008 | Journal Article | IST-REx-ID: 225
De La Bretèche R, Browning TD. Binary linear forms as sums of two squares. Compositio Mathematica. 2008;144(6):1375-1402. doi:10.1112/S0010437X08003692
View | DOI
 

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

2008 | Journal Article | IST-REx-ID: 7321
Freunberger SA, Schneider IA, Sui P-C, Wokaun A, Djilali N, Büchi FN. Cell interaction phenomena in polymer electrolyte fuel cell stacks. Journal of The Electrochemical Society. 2008;155(7). doi:10.1149/1.2913095
View | DOI
 

2008 | Journal Article | IST-REx-ID: 7322
Kramer D, Freunberger SA, Flückiger R, et al. Electrochemical diffusimetry of fuel cell gas diffusion layers. Journal of Electroanalytical Chemistry. 2008;612(1):63-77. doi:10.1016/j.jelechem.2007.09.014
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 7425
Santis M, Freunberger SA, Papra M, Büchi FN. Experimental investigation of the propagation of local current density variations to adjacent cells in PEFC stacks. In: 3rd International Conference on Fuel Cell Science, Engineering and Technology. ASMEDC; 2008:763-765. doi:10.1115/fuelcell2005-74116
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 753
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. How to solve consensus in the smallest window of synchrony. In: Vol 5218 LNCS. Springer; 2008:32-46. doi:10.1007/978-3-540-87779-0_3
View | DOI
 

2008 | Journal Article | IST-REx-ID: 7752
Robinson MR, Pilkington JG, Clutton-Brock TH, Pemberton JM, Kruuk LEB. Environmental heterogeneity generates fluctuating selection on a secondary sexual trait. Current Biology. 2008;18(10):751-757. doi:10.1016/j.cub.2008.04.059
View | DOI
 

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

2008 | Conference Paper | IST-REx-ID: 584
Hosten O, Kwiat P. Spin hall effect of light via weak measurements: Sharp and smooth index variations. In: IEEE; 2008.
View | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 6146 | OA
Bretscher AJ, Busch KE, de Bono M. A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. 2008;105(23):8044-8049. doi:10.1073/pnas.0707607105
View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 6148
Kammenga JE, Phillips PC, de Bono M, Doroszuk A. Beyond induced mutants: using worms to study natural variation in genetic pathways. Trends in Genetics. 2008;24(4):178-185. doi:10.1016/j.tig.2008.01.001
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 6149
Olofsson B, de Bono M. Sleep: dozy worms and sleepy flies. Current Biology. 2008;18(5):R204-R206. doi:10.1016/j.cub.2008.01.002
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 1296
Jösch MA, Plett J, Borst A, Reiff D. Response properties of motion sensitive visual interneurons in the Lobula plate of Drosophila melanogaster. Current Biology. 2008;18(5):368-374. doi:10.1016/j.cub.2008.02.022
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1460 | OA
Hausel T, Rodríguez Villegas F. Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz. Inventiones Mathematicae. 2008;174(3):555-624. doi:10.1007/s00222-008-0142-x
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1036 | OA
Gustavsson M, Haller E, Mark M, Danzl JG, Rojas Kopeinig G, Nägerl H. Control of interaction-induced dephasing of bloch oscillations. Physical Review Letters. 2008;100(8). doi:10.1103/PhysRevLett.100.080404
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1037 | OA
Knoop S, Mark M, Ferlaino F, et al. Metastable feshbach molecules in high rotational states. Physical Review Letters. 2008;100(8). doi:10.1103/PhysRevLett.100.083002
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1039 | OA
Danzl JG, Haller E, Gustavsson M, et al. Quantum gas of deeply bound ground state molecules. Science. 2008;321(5892):1062-1066. doi:10.1126/science.1159909
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 895
Donaldson Z, Kondrashov F, Putnam A, et al. Evolution of a behavior-linked microsatellite-containing element in the 5′ flanking region of the primate AVPR1A gene. BMC Evolutionary Biology. 2008;8(1). doi:10.1186/1471-2148-8-180
View | DOI
 

2008 | Journal Article | IST-REx-ID: 907
Assis R, Kondrashov A, Koonin E, Kondrashov F. Nested genes and increasing organizational complexity of metazoan genomes. Trends in Genetics. 2008;24(10):475-478. doi:10.1016/j.tig.2008.08.003
View | DOI
 

2008 | Journal Article | IST-REx-ID: 965 | OA
Morozov A, Serbyn M. Nonlinear algebra and Bogoliubov’s recursion. Theoretical and Mathematical Physics. 2008;154(2):270-293. doi:10.1007/s11232-008-0026-7
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3714
Lampert C, Blaschko M, Hofmann T. Beyond sliding windows: Object localization by efficient subwindow search. In: IEEE; 2008:1-8. doi:10.1109/CVPR.2008.4587586
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3716
Lampert C, Blaschko M. A multiple kernel learning approach to joint multi-class object detection. In: Vol 5096. Springer; 2008:31-40. doi:10.1007/978-3-540-69321-5_4
View | DOI | Download (ext.)
 

2008 | Book Chapter | IST-REx-ID: 3726
Engel A, Janovjak HL, Fotiadis D, Kedrov A, Cisneros D, Mueller D. Single-molecule microscopy and force spectroscopy of membrane proteins. In: Single Molecules and Nanotechnology. Vol 12. Springer; 2008:279-311. doi:10.1007/978-3-540-73924-1_11
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3734 | OA
Tkačik G, Gregor T, Bialek W. The role of input noise in transcriptional regulation. PLoS One. 2008;3(7). doi:10.1371/journal.pone.0002774
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3739
Tkačik G, Callan C, Bialek W. Information capacity of genetic regulatory elements. Physical Review E Statistical Nonlinear and Soft Matter Physics. 2008;78(1). doi:10.1103/PhysRevE.78.011910
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3740 | OA
Tkačik G, Callan C, Bialek W. Information flow and optimization in transcriptional regulation. PNAS. 2008;105(34):12265-12270. doi:10.1073/pnas.0806077105
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3744 | OA
Tkačik G, Magnasco M. Decoding spike timing: The differential reverse-correlation method. Biosystems. 2008;93(1-2):90-100. doi:10.1016/j.biosystems.2008.04.011
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3751 | OA
Kinkhabwala A, Guet CC. Uncovering cis regulatory codes using synthetic promoter shuffling. PLoS One. 2008;3(4). doi:10.1371/journal.pone.0002030
View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3754
Guet CC, Bruneaux L, Min T, et al. Minimally invasive determination of mRNA concentration in single living bacteria. Nucleic Acids Research. 2008;36(12). doi:10.1093/nar/gkn329
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3760
Wojtan CJ, Turk G. Fast viscoelastic behavior with thin features. ACM Transactions on Graphics. 2008;27(3). doi:10.1145/1360612.1360646
View | DOI | Download None (ext.)
 

2008 | Journal Article | IST-REx-ID: 3769
Kupczok A, Von Haeseler A, Klaere S. An Exact Algorithm for the Geodesic Distance between Phylogenetic Trees. Journal of Computational Biology. 2008;15(6):577-591. doi:4200
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3822 | OA
Schmidt Hieber C, Jonas PM, Bischofberger J. Action potential initiation and propagation in hippocampal mossy fibre axons. Journal of Physiology. 2008;586(7):1849-1857. doi:10.1113/jphysiol.2007.150151
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3823
Kerr A, Jonas PM. The two sides of hippocampal mossy fiber plasticity (Review). Neuron. 2008;57(1):5-7. doi:10.1016/j.neuron.2007.12.015
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3824
Bucurenciu I, Kulik Á, Schwaller B, Frotscher M, Jonas PM. Nanodomain coupling between Ca(2+) channels and Ca2+ sensors promotes fast and efficient transmitter release at a cortical GABAergic synapse. Neuron. 2008;57(4):536-545. doi:10.1016/j.neuron.2007.12.026
View | DOI
 

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

2008 | Journal Article | IST-REx-ID: 3826
Doischer D, Hosp J, Yanagawa Y, et al. Postnatal differentiation of basket cells from slow to fast signaling devices. Journal of Neuroscience. 2008;28(48):12956-12968. doi:10.1523/JNEUROSCI.2890-08.2008
View | DOI
 

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

2008 | Book Chapter | IST-REx-ID: 3872
Chatterjee K, Henzinger TA. Value iteration. In: 25 Years in Model Checking. Vol 5000. Springer; 2008:107-138. doi:10.1007/978-3-540-69850-0_7
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3873
Chatterjee K, Majumdar R, Henzinger TA. Controller synthesis with budget constraints. In: Vol 4981. Springer; 2008:72-86. doi:DOI: 10.1007/978-3-540-78929-1_6
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3874
Chatterjee K, Henzinger TA, Prabhu V. Trading infinite memory for uniform randomness in timed games. In: Vol 4981. Springer; 2008:87-100. doi:10.1007/978-3-540-78929-1_7
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3875
Chatterjee K, Henzinger TA, Sen K. Model-checking omega-regular properties of interval Markov chains. In: Vol 4962. Springer; 2008:302-317. doi:10.1007/978-3-540-78499-9_22
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3876
Chatterjee K, Henzinger TA, Prabhu V. Timed parity games: complexity and robustness. In: Vol 5215. Springer; 2008:124-140. doi:10.1007/978-3-540-85778-5_10
View | Files available | DOI
 

2008 | Conference Paper | IST-REx-ID: 3877
Chatterjee K, Henzinger TA, Jobstmann B. Environment assumptions for synthesis. In: Vol 5201. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:147-161. doi:10.1007/978-3-540-85361-9_14
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3878 | OA
Chatterjee K, De Alfaro L, Majumdar R. The complexity of coverage. In: Vol 5356. Springer; 2008:91-106. doi:10.1007/978-3-540-89330-1_7
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3879
Chatterjee K, Doyen L, Henzinger TA. Quantitative languages. In: Vol 5213. Springer; 2008:385-400. doi:10.1007/978-3-540-87531-4_28
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3880
Berwanger D, Chatterjee K, Doyen L, Henzinger TA, Raje S. Strategy construction for parity games with imperfect information. In: Vol 5201. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:325-339. doi:10.1007/978-3-540-85361-9
View | Files available | DOI
 

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

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

2008 | Journal Article | IST-REx-ID: 3906
Cremer S, Ugelvig LV, Drijfhout F, et al. The evolution of invasiveness in garden ants. PLoS One. 2008;3(12). doi:10.1371/journal.pone.0003838
View | DOI
 

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

2008 | Journal Article | IST-REx-ID: 3939
Lämmermann T, Sixt MK. The microanatomy of T-cell responses. Immunological Reviews. 2008;221(1):26-43. doi:10.1111/j.1600-065X.2008.00592.x
View | DOI
 

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

2008 | Journal Article | IST-REx-ID: 3941
Lämmermann T, Bader B, Monkley S, et al. Rapid leukocyte migration by integrin-independent flowing and squeezing. Nature. 2008;453(7191):51-55. doi:10.1038/nature06887
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3942
Frommhold D, Ludwig A, Bixel MG, et al. Sialyltransferase ST3Gal-IV controls CXCR2-mediated firm leukocyte arrest during inflammation. The Journal of Experimental Medicine. 2008;205(6):1435-1446. doi:10.1084/jem.20070846
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3943
Kessenbrock K, Fröhlich L, Sixt MK, et al. Proteinase 3 and neutrophil elastase enhance inflammation in mice by inactivating antiinflammatory progranulin. The Journal of Clinical Investigation. 2008;118(7):2438-2447. doi:10.1172/JCI34694
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3944
Riedl J, Crevenna A, Kessenbrock K, et al. Lifeact: a versatile marker to visualize F-actin. Nature Methods. 2008;5(7):605-607. doi:10.1038/nmeth.1220
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3945
Tripp C, Haid B, Flacher V, et al. The lymph vessel network in mouse skin visualised with antibodies against the hyaluronan receptor LYVE-1. Immunobiology. 2008;213(9-10):715-728. doi:10.1016/j.imbio.2008.07.025
View | DOI
 

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

2008 | Journal Article | IST-REx-ID: 3970
Dequéant M, Ahnert S, Edelsbrunner H, et al. Comparison of pattern detection methods in microarray time series of the segmentation clock. PLoS One. 2008;3(8). doi:10.1371/journal.pone.0002856
View | DOI
 

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

2008 | Conference Paper | IST-REx-ID: 3974
Edelsbrunner H, Harer J, Patel A. Reeb spaces of piecewise linear mappings. In: ACM; 2008:242-250. doi:10.1145/1377676.1377720
View | DOI
 

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

2008 | Book Chapter | IST-REx-ID: 4137
Bridle J, Polechova J, Vines T. Patterns of biodiversity and limits to adaptation in time and space. In: R. K. Butlin JR, Schluter D, eds. Evolution and Speciation. Cambridge University Press; 2008:77-101. doi:3816
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4141
Vervenne H, Crombez K, Lambaerts K, et al. Lpp is involved in Wnt/PCP signaling and acts together with Scrib to mediate convergence and extension movements during zebrafish gastrulation. Developmental Biology. 2008;320(1):267-277. doi:10.1016/j.ydbio.2008.05.529
View | DOI
 

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

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

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

2008 | Journal Article | IST-REx-ID: 4181
Krieg M, Arboleda Estudillo Y, Puech P, et al. Tensile forces govern germ-layer organization in zebrafish. Nature Cell Biology. 2008;10(4):429-436. doi:10.1038/ncb1705
View | DOI
 

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

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

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

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

2008 | Conference Paper | IST-REx-ID: 4244
Yang E, Barton NH, Arslan T, Erdogan A. A novel shifting balance theory-based approach to optimization of an energy-constrained modulation scheme for wireless sensor networks. In: IEEE; 2008:2749-2756. doi:10.1109/CEC.2008.4631167
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4245
Pannebakker B, Halligan D, Reynolds KT, et al. Effects of spontaneous mutation accumulation on sex ratio traits. Evolution; International Journal of Organic Evolution. 2008;62(8):1921-1935. doi:10.1111/j.1558-5646.2008.00434.x
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4366
Podelski A, Rybalchenko A, Wies T. Heap Assumptions on Demand. In: Vol 5123. Springer; 2008:314-327. doi:10.1007/978-3-540-70545-1_31
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 4371
Maler O, Nickovic D, Pnueli A. 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. Springer; 2008:475-505. doi:1566
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4384 | OA
Guerraoui R, Henzinger TA, Jobstmann B, Singh V. Model checking transactional memories. In: ACM; 2008:372-382. doi:10.1145/1375581.1375626
View | Files available | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4386
Guerraoui R, Henzinger TA, Singh V. Permissiveness in transactional memories. In: Vol 5218. Springer; 2008:305-319. doi:10.1007/978-3-540-87779-0_21
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4387
Guerraoui R, Henzinger TA, Singh V. Completeness and nondeterminism in model checking transactional memories. In: Vol 5201. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:21-35. doi:10.1007/978-3-540-85361-9_6
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4397
Beyer D, Zufferey D, Majumdar R. CSIsat: Interpolation for LA+EUF. In: Springer; 2008:304-308.
View
 

2008 | Conference Paper | IST-REx-ID: 4400
Aviv A, Cerny P, Clark S, et al. Security Evaluation of ES&S Voting Machines and Election Management System. In: USENIX; 2008. doi:1545
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4409
Prabhu V. Games for the verification of timed systems. 2008:1-137.
View
 

2008 | Thesis | IST-REx-ID: 4415
Matic S. Compositionality in deterministic real-time embedded systems. 2008:1-148.
View
 

Search

Filter Publications