1. Computers and Intractability; A Guide to the Theory of NP-Completeness;Garey,1990
2. Z. Mann, A. Orban, Optimization problems in system-level synthesis, in: Proceedings of the 3rd Hungarian–Japanese Symposium on Discrete Mathematics and Its Applications, 2003.
3. Formal verification of systems by automatic hardware/software partitioning;Kroening,2005
4. An algorithm for hardware/software partitioning using mixed integer linear programming;Niemann;Design Automation for Embedded Systems,1997
5. Lycos: the lyngby co-synthesis system;Madsen;Design Automation for Embedded Systems,1997