INDEX
L'index porte sur la bibliographie générale et sur les
bibliographies particulières.
$0-9 Chiffres et caractères spéciaux
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
0 a 9, car. spéciaux
$_finding_a_maximum independent set in time $o 2^{n 4}
$k$_covering_decidability_questions for graph
$o_2^{n_4}_$ finding a maximum independent set in time
1095_95_
10_gim_a_latex like language for building graphical interactive manuals user s guide and reference manual release
10_mtt_a_light weight multitasking library reference guide release
1161_97_
11_helios_to_unix and unix to helios communication without internet h2u and u2h libraries release
1201_98_
1214_99_
1_juin_2001_à octobre 2001 projet sécurité java card rapport d avancement phase
1d_2d_block_distributions pastix a parallel sparse direct solver based on a static scheduling for mixed
2001_les_arbres_pour la comparaison de structures secondaires d arn in actes du colloque gascom2001 sienne november
2001_projet_sécurité_java card rapport d avancement phase 1 juin 2001 à octobre
2001_à_octobre_2001 projet sécurité java card rapport d avancement phase 1 juin
2001_à_septembre_2002 projet sécurité java card rapport d avancement phase 2 novembre
2002_projet_sécurité_java card rapport d avancement phase 2 novembre 2001 à septembre
2003_rna_secondary_structure comparison exact analysis of the zhang shasha tree edit algorithm theoretical computer science to appear
2^{n_4}_$_finding a maximum independent set in time $o
2_lecture_hall_partitions
2_level_redunduncies_functions experimental results on the size of obdd representation of
2_novembre_2001_à septembre 2002 projet sécurité java card rapport d avancement phase
2d_block_distributions_pastix a parallel sparse direct solver based on a static scheduling for mixed 1d
2d_discrete_objects_geometrical topological and hierarchical structuring of overlapping
2d_objects_a_color model for rendering linear passive graphic
2d_sur_les_animaux dirigés
30_user_s_guide scotch
31_user_s_guide scotch
34_user_s_guide scotch and libscotch
3_sat_instances_on the random generation of
3d_image_segmentation_discrete deformable boundaries for
3d_objects_multiresolution_implicit representation of
3d_slicing_for_medical imaging fast arbitrarily oriented
4}_$_finding_a maximum independent set in time $o 2^{n
813_94_on_bandwidth cutwidth and quotient graphs
94_on_bandwidth_cutwidth and quotient graphs 813
95_1095_
97_1161_
98_1201_
99_1214_
=_l_b_l a
=l_b_encore_une autre preuve de décidabilité l a
=t_b_t_a
``nearest_point_on_object problem using recursive subdivision solving the
abstract_interpretation_of_prolog by means of constraint solving over symbolic finite domains efficient bottom up
accurate_tessellation_of_implicit sweep objects efficient and
acquisition_a_model_for the visualization of knowledge
actes_du_colloque_gascom2001 sienne november 2001 les arbres pour la comparaison de structures secondaires d arn in
acting_on_context_free graphs large semi groups
acyclic_and_k_distance coloring of the grid
acyclic_improper_colorings_of graphs
adaptive_resolution_using_riemannian metrics defined from image structure tensor deformable models with locally
adaptive_routing_tables_the compactness of
algorithm_analysis_of_a randomized rendezvous
algorithm_based_on_discrete maps a new split and merge
algorithm_for_antialiasing_of discrete regions a new
algorithm_for_cograph_recognition a new vertex splitting
algorithm_for_computing_a spanning tree in anonymous t prime graphs a distributed
algorithm_for_parallel_sparse fan innumerical factorization a mapping and scheduling
algorithm_for_static_mapping experimental analysis of the dual recursive bipartitioning
algorithm_theoretical_computer_science to appear 2003 rna secondary structure comparison exact analysis of the zhang shasha tree edit
algorithme_parallele_asynchrone_pour l etiquettage de composantes connexes avec une contrainte de taille un
algorithms_a_new_tool for the simulation and visualization of distributed
algorithms_coding_cells_of multidimensional digital spaces to write generic digital topology and geometry
algorithms_for_irregular_data expressing massivly parallel
algébriques_et_q_grammaires en maple utilisation des grammaires
all_graphs_the_compactness of internal routing for almost
almost_all_graphs_the compactness of internal routing for
alternating_trees_enumerating_
alternation_depth_hierarchy_is strict on binary trees the mu calculus
aléatoire_et_uniforme_de mots génération
ambiguity_and_pseudo_primality graph
analogues_des_fonctions_de bessel une preuve combinatoire polyominos et q
analysis_and_optimization_em code semantics
analysis_inter_pixels_euclidean paths for image
analysis_of_a_randomized rendezvous algorithm
analysis_of_sounds_using signal derivatives high precision fourier
analysis_of_the_dual recursive bipartitioning algorithm for static mapping experimental
analysis_of_the_zhang shasha tree edit algorithm theoretical computer science to appear 2003 rna secondary structure comparison exact
analysis_randomized_local_elections probabilistic and efficiency
animals_new_enumerative_results on two dimensional directed
animals_on_an_infinite family of lattices enumeration of directed
animals_percolation_models_and
animaux_dirigés_2d_sur les
animaux_dirigés_et_séries en variables partiellement commutatives modèles avec particules dures
anonymous_t_prime_graphs a distributed algorithm for computing a spanning tree in
another_enumeration_of_constellations
antialiasing_approach_for_image compositing a new
antialiasing_of_discrete_regions a new algorithm for
any_invertible_cellular_automaton can be represented with block permutations
appear_2003_rna_secondary structure comparison exact analysis of the zhang shasha tree edit algorithm theoretical computer science to
applications_hb_splines_an interesting subset of b splines for interactive cad
applications_small_k_dominating sets in planar graphs with
applications_spidle_a_dsl approach to specifying streaming
applications_using_high_performance fortran hpfit a set of integrated tools for the parallelization of
approach_for_color_image quantization split merge and grouping a new
approach_for_image_compositing a new antialiasing
approach_for_multiresolution_splines an hermitian
approach_of_graph_relabeling systems a generative
approach_to_declaring_specialization scenarios a pragmatic
approach_to_random_walks on graphs a syntactic
approach_to_specifying_streaming applications spidle a dsl
approche_parallèle_a_grain fin pour le filtrage morphologique par reconstruction une
approximate_distance_labeling_schemes
arbitrarily_oriented_3d_slicing for medical imaging fast
arborescence_une_architecture_répartie et réaliste de communication vers des groupes garantissant un ordre causal et total grâce à une
arborescences_une_généralisation_des résultats de kreweras sur le polynôme énumérateur des inversions dans les
arbres_avec_racines_mineurs d
arbres_pour_la_comparaison de structures secondaires d arn in actes du colloque gascom2001 sienne november 2001 les
architecture_répartie_et_réaliste de communication vers des groupes garantissant un ordre causal et total grâce à une arborescence une
are_spherical_or_contractible a class of lattices whose intervals
are_strongly_sequential_a direct proof constructor equivalent term rewriting systems
arn_in_actes_du colloque gascom2001 sienne november 2001 les arbres pour la comparaison de structures secondaires d
arn_À_propos_de la comparaison de structures secondaires d
ary_de_bruijn_graph bounds for the bandwidth of the d
as_a_generic_graph rewriting mecanism categorical product
aspects_and_implementation_fast tessellation of implicit sweep objects mathematical
aspects_of_using_formal methods in an industrial project the eurotri case some
associées_pour_la_communication en pvm et mpi comparaison des groupes de processus et des notions
asynchrone_pour_l_etiquettage de composantes connexes avec une contrainte de taille un algorithme parallele
asynchronous_message_passing_systems from local computations to
automata_reversible_space_time simulation of cellular
automates_dans_cclair_le modèle des p
automatic_and_systematic_sharing support for symbolic computation factotum
automatic_code_generation_in the task graph model
automatic_graphs_and_graph substitutio n systems undecidability of the problem of ends for
automaton_can_be_represented with block permutations any invertible cellular
automaton_intrinsic_universality_of a one dimension reversible cellular
autre_preuve_de_décidabilité l a =l b encore une
avancement_phase_1_juin 2001 à octobre 2001 projet sécurité java card rapport d
avancement_phase_2_novembre 2001 à septembre 2002 projet sécurité java card rapport d
average_degree_and_the oriented chromatic number of a graph on the maximum
b_encore_une_autre preuve de décidabilité l a =l
b_l_a_= l
b_splines_for_interactive cad applications hb splines an interesting subset of
b_t_a_=t
bandwidth_cutwidth_and_quotient graphs 813 94 on
bandwidth_of_the_d ary de bruijn graph bounds for the
bas_niveau_dans_un compilateur d équations optimisations de
based_distributed_objects_operating systems of the jem project jem doos the java rmi
based_ed_on_the stratification of planar graphs orthogonal drawings
based_framework_for_the manipulation of sparse and irregular data strucutures a graph
based_on_a_static scheduling for mixed 1d 2d block distributions pastix a parallel sparse direct solver
based_on_discrete_maps a new split and merge algorithm
based_rendering_an_inexpensive bdrf model for physically
bdrf_model_for_physically based rendering an inexpensive
be_represented_with_block permutations any invertible cellular automaton can
bessel_functions_steep_polyominoes q motzkin numbers and q
bessel_une_preuve_combinatoire polyominos et q analogues des fonctions de
better_handling_of_irregular problems in hpf2 contribution to
bicomplete_categories_and_parity games mu
bijections_object_grammar_and
binarization_thresholds_from_document histograms an efficient method for computing optimal
binary_trees_the_mu calculus alternation depth hierarchy is strict on
bipartitioning_algorithm_for_static mapping experimental analysis of the dual recursive
bisimulation_problem_for_equational graphs of finite out degree decidability of the
block_distributions_pastix_a parallel sparse direct solver based on a static scheduling for mixed 1d 2d
block_permutations_any_invertible cellular automaton can be represented with
booléens_séquentiels_et_logique multivaluée opérateurs
bottom_up_abstract_interpretation of prolog by means of constraint solving over symbolic finite domains efficient
bound_for_routing_in trees a space lower
bound_of_planar_graphs using triangulation an information upper
boundaries_for_3d_image segmentation discrete deformable
boundaries_for_image_segmentation discrete deformable
boundaries_image_segmentation_with topological maps of inter pixel
boundary_of_discrete_regions euclidean paths a new representation of
bounded_degree_network_lower bounds for interval rounting on
bounded_genus_compact_routing tables for graphs of
bounds_for_interval_rounting on bounded degree network lower
bounds_for_the_bandwidth of the d ary de bruijn graph
broadcast_digraphs_on_the structure of minimum
brooks_csp_et_théorème de
bruijn_graph_bounds_for the bandwidth of the d ary de
building_graphical_interactive_manuals user s guide and reference manual release 10 gim a latex like language for
by_means_of_constraint solving over symbolic finite domains efficient bottom up abstract interpretation of prolog
by_need_computations_in term rewriting decidable call
by_need_on_the complexity of deciding call
by_pullback_rewriting_net refinement
by_vertex_labels_encoding orientations of graphs
cad_applications_hb_splines an interesting subset of b splines for interactive
calculus_alternation_depth_hierarchy is strict on binary trees the mu
calculus_on_trees_and rabin s complementation lemma an initial semantics for the mu
calculus_on_trees_and rabin s complementation theorem the mu
call_by_need_computations in term rewriting decidable
call_by_need_on the complexity of deciding
can_be_represented_with block permutations any invertible cellular automaton
card_la_technologie_java card présentation de la carte à puce la java
card_présentation_de_la carte à puce la java card la technologie java
card_rapport_d_avancement phase 1 juin 2001 à octobre 2001 projet sécurité java
card_rapport_d_avancement phase 2 novembre 2001 à septembre 2002 projet sécurité java
carte_à_puce_la java card la technologie java card présentation de la
case_some_aspects_of using formal methods in an industrial project the eurotri
categorical_framework_node_rewriting in graphs and hypergraphs a
categorical_product_as_a generic graph rewriting mecanism
categories_and_parity_games mu bicomplete
causal_et_total_grâce à une arborescence une architecture répartie et réaliste de communication vers des groupes garantissant un ordre
cayley_graphs_edge_forwarding index of star graphs and other
cclair_le_modèle_des p automates dans
cd^m_d_recognizing_recursive circulant graphs g
cell_complex_representations_equivalence between order and
cells_of_multidimensional_digital spaces to write generic digital topology and geometry algorithms coding
cellular_automata_reversible_space time simulation of
cellular_automaton_can_be represented with block permutations any invertible
cellular_automaton_intrinsic_universality of a one dimension reversible
chemins_dans_le_plan et dans l espace enumération de
chordal_graphs_improved_compact routing scheme for
chromatic_number_of_a graph on the maximum average degree and the oriented
chromatic_number_of_graphs with maximum degree three a note on the oriented
chromatic_polynomials_of_oriented graphs computing
circulant_graphs_disjoint_hamiltonian cycles in recursive
circulant_graphs_g_cd^m d recognizing recursive
class_of_lattices_whose intervals are spherical or contractible a
classes_of_column_convex polygons a method for the enumeration of various
classification_of_complex_polynomials new experimental results topological
co_np_deciding_strong sequentiality of orthogonal term rewriting systems is in
code_generation_in_the task graph model automatic
code_semantics_analysis_and optimization em
coding_cells_of_multidimensional digital spaces to write generic digital topology and geometry algorithms
cograph_recognition_a_new vertex splitting algorithm for
colloque_gascom2001_sienne_november 2001 les arbres pour la comparaison de structures secondaires d arn in actes du
color_image_quantization_comparison and optimization of methods of
color_image_quantization_split merge and grouping a new approach for
color_model_for_rendering linear passive graphic 2d objects a
coloring_of_graphs_star
coloring_of_the_grid acyclic and k distance
colorings_and_girth_of oriented planar graphs
colorings_of_graphs_acyclic improper
column_convex_polygons_a method for the enumeration of various classes of
combinatoire_polyominos_et_q analogues des fonctions de bessel une preuve
communication_en_pvm_et mpi comparaison des groupes de processus et des notions associées pour la
communication_vers_des_groupes garantissant un ordre causal et total grâce à une arborescence une architecture répartie et réaliste de
communication_without_internet_h2u and u2h libraries release 11 helios to unix and unix to helios
communique_titre_non_encore
communiqué_titre_non_encore
commutation_monoids_methods_for computing the concurrency degree of
commutatives_modèles_avec_particules dures animaux dirigés et séries en variables partiellement
compact_and_localized_distributed data structures
compact_routing_scheme_for chordal graphs improved
compact_routing_scheme_with low stretch factor
compact_routing_tables_for graphs of bounded genus
compact_surfaces_on_effective decidability of the homeomorphism problem for non
compactness_of_adaptive_routing tables the
compactness_of_internal_routing for almost all graphs the
compactness_of_interval_routing the
comparaison_de_structures_secondaires d arn in actes du colloque gascom2001 sienne november 2001 les arbres pour la
comparaison_de_structures_secondaires d arn À propos de la
comparaison_des_groupes_de processus et des notions associées pour la communication en pvm et mpi
comparison_and_optimization_of methods of color image quantization
comparison_exact_analysis_of the zhang shasha tree edit algorithm theoretical computer science to appear 2003 rna secondary structure
compilateur_d_équations_optimisations de bas niveau dans un
compilateur_expérimental_pour_la logique équationnellle mingus un
compilation_for_evolving_embedded systems jit
complementation_lemma_an_initial semantics for the mu calculus on trees and rabin s
complementation_theorem_the_mu calculus on trees and rabin s
complex_polynomials_new_experimental results topological classification of
complex_representations_equivalence_between order and cell
complexity_of_deciding_call by need on the
components_via_specialization_modules guaranteed configurability of
composantes_connexes_avec_une contrainte de taille un algorithme parallele asynchrone pour l etiquettage de
compositing_a_new_antialiasing approach for image
computation_factotum_automatic_and systematic sharing support for symbolic
computations_in_term_rewriting decidable call by need
computations_to_asynchronous_message passing systems from local
computer_science_to_appear 2003 rna secondary structure comparison exact analysis of the zhang shasha tree edit algorithm theoretical
computing_a_spanning_tree in anonymous t prime graphs a distributed algorithm for
computing_chromatic_polynomials_of oriented graphs
computing_optimal_binarization_thresholds from document histograms an efficient method for
computing_the_concurrency_degree of commutation monoids methods for
concept Voir dictionnaire
concept Voir notion
concurrency_degree_of_commutation monoids methods for computing the
configurability_of_components_via specialization modules guaranteed
connexes_avec_une_contrainte de taille un algorithme parallele asynchrone pour l etiquettage de composantes
constellations_another_enumeration_of
constellations_enumeration_of_planar
constraint_solving_over_symbolic finite domains efficient bottom up abstract interpretation of prolog by means of
construction_exacte_d_images de distance euclidienne généralisées et de diagramme de voronoi généralisés
constructor_equivalent_term_rewriting systems are strongly sequential a direct proof
context_free_graphs_large semi groups acting on
contours_pour_la_reconstruction surfacique simplification de
contractible_a_class_of lattices whose intervals are spherical or
contrainte_de_taille_un algorithme parallele asynchrone pour l etiquettage de composantes connexes avec une
contribution_to_better_handling of irregular problems in hpf2
convex_domain_euclidean_distance maps on non
convex_hull_proofs_of two proximity lemmas distance between a point and a
convex_polygons_a_method for the enumeration of various classes of column
convex_polygons_enumeration_of three dimensional
convexes_dirigés_enumération_de polyominos
correspondence_for_oscillating_and skew oscillating tableaux properties of the robinson schensted
correspondence_for_skew_oscillating tableaux a geometric version of the robinson schensted
covering_and_spanning_tree of graph
covering_decidability_questions_for graph $k$
csp_et_théorème_de brooks
cutwidth_and_quotient_graphs 813 94 on bandwidth
cycle_graphs_formal_rational fractions and random walks on
cycles_in_recursive_circulant graphs disjoint hamiltonian
cylindrical_space_partionning_for ray tracing
dag_edag_specification_editable
dans_cclair_le_modèle des p automates
dans_l_espace_enumération de chemins dans le plan et
dans_le_plan_et dans l espace enumération de chemins
dans_les_arborescences_une généralisation des résultats de kreweras sur le polynôme énumérateur des inversions
dans_un_compilateur_d équations optimisations de bas niveau
data_expressing_massivly_parallel algorithms for irregular
data_structures_compact_and localized distributed
data_strucutures_a_graph based framework for the manipulation of sparse and irregular
dealing_with_discrete_mathematics a model for graphical interface
death_process_model_for randomized elections in trees a
decidability_of_the_bisimulation problem for equational graphs of finite out degree
decidability_of_the_homeomorphism problem for non compact surfaces on effective
decidability_questions_for_graph $k$ covering
decidable_call_by_need computations in term rewriting
deciding_call_by_need on the complexity of
deciding_strong_sequentiality_of orthogonal term rewriting systems is in co np
declaring_specialization_scenarios_a pragmatic approach to
decomposition_distance_labelling_scheme and split
defined_from_image_structure tensor deformable models with locally adaptive resolution using riemannian metrics
definition Voir concept
definition Voir dictionnaire
definition Voir notion
deformable_boundaries_for_3d image segmentation discrete
deformable_boundaries_for_image segmentation discrete
deformable_model_with_non euclidean metrics
deformable_models_with_locally adaptive resolution using riemannian metrics defined from image structure tensor
deformations_a_unifying_framework for geometrical
degree_and_the_oriented chromatic number of a graph on the maximum average
degree_decidability_of_the bisimulation problem for equational graphs of finite out
degree_network_lower_bounds for interval rounting on bounded
degree_of_commutation_monoids methods for computing the concurrency
degree_three_a_note on the oriented chromatic number of graphs with maximum
depth_hierarchy_is_strict on binary trees the mu calculus alternation
derivatives_high_precision_fourier analysis of sounds using signal
design_and_validation_of a real time embedded system formal methods and real time
design_of_fault_tolerant networks on satellites twta redundancy
diagramme_de_voronoi_généralisés construction exacte d images de distance euclidienne généralisées et de
diameter_of_knödel_graph
dictionnaire Voir concept
dictionnaire Voir notion
digital_spaces_to_write generic digital topology and geometry algorithms coding cells of multidimensional
digital_topology_and_geometry algorithms coding cells of multidimensional digital spaces to write generic
digraphs_minimum_gossip_
digraphs_on_the_structure of minimum broadcast
digraphs_sand_piles_in
dilation_of_interval_routing on
dimension_reversible_cellular_automaton intrinsic universality of a one
dimensional_convex_polygons_enumeration of three
dimensional_directed_animals_new enumerative results on two
dimensional_sand_pile_model grain sorting in the one
dimensional_sand_pile_parallel transient time of one
dimensional_thick_skeleton_morphing two
direct_proof_constructor_equivalent term rewriting systems are strongly sequential a
direct_solver_based_on a static scheduling for mixed 1d 2d block distributions pastix a parallel sparse
directed_animals_new_enumerative results on two dimensional
directed_animals_on_an infinite family of lattices enumeration of
dirigés_2d_sur_les animaux
dirigés_enumération_de_polyominos convexes
dirigés_et_séries_en variables partiellement commutatives modèles avec particules dures animaux
discrete_deformable_boundaries_for 3d image segmentation
discrete_deformable_boundaries_for image segmentation
discrete_maps_a_new split and merge algorithm based on
discrete_maps_representation_of region segmented images with
discrete_mathematics_a_model for graphical interface dealing with
discrete_objects_geometrical_topological and hierarchical structuring of overlapping 2d
discrete_regions_a_new algorithm for antialiasing of
discrete_regions_euclidean_paths a new representation of boundary of
disjoint_hamiltonian_cycles_in recursive circulant graphs
distance_between_a_point and a convex hull proofs of two proximity lemmas
distance_coloring_of_the grid acyclic and k
distance_euclidienne_généralisées_et de diagramme de voronoi généralisés construction exacte d images de
distance_labeling_in_graphs
distance_labeling_schemes_approximate
distance_labelling_scheme_and split decomposition
distance_maps_on_non convex domain euclidean
distributed_algorithm_for_computing a spanning tree in anonymous t prime graphs a
distributed_algorithms_a_new tool for the simulation and visualization of
distributed_data_structures_compact and localized
distributed_objects_operating_systems of the jem project jem doos the java rmi based
distributing_mpeg_movies_over the internet using programmable networks
distributions_pastix_a_parallel sparse direct solver based on a static scheduling for mixed 1d 2d block
document_histograms_an_efficient method for computing optimal binarization thresholds from
domain_euclidean_distance_maps on non convex
domains_efficient_bottom_up abstract interpretation of prolog by means of constraint solving over symbolic finite
dominating_sets_in_planar graphs with applications small k
doos_the_java_rmi based distributed objects operating systems of the jem project jem
drawings_based_ed_on the stratification of planar graphs orthogonal
droit Voir juridique
dsl_approach_to_specifying streaming applications spidle a
dual_recursive_bipartitioning_algorithm for static mapping experimental analysis of the
dures_animaux_dirigés_et séries en variables partiellement commutatives modèles avec particules
décidabilité_l_a_=l b encore une autre preuve de
dégradés_en_infographie_par extrapolation de fonctions de lipschitz génération de
ed_on_the_stratification of planar graphs orthogonal drawings based
edag_specification_editable_dag
edge_forwarding_index_of star graphs and other cayley graphs
edit_algorithm_theoretical_computer science to appear 2003 rna secondary structure comparison exact analysis of the zhang shasha tree
editable_dag_edag_specification
effective_decidability_of_the homeomorphism problem for non compact surfaces on
efficiency_analysis_randomized_local elections probabilistic and
efficiency_for_routing_schemes of stretch factor three space
efficiency_of_randomized_local synchronizations on the
efficient_and_accurate_tessellation of implicit sweep objects
efficient_bottom_up_abstract interpretation of prolog by means of constraint solving over symbolic finite domains
efficient_method_for_computing optimal binarization thresholds from document histograms an
elections_in_trees_a death process model for randomized
elections_probabilistic_and_efficiency analysis randomized local
electricity_meter_an_experience in using formal methods in an industrial project the embedded software of an
em_code_semantics_analysis and optimization
embedded_software_of_an electricity meter an experience in using formal methods in an industrial project the
embedded_system_formal_methods and real time design and validation of a real time
embedded_systems_jit_compilation for evolving
encoding_orientations_of_graphs by vertex labels
encore_communique_titre_non
encore_communiqué_titre_non
encore_une_autre_preuve de décidabilité l a =l b
ends_for_automatic_graphs and graph substitutio n systems undecidability of the problem of
enumerating_alternating_trees_
enumeration_of_constellations_another
enumeration_of_directed_animals on an infinite family of lattices
enumeration_of_planar_constellations
enumeration_of_some_labelled trees
enumeration_of_three_dimensional convex polygons
enumeration_of_two_stack sortable permutations multi statistic
enumeration_of_various_classes of column convex polygons a method for the
enumerative_results_on_two dimensional directed animals new
enumération_de_chemins_dans le plan et dans l espace
enumération_de_polyominos_convexes dirigés
environment_for_java_jem experimentation
environment_présentation_du_projet jem java experimentation
equational_graphs_of_finite out degree decidability of the bisimulation problem for
equivalence_between_order_and cell complex representations
equivalent_term_rewriting_systems are strongly sequential a direct proof constructor
espace_enumération_de_chemins dans le plan et dans l
etiquettage_de_composantes_connexes avec une contrainte de taille un algorithme parallele asynchrone pour l
euclidean_distance_maps_on non convex domain
euclidean_metrics_deformable_model with non
euclidean_paths_a_new representation of boundary of discrete regions
euclidean_paths_for_image analysis inter pixels
euclidienne_généralisées_et_de diagramme de voronoi généralisés construction exacte d images de distance
eurotri_case_some_aspects of using formal methods in an industrial project the
eurotri_physical_layer_protocol implemented version an experiment usig mec
evaluation_partielle_méthode_offline et méthode à grain fin
evolving_embedded_systems_jit compilation for
exact_analysis_of_the zhang shasha tree edit algorithm theoretical computer science to appear 2003 rna secondary structure comparison
exacte_d_images_de distance euclidienne généralisées et de diagramme de voronoi généralisés construction
exclusion_randomized_uniform_self stabilizing mutual
experience_in_using_formal methods in an industrial project the embedded software of an electricity meter an
experiment_usig_mec_eurotri physical layer protocol implemented version an
experimental_analysis_of_the dual recursive bipartitioning algorithm for static mapping
experimental_results_on_the size of obdd representation of 2 level redunduncies functions
experimental_results_topological_classification of complex polynomials new
experimentation_environment_for_java jem
experimentation_environment_présentation_du projet jem java
experiments_with_toupie_first
expressing_massivly_parallel_algorithms for irregular data
expérimental_pour_la_logique équationnellle mingus un compilateur
extrapolation_de_fonctions_de lipschitz génération de dégradés en infographie par
f_vectors_the_number of m sequences and
face_tracing_
factor_compact_routing_scheme with low stretch
factor_three_space_efficiency for routing schemes of stretch
factorisations_de_spitzer_foata
factorization_a_mapping_and scheduling algorithm for parallel sparse fan innumerical
factotum_automatic_and_systematic sharing support for symbolic computation
family_of_lattices_enumeration of directed animals on an infinite
fan_innumerical_factorization_a mapping and scheduling algorithm for parallel sparse
fast_arbitrarily_oriented_3d slicing for medical imaging
fast_tessellation_of_implicit sweep objects
fast_tessellation_of_implicit sweep objects mathematical aspects and implementation
fault_tolerant_networks_on satellites twta redundancy design of
filtrage_morphologique_par_reconstruction une approche parallèle a grain fin pour le
fin_evaluation_partielle_méthode offline et méthode à grain
fin_pour_le_filtrage morphologique par reconstruction une approche parallèle a grain
finding_a_maximum_independent set in time $o 2^{n 4} $
finite_domains_efficient_bottom up abstract interpretation of prolog by means of constraint solving over symbolic
finite_out_degree_decidability of the bisimulation problem for equational graphs of
first_experiments_with_toupie
foata_factorisations_de_spitzer
fonctions_de_bessel_une preuve combinatoire polyominos et q analogues des
fonctions_de_lipschitz_génération de dégradés en infographie par extrapolation de
formal_methods_and_real time design and validation of a real time embedded system
formal_methods_in_an industrial project the embedded software of an electricity meter an experience in using
formal_methods_in_an industrial project the eurotri case some aspects of using
formal_rational_fractions_and random walks on cycle graphs
fortran_hpfit_a_set of integrated tools for the parallelization of applications using high performance
forwarding_index_of_star graphs and other cayley graphs edge
fourier_analysis_of_sounds using signal derivatives high precision
fractions_and_random_walks on cycle graphs formal rational
framework_for_geometrical_deformations a unifying
framework_for_the_manipulation of sparse and irregular data strucutures a graph based
framework_node_rewriting_in graphs and hypergraphs a categorical
free_graphs_large_semi groups acting on context
functions_experimental_results_on the size of obdd representation of 2 level redunduncies
functions_steep_polyominoes_q motzkin numbers and q bessel
g_cd^m_d_recognizing recursive circulant graphs
games_mu_bicomplete_categories and parity
garantissant_un_ordre_causal et total grâce à une arborescence une architecture répartie et réaliste de communication vers des groupes
gascom2001_sienne_november_2001 les arbres pour la comparaison de structures secondaires d arn in actes du colloque
general_overview_graph_relabelling systems a
generation_in_the_task graph model automatic code
generation_object_grammars_and random
generation_of_3_sat instances on the random
generative_approach_of_graph relabeling systems a
generic_digital_topology_and geometry algorithms coding cells of multidimensional digital spaces to write
generic_graph_rewriting_mecanism categorical product as a
genus_compact_routing_tables for graphs of bounded
geometric_version_of_the robinson schensted correspondence for skew oscillating tableaux a
geometrical_deformations_a_unifying framework for
geometrical_topological_and_hierarchical structuring of overlapping 2d discrete objects
geometry_algorithms_coding_cells of multidimensional digital spaces to write generic digital topology and
gim_a_latex_like language for building graphical interactive manuals user s guide and reference manual release 10
girth_of_oriented_planar graphs colorings and
gis/GIS Voir SIG
gossip_digraphs_minimum_
gossip_graphs_a_study of minimum
gossiping_trade_offs_for odd
grain_fin_evaluation_partielle méthode offline et méthode à
grain_fin_pour_le filtrage morphologique par reconstruction une approche parallèle a
grain_sorting_in_the one dimensional sand pile model
grammaires_algébriques_et_q grammaires en maple utilisation des
grammaires_d_objets_
grammaires_en_maple_utilisation des grammaires algébriques et q
grammar_and_bijections_object
grammars_and_random_generation object
graph_$k$_covering_decidability questions for
graph_ambiguity_and_pseudo primality
graph_based_framework_for the manipulation of sparse and irregular data strucutures a
graph_bounds_for_the bandwidth of the d ary de bruijn
graph_covering_and_spanning tree of
graph_diameter_of_knödel
graph_model_automatic_code generation in the task
graph_on_the_maximum average degree and the oriented chromatic number of a
graph_relabeling_systems_a generative approach of
graph_relabelling_systems_a general overview
graph_rewriting_mecanism_categorical product as a generic
graph_substitutio_n_systems undecidability of the problem of ends for automatic graphs and
graphic_2d_objects_a color model for rendering linear passive
graphical_interactive_manuals_user s guide and reference manual release 10 gim a latex like language for building
graphical_interface_dealing_with discrete mathematics a model for
graphs_813_94_on bandwidth cutwidth and quotient
graphs_a_distributed_algorithm for computing a spanning tree in anonymous t prime
graphs_a_note_on implicit representation of
graphs_a_study_of minimum gossip
graphs_a_survey_on knödel
graphs_a_syntactic_approach to random walks on
graphs_acyclic_improper_colorings of
graphs_and_graph_substitutio n systems undecidability of the problem of ends for automatic
graphs_and_hypergraphs_a categorical framework node rewriting in
graphs_and_other_cayley graphs edge forwarding index of star
graphs_by_vertex_labels encoding orientations of
graphs_colorings_and_girth of oriented planar
graphs_computing_chromatic_polynomials of oriented
graphs_disjoint_hamiltonian_cycles in recursive circulant
graphs_distance_labeling_in
graphs_edge_forwarding_index of star graphs and other cayley
graphs_formal_rational_fractions and random walks on cycle
graphs_g_cd^m_d recognizing recursive circulant
graphs_improved_compact_routing scheme for chordal
graphs_large_semi_groups acting on context free
graphs_non_uniform_random spanning trees on weighted
graphs_of_bounded_genus compact routing tables for
graphs_of_finite_out degree decidability of the bisimulation problem for equational
graphs_on_logical_hierarchy of
graphs_orthogonal_drawings_based ed on the stratification of planar
graphs_star_coloring_of
graphs_t_preserving_homomorphisms of oriented
graphs_the_compactness_of internal routing for almost all
graphs_using_triangulation_an information upper bound of planar
graphs_with_applications_small k dominating sets in planar
graphs_with_maximum_degree three a note on the oriented chromatic number of
grid_acyclic_and_k distance coloring of the
groupes_de_processus_et des notions associées pour la communication en pvm et mpi comparaison des
groupes_garantissant_un_ordre causal et total grâce à une arborescence une architecture répartie et réaliste de communication vers des
grouping_a_new_approach for color image quantization split merge and
groups_acting_on_context free graphs large semi
grâce_à_une_arborescence une architecture répartie et réaliste de communication vers des groupes garantissant un ordre causal et total
guaranteed_configurability_of_components via specialization modules
guide_and_reference_manual release 10 gim a latex like language for building graphical interactive manuals user s
guide_release_10_mtt a light weight multitasking library reference
guide_scotch_30_user s
guide_scotch_31_user s
guide_scotch_and_libscotch 34 user s
généralisation_des_résultats_de kreweras sur le polynôme énumérateur des inversions dans les arborescences une
généralisées_et_de_diagramme de voronoi généralisés construction exacte d images de distance euclidienne
généralisés_construction_exacte_d images de distance euclidienne généralisées et de diagramme de voronoi
génération_aléatoire_et_uniforme de mots
génération_de_dégradés_en infographie par extrapolation de fonctions de lipschitz
h2u_and_u2h_libraries release 11 helios to unix and unix to helios communication without internet
hall_partitions_2_lecture
hall_partitions_lecture_
hall_theorem_a_refinement of the lecture
halos_photo_realistic_simulation and rendering of
hamiltonian_cycles_in_recursive circulant graphs disjoint
handling_of_irregular_problems in hpf2 contribution to better
hb_splines_an_interesting subset of b splines for interactive cad applications
helios_communication_without_internet h2u and u2h libraries release 11 helios to unix and unix to
helios_to_unix_and unix to helios communication without internet h2u and u2h libraries release 11
hermitian_approach_for_multiresolution splines an
hierarchical_structuring_of_overlapping 2d discrete objects geometrical topological and
hierarchy_is_strict_on binary trees the mu calculus alternation depth
hierarchy_of_graphs_on logical
high_performance_fortran_hpfit a set of integrated tools for the parallelization of applications using
high_precision_fourier_analysis of sounds using signal derivatives
histograms_an_efficient_method for computing optimal binarization thresholds from document
homeomorphism_problem_for_non compact surfaces on effective decidability of the
homomorphisms_of_oriented_graphs t preserving
hpf2_contribution_to_better handling of irregular problems in
hpfit_a_set_of integrated tools for the parallelization of applications using high performance fortran
hull_proofs_of_two proximity lemmas distance between a point and a convex
hypercube_routing_permutations_in the
hypergraphs_a_categorical_framework node rewriting in graphs and
image_analysis_inter_pixels euclidean paths for
image_compositing_a_new antialiasing approach for
image_quantization_comparison_and optimization of methods of color
image_quantization_split_merge and grouping a new approach for color
image_segmentation_discrete_deformable boundaries for 3d
image_segmentation_discrete_deformable boundaries for
image_segmentation_with_topological maps of inter pixel boundaries
image_structure_tensor_deformable models with locally adaptive resolution using riemannian metrics defined from
images_de_distance_euclidienne généralisées et de diagramme de voronoi généralisés construction exacte d
images_incremental_modification_of segmented
images_with_discrete_maps representation of region segmented
imaging_fast_arbitrarily_oriented 3d slicing for medical
implementation_fast_tessellation_of implicit sweep objects mathematical aspects and
implemented_version_an_experiment usig mec eurotri physical layer protocol
implicit_representation_of_3d objects multiresolution
implicit_representation_of_graphs a note on
implicit_sweep_objects_efficient and accurate tessellation of
implicit_sweep_objects_fast tessellation of
implicit_sweep_objects_mathematical aspects and implementation fast tessellation of
improper_colorings_of_graphs acyclic
improved_compact_routing_scheme for chordal graphs
incremental_modification_of_segmented images
independent_set_in_time $o 2^{n 4} $ finding a maximum
index_of_star_graphs and other cayley graphs edge forwarding
industrial_project_the_embedded software of an electricity meter an experience in using formal methods in an
industrial_project_the_eurotri case some aspects of using formal methods in an
inexpensive_bdrf_model_for physically based rendering an
infinite_family_of_lattices enumeration of directed animals on an
infographie_par_extrapolation_de fonctions de lipschitz génération de dégradés en
information_upper_bound_of planar graphs using triangulation an
informatique_théorique_un_itinéraire probabiliste en
initial_semantics_for_the mu calculus on trees and rabin s complementation lemma an
innumerical_factorization_a_mapping and scheduling algorithm for parallel sparse fan
instances_on_the_random generation of 3 sat
integrated_tools_for_the parallelization of applications using high performance fortran hpfit a set of
inter_pixel_boundaries_image segmentation with topological maps of
inter_pixels_euclidean_paths for image analysis
interactive_cad_applications_hb splines an interesting subset of b splines for
interactive_manuals_user_s guide and reference manual release 10 gim a latex like language for building graphical
interesting_subset_of_b splines for interactive cad applications hb splines an
interface_dealing_with_discrete mathematics a model for graphical
interlacing_measures_
internal_routing_for_almost all graphs the compactness of
internet_h2u_and_u2h libraries release 11 helios to unix and unix to helios communication without
internet_using_programmable_networks distributing mpeg movies over the
interpretation_of_prolog_by means of constraint solving over symbolic finite domains efficient bottom up abstract
interval_rounting_on_bounded degree network lower bounds for
interval_routing_on_dilation of
interval_routing_scheme_a survey on
interval_routing_the_compactness of
intervals_are_spherical_or contractible a class of lattices whose
intrinsic_universality_of_a one dimension reversible cellular automaton
inversions_dans_les_arborescences une généralisation des résultats de kreweras sur le polynôme énumérateur des
invertible_cellular_automaton_can be represented with block permutations any
irregular_data_expressing_massivly parallel algorithms for
irregular_data_strucutures_a graph based framework for the manipulation of sparse and
irregular_problems_in_hpf2 contribution to better handling of
is_in_co_np deciding strong sequentiality of orthogonal term rewriting systems
is_strict_on_binary trees the mu calculus alternation depth hierarchy
itinéraire_probabiliste_en_informatique théorique un
java_card_la_technologie java card présentation de la carte à puce la
java_card_présentation_de la carte à puce la java card la technologie
java_card_rapport_d avancement phase 1 juin 2001 à octobre 2001 projet sécurité
java_card_rapport_d avancement phase 2 novembre 2001 à septembre 2002 projet sécurité
java_experimentation_environment_présentation du projet jem
java_jem_experimentation_environment for
java_rmi_based_distributed objects operating systems of the jem project jem doos the
jem_doos_the_java rmi based distributed objects operating systems of the jem project
jem_experimentation_environment_for java
jem_java_experimentation_environment présentation du projet
jem_project_jem_doos the java rmi based distributed objects operating systems of the
jit_compilation_for_evolving embedded systems
juin_2001_à_octobre 2001 projet sécurité java card rapport d avancement phase 1
juridique Voir droit
k_distance_coloring_of the grid acyclic and
k_dominating_sets_in planar graphs with applications small
knowledge_acquisition_a_model for the visualization of
knödel_graph_diameter_of
knödel_graphs_a_survey on
kreweras_sur_le_polynôme énumérateur des inversions dans les arborescences une généralisation des résultats de
labeling_in_graphs_distance
labeling_schemes_approximate_distance
labelled_trees_enumeration_of some
labelling_scheme_and_split decomposition distance
labels_encoding_orientations_of graphs by vertex
language_for_building_graphical interactive manuals user s guide and reference manual release 10 gim a latex like
languages_a_topological_property of rational omega
large_semi_groups_acting on context free graphs
latex_like_language_for building graphical interactive manuals user s guide and reference manual release 10 gim a
lattices_enumeration_of_directed animals on an infinite family of
lattices_whose_intervals_are spherical or contractible a class of
layer_protocol_implemented_version an experiment usig mec eurotri physical
lecture_hall_partitions_2
lecture_hall_partitions_
lecture_hall_theorem_a refinement of the
lemma_an_initial_semantics for the mu calculus on trees and rabin s complementation
lemmas_distance_between_a point and a convex hull proofs of two proximity
level_redunduncies_functions_experimental results on the size of obdd representation of 2
libraries_release_11_helios to unix and unix to helios communication without internet h2u and u2h
library_reference_guide_release 10 mtt a light weight multitasking
libscotch_34_user_s guide scotch and
light_weight_multitasking_library reference guide release 10 mtt a
like_language_for_building graphical interactive manuals user s guide and reference manual release 10 gim a latex
linear_passive_graphic_2d objects a color model for rendering
lipschitz_génération_de_dégradés en infographie par extrapolation de fonctions de
local_computations_to_asynchronous message passing systems from
local_elections_probabilistic_and efficiency analysis randomized
local_synchronizations_on_the efficiency of randomized
localized_distributed_data_structures compact and
locally_adaptive_resolution_using riemannian metrics defined from image structure tensor deformable models with
logical_hierarchy_of_graphs on
logiciel Voir methode
logiciel Voir software
logique_multivaluée_opérateurs_booléens séquentiels et
logique_équationnellle_mingus_un compilateur expérimental pour la
low_stretch_factor_compact routing scheme with
lower_bound_for_routing in trees a space
lower_bounds_for_interval rounting on bounded degree network
m_sequences_and_f vectors the number of
manipulation_of_sparse_and irregular data strucutures a graph based framework for the
manual_release_10_gim a latex like language for building graphical interactive manuals user s guide and reference
manual_toupie_user_s
manuals_user_s_guide and reference manual release 10 gim a latex like language for building graphical interactive
maple_utilisation_des_grammaires algébriques et q grammaires en
mapping_and_scheduling_algorithm for parallel sparse fan innumerical factorization a
mapping_experimental_analysis_of the dual recursive bipartitioning algorithm for static
maps_a_new_split and merge algorithm based on discrete
maps_of_inter_pixel boundaries image segmentation with topological
maps_on_non_convex domain euclidean distance
maps_representation_of_region segmented images with discrete
massivly_parallel_algorithms_for irregular data expressing
matching_in_static_trees pattern
mathematical_aspects_and_implementation fast tessellation of implicit sweep objects
mathematics_a_model_for graphical interface dealing with discrete
maximum_average_degree_and the oriented chromatic number of a graph on the
maximum_degree_three_a note on the oriented chromatic number of graphs with
maximum_independent_set_in time $o 2^{n 4} $ finding a
means_of_constraint_solving over symbolic finite domains efficient bottom up abstract interpretation of prolog by
measures_interlacing_
mec_eurotri_physical_layer protocol implemented version an experiment usig
mecanism_categorical_product_as a generic graph rewriting
medical_imaging_fast_arbitrarily oriented 3d slicing for
merge_algorithm_based_on discrete maps a new split and
merge_and_grouping_a new approach for color image quantization split
message_passing_systems_from local computations to asynchronous
meter_an_experience_in using formal methods in an industrial project the embedded software of an electricity
method_for_computing_optimal binarization thresholds from document histograms an efficient
method_for_progressive_radiosity a parallel
method_for_the_enumeration of various classes of column convex polygons a
methode Voir logiciel
methods_and_real_time design and validation of a real time embedded system formal
methods_for_computing_the concurrency degree of commutation monoids
methods_in_an_industrial project the embedded software of an electricity meter an experience in using formal
methods_in_an_industrial project the eurotri case some aspects of using formal
methods_of_color_image quantization comparison and optimization of
metrics_defined_from_image structure tensor deformable models with locally adaptive resolution using riemannian
metrics_deformable_model_with non euclidean
mineurs_d_arbres_avec racines
mingus_un_compilateur_expérimental pour la logique équationnellle
minimum_broadcast_digraphs_on the structure of
minimum_gossip_digraphs_
minimum_gossip_graphs_a study of
mixed_1d_2d_block distributions pastix a parallel sparse direct solver based on a static scheduling for
model_automatic_code_generation in the task graph
model_for_graphical_interface dealing with discrete mathematics a
model_for_physically_based rendering an inexpensive bdrf
model_for_randomized_elections in trees a death process
model_for_rendering_linear passive graphic 2d objects a color
model_for_the_visualization of knowledge acquisition a
model_grain_sorting_in the one dimensional sand pile
model_with_non_euclidean metrics deformable
modelisation Voir simulation
models_a_survey_of shading and reflectance
models_and_animals_percolation
models_with_locally_adaptive resolution using riemannian metrics defined from image structure tensor deformable
modification_of_segmented_images incremental
modules_guaranteed_configurability_of components via specialization
modèle_des_p_automates dans cclair le
modèles_avec_particules_dures animaux dirigés et séries en variables partiellement commutatives
monoids_methods_for_computing the concurrency degree of commutation
morphing_two_dimensional_thick skeleton
morphologique_par_reconstruction_une approche parallèle a grain fin pour le filtrage
mots_génération_aléatoire_et uniforme de
motzkin_numbers_and_q bessel functions steep polyominoes q
movies_over_the_internet using programmable networks distributing mpeg
mpeg_movies_over_the internet using programmable networks distributing
mpi_comparaison_des_groupes de processus et des notions associées pour la communication en pvm et
mtt_a_light_weight multitasking library reference guide release 10
mu_bicomplete_categories_and parity games
mu_calculus_alternation_depth hierarchy is strict on binary trees the
mu_calculus_on_trees and rabin s complementation lemma an initial semantics for the
mu_calculus_on_trees and rabin s complementation theorem the
multi_statistic_enumeration_of two stack sortable permutations
multidimensional_digital_spaces_to write generic digital topology and geometry algorithms coding cells of
multiresolution_implicit_representation_of 3d objects
multiresolution_splines_an_hermitian approach for
multitasking_library_reference_guide release 10 mtt a light weight
multivaluée_opérateurs_booléens_séquentiels et logique
mutual_exclusion_randomized_uniform self stabilizing
méthode_offline_et_méthode à grain fin evaluation partielle
méthode_à_grain_fin evaluation partielle méthode offline et
n_systems_undecidability_of the problem of ends for automatic graphs and graph substitutio
need_computations_in_term rewriting decidable call by
need_on_the_complexity of deciding call by
net_refinement_by_pullback rewriting
network_lower_bounds_for interval rounting on bounded degree
networks_distributing_mpeg_movies over the internet using programmable
networks_on_satellites_twta redundancy design of fault tolerant
new_algorithm_for_antialiasing of discrete regions a
new_antialiasing_approach_for image compositing a
new_approach_for_color image quantization split merge and grouping a
new_enumerative_results_on two dimensional directed animals
new_experimental_results_topological classification of complex polynomials
new_representation_of_boundary of discrete regions euclidean paths a
new_split_and_merge algorithm based on discrete maps a
new_tool_for_the simulation and visualization of distributed algorithms a
new_vertex_splitting_algorithm for cograph recognition a
niveau_dans_un_compilateur d équations optimisations de bas
node_rewriting_in_graphs and hypergraphs a categorical framework
non_compact_surfaces_on effective decidability of the homeomorphism problem for
non_convex_domain_euclidean distance maps on
non_encore_communique_titre
non_encore_communiqué_titre
non_euclidean_metrics_deformable model with
non_uniform_random_spanning trees on weighted graphs
note_on_implicit_representation of graphs a
note_on_the_oriented chromatic number of graphs with maximum degree three a
notion Voir concept
notion Voir dictionnaire
notions_associées_pour_la communication en pvm et mpi comparaison des groupes de processus et des
november_2001_les_arbres pour la comparaison de structures secondaires d arn in actes du colloque gascom2001 sienne
novembre_2001_à_septembre 2002 projet sécurité java card rapport d avancement phase 2
np_deciding_strong_sequentiality of orthogonal term rewriting systems is in co
number_of_a_graph on the maximum average degree and the oriented chromatic
number_of_graphs_with maximum degree three a note on the oriented chromatic
number_of_m_sequences and f vectors the
numbers_and_q_bessel functions steep polyominoes q motzkin
obdd_representation_of_2 level redunduncies functions experimental results on the size of
object_grammar_and_bijections
object_grammars_and_random generation
object_problem_using_recursive subdivision solving the ``nearest point on
objects_a_color_model for rendering linear passive graphic 2d
objects_efficient_and_accurate tessellation of implicit sweep
objects_fast_tessellation_of implicit sweep
objects_geometrical_topological_and hierarchical structuring of overlapping 2d discrete
objects_mathematical_aspects_and implementation fast tessellation of implicit sweep
objects_multiresolution_implicit_representation of 3d
objects_operating_systems_of the jem project jem doos the java rmi based distributed
objets_grammaires_d_
octobre_2001_projet_sécurité java card rapport d avancement phase 1 juin 2001 à
odd_gossiping_trade_offs for
offline_et_méthode_à grain fin evaluation partielle méthode
offs_for_odd_gossiping trade
omega_languages_a_topological property of rational
on_a_static_scheduling for mixed 1d 2d block distributions pastix a parallel sparse direct solver based
on_an_infinite_family of lattices enumeration of directed animals
on_bandwidth_cutwidth_and quotient graphs 813 94
on_binary_trees_the mu calculus alternation depth hierarchy is strict
on_bounded_degree_network lower bounds for interval rounting
on_context_free_graphs large semi groups acting
on_cycle_graphs_formal rational fractions and random walks
on_dilation_of_interval routing
on_discrete_maps_a new split and merge algorithm based
on_effective_decidability_of the homeomorphism problem for non compact surfaces
on_graphs_a_syntactic approach to random walks
on_implicit_representation_of graphs a note
on_interval_routing_scheme a survey
on_knödel_graphs_a survey
on_logical_hierarchy_of graphs
on_non_convex_domain euclidean distance maps
on_object_problem_using recursive subdivision solving the ``nearest point
on_referential_transparency_in the presence of uniform sharing
on_satellites_twta_redundancy design of fault tolerant networks
on_the_complexity_of deciding call by need
on_the_efficiency_of randomized local synchronizations
on_the_maximum_average degree and the oriented chromatic number of a graph
on_the_oriented_chromatic number of graphs with maximum degree three a note
on_the_random_generation of 3 sat instances
on_the_size_of obdd representation of 2 level redunduncies functions experimental results
on_the_stratification_of planar graphs orthogonal drawings based ed
on_the_structure_of minimum broadcast digraphs
on_trees_and_rabin s complementation lemma an initial semantics for the mu calculus
on_trees_and_rabin s complementation theorem the mu calculus
on_two_dimensional_directed animals new enumerative results
on_weighted_graphs_non uniform random spanning trees
one_dimension_reversible_cellular automaton intrinsic universality of a
one_dimensional_sand_pile model grain sorting in the
one_dimensional_sand_pile parallel transient time of
operating_systems_of_the jem project jem doos the java rmi based distributed objects
optimal_binarization_thresholds_from document histograms an efficient method for computing
optimisations_de_bas_niveau dans un compilateur d équations
optimization_em_code_semantics analysis and
optimization_of_methods_of color image quantization comparison and
opérateurs_booléens_séquentiels_et logique multivaluée
or_contractible_a_class of lattices whose intervals are spherical
order_and_cell_complex representations equivalence between
ordre_causal_et_total grâce à une arborescence une architecture répartie et réaliste de communication vers des groupes garantissant un
orientations_of_graphs_by vertex labels encoding
oriented_3d_slicing_for medical imaging fast arbitrarily
oriented_chromatic_number_of a graph on the maximum average degree and the
oriented_chromatic_number_of graphs with maximum degree three a note on the
oriented_graphs_computing_chromatic polynomials of
oriented_graphs_t_preserving homomorphisms of
oriented_planar_graphs_colorings and girth of
orthogonal_drawings_based_ed on the stratification of planar graphs
orthogonal_term_rewriting_systems is in co np deciding strong sequentiality of
oscillating_and_skew_oscillating tableaux properties of the robinson schensted correspondence for
oscillating_tableaux_a_geometric version of the robinson schensted correspondence for skew
oscillating_tableaux_properties_of the robinson schensted correspondence for oscillating and skew
other_cayley_graphs_edge forwarding index of star graphs and
out_degree_decidability_of the bisimulation problem for equational graphs of finite
over_symbolic_finite_domains efficient bottom up abstract interpretation of prolog by means of constraint solving
over_the_internet_using programmable networks distributing mpeg movies
overlapping_2d_discrete_objects geometrical topological and hierarchical structuring of
overview_graph_relabelling_systems a general
p_automates_dans_cclair le modèle des
parallel_algorithms_for_irregular data expressing massivly
parallel_method_for_progressive radiosity a
parallel_sparse_direct_solver based on a static scheduling for mixed 1d 2d block distributions pastix a
parallel_sparse_fan_innumerical factorization a mapping and scheduling algorithm for
parallel_transient_time_of one dimensional sand pile
parallele_asynchrone_pour_l etiquettage de composantes connexes avec une contrainte de taille un algorithme
parallelization_of_applications_using high performance fortran hpfit a set of integrated tools for the
parallèle_a_grain_fin pour le filtrage morphologique par reconstruction une approche
parity_games_mu_bicomplete categories and
particules_dures_animaux_dirigés et séries en variables partiellement commutatives modèles avec
partielle_méthode_offline_et méthode à grain fin evaluation
partiellement_commutatives_modèles_avec particules dures animaux dirigés et séries en variables
partionning_for_ray_tracing cylindrical space
partitions_2_lecture_hall
partitions_lecture_hall_
passing_systems_from_local computations to asynchronous message
passive_graphic_2d_objects a color model for rendering linear
pastix_a_parallel_sparse direct solver based on a static scheduling for mixed 1d 2d block distributions
paths_a_new_representation of boundary of discrete regions euclidean
paths_for_image_analysis inter pixels euclidean
pattern_matching_in_static trees
percolation_models_and_animals
performance_fortran_hpfit_a set of integrated tools for the parallelization of applications using high
permutations_any_invertible_cellular automaton can be represented with block
permutations_in_the_hypercube routing
permutations_multi_statistic_enumeration of two stack sortable
phase_1_juin_2001 à octobre 2001 projet sécurité java card rapport d avancement
phase_2_novembre_2001 à septembre 2002 projet sécurité java card rapport d avancement
photo_realistic_simulation_and rendering of halos
physical_layer_protocol_implemented version an experiment usig mec eurotri
physically_based_rendering_an inexpensive bdrf model for
pile_model_grain_sorting in the one dimensional sand
pile_parallel_transient_time of one dimensional sand
piles_in_digraphs_sand
pixel_boundaries_image_segmentation with topological maps of inter
pixels_euclidean_paths_for image analysis inter
plan_et_dans_l espace enumération de chemins dans le
planar_constellations_enumeration_of
planar_graphs_colorings_and girth of oriented
planar_graphs_orthogonal_drawings based ed on the stratification of
planar_graphs_using_triangulation an information upper bound of
planar_graphs_with_applications small k dominating sets in
point_and_a_convex hull proofs of two proximity lemmas distance between a
point_on_object_problem using recursive subdivision solving the ``nearest
polygons_a_method_for the enumeration of various classes of column convex
polygons_enumeration_of_three dimensional convex
polynomials_new_experimental_results topological classification of complex
polynomials_of_oriented_graphs computing chromatic
polynôme_énumérateur_des_inversions dans les arborescences une généralisation des résultats de kreweras sur le
polyominoes_q_motzkin_numbers and q bessel functions steep
polyominos_convexes_dirigés_enumération de
polyominos_et_q_analogues des fonctions de bessel une preuve combinatoire
pragmatic_approach_to_declaring specialization scenarios a
precision_fourier_analysis_of sounds using signal derivatives high
presence_of_uniform_sharing on referential transparency in the
preserving_homomorphisms_of_oriented graphs t
preuve_combinatoire_polyominos_et q analogues des fonctions de bessel une
preuve_de_décidabilité_l a =l b encore une autre
primality_graph_ambiguity_and pseudo
prime_graphs_a_distributed algorithm for computing a spanning tree in anonymous t
probabiliste_en_informatique_théorique un itinéraire
probabilistic_and_efficiency_analysis randomized local elections
problem_for_equational_graphs of finite out degree decidability of the bisimulation
problem_for_non_compact surfaces on effective decidability of the homeomorphism
problem_of_ends_for automatic graphs and graph substitutio n systems undecidability of the
problem_using_recursive_subdivision solving the ``nearest point on object
problems_in_hpf2_contribution to better handling of irregular
process_model_for_randomized elections in trees a death
processus_et_des_notions associées pour la communication en pvm et mpi comparaison des groupes de
product_as_a_generic graph rewriting mecanism categorical
programmable_networks_distributing_mpeg movies over the internet using
progressive_radiosity_a_parallel method for
project_jem_doos_the java rmi based distributed objects operating systems of the jem
project_the_embedded_software of an electricity meter an experience in using formal methods in an industrial
project_the_eurotri_case some aspects of using formal methods in an industrial
projet_jem_java_experimentation environment présentation du
projet_sécurité_java_card rapport d avancement phase 1 juin 2001 à octobre 2001
projet_sécurité_java_card rapport d avancement phase 2 novembre 2001 à septembre 2002
prolog_by_means_of constraint solving over symbolic finite domains efficient bottom up abstract interpretation of
proof_constructor_equivalent_term rewriting systems are strongly sequential a direct
proofs_of_two_proximity lemmas distance between a point and a convex hull
properties_of_the_robinson schensted correspondence for oscillating and skew oscillating tableaux
property_of_rational_omega languages a topological
propos_de_la_comparaison de structures secondaires d arn À
protocol_implemented_version_an experiment usig mec eurotri physical layer
proximity_lemmas_distance_between a point and a convex hull proofs of two
présentation_de_la_carte à puce la java card la technologie java card
présentation_du_projet_jem java experimentation environment
pseudo_primality_graph_ambiguity and
puce_la_java_card la technologie java card présentation de la carte à
pullback_rewriting_net_refinement by
pvm_et_mpi_comparaison des groupes de processus et des notions associées pour la communication en
q_analogues_des_fonctions de bessel une preuve combinatoire polyominos et
q_bessel_functions_steep polyominoes q motzkin numbers and
q_grammaires_en_maple utilisation des grammaires algébriques et
q_motzkin_numbers_and q bessel functions steep polyominoes
quantization_comparison_and_optimization of methods of color image
quantization_split_merge_and grouping a new approach for color image
questions_for_graph_$k$ covering decidability
quotient_graphs_813_94 on bandwidth cutwidth and
rabin_s_complementation_lemma an initial semantics for the mu calculus on trees and
rabin_s_complementation_theorem the mu calculus on trees and
racines_mineurs_d_arbres avec
radiosity_a_parallel_method for progressive
random_generation_object_grammars and
random_generation_of_3 sat instances on the
random_spanning_trees_on weighted graphs non uniform
random_walks_on_cycle graphs formal rational fractions and
random_walks_on_graphs a syntactic approach to
randomized_elections_in_trees a death process model for
randomized_local_elections_probabilistic and efficiency analysis
randomized_local_synchronizations_on the efficiency of
randomized_rendezvous_algorithm_analysis of a
randomized_uniform_self_stabilizing mutual exclusion
rapport_d_avancement_phase 1 juin 2001 à octobre 2001 projet sécurité java card
rapport_d_avancement_phase 2 novembre 2001 à septembre 2002 projet sécurité java card
rational Voir rup
rational_fractions_and_random walks on cycle graphs formal
rational_omega_languages_a topological property of
ray_tracing_cylindrical_space partionning for
real_time_design_and validation of a real time embedded system formal methods and
real_time_embedded_system formal methods and real time design and validation of a
realistic_simulation_and_rendering of halos photo
recognition_a_new_vertex splitting algorithm for cograph
recognizing_recursive_circulant_graphs g cd^m d
reconstruction_surfacique_simplification_de contours pour la
reconstruction_une_approche_parallèle a grain fin pour le filtrage morphologique par
recursive_bipartitioning_algorithm_for static mapping experimental analysis of the dual
recursive_circulant_graphs_disjoint hamiltonian cycles in
recursive_circulant_graphs_g cd^m d recognizing
recursive_subdivision_solving_the ``nearest point on object problem using
redundancy_design_of_fault tolerant networks on satellites twta
redunduncies_functions_experimental_results on the size of obdd representation of 2 level
reference_guide_release_10 mtt a light weight multitasking library
reference_manual_release_10 gim a latex like language for building graphical interactive manuals user s guide and
referential_transparency_in_the presence of uniform sharing on
refinement_by_pullback_rewriting net
refinement_of_the_lecture hall theorem a
reflectance_models_a_survey of shading and
region_segmented_images_with discrete maps representation of
regions_a_new_algorithm for antialiasing of discrete
regions_euclidean_paths_a new representation of boundary of discrete
relabeling_systems_a_generative approach of graph
relabelling_systems_a_general overview graph
release_10_gim_a latex like language for building graphical interactive manuals user s guide and reference manual
release_10_mtt_a light weight multitasking library reference guide
release_11_helios_to unix and unix to helios communication without internet h2u and u2h libraries
rendering_an_inexpensive_bdrf model for physically based
rendering_linear_passive_graphic 2d objects a color model for
rendering_of_halos_photo realistic simulation and
rendezvous_algorithm_analysis_of a randomized
representation_of_2_level redunduncies functions experimental results on the size of obdd
representation_of_3d_objects multiresolution implicit
representation_of_boundary_of discrete regions euclidean paths a new
representation_of_graphs_a note on implicit
representation_of_region_segmented images with discrete maps
representations_equivalence_between_order and cell complex
represented_with_block_permutations any invertible cellular automaton can be
resolution_using_riemannian_metrics defined from image structure tensor deformable models with locally adaptive
results_on_the_size of obdd representation of 2 level redunduncies functions experimental
results_on_two_dimensional directed animals new enumerative
results_topological_classification_of complex polynomials new experimental
reversible_cellular_automaton_intrinsic universality of a one dimension
reversible_space_time_simulation of cellular automata
rewriting_decidable_call_by need computations in term
rewriting_in_graphs_and hypergraphs a categorical framework node
rewriting_mecanism_categorical_product as a generic graph
rewriting_net_refinement_by pullback
rewriting_systems_are_strongly sequential a direct proof constructor equivalent term
rewriting_systems_is_in co np deciding strong sequentiality of orthogonal term
riemannian_metrics_defined_from image structure tensor deformable models with locally adaptive resolution using
rmi_based_distributed_objects operating systems of the jem project jem doos the java
rna_secondary_structure_comparison exact analysis of the zhang shasha tree edit algorithm theoretical computer science to appear 2003
robinson_schensted_correspondence_for oscillating and skew oscillating tableaux properties of the
robinson_schensted_correspondence_for skew oscillating tableaux a geometric version of the
rounting_on_bounded_degree network lower bounds for interval
routing_for_almost_all graphs the compactness of internal
routing_in_trees_
routing_in_trees_a space lower bound for
routing_on_dilation_of interval
routing_permutations_in_the hypercube
routing_scheme_a_survey on interval
routing_scheme_for_chordal graphs improved compact
routing_scheme_with_low stretch factor compact
routing_schemes_of_stretch factor three space efficiency for
routing_tables_for_graphs of bounded genus compact
routing_tables_the_compactness of adaptive
routing_the_compactness_of interval
rup Voir rational
réaliste_de_communication_vers des groupes garantissant un ordre causal et total grâce à une arborescence une architecture répartie et
répartie_et_réaliste_de communication vers des groupes garantissant un ordre causal et total grâce à une arborescence une architecture
résultats_de_kreweras_sur le polynôme énumérateur des inversions dans les arborescences une généralisation des
s_complementation_lemma_an initial semantics for the mu calculus on trees and rabin
s_complementation_theorem_the mu calculus on trees and rabin
s_guide_and_reference manual release 10 gim a latex like language for building graphical interactive manuals user
s_guide_scotch_30 user
s_guide_scotch_31 user
s_guide_scotch_and libscotch 34 user
s_manual_toupie_user
sand_pile_model_grain sorting in the one dimensional
sand_pile_parallel_transient time of one dimensional
sand_piles_in_digraphs
sat_instances_on_the random generation of 3
satellites_twta_redundancy_design of fault tolerant networks on
scenarios_a_pragmatic_approach to declaring specialization
scheduling_algorithm_for_parallel sparse fan innumerical factorization a mapping and
scheduling_for_mixed_1d 2d block distributions pastix a parallel sparse direct solver based on a static
scheme_a_survey_on interval routing
scheme_and_split_decomposition distance labelling
scheme_for_chordal_graphs improved compact routing
scheme_with_low_stretch factor compact routing
schemes_approximate_distance_labeling
schemes_of_stretch_factor three space efficiency for routing
schensted_correspondence_for_oscillating and skew oscillating tableaux properties of the robinson
schensted_correspondence_for_skew oscillating tableaux a geometric version of the robinson
science_to_appear_2003 rna secondary structure comparison exact analysis of the zhang shasha tree edit algorithm theoretical computer
scotch_30_user_s guide
scotch_31_user_s guide
scotch_and_libscotch_34 user s guide
secondaires_d_arn_in actes du colloque gascom2001 sienne november 2001 les arbres pour la comparaison de structures
secondaires_d_arn_À propos de la comparaison de structures
secondary_structure_comparison_exact analysis of the zhang shasha tree edit algorithm theoretical computer science to appear 2003 rna
segmentation_discrete_deformable_boundaries for 3d image
segmentation_discrete_deformable_boundaries for image
segmentation_with_topological_maps of inter pixel boundaries image
segmented_images_incremental_modification of
segmented_images_with_discrete maps representation of region
self_stabilizing_mutual_exclusion randomized uniform
semantics_analysis_and_optimization em code
semantics_for_the_mu calculus on trees and rabin s complementation lemma an initial
semi_groups_acting_on context free graphs large
septembre_2002_projet_sécurité java card rapport d avancement phase 2 novembre 2001 à
sequences_and_f_vectors the number of m
sequential_a_direct_proof constructor equivalent term rewriting systems are strongly
sequentiality_of_orthogonal_term rewriting systems is in co np deciding strong
set_in_time_$o 2^{n 4} $ finding a maximum independent
set_of_integrated_tools for the parallelization of applications using high performance fortran hpfit a
sets_in_planar_graphs with applications small k dominating
shading_and_reflectance_models a survey of
sharing_on_referential_transparency in the presence of uniform
sharing_support_for_symbolic computation factotum automatic and systematic
shasha_tree_edit_algorithm theoretical computer science to appear 2003 rna secondary structure comparison exact analysis of the zhang
sienne_november_2001_les arbres pour la comparaison de structures secondaires d arn in actes du colloque gascom2001
sig/SIG Voir GIS
signal_derivatives_high_precision fourier analysis of sounds using
simplification_de_contours_pour la reconstruction surfacique
simulation Voir modelisation
simulation_and_rendering_of halos photo realistic
simulation_and_visualization_of distributed algorithms a new tool for the
simulation_of_cellular_automata reversible space time
size_of_obdd_representation of 2 level redunduncies functions experimental results on the
skeleton_morphing_two_dimensional thick
skew_oscillating_tableaux_a geometric version of the robinson schensted correspondence for
skew_oscillating_tableaux_properties of the robinson schensted correspondence for oscillating and
slicing_for_medical_imaging fast arbitrarily oriented 3d
small_k_dominating_sets in planar graphs with applications
software Voir logiciel
software_of_an_electricity meter an experience in using formal methods in an industrial project the embedded
solver_based_on_a static scheduling for mixed 1d 2d block distributions pastix a parallel sparse direct
solving_over_symbolic_finite domains efficient bottom up abstract interpretation of prolog by means of constraint
solving_the_``nearest_point on object problem using recursive subdivision
some_aspects_of_using formal methods in an industrial project the eurotri case
some_labelled_trees_enumeration of
sortable_permutations_multi_statistic enumeration of two stack
sorting_in_the_one dimensional sand pile model grain
sounds_using_signal_derivatives high precision fourier analysis of
space_efficiency_for_routing schemes of stretch factor three
space_lower_bound_for routing in trees a
space_partionning_for_ray tracing cylindrical
space_time_simulation_of cellular automata reversible
spaces_to_write_generic digital topology and geometry algorithms coding cells of multidimensional digital
spanning_tree_in_anonymous t prime graphs a distributed algorithm for computing a
spanning_tree_of_graph covering and
spanning_trees_on_weighted graphs non uniform random
sparse_and_irregular_data strucutures a graph based framework for the manipulation of
sparse_direct_solver_based on a static scheduling for mixed 1d 2d block distributions pastix a parallel
sparse_fan_innumerical_factorization a mapping and scheduling algorithm for parallel
specialization_modules_guaranteed_configurability of components via
specialization_scenarios_a_pragmatic approach to declaring
specification_editable_dag_edag
specifying_streaming_applications_spidle a dsl approach to
spherical_or_contractible_a class of lattices whose intervals are
spidle_a_dsl_approach to specifying streaming applications
spitzer_foata_factorisations_de
splines_an_hermitian_approach for multiresolution
splines_an_interesting_subset of b splines for interactive cad applications hb
splines_for_interactive_cad applications hb splines an interesting subset of b
split_and_merge_algorithm based on discrete maps a new
split_decomposition_distance_labelling scheme and
split_merge_and_grouping a new approach for color image quantization
splitting_algorithm_for_cograph recognition a new vertex
stabilizing_mutual_exclusion_randomized uniform self
stack_sortable_permutations_multi statistic enumeration of two
star_coloring_of_graphs
star_graphs_and_other cayley graphs edge forwarding index of
static_mapping_experimental_analysis of the dual recursive bipartitioning algorithm for
static_scheduling_for_mixed 1d 2d block distributions pastix a parallel sparse direct solver based on a
static_trees_pattern_matching in
statistic_enumeration_of_two stack sortable permutations multi
steep_polyominoes_q_motzkin numbers and q bessel functions
stratification_of_planar_graphs orthogonal drawings based ed on the
streaming_applications_spidle_a dsl approach to specifying
stretch_factor_compact_routing scheme with low
stretch_factor_three_space efficiency for routing schemes of
strict_on_binary_trees the mu calculus alternation depth hierarchy is
strong_sequentiality_of_orthogonal term rewriting systems is in co np deciding
strongly_sequential_a_direct proof constructor equivalent term rewriting systems are
structure_comparison_exact_analysis of the zhang shasha tree edit algorithm theoretical computer science to appear 2003 rna secondary
structure_of_minimum_broadcast digraphs on the
structure_tensor_deformable_models with locally adaptive resolution using riemannian metrics defined from image
structures_compact_and_localized distributed data
structures_secondaires_d_arn in actes du colloque gascom2001 sienne november 2001 les arbres pour la comparaison de
structures_secondaires_d_arn À propos de la comparaison de
structuring_of_overlapping_2d discrete objects geometrical topological and hierarchical
strucutures_a_graph_based framework for the manipulation of sparse and irregular data
study_of_minimum_gossip graphs a
subdivision_solving_the_``nearest point on object problem using recursive
subset_of_b_splines for interactive cad applications hb splines an interesting
substitutio_n_systems_undecidability of the problem of ends for automatic graphs and graph
support_for_symbolic_computation factotum automatic and systematic sharing
surfaces_on_effective_decidability of the homeomorphism problem for non compact
surfacique_simplification_de_contours pour la reconstruction
survey_of_shading_and reflectance models a
survey_on_interval_routing scheme a
survey_on_knödel_graphs a
sweep_objects_efficient_and accurate tessellation of implicit
sweep_objects_fast_tessellation of implicit
sweep_objects_mathematical_aspects and implementation fast tessellation of implicit
symbolic_computation_factotum_automatic and systematic sharing support for
symbolic_finite_domains_efficient bottom up abstract interpretation of prolog by means of constraint solving over
synchronizations_on_the_efficiency of randomized local
syntactic_approach_to_random walks on graphs a
system_formal_methods_and real time design and validation of a real time embedded
systematic_sharing_support_for symbolic computation factotum automatic and
systems_a_general_overview graph relabelling
systems_a_generative_approach of graph relabeling
systems_are_strongly_sequential a direct proof constructor equivalent term rewriting
systems_from_local_computations to asynchronous message passing
systems_is_in_co np deciding strong sequentiality of orthogonal term rewriting
systems_jit_compilation_for evolving embedded
systems_of_the_jem project jem doos the java rmi based distributed objects operating
systems_undecidability_of_the problem of ends for automatic graphs and graph substitutio n
sécurité_java_card_rapport d avancement phase 1 juin 2001 à octobre 2001 projet
sécurité_java_card_rapport d avancement phase 2 novembre 2001 à septembre 2002 projet
séquentiels_et_logique_multivaluée opérateurs booléens
séries_en_variables_partiellement commutatives modèles avec particules dures animaux dirigés et
t_a_=t_b
t_preserving_homomorphisms_of oriented graphs
t_prime_graphs_a distributed algorithm for computing a spanning tree in anonymous
tableaux_a_geometric_version of the robinson schensted correspondence for skew oscillating
tableaux_properties_of_the robinson schensted correspondence for oscillating and skew oscillating
tables_for_graphs_of bounded genus compact routing
tables_the_compactness_of adaptive routing
taille_un_algorithme_parallele asynchrone pour l etiquettage de composantes connexes avec une contrainte de
task_graph_model_automatic code generation in the
technologie_java_card_présentation de la carte à puce la java card la
tensor_deformable_models_with locally adaptive resolution using riemannian metrics defined from image structure
term_rewriting_decidable_call by need computations in
term_rewriting_systems_are strongly sequential a direct proof constructor equivalent
term_rewriting_systems_is in co np deciding strong sequentiality of orthogonal
tessellation_of_implicit_sweep objects efficient and accurate
tessellation_of_implicit_sweep objects fast
tessellation_of_implicit_sweep objects mathematical aspects and implementation fast
theorem_a_refinement_of the lecture hall
theorem_the_mu_calculus on trees and rabin s complementation
theoretical_computer_science_to appear 2003 rna secondary structure comparison exact analysis of the zhang shasha tree edit algorithm
thick_skeleton_morphing_two dimensional
three_a_note_on the oriented chromatic number of graphs with maximum degree
three_dimensional_convex_polygons enumeration of
three_space_efficiency_for routing schemes of stretch factor
thresholds_from_document_histograms an efficient method for computing optimal binarization
théorique_un_itinéraire_probabiliste en informatique
théorème_de_brooks_csp et
time_$o_2^{n_4} $ finding a maximum independent set in
time_design_and_validation of a real time embedded system formal methods and real
time_embedded_system_formal methods and real time design and validation of a real
time_of_one_dimensional sand pile parallel transient
time_simulation_of_cellular automata reversible space
title_
titre_non_encore_communique
titre_non_encore_communiqué
tolerant_networks_on_satellites twta redundancy design of fault
tool_for_the_simulation and visualization of distributed algorithms a new
tools_for_the_parallelization of applications using high performance fortran hpfit a set of integrated
topological_and_hierarchical_structuring of overlapping 2d discrete objects geometrical
topological_classification_of_complex polynomials new experimental results
topological_maps_of_inter pixel boundaries image segmentation with
topological_property_of_rational omega languages a
topology_and_geometry_algorithms coding cells of multidimensional digital spaces to write generic digital
total_grâce_à_une arborescence une architecture répartie et réaliste de communication vers des groupes garantissant un ordre causal et
toupie_first_experiments_with
toupie_user_s_manual
tracing_cylindrical_space_partionning for ray
tracing_face_
trade_offs_for_odd gossiping
transient_time_of_one dimensional sand pile parallel
transparency_in_the_presence of uniform sharing on referential
tree_edit_algorithm_theoretical computer science to appear 2003 rna secondary structure comparison exact analysis of the zhang shasha
tree_in_anonymous_t prime graphs a distributed algorithm for computing a spanning
tree_of_graph_covering and spanning
trees_a_death_process model for randomized elections in
trees_a_space_lower bound for routing in
trees_and_rabin_s complementation lemma an initial semantics for the mu calculus on
trees_and_rabin_s complementation theorem the mu calculus on
trees_enumerating_alternating_
trees_enumeration_of_some labelled
trees_on_weighted_graphs non uniform random spanning
trees_pattern_matching_in static
trees_routing_in_
trees_the_mu_calculus alternation depth hierarchy is strict on binary
triangulation_an_information_upper bound of planar graphs using
two_dimensional_directed_animals new enumerative results on
two_dimensional_thick_skeleton morphing
two_proximity_lemmas_distance between a point and a convex hull proofs of
two_stack_sortable_permutations multi statistic enumeration of
twta_redundancy_design_of fault tolerant networks on satellites
u2h_libraries_release_11 helios to unix and unix to helios communication without internet h2u and
undecidability_of_the_problem of ends for automatic graphs and graph substitutio n systems
uniform_random_spanning_trees on weighted graphs non
uniform_self_stabilizing_mutual exclusion randomized
uniform_sharing_on_referential transparency in the presence of
uniforme_de_mots_génération aléatoire et
unifying_framework_for_geometrical deformations a
universality_of_a_one dimension reversible cellular automaton intrinsic
unix_and_unix_to helios communication without internet h2u and u2h libraries release 11 helios to
unix_to_helios_communication without internet h2u and u2h libraries release 11 helios to unix and
up_abstract_interpretation_of prolog by means of constraint solving over symbolic finite domains efficient bottom
upper_bound_of_planar graphs using triangulation an information
user_s_guide_and reference manual release 10 gim a latex like language for building graphical interactive manuals
user_s_guide_scotch 30
user_s_guide_scotch 31
user_s_guide_scotch and libscotch 34
user_s_manual_toupie
usig_mec_eurotri_physical layer protocol implemented version an experiment
using_formal_methods_in an industrial project the embedded software of an electricity meter an experience in
using_formal_methods_in an industrial project the eurotri case some aspects of
using_high_performance_fortran hpfit a set of integrated tools for the parallelization of applications
using_programmable_networks_distributing mpeg movies over the internet
using_recursive_subdivision_solving the ``nearest point on object problem
using_riemannian_metrics_defined from image structure tensor deformable models with locally adaptive resolution
using_signal_derivatives_high precision fourier analysis of sounds
using_triangulation_an_information upper bound of planar graphs
utilisation_des_grammaires_algébriques et q grammaires en maple
validation_of_a_real time embedded system formal methods and real time design and
variables_partiellement_commutatives_modèles avec particules dures animaux dirigés et séries en
various_classes_of_column convex polygons a method for the enumeration of
vectors_the_number_of m sequences and f
vers_des_groupes_garantissant un ordre causal et total grâce à une arborescence une architecture répartie et réaliste de communication
version_an_experiment_usig mec eurotri physical layer protocol implemented
version_of_the_robinson schensted correspondence for skew oscillating tableaux a geometric
vertex_labels_encoding_orientations of graphs by
vertex_splitting_algorithm_for cograph recognition a new
via_specialization_modules_guaranteed configurability of components
visualization_of_distributed_algorithms a new tool for the simulation and
visualization_of_knowledge_acquisition a model for the
voronoi_généralisés_construction_exacte d images de distance euclidienne généralisées et de diagramme de
walks_on_cycle_graphs formal rational fractions and random
walks_on_graphs_a syntactic approach to random
weight_multitasking_library_reference guide release 10 mtt a light
weighted_graphs_non_uniform random spanning trees on
whose_intervals_are_spherical or contractible a class of lattices
with_applications_small_k dominating sets in planar graphs
with_block_permutations_any invertible cellular automaton can be represented
with_discrete_maps_representation of region segmented images
with_discrete_mathematics_a model for graphical interface dealing
with_locally_adaptive_resolution using riemannian metrics defined from image structure tensor deformable models
with_low_stretch_factor compact routing scheme
with_maximum_degree_three a note on the oriented chromatic number of graphs
with_non_euclidean_metrics deformable model
with_topological_maps_of inter pixel boundaries image segmentation
with_toupie_first_experiments
without_internet_h2u_and u2h libraries release 11 helios to unix and unix to helios communication
write_generic_digital_topology and geometry algorithms coding cells of multidimensional digital spaces to
zhang_shasha_tree_edit algorithm theoretical computer science to appear 2003 rna secondary structure comparison exact analysis of the
À_propos_de_la comparaison de structures secondaires d arn
à_grain_fin_evaluation partielle méthode offline et méthode
à_octobre_2001_projet sécurité java card rapport d avancement phase 1 juin 2001
à_puce_la_java card la technologie java card présentation de la carte
à_septembre_2002_projet sécurité java card rapport d avancement phase 2 novembre 2001
à_une_arborescence_une architecture répartie et réaliste de communication vers des groupes garantissant un ordre causal et total grâce
énumérateur_des_inversions_dans les arborescences une généralisation des résultats de kreweras sur le polynôme
équationnellle_mingus_un_compilateur expérimental pour la logique
équations_optimisations_de_bas niveau dans un compilateur d