Internal Publications (Production scientifique) - Laboratoire de Recherche en Informatique
Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Internal Publications
Research results
Internal Publications


logo_lri

 


Year 2011

N° 1547 - Feliachi A / Gaudel M C / Wolff B - ISABELLE/CIRCUS : A PROCESS SPECIFICATION AND VERIFICATION ENVIRONMENT

N° 1546 - Letournel M / Lisser A / Schulz R - IS THE POLYTOPE ASSOCIATED WITH A TWO STAGE STOCHASTIC PROBLEM TDI ? (version révisée du rapport n° 1535/2010)

N° 1545 - Beauquier J / Blanchard P / Burman J / Delaet S - EXACT TIME COMPLEXITY OF ZebraNet WITH COVER TIMES

N° 1544 - Felliachi A - REPRESENTING CIRCUS OPERATIONAL SEMANTICS IN ISABELLE/HOL

N° 1543 - Mahéo M / Saclé J F - SOME RESULTS ON (p,g,sigma)-VALUATION OF GRAPHS

N° 1542 - Bentakouk L / Poizat P / Zaidi F - A FORMAL FRAMEWORK FOR SERVICE
ORCHESTRATION TESTING BASED ON SYMBOLIC TRANSITION SYSTEMS 

N° 1541 - Zemirline N / Bourda Y / Reynaud C -  A TYPOLOGY OF ADAPTATION PATTERNS
FOR EXPRESSING ADAPTIVE NAVIGATION IN ADAPTIVE HYPERMEDIA

N° 1540 - Zemirline N / Bourda Y - EXPRESSING ADAPTATION STRATEGIES USING ADAPTATION PATTERNS

 

Year 2010

N° 1539 - Benfattoum Y / Martin S / Gawedzki I / Al Agha K - I2SWP : ROUTING ALGORITHM WITH INTRA-FLOW INTERFERENCE CONSIDERATION IN AD HOC NETWORK

N° 1538 - Conchon S / Contejean E / Iguernelala M - CANONIZED REWRITING AND GROUP AC COMPLETION MODULO SHOSTAK THEORIES

N° 1537 - Johnen C / Mekhaldi F - SELF-STABILIZING COMPUTATION AND PRESERVATION OF KNOWLEDGE OF NEIGHBOR CLUSTERS

N° 1536 - Odou S / Martin S / Al Agha K - CONTROLE DE TOPOLOGIE BASE SUR LE TRAFIC DANS LES RESEAUX MULTI-SAUTS SANS FIL

N° 1535 - Letournel M / Lisser A - Schulz R - IS THE POLYTOPE ASSOCIATED WITH A TWO STAGE STOCHASTIC PROBLEM TDI ?

N° 1534 - Oudinet J - RANDOM EXPLORATION OF MODELS

N° 1533 - Bau O / Ghomi E / Mackay W - ARPEGE : DESIGN AND LEARNING OF MULTI-FINGER CHORD GESTURES

 

Year 2009

N° 1532 - Toffano-Nioche C - STRATEGIES D'ANNOTATION FONCTIONNELLE

N° 1531 - Salem Da Silva P - AN ENVIRONMENT SPECIFICATION LANGUAGE FOR MULTI-AGENT SYSTEMS

N° 1530 - Spyratos N / Meghini C - COMBINING PREFERENCE RELATIONS : COMPLETENESS AND CONSISTENCY

N° 1529 - Zemriline N / Bourda Y / Reynaud C -  LEVERAGING ADAPTIVE WEB WITH ADAPTATION PATTERNS

N° 1528 - Kouider M / Ouatiki S - SUFFICIENT CONDITION FOR THE EXISTENCE OF AN EVEN (a,b)-FACTOR IN GRAPHS

N° 1527 - Kadi N / Al Agha K - SWITCHED CODE

N° 1526 - Letondal C / Tabard A / Mackay W E - QUAND TU L'AS ECRIT TU L'AS LU !

