ANNEE 2016

N° 1588 - Aissat R / Gaudel M. C. / Voisin F / Wolff B - PRUNING INFEASIBLE PATHS VIA GRAPH TRANSFORMATIONS AND SYMBOLIC EXECUTION : A METHOD AND A TOOL

N° 1587 - Franova M / Hutter D / Kodratoff Y - ALGORITHMIC CONCEPTUALIZATION OF TOOLS FOR PROVING BY INDUCTION "UNWINDING" THEOREMS, A CASE STUDY

N° 1586 - Brucker A D / Brugger L / Feliachi A / Keller C / Krieger M P / Longuet D / Nemouchi Y / Tuong F / Wolff B - HOL-TestGen Version 1.8, USERGUIDE

N° 1585 - Bienvenu M / Bourgaux C / Goasdoué F - QUERY-DRIVEN REPAIRING OF INCONSISTENT DL-LIKE KNOWLEDGE BASES

N° 1584 - Tsandilas T / Dragicevic P - ACCOUNTING FOR CHANCE AGREEMENT IN GESTURE ELICITATION STUDIES

ANNEE 2015

N° 1583 -  Nemouchi Y / Feliachi A / Wolff B / Proch C - ISABELLE IN CERTIFICATION PROCESSES

N° 1582 - Brucker A D / Tuong F / Wolff B - FEATHERWEIGHT OCL, A PROPOSAL FOR A MACHINE_CHECKED FORMAL SEMANTICS FOR OCL2.5

N° 1581 - Singh V V / Jouini O / Lisser A - EXISTENCE OF NASH EQUILIBRIUM FOR CHANCE-CONSTRAINED GAMES

N° 1580 - Bienvenu M / Bourgaux C / Goasdoué F - EXPLAINING QUERY ANSWERS UNDER INCONSISTENCY-TOLERANT SEMANTICS OVER DESCRIPTION LOGIC KNOWLEDGE BASES

N° 1579 - Franova M / Kodratoff Y - CHOOSING AN INDUCTION VARIABLE IN UNIVERSALLY QUANTIFIED ATOMIC FORMULAS

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

N° 1577 - Contejean E - RAPPORT SCIENTIFIQUE PRESENTE POUR L'OBTENTION D'UNE HABILITATION A DIRIGER DES RECHERCHES

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

ANNEE 2014

N° 1575 - Spyratos N / Sugibuchi T - A HIGH LEVEL QUERY LANGUAGE FOR BIG DATA ANALYTICS

N° 1574 - Cheng J / Gicquel C / Lisser A - A NEW PARTIAL SAMPLE AVERAGE APPROXIMATION METHOD FOR CHANCE CONSTRAINED PROBLEMS

N° 1573 - Blanchard P / Dolev S / Beauquier J / Delaet S - PRACTICALLY SELF-STABILIZING PAXOS REPLICATED STATE-MACHINE

N° 1572 - Bienvenu M / Bourgaux C / Goasdoue F - QUERYING INCONSISTENT DESCRIPTION LOGIC KNOWLEDGE BASES UNDER PREFERRED REPAIR SEMANTICS

N° 1571 - Mackay W - STRUCTURED OBSERVATION TO SUPPORT INTERACTIO DESIGN

ANNEE 2013

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

N° 1569 - Cavalcanti A / Gaudel M C - A NOTE ON TEST SELECTION FOR CONF REFINEMENT

N° 1568 - Cavalcanti A / Gaudel M C - TEST SELECTION FOR TRACES REFINEMENT

N° 1567 - Cavalcanti A / Gaudel M C - DATA-FLOW COVERAGE FOR TESTING IN CIRCUS

N° 1566 - Houda M / Lisser A - SECOND-ORDER CONE PROGRAMMING APPROACH FOR ELLIPTICALLY DISTRIBUTED JOINT PROBABILISTIC CONSTRAINTS WITH DEPENDENT ROWS

N° 1565 - Brucker A D / Longuet D / Tuong F / Wolff B - ON THE SEMANTICS OF OBJECT-ORIENTED DATA STRUCTURES AND PATH EXPRESSIONS

N° 1564 - Chen J / Cohen-Boulakia S / Froidevaux C - SPFLOW : MAKE YOUR SCIENTIFIC WORKFLOWS EASIER TO USE

N° 1563 - Conchon S / Goel A / Krstic S / Mesbout A / Zaïdi F - INVARIANTS FOR FINITE INSTANCES... AND BEYOND

N° 1562 - Feliachi A / Gaudel M C / Wolf B - EXHAUSTIVE TESTING IN HOL-TestGen/CirTA A CASE STUDY

N° 1561 - Adasme P / Lisser A / Wang C / Soto I - SCHEDULING IN WIRELESS OFDMA-TDMA NETWORKS USING VARIABLE NEIGHBORHOOD SEARCH METAHEURISTIC

