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

486

Dépôts

823

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS