Acta cybernetica

Al-Atar Munqath and Sali Attila: Strongly possible functional dependencies for SQL. In: Acta cybernetica, (25) 3. pp. 647-675. (2022)

Cleary Sean and Maio Roland: An efficient sampling algorithm for difficult tree pairs. In: Acta cybernetica, (25) 3. pp. 629-646. (2022)

Fahrenberg Uli and Johansen Christian and Struth Georg and Ziemiański Krzysztof: Domain semirings united. In: Acta cybernetica, (25) 3. pp. 575-583. (2022)

Horpácsi Dániel and Kőszegi Judit and Németh Dávid J.: Towards a generic framework for trustworthy program refactoring. In: Acta cybernetica, (25) 4. pp. 753-779. (2022)

Horváth Gábor and Kovács Réka Nikolett and Szécsi Péter: Report on the differential testing of static analyzers. In: Acta cybernetica, (25) 4. pp. 781-795. (2022)

Jónás Tamás: The generalized epsilon function : an alternative to the exponential function. In: Acta cybernetica, (25) 3. pp. 703-716. (2022)

Jónás Tamás and Chesneau Christophe and Dombi József and Bakouch Hassan Salah: The inverse epsilon distribution as an alternative to inverse exponential distribution with a survival times data example. In: Acta cybernetica, (25) 3. pp. 613-628. (2022)

Koga Toshihiro: Dense languages and non primitive words. In: Acta cybernetica, (25) 3. pp. 717-731. (2022)

Nagy Gergely and Oláh Gábor and Porkoláb Zoltán: Type inference of simple recursive functions in Scala. In: Acta cybernetica, (25) 4. pp. 797-815. (2022)

Németh Dávid J. and Horpácsi Dániel and Tejfel Máté: Adaptation of a refactoring DSL for the object-oriented paradigm. In: Acta cybernetica, (25) 4. pp. 817-846. (2022)

Podlovics Péter Dávid and Hruska Csaba and Pénzes Andor: A modern look at GRIN, an optimizing functional language back end. In: Acta cybernetica, (25) 4. pp. 847-876. (2022)

Popa Alexandru: Models and algorithms for social distancing in order to stop the spread of COVID-19. In: Acta cybernetica, (25) 3. pp. 733-749. (2022)

Rauh Andreas and Auer Ekaterina: Verified integration of differential equations with discrete delay. In: Acta cybernetica, (25) 3. pp. 677-702. (2022)

Révész Ádám and Pataki Norbert: Visualisation of Jenkins pipelines. In: Acta cybernetica, (25) 4. pp. 877-895. (2022)

Soha Péter and Pataki Norbert: Instantiation of Java generics. In: Acta cybernetica, (25) 4. pp. 897-908. (2022)

Szlobodnyik Gergely and Szederkényi Gábor: Computing different realizations of linear dynamical systems with embedding eigenvalue assignment. In: Acta cybernetica, (25) 3. pp. 585-611. (2022)

Szécsi Péter György and Horváth Gábor and Porkoláb Zoltán: Improved loop execution modeling in the Clang static analyzer. In: Acta cybernetica, (25) 4. pp. 909-921. (2022)

Umann Kristóf and Porkoláb Zoltán: Detecting uninitialized variables in C++ with the Clang static analyzer. In: Acta cybernetica, (25) 4. pp. 923-940. (2022)