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.

6705 Publications


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
Prabhu V. 2008. Games for the verification of timed systems. University of California, Berkeley.
View
 

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: 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: 3435 | OA
Bollback JP, York T, Nielsen R. 2008. Estimation of 2Nes From Temporal Allele Frequency Data. Genetics. 179(1), 497–502.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3501
Adler BT, Chatterjee K, De Alfaro L, Faella M, Pye I, Raman V. 2008. Assigning trust to Wikipedia content. WikiSym: International Symposium on Wikis.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3502
Chatterjee K, De Alfaro L, Pye I. 2008. Robust content-driven reputation. AISec: Artificial Intelligence and Security, 33–42.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3504 | OA
Chatterjee K, De Alfaro L, Majumdar R, Raman V. 2008. Algorithms for game metrics. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 2, 107–118.
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 3516
Huxter J, Senior T, Allen K, Csicsvari JL. 2008. Theta phase-specific codes for two-dimensional position, trajectory and heading in the hippocampus. Nature Neuroscience. 11(5), 587–594.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3520
O’Neill J, Senior T, Allen K, Huxter J, Csicsvari JL. 2008. Reactivation of experience-dependent cell assembly patterns in the hippocampus. Nature Neuroscience. 11(2), 209–215.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3530
Fuentealba P, Begum R, Capogna M, Jinno S, Marton L, Csicsvari JL, Thomson A, Somogyi P, Klausberger T. 2008. Ivy cells: A population of nitric-oxide-producing, slow-spiking GABAergic neurons and their involvement in hippocampal network activity. Neuron. 57(6), 917–929.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3534
Dupret D, Pleydell Bouverie B, Csicsvari JL. 2008. Inhibitory interneurons and network oscillations. PNAS. 105(47), 18079–18080.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3537
Senior T, Huxter J, Allen K, O’Neill J, Csicsvari JL. 2008. Gamma oscillatory firing reveals distinct populations of pyramidal cells in the CA1 region of the hippocampus. Journal of Neuroscience. 28(9), 2274–2286.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3544
Mallet N, Pogosyan A, Sharott A, Csicsvari JL, Bolam J, Brown P, Magill P. 2008. Disrupted dopamine transmission and the emergence of exaggerated beta oscillations in subthalamic nucleus and cerebral cortex. Journal of Neuroscience. 28(18), 4795–4806.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3577
Biasotti S, Attali D, Boissonnat J, Edelsbrunner H, Elber G, Mortara M, Sanniti Di Baja G, Spagnuolo M, Tanase M, Veltkam R. 2008.Skeletal structures. In: Shape Analysis and Structuring. Mathematics and Visualization, , 145–183.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3591
Ulrich F, Heisenberg C-PJ. 2008. Probing E-cadherin endocytosis by morpholino-mediated Rab5 knock-down in zebrafish. Methods in Molecular Biology. 440, 371–387.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3599
Yang E, Erdogan A, Arslan T, Barton NH. 2008. Adaptive formation control and bio-inspired optimization of a cluster-based satellite wireless sensor network . AHS: NASA/ESA Conference on Adaptive Hardware and Systems, 432–439.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3600
Yang E, Barton NH, Arslan T, Erdogan A. 2008. Scalability of a novel shifting balance theory-based optimization algorithm: A comparative study on a cluster-based wireless sensor network. IECS: International Conference on Evolvable Systems, LNCS, vol. 5216, 249–260.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3605
De Cara M, Barton NH, Kirkpatrick M. 2008. A model for the evolution of assortative mating. American Naturalist. 171(5), 580–596.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3606
Barton NH. 2008. The effect of a barrier to gene flow on patterns of geographic variation. Genetical Research. 90(1), 139–149.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3694
Goldstein M, Lampert C, Reif M, Stahl A, Breuel T. 2008. Bayes optimal DDoS mitigation by adaptive history-based IP filtering. ICN: International Conference on Networking, 174–179.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3698
Blaschko M, Lampert C, Gretton A. 2008. Semi-supervised Laplacian regularization of kernel canonical correlation analysis. ECML: European Conference on Machine Learning, LNCS, vol. 5211, 133–145.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3700
Lampert C. 2008. Partitioning of image datasets using discriminative context information. CVPR: Computer Vision and Pattern Recognition, 1–8.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3705
Blaschko M, Lampert C. 2008. Learning to localize objects with structured output regression. ECCV: European Conference on Computer Vision, LNCS, vol. 5302, 2–15.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3706
Lampert C, Blaschko M. 2008. Joint kernel support estimation for structured prediction. NIPS SISO: NIPS Workshop on ‘Structured Input - Structured Output’, 1–4.
View | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3712
Blaschko M, Lampert C. 2008. Correlational spectral clustering. CVPR: Computer Vision and Pattern Recognition, 1–8.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 9457 | OA
ZILBERMAN D, Coleman-Derr D, Ballinger T, Henikoff S. 2008. Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks. Nature. 456(7218), 125–129.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 9537
ZILBERMAN D. 2008. The evolving functions of DNA methylation. Current Opinion in Plant Biology. 11(5), 554–559.
View | DOI | PubMed | Europe PMC
 

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
 

