| 2006 |
|---|
| 19 | EE | Jerry Gao,
Yumei Wu,
Lee Chang,
Sigurd Meldal:
Measuring Component-Based Systems Using a Systematic Approach and Environment.
SOSE 2006: 121-129 |
| 2001 |
|---|
| 18 | EE | Michal Walicki,
Adis Hodzic,
Sigurd Meldal:
Compositional Homomorphisms of Relational Structures.
FCT 2001: 359-371 |
| 17 | | Michal Walicki,
Sigurd Meldal:
Nondeterminism vs. Underspecification.
ISAS-SCI (1) 2001: 551-555 |
| 16 | | Michal Walicki,
Magne Haveraaen,
Sigurd Meldal:
Computation Algebras.
Mathematical Structures in Computer Science 11(5): 597-636 (2001) |
| 1997 |
|---|
| 15 | | Sigurd Meldal,
David C. Luckham:
NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification.
Requirements Targeting Software and Systems Engineering 1997: 293-329 |
| 14 | | Michal Walicki,
Sigurd Meldal:
Singular and Plural Nondeterministic Parameters.
SIAM J. Comput. 26(4): 991-1005 (1997) |
| 1996 |
|---|
| 13 | EE | Michal Walicki,
Sigurd Meldal:
Algebraic Approaches to Nondeterminism: An Overview.
ACM Comput. Surv. 29(1): 30-81 (1996) |
| 1995 |
|---|
| 12 | | Anca I. Vermesan,
Sigurd Meldal:
An Algebraic Approach to Refinement of KBS Specification.
EUROVAV 1995: 265-276 |
| 11 | | Michal Walicki,
Sigurd Meldal:
Generated Models and the omega-Rule: The Nondeterministic Case.
TAPSOFT 1995: 424-438 |
| 10 | EE | Michal Walicki,
Sigurd Meldal:
A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism.
ACM Trans. Program. Lang. Syst. 17(2): 366-393 (1995) |
| 1994 |
|---|
| 9 | | Michal Walicki,
Sigurd Meldal:
Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions.
COMPASS/ADT 1994: 453-468 |
| 8 | | Aida Pliuskeviciene,
Regimantas Pliuskevicius,
Michal Walicki,
Sigurd Meldal:
On Specialization of Derivations in Axiomatic Equality Theories.
LFCS 1994: 291-303 |
| 1991 |
|---|
| 7 | EE | Neel Madhav,
Sigurd Meldal:
An object-oriented approach to formal specification of reactive systems.
ICDCS 1991: 134-141 |
| 6 | | Sigurd Meldal,
Sriram Sankar,
James Vera:
Exploiting Locality in Maintaining Potential Causality.
PODC 1991: 231-239 |
| 5 | | John C. Mitchell,
Sigurd Meldal,
Neel Madhav:
An Extension of Standard ML Modules with Subtyping and Inheritance.
POPL 1991: 270-278 |
| 4 | | Sigurd Meldal:
A Complete Axiomatic Semantics of Spawning.
Distributed Computing 5: 159-174 (1991) |
| 1986 |
|---|
| 3 | | David C. Luckham,
David P. Helmbold,
Sigurd Meldal,
D. L. Bryan,
M. A. Haberler:
Task Sequencing Languages for Specifying Distributed Ada Systems.
System Development and Ada 1986: 249-305 |
| 2 | | Sigurd Meldal:
An Axiomatic Semantics for Nested Concurrency.
BIT 26(2): 164-174 (1986) |
| 1 | | Sigurd Meldal:
Partial Correctness of Exits from Concurrent Structures.
BIT 26(3): 295-302 (1986) |
