 | 2007 |
|---|
| 16 |       | Jean-David Roubach,
Pascal Yim,
Joaquin Rodriguez:
Description Logics in the Calculus of Structures.
Description Logics 2007 |
| 15 | | Meriam Kefi,
Ouajdi Korbaa,
Khaled Ghédira,
Pascal Yim:
Container Handling Using Multi-agent Architecture.
KES-AMSTA 2007: 685-693 |
| 14 | | Thomas Bourdeaud'huy,
Saïd Hanafi,
Pascal Yim:
Mathematical programming approach to the Petri nets reachability problem.
European Journal of Operational Research 177(1): 176-197 (2007) |
| 2004 |
|---|
| 13 | | Thomas Bourdeaud'huy,
Saïd Hanafi,
Pascal Yim:
Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming.
CPAIOR 2004: 112-126 |
| 12 | | Thomas Bourdeaud'huy,
Pascal Yim,
Saïd Hanafi:
Efficient reachability analysis of bounded Petri nets using constraint programming.
SMC (2) 2004: 1870-1875 |
| 11 | | Olfa Belkahla Driss,
Pascal Yim,
Ouajdi Korbaa,
Khaled Ghédira:
Reachability search in timed Petri nets using constraint programming.
SMC (5) 2004: 4923-4928 |
| 10 | | Ouajdi Korbaa,
Pascal Yim:
Container assignment to stock in a fluvial port.
SMC (7) 2004: 6180-6185 |
| 2000 |
|---|
| 9 | | Laurent Allain,
Pascal Yim:
Specification of an Active Database System Application Using Dynamic Relation Nets.
Computational Logic 2000: 1197-1209 |
| 8 | | Laurent Allain,
Pascal Yim:
Modeling Information System Behavior with Dynamic Relations Nets.
J. UCS 6(11): 1109-1130 (2000) |
| 1995 |
|---|
| 7 |  | Arnaud Lefort,
Pascal Yim:
MINOS: Analyse et Simulation d'Hypernets.
JFPLC 1995: 345- |
| 6 | | Pascal Yim:
SetX2 : un langage logico-fonctionnel ensembliste.
JFPLC 1995: 397-399 |
| 1992 |
|---|
| 5 | | Jean-Paul Delahaye,
Philippe Devienne,
Philippe Mathieu,
Pascal Yim:
JFPL'92, 1ères Journées Francophones de Programmation Logique, 25-27 Mai 1992, Lille, France
JFPL 1992 |
| 4 | | Sylvie Calabretto,
Pascal Yim:
La programmation logico-fonctionnelle avec contraintes: un outil pour la validation des spécifications algébriques avec contraintes.
JFPL 1992: 232- |
| 1989 |
|---|
| 3 | | Pascal Yim:
Résolution dans les systèmes formels abstraits: applications à la programmation en logique, aux systèmes de réécriture et aux grammaires formelles.
SPLT 1989: 7-24 |
| 1986 |
|---|
| 2 | | Pascal Yim:
Une nouvelle approche de la programmation en logique.
SPLT 1986: 233-252 |
| 1985 |
|---|
| 1 | | Pascal Yim:
Transformation d'un programme algorithmique en programme Prolog.
SPLT 1985 |
