252 results on '"Bernhard Möller"'
Search Results
2. Algorithmics.
3. A Hierarchy of Algebras for Boolean Subsets.
4. The θ-Join as a Join with θ.
5. Geometric Theory for Program Testing.
6. Algebraic Derivation of Until Rules and Application to Timer Verification.
7. Geographic wayfinders and space-time algebra.
8. Non-associative Kleene Algebra and Temporal Logics.
9. A Discrete Geometric Model of Concurrent Program Execution.
10. Exploring an Interface Model for CKA.
11. Structured Document Algebra in Action.
12. Towards Antichain Algebra.
13. Developments in concurrent Kleene algebra.
14. Extended Feature Algebra.
15. Fuzzifying Modal Algebra.
16. Developments in Concurrent Kleene Algebra.
17. An algebra of database preferences.
18. Extended transitive separation logic.
19. Modal algebra and Petri nets.
20. Features, modularity, and variation points.
21. Reverse Exchange for Concurrency and Local Reasoning.
22. An Algebraic Calculus of Database Preferences.
23. Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming.
24. An Algebra of Layered Complex Preferences.
25. Transitive Separation Logic.
26. On Locality and the Exchange Law for Concurrent Processes.
27. Building Structured Theories - (Invited Paper).
28. Simplifying Pointer Kleene Algebra.
29. Model Refinement Using Bisimulation Quotients.
30. Concurrent Kleene Algebra.
31. Towards Algebraic Separation Logic.
32. A Semiring Approach to Equivalences, Bisimulations and Control.
33. Foundations of Concurrent Kleene Algebra.
34. An extension for feature algebra.
35. Relational style laws and constructs of linear algebra.
36. Exploring modal worlds.
37. On nothing.
38. Algebraic View Reconciliation.
39. Circulations, Fuzzy Relations and Semirings.
40. An Algebra for Features and Feature Composition.
41. Knowledge and Games in Modal Semirings.
42. Feature Algebra.
43. The Linear Algebra of UTP.
44. Quantales and Temporal Logics.
45. Lazy Semiring Neighbours and Some Applications.
46. Omega Algebra, Demonic Refinement Algebra and Commands.
47. Modal Design Algebra.
48. Towards an Algebra of Hybrid Systems.
49. p Is.
50. Lazy Kleene Algebra.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.