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

503

Dépôts

912

 

Open Access

89 %

 

Mots-Clés

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

 

COLLABORATIONS