Pascal Yim
According to our database1,
Pascal Yim
authored at least 25 papers
between 1985 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1985
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
1
1
1
2
2
3
1
4
1
1
1
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2021
Sensors, 2021
2011
Int. J. Technol. Manag., 2011
2009
Int. J. Intell. Inf. Database Syst., 2009
Discret. Event Dyn. Syst., 2009
2007
Int. J. Comput. Commun. Control, 2007
Eur. J. Oper. Res., 2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007
2004
Proceedings of the IEEE International Conference on Systems, 2004
Proceedings of the IEEE International Conference on Systems, 2004
Proceedings of the IEEE International Conference on Systems, 2004
Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004
2003
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003
2000
J. Univers. Comput. Sci., 2000
Discussion on: 'Solving Transient Scheduling Problems with Constraint Programming' by O. Korbaa, P. Yim, and J.-C. Gentina.
Eur. J. Control, 2000
Eur. J. Control, 2000
Proceedings of the Computational Logic, 2000
1999
Solving transient scheduling problem for cyclic production using timed Petri nets and constraint programming.
Proceedings of the 5th European Control Conference, 1999
1995
SetX2 : un langage logico-fonctionnel ensembliste.
Proceedings of the JFPLC'95, 1995
MINOS: Analyse et Simulation d'Hypernets.
Proceedings of the JFPLC'95, 1995
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.
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.
Proceedings of the SPLT'89, 1989
1986
Une nouvelle approche de la programmation en logique.
Proceedings of the SPLT'86, 1986
1985
Transformation d'un programme algorithmique en programme Prolog.
Proceedings of the SPLT'85, 1985