Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Martin E. Müller
A Discrete Geometric Model of Concurrent Program Execution
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Pervasive Self-Regeneration Through Concurrent Model-Based Execution
A Formal Model for Defect Detection Using Symbolic Program Execution
Proceedings of the Institute for System Programming of the RAS
Exponentiated Generalized Geometric Distribution: A New Discrete Distribution
Hacettepe Journal of Mathematics and Statistics
Statistics
Probability
Algebra
Geometry
Analysis
Number Theory
Topology
Supervisory Control of Concurrent Discrete-Event Systems
International Journal of Control
Control
Systems Engineering
Computer Science Applications
On a Discrete Weighted Mixed Arithmetic-Geometric Mean Inequality
Mathematical Inequalities and Applications
Mathematics
Applied Mathematics
A New Approach for Concurrent Program Slicing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verified Program Code Execution System Prototype
Proceedings of the Institute for System Programming of the RAS
Structural Testing Criteria for Concurrent Programs Considering Loop Execution
Evaluation of Parallel Execution of Program Tree Structures
Performance Evaluation Review
Hardware
Computer Networks
Software
Architecture
Communications
