Acta cybernetica című kiadvány cikkei

25

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

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

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

Horpácsi Dániel; Kőszegi Judit; 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; Kovács Réka Nikolett; 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; Chesneau Christophe; Dombi József; 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; Oláh Gábor; 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.; Horpácsi Dániel; 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; Hruska Csaba; 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; Auer Ekaterina: Verified integration of differential equations with discrete delay. In: Acta cybernetica, (25) 3. pp. 677-702. (2022)

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

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

Szlobodnyik Gergely; 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; Horváth Gábor; 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; Porkoláb Zoltán: Detecting uninitialized variables in C++ with the Clang static analyzer. In: Acta cybernetica, (25) 4. pp. 923-940. (2022)