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

819

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS