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.

6514 Publications


2008 | Conference Paper | IST-REx-ID: 3877
Chatterjee, Krishnendu, et al. Environment Assumptions for Synthesis. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–61, doi:10.1007/978-3-540-85361-9_14.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3878 | OA
Chatterjee, Krishnendu, et al. The Complexity of Coverage. Vol. 5356, Springer, 2008, pp. 91–106, doi:10.1007/978-3-540-89330-1_7.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3879
Chatterjee, Krishnendu, et al. Quantitative Languages. Vol. 5213, Springer, 2008, pp. 385–400, doi:10.1007/978-3-540-87531-4_28.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3880
Berwanger, Dietmar, et al. Strategy Construction for Parity Games with Imperfect Information. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–39, doi:10.1007/978-3-540-85361-9.
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 3903
Ugelvig, Line V., et al. “The Introduction History of Invasive Garden Ants in Europe: Integrating Genetic, Chemical and Behavioural Approaches.” BMC Biology, vol. 6, no. 11, BioMed Central, 2008, doi:10.1186/1741-7007-6-11.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3905
Cremer, Sylvia, et al. “Imperfect Chemical Female Mimicry in Males of the Ant Cardiocondyla Obscurior.” Naturwissenschaften, vol. 95, no. 11, Springer, 2008, pp. 1101–05, doi:10.1007/s00114-008-0430-8.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3906
Cremer, Sylvia, et al. “The Evolution of Invasiveness in Garden Ants.” PLoS One, vol. 3, no. 12, Public Library of Science, 2008, doi:10.1371/journal.pone.0003838.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3907
Suefuji, Masaki, et al. “Queen Number Influences the Timing of the Sexual Production in Colonies of Cardiocondyla Ants.” Biology Letters, vol. 4, no. 6, Royal Society, The, 2008, pp. 670–73, doi:10.1098/rsbl.2008.0355.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3939
Lämmermann, Tim, and Michael K. Sixt. “The Microanatomy of T-Cell Responses.” Immunological Reviews, vol. 221, no. 1, Wiley-Blackwell, 2008, pp. 26–43, doi:10.1111/j.1600-065X.2008.00592.x.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3940
Lokmic, Zerina, et al. “The Extracellular Matrix of the Spleen as a Potential Organizer of Immune Cell Compartments.” Seminars in Immunology, vol. 20, no. 1, Academic Press, 2008, pp. 4–13, doi:10.1016/j.smim.2007.12.009.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3941
Lämmermann, Tim, et al. “Rapid Leukocyte Migration by Integrin-Independent Flowing and Squeezing.” Nature, vol. 453, no. 7191, Nature Publishing Group, 2008, pp. 51–55, doi:10.1038/nature06887.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3942
Frommhold, David, et al. “Sialyltransferase ST3Gal-IV Controls CXCR2-Mediated Firm Leukocyte Arrest during Inflammation.” The Journal of Experimental Medicine, vol. 205, no. 6, Rockefeller University Press, 2008, pp. 1435–46, doi:10.1084/jem.20070846.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3943
Kessenbrock, Kai, et al. “Proteinase 3 and Neutrophil Elastase Enhance Inflammation in Mice by Inactivating Antiinflammatory Progranulin.” The Journal of Clinical Investigation, vol. 118, no. 7, American Society for Clinical Investigation, 2008, pp. 2438–47, doi:10.1172/JCI34694.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3944
Riedl, Julia, et al. “Lifeact: A Versatile Marker to Visualize F-Actin.” Nature Methods, vol. 5, no. 7, Nature Publishing Group, 2008, pp. 605–07, doi:10.1038/nmeth.1220.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3945
Tripp, Christoph, et al. “The Lymph Vessel Network in Mouse Skin Visualised with Antibodies against the Hyaluronan Receptor LYVE-1.” Immunobiology, vol. 213, no. 9–10, Elsevier, 2008, pp. 715–28, doi:10.1016/j.imbio.2008.07.025.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3969
Edelsbrunner, Herbert, and John Harer. “Persistent Homology - a Survey.” Surveys on Discrete and Computational Geometry: Twenty Years Later, American Mathematical Society, 2008, pp. 257–82.
View
 

