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

502

Dépôts

927

 

Open Access

89 %

 

Mots-Clés

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

 

COLLABORATIONS