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.

6494 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 J. R. R. K. Butlin & D. Schluter (Eds.), Evolution and Speciation (pp. 77–101). Cambridge University Press. https://doi.org/3816
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4141
Vervenne, H., Crombez, K., Lambaerts, K., Carvalho, L., Köppen, M., Heisenberg, C.-P. J., … 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. Elsevier. https://doi.org/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.-P. J., & Foty, R. (2008). Quantitative differences in tissue surface tension influence zebrafish germ layer positioning. HFSP Journal. HFSP Publishing. https://doi.org/10.2976/1.2834817
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4161
Oteíza, P., Köppen, M., Concha, M., & Heisenberg, C.-P. J. (2008). Origin and shaping of the laterality organ in zebrafish. Development. Company of Biologists. https://doi.org/10.1242/dev.022228
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4180
Krieg, M., Helenius, J., Heisenberg, C.-P. J., & Mueller, D. (2008). A Bond for a Lifetime: Employing Membrane Nanotubes from Living Cells to Determine Receptor-Ligand Kinetics. Angewandte Chemie - International Edition. Wiley-Blackwell. https://doi.org/10.1002/anie.200803552
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.-P. J. (2008). Tensile forces govern germ-layer organization in zebrafish. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb1705
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4190
Kai, M., Heisenberg, C.-P. J., & Tada, M. (2008). Sphingosine-1-phosphate receptors regulate individual cell behaviours underlying the directed migration of prechordal plate progenitor cells during zebrafish gastrulation. Development. Company of Biologists. https://doi.org/10.1242/dev.020396
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4193
Helenius, J., Heisenberg, C.-P. J., Gaub, H., & Mueller, D. (2008). Single-cell force spectroscopy. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/​jcs.030999
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4198
Heisenberg, C.-P. J., & Solnica Krezel, L. (2008). Back and forth between cell fate specification and movement during vertebrate gastrulation. Current Opinion in Genetics & Development. Elsevier. https://doi.org/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. (2008). Precision of the Dpp gradient. Development. Company of Biologists. https://doi.org/10.1242/dev.012062
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4244
Yang, E., Barton, N. H., Arslan, T., & Erdogan, A. (2008). A novel shifting balance theory-based approach to optimization of an energy-constrained modulation scheme for wireless sensor networks (pp. 2749–2756). Presented at the WCCI: IEEE World Congress on Computational Intelligence, IEEE. https://doi.org/10.1109/CEC.2008.4631167
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4245
Pannebakker, B., Halligan, D., Reynolds, K. T., Ballantyne, G., Shuker, D., Barton, N. H., & West, S. (2008). Effects of spontaneous mutation accumulation on sex ratio traits. Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.2008.00434.x
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4366
Podelski, A., Rybalchenko, A., & Wies, T. (2008). Heap Assumptions on Demand (Vol. 5123, pp. 314–327). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-540-70545-1_31
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 (pp. 475–505). Springer. https://doi.org/1566
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4384 | OA
Guerraoui, R., Henzinger, T. A., Jobstmann, B., & Singh, V. (2008). Model checking transactional memories (pp. 372–382). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/1375581.1375626
View | Files available | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4386
Guerraoui, R., Henzinger, T. A., & Singh, V. (2008). Permissiveness in transactional memories (Vol. 5218, pp. 305–319). Presented at the DISC: Distributed Computing, Springer. https://doi.org/10.1007/978-3-540-87779-0_21
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4387
Guerraoui, R., Henzinger, T. A., & Singh, V. (2008). Completeness and nondeterminism in model checking transactional memories (Vol. 5201, pp. 21–35). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/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. (2008). CSIsat: Interpolation for LA+EUF (pp. 304–308). Presented at the CAV: Computer Aided Verification, Springer.
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. Presented at the Usenix/ Accurate Electronic Voting Technology Workshop (EVT) 08, USENIX. https://doi.org/1545
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, T. A., Hottelier, T., & Kovács, L. (2008). Valigator: A verification tool with bound and invariant generation (Vol. 5330, pp. 333–342). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Springer. https://doi.org/10.1007/978-3-540-89439-1_24
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4509
Henzinger, T. A. (2008). Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. Royal Society of London. https://doi.org/10.1098/rsta.2008.0141
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4521
Gupta, A., Henzinger, T. A., Majumdar, R., Rybalchenko, A., & Xu, R. (2008). Proving non-termination (pp. 147–158). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/1328438.1328459
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, T. A., Mateescu, M., & Piterman, N. (2008). Bounded asynchrony: Concurrency for modeling cell-cell interactions (Vol. 5054, pp. 17–32). Presented at the FMSB: Formal Methods in Systems Biology, Springer. https://doi.org/10.1007/978-3-540-68413-8_2
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4532
Doyen, L., Henzinger, T. A., & Raskin, J. (2008). Equivalence of labeled Markov chains. International Journal of Foundations of Computer Science. World Scientific Publishing. https://doi.org/10.1142/S0129054108005814
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4533
Doyen, L., Henzinger, T. A., Jobstmann, B., & Petrov, T. (2008). Interface theories with component reuse (pp. 79–88). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1450058.1450070
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4534
Chatterjee, K., & Henzinger, T. A. (2008). Reduction of stochastic parity to stochastic mean-payoff games. Information Processing Letters. Elsevier. https://doi.org/10.1016/j.ipl.2007.08.035
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4546
Chatterjee, K., Ghosal, A., Henzinger, T. A., Iercan, D., Kirsch, C., Pinello, C., & Sangiovanni Vincentelli, A. (2008). Logical reliability of interacting real-time tasks (pp. 909–914). Presented at the DATE: Design, Automation and Test in Europe, IEEE. https://doi.org/10.1145/1403375.1403595
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4548
Chatterjee, K., Majumdar, R., & Henzinger, T. A. (2008). Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. Springer. https://doi.org/10.1007/s00182-007-0110-5
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4568
Beyer, D., Henzinger, T. A., & Théoduloz, G. (2008). Program analysis with dynamic change of precision (pp. 29–38). Presented at the ASE: Automated Software Engineering, ACM. https://doi.org/10.1109/ASE.2008.13
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. Springer. https://doi.org/10.1007/s11103-008-9295-7
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3031
Dhonukshe, P., Grigoriev, I., Fischer, R., Tominaga, M., Robinson, D., Hašek, J., … Friml, J. (2008). Auxin transport inhibitors impair vesicle motility and actin cytoskeleton dynamics in diverse eukaryotes. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0711414105
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3032
Kleine Vehn, J., Dhonukshe, P., Sauer, M., Brewer, P., Wiśniewska, J., Paciorek, T., … Friml, J. (2008). ARF GEF dependent transcytosis and polar delivery of PIN auxin carriers in Arabidopsis. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2008.03.021
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3033
Sauer, M., & Friml, J. (2008). Visualization of auxin gradients in embryogenesis . In M. Suárez & P. Bozhkov (Eds.), Plant Embryogenesis (Vol. 427, pp. 137–144). Humana Press. https://doi.org/10.1007/978-1-59745-273-1_11
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3034
Friml, J., & Sauer, M. (2008). Plant biology: In their neighbour’s shadow. Nature. Nature Publishing Group. https://doi.org/10.1038/453298a
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3035
Sauer, M., & Friml, J. (2008). In vitro culture of Arabidopsis embryos . In M. Suárez & P. Bozhkov (Eds.), Plant Embryogenesis (Vol. 427, pp. 71–76). Humana Press. https://doi.org/10.1007/978-1-59745-273-1_5
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3036
Dubrovsky, J., Sauer, M., Napsucialy Mendivil, S., Ivanchenko, M., Friml, J., Shishkova, S., … Benková, E. (2008). Auxin acts as a local morphogenetic trigger to specify lateral root founder cells. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0712307105
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3037 | OA
Feraru, E., & Friml, J. (2008). PIN polar targeting. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1104/pp.108.121756
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., … Beeckman, T. (2008). Receptor-like kinase ACR4 restricts formative cell divisions in the Arabidopsis root. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1160158
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. Oxford University Press. https://doi.org/10.1093/mp/ssn062
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3041
Santelia, D., Henrichs, S., Vincenzetti, V., Sauer, M., Bigler, L., Klein, M., … Martinoia, E. (2008). Flavonoids redirect PIN mediated polar auxin fluxes during root gravitropic responses. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/ 10.1074/jbc.M710122200
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. National Academy of Sciences. https://doi.org/10.1073/pnas.0808073105
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. Annual Reviews. https://doi.org/10.1146/annurev.cellbio.24.110707.175254
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., … Friml, J. (2008). Interaction of PIN and PGP transport mechanisms in auxin distribution-dependent development. Development. Company of Biologists. https://doi.org/10.1242/dev.021071
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3045
Dhonukshe, P., Tanaka, H., Goh, T., Ebine, K., Mähönen, A., Prasad, K., … Friml, J. (2008). Generation of cell polarity in plants links endocytosis auxin distribution and cell fate decisions. Nature. Nature Publishing Group. https://doi.org/10.1038/nature07409
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 (pp. 480–487). Presented at the ICML: International Conference on Machine Learning, Omnipress. https://doi.org/10.1145/1390156.1390217
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. Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2008.4587440
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3196
Szeliski, R., Zabih, R., Scharstein, D., Veksler, O., Kolmogorov, V., Agarwala, A., … 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. IEEE. https://doi.org/10.1109/TPAMI.2007.70844
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 (Vol. 5303, pp. 596–609). Presented at the ECCV: European Conference on Computer Vision, Springer. https://doi.org/10.1007/978-3-540-88688-4_44
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3224
Dodis, Y., Pietrzak, K. Z., & Puniya, P. (2008). A new mode of operation for block ciphers and length preserving MACs (Vol. 4965, pp. 198–219). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Springer. https://doi.org/10.1007/978-3-540-78967-3_12
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3225
Fischlin, M., Lehmann, A., & Pietrzak, K. Z. (2008). Robust multi property combiners for hash functions revisited (Vol. 5126, pp. 655–666). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/978-3-540-70583-3_53
View | Files available | DOI
 

