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

817

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS