Journal Article (102)
21.
Journal Article
19 (6), pp. 3 - 4 (2005)
Guest Editorial - Interdomain Routing and the Border Gateway Protocol. IEEE Network 22.
Journal Article
102, pp. 16188 - 16193 (2005)
Diversity and functional plasticity of eukaryotic selenoproteins: Identification and characterization of the SelJ family. Proceedings of the National Academy of Sciences 23.
Journal Article
93 (1), pp. 23 - 32 (2005)
Girth and Treewidth. Journal of Combinatorical Theory, Series B 24.
Journal Article
2, pp. 771 - 787 (2005)
Dissection of the inflammatory bowel disease transcriptome using genome-wide cDNA microarrays identifies novel candidate disease genes. PLoS Medicine 25.
Journal Article
45, pp. 1653 - 1666 (2005)
Retinal properties and potential of the adult mammalian ciliary epithelium stem cells. Vision Research 26.
Journal Article
199, pp. 24 - 54 (2005)
Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms. Information and Computation 27.
Journal Article
14, pp. 289 - 329 (2005)
Deciding Regular Grammar Logics with Converse through First-Order Logic. Journal of Logic, Language and Information 28.
Journal Article
24, pp. 1139 - 1160 (2005)
Coq, un outil pour l'enseignement. Technique et Science Informatiques 29.
Journal Article
21, pp. 691 - 709 (2005)
Bounds and Constructions for the Star-Discrepancy via Delta-Covers. Journal of Complexity 30.
Journal Article
102 (2), pp. 249 - 259 (2005)
A Linear Algorithm for Integer Programming in the Plane. Mathematical Programming / A 31.
Journal Article
39, pp. 61 - 71 (2005)
Birational properties of the gap subresultant varieties. Journal of Symbolic Computation 32.
Journal Article
133, pp. 2193 - 2199 (2005)
D-resultant and subresultants. Proceedings of the Amercian Mathematical Society 33.
Journal Article
289, pp. 446 - 452 (2005)
UFDs with commuting linearly independent locally nilpotent derivations. Journal of Algebra 34.
Journal Article
17, pp. 215 - 249 (2005)
An Indexing Method for Answering Queries on Moving Objects. Distributed and Parallel Databases 35.
Journal Article
35 (3), pp. 97 - 102 (2005)
Experiences from the SIGCOMM 2005 European Shadow PC Experiment. Computer Communication Review 36.
Journal Article
61 (2-3), pp. 129 - 141 (2005)
On TCP and Self-similar Traffic. Performance Evaluation 37.
Journal Article
38, pp. 229 - 248 (2005)
Space Efficient Hash Tables With Worst Case Constant Access Time. Theory of Computing Systems 38.
Journal Article
11, pp. 296 - 305 (2005)
Reflectance from Images: A Model-Based Approach for Human Faces. IEEE Transactions on Visualization and Computer Graphics 39.
Journal Article
31 (3), pp. 179 - 194 (2005)
Structural Filtering: a Paradigm for Efficient and Exact Geometric Programs. Computational Geometry 40.
Journal Article
199, pp. 3 - 23 (2005)
Superposition with equivalence reasoning and delayed clause normal form transformation. Information and Computation