N° 1525 - Rahme J / Al Agha K - A RECURSIVE MODEL FOR BATTERY LIFETIME ESTIMATION IN WIRELESS SENSOR NETWORKS

N° 1524 - Kouider M - STABILITY NUMBER AND f-FACTORS IN GRAPHS

N° 1523 - Adasme P / Lisser A / Soto I - A ROBUST SEMIDEFINITE RELAXATION APPROACH FOR DOWNLINK OFDMA RESOURCE ALLOCATION USING ADAPTIVE MODULATION

N° 1522 - Adasme P / Lisser A / Soto I - A QUADRATIC-SEMIDEFINITE RELAXATION APPROACH FOR DL OFDMA RESOURCE ALLOCATION USING ADAPTIVE MODULATION

N° 1521 - Mustière S / Reynaud C / Safar B / Abadie N - SAME WORDS ? SAME WORLDS ? COMPARING ONTOLOGIES UNDERLAYING GEOGRAPHIC DATA

N° 1520 - Roussel N / Chapuis O - UIMARKS : QUICK GRAPHICAL INTERACTION WITH SPECIFIC TARGETS

N° 1519 - Franova M - A CONSTRUCTION OF SEVERAL DEFINITIONS RECURSIVE OVER THE VARIABLE UNDER THE EXPONENT FOR THE EXPONENT FUNCTION

N° 1518 - Johnen C / Mekhaldi F -ROBUST SELF-STABILIZING CONSTRUCTION OF BOUNDED SIZE WEIGHT-BASED CLUSTERS

N° 1517 - Nouioua F / Dague P - DIAGNOSTICABILITE DES SYSTEMES A EVENEMENTS DISCRETS : ETAT DE L’ART

N° 1516 - Madalinski A / Nouioua F / Dague P - DIAGNOSABILITY VERIFICATION WITH PETRI NET UNFOLDINGS

N° 1515 - Denise A / Ponty Y / Termier M - CONTROLLED NON UNIFORM RANDOM
GENERATION OF DECOMPOSABLE
STRUCTURES

N° 1514 - Triantafyllidou D / Al Agha K - IMPROVE TCP PERFORMANCE IN AD HOC
NETWORKS, WITH DELAY ROUTING AND
PATH RESERVATION

N0 1513 - Diez N / Boukhatem L / Stojmenovic I - LINK TRANSPORT TIME AND INFRASTRUCTURE AIDED DELAY EFFICIENT ROUTING IN VANETs

N° 1512 - Rahme J / Boukhatem L - PREDICTIVE SINK MOBILITY FOR TARGET TRACKING IN SENSOR NETWORKS

 

Year 2008

N° 1511 - Franova M - A CONSTRUCTION OF A DEFINITION RECURSIVE WITH RESPECT TO THE SECOND VARIABLE FOR THE ACKERMANN’S FUNCTION

N° 1510 - Kouider M / Ouatiki S - STABILITY NUMBER AND EVEN (2,b)-FACTORS IN GRAPHS

N° 1509 - Al Agha K / Kadi N / Stojmenovic I - DIGITAL FOUNTAIN CODING WITH XOR OF ENCODED PACKETS FOR BROADCASTING IN WIRELESS MULTI-HOP NETWORKS USING NETWORK CODING

N° 1508 - Chapuis O / Dragicevic P - SMALL TARGETS : WHY ARE THEY SO DIFFICULT TO ACQUIRE ?

N° 1507 -  Gueddana S / Roussel N - A STUDY OF MULTISCALE COMMUNICATION AND THE INFLUENCE OF INFORMATION PACE ON PERIPHERAL ATTENTION

N° 1506 - Bau O / Petrevski U / Mackay W - BubbleWrap : DYNAMIC PASSIVE FEEDBACK FOR DISPLAYING AMBIENT INFORMATION

N° 1505 - Kosuch S / Lisser A - STOCHASTIC KNAPSACK PROBLEMS

N° 1504 - Guelfi N / Pruski C / Reynaud C - EXPERIMENTAL ASSESSMENT OF THE TARGET ADAPTIVE ONTOLOGY-BASED WEB SEARCH FRAMEWORK

