Search results for: Olivia Rossi-Doria
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 248-262
Lecture Notes in Computer Science > Parallel Problem Solving from Nature - PPSN VIII > Applications > 450-460
Lecture Notes in Computer Science > Parallel Problem Solving from Nature — PPSN VII > Comparison of Different Techniques > 631-640
Lecture Notes in Computer Science > Practice and Theory of Automated Timetabling IV > University Course and School Timetabling > 329-351
Journal of Scheduling > 2006 > 9 > 5 > 403-432