Author
Bożena Woźna-Szcześniak
Also Known As
B. Woźna-Szcześniak, Bozena Wozna, Bozena Wozna-Szczesniak, Bozena Woźna, Bożena Woźna, Bożena Woźna-Szcześniak, Wozna, B, Woźna-Szcześniak, Bożena
83
Publications
749
Citations
13
H-Index
31
Concepts
All Affiliations
| # | Concept | H-Index | Publications | Citations |
|---|---|---|---|---|
1 | Engineering | 10 | 11 | 441 |
2 | Computer Science | 10 | 11 | 441 |
3 | Computer Engineering | 4 | 4 | 146 |
4 | Business | 1 | 1 | 88 |
5 | Data Science | 1 | 1 | 88 |
Bożena Woźna-Szcześniak
×
14
Publications
489
Citations
11
H-Index
| Year | Citations | |
|---|---|---|
2002 | 102 | |
2008 | 88 | |
2007 | 51 | |
2002 | 42 | |
BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance Artur Męski, Wojciech Penczek, Maciej Szreter, Autonomous Agents and Multi-Agent Systems EngineeringFormal ModelingAutomated ReasoningPropositional LogicVerification | 2013 | 37 |
2005 | 28 | |
2003 | 25 | |
2004 | 25 | |
2005 | 24 | |
2006 | 23 |
Page 1
Page 1