Concepedia

Harald Fecher

HF

Statistics

Publications

9

Citations

228

H-Index

9

Active since

2001

Affiliations

Christian-Albrechts-Universität zu Kiel(Current)

Imperial College London

University of Freiburg

University of Mannheim

Harald Fecher is an author at Christian-Albrechts-Universität zu Kiel specializing in computing, formal methods, and computer science.

Publications per year

2001–2009

9

Publications

9

Formalizing UML Models and OCL Constraints in PVS

Marcel Kyas, Harald Fecher, Frank S. de Boer et al. · Electronic Notes in Theoretical Computer Science · 2005 · 89 citations · Full text

Computing, Computer Science, Formal Methods +16

Comparing disjunctive modal transition systems with an one-selecting variant

Harald Fecher, Heiko A. Schmidt · The Journal of Logic and Algebraic Programming · 2008 · 43 citations

Humanities, Computer Systems, Formal Methods +4

Bundle event structures: A revised cpo approach

Harald Fecher, Mila Majster-Cederbaum · Information Processing Letters · 2002 · 18 citations

Natural Sciences, Physics, Particle Physics +4

A real-time process algebra with open intervals and maximal progress

Harald Fecher · 2001 · 15 citations

Computing, Computer Science, Algebra +11

PCTL model checking of Markov chains: Truth and falsity as winning strategies in games

Harald Fecher, Michael Huth, Nir Piterman et al. · Performance Evaluation · 2009 · 15 citations

Computing, Computer Science, Algorithms +11

1–5 of 9