Concepedia

Mila Majster-Cederbaum

MM

18

Publications

450

Citations

13

H-Index

1980

Active since

Affiliations

University of Mannheim(Current)

University of Bonn

Mila Majster-Cederbaum is an author at University of Mannheim specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsSemanticsComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringLanguageLinguisticsVerification

Publications per year

1980–2008

18

Publications

18

Deciding Bisimilarity and Similarity for Probabilistic Processes

Christel Baier, Bettina Engelen, Mila Majster-Cederbaum · Journal of Computer and System Sciences · 2000 · 131 citations

Engineering, Probabilistic System, Probabilistic Analysis +5

Denotational semantics in the cpo and metric approach

Christel Baier, Mila Majster-Cederbaum · Theoretical Computer Science · 1994 · 40 citations

Engineering, Semantic Approach, Automated Reasoning +8

Trace Machines for Observing Continuous-Time Markov Chains

Verena Wolf, Christel Baier, Mila Majster-Cederbaum · Electronic Notes in Theoretical Computer Science · 2006 · 35 citations · Full text

Engineering, Verification, Formal Verification +16

Towards a unified view of bisimulation: a comparative study

Markus Roggenbach, Mila Majster-Cederbaum · Theoretical Computer Science · 2000 · 29 citations

Block Design, Formal Methods, Equivalence Checking +2

The connection between an event structure semantics and an operational semantics forTCSP

Christel Baier, Mila Majster-Cederbaum · Acta Informatica · 1994 · 23 citations

Formal Semantics, Event Processing, Engineering +9

Rows per page

1–5 of 18