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

479

Dépôts

813

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS