Browsing LAMSADE (UMR CNRS 7243) by Title

Verification of an evaporator system with Uppaal

Ben Gaid, Mongi; Bérard, Béatrice; de Smet, Olivier (2005) Article accepté pour publication ou publié

Verification of Semantic Web Service Annotations Using Ontology-Based Partitioning

Belhajjame, Khalid; Embury, Suzanne; Paton, Norman W. (2014) Article accepté pour publication ou publié

Verifying Correctness of Web Services Choreography

Melliti, Tarak; Boutrous Saab, Céline; Rampacek, Sylvain (2006) Communication / Conférence

Vers l'adaptabilité dynamique des architectures orientés services

Ben Hmida, Mehdi; Haddad, Serge (2007) Communication / Conférence

Vers l'amélioration des interactions entre utilisateurs et systèmes de recommandation

Zhong, Jinfeng; Negre, Elsa (2022) Communication / Conférence

Vers un entrepôt de données pour le trafic routier

Bauzer-Medeiros, Claudia; Carles, Olivier; Jomier, Geneviève; Hébrail, Georges; De Vuyst, Florian; Joliveau, Marc; Hugueney, Bernard; Manouvrier, Maude; Naïja, Yosr; Scemama, Gérard; Steffan, Laurent (2006) Communication / Conférence

Vers un modèle général de management du système d'information et de connaissance de l'entreprise étendue

Grundstein, Michel; Rosenthal-Sabroux, Camille (2009) Communication / Conférence

Vers un modèle informatique générique de définition de règle de jeux

Quenault, Michel (2009) Article accepté pour publication ou publié

Vers un Support des Communications Multi-Parties pour les Systèmes Multi-Agents

Balbo, Flavien; Saunier, Julien (2008) Communication / Conférence

Vers une approche du système d'information et de connaissance transposée de l'approche du Knowledge Management dans l'entreprise étendue

Rosenthal-Sabroux, Camille; Grundstein, Michel (2009) Chapitre d'ouvrage

Vers une meilleure maîtrise des coûts engagés sur le cycle de vie, lors de la conception

Giard, Vincent; Gautier, Frédéric (2000-05) Article accepté pour publication ou publié

Vers une métrique de la commensurabilité des schémas d'interprétation

Arduin, Pierre-Emmanuel (2013-09) Thèse

Vers une modélisation des comportements en situation de crise

Arru, Maude; Negre, Elsa; Rosenthal-Sabroux, Camille (2017) Communication / Conférence

Vers une typologie de contexte pour les systèmes de recommandation

Negre, Elsa (2018) Communication / Conférence

Versatile black-box optimization

Liu, Jialin; Moreau, Antoine; Preuss, Mike; Rapin, Jeremy; Roziere, Baptiste; Teytaud, Fabien; Teytaud, O. (2020) Communication / Conférence

Les Versions de Bases de Données

Abdessalem, Talel; Bauzer-Medeiros, Claudia; Cellary, Wojtech; Manouvrier, Maude; Rukoz, Marta; Zamfiroiu, Michel (2019) Chapitre d'ouvrage

Les Versions

Cellary, Wojciech; Gançarski, Stéphane; Jomier, Geneviève; Manouvrier, Maude (2001) Chapitre d'ouvrage

The vertex k-cut problem

Cornaz, Denis; Furini, Fabio; Lacroix, Mathieu; Malaguti, Enrico; Mahjoub, Ali Ridha; Martin, Sébastien (2019) Article accepté pour publication ou publié

The vertex k-cut problem

Cornaz, Denis; Furini, Fabio; Lacroix, Mathieu; Malaguti, Enrico; Mahjoub, Ali Ridha; Martin, Sébastien (2019) Article accepté pour publication ou publié

Vertex-uncertainty in graph-problems

Murat, Cécile; Paschos, Vangelis (2008) Communication / Conférence