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

480

Dépôts

815

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS