default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 179
Volume 179, Number 1, 2021
- Toufik Benouhiba
:
A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models. 1-33 - Sirine Marrakchi, Mohamed Jemni:
Static Scheduling with Load Balancing for Solving Triangular Band Linear Systems on Multicore Processors. 35-58 - Josef Slapal:
Digital Jordan Curves and Surfaces with Respect to a Closure Operator. 59-74 - Yu-Ru Syau, Churn-Jung Liau, En-Bing Lin:
On Variable Precision Generalized Rough Sets and Incomplete Decision Tables. 75-92
Volume 179, Number 2, 2021
- Holger Schlingloff, Wojciech Penczek:
Preface. - Ludwik Czaja:
Extensions of Elementary Cause-Effect Structures. 93-111 - Samira Akili, Matthias Weidlich:
Reasoning on the Efficiency of Distributed Complex Event Processing. 113-134 - Sinem Getir Yaman, Esteban Pavese, Lars Grunske:
Quantitative Verification of Stochastic Regular Expressions. 135-163 - Adam Grabowski:
Automated Comparative Study of Some Generalized Rough Approximations. 165-182 - Piotr Artiemjew, Krzysztof Ropiak:
A Novel Ensemble Model - The Random Granular Reflections. 183-203 - Roberto Barbuti, Pasquale Bove, Roberta Gori, Damas P. Gruska, Francesca Levi, Paolo Milazzo:
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks. 205-225
Volume 179, Number 3, 2021
- Przemyslaw Koprowski:
Computing Singular Elements Modulo Squares. 227-238 - Zhe Lin, Mihir Kumar Chakraborty, Minghui Ma:
Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability. 239-274 - Gabriela Martín Torres:
On Rough Approximations of Languages under Infinite Index Indiscernibility Relations. 275-293 - Longchun Wang, Lankun Guo, Qingguo Li:
Continuous Domains in Formal Concept Analysis. 295-319
Volume 179, Number 4, 2021
- Jan A. Bergstra, Cornelis A. Middelburg:
Using Hoare Logic in a Process Algebra Setting. 321-344 - Hossein Boomari, Mojtaba Ostovari, Alireza Zarei:
Recognizing Visibility Graphs of Triangulated Irregular Networks. 345-360 - Zbynek Krivka, Alexander Meduna:
Scattered Context Grammars with One Non-Context-Free Production are Computationally Complete. 361-384 - Wen Chean Teh, Adrian Atanasiu, Denis Chee-Keong Wong:
Freeness Problem for Matrix Semigroups of Parikh Matrices. 385-397 - Zhaohao Wang:
A New Description of Transversal Matroids Through Rough Set Approach. 399-416
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.
last updated on 2024-11-11 21:30 CET 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:
