Mila E. Majster-Cederbaum Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moritz Martens, Mila E. Majster-Cederbaum: Deadlock-freedom in component systems with architectural constraints. Formal Methods in System Design 41(2): 129-177 (2012)
2011
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christian Lambertz, Mila E. Majster-Cederbaum: Analyzing Component-Based Systems on the Basis of Architectural Constraints. FSEN 2011: 64-79
2010
j34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Nils Semmelrock: Reachability in Tree-Like Component Systems is PSPACE-Complete. Electr. Notes Theor. Comput. Sci. 263: 197-210 (2010)
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Naijun Zhan, Mila E. Majster-Cederbaum: On hierarchically developing reactive systems. Inf. Comput. 208(9): 997-1019 (2010)
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christian Lambertz, Mila E. Majster-Cederbaum: Port Protocols for Deadlock-Freedom of Component Systems. ICE 2010: 7-11
2009
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Felix C. Freiling, Christian Lambertz, Mila E. Majster-Cederbaum: Modular Consensus Algorithms for the Crash-Recovery Model. PDCAT 2009: 287-292
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Christoph Minnameier: Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems. RP 2009: 189-202
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moritz Martens, Mila E. Majster-Cederbaum: Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation. TASE 2009: 225-232
2008
j32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier: Liveness in Interaction Systems. Electr. Notes Theor. Comput. Sci. 215: 57-74 (2008)
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Moritz Martens: Compositional analysis of deadlock-freedom for tree-like component architectures. EMSOFT 2008: 199-206
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Christoph Minnameier: Everything Is PSPACE-Complete in Interaction Systems. ICTAC 2008: 216-227
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Christoph Minnameier: Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets. SOFSEM 2008: 352-363
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Felix C. Freiling, Christian Lambertz, Mila E. Majster-Cederbaum: Easy Consensus Algorithms for the Crash-Recovery Model. DISC 2008: 507-508
2007
c21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Nils Semmelrock, Verena Wolf: Interaction Models for Biochemical Reactions. BIOCOMP 2007: 480-486
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Moritz Martens: Robustness in Interaction Systems. FORTE 2007: 325-340
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis: An Approach to Modelling and Verification of Component Based Systems. SOFSEM (1) 2007: 295-308
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier: A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems. SOFSEM (1) 2007: 888-899
2006
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue: Refinement of actions for real-time concurrent systems with causal ambiguity. Acta Inf. 42(6-7): 389-418 (2006)
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum: Trace Machines for Observing Continuous-Time Markov Chains. Electr. Notes Theor. Comput. Sci. 153(2): 259-277 (2006)
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum: Trace Semantics for Stochastic Systems with Nondeterminism. Electr. Notes Theor. Comput. Sci. 164(3): 187-204 (2006)
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Fecher, Mila E. Majster-Cederbaum: Action Refinement Applied to Late Decisions. Formal Asp. Comput. 18(2): 211-230 (2006)
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis: Ensuring Properties of Interaction Systems. Program Analysis and Compilation 2006: 201-224
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Christoph Minnameier: Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa. ICTAC 2006: 65-79
2005
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Fecher, Mila E. Majster-Cederbaum: Event Structures for Arbitrary Disruption. Fundam. Inform. 68(1-2): 103-130 (2005)
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Naijun Zhan, Mila E. Majster-Cederbaum: Deriving Non-determinism from Conjunction and Disjunction. FORTE 2005: 351-365
2004
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Frank Salger: Towards the hierarchical verification of reactive systems. Theor. Comput. Sci. 318(3): 243-296 (2004)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue, Naijun Zhan: Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity. ICFEM 2004: 449-463
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Xiuli Sun, Jinzhao Wu, Xiaoyu Song, Mila E. Majster-Cederbaum: Formal Specification of an Asynchronous Processor via Action Refinement. MTV 2004: 36-41
2003
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Jinzhao Wu: Towards action refinement for true concurrent real time. Acta Inf. 39(8): 531-577 (2003)
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Jinzhao Wu: Adding Action Refinement to Stochastic True Concurrency Models. ICFEM 2003: 226-245
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher: Action Refinement from a Logical Point of View. VMCAI 2003: 253-267
2002
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Fecher, Mila E. Majster-Cederbaum: Taking decisions late: end-based choice combined with action refinement. Electr. Notes Theor. Comput. Sci. 70(3): 244-259 (2002)
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu: Refinement of actions in a real-time process algebra with a true concurrency model. Electr. Notes Theor. Comput. Sci. 70(3): 260-280 (2002)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu: Bundle event structures: A revised cpo approach. Inf. Process. Lett. 83(1): 7-12 (2002)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu: Action Refinement for Probabilistic Processes with True Concurrency Models. PAPM-PROBMIV 2002: 77-94
2001
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum: Underspecification for a simple process algebra of recursive processes. Theor. Comput. Sci. 266(1-2): 935-950 (2001)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Jinzhao Wu: Action Refinement for True Concurrent Real Time. ICECCS 2001: 58-68
2000
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christel Baier, Bettina Engelen, Mila E. Majster-Cederbaum: Deciding Bisimilarity and Similarity for Probabilistic Processes. J. Comput. Syst. Sci. 60(1): 187-231 (2000)
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Markus Roggenbach, Mila E. Majster-Cederbaum: Towards a unified view of bisimulation: a comparative study. Theor. Comput. Sci. 238(1-2): 81-130 (2000)
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Frank Salger, Maria Sorea: A Priori Verification of Reactive Systems. FORTE 2000: 35-50
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Frank Salger: Correctness by Construction: Towards Verification in Hierarchical System Development. SPIN 2000: 163-180
1999
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Frank Salger: A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic. ASIAN 1999: 379-380
1998
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Markus Roggenbach: Transistion Systems from Event Structures Revisited. Inf. Process. Lett. 67(3): 119-124 (1998)
1997
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christel Baier, Mila E. Majster-Cederbaum: Metric Semantics from Partial Order Semantics. Acta Inf. 34(9): 701-735 (1997)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christel Baier, Mila E. Majster-Cederbaum: The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach. Formal Asp. Comput. 9(4): 425-445 (1997)
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christel Baier, Mila E. Majster-Cederbaum: How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages. Fundam. Inform. 29(3): 225-256 (1997)
1996
j14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Markus Roggenbach: On two different Characterizations of Bisimulation. Bulletin of the EATCS 59 (1996)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christel Baier, Mila E. Majster-Cederbaum: Denotational Linear Time Semantics and Sequential Composition. Inf. Process. Lett. 59(3): 135-143 (1996)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Christel Baier: Metric Completion versus Ideal Completion. Theor. Comput. Sci. 170(1-2): 145-171 (1996)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christel Baier, Mila E. Majster-Cederbaum: A Categorical Characterization of Consistency Results. AMAST 1996: 473-486
1994
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christel Baier, Mila E. Majster-Cederbaum: The Connection between an Event Structure Semantics and an Operational Semantics for TCSP. Acta Inf. 31(1): 81-104 (1994)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, F. Zetzsche: The Comparison of a CPO-based Semantics with a CMS-based semantics for CSP. Theor. Comput. Sci. 124(1): 1-40 (1994)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christel Baier, Mila E. Majster-Cederbaum: Denotational Semantics in the CPO and Metric Approach. Theor. Comput. Sci. 135(2): 171-220 (1994)
1992
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum: Ensuring the Existence of a BCNF-Decomposition that Preserves Functional Dependencies in O(N²) Time. Inf. Process. Lett. 43(2): 95-100 (1992)
1991
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, F. Zetzsche: Towards a Foundation for Semantics in Complete Metric Spaces. Inf. Comput. 90(2): 217-243 (1991)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christel Baier, Mila E. Majster-Cederbaum: The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP. FCT 1991: 105-120
1989
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum: The Contraction Property is Sufficient to Guarantee the Uniqueness of Fixed Points of Endofunctors in a Category of Complete Metric Spaces. Inf. Process. Lett. 33(1): 15-19 (1989)
1988
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum: On the Uniqueness of Fixed Points of Endofunctors in a Category of Complete Metric Spaces. Inf. Process. Lett. 29(6): 277-281 (1988)
1980
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum: A Simple Relation Between Relational and Predicate Transformer Semantics for Nondeterministic Programs. Inf. Process. Lett. 11(4/5): 190-192 (1980)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Angelika Reiser: Efficient On-Line Construction and Correction of Position Trees. SIAM J. Comput. 9(4): 785-807 (1980)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum: Semantics: Algebras, Fixed Points, Axioms. ICALP 1980: 394-408
1979
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum: Data Types, Abstract Data Types and Their Specification Problem. Theor. Comput. Sci. 8: 89-127 (1979)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum, Angelika Reiser: An Efficient On-Line Position Tree Construction Algorithm. Theoretical Computer Science 1979: 190-198
1977
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum: Extended Directed Graphs, a Formalism for Structured Data and Data Structures. Acta Inf. 8: 37-59 (1977)
1976
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila E. Majster-Cederbaum: A Model for Data Structures. ECI 1976: 161-177

