Skander Kort

According to our database, Skander Kort authored at least 2 papers in 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2003

Hierarchical formal verification using a hybrid tool.

Skander Kort, Sofiène Tahar, Paul Curzon

Int. J. Softw. Tools Technol. Transf., 2003

Schemata-Driven Multi-objective Optimization.

Skander Kort

Proceedings of the Evolutionary Multi-Criterion Optimization, 2003