Wiesław Pawłowski

From MaRDI portal
Person:2784629



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!

PublicationDate of PublicationType
Parchments for CafeOBJ logics
Specification, Algebra, and Software
2014-03-25Paper
Presenting and combining inference systems. Presentations with inference rules
Lecture Notes in Computer Science
2010-04-20Paper
Modular system development with pullbacks
Applications and Theory of Petri Nets 2003
2010-03-31Paper
A multi-facet approach to dynamic agent systems2009-01-28Paper
Expressing and verifying temporal and structural properties of mobile agents2006-09-06Paper
Recent Trends in Algebraic Development Techniques
Lecture Notes in Computer Science
2005-11-11Paper
scientific article; zbMATH DE number 2079676 (Why is no real title available?)2004-07-30Paper
Bayesian network mining systems2002-10-16Paper
scientific article; zbMATH DE number 1375542 (Why is no real title available?)1999-12-07Paper
scientific article; zbMATH DE number 1375542 (Why is no real title available?)1999-12-07Paper
scientific article; zbMATH DE number 1189287 (Why is no real title available?)1999-03-02Paper
scientific article; zbMATH DE number 1189288 (Why is no real title available?)1998-08-13Paper
scientific article; zbMATH DE number 1086718 (Why is no real title available?)1998-02-17Paper


Research outcomes over time


This page was built for person: Wiesław Pawłowski