 |
 | Vissza |
Abdelkrim Abdelli: Improving the construction of the DBM over approximation of the state spce of real-time preemptive systems. In: Acta cybernetica, (20) 3. pp. 347-384. (2012)
Aszalós László; Herendi Tamás: Density of tautologies in logics with one variable. In: Acta cybernetica, (20) 3. pp. 385-398. (2012)
Erős Levente; Csöndes Tibor: Model-driven diagnostics of underperforming communicating systems. In: Acta cybernetica, (20) 4. pp. 461-481. (2012)
Hajdu András; Hajdu Lajos; Tijdeman Robert: Approximation of the Euclidean distance by Chamfer distances. In: Acta cybernetica, (20) 3. pp. 399-417. (2012)
Hajnal Ákos; Forgács István: Understanding program slices. In: Acta cybernetica, (20) 4. pp. 483-497. (2012)
Nagy T. István: Person attribute extraction from the textual parts of web pages. In: Acta cybernetica, (20) 3. pp. 419-440. (2012)
Ujvári Miklós: New descriptions of the Lovász number, and the weak sandwich theorem. In: Acta cybernetica, (20) 4. pp. 499-513. (2012)
Varga László Zsolt: Joint perception in agent communication. In: Acta cybernetica, (20) 4. pp. 515-537. (2012)
Zombori Zsolt; Szeredi Péter: Loop elimination, a sound optimisation technique for PTTP related theorem proving. In: Acta cybernetica, (20) 3. pp. 441-458. (2012)
