1. 2019. The On-Line Encyclopedia of Integer Sequences. https://oeis.org/ 2019. The On-Line Encyclopedia of Integer Sequences. https://oeis.org/
2. Towards a Formal Foundation of Web Security
3. Detecting Dependences and Interactions in Feature-Oriented Design
4. Rehan Abdul Aziz , Geoffrey Chu , Christian Muise , and Peter Stuckey . 2015 . SAT: Projected Model Counting. In International Conference on Theory and Applications of Satisfiability Testing. 121–137 . Rehan Abdul Aziz, Geoffrey Chu, Christian Muise, and Peter Stuckey. 2015. SAT: Projected Model Counting. In International Conference on Theory and Applications of Satisfiability Testing. 121–137.
5. Rolf Backofen and Sebastian Will . 1999. Excluding Symmetries in Constraint-Based Search . In Principles and Practice of Constraint Programming – CP’99 , Joxan Jaffar (Ed.). Springer , Berlin, Heidelberg . 73–87. Rolf Backofen and Sebastian Will. 1999. Excluding Symmetries in Constraint-Based Search. In Principles and Practice of Constraint Programming – CP’99, Joxan Jaffar (Ed.). Springer, Berlin, Heidelberg. 73–87.