N° 1503 - Nancel M / Beaudouin-Lafon M - EXTENDING MARKING MENUS WITH INTEGRAL DIMENSIONS : APPLICATION TO THE DARTBOARD MENU 

N° 1502 - Huot S / Nancel M / Beaudouin-Lafon M - PUSH MENU : EXTENDING MARKING MENUS FOR PRESSURE-ENABLED INPUT SERVICES

N° 1501 - Spyratos N / Simonenko E / Sugibuchi T - DATA ANALYSIS BASED ON FUNCTIONAL DEPENDENCIES

N° 1500 - Kadi N / Al Agha K - NETWORK CODING BASED FLOODING USING FOUNTAIN CODES

N° 1499 - Kadi N / Al Agha K - OPTIMIZED MPR-BASED FLOODING IN WIRELESS AD-HOC NETWORK USING NETWORK CODING

N° 1498 - Gaivoronski A A / Lisser A / Lopez R - KNAPSACK PROBLEM WITH PROBABILITY CONSTRAINTS

N° 1497 -Maheo M / Saclé J F - SOME RESULTS ON (Sigma,p,g)-VALUATION OF CONNECTED GRAPHS

N° 1496 - Tsandilas F / Letondal C / Mackay W E - MUSINK : COMPOSING MUSIC THROUGH AUGMENTED DRAWING

N° 1495 - Calvier F E / Reynaud C - GUIDING THE ONTOLOGY MATCHING PROCESS WITH REASONING IN A PDMS

N° 1494 - Denise A / Gaudel M C / Gouraud S D / Lassaigne R / Oudinet J / Peyronnet S - COVERAGE-BIASED RANDOM EXPLORATION OF LARGE MODELS AND APPLICATION TO TESTING

N° 1493 - Franova M - TOWARDS A WORLD-WIDE RECOGNITION OF IMPOLITE DESCARTO-ACKERMANNO-FILKORNISED SYSTEMS

N° 1492 - Bekkai S / Kouider M - ON MEAN DISTANCE AND GIRTH

N° 1491 - Roussel N - RAPPORT SCIENTIFIQUE PRESENTE POUR L’OBTENTION D’UNE HABILITATION A DIRIGER DES RECHERCHES

N° 1490 - Djelloul M / Denise A - AUTOMATED MOTIF DISCOVERING IN RNA MOLECULES

N° 1489 - Peres O - IMPLEMENTATION OF AN ORACLE ON TOP OF A PEER SAMPLING SERVICE

N° 1488 - Clément J / Herault T / Messika S / Peres O - ON THE COMPLEXITY OF A SELF-STABILIZING SPANNING TREE ALGORITHM FOR LARGE SCALE SYSTEMS

N° 1487 - Adamus L - EDGE CONDITION FOR LONG CYCLES IN BIPARTITE GRAPHS

N° 1486 - Johnen C / Higham L - FAULT TOLERANT IMPLEMENTATIONS OF REGULAR REGISTERS BY SAFE REGISTERS

N° 1485 - Adamus L - ORIENTATIONS OF LONG CYLES IN BIPARTITE DIGRAPHS

 

Year 2007

N° 1484 - Li H / Zhou S / Wang G - ALGORITHM FOR TWO DISJOINT LONG PATHS IN CONNECTED GRAPHS

N° 1483 - Li H / Zhou S / Wang G - THE k-DOMINATING CYCLES IN GRAPHS

N° 1482 - Li H / Miao H / Liu L / Li L / Zhang H - ENERGY CONSERVATION IN WIRELESS SENSOR NETWORKS AND CONNECTIVITY OF GRAPHS

N° 1481 - Li H / Wang G / Zhou S - LONG ALTERNATING CYCLES IN EDGE-COLORED COMPLETE GRAPHS

N° 1480 - Chapuis O / Blanch R / Beaudouin-Lafon M - FITTS' LAW IN THE WILD : A FIELD STUDY OF AIMED MOVEMENTS

N° 1479 - Johnen C - RAPPORT SCIENTIFIQUE PRESENTE POUR L'OBTENTION D'UNE HABILITATION A DIRIGER DES RECHERCHES

N° 1478 - Spyratos N / Christophides V / Georgiadis P / Nguer M - SEMANTICS AND PRAGMATICS OF PREFERENCE GUERIES IN DIGITAL LIBRARIES

N° 1477 - Delorme C - GRAPHES, HYPERGRAPHES, DROITE PROJECTIVE, QUATERNIONS

N° 1476 - Rance B / Lisacek / Froidevaux C - AN ALGORITHM FOR MINING MINIMAL SEQUENTIAL NUGGETS OF KNOWLEDGE

N° 1475 - Ilcinkas D / Nisse N / Soguet D - THE COST OF MONOTONICITY IN DISTRIBUTED GRAPH SEARCHING

N° 1474 - Conchon S / Filliatre J C - SEMI-PERSISTENT DATA STRUCTURES

N° 1473 - Cavalcanti A / Gaudel M C - TESTING FOR REFINEMENT IN CSP

N° 1472 - Clément J / Messika S / Rozoy B - COMPLEXITY FOR SELF-STABILIZING SENSOR NETWORKS

N° 1471 - Magniez F - RAPPORT SCIENTIFIQUE PRESENTE POUR L'OBTENTION D'UNE HABILITATION A DIRIGER DES RECHERCHES

N° 1470 - Beauquier J / Clement J / Messika S / Rosaz L / Rozoy B - SELF-STABILIZING COUNTING IN MOBILE SENSOR NETWORKS

N° 1469 - Nisse N / Soguet D - GRAPH SEARCHING WITH ADVICE

N° 1468 - Gaudel M C / Le Gall P - TESTING DATA TYPES IMPLEMENTATIONS FROM ALGEBRAIC SPECIFICATIONS

N° 1467 - Berthome P - RAPPORT SCIENTIFIQUE PRESENTE POUR L'OBTENTION D'UNE HABILITATION A DIRIGER DES RECHERCHES

N° 1466 - Peres O / Herault T - SELF-STABILISING OVERLAY NETWORK FOR EFFICIENT PROCESSES NUMBERING IN LARGE SCALE SYSTEMS

N° 1465 - Zaidi F / Lallali M - USE OF VERIFICATION TECHNIQUES FOR COMPONENTS TESTING

 

Year 2006

N° 1464 - Johnen C / Nguyen L H - SELF-STABILIZING BOUNDED SIZE CLUSTERING ALGORITHM

N° 1463 - Bekkai S / Kouider M - ON PSEUDO-FACTORS

N° 1462 - Bekkai S / Forge D / Kouider M - COVERING THE VERTICES OF A GRAPH BY CYCLES OF BOUNDED LENGTH

N° 1461 - LI H / Wang G - COLOR DEGREE AND ALTERNATING CYCLES IN EDGE-COLORED GRAPHS

N° 1460 - Li H / Wang G - COLOR DEGREE AND HETEROCHROMATIC CYCLES IN EDGE-COLORED GRAPHS

N° 1459 - Gradinariu M / Tixeuil S - CONFLICT MANAGERS FOR SELF-STABILIZATION WITHOUT FAIRNESS ASSUMPTION

N° 1458 - Djelloul S / Soguet D - THE COST OF LINEARIZING GRAPH PROPERTIES

N° 1457 - Herault T / Lemarinier P / Peres O / Pilard L / Beauquier J - SELF-STABILIZING SPANNING TREE ALGORITHM FOR LARGE SCALE SYSTEMS

N° 1456 - Fraigniaud P / Nisse N - MONOTONY PROPERTIES OF CONNECTED VISIBLE GRAPH SEARCHING

N° 1455 - Beauquier J / Johnen C / Messika S - ALL k-BOUNDED POLICIES ARE EQUIVALENT FOR SELF STABILIZATION

N° 1454 - Delorme C / Forge D - COUNTING CLOSED AND OPEN WALKS

