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

476

Dépôts

812

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS