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

485

Dépôts

820

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS