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

Journals in DBLP

Technique et Science Informatiques
2003, volume: 22, number: 1


  1. Editorial. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:7-9 [Journal]
  2. Daniel Dollé, Didier Essamé, Jérôme Falampin
    B dans le tranport ferroviaire. L'expérience de Siemens Transportation Systems. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:11-32 [Journal]
  3. Christian Timpe
    A Hybrid MIP-CP Algorithm for a Linked Planning and Scheduling Problem from Chemical Industry. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:15- [Journal]
  4. Konstantin Artiouchine, Juliette Mattioli
    Noyau de viabilité : une contrainte globale pour la modélisation de systèmes dynamiques. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:19-32 [Journal]
  5. Vincent Barichard, Jin-Kao Hao
    Une approche hybride pour l'optimisation multi-objectif sous contraintes. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:33-46 [Journal]
  6. Lilian Burdy, Ludovic Casset, Antoine Requet
    Développement formel d'un vérifieur embarqué de byte-code Java. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:33-60 [Journal]
  7. Catherine Belleannée, Olivier Ridoux
    Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:49-62 [Journal]
  8. Marie-Laure Potet
    Spécifications et développements structurés dans la méthode B. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:61-88 [Journal]
  9. Narendra Jussien
    L'enseignement de la programmation logique à l'École des Mines de Nantes. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:63-75 [Journal]
  10. Christine Solnon
    Un cours "électronique" sur la programmation par contraintes. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:77-80 [Journal]
  11. Laurent Jeannin, François-Xavier Josset, Fabien Le Huédé, Juliette Mattioli, Nicolas Museux, Pierre Savéant
    Claire/Eclair(copyright) Un environnement de modélisation etde résolution pourdesapplicationsd'optimisation combinatoires embarquées. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:83-96 [Journal]
  12. Jean-Raymond Abrial
    B : passé, présent, futur. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:89-118 [Journal]
  13. Pierre Deransart, Ludovic Langevine
    Un nouveau traceur générique pour GNU-Prolog. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:97-110 [Journal]
  14. Patrice Boizumault, Narendra Jussien, Samir Ouis
    Explications k-relevantes pour la programmation par contraintes. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:111-124 [Journal]
  15. Guilhem Pouzancre, Jean-Philippe Pitzalis
    Modélisation en B événementiel des fonctions mécaniques, électriques et informatiques d'un véhicule. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:119-128 [Journal]
  16. AbdelAli Ed-Dbali, Thi-Bich-Hanh Dao, Arnaud Lallouet, Andrei Legtchenko
    Apprentissage de solveurs de contraintes sur les domaines finis. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:125-138 [Journal]
  17. Didier Bert
    La recherche en B. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:129-130 [Journal]
  18. Henri Habrias
    L'enseignement de B. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:131-132 [Journal]
  19. Yves Caseau, François Laburthe
    De l'utilité des contraintes pour explorer des catalogues. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:141-154 [Journal]
  20. Nathalie Chabrier, François Fages
    "Model Checking" symbolique de réseaux biochimiques. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:155-168 [Journal]
  21. Patrice Boizumault, Philippe David, Samir Loudni
    Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:169-182 [Journal]
  22. Simon de Givry, Laurent Jeannin
    Optimisation des évolutions d'un réseau télécom. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:183-186 [Journal]
  23. Lucas Bordeaux, Eric Monfroy
    Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:190-202 [Journal]
  24. Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet
    Un format fédérateur pour l'évaluation de spécifications formelles en Programmation Logique avec Contraintes. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:203-216 [Journal]
  25. Fabrice Ambert, Sébastien Chemin, Bruno Legeard
    Intégration de domaines à variables dans un solveur de contraintes ensemblistes. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:217-220 [Journal]
  26. Jean-François Puget
    Cassures de symétries à base de stabilisateurs. Applications aux CSP matriciels. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:223-236 [Journal]
  27. Guillaume Arnaud
    Implantation de SBDS en GNU Prolog. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:237-250 [Journal]
  28. Emmanuel Coquery, François Fages
    Contraintes de sous-typage dans les quasi-treillis. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:253-266 [Journal]
  29. Frédéric Boussemart, Fred Hemery, Christophe Lecoutre
    De AC3 à AC7. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:267-280 [Journal]
  30. Vincent Barichard, Hervé Deleau, Jin-Kao Hao, Frédéric Saubion
    Évolution + Adaptation = Résolution. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:281-294 [Journal]
  31. François Laburthe
    Des contraintes sur des ontologies. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:295-298 [Journal]
  32. Daniel Goossens
    Bipartitions et équations linéaires. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:299-302 [Journal]
  33. Mustapha Belaïssaoui, Houssine Bouyakhf
    L'algorithme "Optimal Distributed Intelligent BackTracking". [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:303-306 [Journal]
  34. Francis Alexandre, Khaled Bsaïes, Moussa Demba
    Correction de conjectures fausses par synthèse de programmes. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:307-310 [Journal]
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