2008 | Conference Paper | IST-REx-ID: 3226
Pietrzak, K. Z., & Sjödin, J. (2008). Weak pseudorandom functions in minicrypt (Vol. 5126, pp. 423–436). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/978-3-540-70583-3_35
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3227
Zubielik, P., Nadaczny, J., Pietrzak, K. Z., & Lawenda, M. (2008). Elektrowiz – system of measurement data management. Przeglad Elektrotechniczny. SIGMA-NOT.
View | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3228
Pietrzak, K. Z. (2008). Compression from collisions or why CRHF combiners have a long output (Vol. 5157, pp. 413–432). Presented at the CRYPTO: International Cryptology Conference, Springer. https://doi.org/10.1007/978-3-540-85174-5_23
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3229
Dziembowski, S., & Pietrzak, K. Z. (2008). Leakage resilient cryptography (pp. 293–302). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/FOCS.2008.56
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3291
Schmalhorst, P. S., Krappmann, S., Vervecken, W., Rohde, M., Müller, M., Braus, G., … Routier, F. (2008). Contribution of galactofuranose to the virulence of the opportunistic pathogen Aspergillus fumigatus. Eukaryotic Cell. American Society for Microbiology. https://doi.org/10.1128/EC.00065-08
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, H. L., Geisler, U., … Mueller, D. (2008). Fully automated single-molecule force spectroscopy for screening applications. Nanotechnology. IOP Publishing Ltd. https://doi.org/10.1088/0957-4484/19/38/384020
View | DOI
 

