Wei Wan

A new approach to the decomposition of incompletely specified multi-output functions based on graph coloring and local transformations and its application to FPGA mapping

Wei Wan, Marek Perkowski · European Design Automation Conference · 1992 · 82 citations

Engineering, Computer Engineering, Computer Science +17

A new approach to the decomposition of incompletely specified multi-output functions based on graph coloring and local transformations and its application to FPGA mapping

Wei Wan, Marek Perkowski · Proceedings EURO-DAC '92: European Design Automation Conference · 2003 · 53 citations

Engineering, Computer Engineering, Computer Science +17

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Faisal Al-Saqqar, Jamal Bentahar, Khalid Sultan et al. · Simulation Modelling Practice and Theory · 2014 · 38 citations

Computing, Computer Science, Distributed Systems +13

Model checking epistemic–probabilistic logic using probabilistic interpreted systems

Wei Wan, Jamal Bentahar · Knowledge-Based Systems · 2013 · 27 citations

Computing, Computer Science, Formal Methods +10

Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments

Khalid Sultan, Jamal Bentahar, Wei Wan et al. · Expert Systems with Applications · 2014 · 17 citations

Computing, Computer Science, Distributed Systems +12