Archives par année

Combinatoire énumérative et bijective de différentes familles de chemins de Dyck avec trous d'air

Rémi Maréchal (GREYC, Caen)
November 19, 2024

Planar or almost planar graphs: topology to the rescue of algorithms

Arnaud de Mesmay (LIGM, Univ. Paris-Est)
November 5, 2024

Random Deterministic Automata With One Added Transition

Cyril Nicaud (LIGM, Univ. Paris-Est)
October 22, 2024

Classes de sous-shifts définis par des formules logiques

Rémi Pallen (ENS Paris Saclay)
October 15, 2024

Combinatoire de mots, musiques traditionnelles et improvisation avec ordinateur

Marc Chemillier (EHESS, Paris)
October 8, 2024

StarMalloc : un allocateur de mémoire moderne renforcé formellement vérifié

Antonin Reitz (Équipe Prosecco, INRIA Paris)
July 2, 2024

Sous-shifts au langage stable

Samuel Petite (LAMFA, Univ. Picardie)
June 18, 2024

Génération aléatoire des graphes de Git

Julien Courtiel (GREYC, Caen)
June 11, 2024

Turing machine dynamics and the SMART machine

Anahí Gajardo (Univ. Conception, Chili)
June 4, 2024

Computability of extender sets in multidimensional subshifts

Léo Paviet Salomon (GREYC, Caen)
May 21, 2024

History-deterministic and explorable automata

Denis Kuperberg (LIP, ENS Lyon)
May 14, 2024

Synthesis for fragments of first-order logic on data words

Julien Grange (LACL, Univ. Paris-Est Créteil)
May 7, 2024

Domination in subcubic graphs: swapping numbers

Paul Dorbec (GREYC, Caen)
April 16, 2024

Développement asymptotique complet pour les systèmes algébriques et au-delà

Olivier Bodini (LIPN, Univ. Paris-Nord)
April 9, 2024

How to rotate digital images without losing information?

Yukiko Kenmochi (GREYC, Caen)
April 2, 2024

Hardness of the Decoding Problem and its Applications in Post-Quantum Cryptography

Maxime Bombar (CWI, Amsterdam, Pays-Pas)
March 26, 2024

Discussion autour du Générateur Sac à dos

Florette Martinez (ENS Ulm)
March 19, 2024

Corecursivity and higher-order computational differentiation, and some applications

Jerzy Karczmarczuk (GREYC, Caen)
March 5, 2024

A propos du calcul de la D-base des systèmes de fermeture finis

Simon Vilmin (LIS, Univ. Marseille)
February 6, 2024

Some new proofs of Shepherdson's theorem

Géraud Sénizergues (LaBRI, Univ. Bordeaux)
January 30, 2024

Untangling Graphs on Surfaces

Loïc Dubois (LIGM, Univ. G.Eiffel)
January 23, 2024

Learning Linear Temporal Logic

Nathanaël Fijalkow (CNRS, LaBRI, Univ. Bordeaux)
January 16, 2024

State complexity: Inverting a language reduces the complexity of the root operation

Alexandre Durand (LITIS, Univ. Rouen)
January 9, 2024

Approximate Cartesian tree matching

Bastien Auvray (LITIS, Univ. Rouen)
December 19, 2023

Measuring robustness of dynamical systems. Relating time and space to length and precision

Manon Blanc (LIX, Ecole Polytechnique)
December 12, 2023

