| 1991 |
Analyse en ligne de traces d'exécution appliquée au protocole de transport |
Saba, Fayez |
Bochmann, Gregor V. |
| 1991 |
Visionnaire : un outil multimédia pour l'apprentissage des langues |
Lépine, Jean-François |
Gecsei, Jan |
| 1991 |
Teachart, un système tutoriel intelligent basé sur l'utilisation de la logique modale |
Gauvin, Daniel |
Lefebvre, Bernard |
| 1991 |
Un modèle de simulation basé sur les graphes de contraintes hiérarchiques |
Dufresne, Mario |
Cerny, Eduard |
| 1991 |
Une coquille de système expert multimédia pour micro-ordinateurs |
Pilon, Alain |
Gecsei, Jan |
| 1992 |
Signature incontestable et factorisation |
Landreville, Brigitte |
Brassard, Gilles |
| 1992 |
Spécification d'un protocole de communication dans un environnement multi-agents, application aux systèmes tutoriels intelligents |
Ramazani, Dunia |
Bochmann, Gregor V.; Frasson, Claude |
| 1992 |
Système multimédia pour l'enseignement de la médecine dentaire |
Cheng, Richard Jar-Wen |
Demirjian, Arto; Gecsei, Jan |
| 1992 |
Méthodologie de programmation d'environnements à objets répartis |
Somé, Stéphane Sotèg |
Vaucher, Jean |
| 1992 |
MédiÉval: un outil multimédia pour l'évaluation des connaissances linguistiques |
Gagnon, Sylvain |
Gecsei, Jan |
| 1992 |
Bornes sur la taille de programmes de branchement résolvant le problème d'appartenance à un groupoïde |
Kassardjian, Vahé |
Mckenzie, Pierre |
| 1992 |
Diagnostic tests for protocol implementations modeled by finite state machines |
Ghedamsi, Abderrazak ben Naceur |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1992 |
Codage d'image par automates à états finis, du tétrarbre à l'automate |
Quenneville, Charles |
Hahn, Gena; Meunier, Jean |
| 1992 |
Synthèse d'algorithmes de contrôle pour environnement réparti |
Levy, Michel |
Bochmann, Gregor V.; Gecsei, Jan |
| 1992 |
Algorithmes systoliques pour l'analyse syntaxique de langages hors-contextes sur la Connection Machine |
DesRosiers, Hugo |
Langlois, Laurent |
| 1992 |
Outil pour le développement de programmes pour la composition de musique électro-acoustique |
DesMeules, Stéphane |
Gecsei, Jan; Piché, Jean |
| 1992 |
Modélisation et positionnement de mannequins anthropométriques |
Franco, Jonathan |
Gilbert, Robert; Meunier, Jean |
| 1992 |
Modification dynamique des spécifications dans un environnement orienté-objets |
Erradi, Mohammed |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1992 |
InterFaces : un gestionnaire d'agents d'interface avec synthèse vocale et animation faciale |
Laferrière, Alain |
Gecsei, Jan |
| 1992 |
Sélection de tests pour les protocoles de communication |
Dubuc, Martin |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1992 |
Un environnement interactif-graphique pour le développement d'algorithmes de génération automatique d'arbres de décisions |
Kervahut, Tanguy |
Potvin, Jean-Yves |
| 1992 |
Optimisation des circuits intégrés par des réseaux de neurones |
Bennour, Imed-Eddine |
Cloutier, Jocelyn |
| 1992 |
Une méthode de gestion du processus de design des circuits intégrés |
Kabbaj, Anas |
Cerny, Eduard; Dagenais, Michel |
| 1992 |
Homomorphisms and the star chromatic number of a graph |
Gao, Guo-Gang |
Hahn, Gena |
| 1992 |
Étude comparative de méthodologies de layout orienté |
Gharsallah, Slaiem |
Cloutier, Jocelyn |
| 1992 |
Compaction hiérarchique bidimensionnelle de circuits intégrés |
Plamondon, Pierre |
Cerny, Eduard; Cloutier, Jocelyn |
| 1992 |
Génération automatique de procédés anaphoriques dans les textes d'assemblage |
Kosseim, Leila |
Kittredge, Richard; Lapalme, Guy |
| 1992 |
Analyses et applications des méthodes de projection sur un sous-espace |
Thomas, Stephen |
Zahar, Ramsay |
| 1992 |
Anonymat des correspondants dans les réseaux de communication |
Hébrais, Philippe |
Brassard, Gilles |
| 1992 |
Implantation en C++ d'une spécification Mondel du Répertoire OSI |
Nadeau, Roch |
Bochmann, Gregor V. |
| 1992 |
Synthèse de spécifications de protocole à partir de spécifications de service |
Antonescu, Christian Kant |
Bochmann, Gregor V. |
| 1992 |
Système intégré de spectroscopie automatisée |
Gélinas, Lucie |
Durocher, Gilles; Maag, Urs |
| 1992 |
The LOTOS language :distributed implementation and fairness |
Wu, Cheng |
Bochmann, Gregor V. |
| 1992 |
Algorithmes répartis de calcul et de minimalisation d'arbres sous-tendants |
Silva, Marie Thérèse da |
Das, Anindya |
| 1992 |
Comparaison de méthodes d'ajustement de matrices origine-destination à partir des flots des véhicules observés |
Bonin, Guy |
Florian, Michael |
| 1992 |
Segmentation et reconstruction tridimensionnelle de coupes histologiques du coeur |
Paquet, Éric |
Meunier, Jean |
| 1992 |
Aménagement optimal d'un bassin hydraulique pour fin de production d'électricité |
Duquette, Robin |
Desjardins, Marie-Ève
; Ferland, Jacques |
| 1992 |
Analyse et génération de vecteurs du test pour les pannes multiples |
Karkouri, Younés |
Aboulhamid, El Mostapha; Cerny, Eduard |
| 1992 |
Génération de vecteurs de test pour circuits combinatoires par observabilité transversale |
Rioux, Pierre |
Cerny, Eduard; Kaminska, Bozena |
| 1992 |
Contribution à l'analyse des séries chronologiques multivariées |
Nsiri, Saïd |
Roy, Roch |
| 1992 |
L'optimisation des fréquences d'un réseau de transport en commun |
Constantin, Isabelle |
Florian, Michael |
| 1992 |
Montage de film assisté par ordinateur |
Beaudry, Daniel |
Gecsei, Jan; Mineau, Guy |
| 1992 |
Analyse d'images stéréoscopiques basée sur la détermination du flux optique |
Roy, Sébastien |
Meunier, Jean |
| 1993 |
Reconstruction tridimensionnelle du ventricule gauche à partir de deux projections orthogonales en angiographie biplan |
Maurice, Alain |
Meunier, Jean |
| 1993 |
La théorie des catégories en informatique : notions de base et application |
Boucher, Dominique |
Boyer, Michel |
| 1993 |
Agents et systèmes, une nécessaire unité |
Giroux, Sylvain |
Lapalme, Guy; Senteni, Alain |
| 1993 |
Application d'une approche structurelle pour l'évaluation du développement dentaire |
Le Saux, Éric |
Meunier, Jean |
| 1993 |
Validation symbolique et numérique des solides |
Desaulniers, Hélène |
Stewart, Neil Frederick |
| 1993 |
Classification de conformations macromoléculaires |
Sadan, Annabel |
Cedergren, Robert J.; Lapalme, Guy |
| 1993 |
Analyse des systèmes modulaires asynchrones avec délais à intervalle fixe |
Bolduc, Joël |
Cerny, Eduard |