| 2009 | PDCAT | Modular Consensus Algorithms for the Crash-Recovery Model. | Felix C. Freiling, Christian Lambertz, Mila E. Majster-Cederbaum |
| 2009 | TASE | Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation. | Moritz Martens, Mila E. Majster-Cederbaum |
| 2008 | EMSOFT | Compositional analysis of deadlock-freedom for tree-like component architectures. | Mila E. Majster-Cederbaum, Moritz Martens |
| 2008 | ICTAC | Everything Is PSPACE-Complete in Interaction Systems. | Mila E. Majster-Cederbaum, Christoph Minnameier |
| 2008 | SOFSEM | Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets. | Mila E. Majster-Cederbaum, Christoph Minnameier |
| 2007 | FORTE | Robustness in Interaction Systems. | Mila E. Majster-Cederbaum, Moritz Martens |
| 2007 | SOFSEM | An Approach to Modelling and Verification of Component Based Systems. | Gregor Gler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis |
| 2007 | SOFSEM | A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems. | Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier |
| 2006 | ICTAC | Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa. | Mila E. Majster-Cederbaum, Christoph Minnameier |
| 2005 | FORTE | Deriving Non-determinism from Conjunction and Disjunction. | Naijun Zhan, Mila E. Majster-Cederbaum |
| 2004 | ICFEM | Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity. | Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue, Naijun Zhan |
| 2003 | ICFEM | Adding Action Refinement to Stochastic True Concurrency Models. | Mila E. Majster-Cederbaum, Jinzhao Wu |
| 2003 | VMCAI | Action Refinement from a Logical Point of View. | Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher |
| 2001 | ICECCS | Action Refinement for True Concurrent Real Time. | Mila E. Majster-Cederbaum, Jinzhao Wu |
| 2000 | FORTE | A Priori Verification of Reactive Systems. | Mila E. Majster-Cederbaum, Frank Salger, Maria Sorea |
| 1991 | FCT | The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP. | Christel Baier, Mila E. Majster-Cederbaum |
| 1980 | ICALP | Semantics: Algebras, Fixed Points, Axioms. | Mila E. Majster-Cederbaum |