Ralf Treinen - Concepedia

Author

Ralf Treinen

Université Paris Cité

Also Known As

Hutchison, David, R. Treinen, Ralf Treinen, Treinen, R. (Ralf), Treinen, Ralf

Publications

979

Citations

H-Index

Concepts

All Affiliations

Université Paris Cité 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

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	14	18	540
2	Computer Science	12	13	389
3	Language Studies	2	2	37
4	Data Science	2	2	27
5	Computer Engineering	1	1	23

Ralf Treinen

Publications

566

Citations

H-Index

Page 1

	Year	Citations
Managing the Complexity of Large Free and Open Source Package-Based Software Distributions Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Software MaintenanceEngineeringSoftware EngineeringSoftware AnalysisOpen-source Software Development	2006	148
A new method for undecidability proofs of first order theories Ralf Treinen Journal of Symbolic Computation First Order TheoriesEngineeringAutomated ReasoningProof ComplexityVerification	1992	50
Dependency solving: A separate concern in component evolution management Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Journal of Systems and Software Software MaintenanceSoftware ComponentEngineeringComponent-based Software EngineeringDesign	2012	45
Automated synthesis and deployment of cloud applications Roberto Di Cosmo, Michaël Lienhardt, Ralf Treinen, Software MaintenanceCluster ComputingProvisioning (Technology)EngineeringCloud Computing Architecture	2014	43
The first-order theory of lexicographic path orderings is undecidable Hubert Comon, Ralf Treinen Theoretical Computer Science Order TheorySyntaxComputability TheoryAutomated ReasoningLanguage Studies	1997	26
The first-order theory of subtyping constraints Zhendong Su, Alex Aiken, Joachim Niehren, Mathematical ProgrammingTree AutomataEngineeringConstrained OptimizationComputational Complexity	2002	26
The First-Order Theory of Ordering Constraints over Feature Trees Martín Müller, Joachim Niehren, Ralf Treinen Discrete Mathematics & Theoretical Computer Science Mathematical ProgrammingEngineeringComputational ComplexityHigher-order LogicFormal Verification	2001	24
MPM Pietro Abate, Roberto DiCosmo, Ralf Treinen, Software MaintenanceEngineeringSoftware EngineeringSoftware AnalysisFoss World	2011	23
Intruder deduction for the equational theory of Abelian groups with distributive encryption Pascal Lafourcade, Denis Lugiez, Ralf Treinen Information and Computation Cryptographic PrimitiveEngineeringRepresentation TheoryAbstract AlgebraCryptographic Protection	2007	22
Why do software packages conflict? Cyrille Artho, Ralf Treinen, Stefano Zacchiroli Software MaintenanceEngineeringSoftware SystemsVerificationSoftware Engineering	2012	22

Page 1