2008 |
7 | EE | Adam Meissner:
Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language.
SETN 2008: 359-364 |
2007 |
6 | EE | Tadeusz Pankowski,
Jolanta Cybulka,
Adam Meissner:
XML Schema Mappings in the Presence of Key Constraints and Value Dependencies.
EROW 2007 |
5 | EE | 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 | EE | 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 | EE | Adam Meissner,
Magdalena Niwinska,
Krzysztof Zwierzynski:
Computing an irregularity strength of selected graphs.
Electronic Notes in Discrete Mathematics 24: 137-144 (2006) |
2005 |
1 | EE | Adam Meissner,
Krzysztof Zwierzynski:
Vertex-Magic Total Labeling of a Graph by Distributed Constraint Solving in the Mozart System.
PPAM 2005: 952-959 |