×
Edit Profile (opens in new tab)

Wasilewska, Anita

Co-Author Distance
Author ID: wasilewska.anita Recent zbMATH articles by "Wasilewska, Anita"
Published as: Wasilewska, Anita
External Links: MGP
Documents Indexed: 30 Publications since 1971, including 1 Book
1 Contribution as Editor
Co-Authors: 9 Co-Authors with 9 Joint Publications
122 Co-Co-Authors
all top 5

Co-Authors

21 single-authored
4 Hadjimichael, Michael
3 Menasalvas, Ernestina
1 Bartocci, Ezio
1 Corradini, Flavio
1 Entcheva, Emilia
1 Fernandez, Covadonga
1 Grosu, Radu
1 Hsiang, Jieh
1 Liau, Churn-Jung
1 Lin, Tsau Young
1 Martínez Sarrías, Juan Francisco
1 Smolka, Scott A.
1 Vigneron, Laurent
1 Xie, Ying
all top 5

Serials

8 Studia Logica
5 Annales Societatis Mathematicae Polonae. Series IV
3 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
2 Bulletin of the Polish Academy of Sciences. Technical Sciences
2 Bulletin of the Polish Academy of Sciences, Mathematics
1 International Journal of Man-Machine Studies
1 Prace, Centrum obliczeniowe (CO), Polska Akademia Nauk (PAN)
1 Studies in Computational Intelligence

Fields

