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

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

 

COLLABORATIONS