Multi-agent blackboard architecture for a mobile robot. - Grazyna Brzykcy; Jacek Martinek; Adam Meissner; Piotr Skrzypczynski (IROS, 2001)

Vertex-Magic Total Labeling of a Graph by Distributed Constraint Solving in the Mozart System. - Adam Meissner; Krzysztof Zwierzynski (PPAM, 2005)

Schema- and Ontology-Based XML Data Exchange in Semantic E-Business Applications. - Jolanta Cybulka; Adam Meissner; Tadeusz Pankowski (BIS, 2006)

Computing an irregularity strength of selected graphs. - Adam Meissner; Magdalena Niwinska; Krzysztof Zwierzynski (Electron. Notes Discret. Math., 2006)

XML Schema Mappings in the Presence of Key Constraints and Value Dependencies. - Tadeusz Pankowski; Jolanta Cybulka; Adam Meissner (EROW, 2007)

Computing the Irregularity Strength of Connected Graphs by Parallel Constraint Solving in the Mozart System. - Adam Meissner; Magdalena Niwinska; Krzysztof Zwierzynski (PPAM, 2007)

Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies. - Tadeusz Pankowski; Jolanta Cybulka; Adam Meissner (RR, 2007)

Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language. - Adam Meissner (SETN, 2008)

A Simple Parallel Reasoning System for the ALC mathcal{ALC} Description Logic. - Adam Meissner (ICCCI, 2009)

Reasoning with the Depth-First Iterative Deepening Strategy in the DLog System. - Adam Meissner; Grazyna Brzykcy (OTM Workshops, 2011)

Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic. - Adam Meissner (Int. J. Appl. Math. Comput. Sci., 2011)

A simple distributed reasoning system for the connection calculus. - Adam Meissner (Vietnam. J. Comput. Sci., 2014)