Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Laboratory Preuves, Programmes et Systèmes | Researchclopedia

Back to institutions

Laboratory Preuves, Programmes et Systèmes

Paris, Île-de-Francefacility

651

Works

12,762

Citations

50

h-index

Top Research Topics

Logic, programming, and type systems Logic, Reasoning, and Knowledge Formal Methods in Verification

Top Researchers

O. Chosidow Université Paris-Est Créteil

843 works21,284 citationsh-index: 74

Recent Research

Prise en charge des scabioses chez l’enfant de moins de 15 kg, la femme enceinte ou allaitante : recommandations du Centre de preuve de dermatologie et de la Société française de dermatologie pédiatrique

Aurélie Morand,A. Weill,et al.

20250 citations

Homotopy and Cohomology in Algebraic Topology

Advanced Algebra and Logic

Computability, Logic, AI Algorithms

Semantic Web and Ontologies

Algebraic structures and combinatorial models

Advanced Database Systems and Queries

Parallel Computing and Optimization Techniques

Distributed systems and fault tolerance

semigroups and automata theory

287 works15,051 citationsh-index: 51

B. Guillot Université de Montpellier

797 works12,024 citationsh-index: 55

L. Fossati Austrian Academy of Sciences

611 works10,735 citationsh-index: 57

Vincent Danos Centre National de la Recherche Scientifique

199 works8,306 citationsh-index: 44

Frédérique Thomas

132 works7,827 citationsh-index: 45

Recommandations sur le traitement de la gale chez l’enfant de moins de 15 kg, la femme enceinte ou allaitante

Aurélie Morand,A. Weill,et al.

20251 citations

Functorial Models of Differential Linear Logic

Kerjean, Marie,Maestracci, Valentin,et al.

202533 citations

Establishing correlations between time series of wastewater parameters under extreme and regular weather conditions

Ming Cheng,Margherita Evangelisti,et al.

20240 citations

Establishing correlations between time series of wastewater parameters under extreme and regular weather conditions

Ming Cheng,Margherita Evangelisti,et al.

20240 citations

Nathalie Heinich, La Valeur des personnes. Preuves et épreuves de la grandeur

Véronique Pillet-Anderlini

20240 citations