N° 1560 - Auger C / Bouzid Z / Courtieu P / Tixeuil S / Urbain X - CERTIFIED IMPOSSIBILITY RESULTS FOR BYZANTINE-TOLERANT MOBILE ROBOTS

N° 1559 - Pernelle N / Sais F / Symeonidou D -  AN AUTOMATIC KEY DISCOVERY APPROACH FOR DATA LINKING

N° 1558 - Blanchard P / Dolev S / Beauquier J / Delaet S - SELF-STABILIZING PAXOS

N° 1557 - Noura H / Al Agha K /Martin S - A NEW EFFICIENT AUTHENTIFICATION ENCRYPTION SCHEME FOR RANDOM LINEAR NETWORK CODING

N° 1556 - Cheng J / Delage E / Lisser A - DISTRIBUTIONALLY ROBUST STOCKASTIC KNAPSACK PROBLEM

ANNEE 2012

N° 1555 - Andrade R - LE PROBLEME DU PLUS COURT CHEMIN PASSANT PAR UN ENSEMBLE DONNE DE NOEUDS

N° 1554 - Adasme P / Andrade R / Letournel M / Lisser A - UNE FORMULATION POLYNOMIALE POUR LE PROBLEME STOCHASTIQUE DE LA FORET DE POIDS MAXIMUM

N° 1553 - Andrade R - LES ARBRES DE CRISTAL

N° 1552 - Andrade R / Freitas A - SEPARATION COMBINATOIRE DISJONCTIVE DANS UN ALGORITHME D'ARBRE DE SOUS-GRADIENT POUR LE PROBLEME DCMST AVEC DES BORNES VNS-LAGRANGIENNES

N° 1551 - Brucker A D / Brugger L / Krieger M P / Wolff B - HOL-TestGen 1.7.0 USER GUIDE

N° 1550 - Gruau F - SELF DEVELOPING NETWORK 2 : INTRINSIC UNIVERSAL MACHINES

N° 1549 - Gruau F - SELF DEVELOPING NETWORK : A SIMPLE AND GENERIC MODEL FOR DISTRIBUTED GRAPH GRAMMARS

ANNEE 2011

N° 1548 - Cheng J / Lisser A - A SECOND-ORDER CONE PROGRAMMING APPROACH FOR LINEAR PROBABILISTIC CONSTRAINTS

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

ANNEE 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

ANNEE 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

ANNEE 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

ANNEE 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

ANNEE 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

ANNEE 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

ANNEE 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

ANNEE 2003

N° 1381 - Guiard Y / Beaudouin-Lafon M / Bastin J / Pasveer D / Zhai S - THE INTERACTION OF VIEW SIZE AND POINTING DIFFICULTY IN MULTI-SCALE INFORMATION WORDS

N° 1380 - Corbineau P - FIRST-ORDER REASONING IN THE CALCULUS OF INDUCTIVE CONSTRUCTIONS

N° 1379 - Guiard Y / Blanch R / Beaudouin-Lafon M - VECTOR POINTING : OBJECT VS. PIXEL SELECTION IN GRAPHICAL USER INTERFACES

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

N° 1377 - Kouider M / Veestergaard P D - GENERALIZED CONNECTED DOMINATION IN GRAPHS

N° 1376 - Fraigniaud P / Gavoille C / Paul C - ELECTICISM SHRINKS THE WORLD

N° 1375 - Bidoit N / Cerrito S / Thion V - UN PREMIER PAS VERS LA MOBILISATION DES DONNEES SEMI-STRUCTUREES PAR LA LOGIQUE MULTI-MODALE HYBRIDE

N° 1374 - Forge D / Kouider M - COVERING OF THE VERTICES OF A GRAPH BY SMALL CYCLES

N° 1373 - Blanch R / Guiard Y / Beaudouin-Lafon M - SEMANTIC POINTING : IMPROVING TARGET ACQUISITION WITH CONTROL-DISPLAY RATIO ADAPTATION

N° 1372 - Appert C / Beaudouin-Lafon M / Mackay W E - CONTEXT MATTERS : EVALUATING INTERACTION TECHNIQUES WITH THE CIS MODEL

N° 1371 - Rigaux P / Spyratos N - GENERATING AND SYNDICATION OF LEARNING OBJECT METADATA

N° 1370 - Herman T / Tixeuil S - A DISTRIBUTED TDMA SLOT ASSIGNMENET ALGORITHM FOR WIRELESS SENSOR NETWORKS

N° 1369 - Filliatre J C - DESIGN OF A PROOF ASSISTANT : COQ VERSION 7

N° 1368 - Filliatre J C - HASH CONSING IN AN ML FRAMEWORK

N° 1367 - Filliatre J C - A THEORY OF MONADS PARAMETERIZED BY EFFECTS

N° 1366 - Filliatre J C - WHY : A MULTI-LANGUAGE MULTI-PROVER VERIFICATION TOOL

