systems.cs.pub.ro