@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",
}
