Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jean-Francois Raskin
Lattice-Valued Binary Decision Diagrams
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Algorithms for Omega-Regular Games With Imperfect Information
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Equational Binary Decision Diagrams
Binary Decision Diagrams With Edge-Specified Reductions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Average Path Length of Binary Decision Diagrams
IEEE Transactions on Computers
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Software
And/OR Multi-Valued Decision Diagrams for Constraint Networks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
NEM Relay Design With Biconditional Binary Decision Diagrams
Improving Reliability Calculation With Augmented Binary Decision Diagrams
Efficient Basic Event Orderings for Binary Decision Diagrams
High-Speed Ip Routing With Binary Decision Diagrams Based Hardware Address Lookup Engine
IEEE Journal on Selected Areas in Communications
Computer Networks
Electronic Engineering
Electrical
Communications
Analysis Methods of Multi-State Systems Partially Having Dependent Components Using Multiple-Valued Decision Diagrams
