Pascal Yim

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 2

Top Topics

Predictive Modeling

Text Classification

Machine Learning

Top Venues

Publications

Rabah Ouali, Jean-Yves Dieulot, Pascal Yim, Xavier Guillaud, Frédéric Colas, Yang Wu, Heng Wu
Machine learning classification of power converter control mode. CoRR (2024)
Yassine Bouabdallaoui, Zoubeir Lafhaj, Pascal Yim, Laure Ducoulombier, Belkacem Bennadji
Predictive Maintenance in Building Facilities: A Machine Learning-Based Approach. Sensors 21 (4) (2021)
Michel Bigand, Carine Deslee, Pascal Yim
Innovative product design for students-enterprises linked projects. Int. J. Technol. Manag. 55 (3/4) (2011)
Meriam Kefi, Khaled Ghédira, Ouajdi Korbaa, Pascal Yim
Container handling using multi-agent architecture. Int. J. Intell. Inf. Database Syst. 3 (3) (2009)
Mohamed Ghazel, Armand Toguyéni, Pascal Yim
State Observer for DES Under Partial Observation with Time Petri Nets. Discret. Event Dyn. Syst. 19 (2) (2009)
Malika Medjoudj, Pascal Yim
Extraction of Critical Scenarios in a Railway Level Crossing Control System. Int. J. Comput. Commun. Control 2 (3) (2007)
Meriam Kefi, Ouajdi Korbaa, Khaled Ghédira, Pascal Yim
Container Handling Using Multi-agent Architecture. KES-AMSTA (2007)
Jean-David Roubach, Pascal Yim, Joaquin Rodriguez
Description Logics in the Calculus of Structures. Description Logics (2007)
Thomas Bourdeaud'huy, Saïd Hanafi, Pascal Yim
Mathematical programming approach to the Petri nets reachability problem. Eur. J. Oper. Res. 177 (1) (2007)
Olfa Belkahla Driss, Pascal Yim, Ouajdi Korbaa, Khaled Ghédira
Reachability search in timed Petri nets using constraint programming. SMC (5) (2004)
Thomas Bourdeaud'huy, Pascal Yim, Saïd Hanafi
Efficient reachability analysis of bounded Petri nets using constraint programming. SMC (2) (2004)
Thomas Bourdeaud'huy, Saïd Hanafi, Pascal Yim
Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming. CPAIOR (2004)
Ouajdi Korbaa, Pascal Yim
Container assignment to stock in a fluvial port. SMC (7) (2004)
Simon Collart Dutilleul, Pascal Yim
Time window specification and validation with Petri Nets. ETFA (1) (2003)
Laurent Allain, Pascal Yim
Specification of an Active Database System Application Using Dynamic Relation Nets. Computational Logic (2000)
Pierre Lopez, Hassane Alla, Ouajdi Korbaa, Pascal Yim, Jean-Claude Gentina
Discussion on: 'Solving Transient Scheduling Problems with Constraint Programming' by O. Korbaa, P. Yim, and J.-C. Gentina. Eur. J. Control 6 (6) (2000)
Ouajdi Korbaa, Pascal Yim, Jean-Claude Gentina
Solving Transient Scheduling Problems with Constraint Programming. Eur. J. Control 6 (6) (2000)
Laurent Allain, Pascal Yim
Modeling Information System Behavior with Dynamic Relations Nets. J. Univers. Comput. Sci. 6 (11) (2000)
Ouajdi Korbaa, Pascal Yim, Jean-Claude Gentina
Solving transient scheduling problem for cyclic production using timed Petri nets and constraint programming. ECC (1999)
Pascal Yim, Arnaud Lefort, Agnes Hebrard
MINOS: a constraints based tool for the HyperNets. ICTAI (1995)
Pascal Yim
SetX2 : un langage logico-fonctionnel ensembliste. JFPLC (1995)
Arnaud Lefort, Pascal Yim
MINOS: Analyse et Simulation d'Hypernets. JFPLC (1995)
Sylvie Calabretto, Pascal Yim
La programmation logico-fonctionnelle avec contraintes: un outil pour la validation des spécifications algébriques avec contraintes. JFPL (1992)
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)
Pascal Yim
Une nouvelle approche de la programmation en logique. SPLT (1986)
Pascal Yim
Transformation d'un programme algorithmique en programme Prolog. SPLT (1985)