2007 | Journal Article | IST-REx-ID: 2367 | OA
Seiringer R. 2007. On the failure of subadditivity of the Wigner-Yanase entropy. Letters in Mathematical Physics. 80(3), 285–288.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2370 | OA
Lieb É, Seiringer R, Yngvason J. 2007. Bose-Einstein condensation and spontaneous symmetry breaking. Reports on Mathematical Physics. 59(3), 389–399.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2371 | OA
Frank R, Lieb É, Seiringer R. 2007. Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value. Communications in Mathematical Physics. 275(2), 479–489.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2372 | OA
Frank R, Lieb É, Seiringer R, Siedentop H. 2007. Müller’s exchange-correlation energy in density-matrix-functional theory. Physical Review A - Atomic, Molecular, and Optical Physics. 76(5).
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2373 | OA
Frank R, Hainzl C, Naboko S, Seiringer R. 2007. The critical temperature for the BCS equation at weak coupling. Journal of Geometric Analysis. 17(4), 559–567.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2375 | OA
Frank R, Lieb É, Seiringer R. 2007. Number of bound states of Schrödinger operators with matrix-valued potentials. Letters in Mathematical Physics. 82(2–3), 107–116.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2451
Friml J. 2007. Auxin - Universal development signal in plant life. Živa. 1.
View
 

2007 | Journal Article | IST-REx-ID: 2462
Michniewicz M, Brewer P, Friml J. 2007. Polar auxin transport and asymmetric auxin distribution. The Arabidopsis Book. 5.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2495
Kuramoto E, Fujiyama F, Unzai T, Nakamura K, Hioki H, Furuta T, Shigemoto R, Ferraguti F, Kaneko T. 2007. Metabotropic glutamate receptor 4-immunopositive terminals of medium-sized spiny neurons selectively form synapses with cholinergic interneurons in the rat neostriatum. Journal of Comparative Neurology. 500(5), 908–922.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2496
Toyono T, Kataoka S, Seta Y, Shigemoto R, Toyoshima K. 2007. Expression of group II metabotropic glutamate receptors in rat gustatory papillae. Cell and Tissue Research. 328(1), 57–63.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2665
Tóth K, Wittner L, Urbán Z, Doyle W, Buzsáki G, Shigemoto R, Freund T, Maglóczky Z. 2007. Morphology and synaptic input of substance P receptor-immunoreactive interneurons in control and epileptic human hippocampus. Neuroscience. 144(2), 495–508.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2666
Luyt K, Slade T, Dorward J, Durant C, Wu Y, Shigemoto R, Mundell S, Váradi A, Molnár E. 2007. Developing oligodendrocytes express functional GABAB receptors that stimulate cell proliferation and migration. Journal of Neurochemistry. 100(3), 822–840.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2667
Masugi Tokita M, Tarusawa E, Watanabe M, Molnár E, Fujimoto K, Shigemoto R. 2007. Number and density of AMPA receptors in individual synapses in the rat cerebellum as revealed by SDS-digested freeze-fracture replica labeling. Journal of Neuroscience. 27(8), 2135–2144.
View | DOI
 

Search

Filter Publications