N° 1453 - Reynaud C / Safar B - STRUCTURAL TECHNIQUES FOR ALIGNMENT OF TAXONOMIES : EXPERIMENTS AND EVALUATION

N° 1452 - Tixeuil S - RAPPORT SCIENTIFIQUE PRESENTE POUR L'OBTENTION D'UNE HABILITATION A DIRIGER DES RECHERCHES

N° 1451 - Herrbach C / Denise A / Dulucq S / Touzet H - ALIGNMENT OF RNA SECONDARY STRUCTURES USING A FULL SET OF OPERATIONS

N° 1450 - Herault T / Hoarau W / Lemarinier P / Rodriguez E / Tixeuil S - FAIL-MPI : HOW FAULT-TOLERANT IS FAULT-TOLERANT MPI ?

N° 1449 - Higham L / Johnen C - SELF-STABILIZING IMPLEMENTATION OF ATOMIC REGISTER BY REGULAR REGISTER IN NETWORK FRAMEWORK

N° 1448 - Beauquier J / Johnen C / Messika S - COMPUTING AUTOMATICALLY THE STABILIZATION TIME AGAINST THE WORST AND THE BEST SCHEDULERS

N° 1447 - Ponty Y / Denise A - GenRGenS VERSION 2.0 USER MANUAL

N° 1446 - Johnen C / Nguyen L H - ROBUST SELF-STABILIZING CLUSTERING ALGORITHM

N° 1445 - Denise A / Gaudel M C / Gouraud S D / Lassaigne R / Peyronnet S - UNIFORM RANDOM SAMPLING OF TRACES IN VERY LARGE MODELS

N° 1444 - Kaiser T / Kusel R / Li H / Wang G - A NOTE ON k-WALKS IN BRIDGELESS GRAPHS

N° 1443 - Li H / Wang G - COLOR NEIGHBORHOOD AND HETEROCHROMATIC MATCHINGS IN EDGE-COLORED BIPARTITE GRAPHS

N° 1442 - Zhang Z / Li H - EULERIAN SUBGRAPH CONTAINING GIVEN VERTICES

N° 1441 - Franova M - A TEST DESCARTO-ACKERMANNO-FILKORNISED OF THE SCULPTURE IN FOUR DIMENSIONS, THE BRUNELLESCHOSIS AND THE EPISTEMOLOGICAL PATENT OR THE PATENT LAW AND THE SYSTEM SCIENCE : DESIRE, DUTY OF FRAUD ?

N° 1440 - Signoles J - TOWARDS A ML EXTENSION WITH REFINEMENT : A SEMANTIC ISSUE

N° 1439 - Roussel N - TOWARDS MULTISCALE COMMUNICATIONS SYSTEMS

N° 1438 - Roussel N / Evans H / Hansen H - MORE ABOUT MirrorSpace

N° 1437 - Gueddana S;Roussel N - PELE-MELE, A VIDEO COMMUNICATION SYSTEM SUPPORTING A VARIABLE DEGREE OF ENGAGEMENT

N° 1436 - Cohen Boulakia S / Biton O / Froidevaux C - BioGuideSRS : QUERYING MULTIPLE SOURCES WITH A USER PERSPECTIVE

N° 1435 - Amar D / Flandrin E / Gancarzewicz G - A DEGREE CONDITION IMPLYING THAT EVERY MATCHING IS CONTAINED IN A HAMILTONIAN CYCLE

N° 1434 - Lestiennes G / Gaudel M C - MODELISATION ET TEST DE SYSTEMES COMPORTANT DES ACTIONS PRIORITAIRES

N° 1433 - Quetier B / Neri V / Cappello F - SCALABILITY COMPARISON OF 4 HOST VIRTUALIZATION TOOLS

N° 1432 - El Sahili A / Kouider M - ABOUT b-COLOURING OF REGULAR GRAPHS

N° 1431 - Roussel N - VERS DES SYSTEMES DE COMMUNICATION MULTI-ECHELLES

