index - Institut de Recherche en Informatique Fondamentale Accéder directement au contenu

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

481

Dépôts

814

 

Open Access

88 %

 

Mots-Clés

Monoid Consensus Eccentricity Proof nets Directed path Clustering Complexity Distributed algorithms Opetope Authentication Cut elimination Geometry of interaction Geometry of Interaction Fixed points Formal verification Combinatorial model category Graph algorithms Distributed Computing Circular proofs Approximation algorithms Shared memory Dynamical analysis of Algorithms Conference Infinite words Smart contracts Communication complexity Theory of computation Combinatorial topology Concurrency Automaton groups Rewriting Subtyping BFS Coinduction Approximation Algorithms Lower bounds Denotational semantics Sequent calculus Noncrossing partitions Coloring Gradual typing Distributed verification Décision distribuée Automata Game semantics Topology Classical logic Graph theory Combinatorial maps Software Package Installation Distributed systems Intersection types Linear logic Coq Cluster complex Opetopic set CONGEST Distributed decision Proof theory Verification Categorical semantics Higher categories Lambda Calculus Curry-Howard Directed homotopy Reverse mathematics Réécriture Semantics Polynomial functor Diameter Catégories supérieures Linear Logic Category theory Local certification Transducers Separation Proof assistants Decision problems Temporal path Lattice Polygraphs Reduction operators Reachability Non-wellfounded proofs Proof assistant Graphs Regular languages Graph homomorphism Lambda calculus Algorithm Union types Distance Labeling Decidability Dependent type theory Distributed graph algorithms Formal methods Type theory Accessible model category Quantum algorithms Graph search

 

COLLABORATIONS