The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Pascal Yim: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Laurent Allain, Pascal Yim
    Specification of an Active Database System Application Using Dynamic Relation Nets. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:1197-1209 [Conf]
  2. Thomas Bourdeaud'huy, Saïd Hanafi, Pascal Yim
    Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2004, pp:112-126 [Conf]
  3. Pascal Yim
    Transformation d'un programme algorithmique en programme Prolog. [Citation Graph (0, 0)][DBLP]
    SPLT, 1985, pp:- [Conf]
  4. Sylvie Calabretto, Pascal Yim
    La programmation logico-fonctionnelle avec contraintes: un outil pour la validation des spécifications algébriques avec contraintes. [Citation Graph (0, 0)][DBLP]
    JFPL, 1992, pp:232-0 [Conf]
  5. Pascal Yim
    Une nouvelle approche de la programmation en logique. [Citation Graph (0, 0)][DBLP]
    SPLT, 1986, pp:233-252 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    SPLT, 1989, pp:7-24 [Conf]
  7. Pascal Yim
    SetX2 : un langage logico-fonctionnel ensembliste. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1995, pp:397-399 [Conf]
  8. Arnaud Lefort, Pascal Yim
    MINOS: Analyse et Simulation d'Hypernets. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1995, pp:345-0 [Conf]
  9. Thomas Bourdeaud'huy, Pascal Yim, Saïd Hanafi
    Efficient reachability analysis of bounded Petri nets using constraint programming. [Citation Graph (0, 0)][DBLP]
    SMC (2), 2004, pp:1870-1875 [Conf]
  10. Olfa Belkahla Driss, Pascal Yim, Ouajdi Korbaa, Khaled Ghédira
    Reachability search in timed Petri nets using constraint programming. [Citation Graph (0, 0)][DBLP]
    SMC (5), 2004, pp:4923-4928 [Conf]
  11. Ouajdi Korbaa, Pascal Yim
    Container assignment to stock in a fluvial port. [Citation Graph (0, 0)][DBLP]
    SMC (7), 2004, pp:6180-6185 [Conf]
  12. Laurent Allain, Pascal Yim
    Modeling Information System Behavior with Dynamic Relations Nets. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:11, pp:1109-1130 [Journal]
  13. Thomas Bourdeaud'huy, Saïd Hanafi, Pascal Yim
    Mathematical programming approach to the Petri nets reachability problem. [Citation Graph (0, 0)][DBLP]
    European Journal of Operational Research, 2007, v:177, n:1, pp:176-197 [Journal]
  14. Meriam Kefi, Ouajdi Korbaa, Khaled Ghédira, Pascal Yim
    Container Handling Using Multi-agent Architecture. [Citation Graph (0, 0)][DBLP]
    KES-AMSTA, 2007, pp:685-693 [Conf]

  15. Description Logics in the Calculus of Structures. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002