2008 | Journal Article | IST-REx-ID: 3970
Dequéant, Mary, et al. “Comparison of Pattern Detection Methods in Microarray Time Series of the Segmentation Clock.” PLoS One, vol. 3, no. 8, Public Library of Science, 2008, doi:10.1371/journal.pone.0002856.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3971
Edelsbrunner, Herbert, et al. “Time-Varying Reeb Graphs for Continuous Space-Time Data.” Computational Geometry: Theory and Applications, vol. 41, no. 3, Elsevier, 2008, pp. 149–66, doi:10.1016/j.comgeo.2007.11.001.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3974
Edelsbrunner, Herbert, et al. Reeb Spaces of Piecewise Linear Mappings. ACM, 2008, pp. 242–50, doi:10.1145/1377676.1377720.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4135
Storch, D., et al. “The Quest for a Null Model for Macroecological Patterns: Geometry of Species Distributions at Multiple Spatial Scales.” Ecology Letters, vol. 11, no. 8, Wiley-Blackwell, 2008, pp. 771–84, doi:3817.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 4137
Bridle, Jon, et al. “Patterns of Biodiversity and Limits to Adaptation in Time and Space.” Evolution and Speciation, edited by J.R. R. K. Butlin and D. Schluter, Cambridge University Press, 2008, pp. 77–101, doi:3816.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4141
Vervenne, Hilke, 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, vol. 320, no. 1, Elsevier, 2008, pp. 267–77, doi:10.1016/j.ydbio.2008.05.529.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4150
Schötz, Eva, et al. “Quantitative Differences in Tissue Surface Tension Influence Zebrafish Germ Layer Positioning.” HFSP Journal, vol. 2, no. 1, HFSP Publishing, 2008, pp. 42–56, doi:10.2976/1.2834817.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4161
Oteíza, Pablo, et al. “Origin and Shaping of the Laterality Organ in Zebrafish.” Development, vol. 135, no. 16, Company of Biologists, 2008, pp. 2807–13, doi:10.1242/dev.022228.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4180
Krieg, Michael, et al. “A Bond for a Lifetime: Employing Membrane Nanotubes from Living Cells to Determine Receptor-Ligand Kinetics.” Angewandte Chemie - International Edition, vol. 47, no. 50, Wiley-Blackwell, 2008, pp. 9775–77, doi:10.1002/anie.200803552.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4181
Krieg, Michael, et al. “Tensile Forces Govern Germ-Layer Organization in Zebrafish.” Nature Cell Biology, vol. 10, no. 4, Nature Publishing Group, 2008, pp. 429–36, doi:10.1038/ncb1705.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4190
Kai, Masatake, et al. “Sphingosine-1-Phosphate Receptors Regulate Individual Cell Behaviours Underlying the Directed Migration of Prechordal Plate Progenitor Cells during Zebrafish Gastrulation.” Development, vol. 135, no. 18, Company of Biologists, 2008, pp. 3043–51, doi:10.1242/dev.020396.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4193
Helenius, Jonne, et al. “Single-Cell Force Spectroscopy.” Journal of Cell Science, vol. 121, no. 11, Company of Biologists, 2008, pp. 1785–91, doi:10.1242/​jcs.030999.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4198
Heisenberg, Carl-Philipp J., and Lilianna Solnica Krezel. “Back and Forth between Cell Fate Specification and Movement during Vertebrate Gastrulation.” Current Opinion in Genetics & Development, vol. 18, no. 4, Elsevier, 2008, pp. 311–16, doi:10.1016/j.gde.2008.07.011.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4227
Bollenbach, Tobias, et al. “Precision of the Dpp Gradient.” Development, vol. 135, no. 6, Company of Biologists, 2008, pp. 1137–46, doi:10.1242/dev.012062.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4244
Yang, Erfu, et al. A Novel Shifting Balance Theory-Based Approach to Optimization of an Energy-Constrained Modulation Scheme for Wireless Sensor Networks. IEEE, 2008, pp. 2749–56, doi:10.1109/CEC.2008.4631167.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4245
Pannebakker, Bart, et al. “Effects of Spontaneous Mutation Accumulation on Sex Ratio Traits.” Evolution; International Journal of Organic Evolution, vol. 62, no. 8, Wiley-Blackwell, 2008, pp. 1921–35, doi:10.1111/j.1558-5646.2008.00434.x.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4366
Podelski, Andreas, et al. Heap Assumptions on Demand. Vol. 5123, Springer, 2008, pp. 314–27, doi:10.1007/978-3-540-70545-1_31.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 4371
Maler, Oded, et al. “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.” Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505, doi:1566.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4384 | OA
Guerraoui, Rachid, et al. Model Checking Transactional Memories. ACM, 2008, pp. 372–82, doi:10.1145/1375581.1375626.
View | Files available | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4386
Guerraoui, Rachid, et al. Permissiveness in Transactional Memories. Vol. 5218, Springer, 2008, pp. 305–19, doi:10.1007/978-3-540-87779-0_21.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4387
Guerraoui, Rachid, et al. Completeness and Nondeterminism in Model Checking Transactional Memories. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35, doi:10.1007/978-3-540-85361-9_6.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4397
Beyer, Dirk, et al. CSIsat: Interpolation for LA+EUF. Springer, 2008, pp. 304–08.
View
 

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

