Publications 1992 - 1999

Years 1992 - 1999

• (co-author R. Kuiper and U. Goltz) Propositional temporal logics and equivalences, Proc. of International Conference on Concurrency Theory, LNCS 630, pp. 222-236, 1992. PS.gz file - concur92.ps.gz

• On temporal logics for trace systems, Proc. of ASMICS Workshop, Bericht 4-92, Universitat Stuttgart, pp. 158-204, 1992.

• On undecidability of propositional temporal logics on trace systems, Information Processing Letters 43, pp. 147-153, 1992. PS.gz file - ipl92.ps.gz

• Temporal Logics for Trace Systems: On automated verification, International Journal of Foundations of Computer Science, Vol. 4 No. 1, pp. 31-67, 1993. PS.gz file - ijfcs93.ps.gz

• Axiomatizations of Temporal Logics on Trace Systems, Proc. of Symposium on Theoretical Aspects of Computer Science, LNCS 665, pp. 452 - 462, 1993. PS.gz file - stacs93.ps.gz

• (co-author R. Kuiper) Verification by hand using linear time temporal logic, a book chapter of "Logic: Mathematics, Language, Computer science and Philosophy", Vol. II, Edit. H.S. de Swart, Publ. Peter Lang GMbh, pp. 229--252, 1994.

• (co-author R. Kuiper) Automated verification using branching time temporal logic, a book chapter of "Logic: Mathematics, Language, Computer science and Philosophy", Vol. II, Edit. H.S. de Swart, Publ. Peter Lang GMbh, pp. 252--262, 1994.

• (co-author M. Kwiatkowska i D. Peled) A Hierarchy of Partial Order Temporal Properties, Proceedings of the 1st International Conference on Temporal Logic, Bonn, Germany, Springer-Verlag, LNAI 827, pp. 398--414, 1994. PS.gz file - ictl94.ps.gz

• (co-author R. Gerth, R. Kuiper, and D. Peled) A Partial Order Approach to Branching Time Logic Model Checking, Proceedings of the Israeli Conference on Theoretical Computer Science, IEEE Computer Society Press, pp. 130-139, 1995. PS.gz file - istcs95.ps.gz

• (co-author P. Niebert) On the connection of partial order logics and partial order reductions, Raport TUE 95-15, Eindhoven University, 1995. PS.gz file - TUE95-15.ps.gz

• Branching time and partial order in temporal logics, a book chapter of "Time and Logic: A Computational Approach". (L. Bolc, A. Szalas, eds.), UCL Press Ltd. London 1995. PS.gz file - chapter95.ps.gz

• (co-author Kuiper, R.): "Traces and Logic", TUE Computing Science Report 94-52, a book chapter of "The Book of Traces", ed. V. Diekert, G. Rozenberg, World Scientific Publishing in Singapore, 1995. PS.gz file - habilitation95.ps.gz

• (co-author R. Alur i D. Peled) Model-Checking of Causality Properties, Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, USA, pp. 100--110, 1995. PS.gz file - lics95.ps.gz

• (co-author D. Peled) Using Asynchronous Buchi Automata for Efficient Automatic Verification of Concurrent Systems, Proceedings of the 15th IFIP WG 6.1 Symposium on Protocol Specification, Testing and Verification, Warsaw, eds. P. Dembinski, M. /Sredniawa, pp. 115--130, Chapman & Hall, 1996 PS.gz file - pstv96.ps.gz

• Proceedings of MFCS'96 (editor), LNCS 1113, pp. 592, 1996.

• Axiomatizations of Temporal Logics on Trace Systems, Fundamenta Informaticae 25, pp. 183--200, 1996. PS.gz file - FI96.ps.gz

• (co-author Srebrny, M.) First-order temporal logic over trace systems, Proceedings of POMIV'96, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Volume 29, pp. 79--97, 1997. PS.gz file - POMIV96.ps.gz

• Model checking for a Fragment of Event Structures, Proceedings of TACAS'97, LNCS 1217, pp. 146--164, 1997. PS.gz file - tacas97.ps.gz

• Special Isuue of TCS 195 (editor), pp. 80, 1998.

• (co-authors R. Gerth i R. Kuiper) Partial Order Reductions Preserving Simulations, IPI PAN Raport 843, 1997. PS.gz file - IPI843-97.ps.gz

• (co-author S. Ambroszkiewicz) Modeling rational BDI-agents within the framework of asynchronous automata, Proc. of CS&P'97, pp. 1--19, IPI PAN Report 832, 1997. PS.gz file - CSP97.ps.gz

• (co-author S. Ambroszkiewicz, O. Matyja) Team formation in a distributed environment: the idea and algorithms, < IPI PAN, Report 855, 1998. PS.gz file - IPI855.ps.gz

• Temporal logic of causal knowledge, Proc. of WoLLIC'98, pp. 178 - 187, Sau Paulo, 1998. PS.gz file - wollic98.ps.gz

• (co-author S. Ambroszkiewicz, O. Matyja) Team Formation by Self-Interested Mobile Agents. In Chengqi Zhang and Dickson Lukose (Eds.) Multi-Agent Systems, Proc. of 4th Australian DAI Workshop, Brisbane, 1998, LNAI 1544. PS.gz file - DAI98.ps.gz

• (co-author S. Ambroszkiewicz, O. Matyja) Cooperation Mechanisms in a Multi-Agent Distributed Environment. In Proc. ECAI-98 Workshop 8: Synthesis of Intelligent Agent Systems from Experimental Data, (J. Komorowski, A. Skowron, and I. Duntsch Eds.), Brighton, UK, 1998. PS.gz file - ecai98.ps.gz

• Proceedings of the Multi-Agent Day, (editor), Warsaw, A one day workshop held at IPI PAN, ISBN 83-910948-0-4, 1998.

• (co-author S. Ambroszkiewicz) Distributed games: local interactions, explicit communication, and causal knowledge, IPI PAN Report 873, 1999. Proc. of Third Conference on Logic and the Foundations of Game and Decision Theory (LOFT3), Turyn, 1998. PS.gz file - LOFT98.ps.gz

• (co-author S. Ambroszkiewicz) Model checking of local knowledge formulas, Proc. of FCT'99 Workshop on Distributed Systems, Vol. 28 in Electronic Notes in Theoretical Computer Science, 1999. PS.gz file - entcs99.ps.gz

• (co-author S. Ambroszkiewicz) Local interactions, explicit communication, and causal Knowledge in Games and Multi-Agent Systems. Proc. of CEEMAS'99, St. Petersburg, 1999. PS.gz file - penczek99.ps.gz

• (co-authors R. Gerth, R. Kuiper, M. Szreter) Partial Order Reductions Preserving Simulations, Proc. of CS&P'99, Warsaw, PS.gz file - CSP99.ps.gz

• (co-authors R. Gerth, R. Kuiper i D. Peled) A partial order approach to branching time logic model-checking, Information and Computation, 1999. PS.gz file - IC99.ps.gz