The following publications are possibly variants of this publication:
- Efficient Automatic Resolution of Encoding Conflicts Using STG UnfoldingsVictor Khomenko. tvlsi, 17(7):855-868, 2009. [doi]
- Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG UnfoldingsVictor Khomenko, Agnes Madalinski, Alexandre Yakovlev. acsd 2006: 57-68 [doi]
- Detecting State Encoding Conflicts in STG Unfoldings Using SATVictor Khomenko, Maciej Koutny, Alexandre Yakovlev. FUIN, 62(2):221-241, 2004. [doi]
- Detecting State Coding Conflicts in STG Unfoldings Using SATVictor Khomenko, Maciej Koutny, Alexandre Yakovlev. acsd 2003: 51-60 [doi]
- Logic Decomposition of Asynchronous Circuits Using STG UnfoldingsVictor Khomenko. async 2011: 3-12 [doi]
- Derivation of Monotonic Covers for Standard-C Implementation Using STG UnfoldingsVictor Khomenko. async 2008: 141-150 [doi]
- STG decomposition strategies in combination with unfoldingVictor Khomenko, Mark Schäfer, Walter Vogler, Ralf Wollowski. ACTA, 46(6):433-474, 2009. [doi]
- Combining Decomposition and Unfolding for STG SynthesisVictor Khomenko, Mark Schäfer. apn 2007: 223-243 [doi]
- Detecting State Coding Conflicts in STGs Using Integer ProgrammingVictor Khomenko, Maciej Koutny, Alexandre Yakovlev. date 2002: 338-345 [doi]