26 Computer science (68-XX)
18 Mathematical logic and foundations (03-XX)
2 General and overarching topics; collections (00-XX)
1 History and biography (01-XX)
1 Biology and other natural sciences (92-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

14 Publications have been cited 43 times in 36 Documents Cited by ▼ Year ▼
Topological rough algebras. Zbl 0860.03042
Wasilewska, Anita
13
1997
Conditional knowledge representation systems \(\relbar\) model for an implementation. Zbl 0753.68088
Wasilewska, Anita
9
1989
Learning and detecting emergent behavior in networks of cardiac myocytes. Zbl 1144.92313
Grosu, R.; Bartocci, E.; Corradini, F.; Entcheva, E.; Smolka, S. A.; Wasilewska, A.
8
2008
On the Gentzen type formalizations. Zbl 0471.03021
Wasilewska, Anita
4
1980
A sequence formalization for SCI. Zbl 0346.02006
Wasilewska, Anita
4
1976
Rough algebras and automated deduction. Zbl 0926.03081
Wasilewska, Anita; Vigneron, Laurent
3
1998
A formalization of the modal propositional S4 calculus. Zbl 0286.02027
Wasilewska, Anita
2
1971
DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations. Zbl 0587.03006
Wasilewska, Anita
2
1984
The diagrams of formulas of the modal propositional S4 calculus. Zbl 0279.02011
Wasilewska, Anita
1
1972
Data mining: Foundations and practice. Selected papers based on the presentations at the workshop on the foundation of data mining during IEEE ICDM 2004 and the IEEE ICDM 2005 workshop on the foundation of semantic oriented data and web mining. Zbl 1142.68008
1
2008
A constructive proof of Craig’s interpolation lemma for m-valued logic. Zbl 0442.03023
Wasilewska, Anita
1
1979
Syntactic decision procedures in information systems. Zbl 0672.68046
Wasilewska, Anita
1
1989
Some remarks on theorem proving systems and Mazurkiewicz algorithms associated with them. Zbl 0589.03003
Wasilewska, Anita
1
1985
A classification model: Syntax and semantics for classification. Zbl 1155.68498
Wasilewska, Anita; Menasalvas, Ernestina
1
2005
Learning and detecting emergent behavior in networks of cardiac myocytes. Zbl 1144.92313
Grosu, R.; Bartocci, E.; Corradini, F.; Entcheva, E.; Smolka, S. A.; Wasilewska, A.
8
2008
Data mining: Foundations and practice. Selected papers based on the presentations at the workshop on the foundation of data mining during IEEE ICDM 2004 and the IEEE ICDM 2005 workshop on the foundation of semantic oriented data and web mining. Zbl 1142.68008
1
2008
A classification model: Syntax and semantics for classification. Zbl 1155.68498
Wasilewska, Anita; Menasalvas, Ernestina
1
2005
Rough algebras and automated deduction. Zbl 0926.03081
Wasilewska, Anita; Vigneron, Laurent
3
1998
Topological rough algebras. Zbl 0860.03042
Wasilewska, Anita
13
1997
Conditional knowledge representation systems \(\relbar\) model for an implementation. Zbl 0753.68088
Wasilewska, Anita
9
1989
Syntactic decision procedures in information systems. Zbl 0672.68046
Wasilewska, Anita
1
1989
Some remarks on theorem proving systems and Mazurkiewicz algorithms associated with them. Zbl 0589.03003
Wasilewska, Anita
1
1985
DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations. Zbl 0587.03006
Wasilewska, Anita
2
1984
On the Gentzen type formalizations. Zbl 0471.03021
Wasilewska, Anita
4
1980
A constructive proof of Craig’s interpolation lemma for m-valued logic. Zbl 0442.03023
Wasilewska, Anita
1
1979
A sequence formalization for SCI. Zbl 0346.02006
Wasilewska, Anita
4
1976
The diagrams of formulas of the modal propositional S4 calculus. Zbl 0279.02011
Wasilewska, Anita
1
1972
A formalization of the modal propositional S4 calculus. Zbl 0286.02027
Wasilewska, Anita
2
1971
all cited Publications top 5 cited Publications
all top 5

Cited by 46 Authors

5 Wasilewska, Anita
5 Zhang, Wenxiu
4 Yao, Yiyu
3 Wu, Weizhi
2 Chen, Degang
2 Hu, Qinghua
2 Mi, Jusheng
2 Wang, Changzhong
2 Zhu, William
1 Bartocci, Ezio
1 Bavafaye Haghighi, Elham
1 Chlebowski, Szymon
1 Corradini, Flavio
1 Dai, Jianhua
1 Elbarbary, O. G.
1 Entcheva, Emilia
1 Golińska-Pilarek, Joanna
1 Grosu, Radu
1 He, Qiang
1 Huuskonen, Taneli
1 Li, Fei
1 Liang, Miao
1 Liu, Guilong
1 Mordeson, John N.
1 Palm, Günther
1 Pawlak, Zdzisław
1 Salama, Ahmed S.
1 She, Kun
1 Singh, Pankaj Kumar
1 Skowron, Andrzej
1 Smolka, Scott A.
1 Takano, Mitio
1 Tang, Jianguo
1 Tiwari, Surabhi
1 Tripathy, Bala Krushna
1 Wang, Dongqiang
1 Wang, Feiyue
1 Xu, Weihua
1 Yao, Bingxue
1 Yazdanpanah, Mohammad Javad
1 Yin, Yunqiang
1 Yu, Hong
1 Yu, Zuoming
1 Zawidzki, Michał
1 Zhang, Xiaohong
1 Ziarko, Wojciech P.
all top 5

Cited in 10 Serials

16 Information Sciences
6 Studia Logica
2 Fuzzy Sets and Systems
2 The Journal of Symbolic Logic
2 Journal of the Egyptian Mathematical Society
1 Journal of Computer and System Sciences
1 Kodai Mathematical Journal
1 Neural Networks
1 Journal of Applied Mathematics
1 Hacettepe Journal of Mathematics and Statistics
all top 5

Cited in 9 Fields

22 Computer science (68-XX)
21 Mathematical logic and foundations (03-XX)
3 General topology (54-XX)
1 Combinatorics (05-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Commutative algebra (13-XX)
1 Ordinary differential equations (34-XX)
1 Biology and other natural sciences (92-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year