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

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

 

COLLABORATIONS