Fundamenta Informaticae - Latest Publications Latest articles https://fi.episciences.org/img/episciences_sign_50x50.png episciences.org https://fi.episciences.org Fri, 03 Apr 2026 20:30:22 +0000 episciences.org https://fi.episciences.org Fundamenta Informaticae Fundamenta Informaticae An Elementary Proof of the FMP for Kleene Algebra Fri, 06 Feb 2026 09:21:39 +0000 https://doi.org/10.46298/fi.12445 https://doi.org/10.46298/fi.12445 Kappé, Tobias Kappé, Tobias 0 Cardinality and Representation of Stone Relation Algebras Fri, 06 Feb 2026 09:21:11 +0000 https://doi.org/10.46298/fi.12347 https://doi.org/10.46298/fi.12347 Furusawa, Hitoshi Guttmann, Walter Furusawa, Hitoshi Guttmann, Walter 0 Normal Forms for Elements of ${}^*$-Continuous Kleene Algebras Representing the Context-Free Languages Wed, 14 Jan 2026 10:44:50 +0000 https://doi.org/10.46298/fi.12479 https://doi.org/10.46298/fi.12479 Hopkins, Mark Leiß, Hans Hopkins, Mark Leiß, Hans 0 Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound Property Sun, 11 Jan 2026 21:43:23 +0000 https://doi.org/10.46298/fi.12364 https://doi.org/10.46298/fi.12364 Winter, Michael Winter, Michael 0 Representing Sugihara monoids via weakening relations Sun, 11 Jan 2026 21:42:32 +0000 https://doi.org/10.46298/fi.12451 https://doi.org/10.46298/fi.12451 Craig, Andrew Robinson, Claudette Craig, Andrew Robinson, Claudette 0 Unidirectional Key Update in Updatable Encryption, Revisited Sun, 11 Jan 2026 21:39:26 +0000 https://doi.org/10.46298/fi.14425 https://doi.org/10.46298/fi.14425 Jurkiewicz, M. Prabucka, K. Jurkiewicz, M. Prabucka, K. 0 Privacy for Quantum Annealing. Attack on Spin Reversal Transformations in the case of cryptanalysis Sun, 11 Jan 2026 21:38:45 +0000 https://doi.org/10.46298/fi.14346 https://doi.org/10.46298/fi.14346 Leśniak, Mateusz Wroński, Michał Leśniak, Mateusz Wroński, Michał 0 MNT Elliptic Curves with Non-Prime Order Wed, 31 Dec 2025 23:00:00 +0000 https://doi.org/10.46298/fi.14373 https://doi.org/10.46298/fi.14373 Grześkowiak, Maciej Grześkowiak, Maciej 0 Ciphertext Malleability in Lattice-Based KEMs as a Countermeasure to Side Channel Analysis Tue, 30 Dec 2025 23:00:00 +0000 https://doi.org/10.46298/fi.14339 https://doi.org/10.46298/fi.14339 Berthet, Pierre-Augustin Berthet, Pierre-Augustin 0 The fork and its role in unification of closure algebras Tue, 30 Dec 2025 16:26:59 +0000 https://doi.org/10.46298/fi.12354 https://doi.org/10.46298/fi.12354 Düntsch, Ivo Dzik, Wojciech Düntsch, Ivo Dzik, Wojciech 0 Locally Integral Involutive PO-Semigroups Tue, 30 Dec 2025 16:23:33 +0000 https://doi.org/10.46298/fi.12449 https://doi.org/10.46298/fi.12449 Gil-Férez, José Jipsen, Peter Sugimoto, Melissa Gil-Férez, José Jipsen, Peter Sugimoto, Melissa 0 A Theory of Conversion Relations for Prefixed Units of Measure Mon, 29 Dec 2025 14:39:25 +0000 https://doi.org/10.46298/fi.12436 https://doi.org/10.46298/fi.12436 Widemann, Baltasar Trancón y Lepper, Markus Widemann, Baltasar Trancón y Lepper, Markus 0 The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra Sat, 27 Dec 2025 12:59:02 +0000 https://doi.org/10.46298/fi.12245 https://doi.org/10.46298/fi.12245 Backhouse, Roland Voermans, Ed Backhouse, Roland Voermans, Ed 0 Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity Sat, 27 Dec 2025 12:54:56 +0000 https://doi.org/10.46298/fi.12365 https://doi.org/10.46298/fi.12365 Nakamura, Yoshiki Nakamura, Yoshiki 0 Translating Three-Variable First-Order Predicate Logic to Relation Algebra, Implemented using Z3 Sat, 27 Dec 2025 12:53:47 +0000 https://doi.org/10.46298/fi.11710 https://doi.org/10.46298/fi.11710 Brogni, Anthony Joosten, Sebastiaan J. C. Brogni, Anthony Joosten, Sebastiaan J. C. 0 Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture Sat, 27 Dec 2025 12:52:49 +0000 https://doi.org/10.46298/fi.12328 https://doi.org/10.46298/fi.12328 Alm, Jeremy F. Andrews, David A. Levet, Michael Alm, Jeremy F. Andrews, David A. Levet, Michael 0 Dialectica Petri Nets Tue, 23 Dec 2025 22:15:48 +0000 https://doi.org/10.46298/fi.13125 https://doi.org/10.46298/fi.13125 Di Lavore, Elena Leal, Wilmer de Paiva, Valeria Di Lavore, Elena Leal, Wilmer de Paiva, Valeria 0 Runtime Repeated Recursion Unfolding in CHR: A Just-In-Time Online Program Optimization Strategy That Can Achieve Super-Linear Speedup Fri, 31 Oct 2025 17:04:34 +0000 https://doi.org/10.46298/fi.11547 https://doi.org/10.46298/fi.11547 Fruehwirth, Thom Fruehwirth, Thom 0 The geodesic cover problem for butterfly networks Mon, 27 Oct 2025 19:54:46 +0000 https://doi.org/10.46298/fi.10201 https://doi.org/10.46298/fi.10201 Manuel, Paul Klavzar, Sandi Prabha, R. Arokiaraj, Andrew Manuel, Paul Klavzar, Sandi Prabha, R. Arokiaraj, Andrew 0 A concentration phenomenon for $h$-extra edge-connectivity reliability analysis of enhanced hypercubes $Q_{n,2}$ with exponentially many faulty links Sun, 26 Oct 2025 18:56:27 +0000 https://doi.org/10.46298/fi.13487 https://doi.org/10.46298/fi.13487 Sun, Yali Zhang, Mingzu Feng, Xing Yang, Xing Sun, Yali Zhang, Mingzu Feng, Xing Yang, Xing 0 Intersection Types for a Computational Lambda-Calculus with Global State Fri, 29 Aug 2025 11:25:31 +0000 https://doi.org/10.46298/fi.10010 https://doi.org/10.46298/fi.10010 de'Liguoro, Ugo Treglia, Riccardo de'Liguoro, Ugo Treglia, Riccardo 0 Demystifying $μ$ Thu, 28 Aug 2025 15:02:16 +0000 https://doi.org/10.46298/fi.12773 https://doi.org/10.46298/fi.12773 Afshari, Bahareh Leigh, Graham E. Turata, Guillermo Menèndez Afshari, Bahareh Leigh, Graham E. Turata, Guillermo Menèndez 0 Peano Arithmetic and $μ$MALL Thu, 28 Aug 2025 15:01:43 +0000 https://doi.org/10.46298/fi.12736 https://doi.org/10.46298/fi.12736 Manighetti, Matteo Miller, Dale Manighetti, Matteo Miller, Dale 0 Relative fixed points of functors Thu, 28 Aug 2025 15:01:12 +0000 https://doi.org/10.46298/fi.12374 https://doi.org/10.46298/fi.12374 Schoen, Ezra Master, Jade Kupke, Clemens Schoen, Ezra Master, Jade Kupke, Clemens 0 Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates Wed, 16 Jul 2025 11:30:21 +0000 https://doi.org/10.46298/fi.11318 https://doi.org/10.46298/fi.11318 Echenim, Mnacho Peltier, Nicolas Echenim, Mnacho Peltier, Nicolas 0 On the Computational Power of Particle Methods Wed, 16 Jul 2025 11:26:07 +0000 https://doi.org/10.46298/fi.11227 https://doi.org/10.46298/fi.11227 Pahlke, Johannes Sbalzarini, Ivo F. Pahlke, Johannes Sbalzarini, Ivo F. 0 Constructing disjoint Steiner trees in Sierpiński graphs Sat, 05 Jul 2025 18:25:54 +0000 https://doi.org/10.46298/fi.12478 https://doi.org/10.46298/fi.12478 Yang, Chenxu Li, Ping Mao, Yaping Cheng, Eddie Klasing, Ralf Yang, Chenxu Li, Ping Mao, Yaping Cheng, Eddie Klasing, Ralf 0 Equational theory of ordinals with addition and left multiplication by $ω$ Sat, 05 Jul 2025 18:22:43 +0000 https://doi.org/10.46298/fi.13734 https://doi.org/10.46298/fi.13734 Choffrut, Christian Choffrut, Christian 0 Maximum Centre-Disjoint Mergeable Disks Wed, 14 May 2025 09:23:23 +0000 https://fi.episciences.org/14990 https://fi.episciences.org/14990 Rudi, Ali Gholami Rudi, Ali Gholami 0 Single-sample versus case-control sampling scheme for Positive Unlabeled data: the story of two scenarios Wed, 14 May 2025 09:22:54 +0000 https://fi.episciences.org/14991 https://fi.episciences.org/14991 Mielniczuk, Jan Wawrzeńczyk, Adam Mielniczuk, Jan Wawrzeńczyk, Adam 0 On Completely Edge-Independent Spanning Trees in Locally Twisted Cubes Wed, 14 May 2025 09:22:24 +0000 https://fi.episciences.org/15670 https://fi.episciences.org/15670 Li, Xiaorui Cheng, Baolei Fan, Jianxi Wang, Yan Wang, Dajin Li, Xiaorui Cheng, Baolei Fan, Jianxi Wang, Yan Wang, Dajin 0 All Graphs with at most 8 nodes are 2-interval-PCGs Wed, 14 May 2025 09:21:19 +0000 https://fi.episciences.org/15029 https://fi.episciences.org/15029 Calamoneri, Tiziana Monti, Angelo Petroni, Fabrizio Calamoneri, Tiziana Monti, Angelo Petroni, Fabrizio 0 Proving Confluence in the Confluence Framework with CONFident Sun, 10 Nov 2024 10:46:14 +0000 https://fi.episciences.org/14128 https://fi.episciences.org/14128 Gutiérrez, Raúl Lucas, Salvador Vítores, Miguel Gutiérrez, Raúl Lucas, Salvador Vítores, Miguel 0 On Complexity Bounds and Confluence of Parallel Term Rewriting Sun, 10 Nov 2024 10:45:51 +0000 https://fi.episciences.org/14207 https://fi.episciences.org/14207 Baudon, Thaïs Fuhs, Carsten Gonnord, Laure Baudon, Thaïs Fuhs, Carsten Gonnord, Laure 0 Relation-Algebraic Verification of Disjoint-Set Forests Sun, 10 Nov 2024 10:42:39 +0000 https://fi.episciences.org/13951 https://fi.episciences.org/13951 Guttmann, Walter Guttmann, Walter 0 Global types and event structure semantics for asynchronous multiparty sessions Sun, 10 Nov 2024 10:42:14 +0000 https://fi.episciences.org/13946 https://fi.episciences.org/13946 Castellani, Ilaria Dezani-Ciancaglini, Mariangiola Giannini, Paola Castellani, Ilaria Dezani-Ciancaglini, Mariangiola Giannini, Paola 0 Optimal local identifying and local locating-dominating codes Sun, 10 Nov 2024 10:30:05 +0000 https://fi.episciences.org/13881 https://fi.episciences.org/13881 Herva, Pyry Laihonen, Tero Lehtilä, Tuomo Herva, Pyry Laihonen, Tero Lehtilä, Tuomo 0 Finding codes on infinite grids automatically Sun, 10 Nov 2024 10:29:41 +0000 https://fi.episciences.org/13912 https://fi.episciences.org/13912 Salo, Ville Törmä, Ilkka Salo, Ville Törmä, Ilkka 0 Complexity and equivalency of multiset dimension and ID-colorings Sun, 10 Nov 2024 10:29:10 +0000 https://fi.episciences.org/13918 https://fi.episciences.org/13918 Hakanen, Anni Yero, Ismael G. Hakanen, Anni Yero, Ismael G. 0 Strong regulatory graphs Sun, 10 Nov 2024 10:28:44 +0000 https://fi.episciences.org/12377 https://fi.episciences.org/12377 Gustafsson, Patric Petre, Ion Gustafsson, Patric Petre, Ion 0 Commuting upper triangular binary morphisms Sun, 10 Nov 2024 10:28:13 +0000 https://fi.episciences.org/13931 https://fi.episciences.org/13931 Honkala, Juha Honkala, Juha 0 Decision Problems on Copying and Shuffling Sun, 10 Nov 2024 10:12:52 +0000 https://fi.episciences.org/13940 https://fi.episciences.org/13940 Halava, Vesa Harju, Tero Nowotka, Dirk Sahla, Esa Halava, Vesa Harju, Tero Nowotka, Dirk Sahla, Esa 0 Nonatomic Non-Cooperative Neighbourhood Balancing Games Sun, 10 Nov 2024 10:11:59 +0000 https://fi.episciences.org/12555 https://fi.episciences.org/12555 Auger, David Cohen, Johanne Lobstein, Antoine Auger, David Cohen, Johanne Lobstein, Antoine 0 Descriptional Complexity of Finite Automata -- Selected Highlights Sun, 10 Nov 2024 10:10:50 +0000 https://fi.episciences.org/11559 https://fi.episciences.org/11559 Salomaa, Arto Salomaa, Kai Smith, Taylor J. Salomaa, Arto Salomaa, Kai Smith, Taylor J. 0 On three domination-based identification problems in block graphs Sun, 10 Nov 2024 10:09:50 +0000 https://fi.episciences.org/13888 https://fi.episciences.org/13888 Chakraborty, Dipayan Foucaud, Florent Parreau, Aline Wagler, Annegret K. Chakraborty, Dipayan Foucaud, Florent Parreau, Aline Wagler, Annegret K. 0 On Iiro Honkala's contributions to identifying codes Sun, 10 Nov 2024 10:09:11 +0000 https://fi.episciences.org/13882 https://fi.episciences.org/13882 Hudry, Olivier Junnila, Ville Lobstein, Antoine Hudry, Olivier Junnila, Ville Lobstein, Antoine 0 On the Complexity of Proving Polyhedral Reductions Sun, 10 Nov 2024 09:35:48 +0000 https://fi.episciences.org/14248 https://fi.episciences.org/14248 Amat, Nicolas Zilio, Silvano Dal Botlan, Didier Le Amat, Nicolas Zilio, Silvano Dal Botlan, Didier Le 0 Taking Complete Finite Prefixes To High Level, Symbolically Sun, 10 Nov 2024 09:35:09 +0000 https://fi.episciences.org/14249 https://fi.episciences.org/14249 Würdemann, Nick Chatain, Thomas Haar, Stefan Panneke, Lukas Würdemann, Nick Chatain, Thomas Haar, Stefan Panneke, Lukas 0 Myhill-Nerode Theorem for Higher-Dimensional Automata Sun, 10 Nov 2024 09:34:00 +0000 https://fi.episciences.org/14246 https://fi.episciences.org/14246 Fahrenberg, Uli Ziemiański, Krzysztof Fahrenberg, Uli Ziemiański, Krzysztof 0 A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets Sat, 09 Nov 2024 23:00:00 +0000 https://fi.episciences.org/14251 https://fi.episciences.org/14251 Arias, Jaime Bae, Kyungmin Olarte, Carlos Ölveczky, Peter Csaba Petrucci, Laure Arias, Jaime Bae, Kyungmin Olarte, Carlos Ölveczky, Peter Csaba Petrucci, Laure 0 Perturbation results for distance-edge-monitoring numbers Mon, 08 Jul 2024 12:57:17 +0000 https://fi.episciences.org/13573 https://fi.episciences.org/13573 Yang, Chenxu Klasing, Ralf He, Changxiang Mao, Yaping Yang, Chenxu Klasing, Ralf He, Changxiang Mao, Yaping 0 Elimination distance to bounded degree on planar graphs Mon, 08 Jul 2024 12:56:53 +0000 https://fi.episciences.org/13665 https://fi.episciences.org/13665 Lindermayr, Alexander Siebertz, Sebastian Vigny, Alexandre Lindermayr, Alexander Siebertz, Sebastian Vigny, Alexandre 0 Closeness and Residual Closeness of Harary Graphs Mon, 08 Jul 2024 12:56:26 +0000 https://fi.episciences.org/13618 https://fi.episciences.org/13618 Golpek, Hande Tuncel Aytac, Aysun Golpek, Hande Tuncel Aytac, Aysun 0 On Rotation Distance of Rank Bounded Trees Mon, 08 Jul 2024 12:55:54 +0000 https://fi.episciences.org/13643 https://fi.episciences.org/13643 M., Anoop S. K. Sarma, Jayalal M., Anoop S. K. Sarma, Jayalal 0 A strong Gram classification of non-negative unit forms of Dynkin type A Sat, 30 Mar 2024 11:13:13 +0000 https://fi.episciences.org/13099 https://fi.episciences.org/13099 Gonzalez, J. A. Jimenez Gonzalez, J. A. Jimenez 0 Two sufficient conditions for graphs to admit path factors Sat, 30 Mar 2024 11:12:52 +0000 https://fi.episciences.org/13105 https://fi.episciences.org/13105 Zhou, Sizhong Wu, Jiancheng Zhou, Sizhong Wu, Jiancheng 0 Link Residual Closeness of Harary Graphs Sat, 30 Mar 2024 11:12:26 +0000 https://fi.episciences.org/13126 https://fi.episciences.org/13126 Dangalchev, Ch. Dangalchev, Ch. 0 Correctness Notions for Petri Nets with Identifiers Mon, 12 Feb 2024 15:24:23 +0000 https://fi.episciences.org/12902 https://fi.episciences.org/12902 van der Werf, Jan Martijn E. M. Rivkin, Andrey Montali, Marco Polyvyanyy, Artem van der Werf, Jan Martijn E. M. Rivkin, Andrey Montali, Marco Polyvyanyy, Artem 0 Discovering Process Models With Long-Term Dependencies While Providing Guarantees and Filtering Infrequent Behavior Patterns Mon, 12 Feb 2024 15:23:52 +0000 https://fi.episciences.org/12952 https://fi.episciences.org/12952 Mannel, Lisa Luise van der Aalst, Wil M. P. Mannel, Lisa Luise van der Aalst, Wil M. P. 0 Waiting Nets: State Classes and Taxonomy Mon, 12 Feb 2024 15:23:21 +0000 https://fi.episciences.org/12953 https://fi.episciences.org/12953 Hélouët, Loïc Agrawal, Pranay Hélouët, Loïc Agrawal, Pranay 0 Diameter of General Knödel Graphs Sat, 14 Oct 2023 10:52:07 +0000 https://fi.episciences.org/12399 https://fi.episciences.org/12399 Musawi, Seyed Reza Kiashi, Esameil Nazari Musawi, Seyed Reza Kiashi, Esameil Nazari 0 String Covering: A Survey Sat, 14 Oct 2023 10:51:50 +0000 https://fi.episciences.org/12400 https://fi.episciences.org/12400 Mhaskar, Neerja Smyth, W. F. Mhaskar, Neerja Smyth, W. F. 0 Computing square roots in quaternion algebras Sat, 14 Oct 2023 10:51:31 +0000 https://fi.episciences.org/12404 https://fi.episciences.org/12404 Koprowski, Przemysław Koprowski, Przemysław 0 Methods for Efficient Unfolding of Colored Petri Nets Sat, 14 Oct 2023 10:50:59 +0000 https://fi.episciences.org/12398 https://fi.episciences.org/12398 Bilgram, Alexander Jensen, Peter G. Pedersen, Thomas Srba, Jiri Taankvist, Peter H. Bilgram, Alexander Jensen, Peter G. Pedersen, Thomas Srba, Jiri Taankvist, Peter H. 0 On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets Sat, 14 Oct 2023 10:50:39 +0000 https://fi.episciences.org/12403 https://fi.episciences.org/12403 Devillers, Raymond Tredup, Ronny Devillers, Raymond Tredup, Ronny 0 Reachability In Simple Neural Networks Sat, 14 Oct 2023 10:50:19 +0000 https://fi.episciences.org/12397 https://fi.episciences.org/12397 Sälzer, Marco Lange, Martin Sälzer, Marco Lange, Martin 0 Absent Subsequences in Words Sat, 14 Oct 2023 10:49:52 +0000 https://fi.episciences.org/12396 https://fi.episciences.org/12396 Kosche, Maria Koß, Tore Manea, Florin Siemer, Stefan Kosche, Maria Koß, Tore Manea, Florin Siemer, Stefan 0 Diffuse and Localized Functional Dysconnectivity in Schizophrenia: a Bootstrapped Top-Down Approach Thu, 21 Sep 2023 08:49:25 +0000 https://fi.episciences.org/11610 https://fi.episciences.org/11610 Coluzzi, Davide Baselli, Giuseppe Coluzzi, Davide Baselli, Giuseppe 0 Error Correction for Discrete Tomography Thu, 21 Sep 2023 08:48:39 +0000 https://fi.episciences.org/11635 https://fi.episciences.org/11635 Ceko, M. Hajdu, L. Tijdeman, R. Ceko, M. Hajdu, L. Tijdeman, R. 0 Reconstruction of Convex Sets from One or Two X-rays Thu, 21 Sep 2023 08:48:21 +0000 https://fi.episciences.org/11642 https://fi.episciences.org/11642 Gerard, Yan Gerard, Yan 0 On taxicab distance mean functions and their geometric applications: methods, implementations and examples Thu, 21 Sep 2023 08:47:50 +0000 https://fi.episciences.org/11651 https://fi.episciences.org/11651 Vincze, Csaba Nagy, Ábris Vincze, Csaba Nagy, Ábris 0 On Minimization and Learning of Deterministic $\omega$-Automata in the Presence of Don't Care Words Sat, 01 Jul 2023 09:54:31 +0000 https://fi.episciences.org/11460 https://fi.episciences.org/11460 Löding, Christof Stachon, Max Philip Löding, Christof Stachon, Max Philip 0 Network Capacity Bound for Personalized PageRank in Multimodal Networks Sat, 01 Jul 2023 09:54:05 +0000 https://fi.episciences.org/11524 https://fi.episciences.org/11524 Kłopotek, M. A. Wierzchoń, S. T. Kłopotek, R. A. Kłopotek, M. A. Wierzchoń, S. T. Kłopotek, R. A. 0 Unfoldings and coverings of weighted graphs Sat, 01 Jul 2023 09:52:49 +0000 https://fi.episciences.org/11360 https://fi.episciences.org/11360 Courcelle, Bruno Courcelle, Bruno 0 Maximal and minimal dynamic Petri net slicing Tue, 30 May 2023 14:24:22 +0000 https://fi.episciences.org/10934 https://fi.episciences.org/10934 Llorens, Marisa Oliver, Javier Silva, Josep Tamarit, Salvador Llorens, Marisa Oliver, Javier Silva, Josep Tamarit, Salvador 0 Exact Wirelength of Embedding 3-Ary n-Cubes into certain Cylinders and Trees Tue, 30 May 2023 14:23:40 +0000 https://fi.episciences.org/11289 https://fi.episciences.org/11289 S, Rajeshwari Rajesh, M S, Rajeshwari Rajesh, M 0 Formal Concepts and Residuation on Multilattices Tue, 30 May 2023 14:23:11 +0000 https://fi.episciences.org/11374 https://fi.episciences.org/11374 Njionou, Blaise B. Koguep Kwuida, Leonard Lele, Celestin Njionou, Blaise B. Koguep Kwuida, Leonard Lele, Celestin 0 Structural Liveness of Immediate Observation Petri Nets Tue, 18 Apr 2023 15:07:40 +0000 https://fi.episciences.org/11124 https://fi.episciences.org/11124 Jancar, Petr Valusek, Jiri Jancar, Petr Valusek, Jiri 0 Cost Automata, Safe Schemes, and Downward Closures Tue, 18 Apr 2023 15:07:17 +0000 https://fi.episciences.org/11157 https://fi.episciences.org/11157 Barozzini, David Clemente, Lorenzo Colcombet, Thomas Parys, Paweł Barozzini, David Clemente, Lorenzo Colcombet, Thomas Parys, Paweł 0 Adaptive Merging on Phase Change Memory Tue, 07 Mar 2023 15:08:56 +0000 https://fi.episciences.org/11020 https://fi.episciences.org/11020 Macyna, Wojciech Kukowski, Michal Macyna, Wojciech Kukowski, Michal 0 On Insecure Uses of BGN for Privacy Preserving Data Aggregation Protocols G_T and the existence of the pairing makes the DDH problem on G easy to solve. We also suggest how to prevent such privacy leakage in the blinding technique of Shi et al. used for BGN cryptosystem.]]> Tue, 07 Mar 2023 15:08:35 +0000 https://fi.episciences.org/11027 https://fi.episciences.org/11027 Lee, Hyang-Sook Lim, Seongan Yie, Ikkwon Yun, Aaram Lee, Hyang-Sook Lim, Seongan Yie, Ikkwon Yun, Aaram G_T and the existence of the pairing makes the DDH problem on G easy to solve. We also suggest how to prevent such privacy leakage in the blinding technique of Shi et al. used for BGN cryptosystem.]]> 0 On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus Tue, 07 Mar 2023 15:08:07 +0000 https://fi.episciences.org/11033 https://fi.episciences.org/11033 Eberbach, Eugene Eberbach, Eugene 0 Towards Syntactic Epistemic Logic Tue, 10 Jan 2023 09:40:43 +0000 https://fi.episciences.org/10792 https://fi.episciences.org/10792 Artemov, Sergei Artemov, Sergei 0 Universal Address Sequence Generator for Memory Built-in Self-test Tue, 10 Jan 2023 09:29:54 +0000 https://fi.episciences.org/10773 https://fi.episciences.org/10773 Mrozek, I. Shevchenko, N. A. Yarmolik, V. N. Mrozek, I. Shevchenko, N. A. Yarmolik, V. N. 0 A note on calculi for non-deterministic many-valued logics Mon, 02 Jan 2023 16:52:36 +0000 https://fi.episciences.org/10760 https://fi.episciences.org/10760 Kaminski, Michael Kaminski, Michael 0 Decidability of definability issues in the theory of real addition Fri, 30 Dec 2022 08:39:40 +0000 https://fi.episciences.org/10753 https://fi.episciences.org/10753 Bès, Alexis Choffrut, Christian Bès, Alexis Choffrut, Christian 0 On finding hamiltonian cycles in Barnette graphs Thu, 15 Dec 2022 09:23:34 +0000 https://fi.episciences.org/10485 https://fi.episciences.org/10485 Gh., Behrooz Bagheri Feder, Tomas Fleischner, Herbert Subi, Carlos Gh., Behrooz Bagheri Feder, Tomas Fleischner, Herbert Subi, Carlos 0 Computing Parameterized Invariants of Parameterized Petri Nets Thu, 27 Oct 2022 07:05:38 +0000 https://fi.episciences.org/10196 https://fi.episciences.org/10196 Esparza, Javier Raskin, Mikhail Welzel, Christoph Esparza, Javier Raskin, Mikhail Welzel, Christoph 0 Skeleton Abstraction for Universal Temporal Properties Fri, 21 Oct 2022 20:08:34 +0000 https://fi.episciences.org/10157 https://fi.episciences.org/10157 Wallner, Sophie Wolf, Karsten Wallner, Sophie Wolf, Karsten 0 Some Basic Techniques allowing Petri Net Synthesis: Complexity and Algorithmic Issues Fri, 21 Oct 2022 20:08:15 +0000 https://fi.episciences.org/10138 https://fi.episciences.org/10138 Devillers, Raymond Tredup, Ronny Devillers, Raymond Tredup, Ronny 0 Synthesis of Pure and Impure Petri nets With Restricted Place-environments: Complexity Issues Fri, 21 Oct 2022 20:07:54 +0000 https://fi.episciences.org/10139 https://fi.episciences.org/10139 Devillers, Raymond Tredup, Ronny Devillers, Raymond Tredup, Ronny 0 A Polyhedral Abstraction for Petri nets and its Application to SMT-Based Model Checking Fri, 21 Oct 2022 20:07:37 +0000 https://fi.episciences.org/10141 https://fi.episciences.org/10141 Amat, Nicolas Berthomieu, Bernard Zilio, Silvano Dal Amat, Nicolas Berthomieu, Bernard Zilio, Silvano Dal 0 Introduction to probabilistic concurrent systems Fri, 21 Oct 2022 20:06:14 +0000 https://fi.episciences.org/10136 https://fi.episciences.org/10136 Abbes, Samy Abbes, Samy 0 A note of generalization of fractional ID-factor-critical graphs Fri, 21 Oct 2022 20:05:42 +0000 https://fi.episciences.org/9991 https://fi.episciences.org/9991 Zhou, Sizhong Zhou, Sizhong 0 Number Conservation via Particle Flow in One-dimensional Cellular Automata Fri, 21 Oct 2022 20:05:20 +0000 https://fi.episciences.org/9992 https://fi.episciences.org/9992 Redeker, Markus Redeker, Markus 0 Gathering over Meeting Nodes in Infinite Grid Fri, 21 Oct 2022 20:05:00 +0000 https://fi.episciences.org/10001 https://fi.episciences.org/10001 Bhagat, Subhash Chakraborty, Abhinav Das, Bibhuti Mukhopadhyaya, Krishnendu Bhagat, Subhash Chakraborty, Abhinav Das, Bibhuti Mukhopadhyaya, Krishnendu 0 Boris (Boaz) Trakhtenbrot -- The Beginning Fri, 21 Oct 2022 20:04:20 +0000 https://fi.episciences.org/10083 https://fi.episciences.org/10083 Trakhtenbrot, Mark Trakhtenbrot, Mark 0 Morphisms and minimisation of weighted automata Fri, 21 Oct 2022 20:04:02 +0000 https://fi.episciences.org/9972 https://fi.episciences.org/9972 Lombardy, Sylvain Sakarovitch, Jacques Lombardy, Sylvain Sakarovitch, Jacques 0 Resource Bisimilarity in Petri Nets is Decidable Fri, 21 Oct 2022 20:03:40 +0000 https://fi.episciences.org/9954 https://fi.episciences.org/9954 Lomazova, Irina Bashkin, Vladimir Jančar, Petr Lomazova, Irina Bashkin, Vladimir Jančar, Petr 0 On the Tutte and matching polynomials for complete graphs Fri, 21 Oct 2022 20:02:58 +0000 https://fi.episciences.org/8839 https://fi.episciences.org/8839 Kotek, Tomer Makowsky, Johann A. Kotek, Tomer Makowsky, Johann A. 0 The 1966 International Congress of Mathematicians: A micro-memoir Fri, 21 Oct 2022 20:02:37 +0000 https://fi.episciences.org/9961 https://fi.episciences.org/9961 Gurevich, Yuri Gurevich, Yuri 0 Order-theoretic trees: monadic second-order descriptions and regularity Fri, 21 Oct 2022 20:02:15 +0000 https://fi.episciences.org/8964 https://fi.episciences.org/8964 Courcelle, Bruno Courcelle, Bruno 0 Solving Infinite Games in the Baire Space Fri, 21 Oct 2022 20:01:52 +0000 https://fi.episciences.org/9970 https://fi.episciences.org/9970 Brütsch, Benedikt Thomas, Wolfgang Brütsch, Benedikt Thomas, Wolfgang 0 Affine completeness of some free binary algebras Fri, 21 Oct 2022 19:58:02 +0000 https://fi.episciences.org/8962 https://fi.episciences.org/8962 Arnold, André Cégielski, Patrick Guessarian, Irène Arnold, André Cégielski, Patrick Guessarian, Irène 0 Structure and Power: an emerging landscape Fri, 21 Oct 2022 19:57:10 +0000 https://fi.episciences.org/9995 https://fi.episciences.org/9995 Abramsky, Samson Abramsky, Samson 0 On Random Number Generation for Kernel Applications Thu, 07 Jul 2022 10:20:00 +0000 https://fi.episciences.org/9650 https://fi.episciences.org/9650 Abhishek, Kunal E, George Dharma Prakash Raj Abhishek, Kunal E, George Dharma Prakash Raj 0 Computational and Descriptional Power of Nondeterministic Iterated Uniform Finite-State Transducers Thu, 07 Jul 2022 10:19:45 +0000 https://fi.episciences.org/9656 https://fi.episciences.org/9656 Kutrib, Martin Malcher, Andreas Mereghetti, Carlo Palano, Beatrice Kutrib, Martin Malcher, Andreas Mereghetti, Carlo Palano, Beatrice 0 A Local Diagnosis Algorithm for Hypercube-like Networks under the BGM Diagnosis Model Thu, 07 Jul 2022 10:19:28 +0000 https://fi.episciences.org/9668 https://fi.episciences.org/9668 Lin, Cheng-Kuan Kung, Tzu-Liang Hung, Chun-Nan Teng, Yuan-Hsiang Lin, Cheng-Kuan Kung, Tzu-Liang Hung, Chun-Nan Teng, Yuan-Hsiang 0 Characteristics of de Bruijn's early proof checker Automath Thu, 07 Jul 2022 10:19:01 +0000 https://fi.episciences.org/9711 https://fi.episciences.org/9711 Geuvers, Herman Nederpelt, Rob Geuvers, Herman Nederpelt, Rob 0 Nominal Unification and Matching of Higher Order Expressions with Recursive Let Fri, 06 May 2022 17:44:07 +0000 https://fi.episciences.org/9393 https://fi.episciences.org/9393 Schmidt-Schauß, Manfred Kutsia, Temur Levy, Jordi Villaret, Mateu Kutz, Yunus Schmidt-Schauß, Manfred Kutsia, Temur Levy, Jordi Villaret, Mateu Kutz, Yunus 0 Coxeter invariants for non-negative unit forms of Dynkin type A Fri, 06 May 2022 17:43:44 +0000 https://fi.episciences.org/9391 https://fi.episciences.org/9391 González, Jesús Arturo Jiménez González, Jesús Arturo Jiménez 0 Perfect domination, Roman domination and perfect Roman domination in lexicographic product graphs Fri, 06 May 2022 17:43:27 +0000 https://fi.episciences.org/9395 https://fi.episciences.org/9395 Martinez, A. Cabrera Garcia-Gomez, C. Rodriguez-Velazquez, J. A. Martinez, A. Cabrera Garcia-Gomez, C. Rodriguez-Velazquez, J. A. 0 On the $2$-domination number of cylinders with small cycles Fri, 06 May 2022 17:42:59 +0000 https://fi.episciences.org/9353 https://fi.episciences.org/9353 Garzón, E. M. Martínez, J. A. Moreno, J. J. Puertas, M. L. Garzón, E. M. Martínez, J. A. Moreno, J. J. Puertas, M. L. 0 Getting There and Back Again Fri, 06 May 2022 17:42:38 +0000 https://fi.episciences.org/9356 https://fi.episciences.org/9356 Danvy, Olivier Danvy, Olivier 0 On local antimagic vertex coloring for complete full $t$-ary trees Fri, 06 May 2022 17:42:16 +0000 https://fi.episciences.org/9349 https://fi.episciences.org/9349 Bača, Martin Semaničová-Feňovčíková, Andrea Lai, Ruei-Ting Wang, Tao-Ming Bača, Martin Semaničová-Feňovčíková, Andrea Lai, Ruei-Ting Wang, Tao-Ming 0 Spanning Structures in Walker--Breaker Games Thu, 10 Mar 2022 10:44:19 +0000 https://fi.episciences.org/9185 https://fi.episciences.org/9185 Forcan, Jovana Mikalački, Mirjana Forcan, Jovana Mikalački, Mirjana 0 Self-stabilisation of cellular automata on tilings Thu, 10 Mar 2022 10:43:54 +0000 https://fi.episciences.org/9184 https://fi.episciences.org/9184 Fatès, Nazim Marcovici, Irène Taati, Siamak Fatès, Nazim Marcovici, Irène Taati, Siamak 0 On morphisms preserving palindromic richness Thu, 10 Mar 2022 10:43:35 +0000 https://fi.episciences.org/9182 https://fi.episciences.org/9182 Dolce, Francesco Pelantová, Edita Dolce, Francesco Pelantová, Edita 0 A polynomial-time construction of a hitting set for read-once branching programs of width 3 5/6$. We announced this result at conferences more than ten years ago, including only proof sketches, which motivated a number of subsequent results on pseudorandom generators for restricted read-once branching programs. This paper contains our original detailed proof that has not been published yet.]]> Thu, 10 Mar 2022 10:40:13 +0000 https://fi.episciences.org/9057 https://fi.episciences.org/9057 Šíma, Jiří Žák, Stanislav Šíma, Jiří Žák, Stanislav 5/6$. We announced this result at conferences more than ten years ago, including only proof sketches, which motivated a number of subsequent results on pseudorandom generators for restricted read-once branching programs. This paper contains our original detailed proof that has not been published yet.]]> 0 Computing the Length of Sum of Squares and Pythagoras Element in a Global Field Thu, 10 Mar 2022 10:39:53 +0000 https://fi.episciences.org/9068 https://fi.episciences.org/9068 Darkey-Mensah, Mawunyo Kofi Rothkegel, Beata Darkey-Mensah, Mawunyo Kofi Rothkegel, Beata 0 Acyclic and Cyclic Reversing Computations in Petri Nets Thu, 10 Mar 2022 10:39:30 +0000 https://fi.episciences.org/9073 https://fi.episciences.org/9073 Barylska, Kamila Gogolińska, Anna Barylska, Kamila Gogolińska, Anna 0 Theory of constructive semigroups with apartness -- foundations, development and practice Wed, 02 Feb 2022 19:52:56 +0000 https://fi.episciences.org/9009 https://fi.episciences.org/9009 Mitrovic, Melanija Hounkonnou, Mahouton Norbert Baroni, Marian Alexandru Mitrovic, Melanija Hounkonnou, Mahouton Norbert Baroni, Marian Alexandru 0 On the Hardness of Energy Minimisation for Crystal Structure Prediction Wed, 02 Feb 2022 19:52:30 +0000 https://fi.episciences.org/9010 https://fi.episciences.org/9010 Adamson, Duncan Deligkas, Argyrios Gusev, Vladimir Potapov, Igor Adamson, Duncan Deligkas, Argyrios Gusev, Vladimir Potapov, Igor 0 Clustering Geometrically-Modeled Points in the Aggregated Uncertainty Model Thu, 27 Jan 2022 11:35:22 +0000 https://fi.episciences.org/9005 https://fi.episciences.org/9005 Keikha, Vahideh Aghamolaei, Sepideh Mohades, Ali Ghodsi, Mohammad Keikha, Vahideh Aghamolaei, Sepideh Mohades, Ali Ghodsi, Mohammad 0 High-degree compression functions on alternative models of elliptic curves and their applications Thu, 27 Jan 2022 11:26:17 +0000 https://fi.episciences.org/8959 https://fi.episciences.org/8959 Wroński, Michał Kijko, Tomasz Dryło, Robert Wroński, Michał Kijko, Tomasz Dryło, Robert 0 A Non-Deterministic Multiset Query Language Thu, 13 Jan 2022 08:41:46 +0000 https://fi.episciences.org/8950 https://fi.episciences.org/8950 Zielinski, Bartosz Zielinski, Bartosz 0 Right Buchberger algorithm over bijective skew PBW extensions Thu, 13 Jan 2022 08:41:18 +0000 https://fi.episciences.org/8949 https://fi.episciences.org/8949 Fajardo, W. Fajardo, W. 0 A graph theoretical framework for the strong Gram classification of non-negative unit forms of Dynkin type A Thu, 23 Dec 2021 13:58:14 +0000 https://fi.episciences.org/8887 https://fi.episciences.org/8887 Gonzalez, Jesus Arturo Jimenez Gonzalez, Jesus Arturo Jimenez 0 A Congruence-Based Perspective on Finite Tree Automata Thu, 23 Dec 2021 13:57:48 +0000 https://fi.episciences.org/8885 https://fi.episciences.org/8885 Ganty, Pierre Gutiérrez, Elena Valero, Pedro Ganty, Pierre Gutiérrez, Elena Valero, Pedro 0 Symbolic and Structural Model-Checking Thu, 23 Dec 2021 13:51:08 +0000 https://fi.episciences.org/8888 https://fi.episciences.org/8888 Thierry-Mieg, Yann Thierry-Mieg, Yann 0 Automated Repair of Process Models with Non-Local Constraints Using State-Based Region Theory Thu, 23 Dec 2021 13:50:46 +0000 https://fi.episciences.org/8834 https://fi.episciences.org/8834 Kalenkova, Anna Carmona, Josep Polyvyanyy, Artem La Rosa, Marcello Kalenkova, Anna Carmona, Josep Polyvyanyy, Artem La Rosa, Marcello 0 On the expressive power of non-deterministic and unambiguous Petri nets over infinite words Thu, 23 Dec 2021 13:50:26 +0000 https://fi.episciences.org/8866 https://fi.episciences.org/8866 Finkel, Olivier Skrzypczak, Michał Finkel, Olivier Skrzypczak, Michał 0 Inferring Unobserved Events in Systems With Shared Resources and Queues Thu, 23 Dec 2021 13:50:09 +0000 https://fi.episciences.org/8824 https://fi.episciences.org/8824 Fahland, Dirk Denisov, Vadim van der Aalst, Wil. M. P. Fahland, Dirk Denisov, Vadim van der Aalst, Wil. M. P. 0 Piecewise Affine Dynamical Models of Timed Petri Nets -- Application to Emergency Call Centers Thu, 23 Dec 2021 13:41:55 +0000 https://fi.episciences.org/8822 https://fi.episciences.org/8822 Allamigeon, Xavier Boyet, Marin Gaubert, Stéphane Allamigeon, Xavier Boyet, Marin Gaubert, Stéphane 0 The Complexity of Synthesis of $b$-Bounded Petri Nets Thu, 23 Dec 2021 13:40:31 +0000 https://fi.episciences.org/8821 https://fi.episciences.org/8821 Tredup, Ronny Tredup, Ronny 0 Cost Problems for Parametric Time Petri Nets Thu, 23 Dec 2021 13:39:02 +0000 https://fi.episciences.org/8848 https://fi.episciences.org/8848 Lime, Didier Roux, Olivier H. Seidner, Charlotte Lime, Didier Roux, Olivier H. Seidner, Charlotte 0 Investigating Reversibility of Steps in Petri Nets Thu, 23 Dec 2021 13:35:12 +0000 https://fi.episciences.org/8840 https://fi.episciences.org/8840 Escrig, David de Frutos Koutny, Maciej Mikulski, Łukasz Escrig, David de Frutos Koutny, Maciej Mikulski, Łukasz 0 Coverability, Termination, and Finiteness in Recursive Petri Nets Thu, 23 Dec 2021 13:34:42 +0000 https://fi.episciences.org/8876 https://fi.episciences.org/8876 Finkel, Alain Haddad, Serge Khmelnitsky, Igor Finkel, Alain Haddad, Serge Khmelnitsky, Igor 0 Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis Thu, 23 Dec 2021 13:33:43 +0000 https://fi.episciences.org/8859 https://fi.episciences.org/8859 Devillers, Raymond Devillers, Raymond 0 Perpetual Free-choice Petri nets are lucent -- proof of a theorem of van der Aalst using CP-exhaustions Thu, 18 Nov 2021 10:20:49 +0000 https://fi.episciences.org/8698 https://fi.episciences.org/8698 Wehler, Joachim Wehler, Joachim 0 The inverse of Ackermann function is computable in linear time Thu, 18 Nov 2021 10:20:13 +0000 https://fi.episciences.org/8694 https://fi.episciences.org/8694 Sureson, Claude Sureson, Claude 0 Testing Boolean Functions Properties Thu, 18 Nov 2021 10:19:47 +0000 https://fi.episciences.org/8697 https://fi.episciences.org/8697 Xie, Zhengwei Qiu, Daowen Cai, Guangya Gruska, Jozef Mateus, Paulo Xie, Zhengwei Qiu, Daowen Cai, Guangya Gruska, Jozef Mateus, Paulo 0 Query-points visibility constraint minimum link paths in simple polygons Thu, 18 Nov 2021 10:14:43 +0000 https://fi.episciences.org/8626 https://fi.episciences.org/8626 Zarrabi, Mohammad Reza Charkari, Nasrollah Moghaddam Zarrabi, Mohammad Reza Charkari, Nasrollah Moghaddam 0 Edge Forcing in Butterfly Networks Thu, 18 Nov 2021 10:14:26 +0000 https://fi.episciences.org/8644 https://fi.episciences.org/8644 G., Jessy Sujana Rajalaxmi, T. M. Rajasingh, Indra Rajan, R. Sundara G., Jessy Sujana Rajalaxmi, T. M. Rajasingh, Indra Rajan, R. Sundara 0 Efficient algorithms for maximum induced matching problem in permutation and trapezoid graphs Thu, 18 Nov 2021 10:14:08 +0000 https://fi.episciences.org/8685 https://fi.episciences.org/8685 Nguyen, Viet Dung Pham, Ba Thai Do, Phan Thuan Nguyen, Viet Dung Pham, Ba Thai Do, Phan Thuan 0 Time-free solution to independent set problem using P systems with active membranes Thu, 18 Nov 2021 10:13:46 +0000 https://fi.episciences.org/8636 https://fi.episciences.org/8636 Jin, Yu Song, Bosheng Li, Yanyan Zhu, Ying Jin, Yu Song, Bosheng Li, Yanyan Zhu, Ying 0 Exact and Approximate Algorithms for Computing Betweenness Centrality in Directed Graphs Thu, 18 Nov 2021 08:31:34 +0000 https://fi.episciences.org/8624 https://fi.episciences.org/8624 Chehreghani, Mostafa Haghir Bifet, Albert Abdessalem, Talel Chehreghani, Mostafa Haghir Bifet, Albert Abdessalem, Talel 0