N° 1365 - Badis H / Al Agha K - DISTRIBUTED ALGORITHMS FOR SINGLE AND MULTIPLE-METRIC LINK STATE QoS ROUTING

N° 1364 - Gouraud S D - GENERATION DE TESTS A L'AIDE D'OUTILS COMBINATOIRES : PREMIERS RESULTATS EXPERIMENTAUX

N° 1363 - Roussel N / Evans H / Hansen H - MIRRORSPACE :USING PROXIMITY AS AN INTERFACE TO VIDEO-MEDIATED COMMUNICATION

N° 1362 - Yao J Y - RAPPORT SCIENTIFIQUE PRESENTE POUR L'OBTENTION D'UNE HABILITATION A DIRIGER DES RECHERCHES

N° 1361 - Delaet S / Ducourthial B / Tixeuil S - SELF-STABILIZATION WITH r-OPERATORS IN UNRELIABLE DIRECTED NETWORKS

N° 1360 - Hu Z / Li H - A NOTE ON ORE CONDITION AND CYCLE STRUCTURE

N° 1359 - Herault T / Lassaigne R / Magniette F / Peyronnet S - APPROXIMATE PROBABILISTIC MODEL CHECKING

N° 1358 - Franova M - LA "FOLIE" DE BRUNELLESCHI ET LA CONCEPTION DES SYSTEMES COMPLEXES

N° 1357 - Johnen C / Petit F / Tixeuil S - AUTO-STABILISATION ET PROTOCOLES RESEAU

N° 1356 - Favaron O / Henning M A - PAIRED DOMINATION IN CLAW-FREE CUBIC GRAPHS

N° 1355 - Berthome P / Diallo M / Ferreira A - GENERALIZED PARAMETRIC MULTI-TERMINAL FLOW PROBLEM

N° 1354 - Petitjean E - DESIGNING TIMED TEST CASES FROM REGION GRAPHS

N° 1353 - Johnen C / Tixeuil S - ROUTE PRESERVING STABILIZATION

N° 1352 - Hu Z / Li H - WEAK CYCLE PARTITION INVOLVING DEGREE SUM CONDITIONS

N° 1351 - Favaron O / Henning M A - TOTAL DOMINATION IN CLAW-FREE GRAPHS WITH MINIMUM DEGREE TW

N° 1350 - Faik T / Sacle J F - SOME b-CONTINUOUS CLASSES OF GRAPH

N° 1349 - Fraigniaud P / Gauron P  - THE CONTENT-ADDRESSABLE NETWORK D2B

N° 1348 - Amar D / Flandrin E / Gancarzewicz G / Wojda A P - BIPARTITE GRAPHS WITH EVERY MATCHING IN A CYCLE

N° 1347 - Flandrin E / Li H / Marczyk A / Wozniak M - A CHVATAL-ERDOC TYPE CONDITION FOR PANCYCLABILITY

N° 1346 - Barth D / Berthome P / Laforest C / Vial S - SOME EULERIAN PARAMETERS ABOUT PERFORMANCES OF A CONVERGENCE ROUTING IN A 2D-MESH NETWORK

N° 1345 - FLandrin E / Li H / Wei B - A SUFFICIENT CONDITION FOR PANCYCLABILITY OF GRAPHS

ANNEE 2002

N° 1344 - Matte-Tailliez O / Roche M / Kodratoff Y - A PRECISE AUTOMATIC EXTRACTION OF TERMINOLOGY IN GEMONICS

N° 1343 - Djelloul S / Kouider M - MINIMUM k-SELF-REPAIRING GRAPHS

N° 1342 - Hu Z / Li H - PARTITION OF A GRAPH INTO CYCLES AND VERTICES

N° 1341 - Flandrin E / Li H / Shu J - A SUFFICIENT CONDITION FOR CYCLABILITY IN DIRECTED GRAPHS

N° 1340 - Drach-Temam N - RAPPORT SCIENTIFIQUE PRESENTE POUR L'OBTENTION D'UNE HABILITATION A DIRIGER DES RECHERCHES

N° 1339 - Haggkvist R / Li H - LONG CYCLES IN GRAPHS WITH SOME LARGE DEGREE VERTICES

N° 1338 - Balister P N / Kostochka A V / Li H / Schelp R H - BALANCED EDGE COLORINGS

N° 1337 - Enomoto H / Li H - PARTITION OF A GRAPH INTO CYCLES AND DEGENERATED CYCLES

N° 1336 - Li H / Wozniak M - A NOTE ON GRAPHS CONTAINING ALL TREES OF GIVEN SIZE

N° 1335 - Egawa Y / Enomoto H / Faudree R J / Li H / Schiermeyer I - TWO-FACTORS EACH COMPONENT OF WHICH CONTAINS A SPECIFIED VERTEX