2008 | Book Review | IST-REx-ID: 3410
Janovjak, H. L., Sapra, T., Kedrov, A., & Mueller, D. (2008). From valleys to ridges: Exploring the energy landscape of single membrane proteins. ChemPhysChem. Wiley-Blackwell. https://doi.org/10.1002/cphc.200700662
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3435 | OA
Bollback, J. P., York, T., & Nielsen, R. (2008). Estimation of 2Nes From Temporal Allele Frequency Data. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.107.085019
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3501
Adler, B. T., Chatterjee, K., De Alfaro, L., Faella, M., Pye, I., & Raman, V. (2008). Assigning trust to Wikipedia content. Presented at the WikiSym: International Symposium on Wikis, ACM. https://doi.org/10.1145/1822258.1822293
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3502
Chatterjee, K., De Alfaro, L., & Pye, I. (2008). Robust content-driven reputation (pp. 33–42). Presented at the AISec: Artificial Intelligence and Security, ACM. https://doi.org/10.1145/1456377.1456387
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3504 | OA
Chatterjee, K., De Alfaro, L., Majumdar, R., & Raman, V. (2008). Algorithms for game metrics (Vol. 2, pp. 107–118). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1745
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 3516
Huxter, J., Senior, T., Allen, K., & Csicsvari, J. L. (2008). Theta phase-specific codes for two-dimensional position, trajectory and heading in the hippocampus. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn.2106
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3520
O’Neill, J., Senior, T., Allen, K., Huxter, J., & Csicsvari, J. L. (2008). Reactivation of experience-dependent cell assembly patterns in the hippocampus. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn2037
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3530
Fuentealba, P., Begum, R., Capogna, M., Jinno, S., Marton, L., Csicsvari, J. L., … Klausberger, T. (2008). Ivy cells: A population of nitric-oxide-producing, slow-spiking GABAergic neurons and their involvement in hippocampal network activity. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2008.01.034
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3534
Dupret, D., Pleydell Bouverie, B., & Csicsvari, J. L. (2008). Inhibitory interneurons and network oscillations. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0810064105
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3537
Senior, T., Huxter, J., Allen, K., O’Neill, J., & Csicsvari, J. L. (2008). Gamma oscillatory firing reveals distinct populations of pyramidal cells in the CA1 region of the hippocampus. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.4669-07.2008
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3544
Mallet, N., Pogosyan, A., Sharott, A., Csicsvari, J. L., 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. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.0123-08.2008
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3577
Biasotti, S., Attali, D., Boissonnat, J., Edelsbrunner, H., Elber, G., Mortara, M., … Veltkam, R. (2008). Skeletal structures. In Shape Analysis and Structuring (pp. 145–183). Springer. https://doi.org/10.1007/978-3-540-33265-7_5
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3591
Ulrich, F., & Heisenberg, C.-P. J. (2008). Probing E-cadherin endocytosis by morpholino-mediated Rab5 knock-down in zebrafish. Methods in Molecular Biology. Springer. https://doi.org/10.1007/978-1-59745-178-9_27
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3599
Yang, E., Erdogan, A., Arslan, T., & Barton, N. H. (2008). Adaptive formation control and bio-inspired optimization of a cluster-based satellite wireless sensor network (pp. 432–439). Presented at the AHS: NASA/ESA Conference on Adaptive Hardware and Systems, IEEE. https://doi.org/10.1109/AHS.2008.60
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3600
Yang, E., Barton, N. H., 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 (Vol. 5216, pp. 249–260). Presented at the IECS: International Conference on Evolvable Systems, Springer. https://doi.org/10.1007/978-3-540-85857-7_22
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3605
De Cara, M., Barton, N. H., & Kirkpatrick, M. (2008). A model for the evolution of assortative mating. American Naturalist. University of Chicago Press. https://doi.org/10.1086/587062
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3606
Barton, N. H. (2008). The effect of a barrier to gene flow on patterns of geographic variation. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672307009081
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 (pp. 174–179). Presented at the ICN: International Conference on Networking, IEEE. https://doi.org/10.1109/ICN.2008.64
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 (Vol. 5211, pp. 133–145). Presented at the ECML: European Conference on Machine Learning, Springer. https://doi.org/10.1007/978-3-540-87479-9_27
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3700
Lampert, C. (2008). Partitioning of image datasets using discriminative context information (pp. 1–8). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2008.4587448
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3705
Blaschko, M., & Lampert, C. (2008). Learning to localize objects with structured output regression (Vol. 5302, pp. 2–15). Presented at the ECCV: European Conference on Computer Vision, Springer. https://doi.org/10.1007/978-3-540-88682-2_2
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3706
Lampert, C., & Blaschko, M. (2008). Joint kernel support estimation for structured prediction (pp. 1–4). Presented at the NIPS SISO: NIPS Workshop on “Structured Input - Structured Output,” Curran Associates, Inc.
View | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3712
Blaschko, M., & Lampert, C. (2008). Correlational spectral clustering (pp. 1–8). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2008.4587353
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. Springer Nature. https://doi.org/10.1038/nature07324
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. Elsevier . https://doi.org/10.1016/j.pbi.2008.07.004
View | DOI | PubMed | Europe PMC
 

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. Springer. https://doi.org/10.1007/s11005-007-0159-x
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. Elsevier. https://doi.org/10.1016/S0034-4877(07)80074-7
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. Springer. https://doi.org/10.1007/s00220-007-0307-2
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. American Physical Society. https://doi.org/10.1103/PhysRevA.76.052517
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. Springer. https://doi.org/10.1007/BF02937429
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. Springer. https://doi.org/10.1007/s11005-007-0211-x
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2451
Friml, J. (2007). Auxin - Universal development signal in plant life. Živa. CSAV.
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. The American Society of Plant Biologists. https://doi.org/10.1199/tab.0108
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2495
Kuramoto, E., Fujiyama, F., Unzai, T., Nakamura, K., Hioki, H., Furuta, T., … 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. Wiley-Blackwell. https://doi.org/10.1002/cne.21216
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. Springer. https://doi.org/10.1007/s00441-006-0351-9
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2665
Tóth, K., Wittner, L., Urbán, Z., Doyle, W., Buzsáki, G., Shigemoto, R., … Maglóczky, Z. (2007). Morphology and synaptic input of substance P receptor-immunoreactive interneurons in control and epileptic human hippocampus. Neuroscience. Elsevier. https://doi.org/10.1016/j.neuroscience.2006.09.039
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2666
Luyt, K., Slade, T., Dorward, J., Durant, C., Wu, Y., Shigemoto, R., … Molnár, E. (2007). Developing oligodendrocytes express functional GABAB receptors that stimulate cell proliferation and migration. Journal of Neurochemistry. Wiley-Blackwell. https://doi.org/10.1111/j.1471-4159.2006.04255.x
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. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.2861-06.2007
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2668
Boyes, J., Bolam, J., Shigemoto, R., & Stanford, I. (2007). Functional presynaptic HCN channels in the rat globus pallidus. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.1460-9568.2007.05463.x
View | DOI
 

Search

Filter Publications