researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Fundamenta Informaticae
Home
Index
Info
Volume
Volume
152
, Issue
4
323
--
339
Eryk Kopczynski
.
Computational Complexity on the Blackboard
341
--
372
Roussanka Loukanova
.
An Approach to Functional Formal Models of Constraint-Based Lexicalized Grammar
373
--
396
Xindong Peng
,
Jingguo Dai
,
Huiyong Yuan
.
Interval-valued Fuzzy Soft Decision Making Methods Based on MABAC, Similarity Measure and EDAS
397
--
409
Jirí Síma
,
Stanislav Zák
.
On Tight Separation for Blum Measures Applied to Turing Machine Buffer Complexity
411
--
433
Bozena Wozna-Szczesniak
,
Agnieszka M. Zbrzezny
,
Andrzej Zbrzezny
.
SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata
Volume
152
, Issue
3
223
--
271
Warda El Kholy
,
Jamal Bentahar
,
Mohamed El-Menshawy
,
Hongyang Qu
,
Rachida Dssouli
.
SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication
273
--
287
Magdalena 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
--
295
Jacek Pomykala
.
On Deterministic Reduction of Factoring Integers to Computing the Exponents of Elements in Modular Group
297
--
321
Yong Yang
,
Xindong Peng
.
A Revised TOPSIS Method Based on Interval Fuzzy Soft Set Models with Incomplete Weight Information
Volume
152
, Issue
2
107
--
122
Nazan Çakmak Polat
,
Gözde Yaylali
,
Bekir Tanay
.
Tolerance Soft Set Relation on a Soft Set and its Matrix Applications
123
--
144
Sajin Koroth
,
Jayalal Sarma
.
Depth Lower Bounds against Circuits with Sparse Orientation
145
--
166
Mina Mirhosseini
,
Hossein Nezamabadi-pour
.
n-Similarity Problem
167
--
183
Dwaraganathan Umadevi
.
Characterizing Rough Algebras
185
--
222
Katarzyna Zajac
.
Numeric Algorithms for Corank Two Edge-bipartite Graphs and their Mesh Geometries of Roots
Volume
152
, Issue
1
1
--
12
Nilanjana G. Basu
,
Subhashis Majumder
,
Wing-Kai Hon
.
d
13
--
31
Snehashish Chakraverty
,
Milan Hladík
,
Nisha Rani Mahato
.
A Sign Function Approach to Solve Algebraically Interval System of Linear Equations for Nonnegative Solutions
33
--
50
Behrouz Kheirfam
.
A Predictor-corrector Infeasible-interior-point Algorithm for Semidefinite Optimization in a Wide Neighborhood
51
--
86
Alexander Meduna
,
Ondrej Soukup
.
Jumping Scattered Context Grammars
87
--
105
Kilho Shin
.
On Infinite Divisibility of Convolution and Mapping Kernels