2008 | Thesis | IST-REx-ID: 4409
Prabhu, Vinayak. Games for the Verification of Timed Systems. University of California, Berkeley, 2008, pp. 1–137.
View
 

2008 | Thesis | IST-REx-ID: 4415
Matic, Slobodan. Compositionality in Deterministic Real-Time Embedded Systems. University of California, Berkeley, 2008, pp. 1–148.
View
 

2008 | Conference Paper | IST-REx-ID: 4452
Henzinger, Thomas A., et al. Valigator: A Verification Tool with Bound and Invariant Generation. Vol. 5330, Springer, 2008, pp. 333–42, doi:10.1007/978-3-540-89439-1_24.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4509
Henzinger, Thomas A. “Two Challenges in Embedded Systems Design: Predictability and Robustness.” Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, vol. 366, no. 1881, Royal Society of London, 2008, pp. 3727–36, doi:10.1098/rsta.2008.0141.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4521
Gupta, Ashutosh, et al. Proving Non-Termination. ACM, 2008, pp. 147–58, doi:10.1145/1328438.1328459.
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4524
Ghosal, Arkadeb. A Hierarchical Coordination Language for Reliable Real-Time Tasks. University of California, Berkeley, 2008, pp. 1–210.
View
 

2008 | Conference Paper | IST-REx-ID: 4527
Fisher, Jasmin, et al. Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. Vol. 5054, Springer, 2008, pp. 17–32, doi:10.1007/978-3-540-68413-8_2.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4532
Doyen, Laurent, et al. “Equivalence of Labeled Markov Chains.” International Journal of Foundations of Computer Science, vol. 19, no. 3, World Scientific Publishing, 2008, pp. 549–63, doi:10.1142/S0129054108005814 .
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4533
Doyen, Laurent, et al. Interface Theories with Component Reuse. ACM, 2008, pp. 79–88, doi:10.1145/1450058.1450070.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4534
Chatterjee, Krishnendu, and Thomas A. Henzinger. “Reduction of Stochastic Parity to Stochastic Mean-Payoff Games.” Information Processing Letters, vol. 106, no. 1, Elsevier, 2008, pp. 1–7, doi:10.1016/j.ipl.2007.08.035.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4546
Chatterjee, Krishnendu, et al. Logical Reliability of Interacting Real-Time Tasks. IEEE, 2008, pp. 909–14, doi:10.1145/1403375.1403595.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4548
Chatterjee, Krishnendu, et al. “Stochastic Limit-Average Games Are in EXPTIME.” International Journal of Game Theory, vol. 37, no. 2, Springer, 2008, pp. 219–34, doi:10.1007/s00182-007-0110-5.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4568
Beyer, Dirk, et al. Program Analysis with Dynamic Change of Precision. ACM, 2008, pp. 29–38, doi:10.1109/ASE.2008.13.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3030
Růčková, Eva, et al. “Role of Alternative Telomere Lengthening Unmasked in Telomerase Knock-out Mutant Plants.” Plant Molecular Biology, vol. 66, no. 6, Springer, 2008, pp. 637–46, doi:10.1007/s11103-008-9295-7.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3031
Dhonukshe, Pankaj, et al. “Auxin Transport Inhibitors Impair Vesicle Motility and Actin Cytoskeleton Dynamics in Diverse Eukaryotes.” PNAS, vol. 105, no. 11, National Academy of Sciences, 2008, pp. 4489–94, doi:10.1073/pnas.0711414105.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3032
Kleine Vehn, Jürgen, et al. “ARF GEF Dependent Transcytosis and Polar Delivery of PIN Auxin Carriers in Arabidopsis.” Current Biology, vol. 18, no. 7, Cell Press, 2008, pp. 526–31, doi:10.1016/j.cub.2008.03.021.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3033
Sauer, Michael, and Jiří Friml. “Visualization of Auxin Gradients in Embryogenesis .” Plant Embryogenesis, edited by María Suárez and Peter Bozhkov, vol. 427, Humana Press, 2008, pp. 137–44, doi:10.1007/978-1-59745-273-1_11.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3034
Friml, Jiří, and Michael Sauer. “Plant Biology: In Their Neighbour’s Shadow.” Nature, vol. 453, no. 7193, Nature Publishing Group, 2008, pp. 298–99, doi:10.1038/453298a.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3035
Sauer, Michael, and Jiří Friml. “In Vitro Culture of Arabidopsis Embryos .” Plant Embryogenesis, edited by María Suárez and Peter Bozhkov, vol. 427, Humana Press, 2008, pp. 71–76, doi:10.1007/978-1-59745-273-1_5.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3036
Dubrovsky, Joseph, et al. “Auxin Acts as a Local Morphogenetic Trigger to Specify Lateral Root Founder Cells.” PNAS, vol. 105, no. 25, National Academy of Sciences, 2008, pp. 8790–94, doi:10.1073/pnas.0712307105.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3037 | OA
Feraru, Elena, and Jiří Friml. “PIN Polar Targeting.” Plant Physiology, vol. 147, no. 4, American Society of Plant Biologists, 2008, pp. 1553–59, doi: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, Ive, et al. “Receptor-like Kinase ACR4 Restricts Formative Cell Divisions in the Arabidopsis Root.” Science, vol. 322, no. 5901, American Association for the Advancement of Science, 2008, pp. 594–97, doi:10.1126/science.1160158.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3040
Kleine Vehn, Jürgen, et al. “Cellular and Molecular Requirements for Polar PIN Targeting and Transcytosis in Plants.” Molecular Plant, vol. 1, no. 6, Oxford University Press, 2008, pp. 1056–66, doi:10.1093/mp/ssn062.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3041
Santelia, Diana, et al. “Flavonoids Redirect PIN Mediated Polar Auxin Fluxes during Root Gravitropic Responses.” Journal of Biological Chemistry, vol. 283, no. 45, American Society for Biochemistry and Molecular Biology, 2008, pp. 31218–26, doi: 10.1074/jbc.M710122200.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3042
Kleine Vehn, Jürgen, et al. “Differential Degradation of PIN2 Auxin Efflux Carrier by Retromer Dependent Vacuolar Targeting.” PNAS, vol. 105, no. 46, National Academy of Sciences, 2008, pp. 17812–17, doi:10.1073/pnas.0808073105.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3043
Kleine Vehn, Jürgen, and Jiří Friml. “Polar Targeting and Endocytic Recycling in Auxin-Dependent Plant Development.” Annual Review of Cell and Developmental Biology, vol. 24, Annual Reviews, 2008, pp. 447–73, doi:10.1146/annurev.cellbio.24.110707.175254.
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3044
Mravec, Jozef, et al. “Interaction of PIN and PGP Transport Mechanisms in Auxin Distribution-Dependent Development.” Development, vol. 135, no. 20, Company of Biologists, 2008, pp. 3345–54, doi:10.1242/dev.021071.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3045
Dhonukshe, Pankaj, et al. “Generation of Cell Polarity in Plants Links Endocytosis Auxin Distribution and Cell Fate Decisions.” Nature, vol. 456, no. 7224, Nature Publishing Group, 2008, pp. 962–66, doi:10.1038/nature07409.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3194
Kohli, Pushmeet, et al. On Partial Optimality in Multi Label MRFs. Omnipress, 2008, pp. 480–87, doi:10.1145/1390156.1390217.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3195
Vicente, Sara, et al. Graph Cut Based Image Segmentation with Connectivity Priors. IEEE, 2008, doi:10.1109/CVPR.2008.4587440.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3196
Szeliski, Richard, et al. “A Comparative Study of Energy Minimization Methods for Markov Random Fields with Smoothness-Based Priors.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 30, no. 6, IEEE, 2008, pp. 1068–80, doi:10.1109/TPAMI.2007.70844.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3198
Torresani, Lorenzo, et al. Feature Correspondence via Graph Matching: Models and Global Optimization. Vol. 5303, Springer, 2008, pp. 596–609, doi:10.1007/978-3-540-88688-4_44.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3224
Dodis, Yevgeniy, et al. A New Mode of Operation for Block Ciphers and Length Preserving MACs. Vol. 4965, Springer, 2008, pp. 198–219, doi:10.1007/978-3-540-78967-3_12.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3225
Fischlin, Marc, et al. Robust Multi Property Combiners for Hash Functions Revisited. Vol. 5126, no. PART 2, Springer, 2008, pp. 655–66, doi:10.1007/978-3-540-70583-3_53.
View | Files available | DOI
 

