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

478

Dépôts

813

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS