HUN-REN Institute for Computer Science and Control - Publications