Transformation d'un programme algorithmique en programme Prolog. - Pascal Yim (SPLT, 1985)

Une nouvelle approche de la programmation en logique. - Pascal Yim (SPLT, 1986)

Résolution dans les systèmes formels abstraits: applications à la programmation en logique, aux systèmes de réécriture et aux grammaires formelles. - Pascal Yim (SPLT, 1989)

La programmation logico-fonctionnelle avec contraintes: un outil pour la validation des spécifications algébriques avec contraintes. - Sylvie Calabretto; Pascal Yim (JFPL, 1992)

MINOS: a constraints based tool for the HyperNets. - Pascal Yim; Arnaud Lefort; Agnes Hebrard (ICTAI, 1995)

MINOS: Analyse et Simulation d'Hypernets. - Arnaud Lefort; Pascal Yim (JFPLC, 1995)

SetX2 : un langage logico-fonctionnel ensembliste. - Pascal Yim (JFPLC, 1995)

Solving transient scheduling problem for cyclic production using timed Petri nets and constraint programming. - Ouajdi Korbaa; Pascal Yim; Jean-Claude Gentina (ECC, 1999)

Specification of an Active Database System Application Using Dynamic Relation Nets. - Laurent Allain; Pascal Yim (Computational Logic, 2000)

Solving Transient Scheduling Problems with Constraint Programming. - Ouajdi Korbaa; Pascal Yim; Jean-Claude Gentina (Eur. J. Control, 2000)

Discussion on: 'Solving Transient Scheduling Problems with Constraint Programming' by O. Korbaa, P. Yim, and J.-C. Gentina. - Pierre Lopez; Hassane Alla; Ouajdi Korbaa; Pascal Yim; Jean-Claude Gentina (Eur. J. Control, 2000)

Modeling Information System Behavior with Dynamic Relations Nets. - Laurent Allain; Pascal Yim (J. Univers. Comput. Sci., 2000)

Time window specification and validation with Petri Nets. - Simon Collart Dutilleul; Pascal Yim (ETFA (1), 2003)

Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming. - Thomas Bourdeaud'huy; Saïd Hanafi; Pascal Yim (CPAIOR, 2004)

Efficient reachability analysis of bounded Petri nets using constraint programming. - Thomas Bourdeaud'huy; Pascal Yim; Saïd Hanafi (SMC (2), 2004)

Reachability search in timed Petri nets using constraint programming. - Olfa Belkahla Driss; Pascal Yim; Ouajdi Korbaa; Khaled Ghédira (SMC (5), 2004)

Container assignment to stock in a fluvial port. - Ouajdi Korbaa; Pascal Yim (SMC (7), 2004)

Description Logics in the Calculus of Structures. - Jean-David Roubach; Pascal Yim; Joaquin Rodriguez (Description Logics, 2007)

Mathematical programming approach to the Petri nets reachability problem. - Thomas Bourdeaud'huy; Saïd Hanafi; Pascal Yim (Eur. J. Oper. Res., 2007)

Extraction of Critical Scenarios in a Railway Level Crossing Control System. - Malika Medjoudj; Pascal Yim (Int. J. Comput. Commun. Control, 2007)

State Observer for DES Under Partial Observation with Time Petri Nets. - Mohamed Ghazel; Armand Toguyéni; Pascal Yim (Discret. Event Dyn. Syst., 2009)

Container handling using multi-agent architecture. - Meriam Kefi; Khaled Ghédira; Ouajdi Korbaa; Pascal Yim (Int. J. Intell. Inf. Database Syst., 2009)

Innovative product design for students-enterprises linked projects. - Michel Bigand; Carine Deslee; Pascal Yim (Int. J. Technol. Manag., 2011)

Predictive Maintenance in Building Facilities: A Machine Learning-Based Approach. - Yassine Bouabdallaoui; Zoubeir Lafhaj; Pascal Yim; Laure Ducoulombier; Belkacem Bennadji (Sensors, 2021)

Machine learning classification of power converter control mode. - Rabah Ouali; Jean-Yves Dieulot; Pascal Yim; Xavier Guillaud; Frédéric Colas; Yang Wu; Heng Wu (CoRR, 2024)