Here you can find our peer-reviewed conference papers on Branching Programs, (Ordered) Binary Decision Diagrams - (O)BDDs, and on BDD-based Efficient Data Structures and Algorithms:

You can find other sub-lists of our conference papers focusing on 

• Security and Trust Engineering
• Multimedia and Machine Learning
• Innovation Research: Design Thinking and Collaborative Creativity
• Next Generation Internet Technologies and Applications: 
  • Web3.0: Semantic Web, Social Web, and Service Web 
  • E-Health and Telemedicine
  • others
• Theoretical Foundations of Computer Science: 
  • (O)BDDs - (Ordered) Binary Decision Diagrams in Electronic Design Automation and Formal Verification
  • Computational Complexity, principal ressource bounds for computations
•  

Go back to the complete list of peer-reviewed conference papers.

... to our Research: 
              Security Engineering - Learning & Knowledge Tech - Design Thinking - former
... to our Teaching: 
              Tele-Lectures - MOOCs - Labs - Systems 
... to our Publications: 
              Books - Journals - Conference-Papers - Patents
... and to our Annual Reports.