N° 1430 - Guiard Y / Chapuis O / Du Y / Beaudouin-Lafon M - ALLOWING CAMERA TILTS FOR DOCUMENT NAVIGATION IN STANDARD GUIs : A DISCUSSION AND AN EXPERIMENT

N° 1429 - Johnen C / Nguyen L H - SELF-STABILIZING CLUSTERING ALGORITHM FOR AD HOC NETWORKS

N° 1428 - Filliatre J C - BACKTRACKING ITERATORS

N° 1427 - Li H / Li X / Liu G / Wang G - THE HETEROCHROMATIC MATCHINGS IN EDGE-COLORED BIPARTITE GRAPHS

 

Year 2005

N° 1426 - Zhang Z / Li H - ALGORITHMS FOR LONG PATHS IN GRAPHS

N° 1425 - Chen G / Hu Z / Li H - ENDPOINT EXTENDIBLE PATHS IN DENSE GRAPHS

N° 1424 - Gyori E / Li H - A NOTE ON THE NUMBER OF TRIANGLES IN C(2k+1)-CYCLE-FREE GRAPHS

N° 1423 - Djelloul S - TREEWIDTH AND LOGICAL DEFINABILITY OF GRAPH PRODUCTS

N° 1422 - Berthome P / Gastal L / Lisser A - ROBUST ROUTING IN CHANGING TOPOLOGIES

N° 1421 - Hoarau W / Tixeuil S / Vauchelles F - EASY FAULT INJECTION AND STRESS TESTING WITH FAIL-FCI

N° 1420 - Hoarau W / Tixeuil S / Vauchelles F - FAULT INJECTION IN DISTRIBUTED JAVA APPLICATIONS

N° 1419 - Higham L / Johnen C - RELATIONSHIPS BETWEEN COMMUNICATION REGISTER MODELS IN NETWORKS

N° 1418 - Spyratos N - A FUNCTIONAL MODEL FOR DIMENSIONAL DATA ANALYSIS

N° 1417 - Benajam W / Lisser A / Minoux M - RELAXATIONS ET CALCULS DE BORNES INFERIEURES POUR LE QAP

N° 1416 - Mitton N / Fleury E / Guerin Lassous I / Sericola B / Tixeuil S - ON FAST RANDOMIZED COLORINGS IN SENSOR NETWORKS

N° 1415 - Genest F - ON THE COMPLEMENTATION ORBITS OF GRAPHS

N° 1414 - Vert R / Vert J P - CONSISTENCY AND CONVERGENCE RATES OF ONE-CLASS SVM AND RELATED ALGORITHMS

N° 1413 - Guiard Y / Chapuis O / Du Y / Beaudouin-Lafon M - NAVIGATION 3D EXPLORER UNE VASTE SURFACE 2D : LES PROMESSES DE LA VUE EN PERSPECTIVE

N° 1412 - Cordovil R M / Forge D - FLIPPING IN ACYCLIC AND STRONGLY CONNECTED GRAPHS

N° 1411 - Fekete J D - RAPPORT SCIENTIFIQUE PRESENTE POUR L'OBTENTION D'UNE HABILITATION A DIRIGER DES RECHERCHES

N° 1410 - Blance R - FACILITING POST-WIMP INTERACTION PROGRAMMING USING THE HIERARCHICAL STATE MACHINE TOOLKIT

N° 1409 - Conversy S / Mackay W E / Beaudouin-Lafon M / Roussel N - VIDEOPROBE : SHARING PICTURES OF EVERYDAY LIFE

N° 1408 - Stuerzlinger W / Chapuis O / Roussel N - USER INTERFACE FACADES : TOWARDS FULLY ADAPTABLE USER INTERFACES

N° 1407 - Chapuis O / Roussel N - METISSE IS NOT A 3D DESKTOP !

N° 1406 - Franova M - SYMBIOSIS DESCARTO-ACKERMANNO-FILKORNISED : WHY AND HOW ?

N° 1405 - Beauquier J / Delaet S / Haddad S - 1-ADAPTIVITY

