Bożena Woźna-Szcześniak

Author

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

Publications

749

Citations

H-Index

Concepts

All Affiliations

Institute of Computer Science Jan Długosz University Institute of Mathematics University College London Imperial College London

About

Bożena Woźna-Szcześniak is an author at Institute of Computer Science specializing in formal methods, automated reasoning, and engineering.

Top Concepts

#	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

Publications

489

Citations

H-Index

Page 1

	Year	Citations
Bounded Model Checking for the Universal Fragment of CTL Wojciech Penczek, Bożena Woźna-Szcześniak, Andrzej Zbrzezny Bounded Model CheckingEngineeringAutomated ReasoningUniversal FragmentVerification	2002	102
VerICS 2007 - a Model Checker for Knowledge and Real-Time Magdalena Kacprzak, Wojciech Nabiałek, Artur Niewiadomski, Fundamenta Informaticae Verics 2007EngineeringVerificationComputer-aided VerificationSoftware Engineering	2008	88
Bounded model checking for knowledge and real time Alessio Lomuscio, Wojciech Penczek, Bożena Woźna-Szcześniak Artificial Intelligence EngineeringAutomated ReasoningVerificationFormal MethodsComputer-aided Verification	2007	51
Checking Reachability Properties for Timed Automata via SAT Bożena Woźna-Szcześniak, Andrzej Zbrzezny, Wojciech Penczek Logical AutomatonBounded Model CheckingEngineeringReachability ProblemAutomated Reasoning	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
Bounded Model Checking for Deontic Interpreted Systems Bożena Woźna-Szcześniak, Alessio Lomuscio, Wojciech Penczek Electronic Notes in Theoretical Computer Science Formal SpecificationBounded Model CheckingEngineeringFormal ModelingAutomated Reasoning	2005	28
Verics: A Tool for Verifying Timed Automata and Estelle Specifications Piotr Dembiński, Agata Janowska, Paweł Janowski,	2003	25
ACTLS properties and Bounded Model Checking Bożena Woźna-Szcześniak Fundamenta Informaticae Bounded Model CheckingEngineeringFormal ModelingAutomated ReasoningUniversal Fragment	2004	25
Bounded model checking for knowledge and real time Bożena Woźna-Szcześniak, Alessio Lomuscio, Wojciech Penczek EngineeringFormal ModelingPresent TectlkAutomated ReasoningMulti-agent Systems	2005	24
A complete and decidable security-specialised logic and its application to the TESLA protocol Alessio Lomuscio, Bożena Woźna-Szcześniak Cryptographic PrimitiveEngineeringInformation SecurityVerificationCryptographic Technology	2006	23

Page 1