2008 |
11 | EE | Michal Adamaszek,
Piotr Chrzastowski-Wachtel,
Anna Niewiarowska:
VIPER, a Student-Friendly Visual Interpreter of Pascal.
ISSEP 2008: 192-203 |
10 | EE | Piotr Chrzastowski-Wachtel,
Pawel Findeisen,
Grzegorz Wolny:
Time Distribution in Structural Workflow Nets.
Fundam. Inform. 85(1-4): 67-87 (2008) |
2006 |
9 | EE | Piotr Chrzastowski-Wachtel:
Determining Sound Markings in Structured Nets.
Fundam. Inform. 72(1-3): 65-79 (2006) |
2003 |
8 | EE | Boualem Benatallah,
Piotr Chrzastowski-Wachtel,
Rachid Hamadi,
Milton O'Dell,
Adi Susanto:
HiWorD: A Petri Net-Based Hierarchical Workflow Designer.
ACSD 2003: 235-236 |
7 | EE | Piotr Chrzastowski-Wachtel,
Boualem Benatallah,
Rachid Hamadi,
Milton O'Dell,
Adi Susanto:
A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling.
Business Process Management 2003: 336-353 |
2002 |
6 | EE | Piotr Chrzastowski-Wachtel,
Jerzy Tyszkiewicz:
A Maple Package for Conditional Event Algebras.
WCII 2002: 131-151 |
2001 |
5 | EE | Piotr Chrzastowski-Wachtel,
Jerzy Tyszkiewicz,
Achim G. Hoffmann,
Arthur Ramer:
Definability of connectives in conditional event algebras of Schay-Adams-Calabrese and Goodman-Nguyen-Walker.
Inf. Process. Lett. 79(4): 155-160 (2001) |
1999 |
4 | EE | Piotr Chrzastowski-Wachtel:
Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem.
ICATPN 1999: 268-281 |
1996 |
3 | EE | Marek Raczunas,
Piotr Chrzastowski-Wachtel:
A Diophantine problem of Frobenius in terms of the least common multiple.
Discrete Mathematics 150(1-3): 347-357 (1996) |
1993 |
2 | | Piotr Chrzastowski-Wachtel,
Marek Raczunas:
Liveness of Weighted Circuits and the Diophantine Problem of Frobenius.
FCT 1993: 171-180 |
1992 |
1 | | Enrique Teruel,
Piotr Chrzastowski-Wachtel,
José Manuel Colom,
Manuel Silva:
On Weighted T-Systems.
Application and Theory of Petri Nets 1992: 348-367 |