Percolation Bootstrap (ou d'amorçage) sur les pavages de Penrose

Victor Luftalla (I2M, Univ. Marseille)
December 5, 2023

Tough graphs and Hamiltonian degree conditions

Cléophée Robin (GREYC, Caen)
November 28, 2023

Samplelim: un package R pour l’échantillonnage de solutions à un problème linéaire inverse

Théo Grente (LMNO, Caen)
November 21, 2023

Bornes Inférieures et Séparations pour la Compilation de Connaissances Bottom-Up

Alexis de Colnet (CRIL, Univ. Lens)
November 14, 2023

FHE & AI: a Concrete Use-Case

Bastien Vialla (Orange Labs, Caen)
November 7, 2023

Une extension probabiliste de la suite d'Oldenburger-Kolakoski

Irène Marcovici (LITIS, Univ. Rouen)
October 17, 2023

The structure of quasi-transitive graphs avoiding a minor with applications to the Domino Conjecture

Ugo Giocanti (G-Scop, Univ. Grenoble)
October 10, 2023

Ten asymptotic expansions for the Stirling numbers of the second kind

Hsien-Kuei Hwang (Academia Sinica, Taipei, Taiwan)
September 26, 2023

FHE Circuit Privacy for Free

Ana Maria Costache (NTNU, Trondheim, Norvège)
September 12, 2023

"Robustness of the RAM model" or "how to perform a division in constant time"

Etienne Grandjean (GREYC, Caen)
June 27, 2023

Comprendre les équations de Dyson-Schwinger via les diagrammes de cordes

Julien Courtiel (GREYC, Caen)
June 20, 2023

Walking On a Line: détection de marches S-adiques dans les ω-automates

Pierre Béaur (LISN, Université Paris-Saclay)
May 30, 2023

Multicolor bipartite Ramsey numbers for paths, cycles, and stripes

Mostafa Gholami (GREYC, Caen)
May 23, 2023

Le problème du domino sur les pavages par losanges

Victor Lutfalla (GREYC, Caen)
May 16, 2023

Combinatorics of reduced ordered binary decision diagrams. Application to random uniform sampling

Julien Clément (GREYC, Caen)
April 11, 2023

Memory-Optimization for Self-Stabilizing Distributed Algorithms

Gabriel Le Bouder (LIP6, Sorbonne Univ.)
April 5, 2023

Two-player boundedness counter games

Edwin Hamel (Univ. libre Bruxelles, Belgique)
April 4, 2023

Classes de transitivité pour les sous-décalages de type fini multi-dimensionnels

Silvère Gangloff (Univ. AGH, Cracovie, Pologne)
March 28, 2023

Directed Ordered Acyclic Graphs, asymptotic analysis and efficient random sampling

Martin Pépin (LIPN, Paris Nord)
March 21, 2023

Combinatorics of the lambda-calculus and maps: bijections and limit properties

Alexandros Singh (LIPN, Univ. Paris Nord)
March 20, 2023

Sum of digits, pseudorandomness and measures of complexity

Pierre Popoli (LORIA, Univ. de Lorraine)
March 20, 2023

Complexité des jeux positionnels (Complexity of positionnal games)

Valentin Gledel (Univ. Umea, Suède)
March 6, 2023

Algorithmes pour la Dimension Métrique dans les graphes dirigés

Antoine Dailly (LIMOS, Univ. Clermont-Ferrand)
February 28, 2023

Extending Brandes algorithm to improve betweenness centrality computation in temporal graphs with discrete and continuous time

Mehdi Naima (LIP6, Paris)
February 21, 2023

Arithmetical Complexity of the Language of Generic Limit Sets of Cellular Automata

Solène Esnay (IMT, Univ. Toulouse 3)
January 24, 2023

Two new criteria to prove the inherent ambiguity of bounded context-free languages

Florent Koechlin (LORIA, Nancy)
January 17, 2023

Recherche d'éléments courts dans les réseaux idéaux

Andrea Lesavourey (IRISA, Rennes)
January 10, 2023

Étude de propriété des automates cellulaires en utilisant les bases de Groebner

Théo Grente (France Energies Marines, Caen)
January 3, 2023

Introduction to lattice based cryptography

Adeline Roux-Langlois (GREYC, Caen)
November 29, 2022

Densité des empilements de sphères : des pièces de monnaie aux oranges

Daria Pchelina (LIPN, Univ. Paris 13)
November 22, 2022

Analyse de Concepts Formels et découverte de Redescriptions - une application au web des données

Justine Reynaud (GREYC, Caen)
November 15, 2022

A curious identity in connection with saddle-point method and Stirling’s formula

Hsien-Kuei Hwang (LIPN, Univ. Paris 13)
November 14, 2022

Variations autour du modèle des VLMC (= Variable Length Markov Chains)

Brigitte Vallée (GREYC, Caen)
October 18, 2022

Vers la Difficulté de « Module Learning With Errors » avec Distributions Courtes

Corentin Jeudy (Orange Labs, Rennes)
October 12, 2022

Comment le lambda-calcul typé peut-il nous assurer que nos données personnelles ne fuiront pas ?

Rémi Pallen (ENS Paris Saclay)
October 4, 2022

Les pavages de Penrose par losanges

Victor Luftalla (GREYC, Université de Caen)
September 27, 2022

Isomorphisme de sous-graphes (SubIso) des graphes séries-parallèles (SP-graphes) et couvertures par trous

Ionona Ranaivoson (GREYC, Université de Caen)
September 6, 2022

Les règles de vote multi gagnants : Une proximité axiomatique est-elle liée à des résultats similaires ?

Marin Gohard (lab. CREM, Centre de Recherche en Economie et Management, Univ. Caen)
June 14, 2022

Problème du domino apériodique en (presque) toutes dimensions

Antonin Callard (ENS Paris-Saclay et Univ. Turku, Finlande)
June 7, 2022

Hard cutting problems on embedded graphs

Arnaud de Mesmay (lab. IGM, Univ. G. Eiffel, Marne la Vallée)
May 31, 2022

Une nouvelle méthode pour obtenir des algorithmes d'énumération à délai et espace polynomiaux

Arnaud Mary (lab. LBBE, Univ. C. Bernard, Lyon)
May 24, 2022

(Quasi)-Identities in polymorphism clones and their application to constraint satisfaction (with infinite domains)

Sergej Scheck (GREYC)
May 17, 2022

Les graphes série-parallèles scrutés à travers des trous

Ionona Ranaivoson (GREYC, Université de Caen)
April 26, 2022

Fast-growing functions in Computability Theory

Ludovic Patey (équipe de Logique de l'IMJ, Paris Rive Gauche)
April 5, 2022

Stéréotypes de genre

Brigitte Vallée (GREYC, Caen)
March 15, 2022

Séries génératrices et preuves d'intrinsèque ambiguïté

Florent Koechlin (IRIF, Paris)
March 8, 2022

Complexité des CSP quantifiés

Florent Madelaine (LACL, Univ. Paris-Est Créteil)
February 22, 2022

Digital convexity preserving pixelwise deformation

Yukiko Kenmochi (GREYC, Caen)
February 8, 2022

Investigating potential dichotomies above Feder and Vardi's logic MMSNP

Alexey Barsukov (LIMOS, Clermont-Ferrand et LACL, Univ. Paris-Est Créteil)
February 1, 2022

Analyse théorique de git bisect

Romain Lecoq (GREYC, Caen)
January 25, 2022

Amortissement géométrique du délai

Yann Strozecki (DAVID à l'Université de Versailles Saint-Quentin)
January 18, 2022

Nombres surréels, intégration et perspectives pour le calcul

Quentin Guilmant (LIX, Ecole Polytechnique)
January 11, 2022

Structures de données et système de requêtes optimisés pour l’analyse de code

Quentin Dauprat (GREYC, Caen)
January 4, 2022

Calcul de la «betweenness centrality» dans les flots de liens

Clémence Magnien (LIP6, Sorbonne Univ.)
December 14, 2021

Algorithmes de partitionnement par comparaison de paires

Élie de Panafieu (Nokia Bell labs, Paris Saclay)
December 7, 2021

Computing with analog models. Computing with ordinary differential equations

Olivier Bournez (LIX, Ecole Polytechnique)
November 16, 2021

Groupe fondamental et pavages du plan: quelques constructions

Léo Paviet Salomon (GREYC)
November 9, 2021

Difficulté du domino apériodique en (presque) toute dimension

Benjamin Hellouin (LRI, Univ. Paris Sud)
October 26, 2021

Sampling uniforme de langage d'automate temporisé

Benoit Barbot (LACL)
October 12, 2021

Génération de tests aléatoires pour des types numériques contraints

Vincent Botbol (Nomadic labs), Matthieu Dien (GREYC), Ghiles Ziat (IRIF, Univ. Paris)
September 7, 2021

Réseaux d'automates expansifs

Florian Bridoux (LIS, Université Aix-Marseille)
June 29, 2021

Une nouvelle approche pour l'analyse d'algorithme

Julien David (LIPN, Université Paris Nord)
April 25, 2021

Entropies et entropies de surfaces des sous-shifts 2D

Antonin Callard (Département informatique, ENS Paris-Saclay)
March 30, 2021

Absorbing patterns in BST-like expression-trees

Pablo Rotondo (LIGM, Université Gustave Eiffel Paris Est)
February 9, 2021

Computational hardness and conjugacy invariants in subshifts

Pascal Vanier (GREYC, Caen)
January 25, 2021

Énumération asymptotique des arbres faiblement croissants

Mehdi Naima (LIPN, Université Paris 13))
November 10, 2020

Two arithmetical sources and their asssociated tries

Brigitte Vallée (GREYC, Caen)
October 20, 2020

Les sous-shifts multidimensionnels non-sofics

Andrei Romashchenko (LIRMM, Univ. Montpellier)
October 13, 2020

Knowledge Compilation for Action Languages

Sergej Scheck (GREYC, Caen)
September 29, 2020

Des bijections à la maison ! Chemins dans un réseau triangulaire et chemins de Motzkin

Julien Courtiel (GREYC, Caen)
May 13, 2020

Theoretical needs for pattern mining

Arnaud Soulet (Univ. de Tours)
April 6, 2020

Contributions algorithmiques à la prise de décision multi-agents

Aurélie Beynier (LIP6, Univ. Paris 6)
April 3, 2020

Analogies between groups and subshifts : Higman type theorems for subshifts

Pascal Vanier (LACL, Paris-Est Créteil)
April 1, 2020

Cliff posets and algebras

Samuele Giraudo (IGM, Paris-Est Marne la Vallée)
April 1, 2020

Exploration de l'arbre des semigroupes numériques

Jean Fromentin (LMPA, Univ. Littoral, Calais)
March 31, 2020

Reachability and Coverage for Connected Agent

François Schwarzentruber (ENS, Rennes)
March 13, 2020

Partitions des entiers et nombres premiers

Manfred Madritsch (Institut Elie Cartan, Univ. Lorraine)
March 10, 2020

Algorithmes rapides pour des graphes bien structurés

Mamadou Kanté (Université Clermont Auvergne)
March 3, 2020

L'algorithme de parcours en profondeur dans un modèle de configuration

Nathan Noiry (Paris Ouest, Nanterre)
February 18, 2020

Reasoning about Disclosure in Data Integration in the Presence of Source Constraints

Louis Jachiet (Telecom Paris)
February 11, 2020

Intrusion Detection Systems over an Encrypted Traffic: Problem and Solutions

Sébastien Canard (Orange Labs et GREYC)
February 4, 2020

Parameterized Algorithms for Consensus String Problems

Laurent Bulteau (IGM, Univ. Marne la Vallée)
January 28, 2020

LAD et modèles probabilistes pour des algorithmes de recherche exacts

Danièle Gardy (David, Univ. Versailles-Saint-Quentin)
January 21, 2020

Mise en œuvre de l' algorithme de Propp et Wilson

Christelle Rovetta (INRIA et ENS Ulm, Paris)
November 26, 2019

Les expressions aléatoires uniformes manquent d'expressivité

Florent Koechlin (LIGM, Paris-Est Marne la Vallée)
November 19, 2019

À la recherche de borne inférieure de complexité

Ali Akhavi (GREYC, Caen)
November 5, 2019

Le modèle du tas de sable, de la physique à la combinatoire

Henri Derycke (GREYC, Caen)
October 15, 2019

Algebra, Tilings and Nivat

Etienne Moutot (LIP, ENS Lyon)
October 1, 2019

Dual Hashing-Based Algorithms for Discrete Integration

Alexis de Colnet (CRIL, Lens)
September 24, 2019

Communication complexity tools on recognizable picture languages

Véronique Terrier (GREYC,Caen)
September 17, 2019

Comment vos supporters et opposants définissent votre intérêt

Bruno Crémilleux (GREYC,Caen)
September 10, 2019

Circuix le Gaulois

Sylvain Perifel (IRIF, Paris)
June 11, 2019

Simulation exacte de lois de probabilités

Philippe Duchon (LaBRI, Bordeaux)
May 7, 2019

Leader election on finite labelled graph with finite memory and anonymous agents

Gaétan Richard (GREYC, Caen)
April 2, 2019

Maximisation d'entropie et échantillonnage de Shannon-Parry. Application à la vérification de systèmes par Monte-Carlo

Philippe Regnault (LMR, Université de Reims)
March 12, 2019

Top-Down Knowledge Compilation of Decision-DNNF Representations

Pierre Marquis (CRIL, Lens)
March 5, 2019

Limit theorems for statistics of random graphs

Joseph Yukich (Lehigh University, Bethlehem, Pennsylvania, USA)
February 12, 2019

Enumération des transversaux minimaux des hypergraphes sans triangle

Mamadou Kanté (LIMOS, Clermont-Ferrand)
February 5, 2019

Le jeu de domination dans les graphes

Paul Dorbec (GREYC, Caen)
January 29, 2019

Studying the complexity of SAT in a normal multi-modal logic for trust in the sincerity

Christopher Leturc (GREYC, Caen)
January 22, 2019

Vérifier la sécurité des vues de bases de données

Pierre Bourhis (INRIA et CRIStAL, Lille)
January 15, 2019

Les jeux de réécriture: une passerelle entre théorie des jeux combinatoires et théorie des langages

Eric Duchêne (LIRIS, Lyon)
December 11, 2018

Points apériodiques dans les espaces de pavage bidimensionnels

Pascal Vanier (LACL, Paris-Est Créteil)
November 13, 2018

Outils de topologie algébrique pour l’analyse du calcul distribué

Pierre Fraigniaud (IRIF, Paris)
November 6, 2018

Systèmes dynamiques et numération

Valérie Berthé (IRIF, Paris)
October 23, 2018

Enumerating pattern matches in texts and trees

Antoine Amarilli (Télécom Paris)
October 9, 2018

Aspects combinatoires des systèmes concurrents

Matthieu Dien (GREYC, Caen)
September 25, 2018

Caractérisation logique de la complexité d'un automate cellulaire

Théo Grente (GREYC, Caen)
September 18, 2018

Convex bi-partitions of bipartite graphs

Martin Dario Safe (Laboratoire MIS (Université de Picardie Jules Verne)
June 16, 2018

Couplets, refrains, cadences... comment analyse-t-on automatiquement la forme musicale ?

Florence Levé (Laboratoire MIS (Université de Picaerdie Jules Verne)
May 22, 2018

Autour des ensembles dominants: des graphes et des jeux

Paul Dorbec (Labri, Bordeaux)
April 10, 2018

Incentives in distributed systems

Paolo Penna (ETH Zurich, Department of Computer Science)
March 28, 2018

Variations on alignments in process mining

Thomas Chatain (LSV , CNRS & ENS de Cachan)
March 20, 2018

Algorithmic problems in algebra: complexity and applications

Delaram Kahrobaei (New York University, CUNY Graduate Center, City University of New York, Center for Logic, Algebra, Computation, USA)
March 6, 2018

Probabilistic analysis of the Continued Logarithm Algorithm

Pablo Rotondo (IRIF, Paris Diderot and UdeLaR, Montevideo associate, associate of GREYC)
February 20, 2018

Lempel-Ziv : la catastrophe du premier bit

Guillaume Lagarde (IRIF, Paris Diderot)
February 13, 2018

Cadre formel pour la réécriture distribuée des multiensembles

Serghei Verlan (LACL, Créteil)
January 30, 2018

Opérades, séries et combinatoire

Samuele Giraudo (LIGM, Marne la Vallée)
January 23, 2018

Vingt-deux ans de recherche en fouille de motifs: du parcours en largeur au parcours en profondeur?!

Albrecht Zimmermann (GREYC, Caen)
December 12, 2017

Analyse de paramètres pour les cartes combinatoires

Julien Courtiel (GREYC, Caen)
December 5, 2017

Improved bounds for testing Dyck languages

Frédéric Magniez (IRIF, Paris)
November 28, 2017

Heuristiques et conjectures à propos de la 2-dimension des ordres partiels

Kaoutar Ghazi (GREYC, Caen)
November 14, 2017

Concurrence et combinatoire des structures croissantes : parallélisme, non-déterminisme et synchronisation

Frédéric Peschanski (LIP6 / UPMC Sorbonne Université)
October 24, 2017

Irreducibility of reciprocal polynomials and applications

Antonio Cafure (UNGS (Universidad National de General Sarmiento, Buenos Aires)
September 19, 2017

Quantified Valued Constraint Satisfaction Problems (QVCSP)

Stéphane Secouard (GREYC, Caen)
September 12, 2017

Comparaison des langages d’Okhotin avec les classes de complexité des automates cellulaires

Théo Grente (GREYC, Caen)
September 12, 2017

Fonctions qui préservent toutes les congruences d’une algèbre

Serge Grigorieff (IRIF, Paris)
June 27, 2017

Complexité descriptive et temps linéaire parallèle

Frédéric Olive (LIF, Marseille)
June 20, 2017

Quelques travaux en bio informatique

Jérémie Bourdon (LINA, Nantes)
June 13, 2017

The Complexity of Quantified Constraints

Barnaby Martin (Middlesex University London)
May 23, 2017

Normal numbers and automatic complexity

Alexander Shen (LIRMM, Montpellier)
May 16, 2017

Combinatoire, algorithmique et design d'Acides RiboNucléiques structurés

Yann Ponty (LIX, Ecole Polytechnique)
May 2, 2017

Vagues de bits (Bit waves)

Vlady Ravelomanana (IRIF, Université Paris Diderot)
April 25, 2017

Graphes cubiques et triangulations sur une surface orientable

Wenjie Fang (Team MC2 and AriC at ENS Lyon)
April 5, 2017

Termination of higher-order probabilistic programs

Charles Grellois (FOCUS team, Bologna)
April 4, 2017

Solvability of Matrix-Exponential Equations

Amaury Pouly (MPI-SWS, Saarbrücken)
March 28, 2017

Fractions continues multidimensionnelles et topologie des hyperplans discrets

Damien Jamet (LORIA, Nancy)
March 22, 2017

Bornes inférieures pour les branching programs

Florent Capelli (Departement of Computer Science and Information Systems at Birkbeck College, London)
March 21, 2017

Choosing parameters in coding theory with a focus on Griesmer bound

Eleonora Guerrini ()
February 28, 2017

Motifs dans les treeshelves

Sergey Kirgizov ()
February 28, 2017

Entropie des pavages mélangeants

Benjamin Hellouin (IRIF, Paris 7)
February 7, 2017

Comptons les diagrammes connexes de cordes

Julien Courtiel (LIPN, Paris Nord)
January 31, 2017

Calculer dans un automate cellulaire unidirectionnel réversible : vers l'indécidabilité de la périodicité ?

Martin Delacourt (LORIA, Telecom Nancy)
January 24, 2017

L'échantillonnage compressé

Jalal Fadili (GREYC, Caen)
January 10, 2017

Mesures d'entropie maximale pour les réseaux d'automates

Nicolas Basset (Université Libre de Belgique)
January 3, 2017

Periodic oscillations of divide-and-conquer recurrences dividing at half

Hsien-Kuei Hwang (Academia Sinica, Taiwan)
December 5, 2016

Programmation par formules de Horn et temps linéaire sur automates cellulaires

Etienne Grandjean (GREYC, Caen)
November 29, 2016

Nonnegative Matrix Factorization Requires Irrationality

Joël Worell (Oxford)
November 22, 2016

On Matrix Powering and Related Problems

Joël Ouaknine (Sarrebruck)
November 22, 2016

Synchronisation d’automates aléatoires

Cyril Nicaud (LIGM, Paris Est)
November 15, 2016

Une simulation des voisinages ronds par le voisinage de von Neumann dans les automates cellullaires bidimensionnels

Anael Grandjean (LIRMM)
October 25, 2016

A Dual to a Classical Graph Homomorphism Theorem of Lovász

Stefan Mengel (CNRS et Université d’Artois)
October 18, 2016

Compilation de connaissances pour la logique épistémique S5

Alexandre Niveau (GREYC, Caen)
October 11, 2016

Semi-groupes d’automate et semi-groupes automatiques

Mathieu Picantin (IRIF, Paris 7)
October 4, 2016

Quelques liens entre les automates trellis et les langages algébriques

Véronique Terrier (GREYC, Caen)
September 27, 2016

L'algorithme de recherche locale est un schéma d'approximation pour le placement d'installations dans un graphe planaire, et généralisations

Claire Mathieu (DI ENS Ulm, Paris)
September 20, 2016

Decomposing Cubic Graphs into Connected Subgraphs of Size Three

Laurent Bulteau (LIGM, Marne-la-Vallée)
June 21, 2016

Quelques arguments probabilistes pour l’étude des arbres de recherche m-aires

Brigitte Chauvin (LMV, Versailles)
June 14, 2016

Synchronisation sur automate cellulaire

Gaétan Richard (GREYC, Caen)
May 31, 2016

De bonnes prédictions valent bien quelques comparaisons

Carine Pivoteau (LIGM, Marne-la-Vallée)
May 24, 2016

Étude de certains automates cellulaires bruités

Irène Marcovici ()
May 3, 2016

Fonction de récurrence des mots Sturmiens: une étude probabiliste

Pablo Rotondo (IRIF, Paris et GREYC, Caen)
April 26, 2016

Commun avec le groupe de travail "mots et entropie" (LMNO+GREYC)

Thierry Lecroq (LITIS, Rouen)
April 19, 2016

Demi-journée du département IAA: autour des préférences (et plus)

Arnaud Mary (LBBE, Lyon)
March 22, 2016

Coupes dans les arbres croissants

Antoine Genitrini (LIP6, Paris)
March 15, 2016

Fast Fourier Orthogonalization

Thomas Prest (École Normale Supérieure, Thales Communications and Security)
March 1, 2016

Calcul des perturbations et évaluation paresseuse

Jerzy Karczmarczuk (GREYC, Caen)
February 23, 2016

Suites équilibrées de faible complexité et algorithmes de fractions continues multidimensionnelles

Sébastien Labbé (Université de Liège, Belgique)
February 9, 2016

La programmation par contraintes a besoin d’analyse en moyenne

Charlotte Truchet (LINA, Nantes)
February 2, 2016

Le problème du tri généralisé, un point de vue symbolique à propos des algorithmes réversibles

Ali Akhavi (GREYC, Caen)
January 12, 2016

Le potentiel évaluatif des fonctions de qualité en détection de communauté

Jean Creusefond (GREYC, Caen)
January 5, 2016

Algorithmic challenges in temporal Web analytics

Marc Spaniol (GREYC, Caen)
December 15, 2015

Décomposition en trous d'un graphe non orienté, application aux graphes série-parallèles

Ionona Ranaivoson (GREYC, Caen)
December 1, 2015

Génération uniforme et évaluation de coût sur des empilements aléatoires

Samy Abbes (Laboratoire PPS, université Paris Diderot)
November 24, 2015

Modèles de calculs à temps continu: de la calculabilité à la complexité

Amaury Pouly (Oxford, UK)
November 17, 2015

Thème «Modèles de calcul et complexité descriptive»

Etienne Grandjean (GREYC, Caen)
November 10, 2015

Thème «Protection et au traitement de l’information»

Ali Akhavi (GREYC, Caen)
October 20, 2015

Thème «Structures aléatoires et analyse d’algorithmes»

Julien Clément (GREYC, Caen)
October 6, 2015

Graphes inhomogènes

Élie de Panafieu (Research Institute for Symbolic Computation (RISC)
June 30, 2015

Un théorème d'accélération linéaire sur tout voisinage pour les automates cellulaires 2D

Victor Poupet (LIRMM, Montpellier)
June 23, 2015

One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries

Hubie Chen (Universidad del País Vasco and IKERBASQUE)
June 9, 2015

La logique des automates branchants

Nicolas Bedon (LITIS, Rouen)
June 2, 2015

Ensembles limites d'automates cellulaires associés à une mesure de probabilité

Martin Delacourt (Center for Mathematical Modeling (CMM)
May 26, 2015

Génération de séquences Markoviennes finies sous contraintes

Pierre Roy (SONY CSL, Paris)
May 12, 2015

Quelques résultats récents autour de QCSP

Florent Madelaine (GREYC, Caen)
May 5, 2015

Restrictions structurales pour le problème #CSP

Johann Brault-Baron (lif, Marseille)
April 28, 2015

Approximate planning and verification for large Markov Decision Processes

Richard Lassaigne (IMJ, Paris 7)
April 7, 2015

Graphes inhomogènes

Élie de Panafieu (Research Institute for Symbolic Computation (RISC)
March 24, 2015

Calcul haute performance : entre qualité numérique et performance de calcul

Jean-Luc Lamotte (LIP6, Paris)
March 10, 2015

Modélisations de l'algorithme LLL par des systèmes dynamiques et analyses probabilistes des modèles

Loïck Lhôte (GREYC, Caen)
March 3, 2015

Tuiles de Wang déterministes : (in)décidabilité et reconnaissance

Bastien le Gloannec (LIFO, Orléans)
February 24, 2015

Les méthodes de dérivées partielles pour les bornes inférieures en complexité algébrique

Hervé Fournier (IMJ, Paris Diderot)
January 27, 2015

#SAT et acyclicité d'hypergraphes

Florent Capelli (IMJ, Paris Diderot)
January 20, 2015

Processus stochastiques d'entropie maximale pour les automates temporisés

Nicolas Basset (Oxford)
January 6, 2015

GGHLite: More Efficient Multilinear Maps from Ideal Lattices

Adeline Langlois (LIP, ENS Lyon)
December 16, 2014

Analyser en moyenne des protocoles de négociation ?

Bruno Zanuttini (GREYC, Caen)
December 2, 2014

Aux limites de l'indécidabilité: le problème de la surjectivité des automates de sables

Gaétan Richard (GREYC, Caen)
November 25, 2014

Découverte de communautés compactes dans des graphes complexes

Jean Creusefond (GREYC, Caen)
November 18, 2014

The complexity of QCSP : when is it in NP?

Florent Madelaine (LIMOS, Université de Clermont-Ferrand)
June 24, 2014

Algèbre de Hopf combinatoire et monoïde de type plaxique

Jean-Baptiste Priez (LRI, Paris-Sud)
April 22, 2014

Des problèmes difficiles pas si difficiles

Bruno Zanuttini (GREYC, Caen)
April 8, 2014

Implementability of real-time distributed systems

Thomas Chatain (LIAFA, Paris 7LSV, ENS Cachan)
March 25, 2014

Croissance des semi-groupes d’automate: le cas (étonnant) des automates à deux états

Inès Klimann (LIAFA, Paris 7)
March 11, 2014

Combien de mémoire ?

Pierre McKenzie (Université de Montréal, actuellement sur chaire Digiteo, LSV/ENS Cachan et LIX/Ecole Polytechnique)
February 25, 2014

Cellular automata between sofic tree shifts

Francesca Fiorenzi (LRI, Orsay)
February 18, 2014

Quelques généralisations du permanent et du déterminant vues en complexité algébriques

Nicolas de Rugy (Équipe de logique, Paris 7)
February 11, 2014

Intervalles communs de deux permutations et généralisations

Ismael Belghiti (ENS, Paris)
January 28, 2014

Turing machines seen as dynamical systems

Anahí Gajardo (Universidad de Concepción, Chile)
January 21, 2014

Du nouveau sur les parcours de graphe

Michel Habib (LIAFA, Paris)
January 14, 2014

Nombre de tables de préfixes et des bords

Laura Giambruno (GREYC, Université de Caen)
January 7, 2014

Automatic Verification of Data-Centric Workflows

Victor Vianu (Université San Diego Californie, et LSV, ENS Cachan)
December 10, 2013

Bornes de performances pire-cas exactes dans les réseaux acycliques de files FIFO acycliques

Anne Bouillard (ENS Ulm Paris et INRIA)
December 3, 2013

Lutte contre le webspam

Thomas Largillier (GREYC, Caen)
October 29, 2013

Analyse en moyenne de l'algorithme naïf pour le calcul du PGCD de plusieurs polynômes

Loïck Lhôte (GREYC, Caen)
October 15, 2013

Complexité du comptage pour les requêtes conjonctives

Arnaud Durand (ELM IMJ, Université Paris 7)
October 8, 2013

Phénomènes de fluctuations en analyse d'algorithmes

Hsien-Kuei Hwang (Academia Sinica, Taiwan)
September 3, 2013

50 years of Linear Probing Hashing

Alfredo Viola (Université de Montevideo, Uruguay)
June 25, 2013

Des transducteurs bidirectionnels aux transducteurs unidirectionnels

Olivier Gauwin (LaBRI, Bordeaux)
June 11, 2013

Fouiller les gros flux avec le hasard

Jérémie Lumbroso (GREYC, Caen)
June 4, 2013

Le problème de finitude des semi-groupes d'automates

Pierre Gillibert (LIAFA, Paris)
May 28, 2013

Un pont entre les espèce de structures et la combinatoire analytique

Carine Pivoteau (LIGM, Paris-Est)
May 21, 2013

Arbres de décision affine pour le comptage de modèles

Jean-Marie Lagniez (CRIL, Université d'Artois)
May 14, 2013

Finding an optimal generating sequence for a presented structure

Ali Akhavi (GREYC, Caen)
April 16, 2013

Applications d'une preuve algorithmique du Lemme Local de Lovász

Aline Parreau (LIFL, Lille)
April 9, 2013

A general framework for the realistic analysis of sorting and searching algorithms. Application for some popular algorithms

Thu Hien Ngyuen Thi (GREYC, Caen)
March 26, 2013

Ensembles limite d'automates cellulaires

Alexis Ballier (CMM, Chile)
March 12, 2013

Exact and approximate pure Nash equilibria in congestion models: existence and computation

Angelo Fanelli (CREM, Caen)
March 5, 2013

Automates d'arbres et jeux

Olivier Serre (LIAFA, Paris)
February 19, 2013

Optimisation de la conception physique des BDD par des techniques de FDD

Benameur Ziani (Université de Laghouat)
February 12, 2013

Geometric optimization, Helly numbers, and Nerve theorems

Xavier Goaoc (LORIA, Nancy)
February 5, 2013

Mise à jour de réseaux d'automates

Mathilde Noual (LIP, ÉNS Lyon)
January 29, 2013

Analyse des arbres digitaux de recherche pour une source générale

Brigitte Vallée (GREYC, Caen)
January 8, 2013

Taille de la partie accessible d'un automate aléatoire

Cyril Nicaud (LIGM, Paris-Est)
December 4, 2012

Algèbre de Hopf des matrices tassées

Hayat Cheballah (GREYC, Caen)
November 20, 2012

Automates cellulaires probabilistes

Damien Regnault (Équipe Opal, Ibisc, Evry-Val-d’Essone)
November 13, 2012

Vers une caractérisation des requêtes faciles du premier ordre existentiel (trois petites dichotomies pour les requêtes du premier ordre existentiel)

Johann Brault-Baron (GREYC, Caen)
November 6, 2012

Puzzle de Merkle dans le monde quantique

Marc Kaplan (Equipe Information quantique du Département Informatique et réseaux au LTCI (CNRS, Telecom ParisTech)
October 9, 2012

Finding Homogeneous Collections of Dense Subgraphs using Constraint-Based Data Mining Approaches

Pierre-Nicolas Mougel (INSA Lyon)
September 18, 2012

Approximation Hardness of Combinatorial Optimization Problems

Janka Chlebikova (University of Portsmouth)
June 26, 2012

Recherche des noyaux d'un graphe aléatoire

Jean-Marie Le Bars (GREYC)
June 12, 2012

On the Maximum Constraint Satisfaction Problem

Johan Thapper (LIX)
June 5, 2012

Épidémies sur des graphes aléatoires avec clustering

Émilie Coupechoux (INRIA-ENS)
May 22, 2012

Complexité d'énumération : méthodes logiques et algébriques

Yann Strozecki (LRI)
April 24, 2012

Kadanoff Sand Pile Model : Avalanches and Fixed Points

Kevin Perrot (ENS, Lyon)
April 3, 2012

Décomposition arborescente CROISÉE de graphes, hypergraphes et requêtes. Décomposition en TROUS de graphes biconnexes pour reconnaître les graphes de largeur arborescente croisée égale à 2

Ionona Ranaivoson (GREYC, Caen)
March 27, 2012

Des algorithmes dans des solutions

Guillaume Bonfante (LORIA, Nancy)
March 20, 2012

Classe d'algorithmes et complétude de langages de programmation

Pierre Valarcher (LACL, Paris-Est)
March 13, 2012

Opérateurs d'échelle généralisés et une forme normale pour des endomorphismes

Laurent Poinsot (LIPN, Paris Nord)
February 28, 2012

Modèles de calcul non initialisés

Emmanuel Jeandel (LIRMM, Montpellier)
February 21, 2012

Deux exemples d'extraction de motifs dans les données : motifs contextuels et motifs spatiaux

Julien Rabatel (GREYC, Caen)
February 7, 2012

Énumération asymptotique des automates minimaux

Julien David (LIPN, Paris Nord)
January 31, 2012

Codes LDPC quantiques

Jean-Pierre Tillich (INRIA Rocquencourt)
January 24, 2012

Il est intéressant d'approcher pour vérifier...

Sylvain Peyronnet (LRI, Orsay)
January 17, 2012

Algorithmes barycentriques pour le dessin de graphes dans le plan

Éric Fusy (LIX - École Polytechnique)
January 3, 2012

Exploitation de la décomposition arborescente dans une méthode recherche locale pour la résolution de problèmes d'optimisation de contraintes

Mathieu Fontaine (GREYC, Caen)
November 25, 2011

Une méthode algorithmique pour le calcul des séries génératrices des classes de permutations, et pour la génération aléatoire dans ces classes

Mathilde Bouvel (LaBRI, Bordeaux)
November 15, 2011

Le modèle des arbres croissants pour la représentation de fonctions booléennes aléatoires

Cécile Mailler (Versailles)
November 8, 2011

Analyse symbolique pour la combinatoire des marches

Alin Bostan (INRIA Rocquencourt-Microsoft Saclay)
October 25, 2011

Automates cellulaires : Auto-organisation et ensembles mu-limite

Martin Delacourt (LIF, Marseille)
October 18, 2011

Complexité algorithmique et complexité logique

Etienne Grandjean (GREYC)
October 4, 2011

An LLL-Reduction Algorithm with Quasi-linear Time Complexity

Damien Stehlé (LIP, Lyon)
June 14, 2011

Quelle puissance ont les algorithmes probabilistes polynomiaux ?

Sylvain Perifel (LIAFA, Paris 7)
June 7, 2011

Sur la finitude des (semi)-groupes d'automates

Ali Akhavi (GREYC, Caen)
May 17, 2011

Étude polyédrale de quelques problèmes de partionnement dans les graphes

Mohamed Didi Biha (LMNO, Caen)
April 19, 2011

Efficient graph mining techniques for learning structure-activity relationships

Leander Schietgat (GREYC, Caen)
April 12, 2011

Indécidabilité, pavages et polyominos

Nicolas Ollinger (LIF, Marseille)
April 5, 2011

Processus quantiques et logique linéaire

Jerzy Karczmarczuk ()
March 29, 2011

Algorithmics of tropical polyhedra, and applications

Xavier Allamigeon (INRIA Saclay)
February 22, 2011

Points, Distances and Cellular Automata: Geometric and Spatial Algorithmics

Luidnel Maignan (Orsay)
February 15, 2011

Focalisation diffractive transparente pour les très courtes longueurs d'onde

Emmanuel Cagniot (Centre de Recherche sur les Ions, les Matériaux et la Photonique, Caen)
February 8, 2011

Helly Property and Satisfiability of Boolean Formulas Defined on Set Families

Miki Hermann (LIX, Ecole polytechnique)
February 1, 2011

Formule logiques, jeux et protocoles réseau

Yves Legrandgerard (PPS, Paris 7)
January 18, 2011

Algorithmes exacts pour les problèmes NP-difficiles

Ioan Todinca (LIFO - Université d'Orléans)
January 11, 2011

Les multi-algèbres évolutives unifient tous les modèles de calcul séquentiels usuels

Pierre Valarcher (LACL, Paris 12)
January 4, 2011

Méthodes hybrides dans les réseaux de contraintes pondérées : bilan 2006-2010 et perspectives

Simon de Givry (INRA, Toulouse)
December 14, 2010

Acyclicité des hypergraphes et complexité

David Duris ()
December 7, 2010

Machines et Nombres de Buffon

Philippe Flajolet (INRIA, Rocquencourt)
November 30, 2010

Assemblage et mapping de données NGS, on en est où ? peut-on s’en passer ?

Pierre Peterlongo (IRISA, Rennes)
November 23, 2010

Automates cellulaires asynchrones et

Nazim Fatès (LORIA, Nancy)
November 9, 2010

Détecter des défaillances dans les réseaux : un jeu de graphes

Eleonora Guerrini (GREYC, Caen)
October 26, 2010

Distributional Analysis of the Parking Problem and Robin Hood Linear Probing Hashing with Buckets

Alfredo Viola (GREYC, Caen et Montevideo, Republica oriental del Uruguay)
June 22, 2010

Bornes inférieures de complexité sur automates cellulaires

Alex Borello (LIF, Marseille)
June 15, 2010

Doeblin's coefficient and occupancy distributions

Manuel Lladser (U. Colorado)
June 8, 2010

Interval Sorting

Conrado Martinez (UPC, Barcelone)
June 1, 2010

Tries et sources sans mémoire: de l'arithmétique à l'analyse

Mathieu Roux (GREYC et LMNO, Caen)
May 25, 2010

Exploring the stimulation of one pattern on another for the purpose of machine learning

Ryan Bissell-Siders (GREYC)
May 11, 2010

Complexité d'une généralisation des CSP quantifiés

Florent Madelaine (LAIC, Clermont-Ferrand)
April 6, 2010

Navigation dans le plan : résultats asymptotiques

Jean-François Marckert (LABRI, Bordeaux)
March 30, 2010

From Propositional Satisfiability to Quantified Boolean Formula

Saïd Jabbour (INRIA-Microsoft, Saclay)
March 16, 2010

Algorithmique des tresses : la forme normale tournante

Jean Fromentin (GREYC)
March 9, 2010

Décidabilité des comportements globaux d'automates cellulaires et d'automates de sables

Gaétan Richard (GREYC)
March 2, 2010

Analyse de complexité des algorithmes de calcul de bases de Gröbner

Magali Bardet (LITIS)
February 23, 2010

Factorisation des entiers N = pq^2 et formes quadratiques

Fabien Laguillaumie (GREYC)
February 9, 2010

Expressions booléennes aléatoires et fonctions booléennes

Antoine Genitrini (Versailles)
January 26, 2010

Segmentation en grains avec la courbure discrète et application à des images tomographiques de neige

Luc Gillibert (Fontainebleau)
January 5, 2010

Contraintes quantifiées : satisfaction et optimisation

Jérémie Vautard (GREYC)
December 15, 2009

Control-based clause sharing in // SAT Solving

Youssef Hamadi (Microsoft Research - Cambridge)
December 8, 2009

Complexité des CSP monotones

Florian Richoux (LIX)
December 1, 2009

Approches analytiques d'algorithmes exacts pour problèmes difficiles

Vlady Ravelomanana (LIAFA)
November 24, 2009

Les Xor-automates, une forme normale compacte pour les langages réguliers

Nicolas Gama (GREYC, Caen)
November 17, 2009

Une introduction à la complexité de Kolmogorov et une application à l'algorithmique

Laurent Bienvenu (LIAFA, Paris)
November 10, 2009

Génération aléatoire sous modèle de Boltzmann

Olivier Bodini (LIP6, Paris)
November 3, 2009

DeLLIS: Débogage de programmes par Localisation de fautes avec un Système d'Information Logique

Peggy Cellier (GREYC, Caen)
October 27, 2009

Quelques applications des G-graphes

Alain Bretto (GREYC, Caen)
October 20, 2009

Codage énumératif et génération aléatoire des fonctions 1-résilientes

Jean-Marie Le Bars (GREYC, Caen)
October 13, 2009

Fouille de séquences : représentation condensée de motifs séquentiels à partir de mesures basées sur la fréquence

Marc Plantevit (GREYC, Caen)
June 30, 2009

Combinatoire énumérative au sujet des animaux dirigés

Yvan Le Borgne (LaBRI, Bordeaux)
June 23, 2009

Problèmes liés à la formalisation de l'analogie

Yves Lepage (GREYC)
June 9, 2009

The security of all bits using list decoding

Carla Ràfols ()
May 5, 2009

Opérateurs matériels pour la cryptographie basée sur les couplages

Jérémie Detrey (LORIA)
April 21, 2009

Automates cellulaires et fractales

Vincent Nesme (Braunschweig, Allemagne)
March 31, 2009

Systèmes de particules et collisions dans les automates cellulaires

Gaétan Richard (LIF, Marseille)
March 24, 2009

Construction directe du vecteur de suffixes compact et répétitions maximales

Elise Prieur (LITIS, Rouen)
March 10, 2009

Minorité stochastique sur les graphes

Damien Regnault (LIP, Lyon)
March 3, 2009

Règles généralisées non redondantes pour la classification supervisée

François Rioult ()
February 24, 2009

Problème inverse pour la table des préfixes

Julien Clément (GREYC)
February 3, 2009

Hypergraphe et vision par ordinateur

Soufiane Rital (ENST)
January 27, 2009

Les GAG (groupes d'automates à groupe)

Ali Akhavi (GREYC)
January 20, 2009

Exemples d'analyses en moyenne d'algorithmes issus de la théorie des langages

Cyril Nicaud (Institut Gaspard Monge, Université de Paris Est)
January 13, 2009

Le cadre

Gérard Verfaillie (ONERA, Toulouse)
December 9, 2008

Nombre de comparaisons entre symboles dans QuickSort et QuickSelect

Brigitte Vallée (GREYC)
November 25, 2008

Pavages auto-assemblants et géométrie

Florent Becker (LIP, Lyon)
November 4, 2008

Structures d'indexation : améliorations par la compression et mise à jour

Mikaël Salson (LITIS)
October 28, 2008

Decision-Theoretic Planning for Multi-Agent Systems: The Challenge of Scalability

Shlomo Zilberstein (Université de Massachussetts, Amherst)
October 21, 2008

Résolution des CSP quantifiés

Arnaud Lalouet (GREYC)
October 14, 2008

Comptage de mots et de paquets de mots dans des textes aléatoires

Pierre Nicodème (LIX, Polytechnique Palaiseau)
June 17, 2008

Conditional Constraints and Composite Variables with Preferences

Malek Mouhoub (Université de Régina Canada)
June 10, 2008

Efficient algorithms for universal denoising

Alfredo Viola (Montevideo, Uruguay)
June 3, 2008

Première analyse des algorithmes rapides du pgcd

Loïck Lhôte (GREYC)
May 27, 2008

Problèmes inverses combinatoires : nouvelles problématiques, modèles et méthodes

Yerim Chung (Paris 1)
May 13, 2008

L'évaluation de performance d'algorithmes de traitement d'images

Christophe Rosenberger (GREYC, Caen)
April 8, 2008

Accélération de la réduction dans les réseaux (euclidiens) par projections aléatoires

Ali Akhavi (GREYC, Caen)
April 1, 2008

Programmation par contraintes appliquées à la Composition musicale assistée par ordinateur

Charlotte Truchet (LINA, Nantes)
March 25, 2008

Techniques algorithmiques pour l'extraction de formules minimales inconsistantes

Cédric Piette (CRIL - Université d'Artois)
March 18, 2008

Automates cellulaires: trace et nilpotence

Pierre Guillon (IGM, Marne-la-Vallée)
March 4, 2008

Des algorithmes probabilistes aux algorithmes quantiques (et vice versa)

Frédéric Magniez (LRI, Orsay)
February 19, 2008

Signaux et Automates Cellulaires

Jean-Baptiste Yunès (LIAFA)
February 12, 2008

Cinquante ans de problèmes de spectre en logique

Malika More (LAIC, Clermont)
January 29, 2008

La navigabilité dans les réseaux, ou: pourquoi connaissez-vous ce maître yogi Tanzanien

Emmanuelle Lebahr (LIAFA)
January 22, 2008

Relaxation de contraintes globales dans le cadre des Weighted CSPs

Jean-Philippe Métivier (GREYC, Caen)
January 15, 2008

Construction générique de cryptosystèmes homomorphiques et ses applications

Guilhem Castagnos (GREYC)
December 18, 2007

Densité et complexité des arbres balancés

Nicolas Gast (Laboratoire d'Informatique de Grenoble)
December 4, 2007

Le profil des arbres digitaux

Nicolas Broutin (INRIA)
November 27, 2007

Analyse d'Algorithmes et Systèmes Dynamiques: l'exemple des algorithmes d'Euclide

Brigitte Vallée (GREYC)
November 13, 2007

Temps linéaire et énumération de requêtes à délai constant

Etienne Grandjean (GREYC)
November 6, 2007

Approximation polynomiale de fonctions continues et nombres flottants

Sylvain Chevillard (LIP - ENS Lyon)
October 23, 2007

Complétions d'intervalles minimales et largeur linéaire (pathwidth) des graphes

Ioan Todinca (LIFO - Université d'Orléans)
October 16, 2007

Le problème de la recherche d'une séquence génératrice optimale d'une structure présentée

Ali Akhavi (LIAFA, GREYC)
April 24, 2007

Comptage d'occurrences d'un nombre fini de mots: une approche par inclusion-exclusion

Julien Clément (GREYC)
April 17, 2007

Trapdoor Permutation Polynomials of Z/nZ and Public Key Cryptosystems

Damien Vergnaud (Bonn-Aachen International Center for Information Technology)
March 27, 2007

Réseaux Bayésiens : apprentissage et modélisation de systèmes complexes

Philippe Leray (INSA de Rouen)
March 20, 2007

Vérification probabiliste et approximation

Richard Lassaigne (Equipe de Logique Mathématiques/Paris 7)
March 13, 2007

Enumération de fonctions booléennes 1-résilientes

Jean-Marie Le Bars (GREYC)
March 6, 2007

Autour du graphe du Web

Mohamed Bouklit (Labri)
February 27, 2007

Graphes et groupes algébriques

Cerasela Jaulin (GREYC)
February 20, 2007

Problèmes Sur-Contraints et Relâchement de Contraintes

Thierry Petit (LINA, Nantes)
February 6, 2007

Les algorithmes de transmission de l'information dans les réseaux mobiles ad hoc

Philippe Jacquet (INRIA)
January 23, 2007

Lutter efficacement contre la diffusion illicite : une application des codes centrés

Fabien Galand (IRISA)
January 16, 2007

Tatouage de données géographiques

Cyril Bazin (GREYC)
January 9, 2007

Une heuristique de sélection de valeur guidée par Impact dans les WCSP

Nicolas Levasseur (GREYC)
December 19, 2006

Les machines abstraites pour langages d'ordre supérieur

Olivier Danvy (Brics, Aarhus, Danemark)
December 12, 2006

La sécurité des schémas de tatouage

Teddy Furon (IRISA - projet TEMICS)
November 28, 2006

Signatures spéciales : application à l'authentification du routage dans les réseaux ad hoc (2ème partie)

Fabien Laguillaumie (GREYC)
November 21, 2006

Signatures spéciales : application à l'authentification du routage dans les réseaux ad hoc (1ère partie)

Fabien Laguillaumie (GREYC)
November 14, 2006

Fast computation of rational solutions to a polynomial systems over a finite field

Guillermo Matera (Universidad de Buenos Aires)
November 7, 2006

Statistiques des similarités, application en bioinformatique

Jérémie Bourdon (IRIN (Université de Nantes)
October 31, 2006

Une mesure de l'aléatoire pour les générateurs linéaires congruentiels

Eda Cesaratto (GREYC)
October 24, 2006

Spam web

Thomas Lavergne (France Télécom R&D, Lannion)
October 17, 2006

Analyse fine de l'algorithme d'Euclide

Loïck Lhôte (GREYC)
June 6, 2006

Tatouage de bases de données

Julien Lafaye (CEDRIC, CNAM, Paris)
May 16, 2006

Recherche de longues répétitions multiples

Pierre Peterlongo (université de Marne-la-Vallée)
April 18, 2006

Approximation polynomiale efficace en machine

Nicolas Brisebarre (LaMUSE, Univ. St-Etienne et Arénaire, LIP, ENS Lyon)
March 14, 2006

Heuristiques de base pour le placement de cercles

Hakim Akeb (Laboratoire de Recherche en Informatique d'Amiens)
February 21, 2006

Algorithmes d'analyse de séquences en bioinformatique. Périodicité et répétitions

Eric Rivals (LIRMM)
February 15, 2006

Techniques algorithmiques SAT pour la Vérification Formelle

Samuel Dellacherie (AerieLogic)
February 14, 2006

Tellegen's transposition principle and its applications

Alin Bostan (INRIA Rocquencourt, Projet Algorithmes)
February 7, 2006

Sur la distance minimale des codes LDPC

Jean-Pierre Tillich (NRIA Rocquencourt, projet CODES)
January 31, 2006

Codes préfixes optimaux pour quelques familles de distributions géométriques en deux dimensions

Julien Clément (GREYC)
January 24, 2006

L'interaction est-elle plus puissante que les algorithmes ?

Anne Nicolle (GREYC)
January 17, 2006

Séquencement des vols à l'arrivée : Modélisation, Complexité et Méthodes de résolution

Philippe Baptiste (INRA Toulouse)
January 10, 2006

Recherches hybrides dans les réseaux de contraintes pondérées

Simon de Givry (INRA Toulouse)
January 3, 2006

Analyse dynamique d'algorithmes euclidiens en dimension 2

Antonio Vera ()
December 13, 2005

Dessin de triangulations en utilisant des structures transversales

Éric Fusy (INRIA Rocquencourt, Projet Algo)
December 6, 2005

Classification de la complexité des

Philippe Chapdelaine (LACL, Paris 12)
November 29, 2005

Pourquoi est-il si difficile de prouver qu'un problème a une borne inférieure de complexité ?

Etienne Grandjean (GREYC)
November 22, 2005

Les problèmes de motifs interdits restreints à des graphes connexes de degré borné sont des problèmes de satisfaction de contraintes

Florent Madelaine (université de Durham)
November 15, 2005

Analyse en moyenne du nombre de motifs fréquents dans deux modèles de bases de données

Loïck Lhôte (Greyc)
November 8, 2005

Survey of recent results in the analysis of Linear Probing Hashing with Buckets

Alfredo Viola (Université de Montevideo, Urugay)
July 6, 2005

Fonctions vs Algorithmes vs Programmes

Pierre Valarcher (LIFAR, Université de Rouen)
June 14, 2005

Nouveaux et vieux résultats sur l'Hamiltonicité des graphes

Alain Bretto (GREYC, Université de Caen)
June 7, 2005

Outils de visualisation dynamique pour l'aide à la mise à point de programmes avec contraintes

Mohammad Ghoniem (emn, Université de Bretagne sud)
May 24, 2005

Plans discrets et surfaces plissées : une approche par la combinatoire de mots

Damien Jamet (LIRMM, Univ. Montpellier)
May 3, 2005

Utilisation des cyclides de Dupin en modélisation géométrique

Lionel Garnier (LE2I, Université de Dijon)
April 12, 2005

Pyramides Combinatoires : Résultats et Propriétés

Luc Brun (GREYC ENSICAEN)
April 5, 2005

Autour de l'universalité dans les automates cellulaires

Guillaume Theyssier (LIP, ENS Lyon)
March 29, 2005

Le Lièvre Dyadique et la Tortue de Lyapunov

Benoît Daireaux (GREYC, Université de Caen)
March 22, 2005

Automates cellulaires : du synchrone l'asynchrone

Nazim Fatès (LIP, ENS Lyon)
March 15, 2005

Décompositions en branches et graphes planaires

Frédéric Mazoit (LIP, ENS Lyon)
March 1, 2005

Introduction à la détection d'intrusions et ses problématiques

Elvis Tombini (rance Telecom Recherche et Développement)
February 22, 2005

Autour de l'algorithme LLL flottant

Damien Stehlé (LORIA, Université Nancy I)
February 8, 2005

Calcul dans l'espace et espace dans le calcul

Jean-Louis Giavitto (LAMI, Universit d'Evry)
January 25, 2005

Transition brusque pour CSP aleatoires

Hervé Daudé (LATP, Université de Provence)
January 18, 2005

Classification des fonctions booléennes pour la corrélation d'ordre 1

Jean-Marie Le Bars (GREYC, Université de Caen)
January 11, 2005

Les G-graphes

Luc Gillibert (GREYC, Université de Caen)
December 14, 2004

Synthèse musicale et ... programmation fonctionnelle

Jerzy Karczmarczuk (GREYC, Université de Caen)
November 30, 2004

Sur la complexité de l'évaluation de requêtes acycliques

Arnaud Durand (LACL, Université de Créteil)
November 23, 2004

Convolutions sur des surfaces discrètes, quelques applications et petit plaidoyer en faveur de la géométrie discrète.

Sébastien Fourey (GREYC, Université de Caen)
November 16, 2004

Comment compter par tirages à pile ou face

Philippe Flajolet (INRIA Rocquencourt, Académie des Sciences, médaillé du CNRS)
November 9, 2004

Et Knuth créa l'analyse d'algorithme...

Cyril Banderier (CNRS et LIPN)
October 26, 2004

Les automates cellulaires en dimension 2 et leur voisinage

Véronique Terrier (GREYC, Université de Caen)
June 8, 2004

Extension de la méthode de Ash pour la logique existentielle du second-ordre

Malika More (LLAIC, Université d'Auvergne)
June 1, 2004

Les mots de Lyndon, un point de vue en moyenne

Julien Clément (Université de Marne-la-Vallée)
May 4, 2004

Complexité et heuristiques pour le DCMST

Rafael Castro de Andrade (Université de Paris XIII)
March 23, 2004

Logique linéaire : une introduction

Patrick Baillot (Université de Paris XIII)
March 9, 2004

Métrologie sur les réseaux : enjeux et problèmes intéressants

Kavé Salamatian (LIP 6, Université Paris VI)
March 3, 2004

La fourmi de Langton: un système indécidable

Anahí Gajardo (Universidad de Concepción, Chile)
February 17, 2004

Introduction aux réseaux mobiles --- Algorithmes quasi optimaux et efficaces en énergie (Election, estimation de la taille du réseau, initialisation)

Christian Lavault (LIPN, Université de Paris XIII)
February 3, 2004

L'algorithme binaire recursif de calcul de pgcd

Damien Stehlé (INRIA Nancy)
January 27, 2004

Logique, hiérarchies dans NP et problèmes NP-complets minimaux

Régis Barbanchon (GREYC)
January 20, 2004

Un algorithme de comptage probabiliste

Marianne Durand (Projet Algo, INRIA)
December 16, 2003

Combinatoire analytique appliquée à la satisfaisabilité des formules 3-SAT

Vincent Puyhaubert (projet algo, INRIA)
December 9, 2003

La conjecture du spectre et la conjecture de Ash, derniers développements

Annie Chateau (LLAIC, Université d'Auvergne)
December 2, 2003

Adaptive Sampling for Quickselect

Alfredo Viola (Université de Montevideo, Uruguay)
November 18, 2003

L'algorithme d'Euclide, hier et aujourd'hui : Un exemple d'analyse d'algorithmes

Brigitte Vallée (GREYC, CNRS)
November 4, 2003

Algorithmes polynomiaux pour le calcul numérique prouvé de constantes liées à l'Analyse Dynamique

Loïck Lhôte (GREYC)
October 28, 2003

Explications de retraits de valeurs en programmation par contraintes et application au diagnostic déclaratif

Willy Lesaint (Université d'Orléans, LIFO)
September 23, 2003

Techniques d'extraction et de simplification de formules CNF

Richard Ostrowski (CRIL université d'Artois)
June 17, 2003

Deux méthodes pour la détection de répétitions en tandem avec évolution

Richard Groult (LIFAR-ABISS Université de Rouen)
June 3, 2003

"Le non déterminisme rend faciles beaucoup de problèmes de graphes" ou "de la difficulté à prouver des bornes inférieures de complexité pour des problèmes naturels"

Etienne Grandjean (GREYC)
May 20, 2003

Reconstructing Propositional Calculus in Database Semantics

Roland Hausser (Universität Erlangen-Nürnberg)
April 8, 2003

Tatouage de bases de donnees et de documents XML, tout en preservant des requetes

David Gross-Amblard (équipe Vertigo, laboratoire Cédric CNAM Paris)
March 25, 2003

La correction de données XML

Michel de Rougemont ()
March 17, 2003

Evolution des graphes aléatoires : création des composantes complexes

Anne-Elisabeth Baert (LaRIA, Université de Picardie)
March 11, 2003

Génération aléatoire de structures combinatoires par principes de Boltzmann

Philippe Flajolet (INRIA, Rocquencourt)
March 4, 2003

Transitions de phase dans les systèmes finis

Francesca Gulminelli ()
February 18, 2003

Mesure alternative de la complexité d'une fonction booléenne

Jean-Francis Michon (LIFAR)
February 11, 2003

Processus décisionnels de Markov distribués : problème de l'allocation des tâches

Hosam Hanna ()
January 21, 2003

Model Checking, abstraction et abstraction probabiliste

Sylvain Peyronnet (LRI, Orsay)
January 14, 2003

L'utilisation de recouvrements pour la stéganographie

Fabien Galand (INRIA Rocquencourt et GREYC)
December 17, 2002

Un schema d'approximation polynomial pour les instances denses de Min-2SAT

W. Fernandez de la Vega (LRI Orsay)
June 26, 2001

La notion d'aleatoire est-elle d'essence informatique ?

Serge Grigorieff (LIAFA, Université Paris 7)
June 12, 2001

Aspects combinatoires des graphes sans isomorphisme

Vlady Ravelomanana (Universite d'Amiens)
April 24, 2001

Utilisation d'ordres en reecriture : problemes de complexite, et de constructions

Guillaume Bonfante (LORIA, université de Nancy)
April 17, 2001

Differentes applications de l'oracle de facteur d'un mot

Thierry Lecroq (Universite de Rouen)
April 17, 2001

Approximation dans les bases de données contraintes

David Gross-Amblard ()
March 20, 2001

Modeles et algorithmes pour le routage compact et la recherche d'informations dans les reseaux avec menteurs

Nicolas Hanusse (LRI)
March 13, 2001

Les représentations des fonctions booléennes et leur propriétés cryptographiques

Claude Carlet (GREYC, PARIS VIII et INRIA)
March 6, 2001

Visualisation de données : résultats et perspectives

Wilfrid Lefer (Université du littoral - Calais)
February 27, 2001

Motifs cachés dans les textes

Brigitte Vallée (GREYC)
February 27, 2001

Complexité implicite des calculs, de la théorie à la pratique

Jean-Yves Marion (LORIA, Equipe Calligramme, Univ Nancy)
February 20, 2001

La Propagation de Contraintes et la Procedure DPLL pour le Raisonnement Propositionnel

Min Li Chu (LaRIA, Universite de Picardie)
February 13, 2001

Systèmes Dynamiques de Contraintes

Patrice Boizumault (Ecole de mines de Nantes)
January 30, 2001

Restauration de la cohérence et explications dans les CSP dynamiques : application à la configuration de produit

Hélène Fargier (IRIT Toulouse)
January 30, 2001

Les "Gap-Problems", une nouvelle classe de problèmes et leur implication dans la sécurité des protocoles cryptographiques

David Pointcheval (ENS Ulm)
January 23, 2001

Hachage non uniforme: Apparition et taille des composantes geantes

Jean-François Marckert (Universite de Versailles)
December 12, 2000

Réductions hamiltoniennes exactes

Régis Barbanchon (GREYC)
December 5, 2000

Algorithmique des reseaux

Fabrice Guillemin (France-Telecom R et D, Lannion)
November 28, 2000

Mise en relation des structures chimiques et de leur activité : aspects algorithmiques

Bertrand Cuissart (GREYC)
November 21, 2000

Arbres Patricia dans le contexte des sources dynamiques

Jérémie Bourdon (GREYC)
November 7, 2000

Calcul des adjoints et programmation fonctionnelle

Jerzy Karczmarczuk (GREYC)
October 24, 2000

Notion de préfixe dans la complexité de Kolmogorov et les modèles de calcul

Jean-Christophe Dubacq (GREYC)
October 17, 2000

Programmation en Robotique

Dominique Duhaut (Laboratoire de Robotique de Paris)
May 16, 2000

Sur la complexité du comptage et de la reconnaissance de la base de Hilbert d'un système d'équations diophantiennes linéaires homogène

Laurent Juban ()
May 2, 2000

Aspects théoriques et algorithmiques des graphes parfaits

Irena Rusu ()
March 21, 2000

Systèmes Dynamiques de Contraintes

Patrice Boizumault (Ecole de mines de Nantes)
March 21, 2000

Synchronous Decision Diagrams: a data structure for representing finite sequential digital functions

Jean Vuillemin (ENS, Paris)
March 7, 2000

Analyse en moyenne de la complexité en bits de l'algorithme d'Euclide

Ali Akhavi ()
February 22, 2000

Logique, Complexité et données spatiales

Luc Segoufin (INRIA Rocquencourt)
February 15, 2000

Un algorithme lineaire pour le probleme des sous-mots avec fenetre

Irène Guessarian (LIAFA-Paris7 et Universite Paris 6)
February 1, 2000

Un nombre d'entrelacement pour des courbes discretes et son application a la simplification d'une caracterisation globale des points simples en 3D

Sébastien Fourey (GREYC)
January 25, 2000

La Geometrie des Nombres en Cryptologie

Phong Nguyen (ENS Ulm)
January 18, 2000

Chemins du plan evitant une demi-droite

Mireille Bousquet-Melou (LaBRI, Bordeaux)
January 11, 2000

Hachage et identification

Marc Girault (France Telecom)
January 4, 2000

Le décodage itératif

Jean-Pierre Tillich (LRI Orsay)
December 14, 1999

Cartes, triangulations et polyedres convexes aléatoires

Gilles Schaeffer (LORIA Nancy)
December 7, 1999

Autour de la structure de BDD

Philippe Flajolet (INRIA Rocquencourt)
November 30, 1999

Topological Queries in Spatial Databases

Victor Vianu ()
November 23, 1999

Géometrie et fractales

Jacques Levy-Vehel ()
November 16, 1999

Systèmes Dynamiques et Analyse d'Algorithmes

Brigitte Vallée (GREYC)
November 9, 1999

Logique, complexité et temps linéaire

Etienne Grandjean (GREYC)
November 2, 1999

Sur la complexité de problèmes usuels de géometrie discrete 2D

Rémy Malgouyres (GREYC)
October 26, 1999

Automates à groupes aléatoires

Cyril Nicaud (LIAFA, Jussieu)
October 19, 1999

Recherche pratique d'un mot dans un texte

Mathieu Raffinot (Université de Marne-la-Vallée)
May 25, 1999

Decidable Verification for Reducible Timed Automata

Danièle Beauquier (Universite Paris XII)
May 18, 1999

Statistiques de motifs

Bruno Salvy (Projet ALGO, INRIA Rocquencourt)
May 11, 1999

Localisation d'un nombre fini de mots et implementation d'automates

Christophe Hancart (LIFAR, Universite de Rouen)
May 4, 1999

Un résultat faux tout de suite ou correct trop tard ?

Vincent Lefebre (LIP, ENS Lyon)
March 30, 1999

Les algorithmes de recherche de mot du type Boyer-Moore

Thierry Lecroq (LIFAR, Universite de Rouen)
March 23, 1999

Resultats d'approximation polynomiale differentielle pour les versions minimisation et maximisation du probleme du voyageur du commerce

Vangelis Th. Paschos (Lamsade, Paris Dauphine)
March 16, 1999

Graphes semi-k-cordaux: généralisation des hypergraphes acycliques et application aux CSP

Pascal Rossa (GREYC)
March 9, 1999

Introduction à la theorie algorithmique de l'information

Brigitte Vallée (GREYC)
March 2, 1999

Decompositions arborescentes des graphes

Ioan Todinca (LIP, ENS Lyon)
February 16, 1999

Sur l'approximation de fonctions totales de NP

Cristina Bazgan (LRI, Orsay)
February 9, 1999

Fonctions courbes et fonctions parfaitement non linéaires sur $Z_q$

Sylvie Dubuc (GREYC)
February 2, 1999

Un schéma d'approximation pour la coupe maximum dans un espace metrique

Claire Kenyon ()
January 19, 1999

Complexite de Kolmogorov a ressources bornees: une introduction

Sophie Laplante (LRI, Universite Paris-Sud)
January 12, 1999

Synthèse des objets graphiques et programmation fonctionnelle

Jerzy Karczmarczuk (GREYC)
January 5, 1999

Modèle LogGP et optimisation de temps de calcul des programes parallèles

Risto Honkanen ()
December 15, 1998

Une nouvelle représentation des fonctions booléennes

Claude Carlet (GREYC)
December 8, 1998

Presentation du groupe fondamental dans les surfaces discretes

Rémy Malgouyres (GREYC)
December 1, 1998

Un nombre d'intersection pour des chemins de surfels sur une surface discrete

Sébastien Fourey (GREYC)
November 24, 1998

Probleme SAT et phenomenes de seuil

Nadia Creignou (SDAD)
November 17, 1998

Linear Programming Validation (LPV): Une nouvelle technique de validation formelle utilisant la programmation linéaire

Jean-Luc Lambert (GREYC)
November 10, 1998

Lois 0-1 en logique

Jean-Marie Le Bars (GREYC)
November 3, 1998

Sur les systèmes de numération à base complexe

Taoufik Safer (LIAFA, Université Paris 7)
October 20, 1998

Présentation et analyse d'un test d'irréductibilité absolue des polynômes

Jean-François Ragot (Université Limoges)
October 20, 1998

Archives par année

Année 2024-2025

Année 2023-2024

Année 2022-2023

Année 2021-2022

Année 2020-2021

Année 2019-2020

Année 2018-2019

Année 2017-2018

Année 2016-2017

Année 2015-2016

Année 2014-2015

Année 2013-2014

Année 2012-2013

Année 2011-2012

Année 2010-2011

Année 2009-2010

Année 2008-2009

Année 2007-2008

Année 2006-2007

Année 2005-2006

Année 2004-2005

Année 2003-2004

Année 2002-2003

Année 2001-2002

Année 2000-2001

Année 1999-2000

Année 1998-1999