Pascal Yim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1995–2004
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | CPAIOR | Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming. | Thomas Bourdeaud'huy, Sad Hanafi, Pascal Yim |
| 2004 | SMC | Efficient reachability analysis of bounded Petri nets using constraint programming. | Thomas Bourdeaud'huy, Pascal Yim, Sad Hanafi |
| 2004 | SMC | Reachability search in timed Petri nets using constraint programming. | Olfa Belkahla Driss, Pascal Yim, Ouajdi Korbaa, Khaled Ghdira |
| 2004 | SMC | Container assignment to stock in a fluvial port. | Ouajdi Korbaa, Pascal Yim |
| 2003 | ETFA | Time window specification and validation with Petri Nets. | Simon Collart Dutilleul, Pascal Yim |
| 1995 | ICTAI | MINOS: a constraints based tool for the HyperNets. | Pascal Yim, Arnaud Lefort, Agnes Hebrard |