index - Institut de Recherche en Informatique Fondamentale

Bienvenue dans la collection HAL de l'unité IRIF - UMR 8243

L'Institut de Recherche en Informatique Fondamentale (IRIF) est une unité mixte de recherche (UMR 8243) entre le CNRS et l'Université Paris Cité, qui héberge une équipe-projet Inria. Il est issu de la fusion des deux UMR LIAFA et PPS au 1er janvier 2016. L'IRIF est aussi membre de la Fondation Sciences Mathématiques de Paris (FSMP) et de trois Domaines d’Intérêt Majeur de la région Ile-de-France : Math Innov, Sciences Informatiques, Technologies Quantiques.

Les recherches menées à l'IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques. En particulier, l’IRIF est reconnu pour ses contributions portant sur la conception et l’analyse d’algorithmes, l’étude des modèles de calculs et de représentation des données, les fondements des langages de programmation, le développement logiciel, la vérification et la certification.

•Cette collection référence uniquement les publications déposées à l'initiative de leur auteur·e, et n'est donc pas représentative de l'ensemble des publications de l'IRIF. Toute étude statistique de cette collection ne pourrait qu'être erronée. Cependant l'IRIF encourage ses membres à déposer régulièrement leurs publications dans cette collection.•

 

 

 

Notices

493

Dépôts

892

 

Open Access

88 %

 

Mots-Clés

Clustering Broadcasting Distance Labeling Réécriture Approximation Algorithms Formal verification Diameter Approximation algorithms Eccentricity Graph theory Communication complexity Theory of computation → Graph algorithms analysis Complexity Algorithm Polynomial functor Concurrency Geometry of interaction Combinatorial model category Denotational Semantics Theory of computation Combinatorial maps Coloring Distributed decision Reverse mathematics Curry-Howard Denotational semantics Consensus Verification Lower bounds Automata Semantics Software Package Installation Coinduction Category theory Graph search Call-by-value Lambda-Calculus Accessible model category Polygraphs Separation Lambda calculus Temporal path Categorical semantics Type theory Graph algorithms Cluster complex Coverability Circular proofs Opetope Quantum algorithms Proof assistant Proof nets Proof assistants Linear logic Cryptography Formal methods Smart contracts Reachability Monoid Noncrossing partitions Topology Subtyping Decision problems Distributed algorithms Conference CONGEST Distributed verification CCS Concepts Reduction operators Coq Sequent calculus Automaton groups Intersection types Combinatorial topology Transducers Directed homotopy Dependent type theory Cut elimination Authentication Union types Opetopic set Rewriting Distributed graph algorithms Classical logic Regular languages Blockchain Symbolic dynamics Directed path Observational equivalence Distributed systems Signed graphs BFS Proof theory Catégories supérieures Non-wellfounded proofs Linear Logic Shared memory Distributed Computing Decidability Fixed points

 

COLLABORATIONS