Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:journals/cuza:"
download as .bib file
@article{DBLP:journals/cuza/Ciobanu23,
author = {Gabriel Ciobanu},
title = {A Teacher of Great Strengths},
journal = {Sci. Ann. Comput. Sci.},
volume = {33},
number = {1},
pages = {1--4},
year = {2023},
url = {https://doi.org/10.7561/SACS.2023.1.1},
doi = {10.7561/SACS.2023.1.1},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Ciobanu23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Georgescu23,
author = {George Georgescu},
title = {Semidegenerate Congruence-modular Algebras Admitting a Reticulation},
journal = {Sci. Ann. Comput. Sci.},
volume = {33},
number = {1},
pages = {5--34},
year = {2023},
url = {https://doi.org/10.7561/SACS.2023.1.5},
doi = {10.7561/SACS.2023.1.5},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Georgescu23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/JaroszewiczR23,
author = {Szymon Jaroszewicz and
Krzysztof Rudas},
title = {Shrinkage Estimators for the Intercept in Linear and Uplift Regression},
journal = {Sci. Ann. Comput. Sci.},
volume = {33},
number = {1},
pages = {35--52},
year = {2023},
url = {https://doi.org/10.7561/SACS.2023.1.35},
doi = {10.7561/SACS.2023.1.35},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/JaroszewiczR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/KeelerS23,
author = {Casey Keeler and
Kai Salomaa},
title = {Maximal Existential and Universal Width},
journal = {Sci. Ann. Comput. Sci.},
volume = {33},
number = {1},
pages = {53--77},
year = {2023},
url = {https://doi.org/10.7561/SACS.2023.1.53},
doi = {10.7561/SACS.2023.1.53},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/KeelerS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Machida23,
author = {Hajime Machida},
title = {A Study on Centralizing Monoids with Majority Operation Witnesses},
journal = {Sci. Ann. Comput. Sci.},
volume = {33},
number = {1},
pages = {79--92},
year = {2023},
url = {https://doi.org/10.7561/SACS.2023.1.79},
doi = {10.7561/SACS.2023.1.79},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Machida23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Mandrali23,
author = {Eleni Mandrali},
title = {Describing weighted safety with weighted {LTL} over product omega-valuation
monoids},
journal = {Sci. Ann. Comput. Sci.},
volume = {33},
number = {2},
pages = {93--157},
year = {2023},
url = {https://doi.org/10.7561/SACS.2023.2.93},
doi = {10.7561/SACS.2023.2.93},
timestamp = {Wed, 20 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Mandrali23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Middelburg23,
author = {Cornelis A. Middelburg},
title = {Belnap-Dunn Logic and Query Answering in Inconsistent Databases with
Null Values},
journal = {Sci. Ann. Comput. Sci.},
volume = {33},
number = {2},
pages = {159--192},
year = {2023},
url = {https://doi.org/10.7561/SACS.2023.2.159},
doi = {10.7561/SACS.2023.2.159},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Middelburg23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/RaiD23,
author = {Shikha Rai and
Shibsankar Das},
title = {On Nirmala Indices of Some Hex-derived Networks of Type Three and
Their Subdivision Networks},
journal = {Sci. Ann. Comput. Sci.},
volume = {33},
number = {2},
pages = {193--242},
year = {2023},
url = {https://doi.org/10.7561/SACS.2023.2.193},
doi = {10.7561/SACS.2023.2.193},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/RaiD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/AmanC22,
author = {Bogdan Aman and
Gabriel Ciobanu},
title = {New Editorial Team for {SACS} after 16 Years},
journal = {Sci. Ann. Comput. Sci.},
volume = {32},
number = {2},
pages = {181--182},
year = {2022},
url = {https://doi.org/10.7561/SACS.2022.2.181},
doi = {10.7561/SACS.2022.2.181},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/AmanC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Bergstra22,
author = {Jan A. Bergstra},
title = {A Survey of Testing for Instruction Sequence Theory},
journal = {Sci. Ann. Comput. Sci.},
volume = {32},
number = {1},
pages = {5--86},
year = {2022},
url = {https://doi.org/10.7561/SACS.2022.1.5},
doi = {10.7561/SACS.2022.1.5},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Bergstra22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Bergstra22a,
author = {Jan A. Bergstra},
title = {Four Notions of Fault for Program Specifications},
journal = {Sci. Ann. Comput. Sci.},
volume = {32},
number = {2},
pages = {183--209},
year = {2022},
url = {https://doi.org/10.7561/SACS.2022.2.183},
doi = {10.7561/SACS.2022.2.183},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Bergstra22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraT22,
author = {Jan A. Bergstra and
John V. Tucker},
title = {Which Arithmetical Data Types Admit Fracterm Flattening?},
journal = {Sci. Ann. Comput. Sci.},
volume = {32},
number = {1},
pages = {87--107},
year = {2022},
url = {https://doi.org/10.7561/SACS.2022.1.87},
doi = {10.7561/SACS.2022.1.87},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ciobanu22,
author = {Gabriel Ciobanu},
title = {Reflections on a Scientific Journal},
journal = {Sci. Ann. Comput. Sci.},
volume = {32},
number = {1},
pages = {1--4},
year = {2022},
url = {https://doi.org/10.7561/SACS.2022.1.1},
doi = {10.7561/SACS.2022.1.1},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Ciobanu22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Czeizler0P22,
author = {Eugen Czeizler and
Alexandru Popa and
Victor Popescu},
title = {Fixed Parameter Algorithms and Hardness of Approximation Results for
the Structural Target Controllability Problem},
journal = {Sci. Ann. Comput. Sci.},
volume = {32},
number = {1},
pages = {109--136},
year = {2022},
url = {https://doi.org/10.7561/SACS.2022.1.109},
doi = {10.7561/SACS.2022.1.109},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Czeizler0P22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/DuDG22,
author = {Wenjie Du and
Yuxin Deng and
Daniel Gebler},
title = {Behavioural Pseudometrics for Nondeterministic Probabilistic Systems},
journal = {Sci. Ann. Comput. Sci.},
volume = {32},
number = {2},
pages = {211--254},
year = {2022},
url = {https://doi.org/10.7561/SACS.2022.2.211},
doi = {10.7561/SACS.2022.2.211},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/DuDG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/LaghribHH22,
author = {Amine Laghrib and
Aissam Hadri and
Moad Hakim},
title = {An Enhanced Fluid Registration for Image Multi-Frame Super Resolution},
journal = {Sci. Ann. Comput. Sci.},
volume = {32},
number = {2},
pages = {255--283},
year = {2022},
url = {https://doi.org/10.7561/SACS.2022.2.255},
doi = {10.7561/SACS.2022.2.255},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/LaghribHH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Middelburg22,
author = {Cornelis A. Middelburg},
title = {Imperative Process Algebra with Abstraction},
journal = {Sci. Ann. Comput. Sci.},
volume = {32},
number = {1},
pages = {137--179},
year = {2022},
url = {https://doi.org/10.7561/SACS.2022.1.137},
doi = {10.7561/SACS.2022.1.137},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Middelburg22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Middelburg22a,
author = {Cornelis A. Middelburg},
title = {Program Algebra for Random Access Machine Programs},
journal = {Sci. Ann. Comput. Sci.},
volume = {32},
number = {2},
pages = {285--319},
year = {2022},
url = {https://doi.org/10.7561/SACS.2022.2.285},
doi = {10.7561/SACS.2022.2.285},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Middelburg22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Bergstra21,
author = {Jan A. Bergstra},
title = {Qualifications of Instruction Sequence Failures, Faults and Defects:
Dormant, Effective, Detected, Temporary, and Permanent},
journal = {Sci. Ann. Comput. Sci.},
volume = {31},
number = {1},
pages = {1--50},
year = {2021},
url = {https://doi.org/10.7561/SACS.2021.1.1},
doi = {10.7561/SACS.2021.1.1},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Bergstra21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/DasR21,
author = {Shibsankar Das and
Shikha Rai},
title = {Topological Characterization of the Third Type of Triangular Hex-derived
Networks},
journal = {Sci. Ann. Comput. Sci.},
volume = {31},
number = {2},
pages = {145--161},
year = {2021},
url = {https://doi.org/10.7561/SACS.2021.2.145},
doi = {10.7561/SACS.2021.2.145},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/DasR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Iorgulescu21,
author = {Afrodita Iorgulescu},
title = {On Quantum-MV Algebras - Part {I:} The Orthomodular Algebras},
journal = {Sci. Ann. Comput. Sci.},
volume = {31},
number = {2},
pages = {163--222},
year = {2021},
url = {https://doi.org/10.7561/SACS.2021.2.163},
doi = {10.7561/SACS.2021.2.163},
timestamp = {Mon, 20 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Iorgulescu21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Mandrali21,
author = {Eleni Mandrali},
title = {A Translation of Weighted {LTL} Formulas to Weighted B\{{\textbackslash}"
u\}chi Automata over \{{\textbackslash}({\textbackslash}omega{\textbackslash})\}-valuation
Monoids},
journal = {Sci. Ann. Comput. Sci.},
volume = {31},
number = {2},
pages = {223--292},
year = {2021},
url = {https://doi.org/10.7561/SACS.2021.2.223},
doi = {10.7561/SACS.2021.2.223},
timestamp = {Mon, 20 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Mandrali21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Muresan21,
author = {Claudia Muresan},
title = {A Note on Congruences of Infinite Bounded Involution Lattices},
journal = {Sci. Ann. Comput. Sci.},
volume = {31},
number = {1},
pages = {51--78},
year = {2021},
url = {https://doi.org/10.7561/SACS.2021.1.51},
doi = {10.7561/SACS.2021.1.51},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Muresan21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Rudi21,
author = {Ali Gholami Rudi},
title = {Maximizing the Number of Visible Labels on a Rotating Map},
journal = {Sci. Ann. Comput. Sci.},
volume = {31},
number = {2},
pages = {293--313},
year = {2021},
url = {https://doi.org/10.7561/SACS.2021.2.293},
doi = {10.7561/SACS.2021.2.293},
timestamp = {Mon, 20 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Rudi21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/RussoF21,
author = {Lu{\'{\i}}s M. S. Russo and
Alexandre P. Francisco},
title = {Small Longest Tandem Scattered Subsequences},
journal = {Sci. Ann. Comput. Sci.},
volume = {31},
number = {1},
pages = {79--110},
year = {2021},
url = {https://doi.org/10.7561/SACS.2021.1.79},
doi = {10.7561/SACS.2021.1.79},
timestamp = {Mon, 16 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/RussoF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/TrezzyOOO21,
author = {Micka{\"{e}}l Trezzy and
Ileana Ober and
Iulian Ober and
Raquel Ara{\'{u}}jo de Oliveira},
title = {Applying {MDE} to {ROS} Systems: {A} Comparative Analysis},
journal = {Sci. Ann. Comput. Sci.},
volume = {31},
number = {1},
pages = {111--144},
year = {2021},
url = {https://doi.org/10.7561/SACS.2021.1.111},
doi = {10.7561/SACS.2021.1.111},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/TrezzyOOO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Bergstra20,
author = {Jan A. Bergstra},
title = {Most General Algebraic Specifications for an Abstract Datatype of
Rational Numbers},
journal = {Sci. Ann. Comput. Sci.},
volume = {30},
number = {1},
pages = {1--24},
year = {2020},
url = {https://doi.org/10.7561/SACS.2020.1.1},
doi = {10.7561/SACS.2020.1.1},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Bergstra20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Bergstra20a,
author = {Jan A. Bergstra},
title = {Instruction Sequence Faults with Formal Change Justification},
journal = {Sci. Ann. Comput. Sci.},
volume = {30},
number = {2},
pages = {105--166},
year = {2020},
url = {https://doi.org/10.7561/SACS.2020.2.105},
doi = {10.7561/SACS.2020.2.105},
timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Bergstra20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Bergstra20b,
author = {Jan A. Bergstra},
title = {Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of
Summation},
journal = {Sci. Ann. Comput. Sci.},
volume = {30},
number = {2},
pages = {167--203},
year = {2020},
url = {https://doi.org/10.7561/SACS.2020.2.167},
doi = {10.7561/SACS.2020.2.167},
timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Bergstra20b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Das20,
author = {Shibsankar Das},
title = {An Optimum Lower Bound for the Weights of Maximum Weight Matching
in Bipartite Graphs},
journal = {Sci. Ann. Comput. Sci.},
volume = {30},
number = {1},
pages = {25--37},
year = {2020},
url = {https://doi.org/10.7561/SACS.2020.1.25},
doi = {10.7561/SACS.2020.1.25},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Das20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Das20a,
author = {Shibsankar Das},
title = {A Modified Decomposition Algorithm for Maximum Weight Bipartite Matching
and Its Experimental Evaluation},
journal = {Sci. Ann. Comput. Sci.},
volume = {30},
number = {1},
pages = {39--67},
year = {2020},
url = {https://doi.org/10.7561/SACS.2020.1.39},
doi = {10.7561/SACS.2020.1.39},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Das20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Middelburg20,
author = {Cornelis A. Middelburg},
title = {Probabilistic Process Algebra and Strategic Interleaving},
journal = {Sci. Ann. Comput. Sci.},
volume = {30},
number = {2},
pages = {205--243},
year = {2020},
url = {https://doi.org/10.7561/SACS.2020.2.205},
doi = {10.7561/SACS.2020.2.205},
timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Middelburg20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/TimmersG20,
author = {Ferry Timmers and
Jan Friso Groote},
title = {A Complete Axiomatisation for Probabilistic Trace Equivalence},
journal = {Sci. Ann. Comput. Sci.},
volume = {30},
number = {1},
pages = {69--104},
year = {2020},
url = {https://doi.org/10.7561/SACS.2020.1.69},
doi = {10.7561/SACS.2020.1.69},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/TimmersG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Bergstra19,
author = {Jan A. Bergstra},
title = {Adams Conditioning and Likelihood Ratio Transfer Mediated Inference},
journal = {Sci. Ann. Comput. Sci.},
volume = {29},
number = {1},
pages = {1--58},
year = {2019},
url = {https://doi.org/10.7561/SACS.2019.1.1},
doi = {10.7561/SACS.2019.1.1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Bergstra19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM19,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Program Algebra for Turing-Machine Programs},
journal = {Sci. Ann. Comput. Sci.},
volume = {29},
number = {2},
pages = {113--139},
year = {2019},
url = {https://doi.org/10.7561/SACS.2019.2.113},
doi = {10.7561/SACS.2019.2.113},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/GomesMB19,
author = {Leandro Gomes and
Alexandre Madeira and
Lu{\'{\i}}s Soares Barbosa},
title = {Generalising {KAT} to Verify Weighted Computations},
journal = {Sci. Ann. Comput. Sci.},
volume = {29},
number = {2},
pages = {141--184},
year = {2019},
url = {https://doi.org/10.7561/SACS.2019.2.141},
doi = {10.7561/SACS.2019.2.141},
timestamp = {Thu, 11 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/GomesMB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/PeszekT19,
author = {Agnieszka Peszek and
Apoloniusz Tyszka},
title = {On the Relationship Between Matiyasevich's and Smorynski's Theorems},
journal = {Sci. Ann. Comput. Sci.},
volume = {29},
number = {1},
pages = {101--111},
year = {2019},
url = {https://doi.org/10.7561/SACS.2019.1.101},
doi = {10.7561/SACS.2019.1.101},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/PeszekT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/RahonisT19,
author = {George Rahonis and
Faidra Torpari},
title = {Weighted Context-Free Grammars Over Bimonoids},
journal = {Sci. Ann. Comput. Sci.},
volume = {29},
number = {1},
pages = {59--80},
year = {2019},
url = {https://doi.org/10.7561/SACS.2019.1.59},
doi = {10.7561/SACS.2019.1.59},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/RahonisT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Rudi19,
author = {Ali Gholami Rudi},
title = {Identifying and Querying Regularly Visited Places},
journal = {Sci. Ann. Comput. Sci.},
volume = {29},
number = {2},
pages = {185--201},
year = {2019},
url = {https://doi.org/10.7561/SACS.2019.2.185},
doi = {10.7561/SACS.2019.2.185},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Rudi19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/RudiR19,
author = {Ali Gholami Rudi and
Raimi Ayinde Rufai},
title = {Enumerating Collinear Points in Higher Dimensions},
journal = {Sci. Ann. Comput. Sci.},
volume = {29},
number = {1},
pages = {81--100},
year = {2019},
url = {https://doi.org/10.7561/SACS.2019.1.81},
doi = {10.7561/SACS.2019.1.81},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/RudiR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Alexandru18,
author = {Andrei Alexandru},
title = {The Theory of Finitely Supported Structures and Choice Forms},
journal = {Sci. Ann. Comput. Sci.},
volume = {28},
number = {1},
pages = {1--38},
year = {2018},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVIII1\&a=0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Alexandru18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM18,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Instruction Sequences Expressing Multiplication Algorithms},
journal = {Sci. Ann. Comput. Sci.},
volume = {28},
number = {1},
pages = {39--66},
year = {2018},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVIII1\&a=1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BertrandPKL18,
author = {Cl{\'{e}}ment Bertrand and
Fr{\'{e}}d{\'{e}}ric Peschanski and
Hanna Klaudel and
Matthieu Latapy},
title = {Pattern Matching in Link Streams: Timed-Automata with Finite Memory},
journal = {Sci. Ann. Comput. Sci.},
volume = {28},
number = {2},
pages = {161--198},
year = {2018},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVIII2\&a=1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BertrandPKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BestDSW18,
author = {Eike Best and
Raymond R. Devillers and
Uli Schlachter and
Harro Wimmel},
title = {Simultaneous Petri Net Synthesis},
journal = {Sci. Ann. Comput. Sci.},
volume = {28},
number = {2},
pages = {199--236},
year = {2018},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVIII2\&a=2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BestDSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ciobanu18,
author = {Gabriel Ciobanu},
title = {High-Level Koutny Net},
journal = {Sci. Ann. Comput. Sci.},
volume = {28},
number = {2},
pages = {157--159},
year = {2018},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVIII2\&a=0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Ciobanu18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/GeorgescuM18,
author = {George Georgescu and
Claudia Muresan},
title = {The Reticulation of a Universal Algebra},
journal = {Sci. Ann. Comput. Sci.},
volume = {28},
number = {1},
pages = {67--113},
year = {2018},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVIII1\&a=2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/GeorgescuM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/JanickiKM18,
author = {Ryszard Janicki and
Jetty Kleijn and
Lukasz Mikulski},
title = {A Precise Characterisation of Step Traces and Their Concurrent Histories},
journal = {Sci. Ann. Comput. Sci.},
volume = {28},
number = {2},
pages = {237--267},
year = {2018},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVIII2\&a=3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/JanickiKM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/KoohnavardS18,
author = {R. Koohnavard and
A. Borumand Saeid},
title = {(Skew) Filters in Residuated Skew Lattices},
journal = {Sci. Ann. Comput. Sci.},
volume = {28},
number = {1},
pages = {115--140},
year = {2018},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVIII1\&a=3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/KoohnavardS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/NiewiadomskiSSP18,
author = {Artur Niewiadomski and
Piotr Switalski and
Teofil Sidoruk and
Wojciech Penczek},
title = {SMT-Solvers in Action: Encoding and Solving Selected Problems in {NP}
and {EXPTIME}},
journal = {Sci. Ann. Comput. Sci.},
volume = {28},
number = {2},
pages = {269--288},
year = {2018},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVIII2\&a=4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/NiewiadomskiSSP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/SchinkoV18,
author = {Ayleen Schinko and
Walter Vogler},
title = {Fault-Free Refinements for Interface Automata},
journal = {Sci. Ann. Comput. Sci.},
volume = {28},
number = {2},
pages = {289--337},
year = {2018},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVIII2\&a=5},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/SchinkoV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/SimoviciS18,
author = {Dan A. Simovici and
Roman A. Sizov},
title = {On Partition Metric Space, Index Function, and Data Compression},
journal = {Sci. Ann. Comput. Sci.},
volume = {28},
number = {1},
pages = {141--156},
year = {2018},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVIII1\&a=6},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/SimoviciS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraB17,
author = {Jan A. Bergstra and
Inge Bethke},
title = {Subvarieties of the Variety of Meadows},
journal = {Sci. Ann. Comput. Sci.},
volume = {27},
number = {1},
pages = {1--18},
year = {2017},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVII1\&=0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM17,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Axioms for Behavioural Congruence of Single-Pass Instruction Sequences},
journal = {Sci. Ann. Comput. Sci.},
volume = {27},
number = {2},
pages = {111--135},
year = {2017},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVII2\&a=0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Demaille17,
author = {Akim Demaille},
title = {Derived-Term Automata of Multitape Expressions with Composition},
journal = {Sci. Ann. Comput. Sci.},
volume = {27},
number = {2},
pages = {137--176},
year = {2017},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVII2\&a=1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Demaille17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/GianniniS17,
author = {Paola Giannini and
Albert Shaqiri},
title = {A Provably Correct Compilation of Functional Languages into Scripting
Languages},
journal = {Sci. Ann. Comput. Sci.},
volume = {27},
number = {1},
pages = {19--76},
year = {2017},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVII1\&=1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/GianniniS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/KleijnKP17,
author = {Jetty Kleijn and
Maciej Koutny and
Marta Pietkiewicz{-}Koutny},
title = {Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations
Nets with Localities},
journal = {Sci. Ann. Comput. Sci.},
volume = {27},
number = {2},
pages = {177--212},
year = {2017},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVII2\&a=2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/KleijnKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/MosaadF017,
author = {Peter Nazier Mosaad and
Martin Fr{\"{a}}nzle and
Bai Xue},
title = {Model Checking Delay Differential Equations Against Metric Interval
Temporal Logic},
journal = {Sci. Ann. Comput. Sci.},
volume = {27},
number = {1},
pages = {77--109},
year = {2017},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVII1\&=2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/MosaadF017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ballester-Bolinches16,
author = {Adolfo Ballester{-}Bolinches and
Enric Cosme{-}Ll{\'{o}}pez and
Ramon Esteban{-}Romero and
Jan J. M. M. Rutten},
title = {Errata to "Formations of Monoids, Congruences, and Formal Languages"},
journal = {Sci. Ann. Comput. Sci.},
volume = {26},
number = {1},
pages = {123--124},
year = {2016},
url = {https://doi.org/10.7561/SACS.2016.1.123},
doi = {10.7561/SACS.2016.1.123},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Ballester-Bolinches16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM16,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {On Instruction Sets for Boolean Registers in Program Algebra},
journal = {Sci. Ann. Comput. Sci.},
volume = {26},
number = {1},
pages = {1--26},
year = {2016},
url = {https://doi.org/10.7561/SACS.2016.1.1},
doi = {10.7561/SACS.2016.1.1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM16a,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences},
journal = {Sci. Ann. Comput. Sci.},
volume = {26},
number = {2},
pages = {125--156},
year = {2016},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVI2\&a=0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BetarteCLR16,
author = {Gustavo Betarte and
Juan Diego Campo and
Carlos Luna and
Agust{\'{\i}}n Romano},
title = {Formal Analysis of Android's Permission-Based Security Model,},
journal = {Sci. Ann. Comput. Sci.},
volume = {26},
number = {1},
pages = {27--68},
year = {2016},
url = {https://doi.org/10.7561/SACS.2016.1.27},
doi = {10.7561/SACS.2016.1.27},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BetarteCLR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/DiskinSMB16,
author = {Zinovy Diskin and
Aliakbar Safilian and
Tom Maibaum and
Shoham Ben{-}David},
title = {Faithful Modeling of Product Lines with Kripke Structures and Modal
Logic},
journal = {Sci. Ann. Comput. Sci.},
volume = {26},
number = {1},
pages = {69--122},
year = {2016},
url = {https://doi.org/10.7561/SACS.2016.1.69},
doi = {10.7561/SACS.2016.1.69},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/DiskinSMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/FontaineZ16,
author = {Allyx Fontaine and
Akka Zemmari},
title = {{RDA:} {A} Coq Library to Reason about Randomised Distributed Algorithms
in the Message Passing Model},
journal = {Sci. Ann. Comput. Sci.},
volume = {26},
number = {2},
pages = {157--186},
year = {2016},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVI2\&a=1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/FontaineZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/MarmsolerG16,
author = {Diego Marmsoler and
Mario Gleirscher},
title = {On Activation, Connection, and Behavior in Dynamic Architectures},
journal = {Sci. Ann. Comput. Sci.},
volume = {26},
number = {2},
pages = {187--248},
year = {2016},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVI2\&a=2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/MarmsolerG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/SaqaeeyanM16,
author = {Sasan Saqaeeyan and
Esmaiel Mollaahamdi},
title = {Dynamic Chromatic Number of Bipartite Graphs},
journal = {Sci. Ann. Comput. Sci.},
volume = {26},
number = {2},
pages = {249--261},
year = {2016},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVI2\&a=3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/SaqaeeyanM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ballester-Bolinches15,
author = {Adolfo Ballester{-}Bolinches and
Enric Cosme{-}Ll{\'{o}}pez and
Ramon Esteban{-}Romero and
Jan J. M. M. Rutten},
title = {Formations of Monoids, Congruences, and Formal Languages},
journal = {Sci. Ann. Comput. Sci.},
volume = {25},
number = {2},
pages = {171--209},
year = {2015},
url = {https://doi.org/10.7561/SACS.2015.2.171},
doi = {10.7561/SACS.2015.2.171},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Ballester-Bolinches15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM15,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Probabilistic Thread Algebra},
journal = {Sci. Ann. Comput. Sci.},
volume = {25},
number = {2},
pages = {211--243},
year = {2015},
url = {https://doi.org/10.7561/SACS.2015.2.211},
doi = {10.7561/SACS.2015.2.211},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Campeanu15,
author = {Cezar C{\^{a}}mpeanu},
title = {Non-Deterministic Finite Cover Automata},
journal = {Sci. Ann. Comput. Sci.},
volume = {25},
number = {1},
pages = {3--28},
year = {2015},
url = {https://doi.org/10.7561/SACS.2015.1.3},
doi = {10.7561/SACS.2015.1.3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Campeanu15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/ChepteaGM15,
author = {Daniela Cheptea and
George Georgescu and
Claudia Muresan},
title = {Boolean Lifting Properties for Bounded Distributive Lattices},
journal = {Sci. Ann. Comput. Sci.},
volume = {25},
number = {1},
pages = {29--67},
year = {2015},
url = {https://doi.org/10.7561/SACS.2015.1.29},
doi = {10.7561/SACS.2015.1.29},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/ChepteaGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ciobanu15,
author = {Gabriel Ciobanu},
title = {A Grand Master of Discrete Mathematics},
journal = {Sci. Ann. Comput. Sci.},
volume = {25},
number = {1},
pages = {1--2},
year = {2015},
url = {https://doi.org/10.7561/SACS.2015.1.1},
doi = {10.7561/SACS.2015.1.1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Ciobanu15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/DiaconescuL15,
author = {Denisa Diaconescu and
Ioana Leustean},
title = {Mutually Exclusive Nuances of Truth in Moisil Logic},
journal = {Sci. Ann. Comput. Sci.},
volume = {25},
number = {1},
pages = {69--88},
year = {2015},
url = {https://doi.org/10.7561/SACS.2015.1.69},
doi = {10.7561/SACS.2015.1.69},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/DiaconescuL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Horne15,
author = {Ross Horne},
title = {The Consistency and Complexity of Multiplicative Additive System Virtual},
journal = {Sci. Ann. Comput. Sci.},
volume = {25},
number = {2},
pages = {245--316},
year = {2015},
url = {https://doi.org/10.7561/SACS.2015.2.245},
doi = {10.7561/SACS.2015.2.245},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Horne15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Iorgulescu15,
author = {Afrodita Iorgulescu},
title = {Quasi-Algebras versus Regular Algebras - Part {I}},
journal = {Sci. Ann. Comput. Sci.},
volume = {25},
number = {1},
pages = {89--131},
year = {2015},
url = {https://doi.org/10.7561/SACS.2015.1.89},
doi = {10.7561/SACS.2015.1.89},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Iorgulescu15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Istrate15,
author = {Gabriel Istrate},
title = {Identifying Almost Sorted Permutations from {TCP} Buffer Dynamics},
journal = {Sci. Ann. Comput. Sci.},
volume = {25},
number = {1},
pages = {133--154},
year = {2015},
url = {https://doi.org/10.7561/SACS.2015.1.133},
doi = {10.7561/SACS.2015.1.133},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Istrate15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Simovici15,
author = {Dan A. Simovici},
title = {Several Remarks on Dissimilarities and Ultrametrics},
journal = {Sci. Ann. Comput. Sci.},
volume = {25},
number = {1},
pages = {155--170},
year = {2015},
url = {https://doi.org/10.7561/SACS.2015.1.155},
doi = {10.7561/SACS.2015.1.155},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Simovici15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Umarov15,
author = {Timur Umarov},
title = {Verification and Validation of Formal Data-Centric Business Models},
journal = {Sci. Ann. Comput. Sci.},
volume = {25},
number = {2},
pages = {317--355},
year = {2015},
url = {https://doi.org/10.7561/SACS.2015.2.317},
doi = {10.7561/SACS.2015.2.317},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Umarov15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/AiguierK14,
author = {Marc Aiguier and
Bilal Kanso},
title = {A Logic for Complex Computing Systems: Properties Preservation Along
Integration and Abstraction},
journal = {Sci. Ann. Comput. Sci.},
volume = {24},
number = {1},
pages = {1--46},
year = {2014},
url = {https://doi.org/10.7561/SACS.2014.1.1},
doi = {10.7561/SACS.2014.1.1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/AiguierK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM14,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Instruction Sequence Based Non-uniform Complexity Classes},
journal = {Sci. Ann. Comput. Sci.},
volume = {24},
number = {1},
pages = {47--89},
year = {2014},
url = {https://doi.org/10.7561/SACS.2014.1.47},
doi = {10.7561/SACS.2014.1.47},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BodeiBBC14,
author = {Chiara Bodei and
Linda Brodo and
Roberto Bruni and
Davide Chiarugi},
title = {A Flat Process Calculus for Nested Membrane Interactions},
journal = {Sci. Ann. Comput. Sci.},
volume = {24},
number = {1},
pages = {91--136},
year = {2014},
url = {https://doi.org/10.7561/SACS.2014.1.91},
doi = {10.7561/SACS.2014.1.91},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BodeiBBC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CastroRR14,
author = {Rodrigo de Castro and
Andr{\'{e}}s L. Ram{\'{\i}}rez and
Jos{\'{e}} Luis Ram{\'{\i}}rez},
title = {Applications in Enumerative Combinatorics of Infinite Weighted Automata
and Graphs},
journal = {Sci. Ann. Comput. Sci.},
volume = {24},
number = {1},
pages = {137--171},
year = {2014},
url = {https://doi.org/10.7561/SACS.2014.1.137},
doi = {10.7561/SACS.2014.1.137},
timestamp = {Thu, 06 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/CastroRR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ciobanu14,
author = {Gabriel Ciobanu},
title = {Theoretical Aspects of Computing},
journal = {Sci. Ann. Comput. Sci.},
volume = {24},
number = {2},
pages = {173--176},
year = {2014},
url = {https://doi.org/10.7561/SACS.2014.2.173},
doi = {10.7561/SACS.2014.2.173},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Ciobanu14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/LagoZG14,
author = {Ugo Dal Lago and
Sara Zuppiroli and
Maurizio Gabbrielli},
title = {Probabilistic Recursion Theory and Implicit Computational Complexity},
journal = {Sci. Ann. Comput. Sci.},
volume = {24},
number = {2},
pages = {177--216},
year = {2014},
url = {https://doi.org/10.7561/SACS.2014.2.177},
doi = {10.7561/SACS.2014.2.177},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/LagoZG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/LeiQ14,
author = {Jinjiang Lei and
Zongyan Qiu},
title = {Rely-Guarantee Based Reasoning for Message-Passing Programs},
journal = {Sci. Ann. Comput. Sci.},
volume = {24},
number = {2},
pages = {217--252},
year = {2014},
url = {https://doi.org/10.7561/SACS.2014.2.217},
doi = {10.7561/SACS.2014.2.217},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/LeiQ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/MarinI14,
author = {Mircea Marin and
Gabriel Istrate},
title = {Learning Cover Context-Free Grammars from Structural Data},
journal = {Sci. Ann. Comput. Sci.},
volume = {24},
number = {2},
pages = {253--286},
year = {2014},
url = {https://doi.org/10.7561/SACS.2014.2.253},
doi = {10.7561/SACS.2014.2.253},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/MarinI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Tarau14,
author = {Paul Tarau},
title = {Arithmetic and Boolean Operations on Recursively Run-Length Compressed
Natural Numbers},
journal = {Sci. Ann. Comput. Sci.},
volume = {24},
number = {2},
pages = {287--323},
year = {2014},
url = {https://doi.org/10.7561/SACS.2014.2.287},
doi = {10.7561/SACS.2014.2.287},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Tarau14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/ValironZ14,
author = {Beno{\^{\i}}t Valiron and
Steve Zdancewic},
title = {Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector
Spaces},
journal = {Sci. Ann. Comput. Sci.},
volume = {24},
number = {2},
pages = {325--368},
year = {2014},
url = {https://doi.org/10.7561/SACS.2014.2.325},
doi = {10.7561/SACS.2014.2.325},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/ValironZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Basso-BlandinD13,
author = {Adrien Basso{-}Blandin and
Franck Delaplace},
title = {GUBS, a Behaviour-Based Language for Design in Synthetic Biology},
journal = {Sci. Ann. Comput. Sci.},
volume = {23},
number = {1},
pages = {1--38},
year = {2013},
url = {https://doi.org/10.7561/SACS.2013.1.1},
doi = {10.7561/SACS.2013.1.1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Basso-BlandinD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM13,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Timed Tuplix Calculus and the Wesseling and van den Bergh Equation},
journal = {Sci. Ann. Comput. Sci.},
volume = {23},
number = {2},
pages = {169--190},
year = {2013},
url = {https://doi.org/10.7561/SACS.2013.2.169},
doi = {10.7561/SACS.2013.2.169},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BoureanuV13,
author = {Ioana Boureanu and
Serge Vaudenay},
title = {{UC} and {EUC} Weak Bit-Commitments Using Seal-Once Tamper-Evidence},
journal = {Sci. Ann. Comput. Sci.},
volume = {23},
number = {2},
pages = {191--228},
year = {2013},
url = {https://doi.org/10.7561/SACS.2013.2.191},
doi = {10.7561/SACS.2013.2.191},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BoureanuV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/DrabikMMP13,
author = {Peter Dr{\'{a}}bik and
Andrea Maggiolo{-}Schettini and
Paolo Milazzo and
Giovanni Pardini},
title = {Modular Verification of Qualitative Pathway Models with Fairness},
journal = {Sci. Ann. Comput. Sci.},
volume = {23},
number = {1},
pages = {75--117},
year = {2013},
url = {https://doi.org/10.7561/SACS.2013.1.75},
doi = {10.7561/SACS.2013.1.75},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/DrabikMMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/MikulskiPS13,
author = {Lukasz Mikulski and
Marcin Piatkowski and
Sebastian Smyczynski},
title = {Algorithmics of Posets Generated by Words Over Partially Commutative
Alphabets (Extended)},
journal = {Sci. Ann. Comput. Sci.},
volume = {23},
number = {2},
pages = {229--249},
year = {2013},
url = {https://doi.org/10.7561/SACS.2013.2.229},
doi = {10.7561/SACS.2013.2.229},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/MikulskiPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/PhilippouTA13,
author = {Anna Philippou and
Mauricio Toro and
Margarita Antonaki},
title = {Simulation and Verification in a Process Calculus for Spatially-Explicit
Ecological Models},
journal = {Sci. Ann. Comput. Sci.},
volume = {23},
number = {1},
pages = {119--167},
year = {2013},
url = {https://doi.org/10.7561/SACS.2013.1.119},
doi = {10.7561/SACS.2013.1.119},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/PhilippouTA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Sofronie-Stokkermans13,
author = {Viorica Sofronie{-}Stokkermans},
title = {Locality and Applications to Subsumption Testing in {EL} and Some
of its Extensions},
journal = {Sci. Ann. Comput. Sci.},
volume = {23},
number = {2},
pages = {251--284},
year = {2013},
url = {https://doi.org/10.7561/SACS.2013.2.251},
doi = {10.7561/SACS.2013.2.251},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Sofronie-Stokkermans13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/VinkZB13,
author = {Erik P. de Vink and
Hans Zantema and
Dragan Bosnacki},
title = {RNA-Editing with Combined Insertion and Deletion Preserves Regularity},
journal = {Sci. Ann. Comput. Sci.},
volume = {23},
number = {1},
pages = {39--73},
year = {2013},
url = {https://doi.org/10.7561/SACS.2013.1.39},
doi = {10.7561/SACS.2013.1.39},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/VinkZB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BartolettiTZ12,
author = {Massimo Bartoletti and
Emilio Tuosto and
Roberto Zunino},
title = {Contract-Oriented Computing in {CO2}},
journal = {Sci. Ann. Comput. Sci.},
volume = {22},
number = {1},
pages = {5--60},
year = {2012},
url = {https://doi.org/10.7561/SACS.2012.1.5},
doi = {10.7561/SACS.2012.1.5},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BartolettiTZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM12,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Indirect Jumps Improve Instruction Sequence Performance},
journal = {Sci. Ann. Comput. Sci.},
volume = {22},
number = {2},
pages = {253--265},
year = {2012},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXII2\&a=0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BliudzeBCS12,
author = {Simon Bliudze and
Roberto Bruni and
Marco Carbone and
Alexandra Silva},
title = {Towards Interaction Reliability in Concurrent Applications},
journal = {Sci. Ann. Comput. Sci.},
volume = {22},
number = {1},
pages = {1--4},
year = {2012},
url = {https://doi.org/10.7561/SACS.2012.1.1},
doi = {10.7561/SACS.2012.1.1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BliudzeBCS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BocchiLT12,
author = {Laura Bocchi and
Julien Lange and
Emilio Tuosto},
title = {Three Algorithms and a Methodology for Amending Contracts for Choreographies},
journal = {Sci. Ann. Comput. Sci.},
volume = {22},
number = {1},
pages = {61--104},
year = {2012},
url = {https://doi.org/10.7561/SACS.2012.1.61},
doi = {10.7561/SACS.2012.1.61},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BocchiLT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/DamianiGRV12,
author = {Ferruccio Damiani and
Paola Giannini and
Alessandro Ricci and
Mirko Viroli},
title = {Standard Type Soundness for Agents and Artifacts},
journal = {Sci. Ann. Comput. Sci.},
volume = {22},
number = {2},
pages = {267--326},
year = {2012},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXII2\&a=1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/DamianiGRV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/DormanHK12,
author = {Andrei Dorman and
Tobias Heindel and
Barbara K{\"{o}}nig},
title = {Structured Operational Semantics for Graph Rewriting},
journal = {Sci. Ann. Comput. Sci.},
volume = {22},
number = {1},
pages = {105--145},
year = {2012},
url = {https://doi.org/10.7561/SACS.2012.1.105},
doi = {10.7561/SACS.2012.1.105},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/DormanHK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/HirschowitzP12,
author = {Tom Hirschowitz and
Damien Pous},
title = {Innocent Strategies as Presheaves and Interactive Equivalences for
{CCS}},
journal = {Sci. Ann. Comput. Sci.},
volume = {22},
number = {1},
pages = {147--199},
year = {2012},
url = {https://doi.org/10.7561/SACS.2012.1.147},
doi = {10.7561/SACS.2012.1.147},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/HirschowitzP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/JongmansA12,
author = {Sung{-}Shik T. Q. Jongmans and
Farhad Arbab},
title = {Overview of Thirty Semantic Formalisms for Reo},
journal = {Sci. Ann. Comput. Sci.},
volume = {22},
number = {1},
pages = {201--251},
year = {2012},
url = {https://doi.org/10.7561/SACS.2012.1.201},
doi = {10.7561/SACS.2012.1.201},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/JongmansA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Rosu12,
author = {Grigore Rosu},
title = {On Safety Properties and Their Monitoring},
journal = {Sci. Ann. Comput. Sci.},
volume = {22},
number = {2},
pages = {327--365},
year = {2012},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXII2\&a=2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Rosu12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Silva12,
author = {Alexandra Silva},
title = {Position Automata for Kleene Algebra with Tests},
journal = {Sci. Ann. Comput. Sci.},
volume = {22},
number = {2},
pages = {367--394},
year = {2012},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXII2\&a=3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Silva12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BeoharC11,
author = {Harsh Beohar and
Pieter J. L. Cuijpers},
title = {Desynchronizability of (Partial) Synchronous Closed Loop Systems},
journal = {Sci. Ann. Comput. Sci.},
volume = {21},
number = {1},
pages = {5--38},
year = {2011},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXI1\&a=7},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BeoharC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM11,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Thread Extraction for Polyadic Instruction Sequences},
journal = {Sci. Ann. Comput. Sci.},
volume = {21},
number = {2},
pages = {283--310},
year = {2011},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXI2\&a=4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CardelliL11,
author = {Luca Cardelli and
Cosimo Laneve},
title = {Reversibility in Massive Concurrent Systems},
journal = {Sci. Ann. Comput. Sci.},
volume = {21},
number = {2},
pages = {175--198},
year = {2011},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXI2\&a=0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/CardelliL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/DrabikMM11,
author = {Peter Dr{\'{a}}bik and
Andrea Maggiolo{-}Schettini and
Paolo Milazzo},
title = {Modular Verification of Interactive Systems with an Application to
Biology},
journal = {Sci. Ann. Comput. Sci.},
volume = {21},
number = {1},
pages = {39--72},
year = {2011},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXI1\&a=8},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/DrabikMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/HartmannJSV11,
author = {Lars Hartmann and
Neil D. Jones and
Jakob Grue Simonsen and
S{\o}ren Bjerregaard Vrist},
title = {Programming in Biomolecular Computation: Programs, Self-Interpretation
and Visualisation},
journal = {Sci. Ann. Comput. Sci.},
volume = {21},
number = {1},
pages = {73--106},
year = {2011},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXI1\&a=9},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/HartmannJSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/HernandezNN11,
author = {Alejandro Mario Hernandez and
Flemming Nielson and
Hanne Riis Nielson},
title = {Designing, Capturing and Validating History-Sensitive Security Policies
for Distributed Systems},
journal = {Sci. Ann. Comput. Sci.},
volume = {21},
number = {1},
pages = {107--149},
year = {2011},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXI1\&a=10},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/HernandezNN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/KleijnKR11,
author = {Jetty Kleijn and
Maciej Koutny and
Grzegorz Rozenberg},
title = {Petri Nets for Biologically Motivated Computing},
journal = {Sci. Ann. Comput. Sci.},
volume = {21},
number = {2},
pages = {199--225},
year = {2011},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXI2\&a=1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/KleijnKR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Melisson0RS11,
author = {R{\'{e}}mi M{\'{e}}lisson and
Daniel Romero and
Romain Rouvoy and
Lionel Seinturier},
title = {An SCA-based Approach for Social and Pervasive Communications in Home
Environments},
journal = {Sci. Ann. Comput. Sci.},
volume = {21},
number = {1},
pages = {151--173},
year = {2011},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXI1\&a=11},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Melisson0RS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/MokhtarBBST11,
author = {Sonia Ben Mokhtar and
Simon Bliudze and
Roberto Bruni and
Alexandra Silva and
Angelo Troina},
title = {Concurrency and Interaction in Complex Systems},
journal = {Sci. Ann. Comput. Sci.},
volume = {21},
number = {1},
pages = {1--4},
year = {2011},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXI1\&a=6},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/MokhtarBBST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/SpicherV11,
author = {Antoine Spicher and
Sergey Verlan},
title = {Generalized Communicating {P} Systems Working in Fair Sequential Mode},
journal = {Sci. Ann. Comput. Sci.},
volume = {21},
number = {2},
pages = {227--247},
year = {2011},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXI2\&a=2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/SpicherV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Steggles11,
author = {L. Jason Steggles},
title = {Abstracting Asynchronous Multi-Valued Networks},
journal = {Sci. Ann. Comput. Sci.},
volume = {21},
number = {2},
pages = {249--282},
year = {2011},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXI2\&a=3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Steggles11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BartocciCBMT10,
author = {Ezio Bartocci and
Flavio Corradini and
Maria Rita Di Berardini and
Emanuela Merelli and
Luca Tesei},
title = {Shape Calculus. {A} Spatial Mobile Calculus for 3D Shapes},
journal = {Sci. Ann. Comput. Sci.},
volume = {20},
pages = {1--31},
year = {2010},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XX\&a=0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BartocciCBMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BartocciCBMT10a,
author = {Ezio Bartocci and
Diletta Romana Cacciagrano and
Maria Rita Di Berardini and
Emanuela Merelli and
Luca Tesei},
title = {Timed Operational Semantics and Well-Formedness of Shape Calculus},
journal = {Sci. Ann. Comput. Sci.},
volume = {20},
pages = {32--52},
year = {2010},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XX\&a=1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BartocciCBMT10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BruniGL10,
author = {Roberto Bruni and
Fabio Gadducci and
Alberto Lluch{-}Lafuente},
title = {An Algebra of Hierarchical Graphs and its Application to Structural
Encoding},
journal = {Sci. Ann. Comput. Sci.},
volume = {20},
pages = {53--96},
year = {2010},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XX\&a=2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BruniGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/HansenR10,
author = {Helle Hvid Hansen and
Jan J. M. M. Rutten},
title = {Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions},
journal = {Sci. Ann. Comput. Sci.},
volume = {20},
pages = {97--130},
year = {2010},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XX\&a=3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/HansenR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/KlaudelKPP10,
author = {Hanna Klaudel and
Maciej Koutny and
Elisabeth Pelz and
Franck Pommereau},
title = {State Space Reduction for Dynamic Process Creation},
journal = {Sci. Ann. Comput. Sci.},
volume = {20},
pages = {131--157},
year = {2010},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XX\&a=4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/KlaudelKPP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraP09,
author = {Jan A. Bergstra and
Alban Ponse},
title = {An Instruction Sequence Semigroup with Involutive Anti-Automorphisms},
journal = {Sci. Ann. Comput. Sci.},
volume = {19},
pages = {57--92},
year = {2009},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIX\&a=2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/KoutnyP09,
author = {Maciej Koutny and
Marta Pietkiewicz{-}Koutny},
title = {Synthesis of Petri Nets with Localities},
journal = {Sci. Ann. Comput. Sci.},
volume = {19},
pages = {1--23},
year = {2009},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIX\&a=0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/KoutnyP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/SokolovaVW09,
author = {Ana Sokolova and
Erik P. de Vink and
Harald Woracek},
title = {Coalgebraic Weak Bisimulation for Action-Type Systems},
journal = {Sci. Ann. Comput. Sci.},
volume = {19},
pages = {93--144},
year = {2009},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIX\&a=3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/SokolovaVW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/VelinovKG09,
author = {Goran Velinov and
Margita Kon{-}Popovska and
Danilo Gligoroski},
title = {A Generalized Approach to Optimization of Relational Data Warehouses
Using Hybrid Greedy and Genetic Algorithms},
journal = {Sci. Ann. Comput. Sci.},
volume = {19},
pages = {25--55},
year = {2009},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIX\&a=1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/VelinovKG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/AnastasoaeiO08,
author = {Vasile Anastasoaei and
Elefterie Olaru},
title = {New Results on Minimal Strongly Imperfect Graphs},
journal = {Sci. Ann. Comput. Sci.},
volume = {18},
pages = {1--12},
year = {2008},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVIII\&a=0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/AnastasoaeiO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BeinDL08,
author = {Doina Bein and
Ajoy Kumar Datta and
Lawrence L. Larmore},
title = {Synchronization Algorithms on Oriented Chains},
journal = {Sci. Ann. Comput. Sci.},
volume = {18},
pages = {13--34},
year = {2008},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVIII\&a=1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BeinDL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraPZ08,
author = {Jan A. Bergstra and
Alban Ponse and
Mark van der Zwaag},
title = {Tuplix Calculus},
journal = {Sci. Ann. Comput. Sci.},
volume = {18},
pages = {35--61},
year = {2008},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVIII\&a=2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraPZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Dezani-CiancagliniGN08,
author = {Mariangiola Dezani{-}Ciancaglini and
Paola Giannini and
Oscar Nierstrasz},
title = {A Calculus of Evolving Objects},
journal = {Sci. Ann. Comput. Sci.},
volume = {18},
pages = {63--98},
year = {2008},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVIII\&a=3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Dezani-CiancagliniGN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/PinnaS08,
author = {G. Michele Pinna and
Andrea Saba},
title = {An Event Based Semantics of {P} Systems},
journal = {Sci. Ann. Comput. Sci.},
volume = {18},
pages = {99--127},
year = {2008},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVIII\&a=4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/PinnaS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/RewitzkyS08,
author = {Ingrid Rewitzky and
Jeff W. Sanders},
title = {Involutions on Relational Program Calculi},
journal = {Sci. Ann. Comput. Sci.},
volume = {18},
pages = {129--171},
year = {2008},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVIII\&a=5},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/RewitzkyS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BeinNW07,
author = {Wolfgang W. Bein and
John Noga and
Jeff Wiegley},
title = {Approximation for Batching via Priorities},
journal = {Sci. Ann. Comput. Sci.},
volume = {17},
pages = {1--18},
year = {2007},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVII\&a=0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BeinNW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM07,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Instruction Sequences with Indirect Jumps},
journal = {Sci. Ann. Comput. Sci.},
volume = {17},
pages = {19--46},
year = {2007},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVII\&a=1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM07a,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Programming an Interpreter Using Molecular Dynamics},
journal = {Sci. Ann. Comput. Sci.},
volume = {17},
pages = {47--81},
year = {2007},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVII\&a=2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BergstraM07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Frasinaru07,
author = {Cristian Frasinaru},
title = {Basic Techniques for Creating an Efficient {CSP} Solver},
journal = {Sci. Ann. Comput. Sci.},
volume = {17},
pages = {83--112},
year = {2007},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVII\&a=3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Frasinaru07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Vinh07,
author = {Phan Cong Vinh},
title = {Homomorphism between {AOMRC} and Hoare Model of Deterministic Reconfiguration
Processes in Reconfigurable Computing Systems},
journal = {Sci. Ann. Comput. Sci.},
volume = {17},
pages = {113--145},
year = {2007},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVII\&a=4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Vinh07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Birjoveanu06,
author = {Catalin V. B{\^{\i}}rjoveanu},
title = {Secrecy for Security Protocols},
journal = {Sci. Ann. Cuza Univ.},
volume = {16},
pages = {5--38},
year = {2006},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVI\&a=1},
timestamp = {Wed, 29 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Birjoveanu06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ciobanu06,
author = {Gabriel Ciobanu},
title = {New Editorial Team},
journal = {Sci. Ann. Cuza Univ.},
volume = {16},
pages = {3--4},
year = {2006},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVI\&a=0},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Ciobanu06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CosulschiS06,
author = {Mirel Cosulschi and
Mihaela Sterpu},
title = {Algorithms for Optimally Computing in-line Visibility and Their Applications},
journal = {Sci. Ann. Cuza Univ.},
volume = {16},
pages = {39--50},
year = {2006},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVI\&a=2},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/CosulschiS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Deaconu06,
author = {Adrian Marius Deaconu},
title = {A Cardinality Inverse Maximum Flow Problem},
journal = {Sci. Ann. Cuza Univ.},
volume = {16},
pages = {51--62},
year = {2006},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVI\&a=3},
timestamp = {Mon, 30 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Deaconu06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Iftene06,
author = {Sorin Iftene},
title = {Secret Sharing Schemes with Applications in Security Protocols},
journal = {Sci. Ann. Cuza Univ.},
volume = {16},
pages = {63--96},
year = {2006},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVI\&a=4},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Iftene06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/PinteaN06,
author = {Camelia{-}Mihaela Pintea and
Gabriel Negara},
title = {Solving Optimization Problems using an ACS-based Approach},
journal = {Sci. Ann. Cuza Univ.},
volume = {16},
pages = {97},
year = {2006},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XVI\&a=5},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/PinteaN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BrutA05,
author = {Mihaela Brut and
Stefan Andrei},
title = {Authoring and Retrieving Tool for Multimedia E-Learning Tutorials
using {XML} Techniques},
journal = {Sci. Ann. Cuza Univ.},
volume = {15},
pages = {153--160},
year = {2005},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XV\&a=11},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/BrutA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CiobanuM05,
author = {Gabriel Ciobanu and
Janardan Misra},
title = {Performance Analysis and Name Passing Errors in Probabilistic Fusion},
journal = {Sci. Ann. Cuza Univ.},
volume = {15},
pages = {57--76},
year = {2005},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XV\&a=5},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/CiobanuM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CroitoruGG05,
author = {Cornelius Croitoru and
Ovidiu Gheorghies and
Adriana Gheorghies},
title = {An Ordering-Based Genetic Approach to Graph Coloring},
journal = {Sci. Ann. Cuza Univ.},
volume = {15},
pages = {93--109},
year = {2005},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XV\&a=7},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/CroitoruGG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CroitoruN05,
author = {Cornelius Croitoru and
Gabriel Negara},
title = {Experience-based Ant Coloring {(EAC)} - {A} new ant-like graph-coloring
algoritm},
journal = {Sci. Ann. Cuza Univ.},
volume = {15},
pages = {110--123},
year = {2005},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XV\&a=8},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/CroitoruN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Felea05,
author = {Victor Felea},
title = {On Partial Pseudo-Stable Models For Logic Programs},
journal = {Sci. Ann. Cuza Univ.},
volume = {15},
pages = {124--136},
year = {2005},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XV\&a=9},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Felea05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/IfteneB05,
author = {Sorin Iftene and
Ioana Boureanu},
title = {Weighted Threshold Secret Sharing Based on the Chinese Remainder Theorem},
journal = {Sci. Ann. Cuza Univ.},
volume = {15},
pages = {161--172},
year = {2005},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XV\&a=12},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/IfteneB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/IgnatB05,
author = {Calin Ignat and
Emanoil Birsan},
title = {Preocupations for the Analysis of Water Distribution Systems},
journal = {Sci. Ann. Cuza Univ.},
volume = {15},
pages = {1--22},
year = {2005},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XV\&a=1},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/IgnatB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/JucanC05,
author = {Toader Jucan and
Cornelius Croitoru},
title = {Professor Calin Petru Ignat - Tribute in Honour of his 70th Birthday},
journal = {Sci. Ann. Cuza Univ.},
volume = {15},
year = {2005},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XV\&a=0},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/JucanC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Maruster05,
author = {Stefan Maruster},
title = {Quasi-nonexpansivity and the Convex Feasibility Problem},
journal = {Sci. Ann. Cuza Univ.},
volume = {15},
pages = {47--56},
year = {2005},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XV\&a=4},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Maruster05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Moldovan05,
author = {Grigor Moldovan},
title = {Binary Recursively Defined Objects},
journal = {Sci. Ann. Cuza Univ.},
volume = {15},
pages = {36--46},
year = {2005},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XV\&a=3},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Moldovan05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/PrisecaruJC05,
author = {Oana Otilia Prisecaru and
Toader Jucan and
Inga Camerzan},
title = {Time Interval Workflow Nets},
journal = {Sci. Ann. Cuza Univ.},
volume = {15},
pages = {77--92},
year = {2005},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XV\&a=6},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/PrisecaruJC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/SuterVA05,
author = {Florentina Suter and
Ion Vaduva and
Bogdan Alexe},
title = {On Simulation of Poisson Processes to be used for Analyzing a Bivariate
Scan Statistic},
journal = {Sci. Ann. Cuza Univ.},
volume = {15},
pages = {23--35},
year = {2005},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XV\&a=2},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/SuterVA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/UricaruC05,
author = {Raluca Uricaru and
Liviu Ciortuz},
title = {Genic Interaction Extraction from {MEDLINE} Abstracts - {A} Case Study},
journal = {Sci. Ann. Cuza Univ.},
volume = {15},
pages = {137--152},
year = {2005},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XV\&a=10},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/UricaruC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/AndreiCG04,
author = {Stefan Andrei and
Wei{-}Ngan Chin and
Gheorghe Grigoras},
title = {Co-determinism and unambiguity of automata accepting finite or infinite
words},
journal = {Sci. Ann. Cuza Univ.},
volume = {14},
pages = {1--11},
year = {2004},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIV\&a=0},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/AndreiCG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BertagnaC04,
author = {Francesca Bertagna and
Luminita Chiran},
title = {A Question Answering System for Italian Language},
journal = {Sci. Ann. Cuza Univ.},
volume = {14},
pages = {23--35},
year = {2004},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIV\&a=2},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/BertagnaC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ciortuz04,
author = {Liviu{-}Virgil Ciortuz},
title = {The Quick Check Pre-unification Filter for Typed Grammars: Further
Advances},
journal = {Sci. Ann. Cuza Univ.},
volume = {14},
pages = {36--50},
year = {2004},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIV\&a=3},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Ciortuz04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CroitoruFOT04,
author = {Cornelius Croitoru and
Cristian Frasinaru and
Elefterie Olaru and
Mihai Talmaciu},
title = {Hardly perfect graphs},
journal = {Sci. Ann. Cuza Univ.},
volume = {14},
pages = {12--22},
year = {2004},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIV\&a=1},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/CroitoruFOT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Deaconu04,
author = {Adrian Marius Deaconu},
title = {Iterative Algorithm for Construction of a Tree from its Pre-order
and Post-order Traversals in Linear Time and Space},
journal = {Sci. Ann. Cuza Univ.},
volume = {14},
pages = {69--80},
year = {2004},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIV\&a=5},
timestamp = {Mon, 30 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Deaconu04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Felea04,
author = {Victor Felea},
title = {Multi-Valued Stable Semantics for Logic Programs},
journal = {Sci. Ann. Cuza Univ.},
volume = {14},
pages = {81--90},
year = {2004},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIV\&a=6},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Felea04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/GrigorasL04,
author = {Gheorghe Grigoras and
Dorel Lucanu},
title = {On Hidden Algebra Semantics of Object Oriented Languages},
journal = {Sci. Ann. Cuza Univ.},
volume = {14},
pages = {51--68},
year = {2004},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIV\&a=4},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/GrigorasL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Vidrascu04,
author = {Cristian Vidrascu},
title = {Modelling and Verification with Jumping Petri Nets},
journal = {Sci. Ann. Cuza Univ.},
volume = {14},
pages = {91--99},
year = {2004},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIV\&a=7},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Vidrascu04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Brut03,
author = {Mihaela Brut},
title = {Using XQuery Language for Retrieving Multimedia Information},
journal = {Sci. Ann. Cuza Univ.},
volume = {13},
pages = {39--62},
year = {2003},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIII\&a=2},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Brut03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Buraga03,
author = {Sabin C. Buraga},
title = {{ITW} - An Architecture based on Distributed Web Components for Multimedia
Resource Discovery},
journal = {Sci. Ann. Cuza Univ.},
volume = {13},
pages = {63--78},
year = {2003},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIII\&a=3},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Buraga03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CaptarencuJ03,
author = {Oana Captarencu and
Toader Jucan},
title = {Interorganizational Workflows - an approach based on Level Petri Nets},
journal = {Sci. Ann. Cuza Univ.},
volume = {13},
pages = {17--38},
year = {2003},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIII\&a=1},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/CaptarencuJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ciortuz03,
author = {Liviu{-}Virgil Ciortuz},
title = {Inductive learning of attribute path values in typed-unification grammars},
journal = {Sci. Ann. Cuza Univ.},
volume = {13},
pages = {105--126},
year = {2003},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIII\&a=6},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Ciortuz03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Felea03,
author = {Victor Felea},
title = {On Well-Founded Models for Logic Programs},
journal = {Sci. Ann. Cuza Univ.},
volume = {13},
pages = {127--142},
year = {2003},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIII\&a=7},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Felea03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Goodwin03,
author = {Jeffrey R. Goodwin},
title = {Results on the Collatz Conjecture},
journal = {Sci. Ann. Cuza Univ.},
volume = {13},
pages = {1--16},
year = {2003},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIII\&a=0},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Goodwin03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Lucanu03,
author = {Dorel Lucanu},
title = {Initial Logic and Induction in Algebraic Specification},
journal = {Sci. Ann. Cuza Univ.},
volume = {13},
pages = {143},
year = {2003},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIII\&a=8},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Lucanu03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/MasalagiuA03,
author = {Cristian Masalagiu and
Vasile Alaiba},
title = {Concurrent Negotiation Protocol for an Elevator Group Controller},
journal = {Sci. Ann. Cuza Univ.},
volume = {13},
pages = {79--90},
year = {2003},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIII\&a=4},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/MasalagiuA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/VidrascuJ03,
author = {Cristian Vidrascu and
Toader Jucan},
title = {Concurrency-Degrees for {P/T} - Nets},
journal = {Sci. Ann. Cuza Univ.},
volume = {13},
pages = {91--104},
year = {2003},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIII\&a=5},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/VidrascuJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/AlboaieBA02,
author = {Sinica Alboaie and
Sabin C. Buraga and
Lenuta Alboaie},
title = {An XML-based Object-Oriented Infrastructure for Developing Software
Agents},
journal = {Sci. Ann. Cuza Univ.},
volume = {12},
pages = {109--134},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XII\&a=4},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/AlboaieBA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/AlboaieC02,
author = {Sinica Alboaie and
Gabriel Ciobanu},
title = {Designing and Developing Multi-Agent Systems},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {142--153},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=9},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/AlboaieC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/AmatonSS02,
author = {Laurent Amanton and
Bruno Sadeg and
Samia Saad{-}Bouzefrane},
title = {{RT-DIS-COM:} a Protocol to Manage Distributed Real-Time Transaction
Commit},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {337--348},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=25},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/AmatonSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/AndreiCG02,
author = {Stefan Andrei and
Wei{-}Ngan Chin and
Gheorghe Grigoras},
title = {A Tutorial on a Monadic Approach for Expressions Evaluation},
journal = {Sci. Ann. Cuza Univ.},
volume = {12},
pages = {1--27},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XII\&a=0},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/AndreiCG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CaronS02,
author = {Eddy Caron and
Fr{\'{e}}d{\'{e}}ric Suter},
title = {Parallel Extension of a Dynamic Performance Forecasting Tool},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {80--93},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=4},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/CaronS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/ChronopoulosPS02,
author = {Anthony T. Chronopoulos and
S. Ponipireddy and
Jagannathan Sarangapani},
title = {Constructing Energy-Efficient Broadcast Trees in Wireless Ad Hoc Networks},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {205--213},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=14},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/ChronopoulosPS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CostaR02,
author = {Georges Da Costa and
Olivier Richard},
title = {Impact of a Realistic Workload in Peer-to-Peer Systems. {A} Case Study:
Freenet},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {259--270},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=18},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/CostaR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/EneM02,
author = {Cristian Ene and
Traian Muntean},
title = {Testing Theories for Broadcasting Processes},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {214--230},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=15},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/EneM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/FioletT02,
author = {Val{\'{e}}rie Fiolet and
Bernard Toursel},
title = {Distributed Data Mining},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {349},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=26},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/FioletT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/GordonPG02,
author = {Minor Gordon and
Marcin Paprzycki and
Violetta Galant},
title = {Agent-Client Interaction in a Web-Based E-Commerce System},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {1--10},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=0},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/GordonPG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/GordonPG02a,
author = {Minor Gordon and
Marcin Paprzycki and
Violetta Galant},
title = {Agent-Client Interaction in a Web-based E-Commerce System},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {327--336},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=24},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/GordonPG02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Grigoras02,
author = {Dan Grigoras},
title = {Discovery of Resourses for Distributed Application Execution in Dynamic
Clusters},
journal = {Sci. Ann. Cuza Univ.},
volume = {12},
pages = {53--78},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XII\&a=2},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Grigoras02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/HarakalyPBG02,
author = {Robert Harakaly and
Pascale Primet and
Franck Bonnassieux and
Benjamin Gaidioz},
title = {Probes Coordination Protocol for Network Performance Measurement},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {278--286},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=20},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/HarakalyPBG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Hoschek02,
author = {Wolfgang Hoschek},
title = {A database for Dynamic Distributed Content and its Application},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {154--170},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=10},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Hoschek02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/JucanC02,
author = {Toader Jucan and
Oana Captarencu},
title = {Three Level Petri Nets Rule Based Reduction},
journal = {Sci. Ann. Cuza Univ.},
volume = {12},
pages = {29--52},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XII\&a=1},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/JucanC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Lucanu02,
author = {Dorel Lucanu},
title = {Initial Logic and Induction in Algebraic Specification},
journal = {Sci. Ann. Cuza Univ.},
volume = {12},
pages = {79--108},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XII\&a=3},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Lucanu02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/ManolacheCMGGR02,
author = {Florin Bogdan Manolache and
Sorin Costiner and
Ricardo Munoz and
Shubhro Ghosh and
Nikunj Gupta and
Roderick Ross},
title = {Parallel Processing Approaches for Multi Disciplinary Optimization},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {69--79},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=3},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/ManolacheCMGGR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Marian02,
author = {Nicolae Marian},
title = {A Process Algebra for Predictible Control Systems},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {231--245},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=16},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Marian02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/MarinescuJM02,
author = {Dan C. Marinescu and
Yongchang Ji and
Gabriela M. Marinescu},
title = {Cluster and Grid Computing for Solving Large Structural Biology Problems},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {11--45},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=1},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/MarinescuJM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/MelnykK02,
author = {Anatoliy O. Melnyk and
T. Korkishk},
title = {Development Methodology of Multichannel Symmetric Block},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {246--258},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=17},
timestamp = {Tue, 31 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/MelnykK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Michiailidis02,
author = {Panagiotis Michiailidis},
title = {Implementation of the Approximate String Matching Application on a
Cluster of Heterogeneous Workstations},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {193--204},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=13},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Michiailidis02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/MorrisonCP02,
author = {John P. Morrison and
Brian C. Clayton and
Adarsh Patil},
title = {Comparison of WebCom in the Context of Job Management Systems},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {318--326},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=23},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/MorrisonCP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/MorrisonH02,
author = {John P. Morrison and
Philip D. Healy},
title = {Implementing the WebCam 2 Distributed Computing Platform with {XML}},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {171--179},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=11},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/MorrisonH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Muntean02,
author = {Traian Muntean},
title = {Constructing Correct Communicating Systems},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {46--68},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=2},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Muntean02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/OsmanA02,
author = {A. Osman and
H. Ammar},
title = {Dynamic Load Balancing Strategies for Parallel Computers},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {110--120},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=6},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/OsmanA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Petcu02,
author = {Dana Petcu},
title = {On the Speedup of Parallel Iterative Numerical Methods},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {304--317},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=22},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Petcu02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/PowerM02,
author = {Keith J. Power and
John P. Morrison},
title = {Ad Hoc Metacomputing with Compeer},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {271--277},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=19},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/PowerM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/TabircaFT02,
author = {Tatiana Tabirca and
Len Freeman and
Sabin Tabirca},
title = {A Convergence Proof of {FGDLS} when the Workload is Monotous},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {132--141},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=8},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/TabircaFT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Tadonki02,
author = {Claude Tadonki},
title = {A Recursive Method for Graph Scheduling},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {121--131},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=7},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Tadonki02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/TrudujM02,
author = {Marek Tudruj and
Lukasz Masko},
title = {Communication on the Fly in a System of Dynamic {SMP} Clusters},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {287--303},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=21},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/TrudujM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/VidrascuJ02,
author = {Cristian Vidrascu and
Toader Jucan},
title = {Concurrency-Degrees for Jumping Petri-Nets},
journal = {Sci. Ann. Cuza Univ.},
volume = {12},
pages = {135--150},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XII\&a=5},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/VidrascuJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/WalendziukF02,
author = {Wojciech Walendziuk and
Jaroslaw Forenc},
title = {Decomposition of the Computation Area in the Parallel Implementation
of the {FDTD} Algorithm},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {180--192},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=12},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/WalendziukF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/WeynsTV02,
author = {Danny Weyns and
Eddy Truyen and
Pierre Verbaeten},
title = {Distributed Threads in Java},
journal = {Sci. Ann. Cuza Univ.},
volume = {11},
pages = {94--109},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XI\&a=5},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/WeynsTV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/AndreiGKM01,
author = {Stefan Andrei and
Gheorghe Grigoras and
Manfred Kudlek and
Cristian Masalagiu},
title = {On the Complexity of Propositional Calculus Formulae},
journal = {Sci. Ann. Cuza Univ.},
volume = {10},
pages = {27--44},
year = {2001},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=X\&a=3},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/AndreiGKM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BuragaB01,
author = {Sabin C. Buraga and
Mihaela Brut},
title = {A Proposal for a Web Structural Search Language Based on {XML} Technologies},
journal = {Sci. Ann. Cuza Univ.},
volume = {10},
pages = {79--116},
year = {2001},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=X\&a=6},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/BuragaB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CroitoruOT01,
author = {Cornelius Croitoru and
Elefterie Olaru and
Mihai Talmaciu},
title = {Visibility Properties and Forbiden Holes in Graphs},
journal = {Sci. Ann. Cuza Univ.},
volume = {10},
pages = {45--54},
year = {2001},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=X\&a=4},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/CroitoruOT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/PaunPR01,
author = {Andrei Paun and
Gheorghe Paun and
Alfonso Rodr{\'{\i}}guez{-}Pat{\'{o}}n},
title = {Further Remarks on {P} Systems with Symport Rules},
journal = {Sci. Ann. Cuza Univ.},
volume = {10},
pages = {3--18},
year = {2001},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=X\&a=1},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/PaunPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/RoventaS01,
author = {Eugene Roventa and
Tiberiu Spircu},
title = {Cluster Analysis in Fuzzy Rule Base Reduction},
journal = {Sci. Ann. Cuza Univ.},
volume = {10},
pages = {19--26},
year = {2001},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=X\&a=2},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/RoventaS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Vidrascu01,
author = {Cristian Vidrascu},
title = {Some Applications of the Minimal Coverability},
journal = {Sci. Ann. Cuza Univ.},
volume = {10},
pages = {55--78},
year = {2001},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=X\&a=5},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Vidrascu01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/X01,
title = {Professor Toader Jucan at Age 60},
journal = {Sci. Ann. Cuza Univ.},
volume = {10},
pages = {1--2},
year = {2001},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=X\&a=0},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/X01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Branzei00,
author = {Rodica Branzei},
title = {On the Computation of the Nucleous of Line-Graph Peer Group Games},
journal = {Sci. Ann. Cuza Univ.},
volume = {9},
pages = {79--92},
year = {2000},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=IX\&a=4},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Branzei00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Buraga00,
author = {Sabin C. Buraga},
title = {A {RDF} Description of Distributed File Systems},
journal = {Sci. Ann. Cuza Univ.},
volume = {9},
pages = {27--44},
year = {2000},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=IX\&a=1},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Buraga00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ignat00,
author = {Anca Ignat},
title = {Boundary Control Approximation of a 1-Dimensional Hyperbolic Equations},
journal = {Sci. Ann. Cuza Univ.},
volume = {9},
pages = {65--78},
year = {2000},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=IX\&a=3},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Ignat00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Oancea00,
author = {Adrian Oancea},
title = {Generalized Template Dependencies},
journal = {Sci. Ann. Cuza Univ.},
volume = {9},
pages = {93--112},
year = {2000},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=IX\&a=5},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Oancea00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Todirascu00,
author = {Amalia Todirascu},
title = {Ontologies for Information Retrieval},
journal = {Sci. Ann. Cuza Univ.},
volume = {9},
pages = {45--64},
year = {2000},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=IX\&a=2},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Todirascu00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/VidrascuJ00,
author = {Cristian Vidrascu and
Toader Jucan},
title = {On Coverability Structures for Jumping Petri Nets},
journal = {Sci. Ann. Cuza Univ.},
volume = {9},
pages = {1--26},
year = {2000},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=IX\&a=0},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/VidrascuJ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/AlexeA98,
author = {Gabriela Alexe and
Sorin Alexe},
title = {The Clique Structure of a Graph},
journal = {Sci. Ann. Cuza Univ.},
volume = {8},
pages = {1--16},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/AlexeA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Atanasiu98,
author = {Adrian Atanasiu},
title = {A Mathematical Model of Evolutionary Systems},
journal = {Sci. Ann. Cuza Univ.},
volume = {7},
pages = {43--54},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Atanasiu98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Branzei98,
author = {Rodica Branzei},
title = {Some Results on Three-Persons Games with a Weighted Combination of
Linear Entropic Criteria},
journal = {Sci. Ann. Cuza Univ.},
volume = {7},
pages = {55--68},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Branzei98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BrownF98,
author = {Morton B. Brown and
Camil Fuchs},
title = {Summary Measurements and Screening Procedures in Clinical Trials:
{A} Large Simulation Study},
journal = {Sci. Ann. Cuza Univ.},
volume = {8},
pages = {99--113},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/BrownF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Cicortas98,
author = {Alexandru Cicortas},
title = {Waiting Time and Delay in Modeling with Virtual Assembly Cells},
journal = {Sci. Ann. Cuza Univ.},
volume = {8},
pages = {27--35},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Cicortas98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CicortasS98,
author = {Alexandru Cicortas and
Daniela Maria Sirbu},
title = {Distributed Simulation of Products Assembly},
journal = {Sci. Ann. Cuza Univ.},
volume = {8},
pages = {17--26},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/CicortasS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CiobanuO98,
author = {Gabriel Ciobanu and
Emanuel Florentin Olariu},
title = {Interaction Structures for Communicating Processes},
journal = {Sci. Ann. Cuza Univ.},
volume = {8},
pages = {36--43},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/CiobanuO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CocanP98,
author = {Moise Cocan and
Virgil Proscanu},
title = {The special degree of a node in a graph},
journal = {Sci. Ann. Cuza Univ.},
volume = {8},
pages = {44--52},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/CocanP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Cotofrei98,
author = {Paul Cotofrei},
title = {Outlier Generating Model: a new approach using Genetic Algorithms},
journal = {Sci. Ann. Cuza Univ.},
volume = {8},
pages = {53--63},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Cotofrei98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Croitoru98,
author = {Cornelius Croitoru},
title = {A structural property of monsters},
journal = {Sci. Ann. Cuza Univ.},
volume = {8},
pages = {64--66},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Croitoru98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CroitoruF98,
author = {Cornelius Croitoru and
Cristian Frasinaru},
title = {Exploring Unknown Undirected Graphs},
journal = {Sci. Ann. Cuza Univ.},
volume = {8},
pages = {67--76},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/CroitoruF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ene98,
author = {Cristian Ene},
title = {On Complexity of Reachability of Transition Restricted Petri Nets},
journal = {Sci. Ann. Cuza Univ.},
volume = {7},
pages = {103--106},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Ene98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/ErnoA98,
author = {Scheiber Erno and
Cristina Antonescu},
title = {A Parallel Version of a Multistep Method to Solve the Initial Value
Problem},
journal = {Sci. Ann. Cuza Univ.},
volume = {8},
pages = {129--134},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/ErnoA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Felea98,
author = {Victor Felea},
title = {On the family of Conditional Generalized Dependencies},
journal = {Sci. Ann. Cuza Univ.},
volume = {8},
pages = {77--87},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Felea98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Fortis98,
author = {Florin Fortis},
title = {On fully bracketed languages with finite selection},
journal = {Sci. Ann. Cuza Univ.},
volume = {8},
pages = {88--98},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Fortis98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Georgescu98,
author = {Horia Georgescu},
title = {Generation of Combinatorial Elements using Oop},
journal = {Sci. Ann. Cuza Univ.},
volume = {7},
pages = {91--102},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Georgescu98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/KossovskiT98,
author = {Nikolai Kossovski and
Artem Tishkov},
title = {Specifications by quantifier-free theory of superlinear inequalities
and complexity of its decidability},
journal = {Sci. Ann. Cuza Univ.},
volume = {8},
pages = {114--120},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/KossovskiT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Olaru98,
author = {Elefterie Olaru},
title = {On strongly stable graphs and some consequences for partitionable
graphs},
journal = {Sci. Ann. Cuza Univ.},
volume = {8},
pages = {121--128},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Olaru98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Olaru98a,
author = {Elefterie Olaru},
title = {On Strongly Stable Graphs and Some Consequences for Partitionable
Graphs},
journal = {Sci. Ann. Cuza Univ.},
volume = {7},
pages = {33--42},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Olaru98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Preda98,
author = {Cristian Preda},
title = {Analyse Harmonique Qualitative des Processus Markoviens des Sauts
Stationnaires},
journal = {Sci. Ann. Cuza Univ.},
volume = {7},
pages = {5--18},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Preda98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Stanimirovic98,
author = {Predrag S. Stanimirovic},
title = {Interpreter-Based Approach to Generalized Matrix inversion},
journal = {Sci. Ann. Cuza Univ.},
volume = {7},
pages = {19--32},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Stanimirovic98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/TabircaCT98,
author = {Sabin Tabirca and
Eleonor Ciurea and
Tatiana Tabirca},
title = {The In-Out Rebalancing Flow Method for Maximum Flow Computation},
journal = {Sci. Ann. Cuza Univ.},
volume = {8},
pages = {135--145},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/TabircaCT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/TabircaTC98,
author = {Tatiana Tabirca and
Sabin Tabirca and
Eleonor Ciurea},
title = {The Reciprocal Theorems Concerning the Chromatic Polynomial},
journal = {Sci. Ann. Cuza Univ.},
volume = {8},
pages = {146--150},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/TabircaTC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/TipleaT98,
author = {Ferucio Laurentiu Tiplea and
Aurora Tiplea},
title = {On Normalization of Petri Nets},
journal = {Sci. Ann. Cuza Univ.},
volume = {8},
pages = {151--161},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/TipleaT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Todirascu98,
author = {Amalia Todirascu},
title = {On the Structure of the Romanian Relative Clauses},
journal = {Sci. Ann. Cuza Univ.},
volume = {7},
pages = {69--90},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Todirascu98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Trausan-MatuN98,
author = {Stefan Trausan{-}Matu and
Lorina Negreanu},
title = {Tricky Errors in {C} Programs and Their Detection by Knowledge-Based
Reverse Engineering},
journal = {Sci. Ann. Cuza Univ.},
volume = {8},
pages = {162--176},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Trausan-MatuN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Zaharie98,
author = {Daniela Zaharie},
title = {A class of adaptive recurrent neural networks and image enhacement},
journal = {Sci. Ann. Cuza Univ.},
volume = {8},
pages = {177--190},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Zaharie98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/AndreiK96,
author = {Stefan Andrei and
Manfred Kudlek},
title = {Morphological Grammars},
journal = {Sci. Ann. Cuza Univ.},
volume = {5},
pages = {85--114},
year = {1996},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/AndreiK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Branzei96,
author = {Rodica Branzei},
title = {A Dynamic Approach to the Three-Persons Cooperative Games},
journal = {Sci. Ann. Cuza Univ.},
volume = {5},
pages = {49--66},
year = {1996},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Branzei96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CazacuI96,
author = {Costica Cazacu and
Liliana Ibanescu},
title = {Semigroups of RN-algorithms},
journal = {Sci. Ann. Cuza Univ.},
volume = {5},
pages = {35--48},
year = {1996},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/CazacuI96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/LucanuS96,
author = {Dorel Lucanu and
Nicolae Surpatanu},
title = {On Refinement in Rewriting Logic},
journal = {Sci. Ann. Cuza Univ.},
volume = {5},
pages = {67--84},
year = {1996},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/LucanuS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Papp96,
author = {Cristian Papp},
title = {Disjunction as Alternative Choices},
journal = {Sci. Ann. Cuza Univ.},
volume = {5},
pages = {5--28},
year = {1996},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Papp96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Papp96a,
author = {Cristian Papp},
title = {RAA-Coherent Logics which are not RAA-Extended are Non-Monotonic},
journal = {Sci. Ann. Cuza Univ.},
volume = {5},
pages = {29--34},
year = {1996},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Papp96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Andrei95,
author = {Stefan Andrei},
title = {Finding keys in particular classes of functional dependencies},
journal = {Sci. Ann. Cuza Univ.},
volume = {4},
pages = {5--12},
year = {1995},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Andrei95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ciobanu95,
author = {Gabriel Ciobanu},
title = {Dataflow lambda-calculus},
journal = {Sci. Ann. Cuza Univ.},
volume = {4},
pages = {13--28},
year = {1995},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Ciobanu95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Kandasamy95,
author = {W. B. Vasantha Kandasamy},
title = {Complex Polynomial Near-Rings},
journal = {Sci. Ann. Cuza Univ.},
volume = {4},
pages = {29--32},
year = {1995},
timestamp = {Fri, 29 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Kandasamy95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Kandasamy95a,
author = {W. B. Vasantha Kandasamy},
title = {On Semigroup-Semisuperboolean Algebras},
journal = {Sci. Ann. Cuza Univ.},
volume = {4},
pages = {33--36},
year = {1995},
timestamp = {Fri, 29 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Kandasamy95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Papp95,
author = {Cristian Papp},
title = {A Minimal Model Computation of the Generalized Disjunctive Well-Founded
Semantics},
journal = {Sci. Ann. Cuza Univ.},
volume = {4},
pages = {37--64},
year = {1995},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Papp95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Rotaru95,
author = {Mihai Rotaru and
Gabriel Ciobanu},
title = {On the "rep" construction into pi-nets},
journal = {Sci. Ann. Cuza Univ.},
volume = {4},
pages = {73--84},
year = {1995},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Rotaru95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Tatar95,
author = {Doina T{\~{a}}tar},
title = {Buchberger Algorithm in Theorem Proving},
journal = {Sci. Ann. Cuza Univ.},
volume = {4},
pages = {85--92},
year = {1995},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Tatar95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Todirascu95,
author = {Amalia Todirascu},
title = {A Unification-Based Model for Speech Generation},
journal = {Sci. Ann. Cuza Univ.},
volume = {4},
pages = {93--104},
year = {1995},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Todirascu95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/UdristeUBP95,
author = {Constantin Udriste and
Aneta Udriste and
Vladimir Balan and
Mihai Postolache},
title = {Magnetic Dynamical Systems},
journal = {Sci. Ann. Cuza Univ.},
volume = {4},
pages = {105--126},
year = {1995},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/UdristeUBP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Xue95,
author = {Qingbo Xue},
title = {(C4, Lotus) - free Berge Graphs Are Perfect},
journal = {Sci. Ann. Cuza Univ.},
volume = {4},
pages = {65--72},
year = {1995},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Xue95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BeiuPVL94,
author = {Valeriu Beiu and
J. A. Peperstraete and
Joos Vandewalle and
Rudy Lauwereins},
title = {Closse Approximations of Sigmoid Functions by Sum of Step for {VLSI}
Implementation of Neural Networks},
journal = {Sci. Ann. Cuza Univ.},
volume = {3},
pages = {5--34},
year = {1994},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/BeiuPVL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Brudaru94,
author = {Octav Brudaru},
title = {Neural Networks for Topological Sorting},
journal = {Sci. Ann. Cuza Univ.},
volume = {3},
pages = {35--44},
year = {1994},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Brudaru94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CaludeT94,
author = {Cristian Calude and
Monica Tataram},
title = {Three Theories of Computational Complexity Extended Abstract},
journal = {Sci. Ann. Cuza Univ.},
volume = {3},
pages = {45--52},
year = {1994},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/CaludeT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Campeanu94,
author = {Cezar C{\^{a}}mpeanu},
title = {Random Numbers},
journal = {Sci. Ann. Cuza Univ.},
volume = {3},
pages = {53--64},
year = {1994},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Campeanu94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Lucanu94,
author = {Dorel Lucanu},
title = {Fixed-point Solutions for Ground Term Rewriting Systems},
journal = {Sci. Ann. Cuza Univ.},
volume = {3},
pages = {75--84},
year = {1994},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Lucanu94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Massouros94,
author = {G. G. Massouros},
title = {Hypercompositional Structures in the Theory of the Languages and Automata},
journal = {Sci. Ann. Cuza Univ.},
volume = {3},
pages = {65--74},
year = {1994},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Massouros94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Papp94,
author = {Cristian Papp},
title = {Unfould Transformations and Fixpoint Semantics for Disjunctive Deductive
Databases},
journal = {Sci. Ann. Cuza Univ.},
volume = {3},
pages = {85--106},
year = {1994},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Papp94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Zimand94,
author = {Marius Zimand},
title = {On the Topological Size of p-m-Complete Degrees},
journal = {Sci. Ann. Cuza Univ.},
volume = {3},
pages = {107--116},
year = {1994},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Zimand94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Asiminoaei93,
author = {Ioan Asiminoaei},
title = {Simulation Studies on Time Discrete Diffusion Approximation by the
Splitting Up Method},
journal = {Sci. Ann. Cuza Univ.},
volume = {2},
pages = {121},
year = {1993},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Asiminoaei93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/AtanasiuM93,
author = {Adrian Atanasiu and
Victor Mitrana},
title = {Parallel Substitution on Words and Languages},
journal = {Sci. Ann. Cuza Univ.},
volume = {2},
pages = {37--44},
year = {1993},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/AtanasiuM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ciortuz93,
author = {Liviu{-}Virgil Ciortuz},
title = {Logic Programming with Built-in Object-Orientation},
journal = {Sci. Ann. Cuza Univ.},
volume = {2},
pages = {73--92},
year = {1993},
timestamp = {Wed, 27 Jun 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Ciortuz93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CroitoruR93,
author = {Cornelius Croitoru and
Costel Radu},
title = {C-Perfect Graphs},
journal = {Sci. Ann. Cuza Univ.},
volume = {2},
pages = {61--72},
year = {1993},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/CroitoruR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/GruskaNP93,
author = {Jozef Gruska and
Margherita Napoli and
Domenico Parente},
title = {On the Minimization and Succintness of Systolic Binary Tree Automata},
journal = {Sci. Ann. Cuza Univ.},
volume = {2},
pages = {13--26},
year = {1993},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/GruskaNP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ignat93,
author = {Anca Ignat},
title = {Calcul symbolique pour l'obtention des solution exactes de l'Equation
de Ginzburg-Landau},
journal = {Sci. Ann. Cuza Univ.},
volume = {2},
pages = {109--120},
year = {1993},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Ignat93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/JucanMT93,
author = {Toader Jucan and
Cristian Masalagiu and
Ferucio Laurentiu Tiplea},
title = {Relation Based Controlled Petri Nets},
journal = {Sci. Ann. Cuza Univ.},
volume = {2},
pages = {27--36},
year = {1993},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/JucanMT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/KariMSP93,
author = {Lila Kari and
Alexandru Mateescu and
Arto Salomaa and
Gheorghe Paun},
title = {Gramars with Oracles},
journal = {Sci. Ann. Cuza Univ.},
volume = {2},
pages = {3--12},
year = {1993},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/KariMSP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Olaru93,
author = {Elefterie Olaru},
title = {On Strongly Perfect Graphs and the Structure of Critically-Imperfect
Graphs},
journal = {Sci. Ann. Cuza Univ.},
volume = {2},
pages = {45--60},
year = {1993},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Olaru93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Papp93,
author = {Cristian Papp},
title = {A Bottom-up Reconstruction of the Well-Founded Semantics for Disjunctive
Logic Programs},
journal = {Sci. Ann. Cuza Univ.},
volume = {2},
pages = {93--108},
year = {1993},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Papp93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Cazacu92,
author = {Costica Cazacu},
title = {On Foundations of the Effective Computability Theory},
journal = {Sci. Ann. Cuza Univ.},
volume = {1},
pages = {17--26},
year = {1992},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Cazacu92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Ciobanu92,
author = {Gabriel Ciobanu},
title = {A Model for a lambda-calculus Extended for Dataflow Computation},
journal = {Sci. Ann. Cuza Univ.},
volume = {1},
pages = {57--68},
year = {1992},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Ciobanu92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CroitoruR92,
author = {Cornelius Croitoru and
Costel Radu},
title = {Submodularity Relations for the Independence Function of a Graph},
journal = {Sci. Ann. Cuza Univ.},
volume = {1},
pages = {3--10},
year = {1992},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/CroitoruR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/CroitoruR92a,
author = {Cornelius Croitoru and
Costel Radu},
title = {Colourings and Orderings in a Graph},
journal = {Sci. Ann. Cuza Univ.},
volume = {1},
pages = {11--16},
year = {1992},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/CroitoruR92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Felea92,
author = {Victor Felea},
title = {Armstrong-like Relations for Functional Partition Dependencies},
journal = {Sci. Ann. Cuza Univ.},
volume = {1},
pages = {69--76},
year = {1992},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Felea92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/LuchianS92,
author = {Henri Luchian and
Daniel Stamate},
title = {A User-Oriented Approach for the Protection of Statistical Databases},
journal = {Sci. Ann. Cuza Univ.},
volume = {1},
pages = {41--56},
year = {1992},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/LuchianS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Panaite92,
author = {Petrisor Panaite},
title = {On Some Rado's Type Functions},
journal = {Sci. Ann. Cuza Univ.},
volume = {1},
pages = {27--40},
year = {1992},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Panaite92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Tiplea92,
author = {Ferucio Laurentiu Tiplea},
title = {Corrections to "Reversible and Strict Reversible P/T-Systems"},
journal = {Sci. Ann. Cuza Univ.},
volume = {1},
pages = {77--80},
year = {1992},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Tiplea92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-11 23:42 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
