Fundam. Informaticae

Keyphrases

Publications

volume 192, number 1, 2024

Walter Guttmann
Relation-Algebraic Verification of Disjoint-Set Forests. Fundam. Informaticae 192 (1) (2024)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions. Fundam. Informaticae 192 (1) (2024)

volume 191, number 1, 2024

Sizhong Zhou, Jiancheng Wu
Two Sufficient Conditions for Graphs to Admit Path Factors. Fundam. Informaticae 191 (1) (2024)
Chavdar Dangalchev
Link Residual Closeness of Harary Graphs. Fundam. Informaticae 191 (1) (2024)
Jesús Arturo Jiménez González
. Fundam. Informaticae 191 (1) (2024)

volume 191, number 2, 2024

volume 191, number 3-4, 2024

Anni Hakanen, Ismael G. Yero
Complexity and Equivalency of Multiset Dimension and ID-colorings. Fundam. Informaticae 191 (3-4) (2024)
Arto Salomaa, Kai Salomaa, Taylor J. Smith
Descriptional Complexity of Finite Automata - Selected Highlights. Fundam. Informaticae 191 (3-4) (2024)
Dipayan Chakraborty, Florent Foucaud, Aline Parreau, Annegret Wagler
On Three Domination-based Identification Problems in Block Graphs. Fundam. Informaticae 191 (3-4) (2024)
Ville Salo, Ilkka Törmä
Finding Codes on Infinite Grids Automatically. Fundam. Informaticae 191 (3-4) (2024)
Patric Gustafsson, Ion Petre
Strong Regulatory Graphs. Fundam. Informaticae 191 (3-4) (2024)
Vesa Halava, Tero Harju, Dirk Nowotka, Esa Sahla
Decision Problems on Copying and Shuffling. Fundam. Informaticae 191 (3-4) (2024)
Vesa Halava, Jarkko Kari, Tero Laihonen
Preface. Fundam. Informaticae 191 (3-4) (2024)
Juha Honkala
Commuting Upper Triangular Binary Morphisms. Fundam. Informaticae 191 (3-4) (2024)
Pyry Herva, Tero Laihonen, Tuomo Lehtilä
Optimal Local Identifying and Local Locating-dominating Codes. Fundam. Informaticae 191 (3-4) (2024)
Olivier Hudry, Ville Junnila, Antoine Lobstein
On Iiro Honkala's Contributions to Identifying Codes. Fundam. Informaticae 191 (3-4) (2024)
David Auger, Johanne Cohen, Antoine Lobstein
Nonatomic Non-Cooperative Neighbourhood Balancing Games. Fundam. Informaticae 191 (3-4) (2024)

volume 190, number 2-4, 2024

volume 190, number 1, 2022

Neerja Mhaskar, W. F. Smyth
String Covering: A Survey. Fundam. Informaticae 190 (1) (2022)
Przemyslaw Koprowski
Computing Square Roots in Quaternion Algebras. Fundam. Informaticae 190 (1) (2022)
Seyed Reza Musawi, Esmaeil Nazari
Diameter of General Knödel Graphs. Fundam. Informaticae 190 (1) (2022)

volume 189, number 1, 2022

volume 189, number 2, 2022

volume 189, number 3-4, 2022

volume 188, number 1, 2022

volume 188, number 2, 2022

Hyang-Sook Lee, Seongan Lim, Ikkwon Yie, Aaram Yun
On Insecure Uses of BGN for Privacy Preserving Data Aggregation Protocols. Fundam. Informaticae 188 (2) (2022)
Wojciech Macyna, Michal Kukowski
Adaptive Merging on Phase Change Memory. Fundam. Informaticae 188 (2) (2022)
Eugene Eberbach
On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus. Fundam. Informaticae 188 (2) (2022)

volume 188, number 3, 2022

Petr Jancar, Jiri Valusek
Structural Liveness of Immediate Observation Petri Nets. Fundam. Informaticae 188 (3) (2022)
David Barozzini, Lorenzo Clemente, Thomas Colcombet, Pawel Parys
Cost Automata, Safe Schemes, and Downward Closures. Fundam. Informaticae 188 (3) (2022)

volume 188, number 4, 2022

Rajeshwari S, M. Rajesh
-Cubes into Certain Cylinders and Trees. Fundam. Informaticae 188 (4) (2022)
Marisa Llorens, J. Oliver, Josep Silva, Salvador Tamarit
Maximal and Minimal Dynamic Petri Net Slicing. Fundam. Informaticae 188 (4) (2022)
Blaise Blériot Koguep Njionou, Léonard Kwuida, Célestin Lélé
Formal Concepts and Residuation on Multilattices. Fundam. Informaticae 188 (4) (2022)