Publications 2000

Year 2000

• (co-author S. Ambroszkiewicz and T. Nowak) Towards Formal Specification and Verification in Cyberspace. In Proc. The first Goddard Workshop on Formal Approaches to Agent-Based Systems, LNAI 1871, pp. 16 - 32, 2001. PS.gz file - goddard00.ps.gz

• (co-author S. Ambroszkiewicz and K. Cetnarowicz) Modeling Agent Organizations. In Proc. Advances in soft computing, Bystra, Poland, June 12-16, 2000

• Temporal Approach to Causal Knowledge, International Journal of the IGPL, Vol. 8(1), pp. 87--99, 2000. PS.gz file - igpl00.ps.gz

• (co-author M. Szreter, R. Gerth, and R. Kuiper)) Improving Partial Order Reductions for Universal Branching Time Properties, Fundamenta Informaticae 43, 2000. PS.gz file - FI00.ps.gz

• (co-author M. Szreter) More than one, less than all: Linear to Branching revisited, Proc. of CS\&P, Berlin, 2000.

• (co-author M. Szreter) Automatyczna weryfikacja systemow czasu rzeczywistego, Proc. of SCR, Krak/ow, 2000. PS.gz file - scr00.ps.gz