Coauthor Index

1Christel Baier
[j30] [j29] [j20] [j17] [j16] [j15] [j13] [j12] [c5] [j11] [j9] [c4]
2Bettina Engelen
[j20]
3Harald Fecher
[j28] [j27] [c11] [j24] [j23] [j22] [c10]
4Felix C. Freiling (Felix C. Gärtner)
[c28] [c22]
5Susanne Graf
[c19] [c17]
6Gregor Gößler (Gregor Goessler)
[c19] [c17]
7Christian Lambertz
[c30] [c29] [c28] [c22]
8Moritz Martens
[j35] [c26] [j32] [c25] [c20] [c19] [c18] [c17]
9Christoph Minnameier
[c27] [j32] [c24] [c23] [c18] [c16]
10Angelika Reiser
[j3] [c2]
11Markus Roggenbach
[j19] [j18] [j14]
12Frank Salger
[j26] [c8] [c7] [c6]
13Nils Semmelrock
[j34] [c21]
14Joseph Sifakis
[c19] [c17]
15Xiaoyu Song
[c13]
16Maria Sorea
[c8]
17Xiuli Sun
[c13]
18Verena Wolf
[c21] [j30] [j29]
19Jinzhao Wu
[j31] [c14] [c13] [j25] [c12] [j23] [j22] [c10] [c9]
20Houguang Yue
[j31] [c14]
21F. Zetzsche
[j10] [j7]
22Naijun Zhan
[j33] [c15] [c14] [c11]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 20:28:10 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page