Mila Majster-Cederbaum

Author

Also Known As

M MAJSTERCEDERBAUM, M Majster-Cederbaum, M. Majster-Cederbaum, M.E. Majster-Cederbaum, Majster-Cederbaum, Mila, Majster-Cederbaum, Mila E., Mila E. Majster-Cederbaum, Mila Majster-Cederbaum, Mila Majster-cederbaum

Publications

715

Citations

H-Index

Concepts

All Affiliations

University of Mannheim University of Bonn

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	13	371
2	Language Studies	5	5	113
3	Education	1	1	18
4	Communication	1	1	12
5	Computer Engineering	1	1	15

Mila Majster-Cederbaum

Publications

450

Citations

H-Index

Page 1

	Year	Citations
Deciding Bisimilarity and Similarity for Probabilistic Processes Christel Baier, Bettina Engelen, Mila Majster-Cederbaum Journal of Computer and System Sciences EngineeringProbabilistic SystemProbabilistic AnalysisProbabilistic ComputationStatistical Inference	2000	131
Denotational semantics in the cpo and metric approach Christel Baier, Mila Majster-Cederbaum Theoretical Computer Science EngineeringSemantic ApproachAutomated ReasoningComputational LinguisticsLanguage Studies	1994	40
Trace Machines for Observing Continuous-Time Markov Chains Verena Wolf, Christel Baier, Mila Majster-Cederbaum Electronic Notes in Theoretical Computer Science EngineeringVerificationFormal VerificationSeveral Linear-time EquivalencesHidden Markov Model	2006	35
Towards a unified view of bisimulation: a comparative study Markus Roggenbach, Mila Majster-Cederbaum Theoretical Computer Science Block DesignFormal MethodsEquivalence CheckingUnified ViewDiscrete Mathematics	2000	29
The connection between an event structure semantics and an operational semantics forTCSP Christel Baier, Mila Majster-Cederbaum Acta Informatica Formal SemanticsEvent ProcessingEngineeringOperational SemanticsAutomated Reasoning	1994	23
Towards a foundation for semantics in complete metric spaces Mila Majster-Cederbaum, F. Zetzsche Information and Computation Formal SemanticsEngineeringSemantic ApproachAutomated ReasoningComplete Metric Spaces	1991	21
Action refinement for true concurrent real time Mila Majster-Cederbaum, Jinzhao Wu EngineeringAction RefinementVerificationConcurrent SystemSemantics	2002	21
Bundle event structures: A revised cpo approach Harald Fecher, Mila Majster-Cederbaum Information Processing Letters Event-driven ArchitectureEvent ManagementGeometryComplex Event ProcessingParticle Physics	2002	18
Metric semantics from partial order semantics Christel Baier, Mila Majster-Cederbaum Acta Informatica Formal SemanticsEngineeringAutomated ReasoningComputational LinguisticsMetric Semantics	1997	17
Towards action refinement for true concurrent real time Mila Majster-Cederbaum Acta Informatica EngineeringReal-time OperationFormal MethodsSystems EngineeringReal-time Computing	2003	16

Page 1