Bożena Woźna

Available identifiers

zbMath Open wozna.bozenaMaRDI QIDQ1028969

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2848072	2013-09-25	Paper
Towards Bounded Model Checking for the Universal Fragment of TCTL	2011-04-08	Paper
https://portal.mardi4nfdi.de/entity/Q3569852	2010-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q5192941	2009-08-10	Paper
Bounded model checking for knowledge and real time	2009-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q5506377	2009-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q5506391	2009-01-28	Paper
A Complete and Decidable Axiomatisation for Deontic Interpreted Systems	2008-10-09	Paper
Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation	2007-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q5422273	2007-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q5422291	2007-10-17	Paper
Formal Modeling and Analysis of Timed Systems	2006-01-10	Paper
Computational Logic in Multi-Agent Systems	2005-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4654277	2005-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4461759	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4417931	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q3146278	2002-10-21	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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