Concepedia

Ralf Treinen

RT

Statistics

Publications

19

Citations

566

H-Index

14

Active since

1992

Affiliations

Université Paris Cité(Current)

Centre National de la Recherche Scientifique

Délégation Paris 7

Institut national de recherche en sciences et technologies du numérique

Laboratoire de Recherche en Informatique

Ralf Treinen is an author at Université Paris Cité specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningSoftware EngineeringSoftware DesignSoftware MaintenanceSystem SoftwareSoftware AnalysisFormal Verification

Publications per year

1992–2015

19

Publications

19

Managing the Complexity of Large Free and Open Source Package-Based Software Distributions

Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo et al. · 2006 · 148 citations · Full text

Software Maintenance, Engineering, Software Engineering +18

A new method for undecidability proofs of first order theories

Ralf Treinen · Journal of Symbolic Computation · 1992 · 50 citations · Full text

First Order Theories, Engineering, Automated Reasoning +8

Dependency solving: A separate concern in component evolution management

Pietro Abate, Roberto Di Cosmo, Ralf Treinen et al. · Journal of Systems and Software · 2012 · 45 citations

Software Maintenance, Software Component, Engineering +7

Automated synthesis and deployment of cloud applications

Roberto Di Cosmo, Michaël Lienhardt, Ralf Treinen et al. · 2014 · 43 citations

Software Maintenance, Cluster Computing, Provisioning (Technology) +21

The first-order theory of lexicographic path orderings is undecidable

Hubert Comon, Ralf Treinen · Theoretical Computer Science · 1997 · 26 citations · Full text

Order Theory, Syntax, Computability Theory +5

1–5 of 19