 | 2009 |
|---|
| 8 |       | Adam Meissner:
A Simple Parallel Reasoning System for the ALC\mathcal{ALC} Description Logic.
ICCCI 2009: 413-424 |
| 2008 |
|---|
| 7 | | Adam Meissner:
Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language.
SETN 2008: 359-364 |
| 2007 |
|---|
| 6 | | Tadeusz Pankowski,
Jolanta Cybulka,
Adam Meissner:
XML Schema Mappings in the Presence of Key Constraints and Value Dependencies.
EROW 2007 |
| 5 | | Adam Meissner,
Magdalena Niwinska,
Krzysztof Zwierzynski:
Computing the Irregularity Strength of Connected Graphs by Parallel Constraint Solving in the Mozart System.
PPAM 2007: 1096-1103 |
| 4 | | Tadeusz Pankowski,
Jolanta Cybulka,
Adam Meissner:
Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies.
RR 2007: 374-376 |
| 2006 |
|---|
| 3 |  | Jolanta Cybulka,
Adam Meissner,
Tadeusz Pankowski:
Schema- and Ontology-Based XML Data Exchange in Semantic E-Business Applications.
BIS 2006: 429-441 |
| 2 | | Adam Meissner,
Magdalena Niwinska,
Krzysztof Zwierzynski:
Computing an irregularity strength of selected graphs.
Electronic Notes in Discrete Mathematics 24: 137-144 (2006) |
| 2005 |
|---|
| 1 | | Adam Meissner,
Krzysztof Zwierzynski:
Vertex-Magic Total Labeling of a Graph by Distributed Constraint Solving in the Mozart System.
PPAM 2005: 952-959 |
