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

489

Dépôts

828

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS