default search action
Fundamenta Informaticae, Volume 188
Volume 188, Number 1, 2022
- Behrooz Bagheri Gh., Tomás Feder, Herbert Fleischner, Carlos S. Subi:
On Finding Hamiltonian Cycles in Barnette Graphs. 1-14 - Alexis Bès, Christian Choffrut:
Decidability of Definability Issues in the Theory of Real Addition. 15-39 - Ireneusz Mrozek, Nikolai A. Shevchenko, Vyacheslav N. Yarmolik:
Universal Address Sequence Generator for Memory Built-in Self-test. 41-61
Volume 188, Number 2, 2022
- Eugene Eberbach:
On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus. 63-90 - Hyang-Sook Lee, Seongan Lim, Ikkwon Yie, Aaram Yun:
On Insecure Uses of BGN for Privacy Preserving Data Aggregation Protocols. 91-101 - Wojciech Macyna, Michal Kukowski:
Adaptive Merging on Phase Change Memory. 103-126
Volume 188, Number 3, 2022
- David Barozzini, Lorenzo Clemente, Thomas Colcombet, Pawel Parys
:
Cost Automata, Safe Schemes, and Downward Closures. 127-178 - Petr Jancar
, Jiri Valusek:
Structural Liveness of Immediate Observation Petri Nets. 179-215
Volume 188, Number 4, 2022
- Blaise Blériot Koguep Njionou, Léonard Kwuida
, Célestin Lélé:
Formal Concepts and Residuation on Multilattices. 217-237 - Marisa Llorens, J. Oliver, Josep Silva, Salvador Tamarit:
Maximal and Minimal Dynamic Petri Net Slicing. 239-267 - Rajeshwari S, M. Rajesh:
Exact Wirelength of Embedding 3-Ary n-Cubes into Certain Cylinders and Trees. 269-284
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.