N° 1404 - Franova M - LA "FOLIE" DE L'ATELIER DE LA CREATIVITE FORMELLE ET LA CONCEPTION DES SYSTEMES COMPLEXES

N° 1403 - Berthome P / Lebresne S / Nguyen K - COMPUTATION OF CHROMATIC POLYNOMIALS USING TRIANGULATIONS AND CLIQUE TREES

N° 1402 - Barth D / Cohen J / Faik T - NON-APPROXIMABILITY OF THE FALL ACHROMATIC NUMBER OPTIMIZATION PROBLEM

N° 1401 - Favaron O / Genest F / Kouider M - REGULAR PATH DECOMPOSITIONS OF ODD REGULAR GRAPHS

N° 1400 - Gouraud S D - AuGuSTe : A TOOL FOR STATISTICAL TESTING EXPERIMENTAL RESULTS

N° 1399 - Hoarau W / Tixeuil S - A LANGUAGE DRIVEN TOOL FOR FAULT INJECTION IN DISTRIBUTED SYSTEMS

N° 1398 - Franova M - LA "FOLIE" DE LA VERITE ET LA CONCEPTION DES SYTEMES COMPLEXES

N° 1397 - Fraigniaud P - A NEW PERSPECTIVE ON THE SMALL-WORLD PHENOMENON : GREEDY ROUTING IN TREE-DECOMPOSED GRAPHS

N° 1396 - Masuzawa T / Tixeuil S - A SELF-STABILIZING LINK-COLORING PROTOCOL RESILIENT TO UNBOUNDED BYZANTINE FAULTS IN ARBITRARY NETWORKS

 

Year 2004

N° 1395 - Barth D / Berthome P / Diallo M - EFFECTS OF CAPACITIES VARIATIONS ON MAXIMUM FLOWS, MINIMUM CUTS AND EDGE SATURATION

N° 1394 - Favaron O / Laskar R C / Rautenbach D - t-PARTITIONS AND s-COMPLETE t-PARTITIONS OF A GRAPH

N° 1393 - Blidia M / Chellali M / Favaron O - RATIOS OF SOME DOMINATION PARAMETERS IN GRAPHS AND CLAW-FREE GRAPHS

N° 1392 - Kouider M - b-CHROMATIC NUMER OF A GRAPH, SUBGRAPHS AND DEGREES

N° 1391 - Badis H / Al Agha K - OPTIMAL PATH SELECTION ANALYSIS IN AD HOC NETWORKS

N° 1390 - Badis H / Al Agha K - A NEW TECHNIQUE FOR REDUCING VERTICAL HANDOFF LATENCY IN WIRELESS OVERLAY NETWORKS

N° 1389 - Duchon P / Hanusse N / Tixeuil S - OPTIMAL SELF-STABILIZING MUTUAL EXCLUSION ON SYNCHRONOUS RINGS

N° 1388 - Termier A - EXTRACTION OF FREQUENT TREES IN AN HETEROGENEOUS CORPUS OF SEMI-STRUCTURED DATA : APPLICATION TO XML DOCUMENTS MINING

N° 1387 - Beauquier J / Pilard L / Rozoy B - OBSERVING LOCALLY SELF-STABILIZATION

N° 1386 - Denise A / Gaudel M C / Gouraud S D - A GENERIC METHOD FOR STATISTICAL TESTING

N° 1385 - Adjiman P / Chatalic P / Goasdoue F / Rousset M C / Simon L - DISTRIBUTED REASONING IN A PEER-TO-PEER SETTING

N° 1384 - Franova M - SYSTEMES DESCARTO-ACKERMANNO-FILKORNISES : DEFINITION ET APPLICATIONS

N° 1383 - Blidia M / Chellali M / Favaron O - INDEPENDENCE AND DOMINATION IN TREES

N° 1382 - Contejean E / Marche C / Urbain X / Tomas A P - MECHANICALLY PROVING TERMINATION USING POLYNOMIAL INTERPRETATIONS