Science Explorer Interactive view Map
Research facility · Paris · France

Laboratory Preuves, Programmes et Systèmes

pps.univ-paris-diderot.fr/enROR OpenAlex
Research works
98
▼ 81% vs 2013–17
Citations
1.6k
16.8 per fractional work
Top-10% rate
0.0%
record average 16.5%
Open access
60%
world 28%

Not ranked overall: Laboratory Preuves, Programmes et Systèmes is under the volume floor below which an excellence rate is noise. Not ranked is not the same as ranked last.

Field profile

Location quotient across every field it publishes in: outside the ring is more than an institution of this size would be expected to publish, inside it is less.

Agricultural and Biological Sciences: 1.95× its world share, 0 worksAgricultural and Bio…Computer Science: 0.50× its world share, 0 worksComputer ScienceEnvironmental Science: 9.31× its world share, 1 worksEnvironmental SciencePhysics and Astronomy: 1.73× its world share, 0 worksPhysics and AstronomyMedicine: 0.31× its world share, 0 worksMedicineArts and Humanities: 2.67× its world share, 0 worksArts and HumanitiesDecision Sciences: 3.99× its world share, 0 worksDecision SciencesSocial Sciences: 1.52× its world share, 0 worksSocial Sciences1×world share
more than its size predictsabout as predictedless

Rings at 0.5×, 1× and 2×. Widest outward: Environmental Science, 9.3×. Every wedge is a field page.

Who are the top researchers at Laboratory Preuves, Programmes et Systèmes?

Ranked on the composite score, Jean-Louis Krivine lead among researchers whose main affiliation is Laboratory Preuves, Programmes et Systèmes.

  1. 1 Jean-Louis Krivine France · #452,295 worldwide 102 citations · 20 works
All ranked researchers at Laboratory Preuves, Programmes et Systèmes

Which keywords describe research at Laboratory Preuves, Programmes et Systèmes?

By fractional works in all years, weighted toward what it does more of than the world: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Knowledge Representation, Description Logics, Modal Logic and Answer Set Programming.

▲ more of its work than of the world’s◆ about the world’s share▼ less than the world’s

Size is fractional works in all years in the topics tagged with each word; colour is the word's share of this institution's work against its share of the world's. The 40 words are chosen for being large and distinctive. Each links to the topic it comes from most.

All 40 words, with their numbers
  1. Model Checking41▲ 385×3 topics
  2. Temporal Logic22▲ 310×2 topics
  3. Formal Verification19▲ 546×1 topic
  4. Static Analysis19▲ 487×1 topic
  5. Knowledge Representation16▲ 113×3 topics
  6. Description Logics15▲ 157×2 topics
  7. Modal Logic14▲ 257×2 topics
  8. Answer Set Programming14▲ 410×1 topic
  9. Belief Revision14▲ 410×1 topic
  10. Automata10▲ 170×2 topics
  11. Satisfiability Modulo Theories8▲ 220×1 topic
  12. Symbolic Model Checker8▲ 220×1 topic
  13. Distributed Systems4▲ 19×4 topics
  14. High-Performance Computing4▲ 28×2 topics
  15. K-Theory4▲ 107×2 topics
  16. Deformation Quantization4▲ 150×1 topic
  17. Poisson Manifolds4▲ 150×1 topic
  18. Symplectic Geometry4▲ 74×2 topics
  19. Fuzzy Logic3▲ 16×1 topic
  20. Residuated Lattices3▲ 116×1 topic
  21. Causal Discovery3▲ 68×2 topics
  22. Algorithmic Information Theory3▲ 117×1 topic
  23. Computability3▲ 117×1 topic
  24. Parallel Computing3▲ 17×3 topics
  25. Quantum Groups3▲ 54×2 topics
  26. Cluster Algebras2▲ 64×1 topic
  27. GPU Computing2▲ 34×1 topic
  28. Performance Optimization2▲ 24×1 topic
  29. Triangulated Categories2▲ 64×1 topic
  30. Resource Management2▲ 13×2 topics
  31. Consistency2▲ 51×1 topic
  32. Fault Tolerance2▲ 9.9×1 topic
  33. Continuous Queries2▲ 47×1 topic
  34. Data Stream Management2▲ 47×1 topic
  35. Formal Languages2▲ 83×1 topic
  36. Regular Expressions2▲ 83×1 topic
  37. Grid Computing2▲ 25×1 topic
  38. Local Development2▲ 13×2 topics
  39. Task Scheduling2▲ 25×1 topic
  40. Territorial Governance2▲ 12×2 topics

Which research topics does Laboratory Preuves, Programmes et Systèmes publish most on?

By volume in 2022–2025: Water Quality and Pollution Assessment, Water Quality Monitoring Technologies, Hydrological Forecasting Using AI and French Urban and Social Studies.

Water Quality and Pollution Assessment: 0 fractional worksWater Quality Monitoring Technologies: 0 fractional worksHydrological Forecasting Using AI: 0 fractional worksFrench Urban and Social Studies: 0 fractional worksAgriculture and Rural De…0Agriculture and Rural Development Research: 0 fractional worksGenerative Adversarial Networks and Image Synthesis: 0 fractional worksModel Reduction and Neural Networks: 0 fractional worksDermatological diseases and infestations: 0 fractional worksHistorical and Literary Studies: 0 fractional worksProbabilistic and Robust Engineering Design: 0 fractional works
Water Science and TechnologyEnvironmental EngineeringSociology and Political ScienceEcology, Evolution, Behavior and Systematics5 others

Area is fractional works; colour is the subfield each topic belongs to.

  1. 1 Water Quality and Pollution Assessment Water Science and Technology 0 works
  2. 2 Water Quality Monitoring Technologies Water Science and Technology 0 works
  3. 3 Hydrological Forecasting Using AI Environmental Engineering 0 works
  4. 4 French Urban and Social Studies Sociology and Political Science 0 works
  5. 5 Agriculture and Rural Development Research Ecology, Evolution, Behavior and Systematics 0 works
  6. 6 Generative Adversarial Networks and Image Synthesis Computer Vision and Pattern Recognition 0 works
  7. 7 Model Reduction and Neural Networks Statistical and Nonlinear Physics 0 works
  8. 8 Dermatological diseases and infestations Infectious Diseases 0 works
  9. 9 Historical and Literary Studies Anthropology 0 works
  10. 10 Probabilistic and Robust Engineering Design Statistics, Probability and Uncertainty 0 works

How open and international is its research?

Against the world’s own shares — the tick on each track. Both are shares of its output, so they sit on one scale and can be read against each other as well as against the world.

openly available60.2%not open39.8%

World: 28% of research is openly available.

with international co-authors15.8%domestic only84.2%

World: 19% is written across borders.

How has Laboratory Preuves, Programmes et Systèmes's research output changed?

Output in 2018–2022 was 81% lower than in 2013–2017.

20002005201020152020
grewheldshrank

The same series as a ribbon — one cell per year, darker for more. The line above answers how much; this answers when.

Other research institutions in Paris

All research institutions in Paris

Research measures only: rankings here say nothing about teaching, admissions or student experience. Comparable institutions and collaboration partners are in the interactive view on the map.