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

846

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS