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

504

Dépôts

942

 

Open Access

89 %

 

Mots-Clés

Transducers Smart contracts Coverability Lower bounds Lambda-Calculus Union types CCS Concepts Formal methods Catégories supérieures Fixed points Eccentricity Directed path Complexity Communication complexity Proof nets Opetope Regular languages Automata Rewriting Non-wellfounded proofs Cut elimination Cluster complex Coinduction Formal verification Polynomial functor Lambda calculus Vérification Reachability Geometry of interaction Broadcasting CONGEST Approximation Algorithms Abstract machines Noncrossing partitions Conference Combinatorial topology Reverse mathematics Proof assistants Denotational semantics Verification Theory of computation → Distributed algorithms Symbolic dynamics Authentication Theory of computation BFS Linear logic Consensus Semantics Lambda-calculus Graph algorithms Circular proofs Signed graphs Reduction operators Accessible model category Réécriture Topology Graph search Decidability Combinatorial maps Curry-Howard Sequent calculus Distributed algorithms Proof assistant Coq Automaton groups Type theory Proof theory Distributed systems Categorical semantics Opetopic set Theory of computation → Graph algorithms analysis Temporal path Diameter Logic in Computer Science csLO Algorithm Quantum algorithms Distributed graph algorithms Intersection types Substitutions Graph theory Subtyping Blockchain Program verification Distributed Computing Coloring Polygraphs Combinatorial model category Bisimulation Linear Logic Classical logic Systèmes distribués Clustering Concurrency Approximation algorithms Monoid Software Package Installation Category theory Separation Shared memory Call-by-value

 

COLLABORATIONS