- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 8 |      | Ryszard Janicki, Dai Tri Man Le, Nadezhda Zubkova: Closure Operators for Order Structures. FCT 2009: 217-229 |
| 7 | | Ryszard Janicki, Dai Tri Man Le: Modelling Concurrency with Comtraces and Generalized Comtraces CoRR abs/0907.1722: (2009) |
| 6 | | Dai Tri Man Le: Modelling Concurrent Behaviors in the Process Specification Language CoRR abs/0907.2775: (2009) |
| 5 | | Dai Tri Man Le: Statechart Verification with iState CoRR abs/0909.1361: (2009) |
| 2008 | ||
| 4 | | Ryszard Janicki, Dai Tri Man Le: Modelling Concurrency with Quotient Monoids. Petri Nets 2008: 251-269 |
| 3 | | Dai Tri Man Le, Ryszard Janicki: A Categorical Approach to Mereology and Its Application to Modelling Software Components. T. Rough Sets 8: 146-174 (2008) |
| 2007 | ||
| 2 | | Ryszard Janicki, Dai Tri Man Le: Towards a Pragmatic Mereology. Fundam. Inform. 75(1-4): 295-314 (2007) |
| 2006 | ||
| 1 | | Dai Tri Man Le, Ryszard Janicki: On a Parthood Specification Method for Component Software. RSCTC 2006: 537-546 |
| 1 | Ryszard Janicki | [1] [2] [3] [4] [7] [8] |
| 2 | Nadezhda Zubkova | [8] |