Bożena Woźna

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Bounded model checking for deontic interpreted systems	2013-09-25	Paper
Towards Bounded Model Checking for the Universal Fragment of TCTL Lecture Notes in Computer Science	2011-04-08	Paper
A SAT-based technique to analyse networks of finite automata	2010-06-22	Paper
A translator of Java programs to TADDs	2009-08-10	Paper
Bounded model checking for knowledge and real time Artificial Intelligence	2009-07-09	Paper
scientific article; zbMATH DE number 5499373 (Why is no real title available?)	2009-01-28	Paper
VERICS 2007 -- a model checker for knowledgee and real-time	2009-01-28	Paper
A Complete and Decidable Axiomatisation for Deontic Interpreted Systems Deontic Logic and Artificial Normative Systems	2008-10-09	Paper
Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation Model Checking and Artificial Intelligence	2007-11-01	Paper
Verification of the TESLA protocol in MCMAS-X	2007-10-17	Paper
Bounded model checking for the existential fragment of \(\mathrm{TCTL}_{-G}\) and diagonal timed automata	2007-10-17	Paper
Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science	2006-01-10	Paper
Computational Logic in Multi-Agent Systems Lecture Notes in Computer Science	2005-11-23	Paper
scientific article; zbMATH DE number 2140441 (Why is no real title available?)	2005-03-03	Paper
scientific article; zbMATH DE number 2064232 (Why is no real title available?)	2004-05-18	Paper
scientific article; zbMATH DE number 1956587 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1799521 (Why is no real title available?)	2002-10-21	Paper

Research outcomes over time

This page was built for person: Bożena Woźna