@Preamble{
"\hyphenation{Na-ray-a-nan}" #
"\ifx \undefined \booktitle \def \booktitle#1{{{\em #1}}} \fi" #
"\ifx \undefined \k \let \k = \c \fi" #
"\ifx \undefined \mathbb \def \mathbb #1{{\bf #1}}\fi"
}
@String{ack-nhfb = "Nelson H. F. Beebe,
University of Utah,
Department of Mathematics, 110 LCB,
155 S 1400 E RM 233,
Salt Lake City, UT 84112-0090, USA,
Tel: +1 801 581 5254,
FAX: +1 801 581 4148,
e-mail: \path|beebe@math.utah.edu|,
\path|beebe@acm.org|,
\path|beebe@computer.org| (Internet),
URL: \path|http://www.math.utah.edu/~beebe/|"}
@String{j-FUND-INFO = "Fundamenta Informaticae"}
@Article{Brodo:2020:VTN,
author = "Linda Brodo and Carlos Olarte",
title = "Verification Techniques for a Network Algebra",
journal = j-FUND-INFO,
volume = "172",
number = "1",
pages = "1--38",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1890",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:51:55 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Hittmeir:2020:DIF,
author = "Markus Hittmeir and Jacek Pomyka{\l}a",
title = "Deterministic Integer Factorization with Oracles for
{Euler}'s Totient Function",
journal = j-FUND-INFO,
volume = "172",
number = "1",
pages = "39--51",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1891",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:51:55 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Paul:2020:SLL,
author = "Prithwineel Paul",
title = "On {Szilard} Languages of Labelled Insertion
Grammars",
journal = j-FUND-INFO,
volume = "172",
number = "1",
pages = "53--72",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1892",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:51:55 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Polkowski:2020:CPM,
author = "Lech Polkowski",
title = "On the Compactness Property of Mereological Spaces",
journal = j-FUND-INFO,
volume = "172",
number = "1",
pages = "73--95",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1893",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:51:55 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Raghu:2020:DNF,
author = "T. Venkata Raghu and R. Sundara Rajan and A. Ramesh
Babu and S. Anil",
title = "Detour Number of $1$-Fault Connected Graphs",
journal = j-FUND-INFO,
volume = "172",
number = "1",
pages = "97--104",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1894",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:51:55 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Brunetti:2020:P,
author = "Sara Brunetti and Paolo Dulio and Andrea Frosini and
Grzegorz Rozenberg",
title = "Preface",
journal = j-FUND-INFO,
volume = "172",
number = "2",
pages = "i--xi",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1895",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:51:57 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Beirinckx:2020:JML,
author = "Quinten Beirinckx and Gabriel Ramos-Llord{\'e}n and
Ben Jeurissen and Dirk H. J. Poot and Paul M. Parizel
and Marleen Verhoye and Jan Sijbers and Arnold J. den
Dekker",
title = "Joint Maximum Likelihood Estimation of Motion and {$
T_1 $} Parameters from Magnetic Resonance Images in a
Super-resolution Framework: a Simulation Study",
journal = j-FUND-INFO,
volume = "172",
number = "2",
pages = "105--128",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1896",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:51:57 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Leko:2020:SIP,
author = "G{\'a}bor L{\'e}k{\'o} and P{\'e}ter Bal{\'a}zs",
title = "Scale Invariance in Projection Selection Using Binary
Tomography",
journal = j-FUND-INFO,
volume = "172",
number = "2",
pages = "129--142",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1897",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:51:57 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Lagerwerf:2020:EIA,
author = "Marinus J. Lagerwerf and Willem Jan Palenstijn and
Folkert Bleichrodt and K. Joost Batenburg",
title = "An Efficient Interpolation Approach for Exploring the
Parameter Space of Regularized Tomography Algorithms",
journal = j-FUND-INFO,
volume = "172",
number = "2",
pages = "143--167",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1898",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:51:57 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Menegaz:2020:CFB,
author = "Gloria Menegaz and Claudio Tomazzoli and Matteo
Cristani and Ilaria Boscolo Galazzo and Silvia
Francesca Storti",
title = "Characterising Functional Brain Connectivity as Social
Network: the Transtopic Centrality Index",
journal = j-FUND-INFO,
volume = "172",
number = "2",
pages = "169--186",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1899",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:51:57 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Presotto:2020:MSR,
author = "Luca Presotto",
title = "A {$ L_1 $} Minimization Strategy for Robust Joint
Activity and Attenuation Estimation in Positron
Emission Tomography",
journal = j-FUND-INFO,
volume = "172",
number = "2",
pages = "187--202",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1900",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:51:57 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Turpin:2020:PFA,
author = "L{\'e}onard Turpin and St{\'e}phane Roux and Olivier
Caty and S{\'e}bastien Denneulin",
title = "A Phase Field Approach to Limited-angle Tomographic
Reconstruction",
journal = j-FUND-INFO,
volume = "172",
number = "2",
pages = "203--219",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1901",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:51:57 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Brunetti:2020:URG,
author = "Sara Brunetti and Paolo Dulio and Carla Peri",
title = "Uniqueness Results for Grey Scale Digital Images",
journal = j-FUND-INFO,
volume = "172",
number = "2",
pages = "221--238",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1902",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:51:57 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Badica:2020:P,
author = "Costin Badica and Mirjana Ivanovic and Yannis
Manolopoulos and Riccardo Rosati and Paolo Torroni",
title = "Preface",
journal = j-FUND-INFO,
volume = "172",
number = "3",
pages = "i--ii",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1903",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:51:59 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Zupanc:2020:IAE,
author = "Kaja Zupanc and Zoran Bosni{\'c}",
title = "Improvement of Automated Essay Grading by Grouping
Similar Graders",
journal = j-FUND-INFO,
volume = "172",
number = "3",
pages = "239--259",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1904",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:51:59 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Flisar:2020:IST,
author = "Jernej Flisar and Vili Podgorelec",
title = "Improving Short Text Classification using Information
from {DBpedia} Ontology",
journal = j-FUND-INFO,
volume = "172",
number = "3",
pages = "261--297",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1905",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:51:59 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Karampelas:2020:TSE,
author = "Andreas Karampelas and George A. Vouros",
title = "Time and Space Efficient Large Scale Link Discovery
using String Similarities",
journal = j-FUND-INFO,
volume = "172",
number = "3",
pages = "299--325",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1906",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:51:59 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Bera:2020:CPM,
author = "Somnath Bera and Kalpana Mahalingam",
title = "On Commuting {Parikh} $q$-Matrices",
journal = j-FUND-INFO,
volume = "172",
number = "4",
pages = "327--341",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1907",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:02 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Kheirfam:2020:SOC,
author = "Behrouz Kheirfam",
title = "A Second-order Corrector Infeasible Interior-point
Method with One-norm wide Neighborhood for Symmetric
Optimization",
journal = j-FUND-INFO,
volume = "172",
number = "4",
pages = "343--359",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1908",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:02 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Klopotek:2020:CMA,
author = "Mieczys{\l}aw A. K{\l}opotek",
title = "On the Consistency of $k$-means++ algorithm",
journal = j-FUND-INFO,
volume = "172",
number = "4",
pages = "361--377",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1909",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:02 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Koczkodaj:2020:OPS,
author = "Waldemar W. Koczkodaj and Ryszard Smarzewski and Jacek
Szybowski",
title = "On Orthogonal Projections on the Space of Consistent
Pairwise Comparisons Matrices",
journal = j-FUND-INFO,
volume = "172",
number = "4",
pages = "379--397",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1910",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:02 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Tzacheva:2020:ARL,
author = "Angelina A. Tzacheva and Ramya A. Shankar and
Sridharan Ramachandran and Arunkumar Bagavathi",
title = "Action Rules of Lowest Cost and Action Set
Correlations",
journal = j-FUND-INFO,
volume = "172",
number = "4",
pages = "399--412",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1911",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:02 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Zheng:2020:MBR,
author = "Tingting Zheng",
title = "Morphisms in Binary Rough Set Theory",
journal = j-FUND-INFO,
volume = "172",
number = "4",
pages = "413--434",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1912",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:02 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Kashiwabara:2020:HOR,
author = "Kenji Kashiwabara and Ikumi Horie and Kazunori
Yamaguchi",
title = "Higher-Order Rank Functions on Directed Graphs",
journal = j-FUND-INFO,
volume = "173",
number = "1",
pages = "1--31",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1913",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:04 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Lin:2020:CCC,
author = "Cheng-Kuan Lin and Liang Ma and Jianxi Fan and
Lih-Hsing Hsu and Yuan-Hsiang Teng",
title = "The Conditional-$ (g, d, k)$-Connectivity and
Conditional-$ (g, d, k)$-edge-Connectivity on the
Hypercubes",
journal = j-FUND-INFO,
volume = "173",
number = "1",
pages = "33--45",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1914",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:04 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Macyna:2020:FAS,
author = "Wojciech Macyna and Michal Kukowski",
title = "Flash-Aware Storage of the Column Oriented Databases",
journal = j-FUND-INFO,
volume = "173",
number = "1",
pages = "47--72",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1915",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:04 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Tioura:2020:HPS,
author = "Abdelhamid Tioura and Hamouma Moumen and Hamoudi Kalla
and Ahmed Ait Saidi",
title = "A Hybrid Protocol to Solve Authenticated {Byzantine}
Consensus",
journal = j-FUND-INFO,
volume = "173",
number = "1",
pages = "73--89",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1916",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:04 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/cryptography2020.bib;
http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Kleijn:2020:P,
author = "Jetty Kleijn and Lauren{\c{t}}iu Leu{\c{s}}tean and
Dorel Lucanu",
title = "Preface",
journal = j-FUND-INFO,
volume = "173",
number = "2--3",
pages = "i--ii",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1917",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:06 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Sofronie-Stokkermans:2020:PSV,
author = "Viorica Sofronie-Stokkermans",
title = "Parametric Systems: Verification and Synthesis",
journal = j-FUND-INFO,
volume = "173",
number = "2--3",
pages = "91--138",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1918",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:06 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Paduraru:2020:AVO,
author = "Ciprian Ionut Paduraru and Gheorghe Stefanescu",
title = "Adaptive Virtual Organisms: A Compositional Model for
Complex Hardware-software Binding",
journal = j-FUND-INFO,
volume = "173",
number = "2--3",
pages = "139--176",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1919",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:06 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Diaconescu:2020:MEB,
author = "Denisa Diaconescu",
title = "Modal Equivalence and Bisimilarity in Many-valued
Modal Logics with Many-valued Accessibility Relations",
journal = j-FUND-INFO,
volume = "173",
number = "2--3",
pages = "177--189",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1920",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:06 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Leustean:2020:MSP,
author = "Ioana Leu{\c{s}}tean and Natalia Moang{\u{a}} and
Traian Florin {\c{S}}erb{\u{a}}nu{\c{t}}{\u{a}}",
title = "A Many-sorted Polyadic Modal Logic",
journal = j-FUND-INFO,
volume = "173",
number = "2--3",
pages = "191--215",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1921",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:06 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Caltais:2020:CRS,
author = "Georgiana Caltais and Mohammad Reza Mousavi and
Hargurbir Singh",
title = "Causal Reasoning for Safety in {Hennessy} {Milner}
Logic",
journal = j-FUND-INFO,
volume = "173",
number = "2--3",
pages = "217--251",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1922",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:06 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Fioravanti:2020:P,
author = "Fabio Fioravanti and John P. Gallagher and Maurizio
Proietti",
title = "Preface",
journal = j-FUND-INFO,
volume = "173",
number = "4",
pages = "i--ii",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1923",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:09 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Fruhwirth:2020:JCH,
author = "Thom Fr{\"u}hwirth",
title = "Justifications in Constraint Handling Rules for
Logical Retraction in Dynamic Algorithms: Theory,
Implementations, and Complexity",
journal = j-FUND-INFO,
volume = "173",
number = "4",
pages = "253--283",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1924",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:09 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Hanus:2020:CSD,
author = "Michael Hanus",
title = "Combining Static and Dynamic Contract Checking for
{Curry}",
journal = j-FUND-INFO,
volume = "173",
number = "4",
pages = "285--314",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1925",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:09 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Skeirik:2020:CBR,
author = "Stephen Skeirik and Andrei Stefanescu and Jos{\'e}
Meseguer",
title = "A Constructor-Based Reachability Logic for Rewrite
Theories",
journal = j-FUND-INFO,
volume = "173",
number = "4",
pages = "315--382",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1926",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:09 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Ahmad:2020:CEI,
author = "Ali Ahmad and Muhammad Ahsan Asim and Basem Assiri and
Andrea
Semani{\v{c}}ov{\'a}-Fe{\v{n}}ov{\v{c}}{\'\i}kov{\'a}",
title = "Computing the Edge Irregularity Strength of Bipartite
Graphs and Wheel Related Graphs",
journal = j-FUND-INFO,
volume = "174",
number = "1",
pages = "1--13",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1927",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:11 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Ciftci:2020:DTD,
author = "Canan {\c{C}}ift{\c{c}}i and Vecdi Ayta{\c{c}}",
title = "Disjunctive Total Domination Subdivision Number of
Graphs",
journal = j-FUND-INFO,
volume = "174",
number = "1",
pages = "15--26",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1928",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:11 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Konishi:2020:FML,
author = "Tatsuya Konishi and Hideharu Kojima and Hiroyuki
Nakagawa and Tatsuhiro Tsuchiya",
title = "Finding Minimum Locating Arrays Using a {CSP} Solver",
journal = j-FUND-INFO,
volume = "174",
number = "1",
pages = "27--42",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1929",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:11 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Turaci:2020:CML,
author = "Tufan Turac{\i}",
title = "On Combining the Methods of Link Residual and
Domination in Networks",
journal = j-FUND-INFO,
volume = "174",
number = "1",
pages = "43--59",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1930",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:11 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Andrejczuk:2020:SIT,
author = "Ewa Andrejczuk and Juan M. Alberola and Leandro
Marcolino and Paolo Torroni",
title = "Special issue of Teams in Multiagent Systems
{(TEAMAS)}: Preface",
journal = j-FUND-INFO,
volume = "174",
number = "1",
pages = "61--62",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1931",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:11 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Andres:2020:HAC,
author = "Ignasi Andr{\'e}s and Leliane Nunes de Barros and
Karina Valdivia Delgado",
title = "Human-aware Contingent Planning",
journal = j-FUND-INFO,
volume = "174",
number = "1",
pages = "63--81",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1932",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:11 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Manya:2020:STC,
author = "Felip Many{\`a} and Santiago Negrete and Carme Roig
and Joan Ramon Soler",
title = "Solving the Team Composition Problem in a Classroom",
journal = j-FUND-INFO,
volume = "174",
number = "1",
pages = "83--101",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1933",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:11 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Bong:2020:LFA,
author = "Novi Bong and Martin Ba{\v{c}}a and Andrea
Semani{\v{c}}ov{\'a}-Fe{\v{n}}ov{\v{c}}{\'\i}kov{\'a}
and Kiki A. Sugeng and Tao-Ming Wang",
title = "Local Face Antimagic Evaluations and Coloring of Plane
Graphs",
journal = j-FUND-INFO,
volume = "174",
number = "2",
pages = "103--119",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1934",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:14 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Kaniecki:2020:CAB,
author = "Mariusz Kaniecki and Justyna Kosakowska",
title = "Combinatorial Algorithms for Binary Operations on
{LR}-tableaux with Entries Equal to 1 with Applications
to Nilpotent Linear Operators",
journal = j-FUND-INFO,
volume = "174",
number = "2",
pages = "121--136",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1935",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:14 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Keshavarzian:2020:BCB,
author = "Nazanin Keshavarzian and Arsham Borumand Saeid and
Abolfazl Tehranian",
title = "{BCK}-codes Based on a Parity Check Matrix",
journal = j-FUND-INFO,
volume = "174",
number = "2",
pages = "137--165",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1936",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:14 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Lin:2020:MBF,
author = "Yidong Lin and Jinjin Li and Liangxue Peng and Ziqin
Feng",
title = "Minimal Base for Finite Topological Space by Matrix
Method",
journal = j-FUND-INFO,
volume = "174",
number = "2",
pages = "167--183",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1937",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:14 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Djordjevic:2020:PML,
author = "Radosav Djordjevi{\'c} and Neboj{\v{s}}a
Ikodinovi{\'c} and Nenad Stojanovi{\'c}",
title = "A Propositional Metric Logic with Fixed Finite
Ranges",
journal = j-FUND-INFO,
volume = "174",
number = "2",
pages = "185--199",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1938",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:14 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Eiter:2020:P,
author = "Thomas Eiter and Marco Maratea and Mauro Vallati",
title = "Preface",
journal = j-FUND-INFO,
volume = "174",
number = "3--4",
pages = "i--iii",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1939",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:16 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Baioletti:2020:ECA,
author = "Marco Baioletti and Gabriele {Di Bari} and Alfredo
Milani and Valentino Santucci",
title = "An Experimental Comparison of Algebraic Crossover
Operators for Permutation Problems",
journal = j-FUND-INFO,
volume = "174",
number = "3--4",
pages = "201--228",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1940",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:16 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Chen:2020:MPB,
author = "Qian Matteo Chen and Alberto Finzi and Toni Mancini
and Igor Melatti and Enrico Tronci",
title = "{MILP}, Pseudo-{Boolean}, and {OMT} Solvers for
Optimal Fault-Tolerant Placements of Relay Nodes in
Mission Critical Wireless Networks",
journal = j-FUND-INFO,
volume = "174",
number = "3--4",
pages = "229--258",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1941",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:16 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Oddi:2020:AHB,
author = "Angelo Oddi and Riccardo Rasconi",
title = "Analyzing Heuristic-based Randomized Search Strategies
for the Quantum Circuit Compilation Problem",
journal = j-FUND-INFO,
volume = "174",
number = "3--4",
pages = "259--281",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1942",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:16 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Sinisi:2020:OPT,
author = "Stefano Sinisi and Vadim Alimguzhin and Toni Mancini
and Enrico Tronci and Federico Mari and Brigitte
Leeners",
title = "Optimal Personalised Treatment Computation through In
Silico Clinical Trials on Patient Digital Twins",
journal = j-FUND-INFO,
volume = "174",
number = "3--4",
pages = "283--310",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1943",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:16 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Wallace:2020:PNS,
author = "Richard J. Wallace",
title = "Partial (Neighbourhood) Singleton Arc Consistency for
Constraint Satisfaction Problems",
journal = j-FUND-INFO,
volume = "174",
number = "3--4",
pages = "311--344",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1944",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:16 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{terBeek:2020:P,
author = "Maurice ter Beek and Maciej Koutny and Grzegorz
Rozenberg",
title = "Preface",
journal = j-FUND-INFO,
volume = "175",
number = "1--4",
pages = "v--viii",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1945",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:19 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{vanderAalst:2020:DOC,
author = "Wil M. P. van der Aalst and Alessandro Berti",
title = "Discovering Object-centric {Petri} Nets",
journal = j-FUND-INFO,
volume = "175",
number = "1--4",
pages = "1--40",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1946",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:19 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Alzamel:2020:CDS,
author = "Mai Alzamel and Lorraine A. K. Ayad and Giulia
Bernardini and Roberto Grossi and Costas S. Iliopoulos
and Nadia Pisanti and Solon P. Pissis and Giovanna
Rosone",
title = "Comparing Degenerate Strings",
journal = j-FUND-INFO,
volume = "175",
number = "1--4",
pages = "41--58",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1947",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:19 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Arcile:2020:DEM,
author = "Johan Arcile and Raymond Devillers and Hanna Klaudel",
title = "Dynamic Exploration of Multi-agent Systems with
Periodic Timed Tasks",
journal = j-FUND-INFO,
volume = "175",
number = "1--4",
pages = "59--95",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1948",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:19 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Best:2020:TOP,
author = "Eike Best and Raymond Devillers and Evgeny Erofeev and
Harro Wimmel",
title = "Target-oriented {Petri} Net Synthesis",
journal = j-FUND-INFO,
volume = "175",
number = "1--4",
pages = "97--122",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1949",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:19 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Carmona:2020:FPM,
author = "Josep Carmona and Llu{\'\i}s Padr{\'o} and Luis
Delicado",
title = "Flexible Process Model Mapping using Relaxation
Labeling",
journal = j-FUND-INFO,
volume = "175",
number = "1--4",
pages = "123--141",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1950",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:19 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Desel:2020:STP,
author = "J{\"o}rg Desel and Marc Finthammer",
title = "Stop-transitions of {Petri} Nets",
journal = j-FUND-INFO,
volume = "175",
number = "1--4",
pages = "143--172",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1951",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:19 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Frei:2020:RPR,
author = "Fabian Frei and Juraj Hromkovi{\v{c}} and Juhani
Karhum{\"a}ki",
title = "Roots and Powers in Regular Languages: Recognizing
Nonregular Properties by Finite Automata",
journal = j-FUND-INFO,
volume = "175",
number = "1--4",
pages = "173--185",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1952",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:19 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Genova:2020:CEM,
author = "Daniela Genova and Hendrik Jan Hoogeboom and
Nata{\v{s}}a Jonoska",
title = "Companions and an Essential Motion of a Reaction
System",
journal = j-FUND-INFO,
volume = "175",
number = "1--4",
pages = "187--199",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1953",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:19 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Halava:2020:SWL,
author = "Vesa Halava and Tero Harju and Esa Sahla",
title = "On Shuffling a Word with its Letter-to-Letter
Substitution",
journal = j-FUND-INFO,
volume = "175",
number = "1--4",
pages = "201--206",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1954",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:19 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Dangalchev:2020:ACN,
author = "Chavdar Dangalchev",
title = "Additional Closeness and Networks Growth",
journal = j-FUND-INFO,
volume = "176",
number = "1",
pages = "1--15",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1960",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:21 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Jarvinen:2020:SMR,
author = "Jouni J{\"a}rvinen and S{\'a}ndor Radeleczki",
title = "The Structure of Multigranular Rough Sets",
journal = j-FUND-INFO,
volume = "176",
number = "1",
pages = "17--41",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1961",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:21 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Liu:2020:SUN,
author = "Liucheng Liu and Wenmei Yi and Qian Yang and Hong Peng
and Jun Wang",
title = "Small Universal Numerical {P} Systems with Thresholds
for Computing Functions",
journal = j-FUND-INFO,
volume = "176",
number = "1",
pages = "43--59",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1962",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:21 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Maschio:2020:TFC,
author = "Samuele Maschio and Giovanni Sambin",
title = "Topology as Faithful Communication Through Relations",
journal = j-FUND-INFO,
volume = "176",
number = "1",
pages = "61--78",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1963",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:21 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Zhao:2020:SNO,
author = "Chenyue Zhao and Hosein Alizadeh and Behrouz Minaei
and Majid Mohamadpoor and Hamid Parvin and Mohammad
Reza Mahmoudi",
title = "Social Network Optimization for Cluster Ensemble
Selection",
journal = j-FUND-INFO,
volume = "176",
number = "1",
pages = "79--102",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1964",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:21 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Cheng:2020:CNI,
author = "Baolei Cheng and Jianxi Fan and Qiang Lyu and
Cheng-Kuan Lin and Xiaoyan Li and Guo Chen",
title = "Constructing Node-Independent Spanning Trees in
Augmented Cubes",
journal = j-FUND-INFO,
volume = "176",
number = "2",
pages = "103--128",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1965",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:24 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Kopczynski:2020:ARG,
author = "Eryk Kopczy{\'n}ski",
title = "Axiomatizing Rectangular Grids with no Extra Non-unary
Relations",
journal = j-FUND-INFO,
volume = "176",
number = "2",
pages = "129--138",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1966",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:24 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Ghosh:2020:P,
author = "Kuntal Ghosh and Sushmita Mitra",
title = "Preface",
journal = j-FUND-INFO,
volume = "176",
number = "2",
pages = "139--140",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1967",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:24 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Dasgupta:2020:PRM,
author = "Abhijit Dasgupta and Losiana Nayak and Ritankar Das
and Debasis Basu and Preetam Chandra and Rajat K. De",
title = "Pattern and Rule Mining for Identifying Signatures of
Epileptic Patients from Clinical {EEG} Data",
journal = j-FUND-INFO,
volume = "176",
number = "2",
pages = "141--166",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1968",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:24 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Przybyszewski:2020:CDD,
author = "Andrzej W. Przybyszewski and Artur Chudzik and
Stanislaw Szlufik and Piotr Habela and Dariusz M.
Koziorowski",
title = "Comparison of Different Data Mining Methods to
Determine Disease Progression in Dissimilar Groups of
{Parkinson}'s Patients",
journal = j-FUND-INFO,
volume = "176",
number = "2",
pages = "167--181",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1969",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:24 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Chapaneri:2020:SGP,
author = "Santosh Chapaneri and Deepak Jayaswal",
title = "Structured {Gaussian} Process Regression of Music
Mood",
journal = j-FUND-INFO,
volume = "176",
number = "2",
pages = "183--203",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1970",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:24 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Monica:2020:P,
author = "Dario {Della Monica} and Aniello Murano and Luigi
Sauro",
title = "Preface",
journal = j-FUND-INFO,
volume = "176",
number = "3--4",
pages = "i--ii",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1971",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:26 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Su:2020:UAN,
author = "Ezgi Iraz Su",
title = "A Unifying Approach for Nonmonotonic {S4F},
(Reflexive) Autoepistemic Logic, and Answer Set
Programming",
journal = j-FUND-INFO,
volume = "176",
number = "3--4",
pages = "205--234",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1972",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:26 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Giordano:2020:RAE,
author = "Laura Giordano and Valentina Gliozzi",
title = "Reasoning about Exceptions in Ontologies: from the
Lexicographic Closure to the Skeptical Closure",
journal = j-FUND-INFO,
volume = "176",
number = "3--4",
pages = "235--269",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1973",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:26 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Alviano:2020:UCA,
author = "Mario Alviano and Carmine Dodaro",
title = "Unsatisfiable Core Analysis and Aggregates for Optimum
Stable Model Search",
journal = j-FUND-INFO,
volume = "176",
number = "3--4",
pages = "271--297",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1974",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:26 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Tarzariol:2020:TLP,
author = "Alice Tarzariol and Eugenia Zanazzo and Agostino
Dovier and Alberto Policriti",
title = "Towards a Logic Programming Tool for Cancer Data
Analysis",
journal = j-FUND-INFO,
volume = "176",
number = "3--4",
pages = "299--319",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1975",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:26 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Alberti:2020:DOC,
author = "Marco Alberti and Marco Gavanelli and Evelina Lamma
and Fabrizio Riguzzi and Ken Satoh and Riccardo Zese",
title = "Dischargeable Obligations in the {$ \cal S $CIFF}
Framework",
journal = j-FUND-INFO,
volume = "176",
number = "3--4",
pages = "321--348",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1976",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:26 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Cantone:2020:STA,
author = "Domenico Cantone and Marianna Nicolosi-Asmundo and
Daniele Francesco Santamaria",
title = "A Set-theoretic Approach to Reasoning Services for the
Description Logic {$ \cal D L $D4,$ \times $}",
journal = j-FUND-INFO,
volume = "176",
number = "3--4",
pages = "349--384",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1977",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:26 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Borger:2020:BTR,
author = "Egon B{\"o}rger and Klaus-Dieter Schewe",
title = "A Behavioural Theory of Recursive Algorithms",
journal = j-FUND-INFO,
volume = "177",
number = "1",
pages = "1--37",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1978",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:29 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Dowbor:2020:CCT,
author = "Piotr Dowbor and Yan Kim",
title = "Computational Classification of Tubular Algebras",
journal = j-FUND-INFO,
volume = "177",
number = "1",
pages = "39--67",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1979",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:29 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Ghosal:2020:PPS,
author = "Purnata Ghosal and B. V. Raghavendra Rao",
title = "On Proving Parameterized Size Lower Bounds for
Multilinear Algebraic Models",
journal = j-FUND-INFO,
volume = "177",
number = "1",
pages = "69--93",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1980",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:29 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Berghammer:2020:ECL,
author = "Rudolf Berghammer and Henning Schnoor and Michael
Winter",
title = "Efficient Computation of the Large Inductive Dimension
Using Order- and Graph-theoretic Means",
journal = j-FUND-INFO,
volume = "177",
number = "2",
pages = "95--113",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1981",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:31 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Cho:2020:AGN,
author = "Gook Hwa Cho and Seongan Lim and Hyang-Sook Lee",
title = "Algorithms for the Generalized {NTRU} Equations and
their Storage Analysis",
journal = j-FUND-INFO,
volume = "177",
number = "2",
pages = "115--139",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1982",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:31 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Kheirfam:2020:NPC,
author = "Behrouz Kheirfam",
title = "A New Predictor-corrector Infeasible Interior-point
Algorithm for Linear Optimization in {aWide}
Neighborhood",
journal = j-FUND-INFO,
volume = "177",
number = "2",
pages = "141--156",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1983",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:31 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Laue:2020:SET,
author = "S{\"o}ren Laue and Matthias Mitterreiter and Joachim
Giesen",
title = "A Simple and Efficient Tensor Calculus for Machine
Learning",
journal = j-FUND-INFO,
volume = "177",
number = "2",
pages = "157--179",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1984",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:31 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Lin:2020:DFG,
author = "Cheng-Kuan Lin and Tzu-Liang Kung and Dajin Wang and
Yuan-Hsiang Teng",
title = "The Diagnosability of {($ K_4$--$e$)}-free Graphs
under the {PMC} Diagnosis Model",
journal = j-FUND-INFO,
volume = "177",
number = "2",
pages = "181--188",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1985",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:31 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Qi:2020:CID,
author = "Bin Qi and Jie Ma and Kewei Lv",
title = "Computing Interval Discrete Logarithm Problem with
Restricted Jump Method",
journal = j-FUND-INFO,
volume = "177",
number = "2",
pages = "189--201",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1986",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:31 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Hermenegildo:2020:P,
author = "Manuel Hermenegildo and Pedro L{\'o}pez-Garc{\'\i}a
and Alberto Pettorossi and Maurizio Proietti",
title = "Preface",
journal = j-FUND-INFO,
volume = "177",
number = "3--4",
pages = "i--iii",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1987",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:33 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Albert:2020:FRC,
author = "Elvira Albert and Nikolaos Bezirgiannis and Frank de
Boer and Enrique Martin-Martin",
title = "A Formal, Resource Consumption-Preserving Translation
from Actors with Cooperative Scheduling to {Haskell}",
journal = j-FUND-INFO,
volume = "177",
number = "3--4",
pages = "203--234",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1988",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:33 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Alpuente:2020:ACS,
author = "Mar{\'\i}a Alpuente and Daniel Pardo and Alicia
Villanueva",
title = "Abstract Contract Synthesis and Verification in the
Symbolic {$ \mathbb {K} $} Framework",
journal = j-FUND-INFO,
volume = "177",
number = "3--4",
pages = "235--273",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1989",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:33 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Bichler:2020:LRO,
author = "Manuel Bichler and Michael Morak and Stefan Woltran",
title = "lpopt: A Rule Optimization Tool for Answer Set
Programming",
journal = j-FUND-INFO,
volume = "177",
number = "3--4",
pages = "275--296",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1990",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:33 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Alpuente:2020:OSH,
author = "Mar{\'\i}a Alpuente and Angel Cuenca-Ortega and
Santiago Escobar and Jos{\'e} Meseguer",
title = "Order-sorted Homeomorphic Embedding Modulo
Combinations of Associativity and\slash or
Commutativity Axioms",
journal = j-FUND-INFO,
volume = "177",
number = "3--4",
pages = "297--329",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1991",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:33 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Falaschi:2020:DSC,
author = "Moreno Falaschi and Maurizio Gabbrielli and Carlos
Olarte and Catuscia Palamidessi",
title = "Dynamic Slicing for Concurrent Constraint Languages",
journal = j-FUND-INFO,
volume = "177",
number = "3--4",
pages = "331--357",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1992",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:33 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Mesnard:2020:SUC,
author = "Fred Mesnard and {\'E}tienne Payet and Germ{\'a}n
Vidal",
title = "Selective Unification in (Constraint) Logic
Programming",
journal = j-FUND-INFO,
volume = "177",
number = "3--4",
pages = "359--383",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1993",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:33 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Tarau:2020:DES,
author = "Paul Tarau",
title = "Deriving Efficient Sequential and Parallel Generators
for Closed Simply-Typed {Lambda} Terms and Normal
Forms",
journal = j-FUND-INFO,
volume = "177",
number = "3--4",
pages = "385--415",
month = "????",
year = "2020",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2020-1994",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:33 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Hague:2021:P,
author = "Matthew Hague and Igor Potapov",
title = "Preface",
journal = j-FUND-INFO,
volume = "178",
number = "1--2",
pages = "v--vi",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-1995",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:36 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Bruse:2021:CMC,
author = "Florian Bruse and Martin Lange and Etienne Lozes",
title = "The Complexity of Model-Checking Tail-Recursive
Higher-Order Fixpoint Logic",
journal = j-FUND-INFO,
volume = "178",
number = "1--2",
pages = "1--30",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-1996",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:36 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Cassez:2021:VPS,
author = "Franck Cassez and Peter Gj{\o}l Jensen and Kim
Guldstrand Larsen",
title = "Verification and Parameter Synthesis for Real-Time
Programs using Refinement of Trace Abstraction",
journal = j-FUND-INFO,
volume = "178",
number = "1--2",
pages = "31--57",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-1997",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:36 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Filiot:2021:CSS,
author = "Emmanuel Filiot and Pierre-Alain Reynier",
title = "Copyful Streaming String Transducers",
journal = j-FUND-INFO,
volume = "178",
number = "1--2",
pages = "59--76",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-1998",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:36 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Hutagalung:2021:TCM,
author = "Milka Hutagalung",
title = "Topological Characterisation of Multi-Buffer
Simulation",
journal = j-FUND-INFO,
volume = "178",
number = "1--2",
pages = "77--99",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-1999",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:36 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Sproston:2021:PTA,
author = "Jeremy Sproston",
title = "Probabilistic Timed Automata with Clock-Dependent
Probabilities",
journal = j-FUND-INFO,
volume = "178",
number = "1--2",
pages = "101--138",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2000",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:36 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Valmari:2021:SSF,
author = "Antti Valmari and Walter Vogler",
title = "Stubborn Sets, Frozen Actions, and Fair Testing",
journal = j-FUND-INFO,
volume = "178",
number = "1--2",
pages = "139--172",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2001",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:36 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Adinayev:2021:DSR,
author = "Arthur Adinayev and Itamar Stein",
title = "Diamond Subgraphs in the Reduction Graph of a One-Rule
String Rewriting System",
journal = j-FUND-INFO,
volume = "178",
number = "3",
pages = "173--185",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2002",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:39 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Arockiaraj:2021:OWB,
author = "Micheal Arockiaraj and J. Nancy Delaila and Jessie
Abraham",
title = "Optimal Wirelength of Balanced Complete Multipartite
Graphs onto {Cartesian} Product of Path, Cycle and
Trees",
journal = j-FUND-INFO,
volume = "178",
number = "3",
pages = "187--202",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2003",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:39 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Jastrzab:2021:PAM,
author = "Tomasz Jastrzab and Zbigniew J. Czech and Wojciech
Wieczorek",
title = "Parallel Algorithms for Minimal Nondeterministic
Finite Automata Inference",
journal = j-FUND-INFO,
volume = "178",
number = "3",
pages = "203--227",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2004",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:39 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Lanese:2021:CCR,
author = "Ivan Lanese and Adri{\'a}n Palacios and Germ{\'a}n
Vidal",
title = "Causal-Consistent Replay Reversible Semantics for
Message Passing Concurrent Programs",
journal = j-FUND-INFO,
volume = "178",
number = "3",
pages = "229--266",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2005",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:39 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Neethu:2021:GPN,
author = "P. K. Neethu and S. V. Ullas Chandran and Manoj
Changat and Sandi Klav{\v{z}}ar",
title = "On the General Position Number of Complementary
Prisms",
journal = j-FUND-INFO,
volume = "178",
number = "3",
pages = "267--281",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2006",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:39 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Felli:2021:P,
author = "Paolo Felli and Marco Montali and Maurizio Proietti",
title = "Preface",
journal = j-FUND-INFO,
volume = "178",
number = "4",
pages = "i--ii",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2007",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:41 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Combi:2021:CSP,
author = "Carlo Combi and Romeo Rizzi and Pietro Sala",
title = "Checking Sets of Pure Evolving Association Rules",
journal = j-FUND-INFO,
volume = "178",
number = "4",
pages = "283--313",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2008",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:41 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Cantone:2021:ISB,
author = "Domenico Cantone and Marianna Nicolosi-Asmundo and
Daniele Francesco Santamaria",
title = "An Improved Set-based Reasoner for the Description
Logic {$ \cal D L $D4,$ \times $}",
journal = j-FUND-INFO,
volume = "178",
number = "4",
pages = "315--346",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2009",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:41 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Conchon:2021:DPV,
author = "Sylvain Conchon and Giorgio Delzanno and Angelo
Ferrando",
title = "Declarative Parameterized Verification of Distributed
Protocols via the Cubicle Model Checker",
journal = j-FUND-INFO,
volume = "178",
number = "4",
pages = "347--378",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2010",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:41 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Benouhiba:2021:MLR,
author = "Toufik Benouhiba",
title = "A Multi-level Refinement Approach for Structural
Synthesis of Optimal Probabilistic Models",
journal = j-FUND-INFO,
volume = "179",
number = "1",
pages = "1--33",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2011",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:43 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Marrakchi:2021:SSL,
author = "Sirine Marrakchi and Mohamed Jemni",
title = "Static Scheduling with Load Balancing for Solving
Triangular Band Linear Systems on Multicore
Processors",
journal = j-FUND-INFO,
volume = "179",
number = "1",
pages = "35--58",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2012",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:43 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Slapal:2021:DJC,
author = "Josef {\v{S}}lapal",
title = "Digital {Jordan} Curves and Surfaces with Respect to a
Closure Operator",
journal = j-FUND-INFO,
volume = "179",
number = "1",
pages = "59--74",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2013",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:43 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Syau:2021:VPG,
author = "Yu-Ru Syau and Churn-Jung Liau and En-Bing Lin",
title = "On Variable Precision Generalized Rough Sets and
Incomplete Decision Tables",
journal = j-FUND-INFO,
volume = "179",
number = "1",
pages = "75--92",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2014",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:43 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Schlingloff:2021:P,
author = "H. Schlingloff and W. Penczek",
title = "Preface",
journal = j-FUND-INFO,
volume = "179",
number = "2",
pages = "i--ii",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2015",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:45 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Czaja:2021:EEC,
author = "Ludwik Czaja",
title = "Extensions of Elementary Cause-Effect Structures",
journal = j-FUND-INFO,
volume = "179",
number = "2",
pages = "93--111",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2016",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:45 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Akili:2021:RED,
author = "Samira Akili and Matthias Weidlich",
title = "Reasoning on the Efficiency of Distributed Complex
Event Processing",
journal = j-FUND-INFO,
volume = "179",
number = "2",
pages = "113--134",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2017",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:45 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Yaman:2021:QVS,
author = "Sinem Getir Yaman and Esteban Pavese and Lars
Grunske",
title = "Quantitative Verification of Stochastic Regular
Expressions",
journal = j-FUND-INFO,
volume = "179",
number = "2",
pages = "135--163",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2018",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:45 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Grabowski:2021:ACS,
author = "Adam Grabowski",
title = "Automated Comparative Study of Some Generalized Rough
Approximations",
journal = j-FUND-INFO,
volume = "179",
number = "2",
pages = "165--182",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2019",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:45 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Artiemjew:2021:NEM,
author = "Piotr Artiemjew and Krzysztof Ropiak",
title = "A Novel Ensemble Model --- The Random Granular
Reflections",
journal = j-FUND-INFO,
volume = "179",
number = "2",
pages = "183--203",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2020",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:45 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Barbuti:2021:ETB,
author = "Roberto Barbuti and Pasquale Bove and Roberta Gori and
Damas Gruska and Francesca Levi and Paolo Milazzo",
title = "Encoding Threshold {Boolean} Networks into Reaction
Systems for the Analysis of Gene Regulatory Networks",
journal = j-FUND-INFO,
volume = "179",
number = "2",
pages = "205--225",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2021",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Wed Mar 24 12:52:45 MDT 2021",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Koprowski:2021:CSE,
author = "Przemys{\l}aw Koprowski",
title = "Computing Singular Elements Modulo Squares",
journal = j-FUND-INFO,
volume = "179",
number = "3",
pages = "227--238",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2022",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:05 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Lin:2021:RAS,
author = "Zhe Lin and Mihir Kumar Chakraborty and Minghui Ma",
title = "Residuated Algebraic Structures in the Vicinity of
Pre-rough Algebra and Decidability",
journal = j-FUND-INFO,
volume = "179",
number = "3",
pages = "239--274",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2023",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:05 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Torres:2021:RAL,
author = "Gabriela Mart{\'\i}n Torres",
title = "On Rough Approximations of Languages under Infinite
Index Indiscernibility Relations",
journal = j-FUND-INFO,
volume = "179",
number = "3",
pages = "275--293",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2024",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:05 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Wang:2021:CDF,
author = "Longchun Wang and Lankun Guo and Qingguo Li",
title = "Continuous Domains in Formal Concept Analysis",
journal = j-FUND-INFO,
volume = "179",
number = "3",
pages = "295--319",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2025",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:05 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Bergstra:2021:UHL,
author = "J. A. Bergstra and C. A. Middelburg",
title = "Using {Hoare} Logic in a Process Algebra Setting",
journal = j-FUND-INFO,
volume = "179",
number = "4",
pages = "321--344",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2026",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:08 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Boomari:2021:RVG,
author = "Hossein Boomari and Mojtaba Ostovari and Alireza
Zarei",
title = "Recognizing Visibility Graphs of Triangulated
Irregular Networks",
journal = j-FUND-INFO,
volume = "179",
number = "4",
pages = "345--360",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2027",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:08 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Krivka:2021:SCG,
author = "Zbyn{\v{e}}k K{\v{r}}ivka and Alexander Meduna",
title = "Scattered Context Grammars with One Non-Context-Free
Production are Computationally Complete",
journal = j-FUND-INFO,
volume = "179",
number = "4",
pages = "361--384",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2028",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:08 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Teh:2021:FPM,
author = "Wen Chean Teh and Adrian Atanasiu and Denis C. K.
Wong",
title = "Freeness Problem for Matrix Semigroups of {Parikh}
Matrices",
journal = j-FUND-INFO,
volume = "179",
number = "4",
pages = "385--397",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2029",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:08 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Wang:2021:NDT,
author = "Zhaohao Wang",
title = "A New Description of Transversal Matroids Through
Rough Set Approach",
journal = j-FUND-INFO,
volume = "179",
number = "4",
pages = "399--416",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2030",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:08 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Hirvensalo:2021:P,
author = "Mika Hirvensalo and Franti{\v{s}}ek Mr{\'a}z and
Daniel Pr{\r{u}}{\v{s}}a",
title = "Preface",
journal = j-FUND-INFO,
volume = "180",
number = "1--2",
pages = "v--vi",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2031",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:10 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Fernau:2021:SVP,
author = "Henning Fernau and Martin Kutrib and Matthias
Wendlandt",
title = "Self-Verifying Pushdown and Queue Automata",
journal = j-FUND-INFO,
volume = "180",
number = "1--2",
pages = "1--28",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2032",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:10 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Holzer:2021:TSS,
author = "Markus Holzer and Martin Kutrib and Friedrich Otto",
title = "Two-Sided Strictly Locally Testable Languages",
journal = j-FUND-INFO,
volume = "180",
number = "1--2",
pages = "29--51",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2033",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:10 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Malcher:2021:DQI,
author = "Andreas Malcher",
title = "Decidability Questions for Insertion Systems and
Related Models",
journal = j-FUND-INFO,
volume = "180",
number = "1--2",
pages = "53--76",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2034",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:10 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Otto:2021:CTR,
author = "Friedrich Otto",
title = "A Complete Taxonomy of Restarting Automata without
Auxiliary Symbols",
journal = j-FUND-INFO,
volume = "180",
number = "1--2",
pages = "77--101",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2035",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:10 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Pighizzini:2021:NSE,
author = "Giovanni Pighizzini and Luca Prigioniero",
title = "Non-Self-Embedding Grammars and Descriptional
Complexity",
journal = j-FUND-INFO,
volume = "180",
number = "1--2",
pages = "103--122",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2036",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:10 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Truthe:2021:GCC,
author = "Bianca Truthe",
title = "Generative Capacity of Contextual Grammars with
Subregular Selection Languages",
journal = j-FUND-INFO,
volume = "180",
number = "1--2",
pages = "123--150",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2037",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:10 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Wang:2021:LAW,
author = "Qichao Wang",
title = "Languages Accepted by Weighted Restarting Automata",
journal = j-FUND-INFO,
volume = "180",
number = "1--2",
pages = "151--177",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2038",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:10 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Gorrieri:2021:CSB,
author = "Roberto Gorrieri",
title = "Causal Semantics for {BPP} Nets with Silent Moves",
journal = j-FUND-INFO,
volume = "180",
number = "3",
pages = "179--249",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2039",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:13 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Massazza:2021:DSA,
author = "Paolo Massazza",
title = "A Dynamical System Approach to Polyominoes
Generation",
journal = j-FUND-INFO,
volume = "180",
number = "3",
pages = "251--273",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2040",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:13 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Rudi:2021:PVA,
author = "Ali Gholami Rudi",
title = "Place the Vertices Anywhere on the Curve and
Simplify",
journal = j-FUND-INFO,
volume = "180",
number = "3",
pages = "275--287",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2041",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:13 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Skrzypczak:2021:P,
author = "Micha{\l} Skrzypczak and Piotr Hofman",
title = "Preface",
journal = j-FUND-INFO,
volume = "180",
number = "4",
pages = "i--ii",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2042",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:16 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Catalano:2021:LBR,
author = "Costanza Catalano and Umer Azfar and Ludovic Charlier
and Rapha{\"e}l M. Jungers",
title = "A Linear Bound on the $k$-rendezvous Time for
Primitive Sets of {NZ} Matrices",
journal = j-FUND-INFO,
volume = "180",
number = "4",
pages = "289--314",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2043",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:16 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Dobronravov:2021:LSS,
author = "Egor Dobronravov and Nikita Dobronravov and Alexander
Okhotin",
title = "On the Length of Shortest Strings Accepted by Two-way
Finite Automata",
journal = j-FUND-INFO,
volume = "180",
number = "4",
pages = "315--331",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2044",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:16 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Gastin:2021:RRL,
author = "Paul Gastin and Amaldev Manuel and R. Govind",
title = "Reversible Regular Languages: Logical and Algebraic
Characterisations",
journal = j-FUND-INFO,
volume = "180",
number = "4",
pages = "333--350",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2045",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:16 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Kuperberg:2021:CAB,
author = "Denis Kuperberg and Laureline Pinault and Damien
Pous",
title = "Coinductive Algorithms for {B{\"u}chi} Automata",
journal = j-FUND-INFO,
volume = "180",
number = "4",
pages = "351--373",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2046",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:16 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Saarela:2021:SWL,
author = "Aleksi Saarela",
title = "Separating the Words of a Language by Counting
Factors",
journal = j-FUND-INFO,
volume = "180",
number = "4",
pages = "375--393",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2047",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:16 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Casagrande:2021:P,
author = "Alberto Casagrande and Eugenio G. Omodeo and Maurizio
Proietti",
title = "Preface",
journal = j-FUND-INFO,
volume = "181",
number = "1",
pages = "v--vi",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2048",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:19 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Hillston:2021:PSN,
author = "Jane Hillston and Andrea Marin and Carla Piazza and
Sabina Rossi",
title = "Persistent Stochastic Non-Interference",
journal = j-FUND-INFO,
volume = "181",
number = "1",
pages = "1--35",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2049",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:19 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Cantone:2021:CAD,
author = "Domenico Cantone and Andrea {De Domenico} and Pietro
Maugeri and Eugenio G. Omodeo",
title = "Complexity Assessments for Decidable Fragments of Set
Theory. {I}: {A} Taxonomy for the {Boolean} Case",
journal = j-FUND-INFO,
volume = "181",
number = "1",
pages = "37--69",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2050",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:19 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Costantini:2021:AMF,
author = "Stefania Costantini and Andrea Formisano",
title = "Adding Metalogic Features to Knowledge Representation
Languages",
journal = j-FUND-INFO,
volume = "181",
number = "1",
pages = "71--98",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2051",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:19 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Durand-Lose:2021:P,
author = "J{\'e}r{\^o}me Durand-Lose and Jarkko Kari and Sergey
Verlan",
title = "Preface",
journal = j-FUND-INFO,
volume = "181",
number = "2--3",
pages = "i--iii",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2052",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:21 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Geffert:2021:MSC,
author = "Viliam Geffert and Zuzana Bedn{\'a}rov{\'a}",
title = "Minimal Size of Counters for (Real-Time) Multicounter
Automata",
journal = j-FUND-INFO,
volume = "181",
number = "2--3",
pages = "99--127",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2053",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:21 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Whyman:2021:PCC,
author = "Richard Whyman",
title = "Physical Computational Complexity and First-order
Logic",
journal = j-FUND-INFO,
volume = "181",
number = "2--3",
pages = "129--161",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2054",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:21 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Perrot:2021:BAN,
author = "K{\'e}vin Perrot and Pac{\^o}me Perrotin and Sylvain
Sen{\'e}",
title = "On {Boolean} Automata Networks (de){Composition}",
journal = j-FUND-INFO,
volume = "181",
number = "2--3",
pages = "163--188",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2055",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:21 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Fernau:2021:IDC,
author = "Henning Fernau and Lakshmanan Kuppusamy and Rufus O.
Oladele and Indhumathi Raman",
title = "Improved Descriptional Complexity Results for Simple
Semi-Conditional Grammars",
journal = j-FUND-INFO,
volume = "181",
number = "2--3",
pages = "189--211",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2056",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:21 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Nagy:2021:CIV,
author = "Benedek Nagy and S{\'a}ndor V{\'a}lyi",
title = "Circular Interval-valued Computers and Simulation of
(Red--green) {Turing} Machines",
journal = j-FUND-INFO,
volume = "181",
number = "2--3",
pages = "213--238",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2057",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:21 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Alhazov:2021:RBC,
author = "Artiom Alhazov and Rudolf Freund and Sergiu Ivanov and
Marion Oswald",
title = "Relations between Control Mechanisms for Sequential
Grammars",
journal = j-FUND-INFO,
volume = "181",
number = "2--3",
pages = "239--271",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2058",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:21 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{vanderAalst:2021:FCN,
author = "Wil M. P. van der Aalst",
title = "Free-choice Nets with Home Clusters are Lucent",
journal = j-FUND-INFO,
volume = "181",
number = "4",
pages = "273--302",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2059",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:24 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Drylo:2021:CTJ,
author = "Robert Dry{\l}o",
title = "Compression on the Twisted {Jacobi} Intersection",
journal = j-FUND-INFO,
volume = "181",
number = "4",
pages = "303--312",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2060",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:24 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Perez:2021:PTC,
author = "Claudia P{\'e}rez and Daniel Rivera",
title = "Polynomial-time Classification of Skew-symmetrizable
Matrices with a Positive Definite Quasi-{Cartan}
Companion",
journal = j-FUND-INFO,
volume = "181",
number = "4",
pages = "313--337",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2061",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:24 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Zhang:2021:UMD,
author = "Kuize Zhang",
title = "A Unified Method to Decentralized State Detection and
Fault Diagnosis/prediction of Discrete-event Systems",
journal = j-FUND-INFO,
volume = "181",
number = "4",
pages = "339--371",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2062",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:24 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Keller:2021:P,
author = "J{\"o}rg Keller and Wojciech Penczek",
title = "Preface",
journal = j-FUND-INFO,
volume = "182",
number = "1",
pages = "v--vi",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2063",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:27 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Felli:2021:SVD,
author = "Paolo Felli and Massimiliano de Leoni and Marco
Montali",
title = "Soundness Verification of Data-Aware Process Models
with Variable-to-Variable Conditions",
journal = j-FUND-INFO,
volume = "182",
number = "1",
pages = "1--29",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2064",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:27 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Andre:2021:PSA,
author = "{\'E}tienne Andr{\'e} and Emmanuel Coquard and Laurent
Fribourg and Jawher Jerray and David Lesens",
title = "Parametric Schedulability Analysis of a Launcher
Flight Control System under Reactivity Constraints",
journal = j-FUND-INFO,
volume = "182",
number = "1",
pages = "31--67",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2065",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:27 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Andre:2021:PAA,
author = "{\'E}tienne Andr{\'e} and Didier Lime and Mathias
Ramparison and Mari{\"e}lle Stoelinga",
title = "Parametric Analyses of Attack-fault Trees",
journal = j-FUND-INFO,
volume = "182",
number = "1",
pages = "69--94",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2066",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:27 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Slezak:2021:PIG,
author = "Dominik {\'S}l{\k{e}}zak and Tzung-Pei Hong and Leon
S. L. Wang",
title = "Preface: Information Granulation in Data Science and
Scalable Computing",
journal = j-FUND-INFO,
volume = "182",
number = "2",
pages = "i--ii",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2067",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:29 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Le:2021:KLD,
author = "Linh Le and Ying Xie and Vijay V. Raghavan",
title = "{KNN} Loss and Deep {KNN}",
journal = j-FUND-INFO,
volume = "182",
number = "2",
pages = "95--110",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2068",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:29 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Dagdia:2021:DSD,
author = "Zaineb Chelly Dagdia and Christine Zarges",
title = "A Detailed Study of the Distributed Rough Set Based
Locality Sensitive Hashing Feature Selection
Technique",
journal = j-FUND-INFO,
volume = "182",
number = "2",
pages = "111--179",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2069",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:29 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Tsumoto:2021:MCP,
author = "Shusaku Tsumoto and Shoji Hirano and Tomohiro Kimura
and Haruko Iwata",
title = "Mining Clinical Process from Hospital Information
System: a Granular Computing Approach",
journal = j-FUND-INFO,
volume = "182",
number = "2",
pages = "181--218",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2070",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:29 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Chehreghani:2021:EAA,
author = "Mostafa Haghir Chehreghani and Albert Bifet and Talel
Abdessalem",
title = "Exact and Approximate Algorithms for Computing
Betweenness Centrality in Directed Graphs",
journal = j-FUND-INFO,
volume = "182",
number = "3",
pages = "219--242",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2071",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:32 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Jin:2021:TFS,
author = "Yu Jin and Bosheng Song and Yanyan Li and Ying Zhu",
title = "Time-free Solution to Independent Set Problem using
{P} Systems with Active Membranes",
journal = j-FUND-INFO,
volume = "182",
number = "3",
pages = "243--255",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2072",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:32 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Nguyen:2021:EAM,
author = "Viet Dung Nguyen and Ba Thai Pham and Phan Thuan Do",
title = "Efficient Algorithms for Maximum Induced Matching
Problem in Permutation and Trapezoid Graphs",
journal = j-FUND-INFO,
volume = "182",
number = "3",
pages = "257--283",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2073",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:32 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Sujana:2021:EFB,
author = "G. Jessy Sujana and T. M. Rajalaxmi and Indra
Rajasingh and R. Sundara Rajan",
title = "Edge Forcing in Butterfly Networks",
journal = j-FUND-INFO,
volume = "182",
number = "3",
pages = "285--299",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2074",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:32 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Zarrabi:2021:QPV,
author = "Mohammad Reza Zarrabi and Nasrollah Moghaddam
Charkari",
title = "Query-Points Visibility Constraint Minimum Link Paths
in Simple Polygons",
journal = j-FUND-INFO,
volume = "182",
number = "3",
pages = "301--319",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2075",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:32 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Zhengwei:2021:TBF,
author = "Xie Zhengwei and Qiu Daowen and Cai Guangya and Jozef
Gruska and Paulo Mateus",
title = "Testing {Boolean} Functions Properties",
journal = j-FUND-INFO,
volume = "182",
number = "4",
pages = "321--344",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2076",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:35 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Sureson:2021:IAF,
author = "Claude Sureson",
title = "The Inverse of {Ackermann} Function is Computable in
Linear Time",
journal = j-FUND-INFO,
volume = "182",
number = "4",
pages = "345--361",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2077",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:35 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Wehler:2021:PFC,
author = "Joachim Wehler",
title = "Perpetual Free-choice {Petri} Nets are Lucent Proof of
a Theorem of van der Aalst Using {CP} -exhaustions",
journal = j-FUND-INFO,
volume = "182",
number = "4",
pages = "363--393",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2078",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:35 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Donatelli:2021:P,
author = "Susanna Donatelli and Stefan Haar and Slawomir
Lasota",
title = "Preface",
journal = j-FUND-INFO,
volume = "183",
number = "1--2",
pages = "v--vi",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2079",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:37 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Devillers:2021:APT,
author = "Raymond Devillers",
title = "Articulations and Products of Transition Systems and
their Applications to {Petri} Net Synthesis",
journal = j-FUND-INFO,
volume = "183",
number = "1--2",
pages = "1--31",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2080",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:37 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Finkel:2021:CTF,
author = "Alain Finkel and Serge Haddad and Igor Khmelnitsky",
title = "Coverability, Termination, and Finiteness in Recursive
{Petri} Nets",
journal = j-FUND-INFO,
volume = "183",
number = "1--2",
pages = "33--66",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2081",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:37 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Escrig:2021:IRS,
author = "David de Frutos Escrig and Maciej Koutny and {\L}ukasz
Mikulski",
title = "Investigating Reversibility of Steps in {Petri} Nets",
journal = j-FUND-INFO,
volume = "183",
number = "1--2",
pages = "67--96",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2082",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:37 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Lime:2021:CPP,
author = "Didier Lime and Olivier H. Roux and Charlotte
Seidner",
title = "Cost Problems for Parametric Time {Petri} Nets",
journal = j-FUND-INFO,
volume = "183",
number = "1--2",
pages = "97--123",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2083",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:37 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Tredup:2021:CSB,
author = "Ronny Tredup",
title = "The Complexity of Synthesis of $b$-Bounded {Petri}
Nets",
journal = j-FUND-INFO,
volume = "183",
number = "1--2",
pages = "125--167",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2084",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:37 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Janicki:2021:P,
author = "Ryszard Janicki and Slawomir Lasota and Natalia
Sidorova",
title = "Preface",
journal = j-FUND-INFO,
volume = "183",
number = "3--4",
pages = "i--ii",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2085",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:40 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Allamigeon:2021:PAD,
author = "Xavier Allamigeon and Marin Boyet and St{\'e}phane
Gaubert",
title = "Piecewise Affine Dynamical Models of {Petri} Nets ---
Application to Emergency Call Centers",
journal = j-FUND-INFO,
volume = "183",
number = "3--4",
pages = "169--201",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2086",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:40 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Fahland:2021:IUE,
author = "Dirk Fahland and Vadim Denisov and Wil. M. P. van der
Aalst",
title = "Inferring Unobserved Events in Systems with Shared
Resources and Queues",
journal = j-FUND-INFO,
volume = "183",
number = "3--4",
pages = "203--242",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2087",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:40 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Finkel:2021:EPN,
author = "Olivier Finkel and Micha{\l} Skrzypczak",
title = "On the Expressive Power of Non-deterministic and
Unambiguous {Petri} Nets over Infinite Words",
journal = j-FUND-INFO,
volume = "183",
number = "3--4",
pages = "243--291",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2088",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:40 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Kalenkova:2021:ARP,
author = "Anna Kalenkova and Josep Carmona and Artem Polyvyanyy
and Marcello {La Rosa}",
title = "Automated Repair of Process Models with Non-local
Constraints Using State-Based Region Theory",
journal = j-FUND-INFO,
volume = "183",
number = "3--4",
pages = "293--317",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2089",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:40 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Thierry-Mieg:2021:SSM,
author = "Yann Thierry-Mieg",
title = "Symbolic and Structural Model-Checking",
journal = j-FUND-INFO,
volume = "183",
number = "3--4",
pages = "319--342",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2090",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:40 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Ganty:2021:CBP,
author = "Pierre Ganty and Elena Guti{\'e}rrez and Pedro
Valero",
title = "A Congruence-Based Perspective on Finite Tree
Automata",
journal = j-FUND-INFO,
volume = "184",
number = "1",
pages = "1--47",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2091",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:43 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Gonzalez:2021:GTF,
author = "Jes{\'u}s Arturo Jim{\'e}nez Gonz{\'a}lez",
title = "A Graph Theoretical Framework for the Strong {Gram}
Classification of Non-negative Unit Forms of {Dynkin}
Type {$ \mathbb {A}_n $}",
journal = j-FUND-INFO,
volume = "184",
number = "1",
pages = "49--82",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2092",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:43 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Fajardo:2021:RBA,
author = "William Fajardo",
title = "Right {Buchberger} Algorithm over Bijective Skew {PBW}
Extensions",
journal = j-FUND-INFO,
volume = "184",
number = "2",
pages = "83--105",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2093",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:45 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Wronski:2021:HDC,
author = "Micha{\l} Wro{\'n}ski and Tomasz Kijko and Robert
Dry{\l}o",
title = "High-degree Compression Functions on Alternative
Models of Elliptic Curves and their Applications",
journal = j-FUND-INFO,
volume = "184",
number = "2",
pages = "107--139",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2094",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:45 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Zielinski:2021:NDM,
author = "Bartosz Zieli{\'n}ski",
title = "A Non-Deterministic Multiset Query Language",
journal = j-FUND-INFO,
volume = "184",
number = "2",
pages = "141--180",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2095",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:45 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Adamson:2021:HEM,
author = "Duncan Adamson and Argyrios Deligkas and Vladimir
Gusev and Igor Potapov",
title = "On the Hardness of Energy Minimisation for Crystal
Structure Prediction",
journal = j-FUND-INFO,
volume = "184",
number = "3",
pages = "181--203",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2096",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:48 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Keikha:2021:CGM,
author = "Vahideh Keikha and Sepideh Aghamolaei and Ali Mohades
and Mohammad Ghodsi",
title = "Clustering Geometrically-Modeled Points in the
Aggregated Uncertainty Model",
journal = j-FUND-INFO,
volume = "184",
number = "3",
pages = "205--231",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2097",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:48 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Mitrovic:2021:TCS,
author = "Melanija Mitrovi{\'c} and Mahouton Norbert Hounkonnou
and Marian Alexandru Baroni",
title = "Theory of Constructive Semigroups with Apartness ---
Foundations, Development and Practice",
journal = j-FUND-INFO,
volume = "184",
number = "3",
pages = "233--271",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2098",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:48 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Barylska:2021:ACR,
author = "Kamila Barylska and Anna Gogoli{\'n}ska",
title = "Acyclic and Cyclic Reversing Computations in {Petri}
Nets",
journal = j-FUND-INFO,
volume = "184",
number = "4",
pages = "273--296",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2099",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:50 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Darkey-Mensah:2021:CLS,
author = "Mawunyo Kofi Darkey-Mensah and Beata Rothkegel",
title = "Computing the Length of Sum of Squares and
{Pythagoras} Element in a Global Field",
journal = j-FUND-INFO,
volume = "184",
number = "4",
pages = "297--306",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2100",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:50 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Sima:2021:PTC,
author = "Ji{\v{r}}{\'\i} {\v{S}}{\'\i}ma and Stanislav
{\v{Z}}{\'a}k",
title = "A Polynomial-Time Construction of a Hitting Set for
Read-Once Branching Programs of Width 3",
journal = j-FUND-INFO,
volume = "184",
number = "4",
pages = "307--354",
month = "????",
year = "2021",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-2021-2101",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:50 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Dolce:2022:MPP,
author = "Francesco Dolce and Edita Pelantov{\'a}",
title = "On Morphisms Preserving Palindromic Richness",
journal = j-FUND-INFO,
volume = "185",
number = "1",
pages = "1--25",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222102",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:53 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Fates:2022:SSC,
author = "Nazim Fat{\`e}s and Ir{\`e}ne Marcovici and Siamak
Taati",
title = "Self-stabilisation of Cellular Automata on Tilings",
journal = j-FUND-INFO,
volume = "185",
number = "1",
pages = "27--82",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222103",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:53 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Forcan:2022:SSW,
author = "Jovana Forcan and Mirjana Mikala{\v{c}}ki",
title = "Spanning Structures in Walker--Breaker Games",
journal = j-FUND-INFO,
volume = "185",
number = "1",
pages = "83--97",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222104",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:53 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Baca:2022:LAV,
author = "Martin Ba{\v{c}}a and Andrea
Semani{\v{c}}ov{\'a}-Fe{\v{n}}ov{\v{c}}{\'\i}kov{\'a}
and Ruei-Ting Lai and Tao-Ming Wang",
title = "On Local Antimagic Vertex Coloring for Complete Full
$t$-ary Trees",
journal = j-FUND-INFO,
volume = "185",
number = "2",
pages = "99--113",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222105",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:55 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Danvy:2022:GTB,
author = "Olivier Danvy",
title = "Getting There and Back Again",
journal = j-FUND-INFO,
volume = "185",
number = "2",
pages = "115--183",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222106",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:55 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Garzon:2022:DNC,
author = "Ester M. Garz{\'o}n and Jos{\'e} A. Mart{\'\i}nez and
Juan J. Moreno and Mar{\'\i}a L. Puertas",
title = "On the 2-domination Number of Cylinders with Small
Cycles",
journal = j-FUND-INFO,
volume = "185",
number = "2",
pages = "185--199",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222107",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:55 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Martinez:2022:PDR,
author = "A. Cabrera Mart{\'\i}nez and C. Garc{\'\i}a-G{\'o}mez
and J. A. Rodr{\'\i}guez-Vel{\'a}zquez",
title = "Perfect Domination, {Roman} Domination and Perfect
{Roman} Domination in Lexicographic Product Graphs",
journal = j-FUND-INFO,
volume = "185",
number = "3",
pages = "201--220",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222108",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:58 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Gonzalez:2022:CIN,
author = "Jes{\'u}s Arturo Jim{\'e}nez Gonz{\'a}lez",
title = "{Coxeter} Invariants for Non-negative Unit Forms of
{Dynkin} Type {$ \mathbb {A}_r $}",
journal = j-FUND-INFO,
volume = "185",
number = "3",
pages = "221--246",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222109",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:58 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Schmidt-Schauss:2022:NUM,
author = "Manfred Schmidt-Schau{\ss} and Temur Kutsia and Jordi
Levy and Mateu Villaret and Yunus Kutz",
title = "Nominal Unification and Matching of Higher Order
Expressions with Recursive Let",
journal = j-FUND-INFO,
volume = "185",
number = "3",
pages = "247--283",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222110",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:36:58 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Abhishek:2022:RNG,
author = "Kunal Abhishek and E. George Dharma Prakash Raj",
title = "On Random Number Generation for Kernel Applications",
journal = j-FUND-INFO,
volume = "185",
number = "4",
pages = "285--311",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222111",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:01 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib;
http://www.math.utah.edu/pub/tex/bib/linux.bib;
http://www.math.utah.edu/pub/tex/bib/prng.bib;
http://www.math.utah.edu/pub/tex/bib/unix.bib",
abstract = "An operating system kernel uses cryptographically
secure pseudorandom number generator (CSPRNG) for
creating address space layout randomization (ASLR)
offsets to protect memory addresses of processes from
exploitation, storing users' passwords securely and
creating cryptographic keys. However, at present,
popular kernel CSPRNGs such as Yarrow, Fortuna and
/dev/(u)random which are used by MacOS/iOS/FreeBSD,
Windows and Linux/Android kernels respectively lack the
very crucial property of non-reproducibility of their
generated bitstreams which is used to nullify the scope
of predicting the bitstream. This paper proposes a
CSPRNG called Cryptographically Secure Pseudorandom
Number Generator for Kernel Applications (KCS-PRNG)
which generates non-reproducible bitstreams. The
proposed KCS-PRNG presents an efficient design uniquely
configured with two new non-standard and verified
elliptic curves and clock-controlled Linear Feedback
Shift Registers (LFSRs) and a novel method to
consistently generate non-reproducible random
bitstreams of arbitrary lengths. The generated
bitstreams are statistically indistinguishable from
true random bitstreams and provably secure, resilient
to important attacks, exhibits backward and forward
secrecy, exhibits exponential linear complexity, large
period and huge key space.",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Geuvers:2022:CBE,
author = "Herman Geuvers and Rob Nederpelt",
title = "Characteristics of {de Bruijn}'s early proof checker
{Automath}",
journal = j-FUND-INFO,
volume = "185",
number = "4",
pages = "313--336",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222112",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:01 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Kutrib:2022:CDP,
author = "Martin Kutrib and Andreas Malcher and Carlo Mereghetti
and Beatrice Palano",
title = "Computational and Descriptional Power of
Nondeterministic Iterated Uniform Finite-State
Transducers",
journal = j-FUND-INFO,
volume = "185",
number = "4",
pages = "337--356",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222113",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:01 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Lin:2022:LDA,
author = "Cheng-Kuan Lin and Tzu-Liang Kung and Chun-Nan Hung
and Yuan-Hsiang Teng",
title = "A Local Diagnosis Algorithm for Hypercube-like
Networks under the {BGM} Diagnosis Model",
journal = j-FUND-INFO,
volume = "185",
number = "4",
pages = "357--373",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222114",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:01 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Avron:2022:P,
author = "Arnon Avron and Nachum Dershowitz and Alexander
Rabinovich",
title = "Preface",
journal = j-FUND-INFO,
volume = "186",
number = "1--4",
pages = "v--viii",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222115",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:03 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Abramsky:2022:SPE,
author = "Samson Abramsky",
title = "Structure and Power: an Emerging Landscape",
journal = j-FUND-INFO,
volume = "186",
number = "1--4",
pages = "1--26",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222116",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:03 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Arnold:2022:ACS,
author = "Andr{\'e} Arnold and Patrick C{\'e}gielski and
Ir{\`e}ne Guessarian",
title = "Affine Completeness of Some Free Binary Algebras",
journal = j-FUND-INFO,
volume = "186",
number = "1--4",
pages = "27--44",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222117",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:03 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Artemov:2022:TSE,
author = "Sergei Artemov",
title = "Towards Syntactic Epistemic Logic",
journal = j-FUND-INFO,
volume = "186",
number = "1--4",
pages = "45--62",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222118",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:03 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Brutsch:2022:SIG,
author = "Benedikt Br{\"u}tsch and Wolfgang Thomas",
title = "Solving Infinite Games in the {Baire} Space",
journal = j-FUND-INFO,
volume = "186",
number = "1--4",
pages = "63--88",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222119",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:03 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Courcelle:2022:OTT,
author = "Bruno Courcelle",
title = "Order-theoretic Trees: Monadic Second-order
Descriptions and Regularity",
journal = j-FUND-INFO,
volume = "186",
number = "1--4",
pages = "89--120",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222120",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:03 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Francez:2022:GFF,
author = "Nissim Francez",
title = "A Generalization of Falsity in Finitely-many Valued
Logics",
journal = j-FUND-INFO,
volume = "186",
number = "1--4",
pages = "121--132",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222121",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:03 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Gurevich:2022:ICM,
author = "Yuri Gurevich",
title = "The {1966 International Congress of Mathematicians}: a
Micro-memoir",
journal = j-FUND-INFO,
volume = "186",
number = "1--4",
pages = "133--141",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222122",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:03 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Kaminski:2022:NCN,
author = "Michael Kaminski",
title = "A Note on Calculi for Non-deterministic Many-valued
Logics",
journal = j-FUND-INFO,
volume = "186",
number = "1--4",
pages = "143--153",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222123",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:03 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Kotek:2022:TMP,
author = "Tomer Kotek and Johann A. Makowsky",
title = "On the {Tutte} and Matching Polynomials for Complete
Graphs",
journal = j-FUND-INFO,
volume = "186",
number = "1--4",
pages = "155--173",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222124",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:03 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Kasjan:2022:DSO,
author = "Stanis{\l}aw Kasjan and Damian Niwi{\'n}ski",
title = "{Daniel Simson} Obituary",
journal = j-FUND-INFO,
volume = "187",
number = "1",
pages = "v--vii",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222131",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:06 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Bhagat:2022:GMN,
author = "Subhash Bhagat and Abhinav Chakraborty and Bibhuti Das
and Krishnendu Mukhopadhyaya",
title = "Gathering over Meeting Nodes in Infinite Grid",
journal = j-FUND-INFO,
volume = "187",
number = "1",
pages = "1--30",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222128",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:06 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Redeker:2022:NCP,
author = "Markus Redeker",
title = "Number Conservation via Particle Flow in
One-dimensional Cellular Automata",
journal = j-FUND-INFO,
volume = "187",
number = "1",
pages = "31--59",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222129",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:06 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Zhou:2022:NGF,
author = "Sizhong Zhou",
title = "A Note of Generalization of Fractional
{ID}-factor-critical Graphs",
journal = j-FUND-INFO,
volume = "187",
number = "1",
pages = "61--69",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222130",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:06 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Buchs:2022:P,
author = "Didier Buchs and Josep Carmona and Jetty Kleijn",
title = "Preface",
journal = j-FUND-INFO,
volume = "187",
number = "2--4",
pages = "i--iii",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222132",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:09 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Abbes:2022:IPC,
author = "Samy Abbes",
title = "Introduction to Probabilistic Concurrent Systems",
journal = j-FUND-INFO,
volume = "187",
number = "2--4",
pages = "71--102",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222133",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:09 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Amat:2022:PAP,
author = "Nicolas Amat and Bernard Berthomieu and Silvano {Dal
Zilio}",
title = "A Polyhedral Abstraction for {Petri} Nets and its
Application to {SMT}-Based Model Checking",
journal = j-FUND-INFO,
volume = "187",
number = "2--4",
pages = "103--138",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222134",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:09 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Devillers:2022:SPI,
author = "Raymond Devillers and Ronny Tredup",
title = "Synthesis of Pure and Impure {Petri} Nets with
Restricted Place-environments: Complexity Issues",
journal = j-FUND-INFO,
volume = "187",
number = "2--4",
pages = "139--165",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222135",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:09 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Devillers:2022:SBT,
author = "Raymond Devillers and Ronny Tredup",
title = "Some Basic Techniques Allowing {Petri} Net Synthesis:
Complexity and Algorithmic Issues",
journal = j-FUND-INFO,
volume = "187",
number = "2--4",
pages = "167--196",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222136",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:09 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Esparza:2022:CPI,
author = "Javier Esparza and Mikhail Raskin and Christoph
Welzel",
title = "Computing Parameterized Invariants of Parameterized
{Petri} Nets",
journal = j-FUND-INFO,
volume = "187",
number = "2--4",
pages = "197--243",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222137",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:09 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Wallner:2022:SAU,
author = "Sophie Wallner and Karsten Wolf",
title = "Skeleton Abstraction for Universal Temporal
Properties",
journal = j-FUND-INFO,
volume = "187",
number = "2--4",
pages = "245--272",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222138",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:09 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Gh:2022:FHC,
author = "Behrooz Bagheri Gh. and Tomas Feder and Herbert
Fleischner and Carlos Subi",
title = "On Finding {Hamiltonian} Cycles in Barnette Graphs",
journal = j-FUND-INFO,
volume = "188",
number = "1",
pages = "1--14",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222139",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:12 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Bes:2022:DDI,
author = "Alexis B{\`e}s and Christian Choffrut",
title = "Decidability of Definability Issues in the Theory of
Real Addition",
journal = j-FUND-INFO,
volume = "188",
number = "1",
pages = "15--39",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222140",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:12 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Mrozek:2022:UAS,
author = "Ireneusz Mrozek and Nikolai A. Shevchenko and
Vyacheslav N. Yarmolik",
title = "Universal Address Sequence Generator for Memory
Built-in Self-test",
journal = j-FUND-INFO,
volume = "188",
number = "1",
pages = "41--61",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222141",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:12 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Eberbach:2022:CCM,
author = "Eugene Eberbach",
title = "On Completeness of Cost Metrics and Meta-Search
Algorithms in \$-Calculus",
journal = j-FUND-INFO,
volume = "188",
number = "2",
pages = "63--90",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222142",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:14 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Lee:2022:IUB,
author = "Hyang-Sook Lee and Seongan Lim and Ikkwon Yie and
Aaram Yun",
title = "On Insecure Uses of {BGN} for Privacy Preserving Data
Aggregation Protocols",
journal = j-FUND-INFO,
volume = "188",
number = "2",
pages = "91--101",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222143",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:14 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Macyna:2022:AMP,
author = "Wojciech Macyna and Michal Kukowski",
title = "Adaptive Merging on Phase Change Memory",
journal = j-FUND-INFO,
volume = "188",
number = "2",
pages = "103--126",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222144",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:14 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Barozzini:2022:CAS,
author = "David Barozzini and Lorenzo Clemente and Thomas
Colcombet and Pawe{\l} Parys",
title = "Cost Automata, Safe Schemes, and Downward Closures",
journal = j-FUND-INFO,
volume = "188",
number = "3",
pages = "127--178",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222145",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:17 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
@Article{Jancar:2022:SLI,
author = "Petr Jan{\v{c}}ar and Ji{\v{r}}{\'\i}
Val{\r{u}}{\v{s}}ek",
title = "Structural Liveness of Immediate Observation {Petri}
Nets",
journal = j-FUND-INFO,
volume = "188",
number = "3",
pages = "179--215",
month = "????",
year = "2022",
CODEN = "FUMAAJ",
DOI = "https://doi.org/10.3233/FI-222146",
ISSN = "0169-2968 (print), 1875-8681 (electronic)",
ISSN-L = "0169-2968",
bibdate = "Tue May 2 08:37:17 MDT 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/fundinfo2020.bib",
acknowledgement = ack-nhfb,
fjournal = "Fundamenta Informaticae",
journal-URL = "http://content.iospress.com/journals/fundamenta-informaticae",
}
