Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by F. Kamareddine
Pure Type Systems With De Bruijn Indices
Computer Journal
Computer Science
Capsule Reviews
Computer Journal
Computer Science
Related publications
Pure Type Systems With Definitions
Succinct Dynamic De Bruijn Graphs
Scaling Metagenome Sequence Assembly With Probabilistic De Bruijn Graphs
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
A-Translation and Looping Combinators in Pure Type Systems
Journal of Functional Programming
Software
Evolutionary Construction of De Bruijn Sequences
De Bruijn Notation as a Nested Datatype
Journal of Functional Programming
Software
Optimal Routing in the De Bruijn Networks
On the Existence of De Bruijn Tori With Two by Two Windows
Journal of Combinatorial Theory - Series A
Combinatorics
Computational Theory
Discrete Mathematics
Theoretical Computer Science
Mathematics
From Indexing Data Structures to De Bruijn Graphs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science