Journal: Fundamenta Informaticae

Volume 152, Issue 4

323 -- 339Eryk Kopczynski. Computational Complexity on the Blackboard
341 -- 372Roussanka Loukanova. An Approach to Functional Formal Models of Constraint-Based Lexicalized Grammar
373 -- 396Xindong Peng, Jingguo Dai, Huiyong Yuan. Interval-valued Fuzzy Soft Decision Making Methods Based on MABAC, Similarity Measure and EDAS
397 -- 409Jirí Síma, Stanislav Zák. On Tight Separation for Blum Measures Applied to Turing Machine Buffer Complexity
411 -- 433Bozena Wozna-Szczesniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny. SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata

Volume 152, Issue 3

223 -- 271Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli. SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication
273 -- 287Magdalena Lemanska, Juan Alberto Rodríguez-Velázquez, Rolando Trujillo-Rasua. Similarities and Differences Between the Vertex Cover Number and the Weakly Connected Domination Number of a Graph
289 -- 295Jacek Pomykala. On Deterministic Reduction of Factoring Integers to Computing the Exponents of Elements in Modular Group
297 -- 321Yong Yang, Xindong Peng. A Revised TOPSIS Method Based on Interval Fuzzy Soft Set Models with Incomplete Weight Information

Volume 152, Issue 2

107 -- 122Nazan Çakmak Polat, Gözde Yaylali, Bekir Tanay. Tolerance Soft Set Relation on a Soft Set and its Matrix Applications
123 -- 144Sajin Koroth, Jayalal Sarma. Depth Lower Bounds against Circuits with Sparse Orientation
145 -- 166Mina Mirhosseini, Hossein Nezamabadi-pour. n-Similarity Problem
167 -- 183Dwaraganathan Umadevi. Characterizing Rough Algebras
185 -- 222Katarzyna Zajac. Numeric Algorithms for Corank Two Edge-bipartite Graphs and their Mesh Geometries of Roots

Volume 152, Issue 1

1 -- 12Nilanjana G. Basu, Subhashis Majumder, Wing-Kai Hon. d
13 -- 31Snehashish Chakraverty, Milan Hladík, Nisha Rani Mahato. A Sign Function Approach to Solve Algebraically Interval System of Linear Equations for Nonnegative Solutions
33 -- 50Behrouz Kheirfam. A Predictor-corrector Infeasible-interior-point Algorithm for Semidefinite Optimization in a Wide Neighborhood
51 -- 86Alexander Meduna, Ondrej Soukup. Jumping Scattered Context Grammars
87 -- 105Kilho Shin. On Infinite Divisibility of Convolution and Mapping Kernels