2008 | Conference Paper | IST-REx-ID: 3226
Pietrzak, Krzysztof Z., and Johan Sjödin. Weak Pseudorandom Functions in Minicrypt. Vol. 5126, no. PART 2, Springer, 2008, pp. 423–36, doi:10.1007/978-3-540-70583-3_35.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3227
Zubielik, Piotr, et al. “Elektrowiz – System of Measurement Data Management.” Przeglad Elektrotechniczny, vol. 84, no. 10, SIGMA-NOT, 2008, pp. 239–42.
View | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3228
Pietrzak, Krzysztof Z. Compression from Collisions or Why CRHF Combiners Have a Long Output. Vol. 5157, Springer, 2008, pp. 413–32, doi:10.1007/978-3-540-85174-5_23.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3229
Dziembowski, Stefan, and Krzysztof Z. Pietrzak. Leakage Resilient Cryptography. IEEE, 2008, pp. 293–302, doi:10.1109/FOCS.2008.56.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3291
Schmalhorst, Philipp S., et al. “Contribution of Galactofuranose to the Virulence of the Opportunistic Pathogen Aspergillus Fumigatus.” Eukaryotic Cell, vol. 7, no. 8, American Society for Microbiology, 2008, pp. 1268–77, doi: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, Jens, et al. “Fully Automated Single-Molecule Force Spectroscopy for Screening Applications.” Nanotechnology, vol. 19, no. 38, IOP Publishing Ltd., 2008, doi:10.1088/0957-4484/19/38/384020.
View | DOI
 

