| 1992 |
Signature incontestable et factorisation |
Landreville, Brigitte |
Brassard, Gilles |
| 1993 |
Une étude de quatre mesures de complexité algorithmique |
Mann, Joseph |
Brassard, Gilles |
| 1986 |
Une anthologie des algorithmes probabilistes |
Valois, Denis |
Brassard, Gilles |
| 1993 |
Applications du probabilisme à l'algorithmique |
Pageau, Marie |
Brassard, Gilles |
| 1992 |
Anonymat des correspondants dans les réseaux de communication |
Hébrais, Philippe |
Brassard, Gilles |
| 2017 |
L'équivalence entre le local-réalisme et le principe de non-signalement |
Raymond-Robichaud, Paul |
Brassard, Gilles |
| 1990 |
Algorithmes de transformations d'images 2D et recherche d'esthétique |
Guyaux, Françoise |
Bradley, Edward; Tousignant, Serge |
| 1990 |
La conception de logiciels d'assistance dans un contexte d'apprentissage |
Bergeron, Anne |
Boyer, Michel; Lemoyne, Gisèle |
| 1989 |
Méthodes d'échanges pour problèmes d'affectation |
Lavoie, Alain |
Boyer, Michel; Ferland, Jacques |
| 2012 |
A Categorical Framework for the Specification and the Verification of Aspect
Oriented Systems |
Sabas, Arsène |
Boyer, Michel; Barr, Michael |
| 1995 |
Une approche géométrique aux contraintes arithmétiques quadratiques en programmation logique avec contraintes |
Pesant, Gilles |
Boyer, Michel |
| 1989 |
Chronolog, un langage de représentation des connaissances temporelles |
St-Vincent, Pierre |
Boyer, Michel |
| 1991 |
Modélisation de réactions émotives et application à la génération de récits |
Nault, Georges |
Boyer, Michel |
| 1993 |
La théorie des catégories en informatique : notions de base et application |
Boucher, Dominique |
Boyer, Michel |
| 1990 |
Transformations de programmes logiques : Bases sémantiques et applications |
Tarau, Paul |
Boyer, Michel |
| 2008 |
Categorical quantum computation |
Paquette, Éric Oliver |
Boyer, Michel |
| 1991 |
Extraction de chaînes phonémiques à l'aide de modèles de Markov en reconnaissance automatique de la parole |
Millien, Evelyne |
Boyer, Michel |
| 2000 |
Système de configuration des politiques de gestion de réseaux |
Dioubaté, Diéfadima |
Boutaba, Raouf |
| 1989 |
Génération de questions adaptées à l'usager pour un système de consultation médicale |
Desmarais, Stéphane M. |
Bourque, Michel; Lapalme, Guy |
| 1987 |
Le système ODST, un outil d'aide au développement de schémas thérapeutiques en médecine |
Lecluyse, Henri |
Bourque, Michel; Lapalme, Guy |
| 2001 |
Extension des modèles de prédiction de la qualité du logiciel en utilisant la logique floue et les heuristiques du domaine |
Serhani, Mohamed Adel |
Boukadoum, Mounir; Sahraoui, Houari |
| 2002 |
Génération de modèles de langage compacts pour la reconnaissance vocale |
Picard, Francis |
Boucher, Dominique; Lapalme, Guy |
| 1991 |
Générateur intelligent de tests adapté au domaine des protocoles de communication |
Gamache, Paul |
Bochmann, Gregor V.; Vaucher, Jean |
| 1987 |
Prototype d'un système d'aide à la conception de tests de protocoles |
Barbeau, Michel |
Bochmann, Gregor V.; Sarikaya, Behcet |
| 1997 |
On conformance testing of systems communicating by Rendezvous |
Tan, Qiang-Ming |
Bochmann, Gregor V.; Petrenko, Alexandre |
| 1996 |
On the development of conformance test suites in view of their fault coverage |
Yao, Mingyu |
Bochmann, Gregor V.; Petrenko, Alexandre |
| 1991 |
Évaluation du langage de spécification MONDEL à la description de protocoles de communication |
Poirier, Stéphane |
Bochmann, Gregor V.; Mondain-Monval, Pierre |
| 1987 |
Contribution à la description et à la réalisation de systèmes interactifs |
El Iraki, Abdelhamid |
Bochmann, Gregor V.; Lapalme, Guy |
| 1995 |
Un cadre d'application pour interfaces de gestion OSI |
Tessier, Jean |
Bochmann, Gregor V.; Keller, Rudolf |
| 1997 |
Modélisation orientée objet des éléments de réseau SONET et application à la gestion de réseau |
Chaker, Kamel Yahia |
Bochmann, Gregor V.; Gregoire, Jean-Charles |
| 1992 |
Synthèse d'algorithmes de contrôle pour environnement réparti |
Levy, Michel |
Bochmann, Gregor V.; Gecsei, Jan |
| 1988 |
Système informatique réparti pour l'animation de visages réels ou synthétiques synchronisée avec une parole synthétisée |
Girard, Paul |
Bochmann, Gregor V.; Gecsei, Jan |
| 1997 |
Gestion automatique de la reconfiguration dans les réseaux et systèmes ouverts distribués |
Dini, Petre |
Bochmann, Gregor V.; Frasson, Claude; Boutaba, Raouf |
| 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 |
| 1993 |
Étude de traduction entre les langages de spécification SDL et VHDL |
Amoussou, Marie Clémence |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1992 |
Diagnostic tests for protocol implementations modeled by finite state machines |
Ghedamsi, Abderrazak ben Naceur |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1993 |
Évaluation du flux de données couvert par une suite de tests |
Caouette, Clémence |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1993 |
Génération de tests pour le service de communication personnalisé |
Htite, El Houssain |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1992 |
Modification dynamique des spécifications dans un environnement orienté-objets |
Erradi, Mohammed |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1994 |
Intégration des langages ASN. 1 et Mondel : traduction des structures de données ASN. 1 en Mondel à l'aide de l'outil CENTAUR |
Zerghouni, Mostafa |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1993 |
Développement d'un environnement de test et de diagnostique |
Salvail, Pierre |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1992 |
Sélection de tests pour les protocoles de communication |
Dubuc, Martin |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1996 |
Formal method for the design of real-time communicating subsystems and controllers |
Tao, Zhongpīng |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1994 |
Spécification formelle et test pour boîte à outils X.25 |
Zamoum, Rachid |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1993 |
Interconnexion des réseaux assurant le service de communication personnalisé |
Dargham, Joumana B. |
Bochmann, Gregor V.; Das, Anindya |
| 1994 |
Traduction d'un sous-ensemble de SDL en Estelle |
Thiboutôt, Alain |
Bochmann, Gregor V. |
| 1997 |
Développement d'un éditeur graphique pour les suites de tests de protocoles de communication |
Soukeur, Abdelouahed |
Bochmann, Gregor V. |
| 1998 |
Développement de tests à partir d'une spécification formelle en SDL : le protocole de signalisation ATM/PNNI |
Maguiraga, Saoudatou |
Bochmann, Gregor V. |
| 1995 |
Construction incrémentielle de spécifications pour systèmes distribués |
Khendek, Ferhat |
Bochmann, Gregor V. |
| 1994 |
Développement d'un environnement pour le langage Mondel en utilisant l'outil CENTAUR |
Drissi, Jawad |
Bochmann, Gregor V. |