Pascal Yim

According to our database, Pascal Yim authored at least 25 papers between 1985 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

2021

Predictive Maintenance in Building Facilities: A Machine Learning-Based Approach.

Yassine Bouabdallaoui, Zoubeir Lafhaj, Pascal Yim, Laure Ducoulombier, Belkacem Bennadji

Sensors, 2021

2011

Innovative product design for students-enterprises linked projects.

Michel Bigand, Carine Deslee, Pascal Yim

Int. J. Technol. Manag., 2011

2009

Container handling using multi-agent architecture.

Meriam Kefi, Khaled Ghédira, Ouajdi Korbaa, Pascal Yim

Int. J. Intell. Inf. Database Syst., 2009

State Observer for DES Under Partial Observation with Time Petri Nets.

Mohamed Ghazel, Armand Toguyéni, Pascal Yim

Discret. Event Dyn. Syst., 2009

2007

Extraction of Critical Scenarios in a Railway Level Crossing Control System.

Malika Medjoudj, Pascal Yim

Int. J. Comput. Commun. Control, 2007

Mathematical programming approach to the Petri nets reachability problem.

Thomas Bourdeaud'huy, Saïd Hanafi, Pascal Yim

Eur. J. Oper. Res., 2007

Description Logics in the Calculus of Structures.

Jean-David Roubach, Pascal Yim, Joaquin Rodriguez

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2004

Container assignment to stock in a fluvial port.

Ouajdi Korbaa, Pascal Yim

Proceedings of the IEEE International Conference on Systems, 2004

Reachability search in timed Petri nets using constraint programming.

Olfa Belkahla Driss, Pascal Yim, Ouajdi Korbaa, Khaled Ghédira

Proceedings of the IEEE International Conference on Systems, 2004

Efficient reachability analysis of bounded Petri nets using constraint programming.

Thomas Bourdeaud'huy, Pascal Yim, Saïd Hanafi

Proceedings of the IEEE International Conference on Systems, 2004

Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming.

Thomas Bourdeaud'huy, Saïd Hanafi, Pascal Yim

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

2003

Time window specification and validation with Petri Nets.

Simon Collart Dutilleul, Pascal Yim

Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

2000

Modeling Information System Behavior with Dynamic Relations Nets.

Laurent Allain, Pascal Yim

J. Univers. Comput. Sci., 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

Solving Transient Scheduling Problems with Constraint Programming.

Ouajdi Korbaa, Pascal Yim, Jean-Claude Gentina

Eur. J. Control, 2000

Specification of an Active Database System Application Using Dynamic Relation Nets.

Laurent Allain, Pascal Yim

Proceedings of the Computational Logic, 2000

1999

Solving transient scheduling problem for cyclic production using timed Petri nets and constraint programming.

Ouajdi Korbaa, Pascal Yim, Jean-Claude Gentina

Proceedings of the 5th European Control Conference, 1999

1995

SetX2 : un langage logico-fonctionnel ensembliste.

Pascal Yim

Proceedings of the JFPLC'95, 1995

MINOS: Analyse et Simulation d'Hypernets.

Arnaud Lefort, Pascal Yim

Proceedings of the JFPLC'95, 1995

MINOS: a constraints based tool for the HyperNets.

Pascal Yim, Arnaud Lefort, Agnes Hebrard

Proceedings of the Seventh International Conference on Tools with Artificial Intelligence, 1995

1992

La programmation logico-fonctionnelle avec contraintes: un outil pour la validation des spécifications algébriques avec contraintes.

Sylvie Calabretto, Pascal Yim

Proceedings of the JFPL'92, 1992

1989

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

Proceedings of the SPLT'89, 1989

1986

Une nouvelle approche de la programmation en logique.

Pascal Yim

Proceedings of the SPLT'86, 1986

1985

Transformation d'un programme algorithmique en programme Prolog.

Pascal Yim

Proceedings of the SPLT'85, 1985