Concepedia

Christian Roed Pedersen

CR

5

Publications

203

Citations

5

H-Index

2003

Active since

Affiliations

Aarhus University(Current)

Christian Roed Pedersen is an author at Aarhus University specializing in engineering, operations research, and mathematical programming.

Top concepts

EngineeringComputer ScienceOperations ResearchMathematical ProgrammingCombinatorial OptimizationSystems EngineeringDiscrete OptimizationArtificial IntelligenceLanguageData Mining

Publications per year

2003–2013

5

Publications

5

Finding representative systems for discrete bicriterion optimization problems

Horst W. Hamacher, Christian Roed Pedersen, Stefan Ruzika · Operations Research Letters · 2006 · 93 citations

Mathematical Programming, Engineering, Optimization Problem +6

Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems

Kåre J. Kristoffersen, Christian Roed Pedersen, Henrik Reif Andersen · Electronic Notes in Theoretical Computer Science · 2003 · 41 citations · Full text

Engineering, Verification, Computer-aided Verification +17

An algorithm for ranking assignments using reoptimization

Christian Roed Pedersen, Lars Relund Nielsen, Kim Allan Andersen · Computers & Operations Research · 2007 · 38 citations

Mathematical Programming, Artificial Intelligence, Ranking Algorithm +10

Algorithms for Computing the Triplet and Quartet Distances for Binary and General Trees

Andreas Sand, Morten Kragelund Holt, Jens Brock Johansen et al. · Biology · 2013 · 18 citations · Full text

The Bicriterion Multimodal Assignment Problem: Introduction, Analysis, and Experimental Results

Christian Roed Pedersen, Lars Relund Nielsen, Kim Allan Andersen · INFORMS journal on computing · 2008 · 13 citations

Artificial Intelligence, Mathematical Programming, Engineering +21

Rows per page

1–5 of 5