2008 | Book Review | IST-REx-ID: 3410
Janovjak, Harald L., et al. “From Valleys to Ridges: Exploring the Energy Landscape of Single Membrane Proteins.” ChemPhysChem, vol. 9, no. 7, Wiley-Blackwell, 2008, pp. 954–66, doi:10.1002/cphc.200700662.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3435 | OA
Bollback, Jonathan P., et al. “Estimation of 2Nes From Temporal Allele Frequency Data.” Genetics, vol. 179, no. 1, Genetics Society of America, 2008, pp. 497–502, doi:10.1534/genetics.107.085019.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3501
Adler, B. Thomas, et al. Assigning Trust to Wikipedia Content. ACM, 2008, doi:10.1145/1822258.1822293.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3502
Chatterjee, Krishnendu, et al. Robust Content-Driven Reputation. ACM, 2008, pp. 33–42, doi:10.1145/1456377.1456387 .
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3504 | OA
Chatterjee, Krishnendu, et al. Algorithms for Game Metrics. Vol. 2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 107–18, doi:10.4230/LIPIcs.FSTTCS.2008.1745.
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 3516
Huxter, John, et al. “Theta Phase-Specific Codes for Two-Dimensional Position, Trajectory and Heading in the Hippocampus.” Nature Neuroscience, vol. 11, no. 5, Nature Publishing Group, 2008, pp. 587–94, doi:10.1038/nn.2106.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3520
O’Neill, Joseph, et al. “Reactivation of Experience-Dependent Cell Assembly Patterns in the Hippocampus.” Nature Neuroscience, vol. 11, no. 2, Nature Publishing Group, 2008, pp. 209–15, doi:10.1038/nn2037.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3530
Fuentealba, Pablo, et al. “Ivy Cells: A Population of Nitric-Oxide-Producing, Slow-Spiking GABAergic Neurons and Their Involvement in Hippocampal Network Activity.” Neuron, vol. 57, no. 6, Elsevier, 2008, pp. 917–29, doi:10.1016/j.neuron.2008.01.034.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3534
Dupret, David, et al. “Inhibitory Interneurons and Network Oscillations.” PNAS, vol. 105, no. 47, National Academy of Sciences, 2008, pp. 18079–80, doi:10.1073/pnas.0810064105.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3537
Senior, Timothy, et al. “Gamma Oscillatory Firing Reveals Distinct Populations of Pyramidal Cells in the CA1 Region of the Hippocampus.” Journal of Neuroscience, vol. 28, no. 9, Society for Neuroscience, 2008, pp. 2274–86, doi:10.1523/JNEUROSCI.4669-07.2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3544
Mallet, Nicolas, et al. “Disrupted Dopamine Transmission and the Emergence of Exaggerated Beta Oscillations in Subthalamic Nucleus and Cerebral Cortex.” Journal of Neuroscience, vol. 28, no. 18, Society for Neuroscience, 2008, pp. 4795–806, doi:10.1523/JNEUROSCI.0123-08.2008.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3577
Biasotti, Silvia, et al. “Skeletal Structures.” Shape Analysis and Structuring, Springer, 2008, pp. 145–83, doi:10.1007/978-3-540-33265-7_5.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3591
Ulrich, Florian, and Carl-Philipp J. Heisenberg. “Probing E-Cadherin Endocytosis by Morpholino-Mediated Rab5 Knock-down in Zebrafish.” Methods in Molecular Biology, vol. 440, Springer, 2008, pp. 371–87, doi:10.1007/978-1-59745-178-9_27.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3599
Yang, Erfu, et al. Adaptive Formation Control and Bio-Inspired Optimization of a Cluster-Based Satellite Wireless Sensor Network . IEEE, 2008, pp. 432–39, doi:10.1109/AHS.2008.60.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3600
Yang, Erfu, et al. Scalability of a Novel Shifting Balance Theory-Based Optimization Algorithm: A Comparative Study on a Cluster-Based Wireless Sensor Network. Vol. 5216, Springer, 2008, pp. 249–60, doi:10.1007/978-3-540-85857-7_22.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3605
De Cara, Maria, et al. “A Model for the Evolution of Assortative Mating.” American Naturalist, vol. 171, no. 5, University of Chicago Press, 2008, pp. 580–96, doi:10.1086/587062.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3606
Barton, Nicholas H. “The Effect of a Barrier to Gene Flow on Patterns of Geographic Variation.” Genetical Research, vol. 90, no. 1, Cambridge University Press, 2008, pp. 139–49, doi:10.1017/S0016672307009081.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3694
Goldstein, Markus, et al. Bayes Optimal DDoS Mitigation by Adaptive History-Based IP Filtering. IEEE, 2008, pp. 174–79, doi:10.1109/ICN.2008.64.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3698
Blaschko, Matthew, et al. Semi-Supervised Laplacian Regularization of Kernel Canonical Correlation Analysis. Vol. 5211, no. Part 1, Springer, 2008, pp. 133–45, doi:10.1007/978-3-540-87479-9_27.
View | DOI
 

Search

Filter Publications